truh/nixpkgs
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic/abella
History
Exact
Vincent Laporte 6aa5fbed97
 abella: fix build with OCaml ≥ 4.03 
(cherry picked from commit 3b7c68615e)
2017-09-22 15:59:15 +02:00
..
default.nix abella: fix build with OCaml ≥ 4.03 2017-09-22 15:59:15 +02:00