-
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
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
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.