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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.17-1
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 (>= 8.17)
Package-List:
 libcoq-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 56b9c93d5909dd09e54a62fcaf00c10b558ad93a 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
 4cb5cd709177fbd13f9045f9a16829b7e9a580ad 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
Checksums-Sha256:
 82c595e6b8bb2c2e7e5919baab4be4c8f84c1f7effcb6117a94127c435252441 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
 338b45a998e15cda1e19b3a095a545cfd1f27af308c2b2998f2f1dbc5a685a08 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
Files:
 62df81c43c91f090885b435672897f74 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
 0e015106d0641800f9ead4fc32fa5434 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHV44SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQzsP/Rr1QPC91JwkBKXOjchbKa7qxMeC1557
x+V3UV43eP67bH4GU1VOWtrSRQMBBftd76z7pXs9tDb4/dPFSOknl5Y0akc1qQxa
oJ/c8IOD6zShW4Jy8mwVI1P87NHXkuoToFviShpnLpEyzYqOgquAFrNsGbBqWwWj
F867T9RMSdp8bEUtU9IDXp6uegwl9A+s5V20TF158tCPmFYMdJ/1WZ7Ygt2a0TS6
qf6ttiepHF6zddxqnCPYdx5cX2YAtNFz7h5TABp2mwU03dFgLKRcYGXOSEqyTrRW
Jl7SW2Bx3k35nd5K++Ydwd8RLdPFKIcUvfsi2makxSdeLT5J1cHLbD9G3FB//gQv
pKzPNTnSZ6dXm4cophSYkmRMam7Q7Nm8RGAQ+0DxHu0h3qXuW3TyG1/M2wHrEXj7
w0w91nIxjXltYezErRLbpoWOGBOb0iXYEd0OT6Kle9p3CdzsBr4Qg1RZsro8oeQI
H1Hq/eG0O1QkEilFy4MqXAQBGvxucltGicTiDedoM85BRLqd86QX3HhZasE5VB+G
5ILkJ9xrCpzi9zeVl+h4sm6ADod656kau3lwk3sIII0z7myxYgaZsfRMMQxIOks/
VLqQ2+/Gt8/ijzk9WUcAuu0frLEwk05QL/Lwuf6SW8w70DRnHImj82uxXuFVFQA3
5H0p5x+0szY1
=4Qj9
-----END PGP SIGNATURE-----