gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-06 00:48:18 -07:00
Code Issues Projects Releases Wiki Activity
Files
stable
gentoo/dev-gap/polymaking/metadata.xml
Michael Orlitzky b2943db220 dev-gap/polymaking: new package, add 0.8.7 
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2024-01-22 06:29:12 -05:00

876 B
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink