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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.18-3build2
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
 54c8bef360502a55b36dcf0b2771c65f53453b1f 3056 coq-hott_8.18-3build2.debian.tar.xz
Checksums-Sha256:
 0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00 909335 coq-hott_8.18.orig.tar.gz
 4cd336d288ef392e64eefaaf690e7289cb2db0f5a90dfd9836bfbad93cd3e43b 3056 coq-hott_8.18-3build2.debian.tar.xz
Files:
 1d36040caeea2d2ef92a1bb7ab5c3dfe 909335 coq-hott_8.18.orig.tar.gz
 9b3670f122acdfba7a94b28df9de6574 3056 coq-hott_8.18-3build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cDwaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz303RAAok5C/jRK/sToQ1n4dirw
D0gVbBc4YAB+1j8pmbt7c8B53B/yWxF57peMcvYXLoTSnawwky9aqr9o1Xk17yC/
HWQeYN0yG1sk6D3nLbPbR5GbfudqvXCCOQXFBvL2gBJPYCoeZl4yTgAxsVbAzgrv
gN+b+6Lp2GRmn2k99+t8pkl/fgtIx3xJimX6m1MRUFe89ec9y/OUcKTcn3OTX0vX
zZXNFtPojfT7xu9s403Ny2e08P3AoLvlEwx4w6IsXRL4AmZeGgCFKcc6pfS0Wvpf
3alFUdbccxF9Ww1LAPPYPn8jT4G5421qkHRj2e0yLKGz33ZvjlIy91VaUf40q5av
YLg1bUP8frPctufShsTICT9NMfaIKpWPdvKfVn4lrnZsDvfJ5Y8jnMzGibyIcn3W
O9Csr5y32NWNEVST7tseRdIO6lAZho51Gc6GQQYZ3A+3xR1F6m+3/JBZjvVdTxgQ
wm67cJetDkSCskwF7fzFAR8HqgRB01RfgeYfINe3hbcAcp/WKKEFfcophvBmjuVO
5OR5iNmr3CP0doZgvxJUU9gDMzPXgJiFCe7CGYoSNL7bPNN6r9kS4bzcw6NqClov
HfpOA834i02ax9fjdsrJMXs2quUR2+yk3IhvAYYMlPrb9tH3cRDhF1fgMpmdI8iv
F11pXv5hhyHFx9BMjyWs66A=
=8U8t
-----END PGP SIGNATURE-----