Ycarus Gentoo ebuild

AlexandreFournier

Ces ebuilds viennent du site .

Si vous avez des problemes allez sur le site officiel.

sci-mathematics

z3 : An efficient theorem prover ( http://z3.codeplex.com/ )

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 AlexandreFournier

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

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