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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.17-2
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:
 56b9c93d5909dd09e54a62fcaf00c10b558ad93a 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
 5d9ba4871a0e4d1e33bab5109018d9032910bd1d 3048 paramcoq_1.1.3+coq8.17-2.debian.tar.xz
Checksums-Sha256:
 82c595e6b8bb2c2e7e5919baab4be4c8f84c1f7effcb6117a94127c435252441 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
 43e2688be32c9467f395578daec3914d6c30267fb420e44fc5cdbe348ccd4f9d 3048 paramcoq_1.1.3+coq8.17-2.debian.tar.xz
Files:
 62df81c43c91f090885b435672897f74 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
 f77b28ced5d3037ee6ded490c30c1014 3048 paramcoq_1.1.3+coq8.17-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmS/ggESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMtMP/0vIcwFjw4RqBqQW7PMMq0RoLNN5OjYi
s+64gn9ovmCo19UPyRxl+m0ZJUW7GqS8lDYdA8hmDpGkEfrGYMiXZ1SXYq3dfMeX
0UHi/2TUhHy1+q1p+pQuigHXg31+5XiEbj5NxKG971JhfKTxzZifUAOTBPg7CtUR
TCfv3Cf7cnpCnJWNZRYdRvwtNMhmT5hRJnNavmFf8DhNZKaped5ntoqwoUz67umv
P81+uwpE0hi3IxLez8bQkJk9VvmGN73zBo2a5YWyKySLdqNgEfhFp3mDS3K4jVla
kticTisnGE8wPpB3mI7gHIFA3V6JftBToeg0QtEy+G6JtUzDty1uaRJNiA4y9EgW
A7+9S+9HN5QPJ2El8K/Jxypf8JRs/EVgKKWp3CU6RIHi6mhRjnR85kdNBuLOowb4
dJYsKxTaVfFc3a7+xtTxtOKQcs7ueXMB9itx4UuQ2tTatx+ScPIp9oI7sH3DZkeL
oZ0HN3w1hKPk41tRQkU+798qcG470RZKT1KWUVJSZiTq25CAymqaKuQFZtepWFDx
Y2QWCmSK7gWCZkqgURXt9skZBJjbhquALwfGzIXWJe1pKt3T05Hd3y+XwJN6v0Ix
wBoFj5yR3GV4JNCBxeiBLTfjf74QCu6i8NZ1sLXdA7g46Q79Au7gnSgl67vWaF1Z
lw43OieaDFSa
=hNb8
-----END PGP SIGNATURE-----