BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

satallax: use OCaml 4.14

Browse source
This commit is contained in:
Vincent Laporte 2024-01-10 06:39:00 +01:00 committed by Vincent Laporte
parent 584621996e
commit 297eb488f8
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

@ -39592,7 +39592,9 @@ with pkgs;
proverif = callPackage ../applications/science/logic/proverif { };
satallax = callPackage ../applications/science/logic/satallax { };
satallax = callPackage ../applications/science/logic/satallax {
inherit (ocaml-ng.ocamlPackages_4_14) ocaml;
};
saw-tools = callPackage ../applications/science/logic/saw-tools { };