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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.20-1build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/HoTT/HoTT
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hott
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hott.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-hott deb ocaml optional arch=any
Checksums-Sha1:
 efed39cdf9036dd4e4330d3c6fb661724601ba40 1075968 coq-hott_8.20.orig.tar.gz
 4cf7b1650db11e5f599544f0605c53fe1d1923fa 3132 coq-hott_8.20-1build3.debian.tar.xz
Checksums-Sha256:
 125d4417c7361dfe5ac033372f5120c0ea45db42de91250ffb570f0dd5186f5b 1075968 coq-hott_8.20.orig.tar.gz
 97a9e3028f3f17d43fcad159067d552d5b221001c5fe0171771360de82a6726a 3132 coq-hott_8.20-1build3.debian.tar.xz
Files:
 a55a107733fbc157db3dc44939c5da3e 1075968 coq-hott_8.20.orig.tar.gz
 e0dc3bac7a46a1ea50c3cf707872079d 3132 coq-hott_8.20-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeugAkACgkQ808JdE6f
XdnuLRAAvc3HXAPLVzg5FoYd02n3wVZDkYnyS6iS4z670/gNn3YlpTKWGiOcp0DZ
UaUC90d4rc0TdSK/OpxvuVZFI3Wyd32yA2NqVLmEqxjMyqvUzF5yA1Bhn3TUQo8V
Uv6ugvVJ6hGqdKCol4QYQs5dMWrY+zQKqV5LN4HG8QvIXFtJtqN1TMXJ04AOxneE
AFQ5kNEjiGdOshfVHGxrpz9i5reaRrW4EI8btz1+DQaPHeK8wyLle+ojmLH+2v5K
fcw2QnySpN1Z79yG67LTRcHH0M1o38wp1mYzNvSNoLnbFmkszwhOioNBAzbHXPTs
E2CLFiEiWQZG6tbjash0hBzroHCo/hknErzTUXjMWj9XJCjbmIMTsSTcdXDPhmv4
ahiHQCwuHqRKRYdHmB03+PSMctrjEC1afmZ1PXmMaW1Xrz3q5p9LYJL4IWf62mD8
mOIicirtsR0f48t1H8atgVeUjimhRbMd+4hJvq9g8dz4Cj5cdZe2OeMBumjZqXeZ
wARc0SEHu5lo2gka62z1OqXt4F4FC3J3ZL2lstGNHO+IPsGyosfUgQULZDsq9ERn
qk2f8c1+lbivY6qeXXuHVzb/TDuU1jKD8q/0xnk2CQF+jJeMh57I+IIYjceo1Kzl
zuAbPVKJTCzC/sSCnbSRnu3vJGOQRpYqH3nb6XpIBgypmUWDjsk=
=tc9Y
-----END PGP SIGNATURE-----