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

4 lines
126 B
Plaintext
Raw Normal View History

2012-12-08 21:36:38 +01:00
url http://www4.informatik.tu-muenchen.de/~schulz/E/Download.html
version_link '[.]tgz$'
version '.*[/]V_([0-9.]+)[/].*' '\1'