diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-30 15:29:33 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-04-06 11:03:29 +0200 |
| commit | 50a03f863277e40611108192935e1c3e216edcb8 (patch) | |
| tree | 6bf7b3d7034244cf77c0a05d2baa243ea05b5d13 /pkgs/applications/science | |
| parent | 82b8ff405bd151b682b9f5dfb14c672cb2b93866 (diff) | |
| download | nixpkgs-50a03f863277e40611108192935e1c3e216edcb8.tar nixpkgs-50a03f863277e40611108192935e1c3e216edcb8.tar.gz nixpkgs-50a03f863277e40611108192935e1c3e216edcb8.tar.bz2 nixpkgs-50a03f863277e40611108192935e1c3e216edcb8.tar.lz nixpkgs-50a03f863277e40611108192935e1c3e216edcb8.tar.xz nixpkgs-50a03f863277e40611108192935e1c3e216edcb8.tar.zst nixpkgs-50a03f863277e40611108192935e1c3e216edcb8.zip | |
hol_light: 2018-09-30 -> 2019-03-27
Diffstat (limited to 'pkgs/applications/science')
| -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 099e2102c51..40b0115dc1b 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-2018-09-30"; + name = "hol_light-2019-03-27"; src = fetchFromGitHub { owner = "jrh13"; repo = "hol-light"; - rev = "27e09dd27834de46e917057710e9d8ded51a4c9f"; - sha256 = "1p0rm08wnc2lsrh3xzhlq3zdhzqcv1lbqnkwx3aybrqhbg1ixc1d"; + rev = "a2b487b38d9da47350f1b4316e34a8fa4cf7a40a"; + sha256 = "1qlidl15qi8w4si8wxcmj8yg2srsb0q4k1ad9yd91sgx9h9aq8fk"; }; buildInputs = [ ocaml camlp5 ]; |