Author: maggesi
Date: Thu Apr 21 14:39:29 2011
New Revision: 26916
URL: https://svn.nixos.org/websvn/nix/?rev=26916&sc=1
Log:
Update HOL Light to r89
Modified:
nixpkgs/trunk/pkgs/applications/science/logic/hol_light/sources.nix
Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/sources.nix
==============================================================================
--- nixpkgs/trunk/pkgs/applications/science/logic/hol_light/sources.nix Thu Apr
21 12:48:07 2011 (r26915)
+++ nixpkgs/trunk/pkgs/applications/science/logic/hol_light/sources.nix Thu Apr
21 14:39:29 2011 (r26916)
@@ -2,12 +2,12 @@
stdenv.mkDerivation rec {
name = "hol_light_sources-${version}";
- version = "20101029";
+ version = "20110417";
src = fetchsvn {
url = http://hol-light.googlecode.com/svn/trunk;
- rev = "64";
- sha256 =
"91e9cac62586039b13c11af245f85a743e299892b24b39d3c7b2ee13157e87c9";
+ rev = "89";
+ sha256 =
"a14a7ce61002443daac85583362f9f6f5509b22d441effaeb378e0f2c29185e5";
};
buildCommand = ''
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
