[Nix-dev] hol nixpkg, changes to all-packages.nix

[Tom Ridge]

tr61 at nixos:/mnt/sda4/tom/nixpkgs$ svn diff pkgs/top-level/all-packages.nix
Index: pkgs/top-level/all-packages.nix
===================================================================
--- pkgs/top-level/all-packages.nix     (revision 23415)
+++ pkgs/top-level/all-packages.nix     (working copy)
@@ -6753,6 +6753,8 @@
     camlp5 = camlp5_transitional;
   };

+  hol = callPackage ../applications/science/logic/hol { };
+
   hol_light = callPackage ../applications/science/logic/hol_light { };

   hol_light_binaries = callPackage
../applications/science/logic/hol_light/binaries.nix { };


-- 
Dr Tom Ridge, Lecturer, Department of Computer Science, University of
Leicester