-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.19-1build3
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:
 9b908e9846051dd0e1dff7c8e0cad950e5cd22c0 983985 coq-hott_8.19.orig.tar.gz
 fdd8c7a5f9ce53a1d4f68e43cb5e7740b8ad8cde 3008 coq-hott_8.19-1build3.debian.tar.xz
Checksums-Sha256:
 b11a1898e751d76d3ff5fe1bc9c8ab55ebe48762835ad6a472db28cb958111b6 983985 coq-hott_8.19.orig.tar.gz
 e02c54a827a1ea444ee5e5e9db788a5d509bb618baec71540d61a90fceb077ee 3008 coq-hott_8.19-1build3.debian.tar.xz
Files:
 6066b30fa266e20701d00f360a43a174 983985 coq-hott_8.19.orig.tar.gz
 e457db5aafcefaf9b1f3ce1e5d6079b0 3008 coq-hott_8.19-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpm4ACgkQ808JdE6f
XdmUwBAAszVvCoTPDSJCAuIdMqGpyFa4KW8VtJWWt9UKXbcnctN6kahdGY6gFmPG
mX2bTl9Kwk0rbxSJbL2K8AZ/+Rpl66QlB6EQX3kWnB6Zspv/4E2RMgUG/kSMHdO4
WLxw36AUEIEe+S8ss3uiz0+SSK2HBCmrCdul43D2y8J7KmElsPXeJtLkxq8AxwhZ
annCe632Jff/oM2WhB+37NDjKfUKVSVvn6I8Hd4+okQ9h6FibooVoLzO36wJ7L1x
aUPAfMvf2OvhgoYFv5gGUMuT3/JcxwTFZ0GBLe4eTEnBDik2Xav6y+NcZNOKRmP5
qpKbLWJj1ZqNoLEyYyXkJW4CbW5zXMtXHxhJXn0IkH/+NUtzg6wByZ8yt3ULrjnj
+lGb+tOVa3OgXVm02+zm0onr7XWYiDMO5gLDHn/kkw3/yTRJzh5OpG+meEzunbZs
4raSz1S4B3lF+QRbeGBEvaczlZmZG27AOuHoMx9GMS6aVF8cAzBEqFrLDKSs/W0E
CbkrJK63hXVtwJLG5yAag3GCnwnXr2pth7ZI607133jZ3tNjTLEmjrNWZe13Gz50
xB2DJ3LdSd/JqewWNU0K/gZUcKVbTEq1eY48bh9tHLTXrgy+pWJrBi93ZN1elOU8
8A7L818V3HgKimSiVn6o5PpZCAF7UiY7eMvh5ybva3QAYwP0jt8=
=gbC6
-----END PGP SIGNATURE-----