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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.1-2build2
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
 5092ab48ecd4f882cc5c831915ced1f502e071da 2836 coq-hott_9.1-2build2.debian.tar.xz
Checksums-Sha256:
 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz
 4d7a822782101319032d2caf2507d4a8d6eb981af35c0e806a20e15fd09951c4 2836 coq-hott_9.1-2build2.debian.tar.xz
Files:
 f68c0c08e9e5a22ff3f8365b37a793db 1184742 coq-hott_9.1.orig.tar.gz
 019d3e80ad76ea4d54a85c4e79d05350 2836 coq-hott_9.1-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQq4ACgkQ808JdE6f
XdmuVg/+Ll9NBKWoEo5j4cXdecCBqUUmGDMrquoi9ra60AqK+nvOzXjSHWeW/pqV
PXATLXzUIn+knPzkrOu54OtNhAT55hhJwWFW9ho08cP3WRNVOgTDhBU3RK5OYI5z
dtQJvXXKE/M5xSjhnI3l4MfIe0gcdbZIqyTqc75jHCnFvWM6blA81L/LrMpoA3Gx
cPeZ9sbXfClIWYVrobrNXrhmlt9sPeE4RKGOCuYt9HpdHkdTK7f69UWIicF/U+N0
X0lt5bLsNFuOzbGm+JzNUPw+nzoSKc6WIC7TIn5Olghl/wyM4vj7oUGIWDMcp0yL
jnwuZbipZ5kbNlVTkmruLzbAfqASgqDSerPGyloUj36BI8DuTQhTWwXNg2VBg6Kf
/DijopLZ8i0D3ERZd+hrNgCVtnvtZwonXUT6aXyRJZCVgn9QtziSmwGV2erGB/FS
ovz0g8aSYkSy3/ZkkmUybwIZH9g5jNhmcaW8RlPJUkgzhcYVdclJT/iKQ/mlk6Uz
P0oCvktYI/aoGAi2TefSGgVI7CMPthQimNmPf7krY0DflB/o60ONOP5VTYDNHSgN
WXPFxum5dKUIhp1CcuGeiNPGlyhStyGPDWGVEkYg6rmXqfOpYfvsm7taIBCMiHw2
yI43WJcJbkaUvyWMW9E4lY4rY9uxH13cSmyIltYzRCOzm726hFQ=
=5WPu
-----END PGP SIGNATURE-----