jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
9a5f7b1630
nixpkgs/pkgs/applications/science/logic/hol_light
History
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