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

Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev, menhir-doc
Architecture: any all
Version: 20250912+ds-1build3
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.0
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 (= 13), dh-ocaml (>= 1.2.2), hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml, texlive-fonts-recommended, 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:
 70328a9377011e5f722fe981fb6817ee420da3f1 584600 menhir_20250912+ds.orig.tar.xz
 61b1f980b6d0e742e5aa9590d865f1c3f872dc1b 13968 menhir_20250912+ds-1build3.debian.tar.xz
Checksums-Sha256:
 21cf3e8d81cebbbe0a9ed0c4d36a40df63f424abb94bf373d24e11b44f5d8c0c 584600 menhir_20250912+ds.orig.tar.xz
 029a7f26b34b20a7c855f7a9dcf7683d6b087ff73a37d3d6a3ccd9c2c5a9629b 13968 menhir_20250912+ds-1build3.debian.tar.xz
Files:
 ae759352860005cf13bea24ff3a92279 584600 menhir_20250912+ds.orig.tar.xz
 5f8b4f55221f3e3865521028e4f4f7fb 13968 menhir_20250912+ds-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpFR48ACgkQ808JdE6f
Xdk6zxAA2NJASufliFH41/rmtaredReLg9MgWO/yMKMXrk9Oq9LV9gDD23dfAazd
Ap02mjpWtfYFNqcci1Aiwaqrr1X/dD5DAYPQIsKnsKUGvF1tG9/aqwW3QDeHyv31
f2OALFO4cZ7UrY/npp5/cesBh0v3mGCxlHcq3o2Y27koTj8G4+LvIP108nDG0Ix9
QROR45N85mF+Ku21CCQM130wQ7LeDay2aB93BCE6/yyGtmd6DNyjsHhEwrphVvqd
VYVii0RxsO2yHL3Msnrzu6j635/D4Qyhs1XY4GOkE57y6rFJZ2MiUoOw+OQqPTa7
NbHnoh1NosWuTJ8mVW4ZPqOGmDJ3Bl1gCTO4zu6pIfk7xEgwyT/yD9RchckCO2HN
uPRyqt0XvXG7QEsSWASomDe7hFwpPsE5ohn55SuytpHDYFsSOSIPhBjOSQId6s2e
Gc4TORXBGj0FSWNhn3xbx56mghnari8d6S1uDWiFZaeT9LpEFvB3m0E6XG04c3My
57c2Z44PiYLuw2GZLBvmHDHqt7HEYwXW35INR9ss/KD3F/b/ELpw/jCMJDer7HMr
ytakBhYxvRAqcUePhQg7SSEJRv3e+lvg1w2YgKoUITQsaHjRuax8+Ta8sfOvcdBD
QyJ+CLmbkTs1AqqgJFSYzZCUeCLF5XTEmC7DMsLIblsnWwJe2N0=
=86P8
-----END PGP SIGNATURE-----