dev-lang/idris/files/idris-1.3.3-haskeline-0.8.patch · 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-haskeline-0.8.patch 3.02 KB