alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Update HOL Light to svn r232 (2015-05-31)

Browse source
This commit is contained in:
Marco 2015-06-03 11:06:51 +02:00
parent 6e0ca8cd11
commit 3af4c7065d
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 = "218"; version = "232";
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 = "0lidcadyjpyqd2iw90gfrm8hb6g9gpabp54c0ps6z0lb6hdzln74"; sha256 = "1cips2cb5wqxb6n2qi28af2ap1vhklqbhjy7pnifgz4dilkz10m8";
}; };
buildInputs = [ ocaml findlib camlp5 ]; buildInputs = [ ocaml findlib camlp5 ];