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

abella: use OCaml 4.12

Browse source
This commit is contained in:
Vincent Laporte 2021-12-02 14:29:39 +01:00 committed by Vincent Laporte
parent 251f4cddca
commit ed7b551601
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

@ -32362,7 +32362,9 @@ with pkgs;
abc-verifier = callPackage ../applications/science/logic/abc {};
abella = callPackage ../applications/science/logic/abella { };
abella = callPackage ../applications/science/logic/abella {
ocamlPackages = ocaml-ng.ocamlPackages_4_12;
};
acgtk = callPackage ../applications/science/logic/acgtk {};