-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq-libhyps Binary: libcoq-libhyps Architecture: any Version: 2.0.8-5 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/Matafou/LibHyps Standards-Version: 4.7.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 5dd3e237abb957f5e6b6bf4cd9cc76a6aee621e0 2300 coq-libhyps_2.0.8-5.debian.tar.xz Checksums-Sha256: e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz 8659ce9fb36e788eb4a1f5a1bab7bf2aae74f6bbd8788d78c303c6ea4482a0aa 2300 coq-libhyps_2.0.8-5.debian.tar.xz Files: ca5263992fcd5f55211991f55a2d3c73 37247 coq-libhyps_2.0.8.orig.tar.gz 8d4753533da10ce20354211501e66ed3 2300 coq-libhyps_2.0.8-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBzZYZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTyTD/9AGL4ZF3+Ew/ZvbAGDwQkM iYQISHEi9DV6f6nBUGmGOuNqE2UB62YF1Xqn+h+cpFOvZySU7ZX9KyOTxVHRouJ1 k6t7zBuKMitQNxFx3Lhg9SzYvqIVEzs4EJ2zJzHO/Lx3/jvsEZ5ROXSFlOZBFyR/ NgtaJdZVk9NrbXdTAiF0mFIJ+u2ZoDBNw/h8WdivfI5N+GS2unLHltVoKVtKrrIa fI+qqcKgaCAakHTYYSHIV1CXGncSj+JGIsFzHt9bf/+tqJ8Gk4w1c8XXYHknqqY/ desQLm3yXp7LnF38CWqc+r8tX0/0VDPfvUASUpjX50ZEnvpzmBrq3ksohC720Nik YxOuAa/nz+Xh3hXrvOGmgAg+gCVwqTD9SDSdFxH/bFMbCiUtbhKLyJGGlb1r0f/I YHbiuZ2MYMJq+3gen4azS3hySOO1Xo0NcIOPVDFkWSvdc0n8AQvOMolYLJu45/S+ jhIOMGkX5+uidlf4KrPKb79/pkpPC/Llmf0Zm29D0yZh+DJxACq3zAmVsPzNxzgq YnegIQY+KvqgfUejQzxjlxbS56+mGiMZhqMukKQHC4q6mkn7vioL2K9doMrurwX2 x+rsCtLQg1x9d5K++78uj0QD/XToARhZZM3o9f8U+v8pInWomLM7QkT2sbhWGuIT 6vhARott6On/qbf5lX/wrw== =SYLq -----END PGP SIGNATURE-----