diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2016-07-28 15:56:20 +0200 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2016-07-28 15:56:20 +0200 |
| commit | c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0 (patch) | |
| tree | 6f131f1be082266cbb38962d27177da7d43c3d83 /pkgs/applications/science/logic/hol_light | |
| parent | ace13888c7cf189b2c69cccc99cde1ff7cd3f208 (diff) | |
| download | nixpkgs-c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0.tar nixpkgs-c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0.tar.gz nixpkgs-c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0.tar.bz2 nixpkgs-c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0.tar.lz nixpkgs-c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0.tar.xz nixpkgs-c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0.tar.zst nixpkgs-c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0.zip | |
Update HOL Light to version 2016-07-23.
Diffstat (limited to 'pkgs/applications/science/logic/hol_light')
| -rw-r--r-- | pkgs/applications/science/logic/hol_light/default.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index 26ed355da39..bc391c47b8b 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -9,19 +9,17 @@ let in stdenv.mkDerivation { - name = "hol_light-2015-11-02"; + name = "hol_light-2016-07-23"; src = fetchFromGitHub { owner = "jrh13"; repo = "hol-light"; - rev = "10265313397476ddff4ce13e7bbb588025e7272c"; - sha256 = "17b6a7vk9fhppl0h366y7pw6a9sknq1a8gxqg67dzqpb47vda1n0"; + rev = "67cff936dda719f0e0ee57ab9d07c779ff664660"; + sha256 = "0r85ifdvsvk2cdv7s4a0kf9ha6jdznqmz7swvp577f8r182klr28"; }; buildInputs = [ ocaml camlp5 ]; - patches = [ ./Makefile.patch ]; - installPhase = '' mkdir -p "$out/lib/hol_light" "$out/bin" cp -a . $out/lib/hol_light |