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 CC0-1.0 ISC MIT Unicode-3.0 ZLIB BZIP2

Versions

Version EAPI Keywords Slot
0.1.9 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.9
test ⚠️ ✓

Manifest

Type File Size Versions
DIST rossi-0.1.9.tar.gz 5711631 bytes 0.1.9
Unmatched Entries
Type File Size
DIST adler2-2.0.1.crate 13366 bytes
DIST aes-0.9.2.crate 112494 bytes
DIST aho-corasick-1.1.5.crate 184315 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.104.crate 48819 bytes
DIST ar_archive_writer-0.5.1.crate 85345 bytes
DIST async-trait-0.1.92.crate 32039 bytes
DIST auto_impl-1.3.0.crate 32413 bytes
DIST autocfg-1.5.1.crate 18911 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.13.1.crate 51395 bytes
DIST block-buffer-0.12.1.crate 15902 bytes
DIST bumpalo-3.20.3.crate 98671 bytes
DIST bytes-1.12.1.crate 75667 bytes
DIST bzip2-0.6.1.crate 38427 bytes
DIST cc-1.4.3.crate 98480 bytes
DIST cfg-if-1.0.4.crate 9360 bytes
DIST cipher-0.5.2.crate 28177 bytes
DIST clap-4.6.6.crate 64815 bytes
DIST clap_builder-4.6.6.crate 171756 bytes
DIST clap_complete-4.6.9.crate 51920 bytes
DIST clap_derive-4.6.4.crate 33533 bytes
DIST clap_lex-1.1.0.crate 13470 bytes
DIST cmov-0.5.4.crate 27367 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.3.0.crate 14156 bytes
DIST crc32fast-1.5.0.crate 40723 bytes
DIST crossbeam-utils-0.8.22.crate 46874 bytes
DIST crypto-common-0.2.2.crate 15449 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 diffy-0.5.1.crate 83827 bytes
DIST digest-0.11.3.crate 28955 bytes
DIST displaydoc-0.2.7.crate 21343 bytes
DIST equivalent-1.0.2.crate 7419 bytes
DIST errno-0.3.14.crate 12002 bytes
DIST fastrand-2.5.0.crate 20782 bytes
DIST find-msvc-tools-0.1.11.crate 31517 bytes
DIST flate2-1.1.9.crate 82745 bytes
DIST fnv-1.0.7.crate 11266 bytes
DIST foldhash-0.2.0.crate 23329 bytes
DIST form_urlencoded-1.2.2.crate 9347 bytes
DIST fsevent-sys-4.1.0.crate 4620 bytes
DIST futures-0.3.34.crate 61966 bytes
DIST futures-channel-0.3.34.crate 33165 bytes
DIST futures-core-0.3.34.crate 14692 bytes
DIST futures-executor-0.3.34.crate 18560 bytes
DIST futures-io-0.3.34.crate 9189 bytes
DIST futures-macro-0.3.34.crate 11926 bytes
DIST futures-sink-0.3.34.crate 8107 bytes
DIST futures-task-0.3.34.crate 11376 bytes
DIST futures-util-0.3.34.crate 169782 bytes
DIST getrandom-0.3.4.crate 50932 bytes
DIST getrandom-0.4.3.crate 52437 bytes
DIST hashbrown-0.14.5.crate 141498 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.14.crate 36777 bytes
DIST icu_collections-2.1.1.crate 87233 bytes
DIST icu_locale_core-2.1.1.crate 70876 bytes
DIST icu_normalizer-2.1.1.crate 67132 bytes
DIST icu_normalizer_data-2.1.1.crate 68649 bytes
DIST icu_properties-2.1.2.crate 60136 bytes
DIST icu_properties_data-2.1.2.crate 163057 bytes
DIST icu_provider-2.1.1.crate 50907 bytes
DIST idna-1.1.0.crate 148747 bytes
DIST idna_adapter-1.2.1.crate 10389 bytes
DIST indexmap-2.14.0.crate 104085 bytes
DIST indoc-2.0.7.crate 17184 bytes
DIST inotify-0.11.5.crate 30349 bytes
DIST inotify-sys-0.1.8.crate 8411 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.35.crate 28890 bytes
DIST js-sys-0.3.104.crate 108816 bytes
DIST kqueue-1.2.1.crate 31254 bytes
DIST kqueue-sys-1.1.2.crate 8796 bytes
DIST lazy_static-1.5.0.crate 14025 bytes
DIST libbz2-rs-sys-0.2.5.crate 51638 bytes
DIST libc-0.2.189.crate 851502 bytes
DIST linux-raw-sys-0.12.1.crate 3006116 bytes
DIST litemap-0.8.3.crate 35045 bytes
DIST lock_api-0.4.14.crate 29249 bytes
DIST log-0.4.33.crate 52997 bytes
DIST lsp-types-0.94.1.crate 66997 bytes
DIST lzma-rust2-0.16.5.crate 257357 bytes
DIST matchers-0.2.0.crate 7075 bytes
DIST memchr-2.8.3.crate 99165 bytes
DIST miniz_oxide-0.8.9.crate 67132 bytes
DIST mio-1.2.2.crate 111363 bytes
DIST notify-8.2.0.crate 39067 bytes
DIST notify-types-2.1.0.crate 22796 bytes
DIST nu-ansi-term-0.50.3.crate 29597 bytes
DIST num-bigint-0.5.1.crate 111279 bytes
DIST num-conv-0.2.2.crate 7441 bytes
DIST num-integer-0.1.47.crate 23502 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.9.0.crate 132718 bytes
DIST pest_derive-2.9.0.crate 20032 bytes
DIST pest_generator-2.9.0.crate 19353 bytes
DIST pest_meta-2.9.0.crate 43406 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.34.crate 21370 bytes
DIST potential_utf-0.1.6.crate 10420 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 proc-macro2-1.0.107.crate 59588 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.41.0.crate 231661 bytes
DIST quote-1.0.47.crate 31622 bytes
DIST r-efi-5.3.0.crate 64532 bytes
DIST r-efi-6.0.0.crate 65303 bytes
DIST rand-0.9.5.crate 100216 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.18.crate 628707 bytes
DIST regex-syntax-0.8.11.crate 359055 bytes
DIST ropey-1.6.1.crate 119463 bytes
DIST rustix-1.1.4.crate 425241 bytes
DIST rustversion-1.0.23.crate 21013 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 serde-1.0.229.crate 83669 bytes
DIST serde_core-1.0.229.crate 63100 bytes
DIST serde_derive-1.0.229.crate 59864 bytes
DIST serde_json-1.0.151.crate 156556 bytes
DIST serde_repr-0.1.21.crate 12412 bytes
DIST sha1-0.11.0.crate 15458 bytes
DIST sha2-0.11.0.crate 33969 bytes
DIST sharded-slab-0.1.7.crate 58227 bytes
DIST shlex-2.0.1.crate 19332 bytes
DIST signal-hook-registry-1.4.8.crate 21668 bytes
DIST simd-adler32-0.3.10.crate 18760 bytes
DIST slab-0.4.12.crate 19080 bytes
DIST smallvec-1.15.2.crate 34899 bytes
DIST socket2-0.6.5.crate 60031 bytes
DIST stable_deref_trait-1.2.1.crate 8186 bytes
DIST stacker-0.1.25.crate 17498 bytes
DIST stats_alloc-0.1.10.crate 4476 bytes
DIST str_indices-0.4.4.crate 19480 bytes
DIST strsim-0.11.1.crate 14266 bytes
DIST syn-2.0.119.crate 307407 bytes
DIST syn-3.0.3.crate 312999 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.20.crate 28969 bytes
DIST thiserror-impl-2.0.20.crate 21436 bytes
DIST thread_local-1.1.10.crate 16361 bytes
DIST time-0.3.55.crate 279955 bytes
DIST time-core-0.1.9.crate 10320 bytes
DIST tinystr-0.8.4.crate 25003 bytes
DIST tokio-1.53.1.crate 920101 bytes
DIST tokio-macros-2.7.2.crate 16081 bytes
DIST tokio-util-0.7.19.crate 147245 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.1.crate 105479 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 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 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.1+wasi-0.2.4.crate 132087 bytes
DIST wasm-bindgen-0.2.127.crate 68138 bytes
DIST wasm-bindgen-macro-0.2.127.crate 9372 bytes
DIST wasm-bindgen-macro-support-0.2.127.crate 85236 bytes
DIST wasm-bindgen-shared-0.2.127.crate 11291 bytes
DIST winapi-util-0.1.11.crate 13368 bytes
DIST windows-link-0.2.1.crate 6133 bytes
DIST windows-sys-0.60.2.crate 2518479 bytes
DIST windows-sys-0.61.2.crate 2517186 bytes
DIST windows-targets-0.53.5.crate 7126 bytes
DIST windows_aarch64_gnullvm-0.53.1.crate 787748 bytes
DIST windows_aarch64_msvc-0.53.1.crate 838009 bytes
DIST windows_i686_gnu-0.53.1.crate 939775 bytes
DIST windows_i686_gnullvm-0.53.1.crate 857396 bytes
DIST windows_i686_msvc-0.53.1.crate 907688 bytes
DIST windows_x86_64_gnu-0.53.1.crate 903712 bytes
DIST windows_x86_64_gnullvm-0.53.1.crate 787739 bytes
DIST windows_x86_64_msvc-0.53.1.crate 837950 bytes
DIST wit-bindgen-0.46.0.crate 60508 bytes
DIST writeable-0.6.4.crate 31222 bytes
DIST yoke-0.8.3.crate 33132 bytes
DIST yoke-derive-0.8.2.crate 15077 bytes
DIST zerocopy-0.8.56.crate 284907 bytes
DIST zerocopy-derive-0.8.56.crate 105007 bytes
DIST zerofrom-0.1.8.crate 6156 bytes
DIST zerofrom-derive-0.1.7.crate 8853 bytes
DIST zeroize-1.9.0.crate 24480 bytes
DIST zerotrie-0.2.5.crate 84204 bytes
DIST zerovec-0.11.7.crate 130479 bytes
DIST zerovec-derive-0.11.4.crate 22333 bytes
DIST zip-8.6.0.crate 149622 bytes
DIST zlib-rs-0.6.7.crate 215740 bytes
DIST zmij-1.0.23.crate 28612 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