Author: maggesi
Date: Tue Jun 14 17:09:19 2011
New Revision: 27459
URL: https://svn.nixos.org/websvn/nix/?rev=27459&sc=1
Log:
Update HOL Light to rev 92
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 Tue Jun
14 16:28:17 2011 (r27458)
+++ nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Tue Jun
14 17:09:19 2011 (r27459)
@@ -1,11 +1,11 @@
{stdenv, fetchsvn, writeScript, ocaml, findlib, camlp5}:
stdenv.mkDerivation rec {
- name = "hol_light-20110423";
+ name = "hol_light-20110611";
src = fetchsvn {
url = http://hol-light.googlecode.com/svn/trunk;
- rev = "90";
- sha256 =
"e10f32392eb94de559495f2a2977da9e325ff1f39edbcd28db701a1801566c89";
+ rev = "92";
+ sha256 =
"773fd353c06ebcbba28d2ba8cc495bd3ab0bb6f3f722f566fb3261a27a873ca0";
};
buildInputs = [ ocaml findlib camlp5 ];
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
