Author: maggesi
Date: Sun Aug 21 08:41:22 2011
New Revision: 28718
URL: https://svn.nixos.org/websvn/nix/?rev=28718&sc=1
Log:
Update HOL Light to release 102
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 Sun Aug
21 00:13:34 2011 (r28717)
+++ nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Sun Aug
21 08:41:22 2011 (r28718)
@@ -1,11 +1,11 @@
{stdenv, fetchsvn, writeScript, ocaml, findlib, camlp5}:
stdenv.mkDerivation rec {
- name = "hol_light-20110611";
+ name = "hol_light-20110813";
src = fetchsvn {
url = http://hol-light.googlecode.com/svn/trunk;
- rev = "92";
- sha256 =
"773fd353c06ebcbba28d2ba8cc495bd3ab0bb6f3f722f566fb3261a27a873ca0";
+ rev = "102";
+ sha256 =
"5b972672db6aa1838dc5d130accd9ab6a62030c6b0c1dc4b69e42088b1ae86c9";
};
buildInputs = [ ocaml findlib camlp5 ];
_______________________________________________
nix-commits mailing list
nix-comm...@cs.uu.nl
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
