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

Update HOL Light to r218

This commit is contained in:
Marco 2015-02-17 10:23:51 +01:00
parent 4b6d83199a
commit 5f6e6b1661
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -10,12 +10,12 @@ in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "hol_light-${version}"; name = "hol_light-${version}";
version = "205"; version = "218";
src = fetchsvn { src = fetchsvn {
url = http://hol-light.googlecode.com/svn/trunk; url = http://hol-light.googlecode.com/svn/trunk;
rev = version; rev = version;
sha256 = "1qnk3fkfr6f74nd8wsi84s9kg872cw766sa15a2ldlhs9ma76chj"; sha256 = "0lidcadyjpyqd2iw90gfrm8hb6g9gpabp54c0ps6z0lb6hdzln74";
}; };
buildInputs = [ ocaml findlib camlp5 ]; buildInputs = [ ocaml findlib camlp5 ];