Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 805002 - sci-mathematics/alt-ergo-2.4.1 version bump
Summary: sci-mathematics/alt-ergo-2.4.1 version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL: https://github.com/OCamlPro/alt-ergo/...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2021-07-29 09:18 UTC by Andreas Sturmlechner
Modified: 2022-01-15 10:53 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.