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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.20-1build6
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
 d04b5f036e7bdc0727c1bb0654fea5db469ed160 3448 paramcoq_1.1.3+coq8.20-1build6.debian.tar.xz
Checksums-Sha256:
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 1df31c15350f84cb493c1961f6204caee00fedd6a6c52a3a0bd9e0b664b033ed 3448 paramcoq_1.1.3+coq8.20-1build6.debian.tar.xz
Files:
 917fcdc199ded6847ed0425a92876c27 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 d4df7970ddbba6297a1448881d5b9c60 3448 paramcoq_1.1.3+coq8.20-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7tAwACgkQ808JdE6f
XdljQxAAsfkifa0SbxMcrLBnadL64GaGCHfY4QjcYMUdw+TTx5YQGqc/ogWNKvHu
7xhGt1hLBqGwtacXLkg8DhJyqPKbyRILPJbEorw7t7ZO9bsiPfuYw1mBk++N41zy
Rl6DBNameLDcdMj58WyBLldyNWurdW2bs74MoF6C/myJATAfH/pDDC7t6CpsaJzG
5paWdPFUAVMTDwiwye4BpN/dJh5Gux8EjWFFvzjWuJSBdQsIccqV8wgJyzrTGBLh
aN0ja7pOE0ZHJF5uM8GXiXMWxLcunPzSVn6ynr+zsvUAbIwWD1dzs3O+Zm1ZVO8d
Mz6Y2TUCrUoDhdkxrgPs9D3o3E/J4C14SZTNCPrL10WECQqvsUSoYqbaM5EaCGjp
9RQwNLr2loYxIDZTRL1N1MGb7pFkex04rhWvDN2VrNobN2yBF/3LdsjpUlco0yO/
icD1LfRo5O0mCgZnKDPAT0vkDRFB8wC9sJJJmeSuq1TXDz0nPzEhOHW2oRxC7Ud8
cDkYrfsM70WuivM8XPdfoM0/bLG0xpRDvHcZeZsjaa99+kjltOTIaEHPds+KGAxj
n30V8UEcyBWE40xrIC/BVeXqp6XeMK0g+L15obgspl8JmA/3jgMJTpg4LxBcl6z7
/42De7druCAe7RQ8IQ+Ze9fEdm/Mi5LxO2WM5naCVgd+cTYgZyw=
=y6JQ
-----END PGP SIGNATURE-----