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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20240715+ds-1build5
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
 cac871ce8127acae173286a3fe8686e5a04c12b1 2344 coq-menhirlib_20240715+ds-1build5.debian.tar.xz
Checksums-Sha256:
 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 35b51f4df051bc503538d00709f109e0a8f1ad94beed892efa37ac50e7dba8d1 2344 coq-menhirlib_20240715+ds-1build5.debian.tar.xz
Files:
 8c093ba47caeffb5c00e22c8418e6edc 45112 coq-menhirlib_20240715+ds.orig.tar.xz
 afb261d3cf3fd74060329f25c09c7dca 2344 coq-menhirlib_20240715+ds-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRcoACgkQ808JdE6f
XdnjNQ//V/g7l6fc8hvNL88h3LJaf86tvOgVScyLA2RRf+cGqppdcrp+8b1jnkAl
3WesOwDPTmSbt8TvP8X3yrnkjS9Zv0XMEPlbc6ayU9xlBdGUgOqHC7yKfZbTbkyD
0mY4icm5qlY9HV5OoCeX1UYW11EkCYpphFEgASJ5nPyrglMVRFqthapkQhKHI0fZ
Zmz0QZyBfhUDJepfu3qO8FLH+zPErevFDKLNdourzqiRQMO7DpqVPKrc7jY6hpAe
d3PLPY81TEPDcZE7/8xtRcYZqHgEH0Rct32VXbsb3KVT1I5C0WX+divwdHXX7ih1
n/utrUfm+uNT55nnYiwWfsmW8LbalE1ugeCOLWYkH6fs+VU40ppfG9gWpCgUsB0l
FEl48UvTwFOMFmkMMQkI4hf2aFVFELnE/zFuGXiANy8nHv8O1sCstrPwUdbzLUmL
SaRbc3bYB5FDLfnKzKssQE1HL3WI660EE4NcQZ45/DXk13s/CD4uTlM3ILGYQChq
If6NPI8cb2nFyXHMQlYGsbguEpwDWonPKlwVBNKGe5cGmFV030Tt4cslWs7NXL54
uSxaT51YRsij7gS7KGg54v4WCzFrM1KDs6aaMdNCw+hxrTSn1C1307jXiNFTpoAB
f54NE2yqSEkuFiOS0zknZ7TqHYHxnYc9R5yKe9VAk0vuKkuo9GA=
=80A1
-----END PGP SIGNATURE-----