N
Necro Coq Generator
Apps to compile from skel to gallina for use with the Coq Proof Assistant
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/
Apps to compile from skel to gallina for use with the Coq Proof Assistant