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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.1-2build5
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hott deb ocaml optional arch=any
Checksums-Sha1:
 40b70101d53bcbf62aa7bf19e0575e61ecd63989 1184742 coq-hott_9.1.orig.tar.gz
 7c27599cae90e4414c9569a1b85453335f47807c 2908 coq-hott_9.1-2build5.debian.tar.xz
Checksums-Sha256:
 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz
 21c115a7aefb9331cd421c59d53c470484ca817fa57677d907eb2bfb3d5f3892 2908 coq-hott_9.1-2build5.debian.tar.xz
Files:
 f68c0c08e9e5a22ff3f8365b37a793db 1184742 coq-hott_9.1.orig.tar.gz
 042ed109c74a253120beb60fb52425c4 2908 coq-hott_9.1-2build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtDAcACgkQLIPbyOm9
DjerGRAAhITo2gDP7Yl2TFhegQoivl4IFvHd9JzVhBkU4oqz9AE7SdE6d43Kb+/b
9LfyUHPWY3GO6kHgQg7i/mpeWZN4wIRRGbocb7bNyt5pCgZDl1onSCGcTC5ISMjE
W9sKf7bYMPKA7CszTZiXsLLnDD4+8SEOdcEvd55Mabk86BzXUXI5zfyM4ynl+9Zo
ychrBQy4SY1mRup2fLUglW6mm1pdgi/FKTjqsXMrogQOYYRsUMR4fH7gVyeiE/CL
WVeLYsut3dKyfJ1betijvYghv4UAwH37gGN70qzQ7F5qbVtc52T+9aWZjo0pmANG
zasgnnbNQ1I1eQxIUpnm/yLRDv4InAjV1P8W3ZACzh49g9P9Uif0XF2+p9DXDFyd
h+Nhq7Q5raPVdijntzE6CaNKykeL+HZthanSgszfxlP/VJmt9xGnjIWrLCA33nCU
ArPRIwU/nU/70LKNTn1yHVq4v/cHFudzvIMDYYtEyxhH90cKfxO8IBQp3d/F1188
xmwTfTlidJ0j9TgahceJ/8huq+dy3AADSJgNW2k8S3C5yqVdwImP1p086QxqRkCK
SaNImZq+bUKZNxQTDgcBlTqYLKnUkltivtRUTRL+hjVpAzOuSMM6/r+SxMa5wdUC
2c2WQNutMTje1Bx0wxcG3fN775HIIlRRFQC5jeEcngXI8GGas4A=
=gCrB
-----END PGP SIGNATURE-----