Bug 436875 - Request to package Coq proof assistant written in OCaml
Summary: Request to package Coq proof assistant written in OCaml
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: ocaml
Version: rawhide
Hardware: All
OS: Linux
low
low
Target Milestone: ---
Assignee: Richard W.M. Jones
QA Contact: Fedora Extras Quality Assurance
URL: http://coq.inria.fr/
Whiteboard:
Depends On: 450323
Blocks:
TreeView+ depends on / blocked
 
Reported: 2008-03-10 20:58 UTC by Richard W.M. Jones
Modified: 2008-08-04 08:13 UTC (History)
1 user (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2008-08-04 08:13:14 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)

Description Richard W.M. Jones 2008-03-10 20:58:00 UTC 
This is a tracking bug for packaging Coq, a proof assistant, for Fedora:

  http://coq.inria.fr/
Comment 1 Bug Zapper 2008-05-14 05:54:57 UTC 
Changing version to '9' as part of upcoming Fedora 9 GA.
More information and reason for this action is here:
http://fedoraproject.org/wiki/BugZappers/HouseKeeping
Comment 2 Richard W.M. Jones 2008-05-14 21:15:24 UTC 
Back to Rawhide.
Comment 3 Alan Dunn 2008-06-06 17:24:38 UTC 
Candidate review request at https://bugzilla.redhat.com/show_bug.cgi?id=450323 .
I thought I would also mention that this is my first package, and so I'm in need
of a sponsor.
Note You need to log in before you can comment on or make changes to this bug.