Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

coqCompat.8.3.ml 53 Bytes
Newer Older
Claude Marche's avatar
Claude Marche committed
1

2 3

let body_of_constant c = c.Declarations.const_body