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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.1-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.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
 ee7241cc2c0935b6e149f2a5d64c514bafdb2c63 2748 coq-hott_9.1-2.debian.tar.xz
Checksums-Sha256:
 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz
 cd52d8f488a96d1ee456936874019c745c9adb81988bda8c177df45d52a52a1b 2748 coq-hott_9.1-2.debian.tar.xz
Files:
 f68c0c08e9e5a22ff3f8365b37a793db 1184742 coq-hott_9.1.orig.tar.gz
 05ce0dd3e1dcf02223ecb4af446c99e4 2748 coq-hott_9.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodSYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUViOD/45/4TbGZ2JTl7aPa6MJ+Ta
95yvW/6PsWrN05Lf+LcRjOxEMCwpUwBKrpUmdUJdJsPP5pmIcNw89UyZPNFnK2Z3
LK4qCYPGEys6BKNaOsVSe6L8WqoensI6LLyUWqQuFq/Uh/hxcoWocLNOv0/r5pnD
1Q0R02GgtGNTnooYh1TZO+zsAcj36L8wTHCE14IDIQ/LrdLJTiDR4yHN6MjOScfD
zpCzxN8IyWi5x9idUpfDZhrmPo9vLDap96FndaFDLO0bUP/mcOnyI+8Iggglf+cM
0hcEGcK5DubHWrk47rfCIWkxYFXaowf+YNKUNXl4fpeRtBqUTmcnh/blEU3M8GWy
+8NChcR8KCLgGCHbVwFvCV/DQwKB/9CU68FQqh7ty7pvzY17fdZ7atggmdDjIIK3
lhljGc8aw7GZLQsUg6/Sjy1EWw3agvrSCu6VlL/Jb0HuCh1kOV7x/2ZEPNu0MY4A
bdQGWBSYNmhWSf6PZJdZ2pqezC290dnEHTeu/E25w3BGjHXG8Sh/y5TbYhGKWh27
jZTyIya8HL5t766YtiMjFhxF2sjL3b3UZDk9zXFy7MfqoZoOV6N7P6NBruxBOFAb
tHfMB8HO0a0MUFudLnZ4lmF4EszUFMQgUyIarYtolwMr5TMVQ4MLH8Z4RP6waqIw
ZUl2LFDKKW4Atx4g2MN4fg==
=QJ2I
-----END PGP SIGNATURE-----