dev-lang/idris/idris-1.3.3-r1.ebuild · c2b72bec375ed55eeb47077b81b5aba189c73d5b · Nest / Gentoo / Haskell

Jack Todaro authored Dec 22, 2020



Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Jack Todaro <solpeth@posteo.org>

c2b72bec

idris-1.3.3-r1.ebuild 3.55 KB