diff options
author | Marco <marco.maggesi@gmail.com> | 2015-02-17 10:23:51 +0100 |
---|---|---|
committer | Marco <marco.maggesi@gmail.com> | 2015-02-17 10:23:51 +0100 |
commit | 5f6e6b166123bb2287824d57bf081823ad01311e (patch) | |
tree | 78a9cd1d077a550bf415380bbc77336a0e80235b /pkgs/applications/science/logic/hol_light | |
parent | 4b6d83199af7e3f572ee1f0c9945287b44593a75 (diff) | |
download | nixpkgs-5f6e6b166123bb2287824d57bf081823ad01311e.tar nixpkgs-5f6e6b166123bb2287824d57bf081823ad01311e.tar.gz nixpkgs-5f6e6b166123bb2287824d57bf081823ad01311e.tar.bz2 nixpkgs-5f6e6b166123bb2287824d57bf081823ad01311e.tar.lz nixpkgs-5f6e6b166123bb2287824d57bf081823ad01311e.tar.xz nixpkgs-5f6e6b166123bb2287824d57bf081823ad01311e.tar.zst nixpkgs-5f6e6b166123bb2287824d57bf081823ad01311e.zip |
Update HOL Light to r218
Diffstat (limited to 'pkgs/applications/science/logic/hol_light')
-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 1e4fe08639f..212da932c28 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 = "205"; + version = "218"; src = fetchsvn { url = http://hol-light.googlecode.com/svn/trunk; rev = version; - sha256 = "1qnk3fkfr6f74nd8wsi84s9kg872cw766sa15a2ldlhs9ma76chj"; + sha256 = "0lidcadyjpyqd2iw90gfrm8hb6g9gpabp54c0ps6z0lb6hdzln74"; }; buildInputs = [ ocaml findlib camlp5 ]; |