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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.6-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:
 5301821de901af71826df0fc98a25e982a496f9e 36241 coq-libhyps_2.0.6.orig.tar.gz
 3446e58ae9bf9c5e388bf7a8f8e6ddc3271885f7 2016 coq-libhyps_2.0.6-3build1.debian.tar.xz
Checksums-Sha256:
 ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
 c6b6e575c920f916ddf4baa089f8e1980b130f18fde7f5bf0cb4e27708a03902 2016 coq-libhyps_2.0.6-3build1.debian.tar.xz
Files:
 9aecf3f2e2a19b58ad130d6895731342 36241 coq-libhyps_2.0.6.orig.tar.gz
 6cdd4af90a44557bdb467faabd4c79c8 2016 coq-libhyps_2.0.6-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqvEACgkQ808JdE6f
XdmNDw/+JFDRjHMPk34fO6JsxR0JZ7iLSW9xrfm/6Spalq/dQCFE8O1IAGCVNZXq
jYuNNFcLDSWDAA5qcy2qFRSzITy7OQZsipK3n7m3miyZYRDr9jHYCzJ5Jc81Ao4q
Iaw4HzhC8DdyQFwzteJ0gTgAkugpfbSFxhz0xW3qUFgodHhf5aCuA353iv5770Va
zotruWLAxCwUNAbz8YylPiLfvADcGc2AAbOnD3HTXhIZOXcrify99hCXfu0ETrDh
wyW1fsMTYri87x3R5n0xQyTczNtLvIM2WhG5SwPHDzdElbocG/7cJUZuyxVpyEVk
bd2ZHJwkhOyLIVZe6BXpciCvVBeNl0A4WfNG+nQ0A4NFbY3pJ56bZnf6AtaYNMlO
YbvRgnO5H3wt6JC35pyeaaxtU+BVM2VhSz5P7GVOqAur2B2x4epCrsywTWV7oyox
xA4gLZrIUoiRoYK7AwweD3GR+T2uCCFVUNUwOjf3a9sbHZaXnQdqdRNCpm+BUpeh
uN8dI3ZuU6aPrEvMloaVHfupBH6DdV2wYwCMiDuR2fQcl7dqoRnSZDut2g0L55kN
C4GKbyxWkykUmg1k+qCdfmmRz0qzNdlX3CUq0cxcYO0SQUxxEylWsYKGHPabU5DT
WqPpoW44wLyOAQHMQefOXM8WHb8QhfAtaRdWPC9jWTlYaiAVxH8=
=k8HU
-----END PGP SIGNATURE-----