Package: librust-fiat-crypto-dev
Source: rust-fiat-crypto
Version: 0.2.2-1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Installed-Size: 3647
Provides: librust-fiat-crypto+default-dev (= 0.2.2-1), librust-fiat-crypto+std-dev (= 0.2.2-1), librust-fiat-crypto-0+default-dev (= 0.2.2-1), librust-fiat-crypto-0+std-dev (= 0.2.2-1), librust-fiat-crypto-0-dev (= 0.2.2-1), librust-fiat-crypto-0.2+default-dev (= 0.2.2-1), librust-fiat-crypto-0.2+std-dev (= 0.2.2-1), librust-fiat-crypto-0.2-dev (= 0.2.2-1), librust-fiat-crypto-0.2.2+default-dev (= 0.2.2-1), librust-fiat-crypto-0.2.2+std-dev (= 0.2.2-1), librust-fiat-crypto-0.2.2-dev (= 0.2.2-1)
Section: rust
Priority: optional
Multi-Arch: same
Homepage: https://github.com/mit-plv/fiat-crypto
Description: Fiat-crypto generated Rust - Rust source code
 This package contains the source for the Rust fiat-crypto crate, packaged by
 debcargo for use with cargo and dh-cargo.
