-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: menhir (20240715+ds-1) Binary: libmenhir-ocaml-dev menhir menhir-dbgsym Architecture: sh4 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 sh4; no source changes. * Rebuild with OCaml 5.3.0 . -- sh4 Build Daemon (sh4-osuosl-01) <buildd@sh4-osuosl-01.buildd.org> Mon, 27 Jan 2025 07:28:39 +0000 Checksums-Md5: fd3f369666e351b1d7fb34e0ad7d73cb 789848 libmenhir-ocaml-dev_20240715+ds-1+b1_sh4.deb 4ac7cf52b558d1ef2ce9a312070266ba 30320 menhir-dbgsym_20240715+ds-1+b1_sh4.deb cb38102390a6d3a39933c6c15bffc667 391448 menhir_20240715+ds-1+b1_sh4.deb Checksums-Sha1: 12f2d4d53c9f3e69d6f29d6a21ce7ad998ea193b 789848 libmenhir-ocaml-dev_20240715+ds-1+b1_sh4.deb 856876387b6f94d158dcb958a414ff5c66beb29a 30320 menhir-dbgsym_20240715+ds-1+b1_sh4.deb f532788a4c1197526cb05e2079364f321fee4cfb 391448 menhir_20240715+ds-1+b1_sh4.deb Checksums-Sha256: ba4396b536c6f142001f7e951754260627448d44e7a74b91f59533deae36a396 789848 libmenhir-ocaml-dev_20240715+ds-1+b1_sh4.deb 9b720a0eee35263088e43013724a1f7ad002d1a1c34c488a100fb6d9b6619477 30320 menhir-dbgsym_20240715+ds-1+b1_sh4.deb cdc3455d5b7a1a046dfde2aa950a3676fd75f4a8db7b55bdeae09b150be615bf 391448 menhir_20240715+ds-1+b1_sh4.deb Build-Origin: Debian Build-Architecture: sh4 Build-Date: Mon, 27 Jan 2025 07:42:36 +0000 Build-Path: /build/menhir-Oh3Pr7/menhir-20240715+ds Build-Tainted-By: usr-local-has-programs Installed-Build-Depends: autoconf (= 2.72-3), automake (= 1:1.16.5-1.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.50.20241230-1), binutils-common (= 2.43.50.20241230-1), binutils-sh4-linux-gnu (= 2.43.50.20241230-1), bsdextrautils (= 2.40.4-1), bsdutils (= 1:2.40.4-1), build-essential (= 12.12), bzip2 (= 1.0.8-6), coreutils (= 9.5-1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-7), cpp-14-sh4-linux-gnu (= 14.2.0-7), cpp-sh4-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+b2), file (= 1:5.45-3+b1), 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-7), g++-14-sh4-linux-gnu (= 14.2.0-7), g++-sh4-linux-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-7), gcc-14-base (= 14.2.0-7), gcc-14-sh4-linux-gnu (= 14.2.0-7), gcc-sh4-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+b1), libapache-pom-java (= 33-2), libarchive-zip-perl (= 1.68-1), libatomic1 (= 14.2.0-7), 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.50.20241230-1), libblkid1 (= 2.40.4-1), libbrotli1 (= 1.1.0-2+b6), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.40-3+sh4), libc-dev-bin (= 2.40-3+sh4), libc6 (= 2.40-3+sh4), libc6-dev (= 2.40-3+sh4), libcairo2 (= 1.18.2-2), libcap-ng0 (= 0.8.5-4), libcap2 (= 1:2.66-5+b1), libcc1-0 (= 14.2.0-7), 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-1), libconfig-tiny-perl (= 2.30-1), libcrypt-dev (= 1:4.4.38-1), libcrypt1 (= 1:4.4.38-1), libctf-nobfd0 (= 2.43.50.20241230-1), libctf0 (= 2.43.50.20241230-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+b2), libfreetype6 (= 2.13.3+dfsg-1), libgcc-14-dev (= 14.2.0-7), libgcc-s1 (= 14.2.0-7), 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-7), libgraphite2-3 (= 1.3.14-2+b1), 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.3-4), 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+b1), libice6 (= 2:1.1.1-1), libicu72 (= 72.1-6), libidn12 (= 1.42-2+b1), libidn2-0 (= 2.3.7-2+b1), libijs-0.35 (= 0.35-15.1+b1), libisl23 (= 0.27-1), libitm1 (= 14.2.0-7), libjansson4 (= 2.14-2+b1), libjbig0 (= 2.1-6.1+b1), libjbig2dec0 (= 0.20-1+b2), libjpeg62-turbo (= 1:2.1.5-3+b1), libk5crypto3 (= 1.21.3-4), libkeyutils1 (= 1.6.3-4), libkpathsea6 (= 2024.20240313.70630+ds-5+b1), libkrb5-3 (= 1.21.3-4), libkrb5support0 (= 1.21.3-4), liblcms2-2 (= 2.16-2), liblerc4 (= 4.0.0+ds-5), liblqr-1-0 (= 0.4.2-2.1+b2), libltdl7 (= 2.5.4-2), liblzma5 (= 5.6.3-1+b1), libmagic-mgc (= 1:5.45-3+b1), libmagic1t64 (= 1:5.45-3+b1), 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+b1), libmount1 (= 2.40.4-1), libmpc3 (= 1.3.1-1+b1), libmpfi0 (= 1.5.4+ds-4), libmpfr6 (= 4.2.1-1+b1), libncurses-dev (= 6.5-2+b1), libncurses6 (= 6.5-2+b1), libncursesw6 (= 6.5-2+b1), libnetpbm11t64 (= 2:11.09.02-2), libnettle8t64 (= 3.10-1+b1), libopenjp2-7 (= 2.5.0-2+b2), libp11-kit0 (= 0.25.5-3), libpam-modules (= 1.5.3-7+b1), libpam-modules-bin (= 1.5.3-7+b1), libpam-runtime (= 1.5.3-7), libpam0g (= 1.5.3-7+b1), 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.45-1), libpotrace0 (= 1.16-2+b1), 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.3-1+b1), libreadline8t64 (= 8.2-6), libselinux1 (= 3.7-3+b1), libsframe1 (= 2.43.50.20241230-1), libsharpyuv0 (= 1.5.0-0.1), libsm6 (= 2:1.2.4-1), libsmartcols1 (= 2.40.4-1), libsqlite3-0 (= 3.46.1-1), libssl3t64 (= 3.4.0-2), libstdc++-14-dev (= 14.2.0-7), libstdc++6 (= 14.2.0-7), libstdlib-ocaml (= 5.3.0-1), libstdlib-ocaml-dev (= 5.3.0-1), libsynctex2 (= 2024.20240313.70630+ds-5+b1), libsystemd0 (= 257.2-3), libtasn1-6 (= 4.19.0-3+b3), libteckit0 (= 2.5.12+ds1-1+b1), 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-2+b1), libtool (= 2.5.4-2), libuchardet0 (= 0.0.8-1+b1), libudev1 (= 257.2-3), libunistring5 (= 1.3-1), libuuid1 (= 2.40.4-1), 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+b3), libxi6 (= 2:1.8.1-1), libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1), libxmu6 (= 2:1.1.3-3+b4), libxpm4 (= 1:3.5.17-1+b3), libxrender1 (= 1:0.9.10-1.1+b3), libxt6t64 (= 1:1.2.1-1.2+b2), 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.4.1-1), man-db (= 2.13.0-1), mawk (= 1.3.4.20240905-1), media-types (= 10.1.0), ncurses-base (= 6.5-2), ncurses-bin (= 6.5-2+b1), netbase (= 6.4), netpbm (= 2:11.09.02-2), ocaml (= 5.3.0-1), ocaml-base (= 5.3.0-1), ocaml-dune (= 3.17.1-2+b1), ocaml-interp (= 5.3.0-1), openssl-provider-legacy (= 3.4.0-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.0048), util-linux (= 2.40.4-1), 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.3-1+b1), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="nobench nocheck parallel=2" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1737962919" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEaGt4gwTH9Ryd2SumVgx+UhU/gv0FAmeXOQAACgkQVgx+UhU/ gv1/uQ//YRhILfH83l5tP1CcB85umquG+8Yi5MpC//Vl716SqfSPLabgsW6AQSEk wGdyskKx2PMnblr7WnCE7xGiLnyQ9mR1yFc2yDkf7cbYCC3rMxZhKW4NICWxzXAz C4/U1mnn6jF/6zINenwySvdogCcdVh4v73s+J7HNtqE98wo6mgxm7GGEHy7c98Jl JuzLa9hgrSI4dNNGN7c5+NhBL7FOn5Cn2FDv6hwmRo0uryMLhHJAeYxJjvnhoFm5 EwZDl4l8Buzz+zD0hKpkLFN+3k/QW6VofBEKLQhPxDzulexQ8SLGdkKwYvaDGLRd Wfxm65mySw0lLOEG6nsGW8/4mxK6TaNCFh5qdSdSVKXNP5yolcxCZqdrsVuCMrV6 ntzTreJIagH2s9p6iD1uCgzcqMHEnkjiD3cN7FHGIzgmayxVpo09gV6ULC16fUL8 kZjTxlbGcg4zOnUxTRLJ1DdNRmPJFP5Q7RckHaynNF9ufgYtuh4p57M/2zkwWIjb E784QmdwS+ZyzlgRdw5/n1F8VTTz3teVuv/bykiEB74pPVFFDdtzl+qQeCenZnZs 8BSjRx6WTtwv3rshzbiVELyfG2rRA91TfAX6McilDSiZhXhqpUzrA0efB4jz+uuQ RgNIGhEio/hfGZ6veKgyWy0zbmS8qrwBSRnoEkzOQxh3gjJvf5E= =+8EI -----END PGP SIGNATURE-----