-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: menhir Binary: menhir, libmenhir-ocaml-dev, menhir-doc Architecture: any all Version: 20260209+ds-2 Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy , Ralf Treinen Homepage: https://gallium.inria.fr/~fpottier/menhir/ Standards-Version: 4.7.4 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 (= 14), dh-ocaml (>= 3.4~), hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml, texlive-fonts-recommended, texlive-science, 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: 948aee77aae6b67cabc32c7e733ecf7c03f95310 632064 menhir_20260209+ds.orig.tar.xz d1a6a1e3668fb7ff350f801eb43332884b38627b 14072 menhir_20260209+ds-2.debian.tar.xz Checksums-Sha256: f7f8535e1b95c693be8805bc6eaa624a3f4d0c1bbdfcdf5d76ae1e00e5147a80 632064 menhir_20260209+ds.orig.tar.xz 33a06094a1c622eafe71655bd09f8a7016f917b7dccd90b5897d6dbd0f56dd37 14072 menhir_20260209+ds-2.debian.tar.xz Files: e30474ff4e08c611b0a331f128989291 632064 menhir_20260209+ds.orig.tar.xz 8d3df23f8f51bf904ae17d95a83daf3e 14072 menhir_20260209+ds-2.debian.tar.xz Dgit: 1bb3482a5b860c587dfec34cf118aea0a073a698 debian archive/debian/20260209+ds-2 https://git.dgit.debian.org/menhir Git-Tag-Info: tag=2cf5d6465f00107c932eaac8bbc5fada34e4883f fp=6de24e97eca886cc56e6250e21b8eef1b1893081 Git-Tag-Tagger: Stephane Glondu -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmpXjpIACgkQYG0ITkaD wHl+kRAAsjEy97sErdxviD+A1ymJrDuBD4Sj5kjsowB1J2aqkYxcG0k2npOXKTtB DigkEybtXinglUM1IUNOvCOXiCGoY6dPovtRHgv5vZO88Fyxu6b2J3anLbIKQsr8 7+Y+Rawbzt/TBOT4h2zbhpHdTVIZNsc/q5GzRK/q/w6lNWhtGFFKset+QKu6UVos JooS+C5T17SrxSsvq5H1TcVYvjzLpozhMJO7AOy11MLQl+RrdrP2X6SlcvxHczQK Hz0tWtCQw3G405eNle/vCMQvbQWXfIXapl+kUbXyvecTFcIM0wccUc9SGT14CD71 fdD1IJCc6khMRggn0Ns2GzRFNvh4K4bf3WzjUUx4sxNSPQwERAuc8Gfex+iUSbqv Pwx+HLp5F2HOJruLg5lRpHNvUTbuVu/qXLp2dUYwZE7bwd7ZdgKbTMkj+ZcvmiGp Z4NI/eiUhh/wLEVHj7MOINv+B3h8FG3Xrhi8TaD90MxdqjJE7G50Ll+i6sEYERp7 0S/AauBKNk1zNtDgqZ9+aipRz24MW3wYiaAdNo0XA/rDV+XebJWy7npYOfIuIIC5 3LnWdztnY9HZkkojJs/ljIv/zoGkmuEOzI2JoIgZ64oq+f4tozesIrqBgRCSsq7f oMaWvo6IkkaxtrfzQ9h6pzT5YvJKch6gX9iZV0XURgyMw49iB/o= =H+Kz -----END PGP SIGNATURE-----