Ycarus Gentoo ebuild

eventb-rossi

Ces ebuilds viennent du site .

Si vous avez des problemes allez sur le site officiel.

sec-keys

openpgp-keys-stups : OpenPGP key used by the STUPS group at HHU Düsseldorf ( https://stups.hhu-hosting.de/ )

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 eventb-rossi

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

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