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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.20-1build2
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
 c5b09b468ad57e2b7b55fc66104dafcac4bbeea3 3080 coq-hott_8.20-1build2.debian.tar.xz
Checksums-Sha256:
 125d4417c7361dfe5ac033372f5120c0ea45db42de91250ffb570f0dd5186f5b 1075968 coq-hott_8.20.orig.tar.gz
 3fde4edab8c8fb1747e0be9c9acf117668b06c9fe29e08ed13a9f5a08480ab23 3080 coq-hott_8.20-1build2.debian.tar.xz
Files:
 a55a107733fbc157db3dc44939c5da3e 1075968 coq-hott_8.20.orig.tar.gz
 895cd9930f1cf120d40bb165a604e92e 3080 coq-hott_8.20-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeexxEACgkQ5mx3Wuv+
bH3gUw/9G0y4vrr2BWJicCKkBKsu7kWlWUo9GQTZlNe14FHjgcCjj+NYQL2eIyTk
nSuBdWv73YBpy9JUNa9jE+zE5ht8yAYkRa8B1nfjofoMI1oPX3x6+cvhM0qAiGMu
a8z5bGsUiuE8u00/AuzBGThdbngtP9uJUz75HnCQb9CE3Y+6RPicmPJ7wbmkW73D
VIiBPwjVwgA8i3aMgP4uYXRVtEl2P2hEcZc6yNocNhnCYq6kEPDuFiy4l9MUWJnr
edsO7A0DTiF5I6eiOPwhBllXsrVGFfbHFWaOSa74FEq9/mzdk6KEwDf4kOfsQzC9
Rur/SotIJdbTUSygsCD/aO1kosWY3phE5aDCWkqHr1Ezht9g6FvnSpgqLOJf7/l1
hJUsUf0JfXkIUqEfH5I9pEXpWnxe1+I9p69KEFLgUD+3TO+Wo1Mh0BbURfI2gXH+
17MmCPt5lIggtyhPXelxYI8lQs+vk58ZgWZxggMTQnOJd/dwnFiXy9FBLwkxlqJt
QBPpg4xyDbAmQsVL/bAgC89HCGGGVBQ+XcUHJEP4dJ1uYFuB0bNoSZ/AfZrRZITH
4nwDU71RTPkv0vh3Ob3r+UXsq59tWVx0wgTDvHeIOoEXvY/sdNlWqYaGyscd8uI9
nAHkwfoOW5m/z2KOuBziVd6bj03+bM5Ao/9cj3DiH2C5Jr7okwg=
=AJql
-----END PGP SIGNATURE-----