-
Jakob Botsch Nielsen authored
Containers needs to be updated for the dev build as Coq does not use Camlp5 anymore.
6b74be6d
Validating GitLab CI configuration…
Learn more
Containers needs to be updated for the dev build as Coq does not use Camlp5 anymore.