So, does someone want to do it?
> No! If there are more TUs, then someone needs to find all the times
> the current number of TUs is mentioned on the wiki and change it!
> On Thu, Mar 5, 2009 at 3:15 PM, Daenyth Blank <email@example.com> wrote:
> > On Thu, Mar 5, 2009 at 18:06, F?lix Sipma <firstname.lastname@example.org> wrote:
> >> 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
> > If noone volunteers, your best option is to apply to become a TU
> > yourself and put it in community