-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.16-2build2
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.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 7f38b7dcfa1502376d840213722f0de0db0a26bf 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 da85093161f4ed24f7e05ba4cbd8fd4b4d3ee92c 2940 paramcoq_1.1.3+coq8.16-2build2.debian.tar.xz
Checksums-Sha256:
 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 3e1898656e4215a8835f35fd08b21af33f21752eddf02361160bc7473ddb7038 2940 paramcoq_1.1.3+coq8.16-2build2.debian.tar.xz
Files:
 ae4a02f476e0fb5749e33f80499b13db 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 62450d42736db3c2ad730deadb1d3652 2940 paramcoq_1.1.3+coq8.16-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGxoACgkQ808JdE6f
Xdl73w/9GDQrWppJhEMalUcalOsxk2Yg99juE/HFWsWxNHT1JXZUMwM8/zqjbylQ
YkLYMT27NkYLYI/hzy80uOfiTvxXVzM/CI3oQQ8QtNZKc9AmQoamjCjesCC3eKYb
DPGPU3mWg33xSYMst42JI69sY99p5uKkKL4IoBSAw37YWTUFhs7kgU5ckyt9s7n2
sfZEoCB/TP2MTQt4O1DI63b96Nc26XJRMyJwQkzNEsHeMhj7OxjKMWuToOzDlYb4
ya80kBt0rPiLmYRh0oj2Tn5aHpuBV8YGyAMJw2oTNu9Gj+N0zTr0NHUQTqjoRLHZ
bqBBe52e7rMOsQgZ4od1V8Yjzf8mWj52uf5RAR5Ot0Qx+pMTbLDwfCGyc/Dv5XpR
Nox5FbZ5dUjwK96gLXRYMY6TW4ilNiuXxJMRK0QnTprYAnh58ie27JGidiTy5Bj3
M9IJ6tHTmP8+xMU7JzHyTRGmylLKmVCzTqGtPC60Nv16eC9qsQew5Y7kootGcecs
rXbiKP4VVD3rJTqy131U6m2YOgfNeA0MCgTInDnzUqbyX9Ju52cgKb/eLzInSFgN
jg000K2jLYsbjpK3A0DOBtKRi430rJ/TM2fziBJS1SJqNvAcDawwSrvwII5ltxF8
dHj4ivtdAAa9PzxxHrtyQcrdllZ4QvhpnRjVnj0yBfqsvLqAi7g=
=nop+
-----END PGP SIGNATURE-----