JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

hol_light: 2018-09-30 -> 2019-03-27

Browse Source
This commit is contained in:
Vincent Laporte 2019-03-30 15:29:33 +00:00 committed by Vincent Laporte
parent 82b8ff405b
commit 50a03f8632
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/hol_light/default.nix
View File

@ -21,13 +21,13 @@ let
in in
stdenv.mkDerivation { stdenv.mkDerivation {
name = "hol_light-2018-09-30"; name = "hol_light-2019-03-27";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "jrh13"; owner = "jrh13";
repo = "hol-light"; repo = "hol-light";
rev = "27e09dd27834de46e917057710e9d8ded51a4c9f"; rev = "a2b487b38d9da47350f1b4316e34a8fa4cf7a40a";
sha256 = "1p0rm08wnc2lsrh3xzhlq3zdhzqcv1lbqnkwx3aybrqhbg1ixc1d"; sha256 = "1qlidl15qi8w4si8wxcmj8yg2srsb0q4k1ad9yd91sgx9h9aq8fk";
}; };
buildInputs = [ ocaml camlp5 ]; buildInputs = [ ocaml camlp5 ];

4
pkgs/top-level/ocaml-packages.nix
View File

@ -1059,9 +1059,7 @@ let
enableX11 = config.unison.enableX11 or true; enableX11 = config.unison.enableX11 or true;
}; };
hol_light = callPackage ../applications/science/logic/hol_light { hol_light = callPackage ../applications/science/logic/hol_light { };
camlp5 = callPackage ../development/tools/ocaml/camlp5 { legacy = true; };
};
})).overrideScope' liftJaneStreet; })).overrideScope' liftJaneStreet;