Author: maggesi
Date: Sat May 5 16:46:53 2012
New Revision: 33992
URL: https://nixos.org/websvn/nix/?rev=33992&sc=1
Log:
Update HOL Light to r134
Modified:
nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix
Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Sat May
5 15:50:31 2012 (r33991)
+++ nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Sat May
5 16:46:53 2012 (r33992)
@@ -9,11 +9,11 @@
in
stdenv.mkDerivation {
- name = "hol_light-20120312";
+ name = "hol_light-20120427";
src = fetchsvn {
url = http://hol-light.googlecode.com/svn/trunk;
- rev = "128";
- sha256 =
"35dc164c05b07663bf596ea9553209087c1538dea87a04c23f01d5423b23dbfe";
+ rev = "134";
+ sha256 =
"91e7575eeac37a1fbd127eabe99f736b9e1a19fb7b1a0fa27cf31b66edad4b17";
};
buildInputs = [ ocaml findlib camlp5 ];
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
