-----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-1build2
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
 72916d4075241c5a52fbbefd959b2a7dac3ba483 13948 menhir_20250912+ds-1build2.debian.tar.xz
Checksums-Sha256:
 21cf3e8d81cebbbe0a9ed0c4d36a40df63f424abb94bf373d24e11b44f5d8c0c 584600 menhir_20250912+ds.orig.tar.xz
 85002c127a2dc8ab0f63df52a4bce5c10d0e4358aa6ef51d8e2a6f984443681a 13948 menhir_20250912+ds-1build2.debian.tar.xz
Files:
 ae759352860005cf13bea24ff3a92279 584600 menhir_20250912+ds.orig.tar.xz
 06c7c8d522c615a99faed9af8727faa1 13948 menhir_20250912+ds-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmgx+0ACgkQWWH9vpxh
mAnuRw//Xllr+on+vo7vy2TO3DpswtIwyuhC7xH01Ia9d+QkWjUw5PzUXOROAQXu
DHUWM2BklScshZ7iCi4aLxEW5BGGneVE/zm0qkY5WMhoxKzI81oOiRXQ8FzKDpjc
xw3mCoJxT4vapGHbAIVQgR9RxRYZ9/90KJGfGrpImdG7eT3tzgMwiTdh9+xST2ZF
Xt8zkd/5oa+dEBJo5LyvOZ1tQmxIwIVmAiTjDK5wyvUDMzoeT4NnqBaNC1LKOH25
SWy0l3WJMebWUxgC4R9sYtINesNgER5p46456WnYrCgpWqmlYv1jk6V+CBOo51iv
ndajZum1573oSZ/AADsg0XmF6ZjHq/DMDVcM6/QtwES2D2gcRKhmOEW2/zppFbf3
VSTQXdZ9g5Rgq43jI5Yx+/Nghv5oDYsx+lg6XT+yUJTw3nS1sExEr7wqOvGVZBY6
BPjBF/2XOQ0GrhK6LlXKZrnMCGhJserXH3hKwaTFV+IIXLhumFze8qlaQaI9taDA
4ENz0ecKez900VJr+/sSQmNpOHKyuEQBTGOR+ibRCNFha0I8j4Dhztid3No97Qs2
TO36OeF769f6YmEBhURICi03oH71tI7kTBXPxEeG03xJ5yyuugd6d3JAQcyKg40L
78riGH6Efu+wi9Bx8GUWEjcsDsER6o5LT57KRGyOXXZfWDtoly0=
=YI8w
-----END PGP SIGNATURE-----