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

Update Isabelle to an existing tarball...

Browse Source 
svn path=/nixpkgs/trunk/; revision=26903
This commit is contained in:
Michael Raskin 2011-04-20 12:24:34 +00:00
parent 73dbdbd1d7
commit b4faf64bae
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/isabelle/default.nix
View File

@ -3,7 +3,7 @@
let
pname = "Isabelle";
version = "2009-2";
version = "2011";
name = "${pname}${version}";
theories = ["HOL" "FOL" "ZF"];
in
@ -13,7 +13,7 @@ stdenv.mkDerivation {
src = fetchurl {
url = "http://www.cl.cam.ac.uk/research/hvg/${pname}/dist/${name}.tar.gz";
sha256 = "f92a275b78bd8844de47a5902e339b58f3b768c07a7fb19d8e606b68499d5ac4";
sha256 = "ea85eb2a859891be387f020b2e45f8c9a0bd1d8bbc3902f28a429e9c61cb0b6a";
};
buildInputs = [ perl polyml nettools ];