Package: librust-fiat-crypto-dev
Architecture: amd64
Version: 0.2.2-1
Multi-Arch: same
Priority: optional
Section: universe/rust
Source: rust-fiat-crypto
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
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)
Filename: pool/universe/r/rust-fiat-crypto/librust-fiat-crypto-dev_0.2.2-1_amd64.deb
Size: 187670
MD5sum: 7459ac10ddb03bd5c5eba51473a3c788
SHA1: e581f822166ab98fab02063d632f8d036b3eb2f6
SHA256: 6923751665795f8f0c7af8102bc8c28155f91f49d8de2d81cc34e4b75aeaf2bf
SHA512: e288367f82ed89c9bc9b3ce866cdeeb04ec392d042bb3da5a92e859d651044fdf736ccf735f721f77bfa61fd7fb29950b4050340fbe9f4e9b9b3abc02fb42a9d
Homepage: https://github.com/mit-plv/fiat-crypto
Description: Fiat-crypto generated Rust - Rust source code
Description-md5: 6aaeafde63a47f548db58956838142f0