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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.8-3build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Matafou/LibHyps
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-libhyps
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-libhyps.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-libhyps deb ocaml optional arch=any
Checksums-Sha1:
 f76fddba5e33d6c43ce07a437f9916fecfc41a08 37247 coq-libhyps_2.0.8.orig.tar.gz
 b6c5bbe4f4cd3572b7b63f6a5e9d010195a1f249 2224 coq-libhyps_2.0.8-3build2.debian.tar.xz
Checksums-Sha256:
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 2553463209bed3bb47b238ff2d8cecc9eafd6f2dc574d948de21c4f212ff6538 2224 coq-libhyps_2.0.8-3build2.debian.tar.xz
Files:
 ca5263992fcd5f55211991f55a2d3c73 37247 coq-libhyps_2.0.8.orig.tar.gz
 34fe047851eba27b47f5bd207d85114e 2224 coq-libhyps_2.0.8-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWeUACgkQ808JdE6f
Xdlx+BAAzIaTtgJOqJriCOPYlV02wwONtlwfNMMoObaO4rWIxVSzxODBwAMDr/wf
MIVA9ACPMiSFCkiT1oLiGBE7OYr+O+wfN1GowYrQvnPx2t2W63Er3KQejD3tpTup
t1vxpfxk8c14QNJn+knKRhCeNXwIQfMLnkzzAz0g/Amohw6chE2NBQB5sSRLfG8j
uIzANUjpYJTFrd1GlDJv2/r51Xen0oR9YhgdNEspVs8uaAvWmWHYssOfF0qdZdo/
MbnIEfIsUwpY88Ve74/EB4LdEt8N73ukJu7f+BLD/cQ/41uJp2KnZSldwiLUSAX5
q9isith46QlKteuWGsziBROIhnj0XXj5IDDnhACyyxpK0YOMI2Kyxj2wKD5ZVq4h
dE5rdpEATGlM7dcW14dt7rFFbm9SDA6kc5Pv87kRVQv8zUiX60NsYJKVaPTMSepu
J/d/U0AGC84fGbkSmqcWSeWSS2nq+hIjC//NykkEW1pIp+QLA1K9M6jgzcAa0PLY
oMtlKMQYnlD1xhGWz/Ui8Sw2/dz431S1artyhR5G3ikc6yTVe9h8Ym7RjC5mxRXs
PmmdsnM+0yaS+J+5qSPcOyBDncDPmj59z1Czbu5uPPCteSgiccWKbouFyweip+U6
jtROSFGI50BMt4185rSm5xYQwINo16jSiBJT6NbHd1oxwYAx66U=
=aqpO
-----END PGP SIGNATURE-----