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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 9.0-1build6
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
 90da9978023d6b11f9d18ec4992f6b15d6514085 3268 coq-hott_9.0-1build6.debian.tar.xz
Checksums-Sha256:
 d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3 1118988 coq-hott_9.0.orig.tar.gz
 9227b0731a8b6053591a8b0b383bd3e9b11ef61d20bd903a4ad24242a6c34fcf 3268 coq-hott_9.0-1build6.debian.tar.xz
Files:
 a42c5c032d3685cb24df20568bceddaf 1118988 coq-hott_9.0.orig.tar.gz
 87988fa3eaffe44127cfa5d314524f84 3268 coq-hott_9.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYbYACgkQ808JdE6f
XdktGg//Wwkx0s+Sn4+rQcYFHhSw88TrSVYJIBd+k4ucGwjTF4kchL/U3X92+3/A
zkfv19EvOHU4a2xmPX8/Tph0Vk4EDl0y2o37nJb+BXuA+POG2fJlF/MD72j9KYhe
+8I1a4bvxdbUIUAPP7ZZhNgm1k24xgguetFs1jAsl7fp7KvOf750IpyDoAuKxMIJ
yvKyl3CnV4P8Mpv2WLT7cVmk4BbEechF2Q1QTKYHxake9n2DZ9B1ussBPqs+usb4
17MytrpaHYR+iugF61KU9Jw+FxlY4C1eVcEkJsFleSI31qpQXc7dNzOF1axJ/27E
tZVsjFsNCB4J5H+myqb2aIt5KFOpzofuHuwR/y54DPZwBU3AwTcJANrpviMkIuTL
bTJ1m5Fq0tjDwUL1MuMoZtdlr42gm9DXKzbTuqbjizcmnovVEcvp/vRMynGKkIGJ
pvZgY4ve3dyLZnpR3jEK9WCETK36u62hvDsg4MYIgUDtlyRtsjnEm3dkYWUhq3mZ
SnSstVFoEwata2ByQ3SC5ZVgtyddAAiGU89M7BFmdarXLhWmCO/uwRKmHiwSyUKs
didoUr8S3ijvwhg+N1DaBgHrbGGPk4OzzKnBYlpgh5btMvcofMSNIZIk/BX3kZtG
Z/IGBqv+nsbrzdCemYBS3ZUfqSf54urMOWeJjqA7ow6s4/xvOjk=
=VZxq
-----END PGP SIGNATURE-----