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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.8.0-1
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
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 5fad69b07b70bd39cbf9d70f8debec53cc6b924d 254469 coq-stdpp_1.8.0.orig.tar.gz
 d1711efcf8f14221d25082c3edc8d9b642f5e47a 2300 coq-stdpp_1.8.0-1.debian.tar.xz
Checksums-Sha256:
 dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
 8de8b061542c8d59e42854830394412d9a5315f23070ded7b0bf5267647918bc 2300 coq-stdpp_1.8.0-1.debian.tar.xz
Files:
 b6202104a62a6f71a9416ba6ca1a380b 254469 coq-stdpp_1.8.0.orig.tar.gz
 e8aef8457038decbce94969fb9d5ab38 2300 coq-stdpp_1.8.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL/VIoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR1c0QAIUiX/zowlUNVvIOAF+5LLNeFIbQToYt
lR6jLUPcK8pQ5VRqWTWrZi2Bu/yUTPWB090ZrMAU1diNO6HMZ3h3MH5/aX6sRqlx
lHgThXA1emOj8oUf0FGIp5Zn2PtqZ0q88ep6nj8J/pYNRpL5bFu7fhlsCHNs2Ny7
Ny0OdAY1DbLESVLAZGak8Q7eiG0K+NoH2hd1gKbDosNT1CgyCXf7FLjf6ZQSwyK0
F2LOmKIn8vK0tvtWjHYsNte7efR8HVg4xIgyZcdlKAO0ehrS7ktNgiPyKwPvPmV9
/yAt8FMioj9iUpzKLkvEgms3J5aovjHR3A2hPK3scTIqj4J0ax/NjC97HbNw93ck
8quG54XWnSEwbLKTkYSlzCQue/0qMKpTwj/PZdUPkI0jxEuLcn3E/5LaaXwPM1o9
lrinjtFskV+FDnbLA9xAgNMm2Ch4b5c6zxuNyasI4WP1WW/Ki4sXPlsVIZyCG+As
32dNcZ/1inz1RuLEUHd9X2fdady9cKa/wC9lTCyqdNPOyGWaDTx7ydQH+YHQ3aGb
CeJjNvxYw+ObbV6PXVq+0spbkESJJb3xszeT3fAvu7dt9efnzpTt945RXi+8DNon
/7egszAGoRE80lW+puenA3w5iG+TXSFo7yBdgTVjFMGUUV6I3tIku6nt6CtzvT9J
Ka5nHjbLERUo
=GY4d
-----END PGP SIGNATURE-----