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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-1build7
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.0
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 (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 053e09086d85d7561790794982e17e4aa411c4b7 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 c2edd1660e26d06cbc13b550e2954cb98f0f5ae0 2996 coq-unicoq_1.6-8.20-1build7.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 f494c7a44ec2c535331d51ed31b8058c45d226789230244a94cbab8b24a4e531 2996 coq-unicoq_1.6-8.20-1build7.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 431d6a425df2c5ed279054c9f7832250 2996 coq-unicoq_1.6-8.20-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmnOBAACgkQWWH9vpxh
mAkKJw//cfagYoc9/VyWItKzY/X3MAFFL7ITew0SEAThEWrQfjn1wazLo/zi6hFm
2W9O6dbsqCPT4LKX3lOudDJTl+NQX7BjzmwrW0SDLwC/H3MObwP/uPn4vcW7IaWI
tJ34EmIKCmixHof/II7KUxS8cEtvhS2k1ckxe/g8AOyC+QuKEvz6GWzWQIGNeZ3x
OaIhGajqXrHrN7qMBO5GDEr8CQkPbcFzhzMWKdiZcBHRC4WX+xn9vbvexMH5SWrC
PLbxEEfCq67Bi4sr5MrXYh792xrmdm9TThAG2UgFJXVcUjgTsjQ3c+v8cDuQsJ8W
B4b574JcXXZD1kMHOykTwRRw3W5Zu0vfijY1zyLUwS37oRu3Cn+fYqVWQGqr6Nt+
7qd6mWhhVPbRDK23PT1Wwd9UELXTKocnXLfC+1iCS3ohG+eG7PX0ZzHYeZEF7qYP
O3pHg9U7xwdjflUyVuDDJy0Cth9xpkjq9inGYnZRTtDGSIFlEO373a2D4adZWEog
hlJuwsxJvCGxymzCYCpeErbLkEvzzd4H2ewxJkooTM1BeuiZ0y31HQRZnwlrYzSO
eH/nqrnx63vG5ryG38kwfhRiYLZbcvxPVdhsIadPr7abZ2MIWCIwxb90nHmWQkse
iLI+uhz5ylwmJcDdJ1Rf8hlXOvOw2z85gtG6D37GkXqpv1slqws=
=xhwR
-----END PGP SIGNATURE-----