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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build9
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
 2d4648a42674f97dcff638d8f7fa564b5d5f6440 3532 paramcoq_1.1.3+coq8.20-1build9.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 8a23100845866402543637805d78dd99262e0220af106c687d9c259fc81fbd55 3532 paramcoq_1.1.3+coq8.20-1build9.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 3a21debce60bb171d9b74a5fa99e199f 3532 paramcoq_1.1.3+coq8.20-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDP8ACgkQ808JdE6f
XdmHPQ//Urvs0X8YLtaeuN9Capl9FO8lYxHVSlPoogL36xIzxviTOtDx/6+jyAqi
PstydKkqec/GPZkLA5j3fFK1QW8oYsSoKtdIWquL6g1jupU6vjk3i2IRriYPO14d
db/Zgp9JcxavquYjNqrRfr/CrBbr+5uf+JbLI0AvNaxkHTgmenJbWZJZ1G+grMJ9
rGz9qZnwF6Q8k/TUWv+jhg4f1CIM3BxMMSrtAkYW3wDnnWrGNMG9TwWRZR6xn0ts
HISoHBSccT3tmgxIjY1SjaaL65zJq4dIllZnP6hsG5EaoJDiwA/T1FH644R8M6eS
nnqWMic2V1CJ5gwovKHbihwC8zvYeWLkMPahXwZ2a7EA2dnKncNShAWSpddkbJI4
NQo9qZagyEkFEYCI/DJQsZ8+xft4DSSPoDCdiL8HziQsa0hAJWrSq4yQct/6Q+3C
Q1XYEf2roLkBUPViCvDe9Bq5Yg8l3Z0uvuqzgH0VkWtkY1LH3h5DBubDnbpPSfxB
MH2nXqlt2u3uUymHjeR5D6sTOkiGmajlHD2X0Kbe1VvoavWCVofUVvX0VdQ0Ud+5
paZm8E3R4OcX74yMHUZQuqjDj1xy1xsV7jIDZC12BnGphjfs9U6+knQZ7wqFz7Zl
UYoDnsGIKBLkVN0e+fHMYOZQ90M7XHpuv14iahAGZtkT0hIPgDU=
=cg69
-----END PGP SIGNATURE-----