Author: maggesi
Date: Wed Dec 28 12:49:29 2011
New Revision: 31126
URL: https://nixos.org/websvn/nix/?rev=31126&sc=1
Log:
Oops!
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 Wed Dec
28 12:45:59 2011 (r31125)
+++ nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Wed Dec
28 12:49:29 2011 (r31126)
@@ -13,7 +13,7 @@
src = fetchsvn {
url = http://hol-light.googlecode.com/svn/trunk;
rev = "116";
- sha256 =
"a9203a0118caf5d0ca7621abafab4af6245e1c1ae6ba628ead7c6f69aa86d9d3";
+ sha256 =
"c840cc2dfeb2088484692cb0073e6a7bb85e3e44e95aee1e0f5a8e223f7ccae6";
};
buildInputs = [ ocaml findlib camlp5 ];
_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
