ligo: 0.26.0 -> 0.27.0
parent
2810c8a6cc
commit
fd13396e16
|
@ -6,16 +6,16 @@
|
||||||
|
|
||||||
coq.ocamlPackages.buildDunePackage rec {
|
coq.ocamlPackages.buildDunePackage rec {
|
||||||
pname = "ligo";
|
pname = "ligo";
|
||||||
version = "0.26.0";
|
version = "0.27.0";
|
||||||
src = fetchFromGitLab {
|
src = fetchFromGitLab {
|
||||||
owner = "ligolang";
|
owner = "ligolang";
|
||||||
repo = "ligo";
|
repo = "ligo";
|
||||||
rev = "d48098c6724bc0a62170c2f9ff73c792c71c8452";
|
rev = version;
|
||||||
sha256 = "sha256-uu5985llYsi/9ExKZetk48FqU0sJQB1EirdT/pUw0DA=";
|
sha256 = "sha256-OUrjMlAWxTPs56ltMt0I/XR9GScD6upXU2arT99u8hk=";
|
||||||
};
|
};
|
||||||
|
|
||||||
# The build picks this up for ligo --version
|
# The build picks this up for ligo --version
|
||||||
LIGO_VERSION=version;
|
LIGO_VERSION = version;
|
||||||
|
|
||||||
useDune2 = true;
|
useDune2 = true;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue