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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.8-3build1
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
 09128913ce48363918729b20e45b45fde405a353 2216 coq-libhyps_2.0.8-3build1.debian.tar.xz
Checksums-Sha256:
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 69ab94d26078fdbf1e0a100c58c2ac5c3e6201d5accb8c3f7d3b7ab5eed85992 2216 coq-libhyps_2.0.8-3build1.debian.tar.xz
Files:
 ca5263992fcd5f55211991f55a2d3c73 37247 coq-libhyps_2.0.8.orig.tar.gz
 d6a206103ebbca4b2e1293214aa925f9 2216 coq-libhyps_2.0.8-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz8wwACgkQ808JdE6f
Xdnq3Q/5AWSAb8zsCxZlYEOYQC6KnvDGrc/R5ZKsMxI9Vc/xKnOJZh6DKy8Xgyx1
4l1oix21fwy0mA/jrFldLbxodhm2P8lwHxzoUUcLkXb98QArvo7zHWc7QwNwXXOW
Bx+QBa00ecK1vZi7YIpkCGhaAD5QuLMux2/ULXFcH3eme0venu0gnc9WJr6VYRR9
xRbHqNhjNNsHYdmaZ5OoVGaiEZJ0p1zFY3k5KaVI7xjO0GHB4VQ8LgsPgot6oCYX
G9Bi4SxyaE4Wp3aQYuDdsfjjrhv1w3kzjPvSJbltlWkyY/Yhv7ybUdhP6fVFOWUS
KUA8v0gHxKOSMt4vfJPmI+8LBv/RjF8b6sPmKTy/PE1GJNKUgIqZhxI93Uu1MQtU
/AC82xzhoaO9lkXMRTEd1/FU/y8P1daYA0dT8x6wt5A/8A6rYVVlgZXgjw0ozPCe
lD84k4QXQtRhCla9J3Hz3Wnr2e81sMO8+Csc+S6UbSsTd5Fq2oJCzeBcxztd5cS3
b0bfEaL2KmdR3zx/pM8V4dOkhlvIQjMWmhmIVNgedHgpk/is78ztmK3Jbqz2TBHZ
u4IQdFTGHfSroUzvee84OY0TjHrqYRBfHCoqe6gHFUuqS+F5+/4YBlGJJEmGhTrZ
EMB5RAcgUgSgTgS1+Sw9B0cZmtsk9vd+DS1MJi15cyAUDoi2ATk=
=hvY7
-----END PGP SIGNATURE-----