Package: rust-miri
Source: rust-defaults
Version: 1.93.1ubuntu1
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Installed-Size: 12
Depends: rust-1.93-miri
Section: devel
Priority: optional
Multi-Arch: allowed
Homepage: http://www.rust-lang.org/
Description: Undefined behavior detector for unstable Rust
 Rust is a curly-brace, block-structured expression language.  It
 visually resembles the C language family, but differs significantly
 in syntactic and semantic details.  Its design is oriented toward
 concerns of "programming in the large", that is, of creating and
 maintaining boundaries - both abstract and operational - that
 preserve large-system integrity, availability and concurrency.
 .
 It supports a mixture of imperative procedural, concurrent actor,
 object-oriented and pure functional styles.  Rust also supports
 generic programming and meta-programming, in both static and dynamic
 styles.
 .
 This package distributes the 'cargo-unstable-miri' binary, a tool
 which runs binaries and test suites of cargo projects and detects unsafe
 code which fails to uphold its safety requirements.
 .
 Since use of Miri in this manner requires access to unstable toolchain
 features, use of this tool does not come with the same stability guarantees
 of stable Rust. Any issues with this package should be directed towards the
 package maintainers and not to the upstream Rust developers.
Original-Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
