gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-05 14:07:27 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/dev-gap/gaplint
History
Michael Orlitzky f68212b26a
dev-gap/gaplint: add 1.5.1, drop 1.2.1 
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2025-09-02 01:24:36 -04:00
..
gaplint-1.5.1.ebuild
…
Manifest
…
metadata.xml
…