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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.0-1
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.0
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:
 52a743135615c12e11196a5560003c50163d7a30 1118988 coq-hott_9.0.orig.tar.gz
 cd6af1985ec0298c327c90da803e3d7b098d8c94 3012 coq-hott_9.0-1.debian.tar.xz
Checksums-Sha256:
 d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz
 792c2c35f643fc0a78ded73e2307033bfb6f6cdd8aff5517ef57ea7251958a8a 3012 coq-hott_9.0-1.debian.tar.xz
Files:
 a42c5c032d3685cb24df20568bceddaf 1118988 coq-hott_9.0.orig.tar.gz
 887030a5d344b194392cfbdd5cbff907 3012 coq-hott_9.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewqb0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcPWEACSNC3dcMTDi9r0V5lgzgrA
vMuXi7d5LDkpwSCsUqHaSx2Bv5AP+9wyYO27TlDou9b2UErhw3lOaLQLp6k8Rx+Z
XA1Mfb9VbzRY5m3PrLSq9yobUVZdg8KwZsFDynm5jwN1k7M8QbOT/JpYiGxwi0DM
xF/i9I67JhTgt4XXojX5v1uIrqHTYrO4XfmVfW2APTHfd0bdL39kL7VmKrsGz2pb
XtjC6iozgESOzeiqd7b9PybBN1nB4yrSfv+7QHyYUiAHj9unj6O4fnoPERuiR7R7
7mHqZ8sQHTGuenOF4K0lMN+UkPh2EEvf93kbXprig14Io6hkFct2pSY3IE2N4Fb8
ZUGP5EKh94ChUiF6QPTDnunnEAHd0XlXtTGP9qYEyQZqqjYoNgWS7JYdGPtRKVjx
PK4eCi6R9kUR/RPOotkZD5+AEkw+hQCTwK+mPapD5lMEdjDLVx2lW41OvoPVdpNU
hl3wRtwFd/n3SJa16prs0CrNYn4uBOv7vsUX/QmonQIN0vnSqUgn5S0iwf8ekx19
/xVO2xmWiZu+fzD6gJdzl/8KMAE1x2FKtm8+eTOfmIXpthR8DYx2Vk/1LnuDibJ/
rCDcCps1lVN54/yv5apkR15EGOczFvqbBsX9n69v/X54Q/YJKMNDuf6V3v2YH6/1
Pvlu8mzIqzHTtFsJZN8rkA==
=m2S/
-----END PGP SIGNATURE-----