diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2015-09-01 16:30:27 +0200 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2015-09-01 16:30:27 +0200 |
| commit | 97b27e69c053c2810201f6a72a186234c012b64f (patch) | |
| tree | cb1e26842fec8c92c8010eb5fcc7e425b6fee307 /pkgs/applications/science | |
| parent | b4ad13f667143a444a82fd9da5b46d65ff32a26b (diff) | |
| download | nixlib-97b27e69c053c2810201f6a72a186234c012b64f.tar nixlib-97b27e69c053c2810201f6a72a186234c012b64f.tar.gz nixlib-97b27e69c053c2810201f6a72a186234c012b64f.tar.bz2 nixlib-97b27e69c053c2810201f6a72a186234c012b64f.tar.lz nixlib-97b27e69c053c2810201f6a72a186234c012b64f.tar.xz nixlib-97b27e69c053c2810201f6a72a186234c012b64f.tar.zst nixlib-97b27e69c053c2810201f6a72a186234c012b64f.zip | |
Update HOL Light to svn r244.
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/hol_light/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index 86d7bfd84278..b50501a6d34c 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -10,12 +10,12 @@ in stdenv.mkDerivation rec { name = "hol_light-${version}"; - version = "232"; + version = "244"; src = fetchsvn { url = http://hol-light.googlecode.com/svn/trunk; rev = version; - sha256 = "1cips2cb5wqxb6n2qi28af2ap1vhklqbhjy7pnifgz4dilkz10m8"; + sha256 = "1qzb48j7zbx7c327ixmvq2k0ap7y6fqvwal0195chfxvhs858lfq"; }; buildInputs = [ ocaml findlib camlp5 ]; |