deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
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.
Homepage: https://github.com/mit-plv/fiat-crypto
Installed-Size: '3648'
Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Multi-Arch: same
Package: librust-fiat-crypto-dev
Priority: optional
Provides: librust-fiat-crypto+default-dev (= 0.2.2-1+b2), librust-fiat-crypto+std-dev
(= 0.2.2-1+b2), librust-fiat-crypto-0+default-dev (= 0.2.2-1+b2), librust-fiat-crypto-0+std-dev
(= 0.2.2-1+b2), librust-fiat-crypto-0-dev (= 0.2.2-1+b2), librust-fiat-crypto-0.2+default-dev
(= 0.2.2-1+b2), librust-fiat-crypto-0.2+std-dev (= 0.2.2-1+b2), librust-fiat-crypto-0.2-dev
(= 0.2.2-1+b2), librust-fiat-crypto-0.2.2+default-dev (= 0.2.2-1+b2), librust-fiat-crypto-0.2.2+std-dev
(= 0.2.2-1+b2), librust-fiat-crypto-0.2.2-dev (= 0.2.2-1+b2)
Section: rust
Source: rust-fiat-crypto (0.2.2-1)
Version: 0.2.2-1+b2
srcpkg_name: rust-fiat-crypto
srcpkg_version: 0.2.2-1