gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-07-31 10:58:21 -07:00
Code Issues Projects Releases Wiki Activity
Files
master
gentoo/dev-gap/polymaking
History
Michael Orlitzky 357e3b69ec dev-gap/polymaking: add 0.8.9, drop 0.8.7 
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2026-05-06 10:22:11 -04:00
..
Manifest
…
metadata.xml
dev-gap/polymaking: new package, add 0.8.7
2024-01-22 06:29:12 -05:00
polymaking-0.8.9.ebuild
dev-gap/polymaking: add 0.8.9, drop 0.8.7
2026-05-06 10:22:11 -04:00