-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.8.0-2build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-stdpp
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-stdpp.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 5fad69b07b70bd39cbf9d70f8debec53cc6b924d 254469 coq-stdpp_1.8.0.orig.tar.gz
 7afd3bbebc908d139b76e37b8cbf9ad936077dab 2428 coq-stdpp_1.8.0-2build2.debian.tar.xz
Checksums-Sha256:
 dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
 ed959a38019029816260674d522c3538cfacb2deca22a2667c723cdfc9dddd28 2428 coq-stdpp_1.8.0-2build2.debian.tar.xz
Files:
 b6202104a62a6f71a9416ba6ca1a380b 254469 coq-stdpp_1.8.0.orig.tar.gz
 22b11604d7c7cd226591e2551c77e894 2428 coq-stdpp_1.8.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBZkACgkQ808JdE6f
Xdk95w/8C8eJ4XHXjVhsH6nMkCT/CcAlaM4OBApsoU2BDpXcNSUh7sYIuUBtAJBP
Cay0OK19AShTesSyvDdIoqzmt2zqAY9IKnHOonpWYUwJ93c3CT2Y0vNJmkGPev2H
NFyHvMBqUj+m0GK7lFkeERS8SzfIvx759RU9Z9/9g/sQkQSGfIxaz17EzwSEFWqY
sEuBlCDe3ji8uUN17bbegGwcCYobR5S9WDDmBz/CeW1QpqpN48AfmtSFVWSxQsWa
6JDh2wzycKxjy9GK73i6nxdLfSKvzhAY+V/qgOVhhRGpWmw5CKqy9GDz9VVdtnxL
QFIgNXPcuFduSzjutKJih6viRMYAjQV4/RA76PCHQV3Likd0fcLHTXJo2zk1Ti+p
O3kvzYSx72JP+Zp9VYxNLye1L1y0vR0zwhfdk4NTwO6Wxq6aqQ7lEaggthyYdHUJ
sfLoXBuIxerdCuN14m0ptH0jPv2i/g9BO9es9O1Zx0oGWWRYrwMm7T3qIKsuJDe/
K+xzDsAkbYH/FTKG/wL6WCaZEXJy5Bfuth4Y8G/GAhbPO823VBHnQzIgCK3KRb3D
HFuGkno/OB/sg77fqBiXfAPNXZluqkA7HavVVRnPsOaJ9sQBE8N4wts3fqxCLp20
Bdi8fqr/+13bakYwutDHtDxyg/rjOUuNA31JCf/WkAzhGkv/OVg=
=sZVM
-----END PGP SIGNATURE-----