Commit 11c4f402 authored by Andrei Paskevich's avatar Andrei Paskevich

support Alt-Ergo 0.95.[123]

parent 92daa936
[ATP alt-ergo]
name = "Alt-Ergo"
exec = "alt-ergo"
exec = "alt-ergo-0.95.3"
exec = "alt-ergo-0.95.2"
exec = "alt-ergo-0.95.1"
exec = "alt-ergo-0.95"
exec = "alt-ergo-0.95-dev"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\(-dev\\)?\\)"
version_ok = "0.95.3"
version_ok = "0.95.2"
version_ok = "0.95.1"
version_ok = "0.95"
version_ok = "0.95-dev"
command = "'@LOCALBIN@why3-cpulimit' %T %m -s %e -timelimit %t %f"
......@@ -15,10 +21,16 @@ editor = "altgr-ergo"
name = "Alt-Ergo"
alternative = "models"
exec = "alt-ergo"
exec = "alt-ergo-0.95.3"
exec = "alt-ergo-0.95.2"
exec = "alt-ergo-0.95.1"
exec = "alt-ergo-0.95"
exec = "alt-ergo-0.95-dev"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\(-dev\\)?\\)"
version_ok = "0.95.3"
version_ok = "0.95.2"
version_ok = "0.95.1"
version_ok = "0.95"
version_ok = "0.95-dev"
command = "'@LOCALBIN@why3-cpulimit' %T %m -s %e -timelimit %t -model %f"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment