-
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: lundi 06/05, lundi 03/06, lundi 01/07
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.