public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

leo2: 1.6.2 → 1.7.0

Browse Source 
Fix build with recent C++ compilers

Use a more recent OCaml (4.05)

(cherry picked from commit cafe9f88fc388a18e5437ffe01c359ab9467f21f)
This commit is contained in:
Vincent Laporte
2021-10-14 11:05:40 +00:00
committed by github-actions[bot]
parent 564cb4d81d
commit 95510a94a5
2 changed files with 18 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/all-packages.nix
+1 -1
View File
@@ -29739,7 +29739,7 @@ in
mathlibtools = with python3Packages; toPythonApplication mathlibtools;
leo2 = callPackage ../applications/science/logic/leo2
{ ocaml = ocaml-ng.ocamlPackages_4_01_0.ocaml; };
{ inherit (ocaml-ng.ocamlPackages_4_05) ocaml camlp4; };
leo3-bin = callPackage ../applications/science/logic/leo3/binary.nix {};