So, does someone want to do it? Felix
> 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! ;) > > -AT > > On Thu, Mar 5, 2009 at 3:15 PM, Daenyth Blank <[email protected]> wrote: > > On Thu, Mar 5, 2009 at 18:06, F?lix Sipma <[email protected]> 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 :) > >
