Bug 1745310

Summary:	coq failed to build due to retirement of gtksourceview2
Product:	[Fedora] Fedora	Reporter:	Robin Lee <robinlee.sysu>
Component:	coq	Assignee:	Alan Dunn <amdunn>
Status:	CLOSED NEXTRELEASE	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	31	CC:	amdunn, loganjerry
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:		Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2019-08-30 03:15:46 UTC	Type:	Bug
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

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