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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.8.0-2
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
 ac3a908cd20a81d0f8d789e74ae239ad509f54b6 2336 coq-stdpp_1.8.0-2.debian.tar.xz
Checksums-Sha256:
 dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
 ce41936d1329befdc094dbce4beb505a2eca2f8912dae02f1e2340dd91d3ae93 2336 coq-stdpp_1.8.0-2.debian.tar.xz
Files:
 b6202104a62a6f71a9416ba6ca1a380b 254469 coq-stdpp_1.8.0.orig.tar.gz
 cab101e040c2b073cf27fbd07db9c458 2336 coq-stdpp_1.8.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMdwT0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3QAP/1iVf1uNoFpHq7lI6iVKJAb3ioHqUQuV
JDq6J3+//QpFKg7tQS/VjSG/PIEKmOzoVKgi17pjPKFuKJAGGJZnIrh81gvtHxPG
HqSiSizh0QpY5o603A4BES+U/p23iZ40WIsJx4Z+dC2u/FM6bqRb4kL1sbze9HD3
bCUBtDCAD8E1qOJCk/eYifrac9tWDaZBubTEgo1apteLTI/RH1LLzP0mg3CcEj1u
2bNFNKX2DGX3BgLtqaaGEbteZh1BI5l/3bMxdzpv9AzC3ze9Gh5CsCvgfoDD9qXp
mycFVQVpc8x8ekm9fC4muM33QFr22/FJWJ80T6xGO+1cGAtP6A4qkLljNGNmoB2/
FpxE61fG19/36ETYqcBj7QkJpseoHiLMe7g5y+QH11E1kys74knhtL503d49zrvQ
qzen/9na0uA3J/OmPO0Uhyg8s+XUl+A6xaaxI7jJdUaw1i8gaC3A6tBh68hmCYPM
q5k8YrfwCqKLVGIG88Tu5jGylfrAx1G+/QMrkZy/RbSt71rEGvGuSNF/sfZ7bv7j
hze0pSyNVaXozEkIAv7xK55xNLEoElf8tJvQsCw3hlzx/n5FDm0w33PhAK9Zd0iO
uoz/DmMhhARjx9R/lChPBqpd9794GopxYGSR7UPfcuaL4Rw5ZfcoScQV38iRB4zV
duEzzJKrNF+J
=ar2W
-----END PGP SIGNATURE-----