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

Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev, menhir-doc
Architecture: any all
Version: 20231231+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.6.2
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:
 db0f2e051c4474374f9889180c530b093dd83508 540084 menhir_20231231+ds.orig.tar.xz
 b51548042bbac2fd416d5c29d6ee5418b457e153 13756 menhir_20231231+ds-1.debian.tar.xz
Checksums-Sha256:
 509349d9b03d0e072d941a7c9fae95cfbcbfcff1940b5addab54195e9350731e 540084 menhir_20231231+ds.orig.tar.xz
 49fa01a03d1d4536c96d0e535db7ee417b2e8adcaeacead6f9303038b33ec549 13756 menhir_20231231+ds-1.debian.tar.xz
Files:
 1180509ebc215ffcc6a249651b60e63b 540084 menhir_20231231+ds.orig.tar.xz
 bfa883f7f517da803cba3e6fa1475627 13756 menhir_20231231+ds-1.debian.tar.xz
Dgit: f3f876e1879416cd91a39d7e0ace00b665730700 debian archive/debian/20231231+ds-1 https://git.dgit.debian.org/menhir

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmXOELASHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBxPkIAK1YlfB8ZMx+StNn4kBULgc3tECo+IEK
Kxxr5LAvQCLvrWgo2LvpVJpshxevMsLoqb+n/3oHiHZJwXY7tJvyZpPnGHHDmHws
FVKtAZ+Lk7g7Zvb3v9jEpnFo4Xff0Xw07ci13cUb0nONB7zUHtXKN6hnEJDudv3/
w0CftbtbTTp2bbgRxTQho90lwean6tlIYohJRkcpf84Ysqr5k2+m4FAVF94MxFBa
Gsj+qcS2p3JG/CHb92O+a3nY3LW4fAxHSRxtaPYJDf3Dfmn6O7+ZRv7avdaF/7XC
/54+YB1em/xsj64cBuQ+Star/XA/WIqqea+3hJ2NyTSArh7B4u2Lt+k=
=08BZ
-----END PGP SIGNATURE-----