-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3-3build1
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
Checksums-Sha1:
 5f36c83b4a730b073c080e995ec7fd089a8166ee 45726 paramcoq_1.1.3.orig.tar.gz
 b751ec16eb3259f81b6723d33b551ebe19d655d6 2712 paramcoq_1.1.3-3build1.debian.tar.xz
Checksums-Sha256:
 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
 0e9409447c7d41ca9662aa47cf7e6d6f34c2555cff2ceaac8332c648d09ad08a 2712 paramcoq_1.1.3-3build1.debian.tar.xz
Files:
 d7ed4aab639d1670312b721bd82b0eec 45726 paramcoq_1.1.3.orig.tar.gz
 03ce8487189d0ae3050a8241de59c940 2712 paramcoq_1.1.3-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKXh1cACgkQ808JdE6f
XdnMAg/+J2D6DfixTa19S/nYqOXJrsI0WdYgYQrvYQV0jgYGFFkzCgVvuRZx9mAa
2EaIk336bO8IbTz1qO2UGYd9zpX46hJkM3OCmDBC+fvnmL7XnLEV2PTgzHYhO4UB
jptkgTTwfq46c1OCbNxdHS/iEIQBg+a4YoU/hAcwOP+fAwPOHhT1UXWTbeZgShbp
jBMH6Hk09CYeU186Tv64GAfMbZlOaNmawYxQC1RPVEetRXyvwAjTjjryXAv17GXN
JaNQfilTNdEn0Rr6LwjFo4D5/faDlK5uB0bl7on0FnvVUtANsUTX1jHkLR1puWse
LXX4qyz2AWdNnjQWnrTO/7hMI4jlAcZQQbuayEmvAJmCmmcPQdgshSsP2d3WHUtR
/Zjnym7LT6ZmQspaMWIguKmtj5PmQ5jsez2j6GQ21A8UrXIy7uZZT3uLp0ZW9RRZ
pwZiFvCibh6GQ5lyMb/VVWv+8vK4w9EZCe1sgvkwXl9fygU4vdvA2bwtrolrD6El
GRjvoaSsq1GCWVG+wFwjV9+kDNK90WohVlB7tj/GxrmyacPy+cEcjdX9uvgfreRh
mA4UcnIXjdtstx7HHX92VvFXnRcIcbBCMicIQJn25rCpAEr628bLIMwqjPkbl2YM
z2S0EwSb+lOYwz2fITQvBri+LqY8dzsgtOdw1b48aX6mj8fzkOI=
=owKo
-----END PGP SIGNATURE-----