-----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 Uploaders: Fabian Grünbichler , Alexander Kjäll 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 , rustc:native (>= 1.83.0) , libstd-rust-dev 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-----