Package: librust-fiat-crypto-dev
Source: rust-fiat-crypto
Version: 0.3.0-1
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Installed-Size: 4616
Provides: librust-fiat-crypto+default-dev (= 0.3.0-1), librust-fiat-crypto+std-dev (= 0.3.0-1), librust-fiat-crypto-0+default-dev (= 0.3.0-1), librust-fiat-crypto-0+std-dev (= 0.3.0-1), librust-fiat-crypto-0-dev (= 0.3.0-1), librust-fiat-crypto-0.3+default-dev (= 0.3.0-1), librust-fiat-crypto-0.3+std-dev (= 0.3.0-1), librust-fiat-crypto-0.3-dev (= 0.3.0-1), librust-fiat-crypto-0.3.0+default-dev (= 0.3.0-1), librust-fiat-crypto-0.3.0+std-dev (= 0.3.0-1), librust-fiat-crypto-0.3.0-dev (= 0.3.0-1)
Section: rust
Priority: optional
Multi-Arch: same
Homepage: https://github.com/mit-plv/fiat-crypto
Description: Fiat-crypto generated Rust - Rust source code
 Source code for Debianized Rust crate "fiat-crypto"
