Bonjour à tous :)
Ma demande concerne le package coq.
coq est un assistant de preuve développé par l'inria.
http://coq.inria.fr/
La version actuelle est la 8.2.
Actuellement il est uniquement disponible dans AUR mais il me semble qu'il mériterait d'être dans un répertoire stable. C'est un des plus ...