FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.


» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > ArchLinux > ArchLinux User Repository

 
 
LinkBack Thread Tools
 
Old 03-05-2009, 10:06 PM
Félix Sipma
 
Default 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
 
Old 03-05-2009, 10:15 PM
Daenyth Blank
 
Default coq in a stable repository

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
 
Old 03-06-2009, 12:19 AM
Andrei Thorp
 
Default 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 <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
>
 
Old 03-07-2009, 04:49 PM
Felix Sipma
 
Default 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 <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
> >
 

Thread Tools




All times are GMT. The time now is 11:06 AM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright ©2007 - 2008, www.linux-archive.org