-
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
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
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.