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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.18-3build1
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.2
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:
 96f4590291270fbfc35d47705933b70388295403 909335 coq-hott_8.18.orig.tar.gz
 3517fa2cd4de34f20e7b3f7fb4916d353448a511 2956 coq-hott_8.18-3build1.debian.tar.xz
Checksums-Sha256:
 0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00 909335 coq-hott_8.18.orig.tar.gz
 b5074a66f4886653af75407c36fa9de2cc76c7aafdc5fe5f5f22015bfaebc3ce 2956 coq-hott_8.18-3build1.debian.tar.xz
Files:
 1d36040caeea2d2ef92a1bb7ab5c3dfe 909335 coq-hott_8.18.orig.tar.gz
 54214dba00a18c16080f5f768c2356e3 2956 coq-hott_8.18-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmWGN88ACgkQ5mx3Wuv+
bH2HCw/8CI5VewGzKC8weTZZjPI/HNtN7hv6XCeTbkzUJXdYokIZmbCXXYDk7zd4
Wvr1gSIy8KxrWxYJzQ8Upa6S2eM3vHrn1JK2RWGJHzOT5Y/t3RaXMPbLrkSydEM+
CJvkTMh/jSGBFllHeeah89TYHhWkhxXUkrZNdxOQLbisV90dOHCzS9Esu2/l+dWf
nafSKmCuznBVs0D9EcDWKZeMgnRgp93z4ptqpReND5bo3GROTjKnxc/7LU5gGNQo
s08kQL5yY8w6CEHTkt/kYG/UxBRj2C0F8ov5tGzfAPCjxREdv3ppLZj7JDBr6SZC
4EMLlEwX8t0vzEYUqvw9ki+tsTFjM3DYaU3lKbl3p58irjfB88sLEJ34eM6/rlsc
OhY/FCcwFX6N0gZW9FxscQvgJ/q8OR7ezYlkw6OjHXvX5wAD5ghHPosf3OAEbdRB
8H0Pj/0x2QeHu4D0LIKNyw5tlc59czRm4EVKC+kH9PRl8J8HXtvdBtY27DwmgzSS
m3mxmqrOKemCax+nB9zPzySNrqRyMp6OfBwBjy09SX/Sk0w4SrFixoBOKYUqEEOh
KwAEde+3YZYudTLV0vLfAoTGN/r3qIEz4gV2p3i7rs/FX/s9sWHhzbczTB7KJK8f
BCN2/5PbWxXLPD0ILqwwAG+MLPfUxACPlNV+cLiB9k8DPFckg8w=
=Z9je
-----END PGP SIGNATURE-----