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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.20-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.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:
 efed39cdf9036dd4e4330d3c6fb661724601ba40 1075968 coq-hott_8.20.orig.tar.gz
 f6409a56fc1c0ace77e51ecac3d95d5ed3034b33 2988 coq-hott_8.20-1.debian.tar.xz
Checksums-Sha256:
 125d4417c7361dfe5ac033372f5120c0ea45db42de91250ffb570f0dd5186f5b 1075968 coq-hott_8.20.orig.tar.gz
 7d43d4e016fce182925689820cdf80f3ed588f0178b6d0d497f2b49b94729134 2988 coq-hott_8.20-1.debian.tar.xz
Files:
 a55a107733fbc157db3dc44939c5da3e 1075968 coq-hott_8.20.orig.tar.gz
 b6ce8b10da0a5a48fd51dbd1efd505cb 2988 coq-hott_8.20-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sAcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/mQP/3vatuxOYigt+ZSAO3vN4QJEBjFIXjB/
p3KzN0z8lbPHcbr7uHrFEv/MrrU0hnrVroMulcJL+J8NqbXpYumAP6XfUdX0E+R5
pqGtwiQrzP7xYU57yXEs/1z0eyGK2blldw+q64mZ0zjueBJB2Qn0pDpwpH4yvOEY
D0zlbCd40lKxtUb5th5ZOPvSsF55hl6AbpJtGr/cKLt74oRVaq1olI5S4pWbp32T
iqgAZ52bv3qlphGf2XLE5OQQenBNRKoruWTYhFm5euHfg+e4m20x1kxOu1G075F1
bXp87D93+wICG3EMi1VGXbKWqWQbdkgOMVedFyxW8D8NQzyWn7RazJOYUvEnKR9i
dbmaazO2N1nF1lhefwiKjXbYPKnj8rcdiZLK7cp6WMj9algpdr6sKIzO9+I0dwDS
cU3Q2NU/9evwxxqdAzRUK+mpHM4IzJYQmrY0Fk/OSj8H2lpqMQ34wW9j5zG88qUh
tkwIAGCy4nnQ4dq4s9vYsIOErYIhuOLAGfxlMuTfPrT5P6gqtL23cbndEzgB63l0
DplbpMV47xS8NGcEhlv6aEWmazUNs67iiQY2vIqJc20uiG6c5eUcTqKofiYDMn2I
ApO0qyu7/5dTCQAEjTjTatmEsU9u/tP3K/vkhnpjKTe2A2MznYjrFLGCqIeE13Nr
Vm+4TWTUi1ya
=/9N/
-----END PGP SIGNATURE-----