To use this repository, you can enable it via eselect:
eselect repository enable eventb-rossi
And sync it:
emerge --sync eventb-rossi