Gentoo Portage Overlays - sci-mathematics/rossi

sci-mathematics/rossi

Rust toolchain for Event-B: parser, static checker, CLI, and language server

Screenshots

https://github.com/eventb-rossi/rossi

rossi-0.1.0

~amd64

test debug

View

Download

Browse License: || ( Apache-2.0 MIT ) Apache-2.0 Apache-2.0-with-LLVM-exceptions MIT Unicode-3.0 ZLIB BZIP2 || ( CC0-1.0 MIT-0 )

Overlay: eventb-rossi

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Bugs

Bug #	Severity	Platform	Status	Description

These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title, to do a more through search please visit: http://bugs.gentoo.org.