Ycarus Gentoo ebuild

src_prepare-overlay

These ebuilds come from .

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

dev-lang

fstar : Verification system for effectful programs ( https://www.fstar-lang.org )

lci : LOLCODE interpreter written in C ( http://www.lolcode.org/ )

Add an ebuild in portage :

The ebuild is now in the portage tree.

You can also use layman : emerge layman then layman -a src_prepare-overlay

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

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