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

Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev, menhir-doc
Architecture: any all
Version: 20260209+ds-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://gallium.inria.fr/~fpottier/menhir/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/menhir
Vcs-Git: https://salsa.debian.org/ocaml-team/menhir.git
Testsuite: autopkgtest
Testsuite-Triggers: ocaml, ocaml-findlib, ocamlbuild
Build-Depends: debhelper-compat (= 14), dh-ocaml (>= 3.4~), hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml, texlive-fonts-recommended, texlive-science, texlive-latex-extra
Package-List:
 libmenhir-ocaml-dev deb ocaml optional arch=any
 menhir deb ocaml optional arch=any
 menhir-doc deb doc optional arch=all
Checksums-Sha1:
 948aee77aae6b67cabc32c7e733ecf7c03f95310 632064 menhir_20260209+ds.orig.tar.xz
 1624bc2922d9cd2d5303bd52b3d521de1a4271f0 14028 menhir_20260209+ds-1.debian.tar.xz
Checksums-Sha256:
 f7f8535e1b95c693be8805bc6eaa624a3f4d0c1bbdfcdf5d76ae1e00e5147a80 632064 menhir_20260209+ds.orig.tar.xz
 edc0733512e7272ed097db392b88b26249a681ee8aa28ca39a5d81132b7a89e9 14028 menhir_20260209+ds-1.debian.tar.xz
Files:
 e30474ff4e08c611b0a331f128989291 632064 menhir_20260209+ds.orig.tar.xz
 f05fb25cc9978a9697b373219765d6d5 14028 menhir_20260209+ds-1.debian.tar.xz
Dgit: add50112299e93f4a73ec7a666b97b0fcc337a36 debian archive/debian/20260209+ds-1 https://git.dgit.debian.org/menhir

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmpUrh8SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBzuUH/012XF9T9MFE/3BAKr5oumz3UhopFuNC
uLJwlCzFRn9YslUyv2Hs1M05haMUi2ccYyoBAP0cHsFHqwCa3gIZTQTY7GwTNRGH
L4CuVpIBCaV06GsurQIBgwHdYTRRGQWdWWzu3JZ7e5asreUhfg1BZJNttii/lCfH
mFMJ5Hi9GqPp49j44Haycmtp0VKPR0knWmVEMrtP2HjzW78Q+cKqCs612SfTuCrG
KF+v+/Asc6tKTO2wXaHgg26j7GrCMRbIR4jDkj7WLxSFIQEqbsmP0H/UmpzZFZJo
iOqhG+kAc/m2+kywrCrcNkNPUfw7qs/CuRuhH8QFFUmNNZZstyztNtQ=
=HujV
-----END PGP SIGNATURE-----