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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq, libcoq-paramcoq-ocaml, libcoq-paramcoq-ocaml-dev
Architecture: any
Version: 1.1.3-7
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
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-paramcoq deb ocaml optional arch=any
 libcoq-paramcoq-ocaml deb ocaml optional arch=any
 libcoq-paramcoq-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 5f36c83b4a730b073c080e995ec7fd089a8166ee 45726 paramcoq_1.1.3.orig.tar.gz
 0be17453a41bc2f9f04dc6762a206ff8c06ea370 2936 paramcoq_1.1.3-7.debian.tar.xz
Checksums-Sha256:
 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
 19c81bf4fba95ec1d05b573afa7870443e4d533c38d6dc065ff2dc5c5830e269 2936 paramcoq_1.1.3-7.debian.tar.xz
Files:
 d7ed4aab639d1670312b721bd82b0eec 45726 paramcoq_1.1.3.orig.tar.gz
 33a14d63b784863702ad3386d9ac8e41 2936 paramcoq_1.1.3-7.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk/2USHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRE/MP/1tlHI+aZZruzx2Rx5OOXSjo1xe6UlD4
mG0Y59LVkthS5fzVNcguFrMrfRAz0FklaWp6Elk5bWvS59O6llqYgdvZ3C159UGj
zzAIWFenFYS3pw2moMB/hZYLMfcUHdNTURWP6P0a3hVYOPGlrtAivMG7acetKDIS
CU4Uc4qpJvBlJodDYb3POII4f2A2UmTIGHDDD/xjOSib9FieooVRJ2aeSRVTWKcQ
HHy+zmdqftOopafKpOrtsVFJpeVDuloetr0oc7UwanExRVYZM5Bbdn4hIdl/45XQ
tQGQTxRMfql49F557vv/2dTDLMvkO6grOtGInpLhiiRCvCLtvJ48SrCWxGj330Ah
Ultuz7UUxcy57GwBtgdsdYGG1y30WlRIc/IXVHLdN7JKHIyg/GhnDHqXTHBBieb2
wSqEdMcO1fbzivMfRdMnDxbgMA2nFQM4ypl3MWR3GPPROwpS+HpgE6P7SHmmlKtQ
VFz0ecSog8w2sQtzsZpNNIS9nFhbKj4O+sn9bM7MW1Nvdazs8rmoPErcFT4EtI93
fxDIcK5S/klTDMCyY9A3/TUN4cQxLRLIveHCkmKauKv441qN9YeZu637S2gOWbBF
2VumNAH2aNXIzpAismVXRrzEiH5CBYiyXfCFCl4OO732YizS/dJZBvwOuFakn5bh
Nc3ZprvFJtUE
=D+Yy
-----END PGP SIGNATURE-----