added support for Alt-Ergo 2.3.2

parent 1f97dbbd
......@@ -3,10 +3,12 @@ name = "Alt-Ergo"
exec = "alt-ergo"
exec = "alt-ergo-2.3.0"
exec = "alt-ergo-2.3.1"
exec = "alt-ergo-2.3.2"
version_switch = "-version"
version_regexp = "^\\([0-9.]+\\)$"
version_ok = "2.3.0"
version_ok = "2.3.1"
version_ok = "2.3.2"
command = "%e -timelimit %t %f"
command_steps = "%e -steps-bound %S %f"
driver = "alt_ergo"
......
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