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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 5.0.0-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.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
 ee615763cb0e0b1c77a102526552c874faec2e96 2400 coq-libhyps_5.0.0-2build2.debian.tar.xz
Checksums-Sha256:
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 e6de26d573e681a9b4fb565ea7d2d149d31c02cb1437a064cf32d111aed9b669 2400 coq-libhyps_5.0.0-2build2.debian.tar.xz
Files:
 285324dd6a00928fc4c493b526bee9d4 47931 coq-libhyps_5.0.0.orig.tar.gz
 ca0e3e84a8f3ac8c67e8a73afe0f05ec 2400 coq-libhyps_5.0.0-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQrcACgkQ808JdE6f
XdnEUA/+Jrh4ddvlvpT6ZAOO8mWqLiHgypASMvHnyxahCTXItKQY3Y+TN/NHy2Dp
z+UPk+cPaqUWY0cMYGZPJwMR5C1VMA44ukoBUzwOUJR3SLELr2WuwRgniu9sv0ho
PHu1EEMqOJBckDJw8rReoxh95k0cFo+FL/5rb35N46vDJMHD6dYxha+RuL3sfN20
d2WJSWImEF+LHHTHqswyJfv1v6c+R0H/cf1671zFUv9MxTyFZ8inPQ9w8HBxSmQ4
B6hjeb2Xbhne0ajZ6VBPzZU+Ei3NMr4VbFlLhSieXy4SkU4XmgWAztM3pf8e0iuW
tzCh0HOxegMFC3BvmY+sw3GsV52OlOOg/r9I6W7CBMNPT9it/ui50h7C7glOyNZ+
HQPmQ0ptsvff+SkaOGdaHZ3xs//8hoKeCeG7buzuqwvuUuE6l/j0xBcG4/NxSBDk
7p/DUGBP94FjGC52EUgfxBfWR2ONKQxLZwQxRjH7AAXbjRM+dSuMQ9HPDtLBWDkZ
65yVrdLWbqOm4LzXIxr7VsUP1R07dv1C0xZf2J+ZCcJdt1NcVXPNCg3eJh/G2uTp
tItWen+tVLpDUPrv33X5wwThQCSG1wiLWhOvLZLFVEgbsBPcnYOva3ZL2fNaXZex
5a7Uvqbi30T1E6H09DEp8v1qohGGHIHw1iwC3gXB52N+RHuFpsw=
=IOpC
-----END PGP SIGNATURE-----