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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 5.0.0-1
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
 cbc4d4449f407c84144fc1d5c01aa7a3900222b8 2288 coq-libhyps_5.0.0-1.debian.tar.xz
Checksums-Sha256:
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 81be17c6624f712b020a7a28cec7c2fcc3f98a52c0d61125b5179ef918a0b881 2288 coq-libhyps_5.0.0-1.debian.tar.xz
Files:
 285324dd6a00928fc4c493b526bee9d4 47931 coq-libhyps_5.0.0.orig.tar.gz
 a3d5e5983b440deb38c8d0a5a09f4c29 2288 coq-libhyps_5.0.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRBewZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSzoD/4/x3odHppfFtYKHCugmGG8
7GiJSRTbM0tpw1fj7b9Wx/VS2nUAm5w/yAbo0evaTEhu4lD4VXSxWb50q3JxeEwq
2GRd7LRL2HmKnujqZynfDV66NixantkQlRYveQBYgR9ObHh8D2pHVDqEBtKVmluM
FCwejdUn9CZDWzAq7Yci85ONMwdEuO6Ym78Q+keIKCk2bOfrLVLodc6ViiCJpVM+
AL6v35Rl3pBPG7BijOqJ6+BhkKTe1/F3vqcPwqAlNK2+TKTrhVKa7HrvPzl7cGMg
gFCjeU2oDCtYhWgioR+K4Muf9Qf9esOR7URqsN496q3V5YdrLD8HfTTPqkztBqOQ
n3E4fQzOlUojuZVkJzAEQsrLUI8vAaXVnczaW68WRYzLTggpOgFeEz/TommPtEQQ
coZYAStw99us+ZHmlJLr1j/AmB7V5y2uiAiB7szK2OLPS2nM2IMM5aLgYSKB90xJ
nPLApyba7DN+5Q4kPYkjPtDZ5P3kqyakQQV6l+96uXICSIavN902maORKQPzkvBG
gsPmiXJHbIdzwhyVp+zfxtrOOEoPzh2bPYDT0w6kYT1uDDEi09J1Tj5DjGNQmvPT
COVZTjvJBwIZEG2St/J9RqlWvAnwG9MBjkiIFSpn+hkv8EKIU72ssi9q8M61P/+w
53nYuA2LMu/mW/By09ZslA==
=bZrL
-----END PGP SIGNATURE-----