BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

ligo: 0.55.0 -> 0.58.0

Browse source
This commit is contained in:
Ulrik Strid 2022-12-07 16:12:39 +01:00
parent 3930bcb3c3
commit 75e915659b
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkgs/development/compilers/ligo/default.nix
View file

@ -1,4 +1,5 @@
{ lib { stdenv
, lib
, fetchFromGitLab , fetchFromGitLab
, git , git
, coq , coq
@ -9,12 +10,12 @@
ocamlPackages.buildDunePackage rec { ocamlPackages.buildDunePackage rec {
pname = "ligo"; pname = "ligo";
version = "0.55.0"; version = "0.58.0";
src = fetchFromGitLab { src = fetchFromGitLab {
owner = "ligolang"; owner = "ligolang";
repo = "ligo"; repo = "ligo";
rev = version; rev = version;
sha256 = "sha256-GEw9OEHXdTxBvb5ATIcL71wdUCLD+X/A7CYQxwTUQWw="; sha256 = "sha256-WhqCkPkXHjWS8BDh13ODrHg2AHJ8CBfksTH4Fxx4xek=";
fetchSubmodules = true; fetchSubmodules = true;
}; };
@ -108,6 +109,7 @@ ocamlPackages.buildDunePackage rec {
description = "A friendly Smart Contract Language for Tezos"; description = "A friendly Smart Contract Language for Tezos";
license = licenses.mit; license = licenses.mit;
platforms = ocamlPackages.ocaml.meta.platforms; platforms = ocamlPackages.ocaml.meta.platforms;
broken = stdenv.isLinux && stdenv.isAarch64;
maintainers = with maintainers; [ ulrikstrid ]; maintainers = with maintainers; [ ulrikstrid ];
}; };
} }