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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.19-2build3
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
 b6a49409d8b4459cf410f2c4500c19969c549638 3116 coq-hott_8.19-2build3.debian.tar.xz
Checksums-Sha256:
 b11a1898e751d76d3ff5fe1bc9c8ab55ebe48762835ad6a472db28cb958111b6 983985 coq-hott_8.19.orig.tar.gz
 eebbea8bd2338f76a48501f03c2ec4b974ba4084934a7a38517163bd48ff3c9f 3116 coq-hott_8.19-2build3.debian.tar.xz
Files:
 6066b30fa266e20701d00f360a43a174 983985 coq-hott_8.19.orig.tar.gz
 a20bd0a25dc309daa2056e471838eb5e 3116 coq-hott_8.19-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZJMACgkQLIPbyOm9
Djf/PA/+PnCiJVZRYWSFmH6Ct7jn1/t/l/MmkQ8v1Mwm8B8k7/rYoTVBL3wp5N+z
w/YTEJBybzaz+rpJhXLsYFA6Pe2qwf41ej01xsdxFTZQAclhztNYcHdKC6gCc57x
a47Une3ZKMbJ/Y2+DV1qH09feXxpb2HFNnqcbOXI9w+uDwr3TEWlTMYEhwl/1fAu
z7hVUlDY38eA/D4CPDa1vTgLr0XW5xCFFNLl1ZZMOucqCOqEV0LYZjUkW4XOQvPG
Dq78ElWSkhHBOkQvIJfiiqdr6OZCzTx1hxI5KwuoAAcqDpiSSy3w1tztuiJpX6vj
hsnScra9JBKalM2/Y57VDNZ2s2hNG1J+Ll27ymlZMCG8zsZHkhT2Dq1N2e1bdTeW
TSXfZUQ0AHV8jOEMz9p8vMQNpjRxFlCMHLo8InN+0FlSdPNWLcIyUllD5hGXrd33
9rTy8zcuJmLAlertTsiso0rQqCxzk/8BSS5uu9mZlueRtOY78CBUipxXP4uBge+L
WdnMNWL6Ugl62bDiAUHM0iaGSvkZ2Ai5UPEZVxvi+bmV9JQirZ+5GMHCpSrxN3tK
aielGFSiHSFPFeReCIxr9Xj39WNB2d4yLyTuWcJYZtasOD0wWX3X6wT6f0mEEC/Y
pTOkX8SrKwc4YPK+GA/AMFoXAcWTvA9ZGCnSt9hNW1bun8O+mJ0=
=kYch
-----END PGP SIGNATURE-----