philipp
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity

Merge pull request #142551 from ulrikstrid/ligo-0_27_0

conduit-nginx
Sandro 2021-10-22 11:22:53 +02:00 committed by GitHub
parent 7e66e35e1f fd13396e16
commit 6f0b0bb702
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6,16 +6,16 @@
coq.ocamlPackages.buildDunePackage rec {
pname = "ligo";
version = "0.26.0";
version = "0.27.0";
src = fetchFromGitLab {
owner = "ligolang";
repo = "ligo";
rev = "d48098c6724bc0a62170c2f9ff73c792c71c8452";
sha256 = "sha256-uu5985llYsi/9ExKZetk48FqU0sJQB1EirdT/pUw0DA=";
rev = version;
sha256 = "sha256-OUrjMlAWxTPs56ltMt0I/XR9GScD6upXU2arT99u8hk=";
};
# The build picks this up for ligo --version
LIGO_VERSION=version;
LIGO_VERSION = version;
useDune2 = true;