Gentoo Packages

sci-mathematics/rossi (eventb-rossi)

Search

Install

Install this package:

emerge -a sci-mathematics/rossi

Package Information

Description:
Rossi is a Rust toolchain for Event-B providing a parser, a static checker, a command-line interface, and a language server. It validates Event-B models, converts between Event-B text and Rodin archives, reformats models, and powers editor integration over the Language Server Protocol.
Homepage:
https://github.com/eventb-rossi/rossi
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 )

Versions

Version EAPI Keywords Slot
0.1.0 8 ~amd64 0

Metadata

Description

Maintainers

Upstream

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		Rossi is a Rust toolchain for Event-B providing a parser, a static
		checker, a command-line interface, and a language server. It validates
		Event-B models, converts between Event-B text and Rodin archives,
		reformats models, and powers editor integration over the Language
		Server Protocol.
	</longdescription>
	<upstream>
		<bugs-to>https://github.com/eventb-rossi/rossi/issues</bugs-to>
		<remote-id type="github">eventb-rossi/rossi</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/rossi | euse -E <flag> -p sci-mathematics/rossi | euse -D <flag> -p sci-mathematics/rossi

Flag Description 0.1.0
test ⚠️ ✓

Manifest

Type File Size Versions
DIST rossi-0.1.0.tar.gz 5273261 bytes 0.1.0
Unmatched Entries
Type File Size
DIST adler2-2.0.1.crate 13366 bytes
DIST aes-0.9.0.crate 134882 bytes
DIST aho-corasick-1.1.4.crate 184015 bytes
DIST anstream-1.0.0.crate 28916 bytes
DIST anstyle-1.0.14.crate 17787 bytes
DIST anstyle-parse-1.0.0.crate 22042 bytes
DIST anstyle-query-1.1.5.crate 10264 bytes
DIST anstyle-wincon-3.0.11.crate 12638 bytes
DIST anyhow-1.0.102.crate 48658 bytes
DIST ar_archive_writer-0.5.2.crate 85297 bytes
DIST async-trait-0.1.89.crate 32171 bytes
DIST auto_impl-1.3.0.crate 32413 bytes
DIST autocfg-1.5.0.crate 18729 bytes
DIST bit-set-0.8.0.crate 16289 bytes
DIST bit-vec-0.8.0.crate 24132 bytes
DIST bitflags-1.3.2.crate 23021 bytes
DIST bitflags-2.11.1.crate 49082 bytes
DIST block-buffer-0.10.4.crate 10538 bytes
DIST block-buffer-0.12.0.crate 14926 bytes
DIST bumpalo-3.20.2.crate 97696 bytes
DIST bytes-1.11.1.crate 78584 bytes
DIST bzip2-0.6.1.crate 38427 bytes
DIST cc-1.2.62.crate 97212 bytes
DIST cfg-if-1.0.4.crate 9360 bytes
DIST cipher-0.5.1.crate 28077 bytes
DIST clap-4.6.1.crate 61836 bytes
DIST clap_builder-4.6.0.crate 171122 bytes
DIST clap_derive-4.6.1.crate 33512 bytes
DIST clap_lex-1.1.0.crate 13470 bytes
DIST cmov-0.5.3.crate 26829 bytes
DIST colorchoice-1.0.5.crate 8187 bytes
DIST const-oid-0.10.2.crate 61449 bytes
DIST constant_time_eq-0.4.2.crate 25831 bytes
DIST cpubits-0.1.1.crate 10261 bytes
DIST cpufeatures-0.2.17.crate 13466 bytes
DIST cpufeatures-0.3.0.crate 14156 bytes
DIST crc32fast-1.5.0.crate 40723 bytes
DIST crossbeam-utils-0.8.21.crate 42691 bytes
DIST crypto-common-0.1.7.crate 9619 bytes
DIST crypto-common-0.2.1.crate 15165 bytes
DIST ctutils-0.4.2.crate 32739 bytes
DIST dashmap-5.5.3.crate 24061 bytes
DIST dashmap-6.2.1.crate 26885 bytes
DIST deflate64-0.1.12.crate 28110 bytes
DIST deranged-0.5.8.crate 26885 bytes
DIST digest-0.10.7.crate 19557 bytes
DIST digest-0.11.3.crate 28955 bytes
DIST displaydoc-0.2.5.crate 24219 bytes
DIST equivalent-1.0.2.crate 7419 bytes
DIST errno-0.3.14.crate 12002 bytes
DIST fastrand-2.4.1.crate 20773 bytes
DIST find-msvc-tools-0.1.9.crate 31493 bytes
DIST flate2-1.1.9.crate 82745 bytes
DIST fnv-1.0.7.crate 11266 bytes
DIST foldhash-0.1.5.crate 21901 bytes
DIST form_urlencoded-1.2.2.crate 9347 bytes
DIST futures-0.3.32.crate 61234 bytes
DIST futures-channel-0.3.32.crate 33213 bytes
DIST futures-core-0.3.32.crate 14684 bytes
DIST futures-executor-0.3.32.crate 18581 bytes
DIST futures-io-0.3.32.crate 9191 bytes
DIST futures-macro-0.3.32.crate 11929 bytes
DIST futures-sink-0.3.32.crate 8106 bytes
DIST futures-task-0.3.32.crate 11377 bytes
DIST futures-util-0.3.32.crate 168797 bytes
DIST generic-array-0.14.7.crate 15950 bytes
DIST getrandom-0.3.4.crate 50932 bytes
DIST getrandom-0.4.2.crate 53905 bytes
DIST hashbrown-0.14.5.crate 141498 bytes
DIST hashbrown-0.15.5.crate 140908 bytes
DIST hashbrown-0.17.1.crate 155512 bytes
DIST heck-0.5.0.crate 11517 bytes
DIST hmac-0.13.0.crate 45167 bytes
DIST httparse-1.10.1.crate 45190 bytes
DIST hybrid-array-0.4.12.crate 36407 bytes
DIST icu_collections-2.2.0.crate 88011 bytes
DIST icu_locale_core-2.2.0.crate 78639 bytes
DIST icu_normalizer-2.2.0.crate 78154 bytes
DIST icu_normalizer_data-2.2.0.crate 67134 bytes
DIST icu_properties-2.2.0.crate 63950 bytes
DIST icu_properties_data-2.2.0.crate 168901 bytes
DIST icu_provider-2.2.0.crate 51620 bytes
DIST id-arena-2.3.0.crate 12883 bytes
DIST idna-1.1.0.crate 148747 bytes
DIST idna_adapter-1.2.2.crate 10444 bytes
DIST indexmap-2.14.0.crate 104085 bytes
DIST indoc-2.0.7.crate 17184 bytes
DIST inout-0.2.2.crate 12547 bytes
DIST is_terminal_polyfill-1.70.2.crate 7548 bytes
DIST itoa-1.0.18.crate 15935 bytes
DIST jobserver-0.1.34.crate 29013 bytes
DIST js-sys-0.3.98.crate 108519 bytes
DIST lazy_static-1.5.0.crate 14025 bytes
DIST leb128fmt-0.1.0.crate 14138 bytes
DIST libbz2-rs-sys-0.2.5.crate 51638 bytes
DIST libc-0.2.186.crate 821883 bytes
DIST linux-raw-sys-0.12.1.crate 3006116 bytes
DIST litemap-0.8.2.crate 34572 bytes
DIST lock_api-0.4.14.crate 29249 bytes
DIST log-0.4.29.crate 51515 bytes
DIST lsp-types-0.94.1.crate 66997 bytes
DIST lzma-rust2-0.16.2.crate 254500 bytes
DIST matchers-0.2.0.crate 7075 bytes
DIST memchr-2.8.0.crate 97780 bytes
DIST miniz_oxide-0.8.9.crate 67132 bytes
DIST mio-1.2.0.crate 106403 bytes
DIST nu-ansi-term-0.50.3.crate 29597 bytes
DIST num-conv-0.2.1.crate 7099 bytes
DIST num-traits-0.2.19.crate 51631 bytes
DIST object-0.37.3.crate 344032 bytes
DIST once_cell-1.21.4.crate 35010 bytes
DIST once_cell_polyfill-1.70.2.crate 7448 bytes
DIST parking_lot-0.12.5.crate 46735 bytes
DIST parking_lot_core-0.9.12.crate 34110 bytes
DIST pbkdf2-0.13.0.crate 22716 bytes
DIST percent-encoding-2.3.2.crate 11583 bytes
DIST pest-2.8.6.crate 130316 bytes
DIST pest_derive-2.8.6.crate 44342 bytes
DIST pest_generator-2.8.6.crate 43975 bytes
DIST pest_meta-2.8.6.crate 68276 bytes
DIST pin-project-1.1.13.crate 56345 bytes
DIST pin-project-internal-1.1.13.crate 29331 bytes
DIST pin-project-lite-0.2.17.crate 31034 bytes
DIST pkg-config-0.3.33.crate 21590 bytes
DIST potential_utf-0.1.5.crate 10189 bytes
DIST powerfmt-0.2.0.crate 15165 bytes
DIST ppmd-rust-1.4.0.crate 38522 bytes
DIST ppv-lite86-0.2.21.crate 22522 bytes
DIST prettyplease-0.2.37.crate 72033 bytes
DIST proc-macro2-1.0.106.crate 59765 bytes
DIST proptest-1.11.0.crate 207859 bytes
DIST psm-0.1.31.crate 25059 bytes
DIST quick-error-1.2.3.crate 15066 bytes
DIST quick-xml-0.40.1.crate 228355 bytes
DIST quote-1.0.45.crate 31564 bytes
DIST r-efi-5.3.0.crate 64532 bytes
DIST r-efi-6.0.0.crate 65303 bytes
DIST rand-0.9.4.crate 99786 bytes
DIST rand_chacha-0.9.0.crate 18258 bytes
DIST rand_core-0.9.5.crate 24129 bytes
DIST rand_xorshift-0.4.0.crate 10262 bytes
DIST redox_syscall-0.5.18.crate 30747 bytes
DIST regex-automata-0.4.14.crate 618012 bytes
DIST regex-syntax-0.8.10.crate 358781 bytes
DIST ropey-1.6.1.crate 119463 bytes
DIST rustix-1.1.4.crate 425241 bytes
DIST rustversion-1.0.22.crate 21096 bytes
DIST rusty-fork-0.3.1.crate 21108 bytes
DIST same-file-1.0.6.crate 10183 bytes
DIST scopeguard-1.2.0.crate 11619 bytes
DIST semver-1.0.28.crate 33064 bytes
DIST serde-1.0.228.crate 83652 bytes
DIST serde_core-1.0.228.crate 63111 bytes
DIST serde_derive-1.0.228.crate 59605 bytes
DIST serde_json-1.0.150.crate 155574 bytes
DIST serde_repr-0.1.20.crate 12627 bytes
DIST sha1-0.11.0.crate 15458 bytes
DIST sha2-0.10.9.crate 29271 bytes
DIST sharded-slab-0.1.7.crate 58227 bytes
DIST shlex-1.3.0.crate 18713 bytes
DIST signal-hook-registry-1.4.8.crate 21668 bytes
DIST simd-adler32-0.3.9.crate 18572 bytes
DIST slab-0.4.12.crate 19080 bytes
DIST smallvec-1.15.1.crate 38116 bytes
DIST socket2-0.6.3.crate 59330 bytes
DIST stable_deref_trait-1.2.1.crate 8186 bytes
DIST stacker-0.1.24.crate 17305 bytes
DIST str_indices-0.4.4.crate 19480 bytes
DIST strsim-0.11.1.crate 14266 bytes
DIST syn-2.0.117.crate 306011 bytes
DIST sync_wrapper-1.0.2.crate 6958 bytes
DIST synstructure-0.13.2.crate 18950 bytes
DIST tempfile-3.27.0.crate 44780 bytes
DIST test-case-3.3.1.crate 8797 bytes
DIST test-case-core-3.3.1.crate 14327 bytes
DIST test-case-macros-3.3.1.crate 4961 bytes
DIST thiserror-2.0.18.crate 28875 bytes
DIST thiserror-impl-2.0.18.crate 21413 bytes
DIST thread_local-1.1.9.crate 19315 bytes
DIST time-0.3.47.crate 225161 bytes
DIST time-core-0.1.8.crate 9634 bytes
DIST tinystr-0.8.3.crate 24710 bytes
DIST tokio-1.52.3.crate 901393 bytes
DIST tokio-macros-2.7.0.crate 15859 bytes
DIST tokio-util-0.7.18.crate 140550 bytes
DIST tower-0.4.13.crate 106906 bytes
DIST tower-0.5.3.crate 110488 bytes
DIST tower-layer-0.3.3.crate 6180 bytes
DIST tower-lsp-0.20.0.crate 61870 bytes
DIST tower-lsp-macros-0.9.0.crate 2888 bytes
DIST tower-service-0.3.3.crate 6950 bytes
DIST tracing-0.1.44.crate 463135 bytes
DIST tracing-attributes-0.1.31.crate 39733 bytes
DIST tracing-core-0.1.36.crate 63967 bytes
DIST tracing-log-0.2.0.crate 17561 bytes
DIST tracing-subscriber-0.3.23.crate 213773 bytes
DIST typed-path-0.12.3.crate 112964 bytes
DIST typenum-1.20.0.crate 105530 bytes
DIST ucd-trie-0.1.7.crate 46795 bytes
DIST unarray-0.1.4.crate 12895 bytes
DIST unicode-ident-1.0.24.crate 49298 bytes
DIST unicode-xid-0.2.6.crate 15744 bytes
DIST url-2.5.8.crate 86512 bytes
DIST utf8_iter-1.0.4.crate 10437 bytes
DIST utf8parse-0.2.2.crate 13499 bytes
DIST valuable-0.1.1.crate 28679 bytes
DIST version_check-0.9.5.crate 15554 bytes
DIST wait-timeout-0.2.1.crate 11435 bytes
DIST walkdir-2.5.0.crate 23951 bytes
DIST wasi-0.11.1+wasi-snapshot-preview1.crate 28477 bytes
DIST wasip2-1.0.3+wasi-0.2.9.crate 134512 bytes
DIST wasip3-0.4.0+wasi-0.3.0-rc-2026-01-06.crate 123354 bytes
DIST wasm-bindgen-0.2.121.crate 65838 bytes
DIST wasm-bindgen-macro-0.2.121.crate 9294 bytes
DIST wasm-bindgen-macro-support-0.2.121.crate 79901 bytes
DIST wasm-bindgen-shared-0.2.121.crate 11270 bytes
DIST wasm-encoder-0.244.0.crate 85804 bytes
DIST wasm-metadata-0.244.0.crate 21500 bytes
DIST wasmparser-0.244.0.crate 265607 bytes
DIST winapi-util-0.1.11.crate 13368 bytes
DIST windows-link-0.2.1.crate 6133 bytes
DIST windows-sys-0.61.2.crate 2517186 bytes
DIST wit-bindgen-0.51.0.crate 68035 bytes
DIST wit-bindgen-0.57.1.crate 71227 bytes
DIST wit-bindgen-core-0.51.0.crate 35048 bytes
DIST wit-bindgen-rust-0.51.0.crate 57051 bytes
DIST wit-bindgen-rust-macro-0.51.0.crate 14283 bytes
DIST wit-component-0.244.0.crate 256882 bytes
DIST wit-parser-0.244.0.crate 159371 bytes
DIST writeable-0.6.3.crate 26685 bytes
DIST yoke-0.8.2.crate 32790 bytes
DIST yoke-derive-0.8.2.crate 15077 bytes
DIST zerocopy-0.8.48.crate 287554 bytes
DIST zerocopy-derive-0.8.48.crate 97646 bytes
DIST zerofrom-0.1.8.crate 6156 bytes
DIST zerofrom-derive-0.1.7.crate 8853 bytes
DIST zeroize-1.8.2.crate 20907 bytes
DIST zerotrie-0.2.4.crate 83690 bytes
DIST zerovec-0.11.6.crate 128583 bytes
DIST zerovec-derive-0.11.3.crate 22115 bytes
DIST zip-8.6.0.crate 149622 bytes
DIST zlib-rs-0.6.3.crate 210781 bytes
DIST zmij-1.0.21.crate 26665 bytes
DIST zopfli-0.8.3.crate 51589 bytes
DIST zstd-0.13.3.crate 30514 bytes
DIST zstd-safe-7.2.4.crate 29350 bytes
DIST zstd-sys-2.0.16+zstd.1.5.7.crate 775620 bytes