nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-12 08:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

ligo: pin zarith to 1.12

Browse Source
This commit is contained in:
Vincent Laporte 2023-11-08 06:55:36 +01:00
parent e985cd4c3b
commit dfe6dad0a7
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -9915,7 +9915,14 @@ with pkgs;
ldc = callPackage ../development/compilers/ldc { };
ligo =
let ocaml_p = ocaml-ng.ocamlPackages_4_14_janeStreet_0_15; in
let ocaml_p = ocaml-ng.ocamlPackages_4_14_janeStreet_0_15.overrideScope (self: super: {
zarith = super.zarith.overrideAttrs (o: {
src = fetchzip {
url = "https://github.com/ocaml/Zarith/archive/refs/tags/release-1.12.tar.gz";
hash = "sha256-SQegsMc1+UIod8XeJDE+H5q1huNDQI8CUh7IsHOoVMs=";
};
});
}); in
callPackage ../development/compilers/ligo {
coq = coq_8_13.override {
customOCamlPackages = ocaml_p;