-
POTTIER Francois authoredThis tells opam that a new version of menhirLib or menhirSdk cannot coexist with an old version of the menhir package (from the time when menhirLib and menhirSdk were not separate packages).
a9e7fc51
Attention nous programmons une interruption de service pour une grosse opération de maintenance qui commencera le lundi 16 octobre à 13h et se terminera au plus tard mardi 17h à 09h. Si tout se passe bien le service pourrait reprendre plus tôt (lundi 16 en fin de journée)
La mise à jour de la base PostGRE est terminée. Nous avons profité de l'arrêt de service pour relancer la mise à jour de Gitlab. Nous sommes passés en version 16.3.4.
Nous nous excusons pour la gêne occasionnée, la mise à jour ayant été plus longue que prévue (30 minutes de retard).
Pour consulter les principaux changements lire la release note: https://about.gitlab.com/releases/2023/05/22/gitlab-16-0-released/
This tells opam that a new version of menhirLib or menhirSdk cannot coexist with an old version of the menhir package (from the time when menhirLib and menhirSdk were not separate packages).