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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 5.0.0-2
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
 c61093257d12203725fb14dcea2392a13acfa6d5 2316 coq-libhyps_5.0.0-2.debian.tar.xz
Checksums-Sha256:
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 5428fc048c26b340f25025b26a7eb014466e1f4e34bdd563fd1cdbf2508fed63 2316 coq-libhyps_5.0.0-2.debian.tar.xz
Files:
 285324dd6a00928fc4c493b526bee9d4 47931 coq-libhyps_5.0.0.orig.tar.gz
 e3141b89b0f9995a87cdd8584cad5ee6 2316 coq-libhyps_5.0.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodXgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUSBD/9mEWK/fMobAG7RjjBW7VNF
s96MxohJ8aIDRO91hOGVfMgdZI+ao3Nt+1gVDjlZeQ5kd2IeWD6/wt+CHt9XJ2Pv
lSjjpIYNP/lB34bPLtfbHKFlZGzs75f9q4rPzism3Iz3znJdtEdZmqhFkbbkacpE
41NnlEBJVwXGa49J8JwFAUBQwO3TQJKMR4LC8SAyUV9Uz7Bv0ni8oFSJuISFTlKX
N0is6D0o4SxkBh5j7n6Z1sckpgfVZLhYjrvDIx2aU2/LjoqTiWNo40FULoTtg+LA
3Mx8+Sn2ysr+UIWnqvnRLSJ/9zFz5ieEmK+S1ApJwNkC1JkC2BsNHHEGHKh1KA/T
DiIXo29YEO4gFvL/sF5V8Abr45bthjk21lrzmKC6kuVSD8s43NDYTG+6xkKabU0V
wildmI322DhnTUzQnc0WrndDSUBULLSwoolWTrZlS48+u/uvJeZDE0RHGCaRphFC
+tI29UT44mSo0wl+09XJnBtd5+S7aajLitQuokWExEQYlLtPN2Cn2kdiKabiUz3c
FFHzZ2131BKDTDJHH+5AHWoify9gSvp3wmT2VJA4mRTrP3GYw2lr7ZcgIZ6tx7dM
UZIiXeyAyUchT0fTFCVudbD18QtXYT/5tvhDb9AZGA3YShCr3RIrlm0zc2nhvaXe
gPpBjOYwL3iz8t/ct0UdVw==
=Ni73
-----END PGP SIGNATURE-----