Ycarus Gentoo ebuild

src_prepare-overlay

Ces ebuilds viennent du site .

Si vous avez des problemes allez sur le site officiel.

dev-lang

boogie : Intermediate verification language built on .NET ( https://github.com/boogie-org/boogie )

dafny : Verification-aware programming language ( https://dafny-lang.github.io/dafny/ )

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

hy : A LISP dialect running in python ( http://hylang.org/ )

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

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 src_prepare-overlay

Pour Paludis utilisez ce rsync : rsync://gentoo.zugaina.org/src_prepare-overlay-portage

En cas de problèmes : ycarus(-at-)zugaina.org