alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

prooftree: use OCaml 4.12

Browse source
This commit is contained in:
Vincent Laporte 2021-12-02 13:37:21 +01:00 committed by Vincent Laporte
parent 5db8d97e62
commit 03fc4992af
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

@ -32503,7 +32503,9 @@ with pkgs;
libpoly = callPackage ../applications/science/logic/poly {}; libpoly = callPackage ../applications/science/logic/poly {};
prooftree = callPackage ../applications/science/logic/prooftree {}; prooftree = callPackage ../applications/science/logic/prooftree {
ocamlPackages = ocaml-ng.ocamlPackages_4_12;
};
prover9 = callPackage ../applications/science/logic/prover9 { }; prover9 = callPackage ../applications/science/logic/prover9 { };