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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.8.0-3build2
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
 707c53e4374a0d2721af458fd6de347721667bd7 2468 coq-stdpp_1.8.0-3build2.debian.tar.xz
Checksums-Sha256:
 dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
 164d75abf0a5fe1a1085af301013dff8891b67afaca294a9a0184974710b6571 2468 coq-stdpp_1.8.0-3build2.debian.tar.xz
Files:
 b6202104a62a6f71a9416ba6ca1a380b 254469 coq-stdpp_1.8.0.orig.tar.gz
 58ea0c6cda0e8185bf823330d25c5541 2468 coq-stdpp_1.8.0-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudgUACgkQ808JdE6f
XdkayhAAk5SstxahqDcx/HKF3woUsRHgGS0CxCI5jEch9Kc/pyxG/XeUjeDX6caA
M3OK5jo20BJI7MAgFcaGKTD28+dzjqItPfhTutTYOpsTe9GvsWtB32dYoxYy2uCE
VmvlW+xbbUsanzcm2C4Q5ym7vOjdtEHeuqyMnZDzvSH+8239MuU5HoTlubVZ9/lH
N4FrDNetaOiCB3NAffoPKtQIrzRThZPY+FzZM3PYL+UhvTc55r4jVypaZ3NVOHcK
y+B6B+zZrChIP3fPRJasQTGvy27T4L1Ys8R50fHfQik7DktobH6zg5+kEkRlu5aH
qHXHXU152XlOudtFPwFB9FMkzXt4BvAwiUfkeVzkPA1HZSA5CG2jDjiuLP0RNfqP
vQjhZxpNoibT7isiA4CnoCbSvgKDaElzIVprAr/HW5qEUMoDqjdM1J8AxpWVieZt
q29/2l0T0oCvQwvP/8evUJH+RHkBtNl5s/vpva4+MmAnydK3EU4V5gwYzSB06ZiY
21DLml/UrCaKy1uwHLZOAcogpnnVP4z4+tioqdXZkiWFewq6S37yyelWU/zN5CLe
Lwsig58k4CABUt5eii3LdJhZkUjLCWyaEmcc5OD0QnFUAUk2EIKuY1FVHM+SVmsR
fdzyRhkcfbPQ1u4nsB+ad5f+6rAV11Z+kLwrSQ+8fcI5WHytac4=
=xqUZ
-----END PGP SIGNATURE-----