Ycarus Gentoo ebuild

eventb-rossi

These ebuilds come from .

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

sec-keys

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

Add an ebuild in portage :

The ebuild is now in the portage tree.

You can also use layman : emerge layman then layman -a eventb-rossi

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

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