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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.16-1
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-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
 d756f01de3f3816583f13c74959ec070d2022fba 2812 paramcoq_1.1.3+coq8.16-1.debian.tar.xz
Checksums-Sha256:
 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 6c8df888a9f001444f108c564448b223863d6109e48e6544e6b7e4c32a62c09a 2812 paramcoq_1.1.3+coq8.16-1.debian.tar.xz
Files:
 ae4a02f476e0fb5749e33f80499b13db 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 1270dfe2b4103b41acce6d5ef5e9c68c 2812 paramcoq_1.1.3+coq8.16-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWJCASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLxkQAIuESRgbSurQ2Xqyq0EKUUX+NgZ5tjaq
SlaYjJ+N7fviipMAQ8qr33Ul7bRxX3w/IHXyjr3jCl22OwsZAuFKFNw/uoyEwXi9
9Y31cY5ofGEIW0i/IYVtvWaLYfC00IkfsqTfSSTHtT/qtTJvkIFJWBgMinRj2mRv
gR8TS0GB1hrhyfbJWbiZManqvC9pV+DSzXj3K2vkUBctAeXlIGAe9kCFvD3WAuXg
BZwSobQENx2TY4WNwedQTQAWWcS3rLzKSXWQ+0/q3jTjNMUmjCBUK51ONQ9qYwu4
Hl8Etb4soqEAp7eAI4ofMR3trVVv+aa9euqbgJzeWzvd0nAdGCC0iLFiBKFDP8MP
nCkjO5JD3MyLXhBnRkzRtaoAOuzb1z/cGnMOg1ytusG07ntdPxAp/xZ78k8U6ndJ
Rg9+AEdGmFkhBIyWt37/n3jFal7pjzLuxlao6LusYrAL+OMeH7NfaivZ0vRRLg5z
zx0ISxOrOoONq+LdrEETuxMSdRnKvIcaL9pF+yZ42GBT/cgULP8OfoOHBAUsFG5O
70fimyPvnufeoG02Tlx7DX5ICiI8yjJC53Y6Rv/H/3Mbykw1vjg920r16PdJkr1K
liOvt2Oh+/SpFDU1NqF2vT2ZBnBARPUe9V+8Iq+kQX49uJANDhTl1tyuzQ1BE5lp
YYtkhog2P4Up
=RW90
-----END PGP SIGNATURE-----