Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 1639074 - coq-8.8.2 is available
Summary: coq-8.8.2 is available
Keywords:
Status: CLOSED NEXTRELEASE
Alias: None
Product: Fedora
Classification: Fedora
Component: coq
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Alan Dunn
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On: 1596974 1599015
Blocks:
TreeView+ depends on / blocked
 
Reported: 2018-10-15 02:31 UTC by Robin Lee
Modified: 2019-02-19 16:02 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2019-02-19 16:02:08 UTC
Type: Bug
Embargoed:


Attachments (Terms of Use)

Description Robin Lee 2018-10-15 02:31:05 UTC
Please refer to: https://github.com/coq/coq/releases

Comment 1 Jerry James 2019-02-19 16:02:08 UTC
Built in Rawhide.


Note You need to log in before you can comment on or make changes to this bug.