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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-1build4
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
 307b17bcf81194749eb05d07775eb319cb81b0d1 2916 coq-unicoq_1.6-8.20-1build4.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 42460a538e140385e077e267c272d63e55b6ab0e1b51967d416eac05d4051b96 2916 coq-unicoq_1.6-8.20-1build4.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 7b193264a96a38cd8a29a1a7a084ecf7 2916 coq-unicoq_1.6-8.20-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRfAACgkQ808JdE6f
XdmHBw//fGT9Hb359Qoppzpq+InZVnmxzqbZ1Azjda079VAZcWoac6PccY/+OGqJ
o/f5/YB4uMVluSeYaT74NM6yO7uvrvVF1kvQE/drkDJjxfLbhlwCDJ5CJW0xLvF3
gqIR9iqy49PLqpO1unf9AFJ3UIUNDWqfOZYvagIAep+Lx1PA6N3HS7G+uzJu2EM2
dnFCQOKp6oFuuxck32wBQfuX/41yIWedD30o6goWFrKiaGeaOowm9gPWCqy7HlQc
oTTZvi8M0LVdwc2Cw79R4PiiQB4hg556SCO8CP/fonQouQsFhT2Y0OBDpyaKpawK
gQSRXk4FMPa50sPc4s1f6+n3BTW+GqhbF77HUkuxkl8izMgDIJpVrPBQsq6Cuj7b
pIkoHkCMqWzlqPCRBSbjnhKHaH400h4j0S8avNFYT+1RQ5MIh/+RGgXwejO8DDEA
zxH5GOBs9vW4swoG/Sdt52v5M5Sb12cVPEGpGr44VxMglnYsewyq4jli+ic/dtfP
yM281o8j+EQbvAqXDLH5fz5+iw91IXkUIwaQAZhhaPXKP7BvFjfEWdBLi+rRytWv
8fwUPNsCbYYO7M8L3wbzqYSjwJ7WKCQhLVIBQnIHt21K/KVIKRRCiNMQH8zP5mDB
DLgJt8rHSw9wI6ftFvAMUJMhgbulZ1p/3ex8TdWag4jrvdUOqPQ=
=dAZ4
-----END PGP SIGNATURE-----