nixpkgs/pkgs/applications/science/logic/eprover/default.upstream

url http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/Download.html
version_link '[.]tgz$'
version '.*[/]V_([0-9.]+)[/].*' '\1'
E prover: switch to the new location 2015-07-05 16:52:31 +01:00			`url http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/Download.html`
Update E prover 2012-12-08 20:36:38 +00:00			`version_link '[.]tgz$'`
			`version '.[/]V_([0-9.]+)[/].' '\1'`