-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: rust-fiat-crypto
Binary: librust-fiat-crypto-dev
Architecture: any
Version: 0.3.0-1
Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Uploaders:  Fabian Grünbichler <debian@fabian.gruenbichler.email>, Alexander Kjäll <alexander.kjall@gmail.com>
Homepage: https://github.com/mit-plv/fiat-crypto
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/rust-team/debcargo-conf/tree/master/src/fiat-crypto
Vcs-Git: https://salsa.debian.org/rust-team/debcargo-conf.git [src/fiat-crypto]
Testsuite: autopkgtest
Testsuite-Triggers: dh-cargo, rustc
Build-Depends: debhelper-compat (= 13), dh-sequence-cargo
Build-Depends-Arch: cargo:native <!nocheck>, rustc:native (>= 1.83.0) <!nocheck>, libstd-rust-dev <!nocheck>
Package-List:
 librust-fiat-crypto-dev deb rust optional arch=any
Checksums-Sha1:
 3c8062677cce6dcebc2235a5047bdc7eb0ed13e7 600542 rust-fiat-crypto_0.3.0.orig.tar.gz
 b80b0a6a859a994d5e5325a2bd0753282c3f89c4 3340 rust-fiat-crypto_0.3.0-1.debian.tar.xz
Checksums-Sha256:
 64cd1e32ddd350061ae6edb1b082d7c54915b5c672c389143b9a63403a109f24 600542 rust-fiat-crypto_0.3.0.orig.tar.gz
 1564cd04aaec038f0bda28e598bcb9600c591062fbd15663ebd9106a18b3f9ce 3340 rust-fiat-crypto_0.3.0-1.debian.tar.xz
Files:
 668ec7ac6575dceae0e296dfb8a3603a 600542 rust-fiat-crypto_0.3.0.orig.tar.gz
 3d05a39a57a124337569454e68fa046f 3340 rust-fiat-crypto_0.3.0-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmjlW4oACgkQ5mx3Wuv+
bH0xlxAA2SAhdSDg8DYf9KjsK01S0TAeGxZUDLPn3Pe9DDwOrdv7deP7l6fJYON6
TNZJG44TNVP1azQF4+YgmI2BeLwqAZzhR/0Pf8mWg6h7n1f+EhwkeZekrOpfxDJX
CILEgTE8xon6v6LdaB0i7y51yxWoUDfOJk2n9HyGa1XHAVQLP3mQiRH8l1b9/81y
jZGelmAHm28e0tMMRkDErcw8isTgfmidospouFT0zcYnN29fLH57pnbiuHpZXn53
tZIUONlR6Yky7Dido3hEg5aVJOSco8D94ISgv9/zNhfZTZg39KymFH9971ZD6YjI
jng7Fj4aePVIAfHQCyDkOHlZR0Ek/bQqYxY8NDumx1QzIu0/Rtqdylg71KHx9V0Y
/5WBAsUjLiy10pnxMz+hPH7tQ6K3seVB1F/13Dly3mue09F4U/pA5q1Da/PT7pL3
44VA6twcFEnfzej0mSaIegxb7qZmie/bPSOW4oq94dhF/NiqPQ34W4Lg6q4x2apH
P59zrFCGPBy4d8t8upezwwxeATeVio7fI8qi/fZ9/jI3dtrCuUmStXALmwIcgX4W
hQ8nOyqVlmoZqLxJ1gdoAJYBFewbYHzKZ43D1Ty0jvg7jDnjDGMVJmxElUykK9fQ
bvmbqZ/mXx6DoUZD7OIXcdtdhXAk+4y7AJROPOmhaRY2bkZ7/M0=
=MIyN
-----END PGP SIGNATURE-----