diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2011-08-21 08:41:22 +0000 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2011-08-21 08:41:22 +0000 |
| commit | a9d2f3430102c6546f166dbd5a9199e9e6165f60 (patch) | |
| tree | 7c6ed4fc5b20a6142cbf41b7ae3b42dd66b5d5bd /pkgs/applications/science/logic | |
| parent | 0b99612c180b1f92eb4dcc859571a65e11d03326 (diff) | |
| download | nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.gz nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.bz2 nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.lz nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.xz nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.tar.zst nixlib-a9d2f3430102c6546f166dbd5a9199e9e6165f60.zip | |
Update HOL Light to release 102
svn path=/nixpkgs/trunk/; revision=28718
Diffstat (limited to 'pkgs/applications/science/logic')
| -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 b15b62bfa66e..d835e351cac6 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-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 ]; |