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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.16-3
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
 fe71e67d0ed9c4c7a84dbeb20378e27c6130407d 2892 paramcoq_1.1.3+coq8.16-3.debian.tar.xz
Checksums-Sha256:
 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 9ec04701349949d05dea866e92474a8009554376275e30793b87179a5c5623cc 2892 paramcoq_1.1.3+coq8.16-3.debian.tar.xz
Files:
 ae4a02f476e0fb5749e33f80499b13db 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 5c0089494a4f5210599d50ee8701038d 2892 paramcoq_1.1.3+coq8.16-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ7WkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYQ8QAI++bVVzUtAYIULJFTjzVPQsN3jGMALt
bz7YquZ1xQxGimNg/Xn/thjl8AGBJrvAaNE8MTxLMrRbJpxEitsaiXoUmj7hfaIA
gzNUxcwloFB7wzO/GPFOMbgz0YMs4C1EJamFXI3UqYLoQoiBxKyVGG8Le56Ie/wS
CM9/z7vKkrjsxfMDbBBbMfKlE5qGRKdo8Z+rHROwdU+xe7cVJgDAnK1W6MHMj5V+
91QM/2lMJf9+aj8m1wDqIUPlg5mkgJVedca7+3C5S3XnRvI6h6xqDTN/yrXrb5oV
e0xaR6Lylo3Czp4yDTXjya+Al2+NI7LLI0sr5YAGAaiEVJgFsEUPjNx+SNCXr8WS
jhK61BAzJprouiWle/Jzp0sIFuUbZBknoywVYXOpg15TVS56Zo7jK3CqXQSMub2+
7JwySxWNbAH6+R5T2FaBle4erzQ/Hf5u9ijR1+mRSa81fGz4XjNAAyLaJRjQyhKT
5siB2qmi4lCvVcgYewzFI8ZIWFrN6IhYwNLDNW44opWADbqVcVUqWVu/ld9cATnh
rxbxJI0NAdcYXCjFfDGrbX7Drkc/CsF4/3z6remGBZruSXi8zPfGT4cXu/xwqmQK
ApOYS3EDNCnXJzpTfxqgzXVvkwzf+Mwc8/Oh1JUhkNBGSPdaq5BiVBKvMCafRuRU
GhJTX+a/evfP
=3bi4
-----END PGP SIGNATURE-----