nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-15 18:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
4b63c915af
nixpkgs/pkgs/applications/science/logic/hol_light
History
Marco Maggesi bf56c15695
hol_light: 2019-03-27 -> 2019-10-06
2019-10-09 06:13:48 +00:00
..
default.nix hol_light: 2019-03-27 -> 2019-10-06 2019-10-09 06:13:48 +00:00