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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20240715+ds-1build6
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.2
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:
 b940a176cb2bbe1feee6a4839a5638e1c5ddb480 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 8f83bd61af049e7dd7f06005cb16178b0cc3929a 2364 coq-menhirlib_20240715+ds-1build6.debian.tar.xz
Checksums-Sha256:
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 e84e45a1e245c519c0f3363a389388ba02a6fa1f75665062ebdcd8daf231def0 2364 coq-menhirlib_20240715+ds-1build6.debian.tar.xz
Files:
 8c093ba47caeffb5c00e22c8418e6edc 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 aec908024d9aa3a86a888f02c912b26b 2364 coq-menhirlib_20240715+ds-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9QUACgkQ808JdE6f
XdkxSxAAmINXAz/lAXBa6aVwvKKSP0ygZ7xxO3AxPTct6ktSL3L6xw3kJ4JxqyJY
lpCKf6WiG/TczztJ7kyuAhL+4fRc6QMu9yVDSG+mrwU9E4c1ILfnQJsmn3gCRY0W
WI+RJL9Ru3r62BjSko6K+eYPbYlXWV0/P2h3MTEz1I2H/ZbWBeTEr7GsFe8yS7BZ
jUiAlki+GC8CUQw1ci0TuOfkIKbKqzrP+F9lAFyjtMgGpkSGa7YHdx2u8UZ9dik6
y3QT7vJXx7d/HIsqdYx62Z4qdhdTrb4m7JV9jDLYwgPXYGYF4yAg2e5cN+J8bDog
FyE6SaA7Gtmih3ExL9E8FXiIEabggBncVoZd+7tP7K80QirhZhRQsx2jW2fpN/f0
Dun3tBmvP8PU5AD9ML5zo1G7QTanDt/4swY2/NdtKyvtJuDbGnpElQHHU9GZtNv1
x2292kGdTf0ULpemaRGLYg+dWJXzQohjuW8sLM0aMlCHaNdm5Oj2V4QhQm0GZetC
Xn9bprZmRQ5AVRhWdXX31NErTzY4ALaDDfRf7RLeVBikRLiHyd0fogncS8xtjOwf
dEN5QWbiX54qqQt4iEWfdzDbtHBNaUCY1Pmr4ulKFxQ64o5TpEOZQG2uVFTJ5opY
PfwBfeQ/AsLcXj+UiSF7gxDt45YeidO7y/CWKhies5yhXLi93DI=
=yicr
-----END PGP SIGNATURE-----