-
Pierre Boutillier authored
For now, it is purely artificial to decouple opam-repository update from switching hacl version.
7edf85e8
Validating GitLab CI configuration…
Learn more
For now, it is purely artificial to decouple opam-repository update from switching hacl version.