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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.16-1build2
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.6.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 3434e1899bb99fa3b720c56484a8d0af4fc380bb 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 bcecbe8b8f1881270617aa273e09b1263a3c02c5 2412 coq-unicoq_1.6-8.16-1build2.debian.tar.xz
Checksums-Sha256:
 e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 d34a510fffb231d40adcb6ea7efdc25b774cace33110439da3550ed5bc226e65 2412 coq-unicoq_1.6-8.16-1build2.debian.tar.xz
Files:
 041e01221bba8ef6f2c45ec1b8a1ca98 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 d30620d4718c665b7c0578f6e526cbb8 2412 coq-unicoq_1.6-8.16-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGtgACgkQ808JdE6f
XdmrlBAAr6C2JQl8TikM8MGAr3zM7cTjVIH4zAhGXHY/IU2xSNBlHmyfWMWwnZX0
/67TPZSIntM8CnbusJpuTHwvLVqrfq51hYJiriYEvcakYtcVVrrCYU8mUMZTDX2u
OOobY1npNPfzDP2TmLRFUUktMjE6E8TRvDk6mZCzzhv+osF5w/bAiRpkeM7+zfOc
R2SPhn3tsKAlLI/ofXLnVes0wwVCRq8LZwqJxzCWh38D7Mob7Tm7MBhGpP0aqqcu
moDIfjDRXG48XLrIfmT5KITCmzPvAOssk2hfSE4f/YSijjh5YPkOZpHMqH+dMMi/
lAvHY2CiFeZ/eU0X6xMsWdvV9l1CNTfxLUo7ruE4MUV+cnClkF6G2fbGPVJ3/Boe
I2f/25mUMV7izU/naxAsB34bGWLolGe76YfuwCmkZMBfbNQuu7ex/N6PEUXn2StL
8SAiMnEVTo/YYuae/6kX4EHJyBJzmgBoL+cbz8Jc5Rk2wN8dkD1oV8I1pAHrIWn3
sESPdLokCgzCq8qtiilKecQ3IsImKAJLaGmcDoP7szrvfjJ8mlugu3vIE8LiT0w2
ef9dtHPPusnu3rtXu0ikvgTTOKVuc33JqYpzEADs9ug0JxFky2K1P3ot9X7RBp30
9ASzemTIsO2/Q6iMMb5HVPD6sJysijkqBq43W9UrH0eLmVIstu4=
=JbC4
-----END PGP SIGNATURE-----