diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2011-04-21 14:39:29 +0000 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2011-04-21 14:39:29 +0000 |
| commit | a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d (patch) | |
| tree | 6b9564d901d99817cc117e18d2f0befb5cca5a39 /pkgs/applications/science/logic/hol_light | |
| parent | 3db6f637110d17a91af1a3bc257adb4de40abe5b (diff) | |
| download | nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.gz nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.bz2 nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.lz nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.xz nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.tar.zst nixlib-a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d.zip | |
Update HOL Light to r89
svn path=/nixpkgs/trunk/; revision=26916
Diffstat (limited to 'pkgs/applications/science/logic/hol_light')
| -rw-r--r-- | pkgs/applications/science/logic/hol_light/sources.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/hol_light/sources.nix b/pkgs/applications/science/logic/hol_light/sources.nix index b45ca4a90349..c6bf65928768 100644 --- a/pkgs/applications/science/logic/hol_light/sources.nix +++ b/pkgs/applications/science/logic/hol_light/sources.nix @@ -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 = '' |