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

cubicle: use OCaml 4.14

Browse Source
This commit is contained in:
Vincent Laporte 2024-01-10 06:35:37 +01:00 committed by Vincent Laporte
parent 7ff0562792
commit cf416a1fed
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -39448,7 +39448,9 @@ with pkgs;
crypto-org-wallet = callPackage ../applications/blockchains/crypto-org-wallet { };
cubicle = callPackage ../applications/science/logic/cubicle { };
cubicle = callPackage ../applications/science/logic/cubicle {
ocamlPackages = ocaml-ng.ocamlPackages_4_14;
};
cvc3 = callPackage ../applications/science/logic/cvc3 {
gmp = lib.overrideDerivation gmp (_: { dontDisableStatic = true; });