Hi all, I have a request concerning the package coq. coq is a proof assistant which is used by a lot of people in the domain (I agree that that the proportion of arch users may seemed ridiculous, it is a tool for specialists) http://coq.inria.fr/ This software is designed by the French public computing institute INRIA. It is a really mature software, the development is active and it is very stable. Would it be possible to integrate it into a repository like community, extra or core? It depends on ocaml, and so I've tried to send a mail to the person who is in charge of this package but I have no answer... Thanks,
Felix
