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

Update Isabelle

Browse Source 
svn path=/nixpkgs/trunk/; revision=24950
This commit is contained in:
Michael Raskin
2010-12-01 21:25:21 +00:00
parent c1e384b3eb
commit b89881d098
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/isabelle/default.nix
+2 -2
View File
@@ -3,7 +3,7 @@
let let
pname = "Isabelle"; pname = "Isabelle";
version = "2009-1"; version = "2009-2";
name = "${pname}${version}"; name = "${pname}${version}";
theories = ["HOL" "FOL" "ZF"]; theories = ["HOL" "FOL" "ZF"];
in in
@@ -13,7 +13,7 @@ stdenv.mkDerivation {
src = fetchurl { src = fetchurl {
url = "http://www.cl.cam.ac.uk/research/hvg/${pname}/dist/${name}.tar.gz"; url = "http://www.cl.cam.ac.uk/research/hvg/${pname}/dist/${name}.tar.gz";
sha256 = "43ad7794e8b4214b3ace49fc136a69ed6cc65ead02831ae6071f846ecbe56f68"; sha256 = "f92a275b78bd8844de47a5902e339b58f3b768c07a7fb19d8e606b68499d5ac4";
}; };
buildInputs = [ perl polyml nettools ]; buildInputs = [ perl polyml nettools ];