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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.15-4
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.6.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-hott deb ocaml optional arch=any
Checksums-Sha1:
 aa6023cbaf0f14b02b1702e885a133c47c69e0ee 839986 coq-hott_8.15.orig.tar.gz
 b9ce7a8971c16981f62e08d068c77cd259e2bb52 2780 coq-hott_8.15-4.debian.tar.xz
Checksums-Sha256:
 d981860235adccad972303a531daa228f449ab1843104c0337e970cdb0f80c08 839986 coq-hott_8.15.orig.tar.gz
 53b9a07fc2c211e9d711e86597ade41e6230679a0db3e6c1046f4cb55cfc0a34 2780 coq-hott_8.15-4.debian.tar.xz
Files:
 e44a5d92769ba4316a2bbb02231e35c0 839986 coq-hott_8.15.orig.tar.gz
 e8c8f095f6c71ebf7758d642022c1d7a 2780 coq-hott_8.15-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMDPh0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0QYP/1LdyYVhHotdgEAbSBrx5jLTRhKqiTmq
lN+510s6jia1pC/A1apQh7ME8mOMXY8ztP6u0u2E+2FMajXqyzVDmEkn7G0ekk/u
x41AtLZYZnEe9Y1lqRs1ELGkmf5f6JpZLuJWK1LPufUe0/lKby/7l9oKo35KlTmI
urv1kyTUtjlxxhTsRJdgu0MosPM5tFXdvKijeZRXppp3U2p+XymPFwOJuRCWiNGw
g9u/P1zwfzoXgSDgsAnJxCs9e3+xIY1oBTSbM9kinecBjcXJujZ7cfJFkyhMzQ7P
pQJekwhy675PiogtcOFiEn0mwCeXl8mco+Ns6I4ZYvK5UF1q+UcXXpPBz9Sa6gMJ
aThKjABbJOnRZ1mYsvMec2gw7VevqhP56h6jHgfoa0WaXjTNmwy18ZG/Q29bl7uI
wY5AgdLm5m06iVMrGJejY+i5vsd02tAG+XKngj/YReIG78clYKd1BxLYwRJE5h66
DxBJaiJgfNEipId3haBDHzS5b7iVD8vQz71Y9lKMXmpKcaOcJrQCDHkg+/P3sSAp
tEgkFMVOfjj9d4kdeln774OyNVf0nBsNy4xORgpirsOlZhnxzDI/c1/1qnC0ZKNv
oU/Kg6UZVMRDhrzdNzusvIZzL/sxtB68Id03A+79LdsHAgdwaSWYcNuPmwhAF04r
GDQyNmLCijvu
=tXkt
-----END PGP SIGNATURE-----