[coq] demande d'ajout de package au dépôt
Publié : sam. 14 mars 2009, 05:28
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 gros projets d'assistant de preuve et il est utilisé par beaucoup de monde -parmi les chercheurs -.
Pensez-vous qu'il serait possible de l'intégrer dans le dépôt archlinuxfr?
J'ai essayé de demander pour community ou autre mais on m'a répondu qu'il n'avait pas assez de votes (ce n'est pourtant pas sa faute s'il y a si peu de chercheurs ).
Merci!
Félix
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 gros projets d'assistant de preuve et il est utilisé par beaucoup de monde -parmi les chercheurs -.
Pensez-vous qu'il serait possible de l'intégrer dans le dépôt archlinuxfr?
J'ai essayé de demander pour community ou autre mais on m'a répondu qu'il n'avait pas assez de votes (ce n'est pourtant pas sa faute s'il y a si peu de chercheurs ).
Merci!
Félix