nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-09 14:33:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
ef289b583e
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