dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

ligo: 1.6.0 → 1.7.1

Browse Source
This commit is contained in:
Vincent Laporte 2024-07-03 07:00:16 +02:00
parent 2240a1aa31
commit 1e7a777c99
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -15,12 +15,12 @@
ocamlPackages.buildDunePackage rec {
pname = "ligo";
version = "1.6.0";
version = "1.7.1";
src = fetchFromGitLab {
owner = "ligolang";
repo = "ligo";
rev = version;
hash = "sha256-ZPHOgozuUij9+4YXZTnn1koddQEQZe/yrpb+OPHO+nA=";
hash = "sha256-pBoLgS/9MLMrc98niI+o2JoJ3gpvhyRY2o9GmVc5hIA=";
fetchSubmodules = true;
};

2
pkgs/top-level/all-packages.nix
View File

@ -9553,7 +9553,7 @@ with pkgs;
last-resort = callPackage ../data/fonts/last-resort { };
ligo =
let ocaml_p = ocaml-ng.ocamlPackages_4_14_janeStreet_0_15; in
let ocaml_p = ocaml-ng.ocamlPackages_4_14; in
callPackage ../development/compilers/ligo {
coq = coq_8_13.override {
customOCamlPackages = ocaml_p;