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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20220210+ds-3build2
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 7e81aee505efe0de49805c615b3c4c03f04333cd 1792 coq-menhirlib_20220210+ds-3build2.debian.tar.xz
Checksums-Sha256:
 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 39f21b156a44fb06f581ca4ed88703cb997cb2a96ccbc7950e9e9bf3a8c9d11f 1792 coq-menhirlib_20220210+ds-3build2.debian.tar.xz
Files:
 f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 c1f5bec1c238d25309b9c41f5aff9479 1792 coq-menhirlib_20220210+ds-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBX4ACgkQ808JdE6f
Xdni4w//SyZIGbTjUytWjdEEZHPWoq2qEOGqDeMqLqyW8+u0MP+X3bnGfvgDdMpQ
89gKHxUgvexIZQXE9nLfn+wOMV77mkNjr7isXbcn7ZP5lEDFrNKK9vgDkQbW+4M4
HC1P1+aBM3Ve4Qisa797W7lAsq+kFEC2KkqgkOpvvCrSIcLGgYiNx1x628ZmWCRw
Ebm/3wIqRFijrFoOidxXEr1X/uKWdIupMai95aIEmr3p5Gtt7Zx6TmEKWitV9rKZ
mqVGPgPSLeJUSDvjSZLsJ3mP9irunY/KojsY4Rx/FdjCVhlgPfl3uig0txVQzmvg
qt/V3AUczFqgAxPkmxhIr1brDIFeTHtjG7K9GjNZEOGkYPZfWsFbEQsftmqaM/y+
AuVLOh/gJceKP+d62jVTG92l3r/mx8TfddGzYlSzj+qatlLfurqyh+PQaHq6XtOe
kHvZgEsxwfpqmpt/xo50xbkdurW7zLIjsm8F4UXu5ypQDzusqZoFig5v+n56TbkW
zauyY2JXwHAWau97GD2jxOkueaOSgEv7EKllsZQuiBhL81JwSRr24UWv22IH2DTC
sjxQoef2LkbrxlRq35uRePfiivRyo3z7eSIo6N0wzQU4iJiPjdjvuXGAnLFJtfA6
3mqu/6mS2w7tUCsX8P9yM+biVGZXjOvbKkTHvKNdILaubAq8HVU=
=rkAl
-----END PGP SIGNATURE-----