Author: maggesi
Date: Wed Feb 1 14:37:50 2012
New Revision: 31956
URL: https://nixos.org/websvn/nix/?rev=31956&sc=1
Log:
Update HOL Light to rev 122.
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 Feb
1 10:40:07 2012 (r31955)
+++ nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Wed Feb
1 14:37:50 2012 (r31956)
@@ -9,11 +9,11 @@
in
stdenv.mkDerivation {
- name = "hol_light-20120109";
+ name = "hol_light-20120129";
src = fetchsvn {
url = http://hol-light.googlecode.com/svn/trunk;
- rev = "118";
- sha256 =
"97e72dad731338328c031421512c26d440a989ea083f3ae34820eb8413aff495";
+ rev = "122";
+ sha256 =
"d837ba5fe941af9595540691ba4be34e58174ba9a9c7e1ce57620e5cd4385769";
};
buildInputs = [ ocaml findlib camlp5 ];
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
