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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.9.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Standards-Version: 4.6.2
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 (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 5b465d3b0477bf26387673f1586f94ae0a99c50f 297515 coq-stdpp_1.9.0.orig.tar.gz
 12dadb66485c8a14786d728836065d1c0a215d06 2792 coq-stdpp_1.9.0-1build3.debian.tar.xz
Checksums-Sha256:
 2bcfc8d1c7eb9e85a9d043080e36761b77597c5d78573628a826c38037c706bc 297515 coq-stdpp_1.9.0.orig.tar.gz
 8a6da1e56aa03a9b6547a81c6bd7cc121477d6ab6386c36c471448c09cc7e68c 2792 coq-stdpp_1.9.0-1build3.debian.tar.xz
Files:
 af01b3c7ca246aade275e96256567d65 297515 coq-stdpp_1.9.0.orig.tar.gz
 49397f538a87b0587fc75d72522c505a 2792 coq-stdpp_1.9.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmYQACgkQ808JdE6f
XdnIOQ/7BytDFomTyYe59aslwiAWRuB8cyev+MCMgC4b2I+l2xegFkg0O5fvmxfC
ZYoUqF/SUZ4S5ZYEwUmEqXgOTShBzZOjuEMVJW+ShsKRL2J4djVgoUkqR1AOCq7q
9aSnVjbvDdzt3zVq+x7gXlSyOxIvaYmW4RFLSILBxfpTdmPzGJbfCpmbR6iMTcsL
No2DdbpD913SUzmlaHWbW3S0RJr8/VZBg5GM/DnZ1dVi3rttDWrkmzTVWEJC7hTz
U4QR8g+irRIYR9PWR8B0R/uJE27ZSqub8rVm/ZCvJJpbDGL+aNnUwo2iRrncQLUI
IByg2sPLgE8vGpXIpp1wfQnACXdfxb5v+bu4BYhuNTyj3iKmHjzKRMxHtVYmVflp
iGMQ1IcDweryQJlwsu7vbEOAzr5RAHmdqqakZxDBVtBbnAeVBWNT5zcL7rlMq/s5
OJ97b3OocRflhZ7hcsqbAEvDUMpfjvI9QST/6IbO4LT5DE3cAqKB/DQDKmL8mIXT
Pq/UD+S6C+AlSmCZeoTpF4PdEGnJISHSxe7VE+iMbSg66LTW9eXDfs0mhO3FnFOw
A1/xUgDeo+8+EbQL8CQyfZFMMdYgC78LDSqmpXhFUnWyC1z2qSzDvMXbvJ8Y3Nhp
PJAnSrvypav9Mwkj6TZ2R+lu7XglMnwuHprG6f0dGS+cDr/AuUU=
=Ai4l
-----END PGP SIGNATURE-----