diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2015-11-03 15:24:32 +0100 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2015-11-03 15:24:56 +0100 |
| commit | a487b3326b3eb31c6fbd38ddd394932031ad000e (patch) | |
| tree | 7bfb32b64d66a2a78c55d9f196d803712c30287d /pkgs/applications/science/logic/hol_light | |
| parent | 4a6c595b0f1b78f14fef237831d3c6946efe1160 (diff) | |
| download | nixlib-a487b3326b3eb31c6fbd38ddd394932031ad000e.tar nixlib-a487b3326b3eb31c6fbd38ddd394932031ad000e.tar.gz nixlib-a487b3326b3eb31c6fbd38ddd394932031ad000e.tar.bz2 nixlib-a487b3326b3eb31c6fbd38ddd394932031ad000e.tar.lz nixlib-a487b3326b3eb31c6fbd38ddd394932031ad000e.tar.xz nixlib-a487b3326b3eb31c6fbd38ddd394932031ad000e.tar.zst nixlib-a487b3326b3eb31c6fbd38ddd394932031ad000e.zip | |
Update HOL Light to version 2015-11-02
Diffstat (limited to 'pkgs/applications/science/logic/hol_light')
| -rw-r--r-- | pkgs/applications/science/logic/hol_light/default.nix | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index 8311ac466543..26ed355da394 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchsvn, writeScript, ocaml, camlp5 }: +{ stdenv, fetchFromGitHub, writeScript, ocaml, camlp5 }: let start_script = '' @@ -8,14 +8,14 @@ let ''; in -stdenv.mkDerivation rec { - name = "hol_light-${version}"; - version = "244"; +stdenv.mkDerivation { + name = "hol_light-2015-11-02"; - src = fetchsvn { - url = http://hol-light.googlecode.com/svn/trunk; - rev = version; - sha256 = "1qzb48j7zbx7c327ixmvq2k0ap7y6fqvwal0195chfxvhs858lfq"; + src = fetchFromGitHub { + owner = "jrh13"; + repo = "hol-light"; + rev = "10265313397476ddff4ce13e7bbb588025e7272c"; + sha256 = "17b6a7vk9fhppl0h366y7pw6a9sknq1a8gxqg67dzqpb47vda1n0"; }; buildInputs = [ ocaml camlp5 ]; |