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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 5.0.0-2build5
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-libhyps deb ocaml optional arch=any
Checksums-Sha1:
 8a9274e7e9fad0e7ee7726465b91e4f74d44ec8f 47931 coq-libhyps_5.0.0.orig.tar.gz
 102cfed0adf0c89b5a0dfc69f1852c65dfa0f40f 2476 coq-libhyps_5.0.0-2build5.debian.tar.xz
Checksums-Sha256:
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 10034d683ce0228b7b0e4f7b7ef27bd175f680476f66bceaffd6c88e71ebc57e 2476 coq-libhyps_5.0.0-2build5.debian.tar.xz
Files:
 285324dd6a00928fc4c493b526bee9d4 47931 coq-libhyps_5.0.0.orig.tar.gz
 6a822a8e2650d2ac14006d8411c83401 2476 coq-libhyps_5.0.0-2build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtC/kACgkQLIPbyOm9
Djf8OQ/+PVzp/mKOLR1B3K+XXJvH3QHIWrYzZEJW+El5hedy/1CEhgLWLY91OcT8
kPWVJIkXFqKpEb3pXueyPa67zNo9c2jGMcHYyvH+2PteXNCUrCacwtvAPqKnn47j
UtNfClpNHiUBiZlcgEDAnU3y6tYSIkguZCPstcI5XNZfFvLu7LWxY04l/g+WB7b3
L1a/AaaP5IZBM8k3KI9Pmz+HjPGTVygOr086zGwuEa2Aoofy4Wx1N+CllBl9DzM+
suNcC8UeakTl20ld5MnNvzhwx357AnGu84PTAjlKWVM044UUgxCzXZ1UeB5qbyFV
UdUyqyroA48OV0hT4lmtW73vC5CSDF6DQIGioykPEqve7TiWssMIKPWwKBILvJmN
Qg0YYhP1iG30mdOVWku91hmFalCU7vTHOr5Il922ojzuSRbcwdcPvxAaLQYxKYQY
Ys7SXwrOOd2uBUW8PJ11+NgsUZCRWYD3xfmpvI2KoW3FS8IYjymOjjcta6Crc2Sw
cTwkeYeFZvzhTEffC5tbyxTy+D/sOnTa7znKvkliwVv1vGVMShgB3rD/QGTX59mc
YZ2zGSXBSHCcS19KibgX2r3Vg+aTAeoqQjEhP6DPfSxOKkJ4Uhqf1roYMgk5SzI/
Zm5N7z2lGnFXybiFIaKt3X/2V6epK69l2M/MSxy7aHax/4vUb1c=
=dK2g
-----END PGP SIGNATURE-----