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

Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev, menhir-doc
Architecture: any all
Version: 20240715+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:
 f64df3b0d078873c62d621a887951e8b9dfc762a 540332 menhir_20240715+ds.orig.tar.xz
 af7fb9072bb6ba728d8bd6133839ef58c3c958d2 13904 menhir_20240715+ds-1build2.debian.tar.xz
Checksums-Sha256:
 6adc86fdd54309e3acc309b61266d43ea1206cdb772cfabd58d73c7116ad6cf3 540332 menhir_20240715+ds.orig.tar.xz
 decfdf8910489b3a158698a1215edfbc424feda503de1e6f2a151624945075c3 13904 menhir_20240715+ds-1build2.debian.tar.xz
Files:
 52acf8fdebc6d7abdc8c74e09c941a68 540332 menhir_20240715+ds.orig.tar.xz
 94cec91bfbbeffe597b5fb7add64fe07 13904 menhir_20240715+ds-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhQbY0ACgkQ808JdE6f
XdkccQ//ZyvtKw2nSp/oxgGVLfN6bX74VhOWzxrLeq2y8pvP9TYuhwjc+OS2wEVD
YmIF/wA0FJ6VCS8JqlKQCCIvTXV8SUPr0puh/jAyXxfo2PQ6ecujbz+WAdrb1VwT
g+U7MH4NHhATJZj+4+9f6waEcQevAc8gKHCYE9xDF53KyXpCq2OhXWZnq9/mazob
OgO/VQa4p0sjCGqVB+a/5FRF2bfXShqauSVr5htv+04ImV6Iqt+f3ILL1wSTNt7B
BYo+K2p1eoFH+5GcKPfjhERoamUyq/dhQH0JLicZDOQwotf3IQ3h5Khr0gziQ9o2
0FWafaiJ2k1fOu0K79JF1QLht4OynsQwpaJpZJv2c+EcyYM+xK3SczU2Mt1KoThT
g56tSDii8FE+UkloDhoUjjTo4NyOLUWgz3OYe1SKHwwDDHrjBzikMjycoK2MGsc6
FXsG2T/yGtxDgfTiiyfX3D1xpQ+2zKxBEfD/Wr6/6hwjUpYFjJmR6u10EDb3ftkF
VdYty1AoHuK6WckyT1x4Ge40wlKkexLfqfGB4iXrc+r3q029i4Y+yTD0/eT7VE+o
VSX4YPzQGbyTF6gkPPt8SdSNjbTLLF/uKyDgoQ1mRxYxWvd2LZGUPvYQe/0Hh2OT
k3Txmh7/B+vj/lECjKyctJ3y5Kx6ztZoweT79ylZ0aHOR63z0bs=
=Lmw8
-----END PGP SIGNATURE-----