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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.6-1build3
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
 450a03a5eaf39c0f046da474149917f5f85e6b56 1976 coq-libhyps_2.0.6-1build3.debian.tar.xz
Checksums-Sha256:
 ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
 bd0548770a430aaef58033662babd13e9257d953e5f160ef7bf7c977e80c295d 1976 coq-libhyps_2.0.6-1build3.debian.tar.xz
Files:
 9aecf3f2e2a19b58ad130d6895731342 36241 coq-libhyps_2.0.6.orig.tar.gz
 7634eeb25349e421a171f58764541a26 1976 coq-libhyps_2.0.6-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGqYACgkQ808JdE6f
Xdmusg//a79V2kTCV++A2nrfWlWyJSEBxInIJtZLoW3BDcaDjMP4ZOZzd+0iaSiP
4WaJDhUxBnRkOfkKTyjnscUGfLvbQ5DXl0KvvdcEvOgpJhLNWIPbnFvD5dO6acry
mz9htkfjpZUs38ehHIU2F6ZWmPo47fohoYYCLPPHZSghNw4I3u8+D++wmGheNOYc
Ih9FuiYwELGHlJOzQF/IIkB09nUXmfUrC+SWcOykhD7e/omrZQaLKwJeWnfexxdw
zeusAJX6jeSN9gOoECPqbC2OzgtzCSl0FDrKBhFIIlY1hsAq9jlAsFcSVpIVSdvF
tgXKQnbbvB0uRXQGsylYuZBn3jW79lVqAeqGjngorqhLi873ncjyQK3vsSaQ+FPP
buA5sEXf7fasy3Z2RbqSZAR4N7uBMet6d6N5N/VWcRAsiFZzoITfL1wHBI6dKlYy
vZQJMcbce5EOeDEC756SWd9OD3Va2mx1DL9+Mm86BJ81NHcUaJfXVYJCLkLT/Glu
bfMLo8zdVPRN+NUZ2bR122Pc5LfBTNeVOXoZ0G8UdSTjcfvX2h3mKFSBGVh609Ra
fJoPUJmE7jfe2nm/c2Eyb0+EpsoWFUJWu9+xOs4KLYzYc2baTNCgfeJRHEW7p4xs
TZKvDRGrXnRlKbyZlKR4/62zNxXh+7bg5jhivXC+hhObxr0zhMc=
=PhSX
-----END PGP SIGNATURE-----