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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.16-2
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-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
 4c4226a7f22db47c83a76de4325650dc852ae8ce 2844 paramcoq_1.1.3+coq8.16-2.debian.tar.xz
Checksums-Sha256:
 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 cff5b7476f20a5f0240eb8ab5dbec7c0bbcb3cc44e2f016a4f75d3bfcbc437e8 2844 paramcoq_1.1.3+coq8.16-2.debian.tar.xz
Files:
 ae4a02f476e0fb5749e33f80499b13db 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 b11f7a896c1eceb49548a2285873728b 2844 paramcoq_1.1.3+coq8.16-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgKhUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRapAQAJJ+jgVLHWUfSNcuiPU7fDrW/fpHvmL+
mSMQT2teBI9M4kZ3ZFneXpl7teWCbAPdjqjSyIVN2eVDVvbULe3HjUiWtC77tR/k
pWS4/x5XO3cEKmP2JhYJKY3Tf9t3n7TvOpYs7pMJd5ukLyw2TNgkkRXUux8V9wrm
Vcbbgzy5bs1Ia7YCKBF70HGIGLRGJIG4biKQKJ5DOKJKtjCRl6RAzgzoAeQDfhCk
cUl5XeF0CBwy/hOgEQqgdlTtkurgxpH7uaD16+NCvQQoFgbAHgtSm6hq+Dl1vdEL
DqnrdoVcjbJcvC3xpwT7a+blP+ZUSrKg1bNtWwpNhtFBv3XbwSRYo7gKc4koiYf6
xjIEEn+RxCLblIV8ONmYbmr+rX+Nu8JCZcazLXV7R/EGmsTsFGHvb5dJPDPjdJ8y
ko5cW5WIXUWWnRTyCmGeUKHozJa6U9yW8SNhDPbIpMuliOqO1yZG7y/p/xtlyf/A
vLEvmYePWLj4eLvlEXy51oOQfdbyWjpcpnsbXZn4KGiOpHhE489Sh88Cfw3wUUmC
vr/eEjwRsOQP7roPi60Jc89ngVrRx5H8Cbi21R/wKf6H0SUyEp3Z42VBNYoCnrcx
xkAGr4K1EMXFX/E1/M9DItpm9VdIAk99oRmYlHBH3KEiSYAk/lN6EeWeNxr0L/fE
pUoWSwgvPwgm
=eaSI
-----END PGP SIGNATURE-----