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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 5.0.0-2build4
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-libhyps deb ocaml optional arch=any
Checksums-Sha1:
 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz
 67c11fbfc5179729e28c654758a36e2f65b33051 2424 coq-libhyps_5.0.0-2build4.debian.tar.xz
Checksums-Sha256:
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 8083445d8ef0bb0331b4a15ef643e36ad8ed9f38f7d194eeda842f06cfc816a6 2424 coq-libhyps_5.0.0-2build4.debian.tar.xz
Files:
 285324dd6a00928fc4c493b526bee9d4 47931 coq-libhyps_5.0.0.orig.tar.gz
 8bd9b3be0a9f5cd18baf5d5bec6a4ef2 2424 coq-libhyps_5.0.0-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVPoACgkQ808JdE6f
XdmItBAAoqwQ/GWvxJiW9gxUQ0RKw3rVBM5toyBolF3rG6W5TQMVzO7zGX6is5MM
RFEjOG03Skjsu2+50D0BiFsCHDN9kugPYd2QStzMnZ+03ZAqbBMVi9e2G16NiCwl
dM6/c9OccVa1GEiJMAVeR+BoTuP3Kji5vhD78xSaNu5zzhpKblzEskj/42QzPVn9
vxzoSNeHpbYwViO1kisZmy2RAFAn2wZlUALqKn7/daidi3/LHmAvXamtpTAA75S7
g/IifDQ06EylJq4uQje0me7asBYmI0d/BwJg3VmUYIzG0xySISmuVKtxbbGVmozs
OqQxv49Ntku68TgyuVX4JhCNZ/X6DKyPrBYAphlnuOWuDSZdf6/aAo/vCgykfibR
yk844iSG2u3Y5rhLejmgLHp6VizMwDg16QtcXWyzuC/WYS5xtNn1TM6z72P/sh/Q
Xmc+RinNc5Hf7cXh9z77n9+pHnLgXg63V1U7a0iJlyjh1V32L9Z/no155DD2wqub
t7uaL95VXik8M4DTgf1xefe092bQylkkMMZ3ma9GxxbzHZhD6qcWSa50/SrMsozz
mGhu5iAo4eBhqZw+6tIpPxwFINA62G8jqLNoiqR6cSqhZO1B1zHo6oVK4lVDnQ/b
0POtF+RtNsAZhlgBmrfGVEMiPPKtRv3kkHmRj+R8f3WYknPcrrg=
=BSgr
-----END PGP SIGNATURE-----