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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.9.0-1build1
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
 d9a31f6446914977c662edd8c7ebbb0d5dd5fae4 2712 coq-stdpp_1.9.0-1build1.debian.tar.xz
Checksums-Sha256:
 2bcfc8d1c7eb9e85a9d043080e36761b77597c5d78573628a826c38037c706bc 297515 coq-stdpp_1.9.0.orig.tar.gz
 7de5f0d3be587cbe35c580818ea643263e08c775d4980b23b4a4ebc3de032dda 2712 coq-stdpp_1.9.0-1build1.debian.tar.xz
Files:
 af01b3c7ca246aade275e96256567d65 297515 coq-stdpp_1.9.0.orig.tar.gz
 1300b1a88fed186fb8e2ebabde0c0fdc 2712 coq-stdpp_1.9.0-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cJ4aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2nYhAAtv9fvOHz+p/fkODgK405
xdcYUXBgjNrqEtEQNQ81b8/o12pocrlViQEAeMDxl2f08rZMsxlWQV9pdhGWIa/P
iMz1S6s+srnvYZYOBn2KCXEL9JkLD3Dch87sFpWXIle/g2Wcxyszmikbc+amy1xD
osfNKsb2zF3dm7Gqx32DI3zB2EBsvzt87HeqVRFuPqPs+O+WPzHmbtS+fF6mLvF0
8US9mRSiLsRztTc4H/acOlBIkJfQbqHgU4Vgz8PrwMlyM727fjdrDUaYXDXl5Bor
6LNV/PRvYZayOEP4H2LvS3A9eRwUDOlw9+RjeGBCSNz37iG+InoB04GplLHLt6/A
dxotf5FG9wdzPXBbUAFf/YShkx3nJWR6txW8yItrH3SI2OlwbyJh/1ONAqOECPIk
/TAZm3TO/PjysY+bUuUa/rBz1iWZkc4entntdyeRZ6xA+6/p3AmYm11NAkQwuCey
uSElcjkjMDcor9vi8TVtwpnYmT1YI5l2Ow3kYo07z/lYeZxfeS04JiL6+DpQ6DPV
tThRvWRGxT3b8wtoK5d+DKnPRiRH9FJ5Uv61zBuIBj0W4DAaEuOvZR06EhC/iDhb
vUbgxfgSV5uqZSH2bofjdtxrwbNVcqPEuhKp6iwYFOfXU1mWNnnXZlegQJu0ZjY6
heRm0KU8z/HBS1C1q4KPeGA=
=tOg/
-----END PGP SIGNATURE-----