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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1build4
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.7.0
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:
 93333a7b6ebf025618fa0dd8a1ffd9861905deba 257015 coq-stdpp_1.11.0.orig.tar.bz2
 9095f81844b2b84f501297570664f4f4a552999c 2960 coq-stdpp_1.11.0-1build4.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 806439f97eb8b3eb58021a6532b92baaa92f232b520ffbd6ded722693b9af0aa 2960 coq-stdpp_1.11.0-1build4.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 7f941c29b0cfc958b51258fb7b25a178 2960 coq-stdpp_1.11.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme0588ACgkQLIPbyOm9
DjeJTA/+NLwcN07Jjb/U1a2JOLWECipcESsgQXZ0PblMYva/RRooC8sx+FMe2xKo
b4S/I8ZBBfNZLYsHBIomUqUwgEp352XiZLX7anBw3kYegnAjU8JBay4AivC17OMG
WIE5IjMqEjAV2q+1g/q383FYFGhh1SzYYRzo7N/Ez8Un+t8cTsEX5/x43bXdH6uj
9JRLJeajj9oA9yqEBf0DpSyz8NhZ5LMj5zyGirUQe98GYEBbXsIYPLszug/quSnB
cvPH4JFPl9yh/6jcq/RUV22W0ce215vMs0tLt+Ys8kPgwnB9kXR8L45BPH9alTRh
4bmHB9DwiHVfxR4MyDwsTdlZuyQ7eugP6Axenxup+9qC09z+gk/MnEHqQEoQrdFn
Z+7pUG60e1BSTp2wDwbrvlQmGaUgG+sNFMFRZs2FhE6exCYyZzO58r0NJ4gQX9CQ
v3SH6UewRFKdIzoEB5hKq+U2awr9RsvaXrwwFLYMZkrCjduz3i7hLy+nBrc9skTl
Kfy8eRe719sPCA28SPC4UVZnco8qoQBEbB/urgxt5Q6w+8M+KjH/lfT2EZ+n1A+K
+LrwzBhLjSG/FsURD2NnQbkiFpJulg1BbotZYFuj2rJGQGTd9W7mafEYBmS4AH8S
BBCYnJOKrOC14ZhEoN1UYpABbvynB+OBtIqfxjCAhzulKv0F3KM=
=INb/
-----END PGP SIGNATURE-----