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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3-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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/paramcoq
Vcs-Git: https://salsa.debian.org/ocaml-team/paramcoq.git
Testsuite: autopkgtest
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-ocaml-dev
Package-List:
 libcoq-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 5f36c83b4a730b073c080e995ec7fd089a8166ee 45726 paramcoq_1.1.3.orig.tar.gz
 0ce6fbdc86d14763ad0224a0d0a14cebab190ce8 2600 paramcoq_1.1.3-2.debian.tar.xz
Checksums-Sha256:
 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz
 3e4e037c839401880db4db73c6a4fe0d1b8fae8bd74d9d373ef70335ddea337e 2600 paramcoq_1.1.3-2.debian.tar.xz
Files:
 d7ed4aab639d1670312b721bd82b0eec 45726 paramcoq_1.1.3.orig.tar.gz
 55dbb4aea0cf507206aad53e5c418727 2600 paramcoq_1.1.3-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKD/dsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRs/cP/0Osxf/hx+H2eDSoLZArHdZ2kIX1ZFMq
qdJmTLDpKA63RAzI3x4Ak1+JrRg8w0Q4FVCHXx38EASx6Y81coax8eLU5Wxb6wOV
aKVLffSOKZPpySaZIjOPawnv6PZ3ezwplODcp9GM06sBDGdcqZZIaVs33Qa62GFs
rJAeB8TEIXLTqX9UpFSiWkOIpQ7At6w5ssEPxgyOd+2zOlbgCoED7rLXq3HfDpqs
tcXxEC4gbvtsLqaZExzTo5Or007jK57YVe1JidTi32RVQXuyVrKWBmiaW+Jvpifc
57Q0DJ5zEf9rSVrGDUtFGItzoiKSrXr69WYNR7vYWHWK2peUJ6O8FyGBSykn4bqv
KH6SvnbiyvCtrams1XZ4DPB+DbDBtVQ08Clc0KEVYjtvjJd1OH4txtBsxlttQKmM
z79wo8p7dz1I6qw2gjKH+rUGSpd0Cje/Lb6gyDD+BRzJezXI1MBVp80NxYOAwGCK
1xx9FETu539XxxOGLVdz41P3WUvgwDrS4HHdmLKKMWphi87jJXXVCmFw4nQDsbfg
fz4X0nLms3O1bc+0JQuLX5xCarBo8Fqt2wAkQ7Pb9EggCDwnqc8XUwxtEnX5tvLw
FQA/V76OkpWxCG31afqqt2b+mH6DxeXPUV/Rghewyq6SD/Ti5hFw1C8YPhzmWuiM
zqO60cszc+zS
=PCD0
-----END PGP SIGNATURE-----