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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-9.1-2build3
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
 0bb2d1c9c63ee74a4786b790745c6ee6af45d3c5 2972 coq-unicoq_1.6-9.1-2build3.debian.tar.xz
Checksums-Sha256:
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 aa246c5c78b2867aa9a087d2eaefede1c41d216ea18c05f39bcb7eecae6c388f 2972 coq-unicoq_1.6-9.1-2build3.debian.tar.xz
Files:
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 edebd264aea8d924e5eeb6714a7e90d4 2972 coq-unicoq_1.6-9.1-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0R4ACgkQ808JdE6f
XdlI8g/+JIcWl3uFZQO+A1FbtG17YNxFFfphCddvGLicwxytUf9RXasgT4uF1Ovq
GFFFMeGkWANIQLddvC/rtNn54z0pxHw22NNKzVKPRzfDIY8gZ82FHRRcBR+Ae9UW
BjoMIzAujhzkRRJ3wUNkwirnO0oKGzFw+ElDx9F3mZHRaDeP9jNML6o70iyWS9hD
kVNCjs/IswQ7zOrVTMSz9rt4C+bPXIMobj/Vyd8lhoxUgceRSGFrFlkdLB+Oourk
djd7+ikIgUFvykv0Ey2kX/YFwfxE9Bs9sOETmpG/sf0FmR9D8YtRMmYDW542G45P
zLtCZ/jgt/B44SWOLUSRQwB2WzFhVkCgvFWhAIUyhF7fNq7kjcYa2XIUqCR/506I
urjxc+pRLoAPwOIg86GS8PrkQDssjzILiCydaesIAxbD8KutzGF2VRwbevnE7+dv
rb5hMBoOukHC/JiGqslCT4wNRBAaCmZ4AeNGLh1iqRHkwk1UIL9t3n6DPS4nM+L8
fkPYk/jiYyKrHjcJkFr3Om3imxl1xaeWjw50xXmo6Byz5PMrkLh3h2SBieeNYn7l
g7D7m/MtPQ6nuZuQBOBuXsrxD3MxC47KwAk/4tXEh6DrOJZRXHPFPIpm9Yja92mQ
mp90iU/pNV/yF8By2ATEBj4wy9uE/sgzQFjqOeMDCUR1PtRXqM0=
=zZpy
-----END PGP SIGNATURE-----