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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.6-2build2
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-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
 7d8983afeb9f30e627e9af33b69e17183f696d93 2004 coq-libhyps_2.0.6-2build2.debian.tar.xz
Checksums-Sha256:
 ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
 e5b58c6d4581b6bc1be207cbe0061d35623ab4602c15171d0c9ba266d8da9cd5 2004 coq-libhyps_2.0.6-2build2.debian.tar.xz
Files:
 9aecf3f2e2a19b58ad130d6895731342 36241 coq-libhyps_2.0.6.orig.tar.gz
 6cb81ecb0ebf1f02ff151bc6b89d9dec 2004 coq-libhyps_2.0.6-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPuddsACgkQ808JdE6f
XdmI7A//cn+GCx8++Fs1jrYcC/Th1zi/kvE1Tbt0UJYxej9be5G/bYXBRdrzUpQG
VTyd/vNekSYeCMAmhorfzb1pkmzfoGIVLRlsezJNH3LaJFN8OJjBmq8XEp2Y9031
fERR5cV33DEQm+kBJ/MuA5nZ/7tM9JYibc94eAI+cMKGxc2TaH46V5YNAJJ7nzDl
jNbfKo+vSStDQYjrzGsTLZiQXPP800BJVDsmSqtlBCU+bYsiKf6Zk5r+hvQFo61E
FaQWOIB6AxfeMYdLwTcIh5g3cfGrVAfEu9um5FFmsAd+rJnxHIrK/m66DXzA+OHR
fXR3msBvgdh41OnPDwvv0jRjoV8eCwfBkYMzwgK1DLZLEMsdgYPaMuQBA1VmGVKp
amIv6xjjCEWdlaSbEKxTJGHCCkQWY3bY1Cs3AFPjPSVHCfiX5tvgmW/UOSqoRCm5
cHDJ/FYYitsiIzbQQm+oB1brIa3tzLHnXl+d/JZCJgzFzMEsWVohxNSxupuF/5Nc
kukJQKwnqsgCvOzSEBgEboRLMPc5RskVN12uHb0gVijH+EYV2GboJc493sUU9rhU
2z0S7xs+7yUIll4CnYYFRwRB5fMDvxc2+yylyvaQ63BKLMRq9srFsGvFpKkwB2dl
ylO1mpjDYektPjNPJYS81voavaLs6CMK3I3b5vYVXfjnTEIhoiw=
=a4i/
-----END PGP SIGNATURE-----