-----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-6
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-ocaml, libcoq-ocaml-dev
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
 34de43164fcee731925155dfcddcd7d05f6c85f6 2948 paramcoq_1.1.3-6.debian.tar.xz
Checksums-Sha256:
 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
 7c558aebd7ba0301f0464e4d1df2fe6968fb6f2dbd09b4f5ebe46e6884ab8fe5 2948 paramcoq_1.1.3-6.debian.tar.xz
Files:
 d7ed4aab639d1670312b721bd82b0eec 45726 paramcoq_1.1.3.orig.tar.gz
 b5182c80afaa78e72807ac568445c87d 2948 paramcoq_1.1.3-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKgVJwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRbDUP/2i/HXTZzJlseCKBfo4wedAkPXXeGzg4
/tongODqZnuwF/tx9ZzpajlqyDli0dBWAm1TifueMqS69zHAAkkkhnT/rrl7frIm
80L3iwiQWj976w0KJwWP3MNR/KjXS/ccIWzkk8GxskmBamXF7YN5bAqzflQ577fb
2KE1q3/pIjkb3Qu02OIk2JgkNbxq3RVNKYM3e33dir7DuJynS0pgdGVBpe7nMudn
8zVTAiO2Nmt+X5J4yxbMJp4Oypipog2eMXDE1C5M5+ae4MCwfpGym34cHZKUkSFe
JaHTq2LJRlyjCs7eQzKZqxJLR1SVq7lEudQG1no6fuWV4K8AQtjmi2F9AOWWIq+y
93IOTgmab+tl/55Hc9q2zXIk9YVbTNyqOrCJpI77irzdIvbCs3rpIli1J1rJHJVm
EthFPO8lN44kuBv2VyJh09ks1usmxsvFofVjYsfdtWWDumZnKCJgs1bZm9/EsmH4
olhtkuNMa1sKwz5vF480vo4ewprNCWxBP5QzBEiEZp4KoT9UlpspBFkpxko1uNCb
9BBe/1rKM7Z7cVg8ijduB6Gp5wfFy8Dn1nb2a2VKCmK9rB48sCkLsEcTFNvXbC2T
VN7tJPltyBwRiUZCE07MGUw81n3/1JR8tB47yO8MaAIPw7mBtXvpsni/76KXCOXc
HBGcP8LnTZTN
=FQYJ
-----END PGP SIGNATURE-----