nixpkgs/pkgs/applications/science/logic/hol_light
Marco Maggesi fd64bc5289 Oops!
svn path=/nixpkgs/trunk/; revision=31126
2011-12-28 12:49:29 +00:00
..
default.nix Oops! 2011-12-28 12:49:29 +00:00