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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build10
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
 31048d5e476fac4406ef27d108cd583c16e3b773 3540 paramcoq_1.1.3+coq8.20-1build10.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 eb01bc919f0dda4e6c613d06de9e71599fe3e787c530c8a2cca861f243453d8a 3540 paramcoq_1.1.3+coq8.20-1build10.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 7222ff13903f3c91b4c7ab9fb648ca09 3540 paramcoq_1.1.3+coq8.20-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQxUACgkQ808JdE6f
Xdk3WA//dOEGxF99vUJ+w+tzqRNaeh0BLDfsfhuERjY0Z93kZLi1RZdSdVippi7g
Ybrcr+R7ousRco668Z7wtTmIIkWZwJltP2+8Yf3el70q9nmDbgaIVhHA76frw4jr
G2t4NOTgZ7r7OxAtO2VMjAoWfI2yqRZPqdUm2qbssAxnaIZnbiOPJZxdKssp30+V
b5zpe4Q7PHH9o8rFduQnD4NeXXAPMk9NsDKMlwSNYlrrSZinEASRv3RTzxlnz/Kk
hOQ6OXkS6srgsxMm5YcWcMEVnn3z8Nd5ZyUpr0B4oShomkSW0dy0g9XCQBwAvXSq
tx64/BQZ8sr/n4K5j7595AjLhEaVXXOWdN8PXECSY7Xp6ubC0bvssSUm5jB6Yo9j
WT2j5B5l5TZYd7CvGGZvhVW8MucWbjEzjA9esIzXXldhu62jymMD+mTFS847QT2P
tUluCjDCrAVUl8MJzwEWtlkoTKGjV9KxxG4x2aZwuBeOWcXiFcAxh6HUtQa2nTCo
vO+nlfGA7G8STvL5qVVvA6dzyHdoLbufsalS9AacB6c4/WA3wxdTQ4wDHxiKhaFU
BpDDr+a/sSAMkbvFvDj/nyEYqb6PzmVkNh92aAtPxJdemrpr/IaybcCE1jzsRlqs
PM/ES/HJTElukmohHgEVy+tEYjIxxKa6FeNI+OceW1RlKJbo/5M=
=33HA
-----END PGP SIGNATURE-----