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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.8.0-3build1
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-core-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
 036e880a3bab0b9b4c7212bf141e1a1e0efdab22 2456 coq-stdpp_1.8.0-3build1.debian.tar.xz
Checksums-Sha256:
 dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
 586c158ed3f29b6c747311089259b37b9d5556ea9f84bb36697e48828ae00ad3 2456 coq-stdpp_1.8.0-3build1.debian.tar.xz
Files:
 b6202104a62a6f71a9416ba6ca1a380b 254469 coq-stdpp_1.8.0.orig.tar.gz
 cf8c0f244a7ab1e25710701d248d4b01 2456 coq-stdpp_1.8.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeZIACgkQ808JdE6f
XdkA/xAAk3D4gqtmf9Ug7R+9HfYrFC3drX8jkoN6qFF/AkNHa3smqIqWqTtTeo/q
O9AlHoa5Aa9LHNYfDZh1elgiDiYl/NkuOKgk8cCDGDYAsoTPvGOq/FpJsga/nmOu
AtJEPfuG9GMH4VGTWYjyffJ8OX6izl6aG4SnyqKylEtrXuUtPoaKLViJvFCLKwvw
FoJqjgzYb+eu4vrIzl6gyoLnCt4CyIf9LnerC4x3N6KZ2NSJq38I7l8tGlOzAu+l
XCh1rfWajV3RgE2yUO+x0x9egzcKUwC1JjHvbcRo+eKaVbsORdd6P4WgpEhi2fl1
RQdWkgRCm3P1Gu9X3AdXQ+JfyR8mShzx+9CCHRy3gKmDcGQMcTzE0SRdh2dpuFoe
Jy0Pb6WD9hHuVDR7dTUrf3Z9aIjYWeONNAAUTzhTEsm5nx2gW2kf6/fb8af0KCnk
kVPnCQ8anHWaMegJqxxP0ulN7crXoAS6c2ZgiRh4JruhcUQGl2PAQoHIr7VgoCpg
Crs0STuvq0gPgFJBtsC/OFl1naYLsoMV7jjMGum9YXJeAZ00Jn0M5BXMYqjJmfHn
ckgonJF/+g08y4Xj0gElTP3sJKD+/+vE9XYARVRMteNuaEiO8KomwSGA6Q5MK2ne
d0/G9pk8F9sZYeRmfwX1+vu6kqYUHmkuCr0d+Sa0FCEqT1B6xAw=
=2fVg
-----END PGP SIGNATURE-----