MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit 0644836a authored by Jean-Christophe's avatar Jean-Christophe
Browse files

Alt-ergo detection: old versions for trunk

parent 4a19af9b
[ATP alt-ergo] [ATP alt-ergo-trunk]
name = "Alt-Ergo" name = "Alt-Ergo trunk"
exec = "ergo" exec = "ergo"
exec = "alt-ergo" exec = "alt-ergo"
exec = "alt-ergo-0.91" exec = "alt-ergo-0.91"
version_switch = "-version" version_switch = "-version"
version_regexp = ".*Ergo \\([^ \n]*\\)" version_regexp = ".*Ergo \\([^ \n]*\\)"
version_ok = "0.92.2" version_ok = "0.92.3"
version_ok = "0.92.1" version_old = "0.92.2"
version_ok = "0.92" version_old = "0.92.1"
version_ok = "0.91" version_old = "0.92"
version_old = "0.91"
version_old = "0.9" version_old = "0.9"
version_old = "0.8" version_old = "0.8"
command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f" command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f"
driver = "drivers/alt_ergo.drv" driver = "drivers/alt_ergo_trunk.drv"
[ATP alt-ergo] [ATP alt-ergo]
name = "Alt-Ergo" name = "Alt-Ergo"
...@@ -21,10 +22,14 @@ exec = "alt-ergo" ...@@ -21,10 +22,14 @@ exec = "alt-ergo"
exec = "alt-ergo-0.91" exec = "alt-ergo-0.91"
version_switch = "-version" version_switch = "-version"
version_regexp = ".*Ergo \\([^ \n]*\\)" version_regexp = ".*Ergo \\([^ \n]*\\)"
version_ok = "0.92.3" version_ok = "0.92.2"
version_ok = "0.92.1"
version_ok = "0.92"
version_ok = "0.91"
version_old = "0.9"
version_old = "0.8"
command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f" command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f"
driver = "drivers/alt_ergo_trunk.drv" driver = "drivers/alt_ergo.drv"
[ATP cvc3] [ATP cvc3]
name = "CVC3" name = "CVC3"
......
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