agda : A dependently typed functional programming language and proof assistant ( https://wiki.portal.chalmers.se/agda/ )
agda-stdlib : Agda standard library ( https://wiki.portal.chalmers.se/agda/ )
spline3 : parallel implementation of the Sorokina/Zeilfelder spline scheme ( https://michael.orlitzky.com/code/spline3.xhtml )
Pour rajouter une e-build dans l'arbre de portage :
L'ebuild est alors rajouté dans l'arbre de portage.
Vous pouvez aussi utiliser layman : emerge layman puis layman -a haskell
Pour Paludis utilisez ce rsync : rsync://gentoo.zugaina.org/haskell-portage
En cas de problèmes : ycarus(-at-)zugaina.org