jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
ca1912036b
nixpkgs/pkgs/applications/science/logic/hol_light
History
Marco Maggesi 7c90b6a9bc Update HOL Light to rev 122. 
svn path=/nixpkgs/trunk/; revision=31956
2012-02-01 14:37:50 +00:00
..
default.nix Update HOL Light to rev 122. 2012-02-01 14:37:50 +00:00