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

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.13.0-2build4
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
 6eec650054192afc271be62ee7134f8e37b31c9b 3032 coq-stdpp_1.13.0-2build4.debian.tar.xz
Checksums-Sha256:
 f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz
 b80462dc2ccdd5107f61dd3ba07c90fb473304e6ef36184e2296d29ff504e43f 3032 coq-stdpp_1.13.0-2build4.debian.tar.xz
Files:
 45ee699801c8697aa5a623694a55b1b0 342787 coq-stdpp_1.13.0.orig.tar.gz
 18c73433eeab24690a7d95793749aec2 3032 coq-stdpp_1.13.0-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtC/QACgkQLIPbyOm9
Djd+NA/+MvRiHz7IgiV1hNcM+FFeuJXBqnuiABJQfVeTPdP43+hStJJ1NMZFnBxp
4Yji3LrLQLRsDpoimlI3KeOJCHX09V0OOJewPLycBJyl2KFyxe9hE7isc6hLPM3U
if7/99SJkFVBYojF/+KsFVsAOCoXi+hFwIk6tCVEb4bWwGNDZXqt4GRk8yRbKxx3
ac8/00Hmh7BL0akcnGTQ9Ks8O6+I06zdHltBRQftzj/35QH9mQASODySaF0DmWGm
e6JHGgJgGz3CcLRkBXg54Pn6j/2DHo0nZqCsJ10cEPwsowxf1sK9cwyQlERA20Yj
JYBxtCf0eCcjMIPwTn6Kdgj4SlRI//1FqmKlBrFOZkVRe8sXG2V+Cj/fJKvxX7hV
8p4jTqiCAp5tKU1MSFD7Cy9EX14/WPkt3UpAWrxA/7q47xZqnigZE8e7KHL9wW9D
dUTDwGWSeWyNTQm0xlwMJ0GPf+VZtyiFGbCwtXUoPlmmQlLVst7+S/0hyV6YkcLN
cGfPWh6hgU+7IRM2O7uoKvCkBGmc8aW+ddDQ32BudcnW/XXkO//rfvzUG3AUtzVN
kiJMHmqUGH6POOOBQJtlHbha01bN5YSWHbiiJHdSGstbNQROI7nOf+IUFARlskm0
T2YCO87XIi1wcfFcih+9QRr+g303kW0Pc2H8WxGmbHKvHXh1/Tg=
=qYPl
-----END PGP SIGNATURE-----