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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.15-2
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.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hott deb ocaml optional arch=any
Checksums-Sha1:
 aa6023cbaf0f14b02b1702e885a133c47c69e0ee 839986 coq-hott_8.15.orig.tar.gz
 84535b6c3a573de9f44e38464851e7234ce27c6d 2484 coq-hott_8.15-2.debian.tar.xz
Checksums-Sha256:
 d981860235adccad972303a531daa228f449ab1843104c0337e970cdb0f80c08 839986 coq-hott_8.15.orig.tar.gz
 26c4099828cfe7f5083b786793b2419eaca6305963498696a8d820f61b5846ca 2484 coq-hott_8.15-2.debian.tar.xz
Files:
 e44a5d92769ba4316a2bbb02231e35c0 839986 coq-hott_8.15.orig.tar.gz
 125ea36435b169704d28f5b565210044 2484 coq-hott_8.15-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLHZFkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmNwP/35yhJKr3tP22n4eKxOQZJo5jH/qcWv8
ybkY3jvrzmn+RuZvPnutlgpWBbJhZmZjUPpZS1/vmRtZmBnX7UC7XriLYJH3iisy
bDTQnGLFnizbpjrJmliO+b8h4GgRgzt+YVsnIJ7cFhPBka06CM4qXDuBQKIDLSun
n2u7d/Ud3u+ORLSZeWvt57Y8c2aBuOT9UK35p5NF5NmqZhjoyXTzlk8GSFspQy9S
/R/h6qZc3As8NQzcTNgm17zeShI36WT62Q1rlEY75QkwMQAmlasvJqoORngeCK94
g5DF+oXCmCOKaQ/9owpNjttZiJaFbQuaTfx1JU8sdGM96mfoWfYW/rzuZxYz071X
kQrOh4cuCMQap8qdiG/ZWX/ZAVqU+ZO7ospghxSWd2/0LEFTBBUXkTDRd4MdaYoB
VWecDNwXputQyplK9AzS7lfRw4T0oqPDZtaemlQ+mIr943BbkMbD3r1GrhD9CGy/
DyYpEOeyC1iFw3UWTWCBAP8SJaYe4Sxis+ko6odNjdOpCUyYL0NeoLeZGjFt5bot
CFAHGoZVx9ez2UtXS2zNUPrAEZHEpzD7psY1gT3YZypfmzcobbIFksNLXz7/r4Cm
XMjLTfezI/1FjA5w8p+v0Q2bZ0gLI2rooZ97L2KaTBN9Q8juwJwb4fIxK4J9m+uG
PHWdva1sdREL
=U8px
-----END PGP SIGNATURE-----