BDEPEND=pgo? ( dev-lang/rust[system-llvm] ) || ( >=dev-lang/rust-bin-1.74.1:* >=dev-lang/rust-1.74.1:* )
DEFINED_PHASES=compile configure install prepare 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=pgo test debug
KEYWORDS=~amd64
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
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/eventb-rossi/rossi/archive/refs/tags/v0.2.2.tar.gz -> rossi-0.2.2.tar.gz https://static.crates.io/crates/adler2/adler2-2.0.1.crate https://static.crates.io/crates/ahash/ahash-0.8.12.crate https://static.crates.io/crates/aho-corasick/aho-corasick-1.1.5.crate https://static.crates.io/crates/allocator-api2/allocator-api2-0.2.21.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.1.crate https://static.crates.io/crates/async-trait/async-trait-0.1.92.crate https://static.crates.io/crates/auto_impl/auto_impl-1.3.0.crate https://static.crates.io/crates/autocfg/autocfg-1.5.1.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.13.1.crate https://static.crates.io/crates/borrow-or-share/borrow-or-share-0.2.4.crate https://static.crates.io/crates/bumpalo/bumpalo-3.20.3.crate https://static.crates.io/crates/bytecount/bytecount-0.6.9.crate https://static.crates.io/crates/bytes/bytes-1.12.1.crate https://static.crates.io/crates/cc/cc-1.4.3.crate https://static.crates.io/crates/cfg-if/cfg-if-1.0.4.crate https://static.crates.io/crates/clap/clap-4.6.6.crate https://static.crates.io/crates/clap_builder/clap_builder-4.6.6.crate https://static.crates.io/crates/clap_complete/clap_complete-4.6.9.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/colorchoice/colorchoice-1.0.5.crate https://static.crates.io/crates/crc32fast/crc32fast-1.5.0.crate https://static.crates.io/crates/crossbeam-deque/crossbeam-deque-0.8.7.crate https://static.crates.io/crates/crossbeam-epoch/crossbeam-epoch-0.9.20.crate https://static.crates.io/crates/crossbeam-utils/crossbeam-utils-0.8.22.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/data-encoding/data-encoding-2.11.1.crate https://static.crates.io/crates/diffy/diffy-0.5.2.crate https://static.crates.io/crates/displaydoc/displaydoc-0.2.7.crate https://static.crates.io/crates/either/either-1.18.0.crate https://static.crates.io/crates/email_address/email_address-0.2.9.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/fancy-regex/fancy-regex-0.19.1.crate https://static.crates.io/crates/fastrand/fastrand-2.5.0.crate https://static.crates.io/crates/find-msvc-tools/find-msvc-tools-0.1.11.crate https://static.crates.io/crates/flate2/flate2-1.1.9.crate https://static.crates.io/crates/fluent-uri/fluent-uri-0.4.1.crate https://static.crates.io/crates/fnv/fnv-1.0.7.crate https://static.crates.io/crates/foldhash/foldhash-0.2.0.crate https://static.crates.io/crates/form_urlencoded/form_urlencoded-1.2.2.crate https://static.crates.io/crates/fraction/fraction-0.17.0.crate https://static.crates.io/crates/fsevent-sys/fsevent-sys-4.1.0.crate https://static.crates.io/crates/futures-channel/futures-channel-0.3.34.crate https://static.crates.io/crates/futures-core/futures-core-0.3.34.crate https://static.crates.io/crates/futures-executor/futures-executor-0.3.34.crate https://static.crates.io/crates/futures-io/futures-io-0.3.34.crate https://static.crates.io/crates/futures-macro/futures-macro-0.3.34.crate https://static.crates.io/crates/futures-sink/futures-sink-0.3.34.crate https://static.crates.io/crates/futures-task/futures-task-0.3.34.crate https://static.crates.io/crates/futures-util/futures-util-0.3.34.crate https://static.crates.io/crates/futures/futures-0.3.34.crate https://static.crates.io/crates/getrandom/getrandom-0.3.4.crate https://static.crates.io/crates/getrandom/getrandom-0.4.3.crate https://static.crates.io/crates/hashbrown/hashbrown-0.14.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/httparse/httparse-1.10.1.crate https://static.crates.io/crates/icu_collections/icu_collections-2.1.1.crate https://static.crates.io/crates/icu_locale_core/icu_locale_core-2.1.1.crate https://static.crates.io/crates/icu_normalizer/icu_normalizer-2.1.1.crate https://static.crates.io/crates/icu_normalizer_data/icu_normalizer_data-2.1.1.crate https://static.crates.io/crates/icu_properties/icu_properties-2.1.2.crate https://static.crates.io/crates/icu_properties_data/icu_properties_data-2.1.2.crate https://static.crates.io/crates/icu_provider/icu_provider-2.1.1.crate https://static.crates.io/crates/idna/idna-1.1.0.crate https://static.crates.io/crates/idna_adapter/idna_adapter-1.2.1.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/inotify-sys/inotify-sys-0.1.8.crate https://static.crates.io/crates/inotify/inotify-0.11.5.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/js-sys/js-sys-0.3.105.crate https://static.crates.io/crates/jsonschema-regex/jsonschema-regex-0.55.1.crate https://static.crates.io/crates/jsonschema-value/jsonschema-value-0.55.1.crate https://static.crates.io/crates/jsonschema/jsonschema-0.55.1.crate https://static.crates.io/crates/kqueue-sys/kqueue-sys-1.1.2.crate https://static.crates.io/crates/kqueue/kqueue-1.2.1.crate https://static.crates.io/crates/lazy_static/lazy_static-1.5.0.crate https://static.crates.io/crates/libc/libc-0.2.189.crate https://static.crates.io/crates/libmimalloc-sys/libmimalloc-sys-0.1.49.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.3.crate https://static.crates.io/crates/lock_api/lock_api-0.4.14.crate https://static.crates.io/crates/log/log-0.4.33.crate https://static.crates.io/crates/lsp-types/lsp-types-0.94.1.crate https://static.crates.io/crates/matchers/matchers-0.2.0.crate https://static.crates.io/crates/memchr/memchr-2.8.3.crate https://static.crates.io/crates/micromap/micromap-0.3.0.crate https://static.crates.io/crates/mimalloc/mimalloc-0.1.52.crate https://static.crates.io/crates/miniz_oxide/miniz_oxide-0.8.9.crate https://static.crates.io/crates/mio/mio-1.2.2.crate https://static.crates.io/crates/notify-types/notify-types-2.1.0.crate https://static.crates.io/crates/notify/notify-8.2.0.crate https://static.crates.io/crates/nu-ansi-term/nu-ansi-term-0.50.3.crate https://static.crates.io/crates/num-bigint/num-bigint-0.4.8.crate https://static.crates.io/crates/num-bigint/num-bigint-0.5.1.crate https://static.crates.io/crates/num-cmp/num-cmp-0.1.0.crate https://static.crates.io/crates/num-complex/num-complex-0.4.6.crate https://static.crates.io/crates/num-integer/num-integer-0.1.47.crate https://static.crates.io/crates/num-iter/num-iter-0.1.46.crate https://static.crates.io/crates/num-rational/num-rational-0.4.2.crate https://static.crates.io/crates/num-traits/num-traits-0.2.19.crate https://static.crates.io/crates/num/num-0.4.3.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/outref/outref-0.5.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/percent-encoding/percent-encoding-2.3.2.crate https://static.crates.io/crates/pest/pest-2.9.0.crate https://static.crates.io/crates/pest_derive/pest_derive-2.9.0.crate https://static.crates.io/crates/pest_generator/pest_generator-2.9.0.crate https://static.crates.io/crates/pest_meta/pest_meta-2.9.0.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/potential_utf/potential_utf-0.1.6.crate https://static.crates.io/crates/ppv-lite86/ppv-lite86-0.2.21.crate https://static.crates.io/crates/proc-macro2/proc-macro2-1.0.107.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.47.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.5.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/rayon-core/rayon-core-1.13.0.crate https://static.crates.io/crates/rayon/rayon-1.12.0.crate https://static.crates.io/crates/redox_syscall/redox_syscall-0.5.18.crate https://static.crates.io/crates/ref-cast-impl/ref-cast-impl-1.0.27.crate https://static.crates.io/crates/ref-cast/ref-cast-1.0.27.crate https://static.crates.io/crates/referencing/referencing-0.55.1.crate https://static.crates.io/crates/regex-automata/regex-automata-0.4.18.crate https://static.crates.io/crates/regex-syntax/regex-syntax-0.8.11.crate https://static.crates.io/crates/regex/regex-1.13.1.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.23.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/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.21.crate https://static.crates.io/crates/sharded-slab/sharded-slab-0.1.7.crate https://static.crates.io/crates/shlex/shlex-2.0.1.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.10.crate https://static.crates.io/crates/slab/slab-0.4.12.crate https://static.crates.io/crates/smallvec/smallvec-1.15.2.crate https://static.crates.io/crates/socket2/socket2-0.6.5.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.25.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/strum/strum-0.28.0.crate https://static.crates.io/crates/strum_macros/strum_macros-0.28.0.crate https://static.crates.io/crates/syn/syn-2.0.119.crate https://static.crates.io/crates/syn/syn-3.0.3.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.20.crate https://static.crates.io/crates/thiserror/thiserror-2.0.20.crate https://static.crates.io/crates/thread_local/thread_local-1.1.10.crate https://static.crates.io/crates/tinystr/tinystr-0.8.4.crate https://static.crates.io/crates/tokio-macros/tokio-macros-2.7.2.crate https://static.crates.io/crates/tokio-util/tokio-util-0.7.19.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/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-general-category/unicode-general-category-1.1.0.crate https://static.crates.io/crates/unicode-ident/unicode-ident-1.0.24.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/uuid-simd/uuid-simd-0.8.0.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/vsimd/vsimd-0.8.0.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.1+wasi-0.2.4.crate https://static.crates.io/crates/wasm-bindgen-macro-support/wasm-bindgen-macro-support-0.2.128.crate https://static.crates.io/crates/wasm-bindgen-macro/wasm-bindgen-macro-0.2.128.crate https://static.crates.io/crates/wasm-bindgen-shared/wasm-bindgen-shared-0.2.128.crate https://static.crates.io/crates/wasm-bindgen/wasm-bindgen-0.2.128.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.60.2.crate https://static.crates.io/crates/windows-sys/windows-sys-0.61.2.crate https://static.crates.io/crates/windows-targets/windows-targets-0.53.5.crate https://static.crates.io/crates/windows_aarch64_gnullvm/windows_aarch64_gnullvm-0.53.1.crate https://static.crates.io/crates/windows_aarch64_msvc/windows_aarch64_msvc-0.53.1.crate https://static.crates.io/crates/windows_i686_gnu/windows_i686_gnu-0.53.1.crate https://static.crates.io/crates/windows_i686_gnullvm/windows_i686_gnullvm-0.53.1.crate https://static.crates.io/crates/windows_i686_msvc/windows_i686_msvc-0.53.1.crate https://static.crates.io/crates/windows_x86_64_gnu/windows_x86_64_gnu-0.53.1.crate https://static.crates.io/crates/windows_x86_64_gnullvm/windows_x86_64_gnullvm-0.53.1.crate https://static.crates.io/crates/windows_x86_64_msvc/windows_x86_64_msvc-0.53.1.crate https://static.crates.io/crates/wit-bindgen/wit-bindgen-0.46.0.crate https://static.crates.io/crates/writeable/writeable-0.6.4.crate https://static.crates.io/crates/yoke-derive/yoke-derive-0.8.2.crate https://static.crates.io/crates/yoke/yoke-0.8.3.crate https://static.crates.io/crates/zerocopy-derive/zerocopy-derive-0.8.56.crate https://static.crates.io/crates/zerocopy/zerocopy-0.8.56.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/zerotrie/zerotrie-0.2.5.crate https://static.crates.io/crates/zerovec-derive/zerovec-derive-0.11.4.crate https://static.crates.io/crates/zerovec/zerovec-0.11.7.crate https://static.crates.io/crates/zip/zip-8.6.0.crate https://static.crates.io/crates/zlib-rs/zlib-rs-0.6.7.crate https://static.crates.io/crates/zmij/zmij-1.0.23.crate
_eclasses_=cargo	bff30f59ca59b09857b787ac644b2e4c	edo	a5e294016aa84979fcb2459749eb80b2	flag-o-matic	fd3558f73f6503093adee69adf41020d	multiprocessing	45d0620f25c2f063ad6276ecd9ed9399	rust	71b6825bd86e342e1540c76cc6fe864b	rust-toolchain	76468983281b0a7fc167ca224f84ecfd	shell-completion	63a62de3ca49c798ee6e89f190e45d0e	toolchain-funcs	58a918e3a42d0156f010dcfd43725be5
_md5_=7cd9f9a017c700130c8d33d6c7f1d5e9