[aur-general] coq in a stable repository
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
On Thu, Mar 5, 2009 at 18:06, Félix Sipma <legrostdg@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 :)
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 <daenyth+arch@gmail.com> wrote:
On Thu, Mar 5, 2009 at 18:06, Félix Sipma <legrostdg@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 :)
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 <daenyth+arch@gmail.com> wrote:
On Thu, Mar 5, 2009 at 18:06, F?lix Sipma <legrostdg@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 :)
participants (4)
-
Andrei Thorp
-
Daenyth Blank
-
Felix Sipma
-
Félix Sipma