nixpkgs/pkgs/applications/science/logic/hol_light
Marco Maggesi 9a5f7b1630 hol_light: 2017-07-06 -> 2018-09-30
Also handle compatibility with newer version of OCaml (depend on num
library as needed).
2018-10-06 15:49:09 +00:00
..
default.nix hol_light: 2017-07-06 -> 2018-09-30 2018-10-06 15:49:09 +00:00