-----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-5
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
 b3130daa2f29923bd7f8747ae10c744028db2acf 2868 paramcoq_1.1.3-5.debian.tar.xz
Checksums-Sha256:
 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
 4045252325d67138ca318c978b64bb8331fc7dfff760d5b168cf6d260713b9a6 2868 paramcoq_1.1.3-5.debian.tar.xz
Files:
 d7ed4aab639d1670312b721bd82b0eec 45726 paramcoq_1.1.3.orig.tar.gz
 695a0e83b88935d2a9377c7d906eff83 2868 paramcoq_1.1.3-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKZtN4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBnoP/3PaA3TnGiMUoaPOzGmnNwPUDZfF6+Fp
ZICaanSNOmPf7ahvGb7LcBU2FbJizE0Kh5XWRoSowRxOpmrX7wAXO2qBCbpfXhl3
uNruEdIzQH8ydaQpLf+ccNa4lX5B8pddTRDUlQ8GuJOeyaCImqn3MWfq35ftjo9t
HH4Fyv3Wi13QOXdqoTr1iA1esy0PoMzluAno39fp3ifATInDoWnGY7ED+0i/9ZV0
qMHOuPFdrLQ36cg0HdXOmZ+Z/3NNXOVXyYY690nd9L+cuLHZNHd8GeRF57RRhFIf
lCobCmcXM0QGDxuyeFQ+WRQvfOScNL5B7EDwirgtroy0RyJrqnO/BZgUxXgcwuAS
U0rhcziSL4W8E7V6sJJDd1Kyc/xr7UkwQbBcfsF/BM5rBbMU6gU0T9i2OzKyvnxg
zlLDj4X1t1R+EE+78QYDEXvjqRd38YvpLgMZbuGpn6f0385gCGE1axkngem/aRUl
yr/UTFOVXtCVC3gmH3vJrVLYHZr7PHYT7buZwY6DPWrRO59wtEW2FrkqzRTdH6Iv
QsXaIVnu0GuPZ6l5kN7nyw5DQA+czRcQhgHgTgL9Hxop/VKz4kdFoNB1rH3lM7BT
U/1HI4ijIKSNInm5O5t4A+F+7XceiUXqo4VVomgYWYrS7+eMbigDfM6mB/0HZORo
rAXtOAIb/hKC
=gDL7
-----END PGP SIGNATURE-----