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 MIT-0 Unicode-3.0 ZLIB

Versions

Version EAPI Keywords Slot
0.2.3 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>
	<use>
		<flag name="pgo">Build with profile-guided optimization (roughly doubles build time; requires <pkg>dev-lang/rust</pkg>[system-llvm])</flag>
	</use>
	<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.2.3
pgo Build with profile-guided optimization (roughly doubles build time; requires <pkg>dev-lang/rust</pkg>[system-llvm]) ✓
test ⚠️ ✓

Manifest

Type File Size Versions
DIST rossi-0.2.3.tar.gz 7973813 bytes 0.2.3
Unmatched Entries
Type File Size
DIST adler2-2.0.1.crate 13366 bytes
DIST ahash-0.8.12.crate 43413 bytes
DIST aho-corasick-1.1.5.crate 184315 bytes
DIST allocator-api2-0.2.21.crate 63622 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 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-2.13.1.crate 51395 bytes
DIST borrow-or-share-0.2.4.crate 5243 bytes
DIST bumpalo-3.20.3.crate 98671 bytes
DIST bytecount-0.6.9.crate 18695 bytes
DIST bytes-1.12.1.crate 75667 bytes
DIST cc-1.4.3.crate 98480 bytes
DIST cfg-if-1.0.4.crate 9360 bytes
DIST clap-4.6.7.crate 65831 bytes
DIST clap_builder-4.6.7.crate 171709 bytes
DIST clap_complete-4.6.11.crate 52569 bytes
DIST clap_derive-4.6.7.crate 33942 bytes
DIST clap_lex-1.1.0.crate 13470 bytes
DIST colorchoice-1.0.5.crate 8187 bytes
DIST crc32fast-1.5.0.crate 40723 bytes
DIST crossbeam-deque-0.8.7.crate 24141 bytes
DIST crossbeam-epoch-0.9.20.crate 47545 bytes
DIST crossbeam-utils-0.8.22.crate 46874 bytes
DIST dashmap-6.2.1.crate 26885 bytes
DIST data-encoding-2.11.1.crate 22651 bytes
DIST diffy-0.5.2.crate 85984 bytes
DIST either-1.18.0.crate 22357 bytes
DIST email_address-0.2.9.crate 21579 bytes
DIST equivalent-1.0.2.crate 7419 bytes
DIST errno-0.3.14.crate 12002 bytes
DIST fancy-regex-0.19.1.crate 232090 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 fluent-uri-0.4.1.crate 51205 bytes
DIST fnv-1.0.7.crate 11266 bytes
DIST foldhash-0.2.0.crate 23329 bytes
DIST fraction-0.17.0.crate 118037 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 httparse-1.10.1.crate 45190 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 is_terminal_polyfill-1.70.2.crate 7548 bytes
DIST itoa-1.0.18.crate 15935 bytes
DIST js-sys-0.3.105.crate 113002 bytes
DIST jsonschema-0.56.0.crate 681307 bytes
DIST jsonschema-regex-0.56.0.crate 14540 bytes
DIST jsonschema-value-0.56.0.crate 58707 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 libc-0.2.189.crate 851502 bytes
DIST libmimalloc-sys-0.1.49.crate 500217 bytes
DIST linux-raw-sys-0.12.1.crate 3006116 bytes
DIST lock_api-0.4.14.crate 29249 bytes
DIST log-0.4.33.crate 52997 bytes
DIST ls-types-0.0.6.crate 75900 bytes
DIST matchers-0.2.0.crate 7075 bytes
DIST memchr-2.8.3.crate 99165 bytes
DIST micromap-0.3.0.crate 59760 bytes
DIST mimalloc-0.1.52.crate 5382 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-0.4.3.crate 9575 bytes
DIST num-bigint-0.4.8.crate 109961 bytes
DIST num-bigint-0.5.1.crate 111279 bytes
DIST num-cmp-0.1.0.crate 15375 bytes
DIST num-complex-0.4.6.crate 30352 bytes
DIST num-integer-0.1.47.crate 23502 bytes
DIST num-iter-0.1.46.crate 10763 bytes
DIST num-rational-0.4.2.crate 28159 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 outref-0.5.2.crate 5621 bytes
DIST parking_lot-0.12.5.crate 46735 bytes
DIST parking_lot_core-0.9.12.crate 34110 bytes
DIST percent-encoding-2.3.2.crate 11583 bytes
DIST pest-2.9.1.crate 135580 bytes
DIST pest_derive-2.9.1.crate 20092 bytes
DIST pest_generator-2.9.1.crate 19425 bytes
DIST pest_meta-2.9.1.crate 47453 bytes
DIST pin-project-lite-0.2.17.crate 31034 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 rayon-1.12.0.crate 183391 bytes
DIST rayon-core-1.13.0.crate 73151 bytes
DIST redox_syscall-0.5.18.crate 30747 bytes
DIST ref-cast-1.0.27.crate 15335 bytes
DIST ref-cast-impl-1.0.27.crate 10194 bytes
DIST referencing-0.56.0.crate 59173 bytes
DIST regex-1.13.1.crate 157118 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 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 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 strum-0.28.0.crate 8550 bytes
DIST strum_macros-0.28.0.crate 30964 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 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 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.5.3.crate 110488 bytes
DIST tower-layer-0.3.3.crate 6180 bytes
DIST tower-lsp-server-0.23.0.crate 69411 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 ucd-trie-0.1.7.crate 46795 bytes
DIST unarray-0.1.4.crate 12895 bytes
DIST unicode-general-category-1.1.0.crate 36486 bytes
DIST unicode-ident-1.0.24.crate 49298 bytes
DIST utf8parse-0.2.2.crate 13499 bytes
DIST uuid-simd-0.8.0.crate 6959 bytes
DIST valuable-0.1.1.crate 28679 bytes
DIST version_check-0.9.5.crate 15554 bytes
DIST vsimd-0.8.0.crate 21377 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.128.crate 70345 bytes
DIST wasm-bindgen-macro-0.2.128.crate 9595 bytes
DIST wasm-bindgen-macro-support-0.2.128.crate 118512 bytes
DIST wasm-bindgen-shared-0.2.128.crate 12994 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 zerocopy-0.8.56.crate 284907 bytes
DIST zerocopy-derive-0.8.56.crate 105007 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