gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-07-30 22:48:07 -07:00
Code Issues Projects Releases Wiki Activity
Files
master
gentoo/dev-gap/semigroups
History
Michael Orlitzky 8e55b2cae1 dev-gap/semigroups: add 5.6.3, drop 5.6.2 
Includes https://github.com/semigroups/Semigroups/pull/1181
to fix a failing test that snuck in.

Closes: https://bugs.gentoo.org/977319
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2026-06-15 14:38:10 -04:00
..
Manifest
dev-gap/semigroups: add 5.6.3, drop 5.6.2
2026-06-15 14:38:10 -04:00
metadata.xml
…
semigroups-5.6.3.ebuild
dev-gap/semigroups: add 5.6.3, drop 5.6.2
2026-06-15 14:38:10 -04:00