dev-lang/idris/idris-1.3.3.ebuild · 2ab360d19e00cc5b63af05116c040120bf429dda · Nest / Gentoo / Haskell

Sergei Trofimovich authored Dec 22, 2020



Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

2ab360d1

idris-1.3.3.ebuild 3.49 KB