Gentoo Packages

Repository: eventb-rossi

Search

To use this repository, you can enable it via eselect:

eselect repository enable eventb-rossi

And sync it:

emerge --sync eventb-rossi

Repository Details

Quality experimental
Status unofficial
Homepage https://github.com/eventb-rossi/gentoo-overlay
Owners
Sources
Description
  • [en] Event-B and B-method formal modelling tools