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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.18-3
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
 c2277ac9bff88521802bd0a561d0a04f00eae3ad 2888 coq-hott_8.18-3.debian.tar.xz
Checksums-Sha256:
 0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00 909335 coq-hott_8.18.orig.tar.gz
 62effae3abde6c8f380861bb1e1773045aead9ef2d22fc3c00e3ac6f0deba0cd 2888 coq-hott_8.18-3.debian.tar.xz
Files:
 1d36040caeea2d2ef92a1bb7ab5c3dfe 909335 coq-hott_8.18.orig.tar.gz
 1d526ad57420eec039d4a6ae9d038d4a 2888 coq-hott_8.18-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEThUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHVIQAKNXgpmfMt9h4gK/BjFLHZASkn3ULnuJ
SxQ6jarhnyliJXevCW8W7YZWoLWHdorQmdqtNbz/xOUx+kCgQTb3x9JnfGPH3Rg/
y8UVI1pVM2ByjofejqGxExXKWvQkFmpNIosVTPidCgqMAJiCTHYbN9hbEOvF6Mx1
XGWMd7CV0pt2YBQ3BSlT+Kgr6MiLxB0qVAKtgH33eAuPIbegeNxIK0iyX0kKi+kC
tuK1OIg2FMG0vLOAlR3yoNGUd2XYuO7aWq+EsiByJYx0s0SsDJvZ+0cJJvleNDfg
Z6TPPaD4rGSZlVbEQM6WBHTp+vzhgvegCc1WTXsoNpBSa3MjYvYIEf4rh3a8y2tb
SdCw/4+dMu4sC34DGZnvFN8qCcdRRSgEy3fi0oOU+NAG9sfbSmIgibJ8orx/tbKK
1xptNuCWAtVGEAB9Lhbk2S0jZ3V/yNb1xWeFZrBACLtsBp9BY1+54DRWZh6TwMVx
9xx2Jiwro9navJwK1PiL5sSHuTKMZYG4JKTMrAvAtyYqGP4AVQKAKTpDqijVplM5
HdlQHwW12yOxLUACiSPhEJ5kjlNDrWowzm1ynHfMzLJXaDrpuosmZKVDaPiR3e4u
hI7ZycMtxdzH0cNYZU2XBs16IdVD7fiDKgvBmRtl0x8b8KzPqI8bMls6JlZbjvDY
6LUX/KbSukRK
=uKmY
-----END PGP SIGNATURE-----