-----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-1build1
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
 bac4e07ce94c08100b3d87b1ebc5b4318af41a04 13904 menhir_20250912+ds-1build1.debian.tar.xz
Checksums-Sha256:
 21cf3e8d81cebbbe0a9ed0c4d36a40df63f424abb94bf373d24e11b44f5d8c0c 584600 menhir_20250912+ds.orig.tar.xz
 8224209586318d5fce95478f08204a37b994fc3436affb95c0d9b5062cf36904 13904 menhir_20250912+ds-1build1.debian.tar.xz
Files:
 ae759352860005cf13bea24ff3a92279 584600 menhir_20250912+ds.orig.tar.xz
 4457a4b0c88c7692bcd8cbfa4220dea1 13904 menhir_20250912+ds-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlSlgYACgkQ808JdE6f
XdkRPhAAl63s88NTxepjj7bN7PsSIk/95lAEnQwFKHbcrhrTw1xA/fnm6xekiPOG
ClarJ64U/EsevFcggya23vPkyFOpBgVFAdufR9t1aqmgW1q+/XZB3Z24b2e7AABt
Lbe0bazHP4hyhbMOfJt4kQolONFFW9lWoe1rG9KG7DDeO/BLrZeXnKmhmL0WoZHF
7DFQ9UK5GaXUJwiqNbnNONuiM2uGbO4TD2ErMsZEpTnvKrLcsGan5kuPmoe+drqG
0uoVQ2fW64TBQ9SPReHeBF/fRArRXzelWObKMprEFedUvNea4PkPBqOsD/t8Vlqu
0vVvE49OilBYSf06AkVdVSJ4tzlnpB3rZyMexrlMz/W6QhFmTJpOxcurAzeRgbLM
x3sYqVDLanhXuCeix3phDJ3bgJodR9XpnIhY/X0OPFNC8dfsC81ADu+r4OOqR+o0
q+lZrOKgOkKMhuzoZqpSmsWY6LHZPgoivDU/8XCUNWOi6GP0LmRnKCaU+exyZRGF
ygUGIxJ/+zRAXti371o4uLhTYMMWah3wLTkfV56bK5k7cSwMPt3FTYMgnkJdrSzH
5aqaaBrkrcxR+FoyNW3TYZkg00o66iJZqpbdtVMolixb4PLjcLtaPQm+CwyXskPj
TtAiX0Kpb3Y/aYnZocGvPXWFq0Ony1tl1kuuXyLV42kqB4B4CSk=
=ZkwO
-----END PGP SIGNATURE-----