Maciej Barć aa12d09bf9 dev-lang/idris2: fix idris2 api install with [-minimal]; use dot-a.eclass ...

Closes: https://bugs.gentoo.org/961306
Closes: https://bugs.gentoo.org/958431
Signed-off-by: Maciej Barć <xgqt@gentoo.org>

2025-08-11 11:50:40 +02:00

..

files

…

idris2-0.7.0-r2.ebuild

dev-lang/idris2: fix idris2 api install with [-minimal]; use dot-a.eclass

2025-08-11 11:50:40 +02:00

Manifest

…

metadata.xml

…