-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: menhir (20240715+ds-1) Binary: libmenhir-ocaml-dev menhir menhir-dbgsym Architecture: alpha Version: 20240715+ds-1+b1 Binary-Only-Changes: menhir (20240715+ds-1+b1) sid; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for alpha; no source changes. * Rebuild with OCaml 5.3.0 . -- alpha Build Daemon (alpha-sc-02) Wed, 05 Feb 2025 09:46:19 +0000 Checksums-Md5: 94d90298a176c17a37ef327cba1d6bde 789976 libmenhir-ocaml-dev_20240715+ds-1+b1_alpha.deb 3287d117a87a34a4a78fe5230c9db21b 30696 menhir-dbgsym_20240715+ds-1+b1_alpha.deb e418c63bdbad154121f5722dd260810c 397540 menhir_20240715+ds-1+b1_alpha.deb Checksums-Sha1: ae143f0142bb8aeca61ae2ff857387b480afca58 789976 libmenhir-ocaml-dev_20240715+ds-1+b1_alpha.deb 0973d516f17f01994763347b6c48d84af1470649 30696 menhir-dbgsym_20240715+ds-1+b1_alpha.deb 54d336b24915ed139124be5c4ae31d3453c7eafa 397540 menhir_20240715+ds-1+b1_alpha.deb Checksums-Sha256: 0fd6178199e6a3e824522f1ed807edb37c5fde8526f2b1a46d1a6b472b3da062 789976 libmenhir-ocaml-dev_20240715+ds-1+b1_alpha.deb 07c24d75bda81c869e841d7550f2431b350e0f7ab43330c70494cab1da19a10d 30696 menhir-dbgsym_20240715+ds-1+b1_alpha.deb eba78efa878bea01b68132a348c7c6325d2e05e59839ebae54796c90999486ec 397540 menhir_20240715+ds-1+b1_alpha.deb Build-Origin: Debian Build-Architecture: alpha Build-Date: Wed, 05 Feb 2025 10:13:54 +0000 Build-Path: /build/reproducible-path/menhir-20240715+ds Build-Tainted-By: usr-local-has-programs Installed-Build-Depends: autoconf (= 2.72-3), automake (= 1:1.17-3), autopoint (= 0.23.1-1), autotools-dev (= 20220109.1), base-files (= 13.6), base-passwd (= 3.6.6), bash (= 5.2.37-1), binutils (= 2.43.90.20250127-1), binutils-alpha-linux-gnu (= 2.43.90.20250127-1), binutils-common (= 2.43.90.20250127-1), bsdextrautils (= 2.40.4-2), bsdutils (= 1:2.40.4-2), build-essential (= 12.12), bzip2 (= 1.0.8-6), coreutils (= 9.5-1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-16), cpp-14-alpha-linux-gnu (= 14.2.0-16), cpp-alpha-linux-gnu (= 4:14.2.0-1), dash (= 0.5.12-11), debconf (= 1.5.89), debhelper (= 13.24.1), debianutils (= 5.21), dh-autoreconf (= 20), dh-ocaml (= 2.4), dh-strip-nondeterminism (= 1.14.1-1), diffutils (= 1:3.10-2), dpkg (= 1.22.14), dpkg-dev (= 1.22.14), dwz (= 0.15-1+b1), file (= 1:5.45-3), findutils (= 4.10.0-3), fontconfig-config (= 2.15.0-2), fonts-lmodern (= 2.005-1), fonts-urw-base35 (= 20200910-8), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-16), g++-14-alpha-linux-gnu (= 14.2.0-16), g++-alpha-linux-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-16), gcc-14-alpha-linux-gnu (= 14.2.0-16), gcc-14-base (= 14.2.0-16), gcc-alpha-linux-gnu (= 4:14.2.0-1), gettext (= 0.23.1-1), gettext-base (= 0.23.1-1), ghostscript (= 10.04.0~dfsg-2+b1), grep (= 3.11-4), groff-base (= 1.23.0-7), gzip (= 1.13-1), hevea (= 2.36-2+b3), hicolor-icon-theme (= 0.18-2), hostname (= 3.25), imagemagick (= 8:7.1.1.39+dfsg1-2), imagemagick-7-common (= 8:7.1.1.43+dfsg1-1), imagemagick-7.q16 (= 8:7.1.1.39+dfsg1-2), init-system-helpers (= 1.68), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2), libapache-pom-java (= 33-2), libarchive-zip-perl (= 1.68-1), libatomic1 (= 14.2.0-16), libattr1 (= 1:2.5.2-2), libaudit-common (= 1:4.0.2-2), libaudit1 (= 1:4.0.2-2+b1), libavahi-client3 (= 0.8-16), libavahi-common-data (= 0.8-16), libavahi-common3 (= 0.8-16), libbinutils (= 2.43.90.20250127-1), libblkid1 (= 2.40.4-2), libbrotli1 (= 1.1.0-2+b6), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.40-3), libc-dev-bin (= 2.40-3), libc6.1 (= 2.40-3), libc6.1-dev (= 2.40-3), libcairo2 (= 1.18.2-2), libcap-ng0 (= 0.8.5-4), libcap2 (= 1:2.66-5), libcc1-0 (= 14.2.0-16), libcom-err2 (= 1.47.2-1), libcommons-logging-java (= 1.3.0-1), libcommons-parent-java (= 56-1), libcompiler-libs-ocaml-dev (= 5.3.0-2), libconfig-tiny-perl (= 2.30-1), libcrypt-dev (= 1:4.4.38-1), libcrypt1 (= 1:4.4.38-1), libctf-nobfd0 (= 2.43.90.20250127-1), libctf0 (= 2.43.90.20250127-1), libcups2t64 (= 2.4.10-2+b1), libdav1d7 (= 1.5.1-1), libdb5.3t64 (= 5.3.28+dfsg2-9), libdbus-1-3 (= 1.16.0-1), libde265-0 (= 1.0.15-1+b2), libdebconfclient0 (= 0.277), libdebhelper-perl (= 13.24.1), libdeflate0 (= 1.23-1+b1), libdpkg-perl (= 1.22.14), libelf1t64 (= 0.192-4), libexpat1 (= 2.6.4-1), libffi8 (= 3.4.6-1), libfftw3-double3 (= 3.3.10-2+b1), libfile-stripnondeterminism-perl (= 1.14.1-1), libfontbox-java (= 1:1.8.16-5), libfontconfig1 (= 2.15.0-2), libfontenc1 (= 1:1.1.8-1), libfreetype6 (= 2.13.3+dfsg-1), libgcc-14-dev (= 14.2.0-16), libgcc-s1 (= 14.2.0-16), libgdbm-compat4t64 (= 1.24-2), libgdbm6t64 (= 1.24-2), libglib2.0-0t64 (= 2.82.4-2), libgmp10 (= 2:6.3.0+dfsg-3), libgnutls30t64 (= 3.8.8-2), libgomp1 (= 14.2.0-16), libgraphite2-3 (= 1.3.14-2), libgs-common (= 10.04.0~dfsg-2), libgs10 (= 10.04.0~dfsg-2+b1), libgs10-common (= 10.04.0~dfsg-2), libgssapi-krb5-2 (= 1.21.2-1), libharfbuzz0b (= 10.2.0-1), libheif-plugin-dav1d (= 1.19.5-1+b1), libheif-plugin-libde265 (= 1.19.5-1+b1), libheif1 (= 1.19.5-1+b1), libhogweed6t64 (= 3.10-1), libice6 (= 2:1.1.1-1), libicu72 (= 72.1-6), libidn12 (= 1.42-2), libidn2-0 (= 2.3.7-2), libijs-0.35 (= 0.35-15.1), libisl23 (= 0.27-1), libitm1 (= 14.2.0-16), libjansson4 (= 2.14-2), libjbig0 (= 2.1-6.1), libjbig2dec0 (= 0.20-1+b1), libjpeg62-turbo (= 1:2.1.5-3), libk5crypto3 (= 1.21.2-1), libkeyutils1 (= 1.6.3-4), libkpathsea6 (= 2024.20240313.70630+ds-5+b1), libkrb5-3 (= 1.21.2-1), libkrb5support0 (= 1.21.2-1), liblcms2-2 (= 2.16-2), liblerc4 (= 4.0.0+ds-5), liblqr-1-0 (= 0.4.2-2.1+b1), libltdl7 (= 2.5.4-3), liblzma5 (= 5.6.2-2), libmagic-mgc (= 1:5.45-3), libmagic1t64 (= 1:5.45-3), libmagickcore-7.q16-10 (= 8:7.1.1.39+dfsg1-2), libmagickwand-7.q16-10 (= 8:7.1.1.39+dfsg1-2), libmd0 (= 1.1.0-2), libmount1 (= 2.40.4-2), libmpc3 (= 1.3.1-1), libmpfi0 (= 1.5.4+ds-4), libmpfr6 (= 4.2.1-1), libncurses-dev (= 6.5+20250125-2), libncurses6 (= 6.5+20250125-2), libncursesw6 (= 6.5+20250125-2), libnetpbm11t64 (= 2:11.09.02-2), libnettle8t64 (= 3.10-1), libopenjp2-7 (= 2.5.3-1), libp11-kit0 (= 0.25.5-3), libpam-modules (= 1.7.0-2), libpam-modules-bin (= 1.7.0-2), libpam-runtime (= 1.7.0-2), libpam0g (= 1.7.0-2), libpaper-utils (= 2.2.5-0.3), libpaper2 (= 2.2.5-0.3), libpcre2-8-0 (= 10.44-5), libpdfbox-java (= 1:1.8.16-5), libperl5.40 (= 5.40.0-8), libpipeline1 (= 1.5.8-1), libpixman-1-0 (= 0.44.0-3), libpng16-16t64 (= 1.6.46-4), libpotrace0 (= 1.16-2), libproc2-0 (= 2:4.0.4-7), libptexenc1 (= 2024.20240313.70630+ds-5+b1), libpython3-stdlib (= 3.13.1-2), libpython3.13-minimal (= 3.13.1-3), libpython3.13-stdlib (= 3.13.1-3), libraw23t64 (= 0.21.2-2.1), libreadline8t64 (= 8.2-6), libselinux1 (= 3.7-3.1), libsframe1 (= 2.43.90.20250127-1), libsharpyuv0 (= 1.5.0-0.1), libsm6 (= 2:1.2.4-1), libsmartcols1 (= 2.40.4-2), libsqlite3-0 (= 3.46.1-1), libssl3t64 (= 3.3.2-2), libstdc++-14-dev (= 14.2.0-16), libstdc++6 (= 14.2.0-16), libstdlib-ocaml (= 5.3.0-2), libstdlib-ocaml-dev (= 5.3.0-2), libsynctex2 (= 2024.20240313.70630+ds-5+b1), libsystemd0 (= 257.2-3), libtasn1-6 (= 4.19.0-3+b2), libteckit0 (= 2.5.12+ds1-1), libtexlua53-5 (= 2024.20240313.70630+ds-5+b1), libtext-charwidth-perl (= 0.04-11+b3), libtext-wrapi18n-perl (= 0.06-10), libtiff6 (= 4.5.1+git230720-5), libtinfo6 (= 6.5+20250125-2), libtool (= 2.5.4-3), libuchardet0 (= 0.0.8-1), libudev1 (= 257.2-3), libunistring5 (= 1.3-1), libuuid1 (= 2.40.4-2), libwebp7 (= 1.5.0-0.1), libwebpdemux2 (= 1.5.0-0.1), libwebpmux3 (= 1.5.0-0.1), libx11-6 (= 2:1.8.10-2), libx11-data (= 2:1.8.10-2), libxau6 (= 1:1.0.11-1), libxaw7 (= 2:1.0.16-1), libxcb-render0 (= 1.17.0-2+b1), libxcb-shm0 (= 1.17.0-2+b1), libxcb1 (= 1.17.0-2+b1), libxdmcp6 (= 1:1.1.5-1), libxext6 (= 2:1.3.4-1+b2), libxi6 (= 2:1.8.2-1), libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1), libxmu6 (= 2:1.1.3-3+b2), libxpm4 (= 1:3.5.17-1+b1), libxrender1 (= 1:0.9.10-1.1+b2), libxt6t64 (= 1:1.2.1-1.2), libzstd-dev (= 1.5.6+dfsg-2), libzstd1 (= 1.5.6+dfsg-2), libzzip-0-13t64 (= 0.13.72+dfsg.1-1.3), linux-libc-dev (= 6.12.11-1), m4 (= 1.4.19-5), make (= 4.3-4.1+b1), man-db (= 2.13.0-1), mawk (= 1.3.4.20240905-1), media-types (= 10.1.0), ncurses-base (= 6.5+20250125-2), ncurses-bin (= 6.5+20250125-2), netbase (= 6.4), netpbm (= 2:11.09.02-2), ocaml (= 5.3.0-2), ocaml-base (= 5.3.0-2), ocaml-dune (= 3.17.1-2+b1), ocaml-interp (= 5.3.0-2), openssl-provider-legacy (= 3.3.2-2), patch (= 2.7.6-7), perl (= 5.40.0-8), perl-base (= 5.40.0-8), perl-modules-5.40 (= 5.40.0-8), po-debconf (= 1.0.21+nmu1), poppler-data (= 0.4.12-1), preview-latex-style (= 13.2-1), procps (= 2:4.0.4-7), python3 (= 3.13.1-2), python3-minimal (= 3.13.1-2), python3.13 (= 3.13.1-3), python3.13-minimal (= 3.13.1-3), readline-common (= 8.2-6), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2), sensible-utils (= 0.0.24), sysvinit-utils (= 3.13-1), t1utils (= 1.41-4), tar (= 1.35+dfsg-3.1), tex-common (= 6.18), texlive-base (= 2024.20250114-1), texlive-binaries (= 2024.20240313.70630+ds-5+b1), texlive-fonts-recommended (= 2024.20250114-1), texlive-latex-base (= 2024.20250114-1), texlive-latex-extra (= 2024.20250114-1), texlive-latex-recommended (= 2024.20250114-1), texlive-pictures (= 2024.20250114-1), tzdata (= 2025a-1), ucf (= 3.0049), util-linux (= 2.40.4-2), x11-common (= 1:7.7+24), xdg-utils (= 1.2.1-2), xfonts-encodings (= 1:1.0.4-2.2), xfonts-utils (= 1:7.7+7), xz-utils (= 5.6.2-2), zlib1g (= 1:1.3.dfsg+really1.3.1-1) Environment: DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1738748779" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEV0tjrLANj8yEXfXvQmeFpcbnRg8FAmejOfwACgkQQmeFpcbn Rg+nmA//RZ9LQz1o+i+N+YK6CW5/V5XlvXgaY4xHG75Iqnlg+f67yOJybrxZE5PC /4cctMlgFuT18xhV5/q6ugprBuXYHCjkK32bH60lbRxkYTTWdKcJrUf0M0010g3T wPqomheDdIEdAF0hyOPvut/tAd2I4SEUdptsIY3gwiuXfvVYCirqfmefgk3u4vS5 FQEU6DjR4KpYrx7tSxZ3msMnIAHtRWE/JauPQm5CaAiiI7ZYbqipGm9VJqkE3NoU gf7glLloPFoH3UJMkA0P5XlGNAKQXWnVho7lYxNZA+6tUoRjadev0ysmwHh8wLq7 r539/5lDOsunVs6T9Oi7P4I7QxvkGCEdt+H+waMh7fgZlBa1XCT9oh0KtbPzjwhu +Rx943ngXR67zczGS9yN2rgXb9Cv9H5+ZffDxZsNZ+KnugHqOC9oUM8HD+X/bY+o CdGvo5BThuDuUPzK+rvjhHaQ5N0JVFmmWh+bQVAx8mm2WxZYdeQ/pwY922738Qgy EPTWLAuuaknT6G3+iHkqh0PxOS7cXIjXbuJSyqY+JnD/GqoIT09XF49ehLnkMNzB r1yufnOTm8wv2x5MJVl0KaevvJJ1LKF67KxD8BPtj0Z0eg8oRg5e5OIW1v+5dzm8 A/0QRrrTlnsRU2JQ2BgnAn96Vc2B/V4zNTuFi68iwgNx2diT1yQ= =Ejg/ -----END PGP SIGNATURE-----