-
François Bobot authored
Just execute the registration of why3ml format thanks to linkall It is the sub-package why3.ml for ocamlfind. The directory lib-ocaml/why3 is a local version of /usr/lib/ocaml/why3.
fcb8f0e8
Attention une mise à jour de la base PostGre sur le service gitlab.inria.fr sera effectuée lundi 02 octobre entraînant une interruption de service entre 17h et 19h.
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 prévue aujourd'hui (mercredi 27/09) entre 13 et 14h n'a pas été fructueuse. La montée de version sera re-programmée ultérieurement.
Just execute the registration of why3ml format thanks to linkall It is the sub-package why3.ml for ocamlfind. The directory lib-ocaml/why3 is a local version of /usr/lib/ocaml/why3.