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

Format: 3.0 (quilt)
Source: coq-hott
Binary: libcoq-hott
Architecture: any
Version: 8.19-2
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
 6a63d32c67c9bf730e971181771ceaa1936b5635 2980 coq-hott_8.19-2.debian.tar.xz
Checksums-Sha256:
 b11a1898e751d76d3ff5fe1bc9c8ab55ebe48762835ad6a472db28cb958111b6 983985 coq-hott_8.19.orig.tar.gz
 d05e270bacf10dc0cd6d34b1f569eb6022228d27fc8c7025c53ad70d60edcb12 2980 coq-hott_8.19-2.debian.tar.xz
Files:
 6066b30fa266e20701d00f360a43a174 983985 coq-hott_8.19.orig.tar.gz
 765e6f08150fce481b1b1d8dde186af2 2980 coq-hott_8.19-2.debian.tar.xz
Dgit: 20ee049417bf74e70ab46ecc2864170220921dba debian archive/debian/8.19-2 https://git.dgit.debian.org/coq-hott

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTcASHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBNEYH/0rXllHZSpfE3oc6MVkNKXVDTQvPTjlp
8NRjdqDPziT8tp/3ajN+Uf8DEkxeaoha1DHfhnjgJy+zxTLtgW/EYZMwJnQvDTbh
XBOf7W6nY8NiZ7Ui/k7rvlKuhbxtL/6y5tZxgdX6WEj3OhXUclEmBCrATdcidiTt
yCtHxmVYtKDBSL5diAgf/bAhyyyElLy2uG9hLPSOI6PPuiHJEviaVvEWHnWEVhzu
U8AVKKqorJsPQ59e3d0CORlHw+d3DEHEMVF4hv60AdvlDICtKCIied6fJi9PV4Hv
Qwd0sxGtVRb2uc/bxljy5m+goRtxvQg9af1G6bsEkcnj0DUo8h6KYxk=
=DwX2
-----END PGP SIGNATURE-----