BDEPEND=|| ( >=dev-lang/rust-bin-1.74.1:* >=dev-lang/rust-1.74.1:* )
DEFINED_PHASES=compile configure install setup test unpack
DESCRIPTION=Rust toolchain for Event-B: parser, static checker, CLI, and language server
EAPI=8
HOMEPAGE=https://github.com/eventb-rossi/rossi
IUSE=test debug
KEYWORDS=~amd64
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 )
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/eventb-rossi/rossi/archive/refs/tags/v0.1.7.tar.gz -> rossi-0.1.7.tar.gz https://static.crates.io/crates/adler2/adler2-2.0.1.crate https://static.crates.io/crates/aes/aes-0.9.1.crate https://static.crates.io/crates/aho-corasick/aho-corasick-1.1.4.crate https://static.crates.io/crates/anstream/anstream-1.0.0.crate https://static.crates.io/crates/anstyle-parse/anstyle-parse-1.0.0.crate https://static.crates.io/crates/anstyle-query/anstyle-query-1.1.5.crate https://static.crates.io/crates/anstyle-wincon/anstyle-wincon-3.0.11.crate https://static.crates.io/crates/anstyle/anstyle-1.0.14.crate https://static.crates.io/crates/anyhow/anyhow-1.0.104.crate https://static.crates.io/crates/ar_archive_writer/ar_archive_writer-0.5.2.crate https://static.crates.io/crates/async-trait/async-trait-0.1.89.crate https://static.crates.io/crates/auto_impl/auto_impl-1.3.0.crate https://static.crates.io/crates/autocfg/autocfg-1.5.0.crate https://static.crates.io/crates/bit-set/bit-set-0.8.0.crate https://static.crates.io/crates/bit-vec/bit-vec-0.8.0.crate https://static.crates.io/crates/bitflags/bitflags-1.3.2.crate https://static.crates.io/crates/bitflags/bitflags-2.11.1.crate https://static.crates.io/crates/block-buffer/block-buffer-0.10.4.crate https://static.crates.io/crates/block-buffer/block-buffer-0.12.0.crate https://static.crates.io/crates/bumpalo/bumpalo-3.20.2.crate https://static.crates.io/crates/bytes/bytes-1.11.1.crate https://static.crates.io/crates/bzip2/bzip2-0.6.1.crate https://static.crates.io/crates/cc/cc-1.2.62.crate https://static.crates.io/crates/cfg-if/cfg-if-1.0.4.crate https://static.crates.io/crates/cipher/cipher-0.5.1.crate https://static.crates.io/crates/clap/clap-4.6.4.crate https://static.crates.io/crates/clap_builder/clap_builder-4.6.2.crate https://static.crates.io/crates/clap_complete/clap_complete-4.6.7.crate https://static.crates.io/crates/clap_derive/clap_derive-4.6.4.crate https://static.crates.io/crates/clap_lex/clap_lex-1.1.0.crate https://static.crates.io/crates/cmov/cmov-0.5.4.crate https://static.crates.io/crates/colorchoice/colorchoice-1.0.5.crate https://static.crates.io/crates/const-oid/const-oid-0.10.2.crate https://static.crates.io/crates/constant_time_eq/constant_time_eq-0.4.2.crate https://static.crates.io/crates/cpubits/cpubits-0.1.1.crate https://static.crates.io/crates/cpufeatures/cpufeatures-0.2.17.crate https://static.crates.io/crates/cpufeatures/cpufeatures-0.3.0.crate https://static.crates.io/crates/crc32fast/crc32fast-1.5.0.crate https://static.crates.io/crates/crossbeam-utils/crossbeam-utils-0.8.21.crate https://static.crates.io/crates/crypto-common/crypto-common-0.1.7.crate https://static.crates.io/crates/crypto-common/crypto-common-0.2.1.crate https://static.crates.io/crates/ctutils/ctutils-0.4.2.crate https://static.crates.io/crates/dashmap/dashmap-5.5.3.crate https://static.crates.io/crates/dashmap/dashmap-6.2.1.crate https://static.crates.io/crates/deflate64/deflate64-0.1.12.crate https://static.crates.io/crates/deranged/deranged-0.5.8.crate https://static.crates.io/crates/digest/digest-0.10.7.crate https://static.crates.io/crates/digest/digest-0.11.3.crate https://static.crates.io/crates/displaydoc/displaydoc-0.2.5.crate https://static.crates.io/crates/equivalent/equivalent-1.0.2.crate https://static.crates.io/crates/errno/errno-0.3.14.crate https://static.crates.io/crates/fastrand/fastrand-2.4.1.crate https://static.crates.io/crates/find-msvc-tools/find-msvc-tools-0.1.9.crate https://static.crates.io/crates/flate2/flate2-1.1.9.crate https://static.crates.io/crates/fnv/fnv-1.0.7.crate https://static.crates.io/crates/foldhash/foldhash-0.1.5.crate https://static.crates.io/crates/form_urlencoded/form_urlencoded-1.2.2.crate https://static.crates.io/crates/futures-channel/futures-channel-0.3.33.crate https://static.crates.io/crates/futures-core/futures-core-0.3.33.crate https://static.crates.io/crates/futures-executor/futures-executor-0.3.33.crate https://static.crates.io/crates/futures-io/futures-io-0.3.33.crate https://static.crates.io/crates/futures-macro/futures-macro-0.3.33.crate https://static.crates.io/crates/futures-sink/futures-sink-0.3.33.crate https://static.crates.io/crates/futures-task/futures-task-0.3.33.crate https://static.crates.io/crates/futures-util/futures-util-0.3.33.crate https://static.crates.io/crates/futures/futures-0.3.33.crate https://static.crates.io/crates/generic-array/generic-array-0.14.7.crate https://static.crates.io/crates/getrandom/getrandom-0.3.4.crate https://static.crates.io/crates/getrandom/getrandom-0.4.2.crate https://static.crates.io/crates/hashbrown/hashbrown-0.14.5.crate https://static.crates.io/crates/hashbrown/hashbrown-0.15.5.crate https://static.crates.io/crates/hashbrown/hashbrown-0.17.1.crate https://static.crates.io/crates/heck/heck-0.5.0.crate https://static.crates.io/crates/hmac/hmac-0.13.0.crate https://static.crates.io/crates/httparse/httparse-1.10.1.crate https://static.crates.io/crates/hybrid-array/hybrid-array-0.4.12.crate https://static.crates.io/crates/icu_collections/icu_collections-2.2.0.crate https://static.crates.io/crates/icu_locale_core/icu_locale_core-2.2.0.crate https://static.crates.io/crates/icu_normalizer/icu_normalizer-2.2.0.crate https://static.crates.io/crates/icu_normalizer_data/icu_normalizer_data-2.2.0.crate https://static.crates.io/crates/icu_properties/icu_properties-2.2.0.crate https://static.crates.io/crates/icu_properties_data/icu_properties_data-2.2.0.crate https://static.crates.io/crates/icu_provider/icu_provider-2.2.0.crate https://static.crates.io/crates/id-arena/id-arena-2.3.0.crate https://static.crates.io/crates/idna/idna-1.1.0.crate https://static.crates.io/crates/idna_adapter/idna_adapter-1.2.2.crate https://static.crates.io/crates/indexmap/indexmap-2.14.0.crate https://static.crates.io/crates/indoc/indoc-2.0.7.crate https://static.crates.io/crates/inout/inout-0.2.2.crate https://static.crates.io/crates/is_terminal_polyfill/is_terminal_polyfill-1.70.2.crate https://static.crates.io/crates/itoa/itoa-1.0.18.crate https://static.crates.io/crates/jobserver/jobserver-0.1.34.crate https://static.crates.io/crates/js-sys/js-sys-0.3.98.crate https://static.crates.io/crates/lazy_static/lazy_static-1.5.0.crate https://static.crates.io/crates/leb128fmt/leb128fmt-0.1.0.crate https://static.crates.io/crates/libbz2-rs-sys/libbz2-rs-sys-0.2.5.crate https://static.crates.io/crates/libc/libc-0.2.186.crate https://static.crates.io/crates/linux-raw-sys/linux-raw-sys-0.12.1.crate https://static.crates.io/crates/litemap/litemap-0.8.2.crate https://static.crates.io/crates/lock_api/lock_api-0.4.14.crate https://static.crates.io/crates/log/log-0.4.29.crate https://static.crates.io/crates/lsp-types/lsp-types-0.94.1.crate https://static.crates.io/crates/lzma-rust2/lzma-rust2-0.16.2.crate https://static.crates.io/crates/matchers/matchers-0.2.0.crate https://static.crates.io/crates/memchr/memchr-2.8.0.crate https://static.crates.io/crates/miniz_oxide/miniz_oxide-0.8.9.crate https://static.crates.io/crates/mio/mio-1.2.0.crate https://static.crates.io/crates/nu-ansi-term/nu-ansi-term-0.50.3.crate https://static.crates.io/crates/num-conv/num-conv-0.2.1.crate https://static.crates.io/crates/num-traits/num-traits-0.2.19.crate https://static.crates.io/crates/object/object-0.37.3.crate https://static.crates.io/crates/once_cell/once_cell-1.21.4.crate https://static.crates.io/crates/once_cell_polyfill/once_cell_polyfill-1.70.2.crate https://static.crates.io/crates/parking_lot/parking_lot-0.12.5.crate https://static.crates.io/crates/parking_lot_core/parking_lot_core-0.9.12.crate https://static.crates.io/crates/pbkdf2/pbkdf2-0.13.0.crate https://static.crates.io/crates/percent-encoding/percent-encoding-2.3.2.crate https://static.crates.io/crates/pest/pest-2.8.8.crate https://static.crates.io/crates/pest_derive/pest_derive-2.8.7.crate https://static.crates.io/crates/pest_generator/pest_generator-2.8.7.crate https://static.crates.io/crates/pest_meta/pest_meta-2.8.7.crate https://static.crates.io/crates/pin-project-internal/pin-project-internal-1.1.13.crate https://static.crates.io/crates/pin-project-lite/pin-project-lite-0.2.17.crate https://static.crates.io/crates/pin-project/pin-project-1.1.13.crate https://static.crates.io/crates/pkg-config/pkg-config-0.3.33.crate https://static.crates.io/crates/potential_utf/potential_utf-0.1.5.crate https://static.crates.io/crates/powerfmt/powerfmt-0.2.0.crate https://static.crates.io/crates/ppmd-rust/ppmd-rust-1.4.0.crate https://static.crates.io/crates/ppv-lite86/ppv-lite86-0.2.21.crate https://static.crates.io/crates/prettyplease/prettyplease-0.2.37.crate https://static.crates.io/crates/proc-macro2/proc-macro2-1.0.106.crate https://static.crates.io/crates/proptest/proptest-1.11.0.crate https://static.crates.io/crates/psm/psm-0.1.31.crate https://static.crates.io/crates/quick-error/quick-error-1.2.3.crate https://static.crates.io/crates/quick-xml/quick-xml-0.41.0.crate https://static.crates.io/crates/quote/quote-1.0.45.crate https://static.crates.io/crates/r-efi/r-efi-5.3.0.crate https://static.crates.io/crates/r-efi/r-efi-6.0.0.crate https://static.crates.io/crates/rand/rand-0.9.4.crate https://static.crates.io/crates/rand_chacha/rand_chacha-0.9.0.crate https://static.crates.io/crates/rand_core/rand_core-0.9.5.crate https://static.crates.io/crates/rand_xorshift/rand_xorshift-0.4.0.crate https://static.crates.io/crates/redox_syscall/redox_syscall-0.5.18.crate https://static.crates.io/crates/regex-automata/regex-automata-0.4.14.crate https://static.crates.io/crates/regex-syntax/regex-syntax-0.8.10.crate https://static.crates.io/crates/ropey/ropey-1.6.1.crate https://static.crates.io/crates/rustix/rustix-1.1.4.crate https://static.crates.io/crates/rustversion/rustversion-1.0.22.crate https://static.crates.io/crates/rusty-fork/rusty-fork-0.3.1.crate https://static.crates.io/crates/same-file/same-file-1.0.6.crate https://static.crates.io/crates/scopeguard/scopeguard-1.2.0.crate https://static.crates.io/crates/semver/semver-1.0.28.crate https://static.crates.io/crates/serde/serde-1.0.229.crate https://static.crates.io/crates/serde_core/serde_core-1.0.229.crate https://static.crates.io/crates/serde_derive/serde_derive-1.0.229.crate https://static.crates.io/crates/serde_json/serde_json-1.0.151.crate https://static.crates.io/crates/serde_repr/serde_repr-0.1.20.crate https://static.crates.io/crates/sha1/sha1-0.11.0.crate https://static.crates.io/crates/sha2/sha2-0.10.9.crate https://static.crates.io/crates/sharded-slab/sharded-slab-0.1.7.crate https://static.crates.io/crates/shlex/shlex-1.3.0.crate https://static.crates.io/crates/signal-hook-registry/signal-hook-registry-1.4.8.crate https://static.crates.io/crates/simd-adler32/simd-adler32-0.3.9.crate https://static.crates.io/crates/slab/slab-0.4.12.crate https://static.crates.io/crates/smallvec/smallvec-1.15.1.crate https://static.crates.io/crates/socket2/socket2-0.6.3.crate https://static.crates.io/crates/stable_deref_trait/stable_deref_trait-1.2.1.crate https://static.crates.io/crates/stacker/stacker-0.1.24.crate https://static.crates.io/crates/stats_alloc/stats_alloc-0.1.10.crate https://static.crates.io/crates/str_indices/str_indices-0.4.4.crate https://static.crates.io/crates/strsim/strsim-0.11.1.crate https://static.crates.io/crates/syn/syn-2.0.117.crate https://static.crates.io/crates/syn/syn-3.0.2.crate https://static.crates.io/crates/sync_wrapper/sync_wrapper-1.0.2.crate https://static.crates.io/crates/synstructure/synstructure-0.13.2.crate https://static.crates.io/crates/tempfile/tempfile-3.27.0.crate https://static.crates.io/crates/test-case-core/test-case-core-3.3.1.crate https://static.crates.io/crates/test-case-macros/test-case-macros-3.3.1.crate https://static.crates.io/crates/test-case/test-case-3.3.1.crate https://static.crates.io/crates/thiserror-impl/thiserror-impl-2.0.19.crate https://static.crates.io/crates/thiserror/thiserror-2.0.19.crate https://static.crates.io/crates/thread_local/thread_local-1.1.9.crate https://static.crates.io/crates/time-core/time-core-0.1.8.crate https://static.crates.io/crates/time/time-0.3.47.crate https://static.crates.io/crates/tinystr/tinystr-0.8.3.crate https://static.crates.io/crates/tokio-macros/tokio-macros-2.7.0.crate https://static.crates.io/crates/tokio-util/tokio-util-0.7.18.crate https://static.crates.io/crates/tokio/tokio-1.53.1.crate https://static.crates.io/crates/tower-layer/tower-layer-0.3.3.crate https://static.crates.io/crates/tower-lsp-macros/tower-lsp-macros-0.9.0.crate https://static.crates.io/crates/tower-lsp/tower-lsp-0.20.0.crate https://static.crates.io/crates/tower-service/tower-service-0.3.3.crate https://static.crates.io/crates/tower/tower-0.4.13.crate https://static.crates.io/crates/tower/tower-0.5.3.crate https://static.crates.io/crates/tracing-attributes/tracing-attributes-0.1.31.crate https://static.crates.io/crates/tracing-core/tracing-core-0.1.36.crate https://static.crates.io/crates/tracing-log/tracing-log-0.2.0.crate https://static.crates.io/crates/tracing-subscriber/tracing-subscriber-0.3.23.crate https://static.crates.io/crates/tracing/tracing-0.1.44.crate https://static.crates.io/crates/typed-path/typed-path-0.12.3.crate https://static.crates.io/crates/typenum/typenum-1.20.0.crate https://static.crates.io/crates/ucd-trie/ucd-trie-0.1.7.crate https://static.crates.io/crates/unarray/unarray-0.1.4.crate https://static.crates.io/crates/unicode-ident/unicode-ident-1.0.24.crate https://static.crates.io/crates/unicode-xid/unicode-xid-0.2.6.crate https://static.crates.io/crates/url/url-2.5.8.crate https://static.crates.io/crates/utf8_iter/utf8_iter-1.0.4.crate https://static.crates.io/crates/utf8parse/utf8parse-0.2.2.crate https://static.crates.io/crates/valuable/valuable-0.1.1.crate https://static.crates.io/crates/version_check/version_check-0.9.5.crate https://static.crates.io/crates/wait-timeout/wait-timeout-0.2.1.crate https://static.crates.io/crates/walkdir/walkdir-2.5.0.crate https://static.crates.io/crates/wasi/wasi-0.11.1+wasi-snapshot-preview1.crate https://static.crates.io/crates/wasip2/wasip2-1.0.3+wasi-0.2.9.crate https://static.crates.io/crates/wasip3/wasip3-0.4.0+wasi-0.3.0-rc-2026-01-06.crate https://static.crates.io/crates/wasm-bindgen-macro-support/wasm-bindgen-macro-support-0.2.121.crate https://static.crates.io/crates/wasm-bindgen-macro/wasm-bindgen-macro-0.2.121.crate https://static.crates.io/crates/wasm-bindgen-shared/wasm-bindgen-shared-0.2.121.crate https://static.crates.io/crates/wasm-bindgen/wasm-bindgen-0.2.121.crate https://static.crates.io/crates/wasm-encoder/wasm-encoder-0.244.0.crate https://static.crates.io/crates/wasm-metadata/wasm-metadata-0.244.0.crate https://static.crates.io/crates/wasmparser/wasmparser-0.244.0.crate https://static.crates.io/crates/winapi-util/winapi-util-0.1.11.crate https://static.crates.io/crates/windows-link/windows-link-0.2.1.crate https://static.crates.io/crates/windows-sys/windows-sys-0.61.2.crate https://static.crates.io/crates/wit-bindgen-core/wit-bindgen-core-0.51.0.crate https://static.crates.io/crates/wit-bindgen-rust-macro/wit-bindgen-rust-macro-0.51.0.crate https://static.crates.io/crates/wit-bindgen-rust/wit-bindgen-rust-0.51.0.crate https://static.crates.io/crates/wit-bindgen/wit-bindgen-0.51.0.crate https://static.crates.io/crates/wit-bindgen/wit-bindgen-0.57.1.crate https://static.crates.io/crates/wit-component/wit-component-0.244.0.crate https://static.crates.io/crates/wit-parser/wit-parser-0.244.0.crate https://static.crates.io/crates/writeable/writeable-0.6.3.crate https://static.crates.io/crates/yoke-derive/yoke-derive-0.8.2.crate https://static.crates.io/crates/yoke/yoke-0.8.2.crate https://static.crates.io/crates/zerocopy-derive/zerocopy-derive-0.8.48.crate https://static.crates.io/crates/zerocopy/zerocopy-0.8.48.crate https://static.crates.io/crates/zerofrom-derive/zerofrom-derive-0.1.7.crate https://static.crates.io/crates/zerofrom/zerofrom-0.1.8.crate https://static.crates.io/crates/zeroize/zeroize-1.8.2.crate https://static.crates.io/crates/zerotrie/zerotrie-0.2.4.crate https://static.crates.io/crates/zerovec-derive/zerovec-derive-0.11.3.crate https://static.crates.io/crates/zerovec/zerovec-0.11.6.crate https://static.crates.io/crates/zip/zip-8.6.0.crate https://static.crates.io/crates/zlib-rs/zlib-rs-0.6.3.crate https://static.crates.io/crates/zmij/zmij-1.0.21.crate https://static.crates.io/crates/zopfli/zopfli-0.8.3.crate https://static.crates.io/crates/zstd-safe/zstd-safe-7.2.4.crate https://static.crates.io/crates/zstd-sys/zstd-sys-2.0.16+zstd.1.5.7.crate https://static.crates.io/crates/zstd/zstd-0.13.3.crate
_eclasses_=cargo	c18ade5e10cfd39155908ca389968d65	flag-o-matic	fd3558f73f6503093adee69adf41020d	multiprocessing	45d0620f25c2f063ad6276ecd9ed9399	rust	0e6dcc60973be397aa943d9efae0e2bf	rust-toolchain	76468983281b0a7fc167ca224f84ecfd	shell-completion	63a62de3ca49c798ee6e89f190e45d0e	toolchain-funcs	58a918e3a42d0156f010dcfd43725be5
_md5_=3e20f9f8ea28cb36cc0e30c4802e766a