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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.8-4
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:
 f76fddba5e33d6c43ce07a437f9916fecfc41a08 37247 coq-libhyps_2.0.8.orig.tar.gz
 15376e8c2d5ed98b43d6e4340a4fa4e8cb00b6d0 2216 coq-libhyps_2.0.8-4.debian.tar.xz
Checksums-Sha256:
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 337ed33419b697484c371e2ea75df9acc22694530d4389f85820623505389ee9 2216 coq-libhyps_2.0.8-4.debian.tar.xz
Files:
 ca5263992fcd5f55211991f55a2d3c73 37247 coq-libhyps_2.0.8.orig.tar.gz
 c7a738f91e5a62f37f4065607c3d6dd8 2216 coq-libhyps_2.0.8-4.debian.tar.xz
Dgit: b13d6267b3581243ac01cf099a44062cdd9882ad debian archive/debian/2.0.8-4 https://git.dgit.debian.org/coq-libhyps

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTekSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBAFUH/i0jflWJZFgY752vFXPeOOtGYccu9N+A
eMtY881omOSwcBmuuun3ivaFPH/IWAZDm7rT5unbvDX7maEQq605+qS30YGfdjK3
1hFY1nkj7Kn+j3ObtE00QXdB8I7gttYixRM73RvTvxznzIzLE+D1MpKqpfZJUdPM
sTwUdMjWjD/2xpCGF+lSatWVjfZCzipcsrTfXxqpcMgkxPL0k/2mIe6H8d34T3ap
IiI1ropK7PwIKuTabOMBIFQOvj1ay9nJugxU27rlQzXLCYfKnKUBEH8YSuUPKU/b
P56LlWcgCnWEET/pQ2gucpRHvndRipzekNs8e6tL1HtNa+zX7p7MBQY=
=K/9k
-----END PGP SIGNATURE-----