-
POTTIER Francois authored
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).
a9e7fc51
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
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).