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 > Redhat > Fedora Development

 
 
LinkBack Thread Tools
 
Old 06-08-2008, 11:20 AM
"Alan Dunn"
 
Default Anyone want to review and/or sponsor Coq package?

Thanks to help the other day from the list, there is now a candidate
Coq package for fedora:

https://bugzilla.redhat.com/show_bug.cgi?id=450323

If anyone would like to review this and/or sponsor me (this is my
first contribution) it would be much appreciated. It would probably
also be good to note that, as mentioned at the bottom of the bugzilla
listing, the URLs

http://www.duke.edu/~amd34/coq/coq-8.1pl3-1.fc9.src.rpm
http://www.duke.edu/~amd34/coq/coq.spec

are probably one's best bet in retrieving the SRPM and spec file as
the original server is flakier than I anticipated.

- Alan

--
fedora-devel-list mailing list
fedora-devel-list@redhat.com
https://www.redhat.com/mailman/listinfo/fedora-devel-list
 
Old 06-08-2008, 12:24 PM
"Richard W.M. Jones"
 
Default Anyone want to review and/or sponsor Coq package?

On Sun, Jun 08, 2008 at 07:20:43AM -0400, Alan Dunn wrote:
> Thanks to help the other day from the list, there is now a candidate
> Coq package for fedora:
>
> https://bugzilla.redhat.com/show_bug.cgi?id=450323

I can have a look at this tomorrow if you don't find anyone in the
meantime.

Rich.

--
Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine. Supports Linux and Windows.
http://et.redhat.com/~rjones/virt-df/

--
fedora-devel-list mailing list
fedora-devel-list@redhat.com
https://www.redhat.com/mailman/listinfo/fedora-devel-list
 
Old 06-08-2008, 12:54 PM
David Timms
 
Default Anyone want to review and/or sponsor Coq package?

Alan Dunn wrote:

Thanks to help the other day from the list, there is now a candidate
Coq package for fedora:

https://bugzilla.redhat.com/show_bug.cgi?id=450323

Description: Review Request: coq - Coq proof management system

Coq is a formal proof management system. It allows for the
determinations of alcohol percentage in moonshine distillations... ;-)


--
fedora-devel-list mailing list
fedora-devel-list@redhat.com
https://www.redhat.com/mailman/listinfo/fedora-devel-list
 

Thread Tools




All times are GMT. The time now is 06:40 PM.

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