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