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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.18-1
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.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:
 fb0277f5527212e56f816561fc3f3a0b76e4ea97 593629 coq-unicoq_1.6-8.18.orig.tar.gz
 08adf48b4e717febc8de834753e7b5fd82a01325 2588 coq-unicoq_1.6-8.18-1.debian.tar.xz
Checksums-Sha256:
 1823ab31382fca6e7d60437b02f02fb165298ce75897bbf8868ca8a7c6ce847a 593629 coq-unicoq_1.6-8.18.orig.tar.gz
 b249a229eabf43599a18d87b0609df78ded9029d02d286d0f7179d70f6ef30a4 2588 coq-unicoq_1.6-8.18-1.debian.tar.xz
Files:
 408728377d894cb6125443ebed4ad9a8 593629 coq-unicoq_1.6-8.18.orig.tar.gz
 53ada4d11d6470b391e81a86ab695787 2588 coq-unicoq_1.6-8.18-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEXDcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQlIP/0m5WIFgRbyApNi/9o2jNHWEKZdIAba7
EV6xRgNrj6bODgcLjVceT+n0haS4McxdZyjA86p6uLsmC/qZb22W3d9cRTkI4lAZ
iKtWXbLre/tFzp8cRJBnD3d7W4IJGD/Kz/g6PiBWnTAx0BiMEvkYpcD6sC4v5g3C
6hHzzSNbo+FL6tZyqgS1B2s3CSq9ofqNC0qzUdymxj9x6W3VVjR8gpX5oT7Qm86b
YTTlahM3RuZy467xYVMeXQbcfFIiEzkjFyWg3QUSrc/FuLGemBdCQsMpJbui4d5q
pLjyz7LoAc3aAnit7f7rTxCSjncNxnIVBfnL3553FSLo6glNEGQyYL28zcQ78VRZ
Gg46Kish3V1sXPR1+JEyt2iKe4faVyR0C8zl71sYu+t9Aoe05UgMiqwMdHxtB2cb
KhVd9ssykm439078OasWR7KEwNHLnyBIAnXh2xKYBG8wpjJCnVbZ2cpx+cYtmO7e
nsP73qzAglCVDFmI98aX8GjNswj5Gg/g3osX+VclkWJAaOdoYGDgtkJjB7DvWxr4
uFSA5Oi/J+BjOBUzsUG2/ksVurwo10PFEnWf+wbFFNBn6M6TyZjuh1hLIVudxBOH
XQEaYh0i5qs15Jlz58BU+XAIYug/Hfo01UvvambNRtce34FoHOx/WXh8Hbm1kwcU
DiP7fGNWuCLU
=gF/F
-----END PGP SIGNATURE-----