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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.8-4build12
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
 1c01eb764de16c3f7fd628b0d2a093e8a1d714f1 2596 coq-libhyps_2.0.8-4build12.debian.tar.xz
Checksums-Sha256:
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 72d77ff778a2c6591e3c1a1a3ea0499c84a7524bb2cdf6f2187669b7a36c054e 2596 coq-libhyps_2.0.8-4build12.debian.tar.xz
Files:
 ca5263992fcd5f55211991f55a2d3c73 37247 coq-libhyps_2.0.8.orig.tar.gz
 ca3b9ce08dac4ff70d9ee83707479bcb 2596 coq-libhyps_2.0.8-4build12.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYcYACgkQ808JdE6f
Xdk8kA/9Hm0aPlh/tgoNEjcIjnlCXNYtoX4rCfQhVWGY89yVYmfGYXcTicSdoKBz
c1j0ETqmNVNd7b+Etd0UzGLOR9SUd9cItOu6txGAkEMQx55ZvKxQXAmcYuxvKSqd
jtMVdJUxrdv2mctNT5U+b2twb84BZpFzp1Uw/Sq/Ous5EzjcR/PIDiycLxM0EJIB
7suLkpgr+UY0gH688f8pmJjnanQ3fKIj1lu8uPwDqBwvvFY8oojeldSrOroZUAEt
Up/TLspqkzEg4CTnlhXgyiPN6T9rUcKVoRLpylcd+mosDFjR778admGV0bZKRay5
FM8Y69GjVK4n93gsKERvyh+iz6wEVzstHEtJ4ak1u5CSJmf5K6yR2M4iOOPOPvDI
ILKfU7dS1L8olVLP/eUEELUN6OjEoLAA3sQ4WFC8KQWE19No+BcqXS4SA0P8qW9f
ayWuF0I3sKmFc8L8tYqYzxnxkCTnhFqolRWLjzJOA1RSAjKFx/M4MHu1VDnDH4be
N6X+/Rpg8X/rteyE0sQVAy/T9XLW8tr2QpL1zKOQwPL38avUKVkfJQo+uOXtwwWw
p2IyDyun1/VZ14ub76ug/kl8eF3Gqy1YXQPznCfyKEMvCI4Zlysv2Ie+2KAkLPkf
EOSy53C7bEL2ydZI83Vl1F7Yb61Ysd/iVXhoEJc/v0JoJ8YvjdM=
=X0CR
-----END PGP SIGNATURE-----