-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.16-3build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/paramcoq/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/paramcoq
Vcs-Git: https://salsa.debian.org/ocaml-team/paramcoq.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 7f38b7dcfa1502376d840213722f0de0db0a26bf 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 58ab0aadc42449c85c8e5f5c2ee23fd41f9f30b7 2964 paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz
Checksums-Sha256:
 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 62d356555c78993dc26a24ef4e0f7c0b9f453baff0b489bdfa44668fb74c25ea 2964 paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz
Files:
 ae4a02f476e0fb5749e33f80499b13db 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 654608332fe455ca8654dd9a849d3665 2964 paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudlYACgkQ808JdE6f
Xdnb8Q/9FOu5L9pp92pgdpgkkegiXnb976fs9P4PTdjorDyrlN+7Nxvin8RtIkw+
tniVLZPnwiOlpVFV3GyOpVMIBHq2IzfGYB/LQHFb5F1s80Q31/8itXioiU9PkPFL
zTz4DB0hsclZFTA6pFJO2OcZw+BpM+dUqc6tINYFxGMv4F0QcdX37xf+bBiWmRa0
pjnt+1kbX/wIOcxM6KN/bIZ75wJ9KQ2sXRqrtpAoBvlwQ4FJuPJHvXnUqyikP9Gf
6eGKECPYcPdxHO+E+z09rsk5ipUUotPBgWaruGdsxrfBNyNw6mrobB8VRvOU7XAB
cSfvXiDmbB/t7Kdc/urudLt3FKocdCzoJhCwxGBKhRv6v0Y7vNtLGrQ+Y8dsG0TG
qAx/SRCbxBmMGLMjWbW2GFhbM3EyCdcv0rc63rnq4pTBXl1nWM2PNj296YR7oRXo
nHkJfGzUsBtVC0m+8MYSwtt99Zsp4YqB2jMm1m1Qqitd3ET4pPWY2NfKtwbiOl9N
S7kRo2F8KUwUgdsT28rhhAt/o7XVa+sBXrNb7avLY4UmdXHq8QVDbcXzcTbdtokN
wjssO8VfytO2b56BFXsltNDGLTK3TX6A4GiSGObyQKMWxH+wpEH4MxLFd10qrr97
FrwPTbz3Ai5i8MRB9S8agCIyx4LtrqlSDnqFas+D/co8V+P74Io=
=jKdl
-----END PGP SIGNATURE-----