nixpkgs/pkgs/applications/science/logic/eprover/default.upstream
2015-07-05 18:52:42 +03:00

4 lines
123 B
Plaintext

url http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/Download.html
version_link '[.]tgz$'
version '.*[/]V_([0-9.]+)[/].*' '\1'