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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build7
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.2
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:
 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 c142b933fde453a66fe5b089834d8875c7942a10 3504 paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 9fe61c99110e938960f0a085f6674bd2251446d89cb5982213896ba933f79d24 3504 paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 d1b06c386c35c34203faf83a7ef14915 3504 paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmn16MACgkQWWH9vpxh
mAnipQ/+I8xcZ/n8PMlMh8vzVgLs4vITnkOhLZ2xd80E8n8fGpe+ZxgdBV6CigFQ
BM6M77wGjMT63jEyqSogtCgBl38YY6IarwPyW7SCPVWydnwsPlrVTuK+ScPr5eLZ
WKsmBNP0OsoyxE/RIGe8UHN3Lt1ueLr8QCfI7851rrlIGZJYFmI2qmRjdQ6JhbJR
hy7jQ+QLsnGYg4bt8o4hu8sCZEcDUWRrui6smCpwG8b4bzjX5O4V5zo1ZnbXinII
qPeWtlt3fVaDWFY5rylg2yGWKCZeuosxIoXbZMCwWNWytjSTZS2V2wTbZB4+/s8J
64W44HwW9GT8g6FKKKs0BWmVMmCBvlSxDEN/JMDYDuOy+qpzkavGFMF/KI2tyDD+
2xZsnF7A44nmVBObcmU26RgANtUwjuKXyLWCEaDZ/T9Fj0/SGfgcfm+t7o/gm9qZ
hXSo+UNtYdTq2cOVENf7D3302IPHYVn50WJxNVwxhpUOeO+Bux+G+TV0TMnJhpEB
c25bi1WoE4WGabjB0tzzGVZamueNXCr4uMxuzoeV2+N/udL7UJsYJN1hI8I5RtdQ
MBwI3+qgBsXhWFN9NOxYK1gxbpnICXbxWPa/fCnUWRQEVEd0xVMX1BhFigjm1k7P
OV7debP1MNNJrWYWoIpKcz4YgcIi2v2JMiw94DPK2mFjdvwnMRQ=
=xeAs
-----END PGP SIGNATURE-----