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

E prover: switch to the new location

This commit is contained in:
Michael Raskin 2015-07-05 18:52:31 +03:00
parent cb94cce94f
commit 178014373e
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6,7 +6,7 @@ let
version="1.8"; version="1.8";
name="${baseName}-${version}"; name="${baseName}-${version}";
hash="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3"; hash="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3";
url="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.8/E.tgz"; url="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_1.8/E.tgz";
sha256="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3"; sha256="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3";
}; };
in in

2
pkgs/applications/science/logic/eprover/default.upstream
View File

@ -1,3 +1,3 @@
url http://www4.informatik.tu-muenchen.de/~schulz/E/Download.html url http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/Download.html
version_link '[.]tgz$' version_link '[.]tgz$'
version '.*[/]V_([0-9.]+)[/].*' '\1' version '.*[/]V_([0-9.]+)[/].*' '\1'