-
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
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.