Bug 805002

Summary:	sci-mathematics/alt-ergo-2.4.1 version bump
Product:	Gentoo Linux	Reporter:	Andreas Sturmlechner <asturm>
Component:	Current packages	Assignee:	Tupone Alfredo <tupone>
Status:	RESOLVED FIXED
Severity:	normal	CC:	xgqt
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	https://github.com/OCamlPro/alt-ergo/releases/tag/2.4.1
See Also:	https://bugs.gentoo.org/show_bug.cgi?id=769332
Whiteboard:
Package list:		Runtime testing required:	---

Description Andreas Sturmlechner gentoo-dev

2021-07-29 09:18:31 UTC

Unfortunately though no port to GTK3 in this release.

Comment 1 Andreas Sturmlechner gentoo-dev

2022-01-15 10:53:32 UTC

Apparently fixed in commit 9c0afb6206ddcc225b50413cb8a46b8b0eded3cc.