Ycarus Gentoo ebuild

haskell

These ebuilds come from .

If you have some problems, go to the official site first.

sci-mathematics

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 : A parallel implementation of the Sorokina/Zeilfelder spline scheme ( http://michael.orlitzky.com/code/spline3.xhtml )

Add an ebuild in portage :

The ebuild is now in the portage tree.

You can also use layman : emerge layman then layman -a haskell

For Paludis use this rsync : rsync://gentoo.zugaina.org/haskell-portage

If you have a problem : ycarus(-at-)zugaina.org