sci-mathematics/evbt
Event-B tool for code generation and documentation
Screenshots
-
evbt-1.5.0~amd64
View 
Download 
Browse License: AGPL-3+ Overlay: eventb-rossi
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.