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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20220210+ds-4build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-menhirlib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-menhirlib.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-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 ddd20ef341511b66d648f3478aac92ba7da72d6a 1824 coq-menhirlib_20220210+ds-4build1.debian.tar.xz
Checksums-Sha256:
 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 d2b3784a4f1d4b0e6c518cf0cba751e5ae9b35252ebf2a8b86558bca0871032e 1824 coq-menhirlib_20220210+ds-4build1.debian.tar.xz
Files:
 f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 d081098d3e985396e34163a92db186cb 1824 coq-menhirlib_20220210+ds-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeYAACgkQ808JdE6f
XdkTnBAA13cwHya7MhzsyqyvBWUTaVovJcZq2Z+zjNlt+EzX9x78yE3aN25U0LcV
ZwMhpKdKqRmC8j+01eO7tUxgOL33pqQ6RZKRYi3iHxZ7XHoMjlV44cGkZ215yZrb
Ev1b5xV7fHJ5Sh5o3zJ1LBReTm3k60JuUxgJTFJ3LG82/UxtzX5jXpEFMT4EcG7N
vI1jRysHeUwOOZvrNrCpf1Qfcut1eVt1pSbDPup2Tm1FIbhDUjrBjKDnyRvE689Q
iOP/tLW6tywylGV2bneHtiT1BYv/Rm7rGFsAeELCjPQKb6bJ1q+HMcRKeS2gVRhW
WnhYZZb1QOgRVBjw+Durcj+cet+njnsU7Jngk7/ePNLRzqWAOnkszjdrO8T4hRGg
8JEw2jULOQPK5qMgUydXIylOFmtWiXqDyvGBmpcDv37n1KepNtoH0wjprdJ+infG
6HC0xvtQh/dKKjI9X4KfM5gtvtCspD3cr6eu9TO8mHwOZa1KbTeSewexMyjmW9IK
WdyEtlxOUoQkJgVn7PYcUx1zvSWsvkhJta+GovzzaflGlotwRwQ6TjUj258pIHsH
cpofpaEnxxFbjvGgkksaYmf06GI++IgOycQCfzhbanT5z5Wdq7it9FJpsfCSZekl
b0UAcFTkO6yogzKN3neCbMBiInfouV1fsxXOUIKOlHzAeL6xMSA=
=HMCL
-----END PGP SIGNATURE-----