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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build2
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.2
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-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 7d3c7066464139b7c2d1f9d673fc473f6fb32f33 3344 paramcoq_1.1.3+coq8.20-1build2.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 90195af716f3b62daae3dc94615be262c07c9a69c47f9139093a54706f6700d4 3344 paramcoq_1.1.3+coq8.20-1build2.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 af0b6dff119e13929a3c7f32b19d7e8c 3344 paramcoq_1.1.3+coq8.20-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeugr0ACgkQ808JdE6f
XdnEphAA018G9oCTARjSmSeViRZEWimy4l2S45dg4OxUM6skCxaISRjUorDxnBlG
O2DrevpPygsCjXSQcKLv2+RZ4Ecsn163a82y4+LcaKQxAigTqaFmnpy0aIHx9ym6
KKm9+lvSc67Yvr2sLA5PhiFoptzxWhzykUJluh81pjXNRVHVjZzANKBYVWb/BuFe
f8W76FQLTLOuZnbuVhmuQJls6kXx/EKf87lYkZgEWopm98xknXvJEdD/Lucd4/oq
zUeJgZXWPNSM3nTbphWMwP0ZczZ6iBLwmycI8bpMnfSadaofRfKrgoFi0DN8Stol
ZB/UGT9/5U+FgR2GBX8Km5nGMJfp4OyZxT/Akl0eRxHkE9XZo1apzRj4BEi10RiF
nV/RZvSoZdY/gOc5D/V4UdlHF7btVPEiFU7ydPMGx/Zj1ZsMfx+RxVl60CDHl5Kn
O60MDnT+0ZhM2+3CqwQ9TXOz/CBffYXfVJ6Oxywuj2sfy2233rCOdM23t91a2NY4
AKJ+IewCL6bMwqLb8xfpHRiOYuj0ZGBvDucgg/f2UiSLBvMrYJr/6zg3iMR1hbLp
uUHyfPlO3kdX8e/jeC2wJWVqSNbZetU7iRxz9MNSo1A7wtScg9pFCN2wgqBs1a5S
rKKj/rrntOFAbixs+IOyIqMy2aF1ckwZUXaX3YEm/VK81aB3+Js=
=2FQE
-----END PGP SIGNATURE-----