-
Guillaume Melquiond authored
As a consequence, packages for CVC3 and Spass are no longer available. This commit also removes OCaml versions before 4.05.0 and adds them till 4.09.0.
70eb8cd9
Validating GitLab CI configuration…
Learn more
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
As a consequence, packages for CVC3 and Spass are no longer available. This commit also removes OCaml versions before 4.05.0 and adds them till 4.09.0.