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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-2
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.2
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
 dc49a9ca2c320b46aa7cc0043d682fee3a03685d 4012 coq-unicoq_1.6-8.20-2.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 210ecb6381adce03bae9c22ef525e07160df9eafae191f2a03274491723ca63f 4012 coq-unicoq_1.6-8.20-2.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 d0fc84f5656a2d66d34bda3e06f314eb 4012 coq-unicoq_1.6-8.20-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB0VUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURGwEACYGitNtH83a2eG1JfBMMIJ
YXYuU1xJlykIY73/a0Em33JQqPY0MqPiRshXza7qtc1IyMlOLZnhIaUWaJJp89v0
il8T/pQIPR+Vf/v4om5zHKv66ujUU+COStMEYKoQHtNGkCbKn33ZtsLAdpf0pMpP
+0dhK/zzazBbhmmInPGsbl4zOJn/1H6D6Fs0NVMKOCVPEPHjjRDlfEv5Iu8yN9mr
rpdMt5IR53WnJzanw7SX4b5I8rvNkFsnwBRTRAoOr/UtQnCxCTT61RQbK9o8/jTX
0yQugiZsWRG59ep52Y8HANwh96pYVTQ5sXlYrodCcnna29TGr/XNiBgBko6hp7FT
P3pv34uB59dpypwk+7xZU4KuSkXLvtkh03jM8pjNISRHIRmkSeUVqGPy0ago6Hnb
RcNuFnLUTQEnxMy8fyCVSHzZ4oB9S+4/UwqORnATL7QVeoFMW+t/MUj4amtpXlmQ
pg9uXKqBNP5qMvPZ9w+8EmAQZ4dQL2sI5PaT+TNPMqOOO+27s/48t47pH78Ae/qO
efUnY0fkrikUub1aX0XfAfHFJfBtkFKxFaFFeITn3PDAeqA/S2PprjC1xvAJ6GoC
0sq0ZdRmlWk05rVKL6tsIkYULGhQNDbtPkxkM1est+0hXkgUeVRECkJXrDUxwsSF
z5zu3ewM17GVnB/XEAHBwA==
=u/tF
-----END PGP SIGNATURE-----