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

hol_light: 2019-03-27 -> 2019-10-06

Browse Source
This commit is contained in:
Marco Maggesi 2019-10-08 22:59:49 +02:00 committed by Vincent Laporte
parent aef0e13d26
commit bf56c15695
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 3 additions and 3 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-2019-03-27"; name = "hol_light-2019-10-06";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "jrh13"; owner = "jrh13";
repo = "hol-light"; repo = "hol-light";
rev = "a2b487b38d9da47350f1b4316e34a8fa4cf7a40a"; rev = "5c91b2ded8a66db571824ecfc18b4536c103b23e";
sha256 = "1qlidl15qi8w4si8wxcmj8yg2srsb0q4k1ad9yd91sgx9h9aq8fk"; sha256 = "0sxsk8z08ba0q5aixdyczcx5l29lb51ba4ip3d2fry7y604kjsx6";
}; };
buildInputs = [ ocaml camlp5 ]; buildInputs = [ ocaml camlp5 ];