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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.19-1build2
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
 288a5dee7a6bfd981f1273875b68896d84ae6ce9 2988 coq-hott_8.19-1build2.debian.tar.xz
Checksums-Sha256:
 b11a1898e751d76d3ff5fe1bc9c8ab55ebe48762835ad6a472db28cb958111b6 983985 coq-hott_8.19.orig.tar.gz
 4d4306b2b260142ae667b284768d6d15d583c6acf8c4119fd8088fa5bf2b0ac4 2988 coq-hott_8.19-1build2.debian.tar.xz
Files:
 6066b30fa266e20701d00f360a43a174 983985 coq-hott_8.19.orig.tar.gz
 07ebca610137cbdede833f100b179ec5 2988 coq-hott_8.19-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWdkACgkQ808JdE6f
XdkoZRAAyHWwFV7ZubxhdtT8Ymas/O0XDDZkfwFkvhKAKDeDedQhBtNt/lxePF4k
jHEADQ1XK93wY4ptCuxKtcJw8W+dPkxVh3M7pKwj8YQzpVrS9sc7xD1VywMNrsGf
SeLX7Rgjg6Hk2uQaKhQQJM2XbQ3+7iLEdx5vrr0qasXxA+Nuny2QKS68gn3zwP5b
Ui5/piSGFPlaKXIeuTItV2oOcyYICBkhC7hamTeNxQXMuzh3QDG/euF2NECv/6Ly
s8+Nwfhy1PNErUCq75LltWBBOKbfs8UOzHMgaowSX6mCX120lwptHYpKxn6MDroX
xpfcgM+jnRc0uoxdYpdvG73QvTCFLo8cY2XkeEHhMxlgZQu83/Z41Nfgu+B76eR0
0Lr94JJ8gYccPIjFzFsMb/hPgpFYQkkTcmBF0zocjBwntad95VjckxHrnKguTGo5
vnwyny9cMlmyEHrrVspAov4B/Pmtq9eSjwsJzzm31QD/L2/o6MXWdaC3IWebguX/
/VLeGdowrrvhREeqf+B2JILBcZfl8C4I4OyKG7cjxQKI/q8wiedlsmJw1yjLbBkX
TQwNv6UlA88aw7dkr4XP+lOh2mSxNaX4EPWT5lerkSF+R5NO7c2jq6BHa7HoRHX+
k2P1epKZx1FryPtrRgs4WvJ4/r32e2nAm8b63J+ug7vVa8YGFZo=
=c+Kn
-----END PGP SIGNATURE-----