nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-02 15:41:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update url for Isabelle2011

Browse Source 
svn path=/nixpkgs/trunk/; revision=30574
This commit is contained in:
Marco Maggesi 2011-11-26 18:45:15 +00:00
parent 499b2c47d9
commit bf394d80ec
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/isabelle/default.nix
View File

@ -12,7 +12,7 @@ stdenv.mkDerivation {
inherit name theories;
src = fetchurl {
url = "http://www.cl.cam.ac.uk/research/hvg/${pname}/dist/${name}.tar.gz";
url = http://isabelle.in.tum.de/website-Isabelle2011/dist/Isabelle2011.tar.gz;
sha256 = "ea85eb2a859891be387f020b2e45f8c9a0bd1d8bbc3902f28a429e9c61cb0b6a";
};