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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.16-2build1
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
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 7f38b7dcfa1502376d840213722f0de0db0a26bf 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 5ba61f775cb6a08fc85611daff201b9cfe6085a5 2924 paramcoq_1.1.3+coq8.16-2build1.debian.tar.xz
Checksums-Sha256:
 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 cabba28b31dfbfc0f7df54b61ab5024df4d08391d2ea86151110b25de4065d5d 2924 paramcoq_1.1.3+coq8.16-2build1.debian.tar.xz
Files:
 ae4a02f476e0fb5749e33f80499b13db 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 7329c9d008da5963a56cbda2c578982b 2924 paramcoq_1.1.3+coq8.16-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOAo1QACgkQ808JdE6f
XdldXw//a3skuPQzMhVR79q2YBQVNy9EowALQeCcW7/EzvC1eGmguFDTD2ZF4sKn
nwXX0jvSEbzPC68RkdETkonQf1ZwSMYnvDEkWwdLsAwj9lZVA+ToBo6IYZAbz8eI
vZbjweO+eKpcoxJgtUZxoz64NMOwGTuPeqT6ZHjTll9MEMPvabuDAY8CCt2+hwK6
LoM2OjgDo9T5EaWy7R/u/LXCRjRjm45qPnNhBFtHToumSR0Wyj0tfDoCrLQYGVuL
31Jv8XyVjXnocn/r1GvftIzmgkZskv6/6CsaYjwQUwx6DjXkP4m5aPK6ujmWm3uH
V+PcWpJa95O6QCa04t0KIGXYdTyFzfagqQHFHDKxvm/NS3ErCUlovg6Km3UpFyCh
XL3hzdCLwdffwlpVc6AuNkJGoFMh36KWEkpo2LDwGVb7pCo5jLtmbSnrsdkjuw52
z7bp/4NxOxgstBHomwxhj5zGlt1OZqH0IbUlIqGjgahjicpUoEvUdy8n9iLwk5Qs
Ijdhb3PW1lNGy9v9IKDVEhOVQB48HoVSwnDOVSEExGXGInvR519V6ZBGAQJA8dOx
8SYzB2B6TACHamSIPfzWZJSMx2Q81R845yE6FmF7n8kydfguR8tabXjoPnffgFls
64jxhZLySzFGQZ6Jkg7im5CytXZVz86qFOjyAQyq5ZXj6qskMys=
=CFCr
-----END PGP SIGNATURE-----