[aur-general] coq in a stable repository

Daenyth Blank daenyth+arch at gmail.com
Thu Mar 5 18:15:50 EST 2009


On Thu, Mar 5, 2009 at 18:06, Félix Sipma <legrostdg at gmail.com> 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 :)


More information about the aur-general mailing list