diff options
| author | Marco Maggesi <1809783+maggesi@users.noreply.github.com> | 2019-10-08 22:59:49 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-10-09 06:13:48 +0000 |
| commit | bf56c1569572a0c2ab50496daf6d188e4bfade43 (patch) | |
| tree | c94289ee9981c339677e323d368f2e8c4e116745 /pkgs/applications/science/logic | |
| parent | aef0e13d26806bc683fb46020a23bc7aa356120b (diff) | |
| download | nixlib-bf56c1569572a0c2ab50496daf6d188e4bfade43.tar nixlib-bf56c1569572a0c2ab50496daf6d188e4bfade43.tar.gz nixlib-bf56c1569572a0c2ab50496daf6d188e4bfade43.tar.bz2 nixlib-bf56c1569572a0c2ab50496daf6d188e4bfade43.tar.lz nixlib-bf56c1569572a0c2ab50496daf6d188e4bfade43.tar.xz nixlib-bf56c1569572a0c2ab50496daf6d188e4bfade43.tar.zst nixlib-bf56c1569572a0c2ab50496daf6d188e4bfade43.zip | |
hol_light: 2019-03-27 -> 2019-10-06
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 40b0115dc1b7..cda3656dc59e 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -21,13 +21,13 @@ let in stdenv.mkDerivation { - name = "hol_light-2019-03-27"; + name = "hol_light-2019-10-06"; src = fetchFromGitHub { owner = "jrh13"; repo = "hol-light"; - rev = "a2b487b38d9da47350f1b4316e34a8fa4cf7a40a"; - sha256 = "1qlidl15qi8w4si8wxcmj8yg2srsb0q4k1ad9yd91sgx9h9aq8fk"; + rev = "5c91b2ded8a66db571824ecfc18b4536c103b23e"; + sha256 = "0sxsk8z08ba0q5aixdyczcx5l29lb51ba4ip3d2fry7y604kjsx6"; }; buildInputs = [ ocaml camlp5 ]; |