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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.6-1build2
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.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-libhyps deb ocaml optional arch=any
Checksums-Sha1:
 5301821de901af71826df0fc98a25e982a496f9e 36241 coq-libhyps_2.0.6.orig.tar.gz
 77645bc9d3524a4cb88915bd39a1cc3cea5c34fd 1960 coq-libhyps_2.0.6-1build2.debian.tar.xz
Checksums-Sha256:
 ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
 82d5bd74ae1ea2b96d6f121ac911718a12cf495325f02c15f6d9dfa2d5d03c0c 1960 coq-libhyps_2.0.6-1build2.debian.tar.xz
Files:
 9aecf3f2e2a19b58ad130d6895731342 36241 coq-libhyps_2.0.6.orig.tar.gz
 7adfbeb6f662bae63646cdcac6029c55 1960 coq-libhyps_2.0.6-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBXYACgkQ808JdE6f
XdlyiQ//RRToCA2MHoGiYauoHR36mZAwHjHHUfVraSt/IEatWynukumFpngdjMmh
e2bQVDwRZn72TjIsrX7M+YJiD0r0yao2AfehWB3hN7PJg3Hc3LfNGsmZaMPo2wrE
ME5Ff2xgoMzRG/BNsL1mzgC7YMXTbYpLQuuaP6ycDx7v2owbXbhYJhMf8VqagaXD
UB7PZL4IvujzHRKVqNmFnLVuk58vXTsYf4Ik6eR9CmPbdo1CppzrHhBTzcKEIAt9
m6E1dWTzdf4jARWpFSCu731Vj7qPY5uSNDGWQadYjuB2ZkEyJbtaHgf5S1lRL+Yb
94BXQZizMAqYRBt3qOZM3H3LFuIBoxzu9LAkfDFqwoBM+bchLEwtg9cWkclxWS3W
leFqE5rTU5QMdxDjInv5EVlBIgbnetU8C3NyEgs2wx/XZ++QI7z8FsUZCJ5Fze98
0gI3kG/BWx9uBZMsEd1LjOlCM0SILpd+Z3Z3JyOa3f6M6/IvB1MzIZb5QZIGkqUg
tzHU9qaxVgAELLUReZt/h1bgKSgaWP9C32DrvmjqLfeuQiO2XvV8j9pioxk7UGDQ
7x4r2zuzS3J1cCe8/tF4d02BEW9VXYDPOIlfhsXwJ+VvoQyGuD9/O5jfU0ceHlmB
F+4TOW4QvSW6hdUfmUUoTL0r7Z60HJ+qC//TxPIDOUum4YkR514=
=egXf
-----END PGP SIGNATURE-----