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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-9.1-4build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/unicoq/unicoq/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unicoq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unicoq.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 fd5e166b3cdb9024375e67b1edc0ef0a9d2d4c5b 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 4572fd34ba8083ce33941060f0d81b6a59d6e574 3592 coq-unicoq_1.6-9.1-4build2.debian.tar.xz
Checksums-Sha256:
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 2518c5b683a920400d75d5c1818c9ea806863888bd82fab15159270f47a94b7d 3592 coq-unicoq_1.6-9.1-4build2.debian.tar.xz
Files:
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 7527be860023d170b2edb1f767c4458e 3592 coq-unicoq_1.6-9.1-4build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtDAgACgkQLIPbyOm9
Dje2LxAAh41fMbWNWktHunDw+8M6NXvBOYmVeWvTOZgTg1A4cv9+87VQ4mpuGmOA
mRjyLTeSG4bcu9dt1pI6xFoBxvQw2CxXPvHbSAfpbdraG7CI9rW4xFXIWyLp4dXz
WjH7tvdjx36qbMDoL46pdrA6NU375RZz/0mZkiX7bC1koeIHQ9OI6ZprjZP+XHH3
xkFch8zeF7lTJO8tyL+cAZKEnCjgJzI2Q9UJGQOIxQAIkE8Nf0mQ9GPV+T44Bmpj
G+VyRC0Fe8ziCRzw0MUSVsjASS4S7Jw4xNhm4YsIapGcD23lwLRcF9YnyUGejRzD
Ox2dHEAU+pfote6PbqtoTfm2OZi1pXe5At28ZEcA81Iv5r4hew3S8QtGmH5KpsoH
ycXZOV6Lybpkn7DvnQCN8CEFVlz9toz0QET0cTH6eqwBiN8dWIRUXOna1KcCyiwh
0/N7146yEXe3COag98M56c7o+GYQqH1Al/JocGlPEBd1fsaWu0hQiPJuKQ97ed+i
+v7kP3/0DgYa9TFlLvD4BRVrqz4hvd0nM5zpw4i2wySJd6V9wDRu1/s1dQD4V38E
PPSv6mhcZZIr08PITpwU7k6dY8cwfTrjvJA4oyk/sektTutk0/RVo6TV+XVx1uXc
/QtYyCaEZ6YIfGO/YDTsbQE5lcs0GLsEkT4AntkQRqlEEflsTN8=
=x8wB
-----END PGP SIGNATURE-----