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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build4
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
 0a729c174fee736a78842618d85043ac4b40e974 3412 paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 652adff978308647d0a585a241082ad145f6b93fdc6bb76f048a8de20e7de209 3412 paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 398fd0b71514f4e678e42b25ca81d4e1 3412 paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRhwACgkQ808JdE6f
Xdl0vBAAhe+RZn6QKRJNJ3iQbgskCWcfuENVG79EgNays6EDyrYNXA4pD1/hu0lj
kBTVN+3r/E1aq51HkiX3VrTmB2JGWTQXtbaaime/4vaKGpYjsWT7q45pkzd172wH
FZ2wZDKFlnjq46nMlfdV8pDliIDo8YKhwDcLRB9YDcCwSwXnqWew1LpMj0k5AAnf
TdvvXrAHeGRYNyZG8WGclt609kSfahNez8dzv8QzNjDrapdQaQ/YwTrtRUhumK+u
l1edcx5EfAqkGt7GBmrEiQghrSOSzhTs+5AWWtbW7h0TBJuY1l7ihbEXUM2BL2hF
jxJ5r59Me6Ixt4pfoMOBheKbwCiT4iuodRDQdgBPGlkUxAkEAocRREBTl/2HI9w8
/ZgjLZcGj8RsU5Uar88JN1rfKEh+PB5CxHj9uVDSQV1vFq/47xwrN7/87oHDxNJG
AmPqzHEV2ckzJEA1+5314sUIkDjhg3a4FlZF6KmI0xQVh0xsh0M9qqK3J91ilj5B
JbU18inD7usJbR2w+W93FZFml6COupX59nAT/dtntY02kOsCt/J8PyiaL9FMhDqU
WGu739hI81dP33rkUPfiYLHQwBx1heOpFanXPw/yLS0r/uNNfULWziHpgieKR9Re
/ZEBdrg4eryd7sKv8GNpycWwFH5Rq0gUSOevjV10IuZ2GWVTPwU=
=5nOp
-----END PGP SIGNATURE-----