Bug 1745310 - coq failed to build due to retirement of gtksourceview2
Summary: coq failed to build due to retirement of gtksourceview2
Keywords:
Status: CLOSED NEXTRELEASE
Alias: None
Product: Fedora
Classification: Fedora
Component: coq
Version: 31
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Alan Dunn
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2019-08-25 09:39 UTC by Robin Lee
Modified: 2019-08-30 21:36 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2019-08-30 03:15:46 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Robin Lee 2019-08-25 09:39:04 UTC 
Coq, or actually coqide, failed to build due to retirement of gtksourceview2:
https://koji.fedoraproject.org/koji/buildinfo?buildID=1358366

We may have to revive gtksourceview2 or update Coq to the 8.10 branch, which uses Gtk3 with LablGtk 3. Both Coq 8.10 and LablGtk 3 are still in Beta state.

And reviving gtksourceview2 is not difficult.
Comment 1 Jerry James 2019-08-30 03:15:46 UTC 
gtksourceview2 has been brought back, and coq has been built in Rawhide.  I'll keep an eye out for coq 8.10.
Comment 2 Robin Lee 2019-08-30 05:46:48 UTC 
F31 ocaml-lablgtk may be also required to rebuild.
Comment 3 Jerry James 2019-08-30 21:36:55 UTC 
Already done, and waiting for karma + the end of the Beta freeze: https://bodhi.fedoraproject.org/updates/FEDORA-2019-7173d1702d
Note You need to log in before you can comment on or make changes to this bug.