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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.13.0-2
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 f7858a70cf82cb2868495b032d67c2a5610c6947 342787 coq-stdpp_1.13.0.orig.tar.gz
 a388f5862999dbb1e073ab6e42991c2a1cbf85d9 2884 coq-stdpp_1.13.0-2.debian.tar.xz
Checksums-Sha256:
 f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz
 c37f459b02b82f559971f402cd4417c44b536253baacf5b697acfe3fe090e789 2884 coq-stdpp_1.13.0-2.debian.tar.xz
Files:
 45ee699801c8697aa5a623694a55b1b0 342787 coq-stdpp_1.13.0.orig.tar.gz
 93080b1a7cdde028f9f6909dafc654ad 2884 coq-stdpp_1.13.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodv0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUN3D/95j852edAbTwt54lvXJ0b4
z3QHb26IVXXLeu5chkQNl0b5qna+EhlHcH2Bb+VYI5kLgDr5SWBlwvN+wgAVB428
1q8d8MiA+Oy2YoiFNi1YFKiF8DSSOQpCAI/QjP4rqFVlR7q4MpPAYSHr8ta8PVr0
8tJdl0R3Wen1f39/159KVFpo76pqGk3nY6DUSQX7A3Ntw30xelSvmg+U8BqUceN4
vEWiJ34oLonMuz7HTiY49czAjPdawy3Xi4QlIWrtrgtwqhM747CvAyDNJp5XzYjj
O8aKlnW1SPEwVjkK4oFvbRsEqGQ9Z+QRhTiJrAvwQghEh8Y0afyVlc/NYuC7txyB
JzjVQhp2xLA5BnMUVWhbjFfeoqdwnvevecMUi08kWbLx15Tnu8JAqQTDKKTIVXuh
0aZJ6KmOnQ4BL+ByM5giAdEJe4LqZQ5XTTFTd6EDVm7ahUh+wNMnEgZ6P/pA0YId
9UrzZSy4C7Zy8KoOdU/Y8IV0CPk43G81O93CplDARvGv+qyZ6aNC4bMIQ1l5vFJ3
tFIKuMBSdI1PjjSdLvmkVxkfNDqKZYNynj3+FIWRfUfmBDj7xUQeRc6x5/d12uNa
be0a9ejmUbERCEAZ2/CINZoyKLuFUWNCwpupEE1X0ozN1ujE3algvpqbI1aIBcv+
pOnOqSzGy+HXI3YL3/PKsA==
=cypJ
-----END PGP SIGNATURE-----