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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.8-1build1
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
 e05c3c47bb175b0373c5160d82589ef65910cf1b 2148 coq-libhyps_2.0.8-1build1.debian.tar.xz
Checksums-Sha256:
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 3f5b7039771f53cc4fc63754ab840716790e3c023290ca4dda2719e8e6ad625c 2148 coq-libhyps_2.0.8-1build1.debian.tar.xz
Files:
 ca5263992fcd5f55211991f55a2d3c73 37247 coq-libhyps_2.0.8.orig.tar.gz
 111222917bed1b2817f950b96e08239e 2148 coq-libhyps_2.0.8-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmWGN9cACgkQ5mx3Wuv+
bH1u+w/9FbOW7vr0aEb6YhoRC9K2yth/Fjvpn0YHP/zVF1hgSWkBz2t4VgY/WC32
JkAHbNMR4BVcEkGugzPCzEdt8UNIWLaycTEDXBSR9LlcS5a/NYNMea4/sDXH8iZx
Bo1NWoSsGim4svnQo3jBCObzL5dR5heP/o7uWnTR2amn9KawhwcDIab31LaamHRj
cBmeEtaUPShOulGWfk5IWobPgd9mE3VoSbBJ/IdRsSy6f6TbOvJ0zClDRca0RzWh
94x1q8eYUlv8tvJuQn8Io3797xbxjsejy8BDSfvwFPXDLfqxrJi9Nm+eEl3IYTRS
hYUXERGOmzpvU5w1ugUbjVM+ERrv2/779lufjeTUcUfVsWjoZFPsWFNz1WE1pXf7
viyUYiV2icEJB43/r5eeICP81f/BLD+Jcw9K0IG133+0A6GmxXoB+rUC9P2rVZiC
/UWLs3fnMg434OwJ9YFHOxJeAmn7sBg8iWML1g7y2NKZqubBuQWJMsUYNjXfMG+v
ecVBTPv3hphnCzfnWObUxUvCVR2MxpU/rIFZWJ4LoWgMGev9BqUdfDmVAcuvmn5/
eAmx4Uq5H3wHJXsIbXQ9bvsQEakFF7WC6gjy4G7dV1beXukGRj2y2ceucSvHp5aR
xaoCbQFzh8xgfpDAgpQAEJeJqMYanCBYE6XWDTz05OWoMCUzjGA=
=xxRN
-----END PGP SIGNATURE-----