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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.18-3build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 d0e308d813e7a40f79f67a7d152a7d0503efe29c 3128 coq-hott_8.18-3build4.debian.tar.xz
Checksums-Sha256:
 0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00 909335 coq-hott_8.18.orig.tar.gz
 819d67736ad5f506550e4e560fd583df93d9a5310bc19256332a9c203a8f9aee 3128 coq-hott_8.18-3build4.debian.tar.xz
Files:
 1d36040caeea2d2ef92a1bb7ab5c3dfe 909335 coq-hott_8.18.orig.tar.gz
 b526eb6583d72326db5f3f74509a03ca 3128 coq-hott_8.18-3build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmVAACgkQ808JdE6f
XdmXgxAAhxYcEt0+02w5JS2pZGMDkX4U2qsdol5JvLudaxTGv/O14s+X0/TVSdBc
tbyhIuSxxFIsespyyrXcnLUxlAjHvHdfMVzFfrm29JefWaXfKAILmgkB7PtNWE8d
Ye5l/L7zAvdkxhPQE/L1ar5c75muxT/AwD54lz8wOilZjU4iCO/4YRs7Uu7h7l92
O/lTg51uiuNgN6plFty9Xp6XPflgl+Yy01YS0hNiVXnrcxIt6n9jNjDioKlVKTAG
16jDLn18UHNVRwbeCwuWTfDyKKMVMp91DZIK0mgME/6wvex7EewLAeEYq8rrmk6x
W20on5ANjA4s8aoKculMU1ZoGuxrpz5EPZjGcT2RsHggERinNcHPpB+NXmTY3hRk
r6jXy0TyLN6qcKRhooHyI0mmbJ0mJ2TPgAb99wXmqDuzn9iQhY1GyyhWqqDQdcYa
Co9NgQ81e1xWpTC8xgQKWKL2e9aEZABpe6wqdb0s0FoPuVHazYD/xpu7vMZoZnQq
T1QTTvH+nJUCGDmQb0RFBV9+gBQd1vBoYFM7ASPjIITtAKqtkulkurquCG6wqncI
Ust1H575AK0Yw+wITenGIowKfacmdaUKycaRpXxB0UseUEREFvjpEih5Ii5ChW93
EBdQcJNZ/41ZvPsfOppAXVw5/4OR9yj7guYPq9eWCrXBUEBteEs=
=CO7J
-----END PGP SIGNATURE-----