diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2011-06-14 17:09:19 +0000 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2011-06-14 17:09:19 +0000 |
| commit | 5b035e093d373de99c9072292c2550d996a4d5cb (patch) | |
| tree | 9069d27484d4b7838f9dc2b44bcf0d476c0bd18f /pkgs/applications/science/logic/hol_light | |
| parent | 3cf686b4fc18f62031a3e385a79b1576b7b79120 (diff) | |
| download | nixpkgs-5b035e093d373de99c9072292c2550d996a4d5cb.tar nixpkgs-5b035e093d373de99c9072292c2550d996a4d5cb.tar.gz nixpkgs-5b035e093d373de99c9072292c2550d996a4d5cb.tar.bz2 nixpkgs-5b035e093d373de99c9072292c2550d996a4d5cb.tar.lz nixpkgs-5b035e093d373de99c9072292c2550d996a4d5cb.tar.xz nixpkgs-5b035e093d373de99c9072292c2550d996a4d5cb.tar.zst nixpkgs-5b035e093d373de99c9072292c2550d996a4d5cb.zip | |
Update HOL Light to rev 92
svn path=/nixpkgs/trunk/; revision=27459
Diffstat (limited to 'pkgs/applications/science/logic/hol_light')
| -rw-r--r-- | pkgs/applications/science/logic/hol_light/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index ea68738af57..b15b62bfa66 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -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 ]; |