[aur-general] coq in a stable repository

Félix Sipma

5 Mar 2009 5 Mar '09

11:06 p.m.

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

Show replies by date

Daenyth Blank

5 Mar 5 Mar

11:15 p.m.

New subject: [aur-general] coq in a stable repository

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

Andrei Thorp

6 Mar 6 Mar

1:19 a.m.

New subject: [aur-general] coq in a stable repository

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 wrote:

...

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

Felix Sipma

7 Mar 7 Mar

5:49 p.m.

New subject: [aur-general] coq in a stable repository

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 wrote:

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

5530

Age (days ago)

5532

Last active (days ago)

List overview

Download

3 comments

4 participants

participants (4)

Andrei Thorp
Daenyth Blank
Felix Sipma
Félix Sipma