-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: why3 (1.6.0-1) Binary: libwhy3-ocaml-dev libwhy3-ocaml-dev-dbgsym why3 why3-dbgsym Architecture: hurd-i386 Version: 1.6.0-1+b7 Binary-Only-Changes: why3 (1.6.0-1+b7) sid; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for hurd-i386; no source changes. * Rebuild with new ABIs of dependencies . -- Debian GNU/Hurd Build Daemon Mon, 15 Jul 2024 08:34:55 +0000 Checksums-Md5: 87ec498a40012c639a0eb15dce12e540 802684 libwhy3-ocaml-dev-dbgsym_1.6.0-1+b7_hurd-i386.deb d85792f7c265faa0ab68563d2e67773f 10687332 libwhy3-ocaml-dev_1.6.0-1+b7_hurd-i386.deb 1f93258bc475050cacc076cd6c32a165 2691876 why3-dbgsym_1.6.0-1+b7_hurd-i386.deb 57abea05b4caabde5edccb33c4b93848 10880960 why3_1.6.0-1+b7_hurd-i386.deb Checksums-Sha1: 3623dd83865d7bfb43f5cfa5ea3278c0850f6cd1 802684 libwhy3-ocaml-dev-dbgsym_1.6.0-1+b7_hurd-i386.deb 28c8846c3cd291a3efac60c8f90aae1b7d2ec69a 10687332 libwhy3-ocaml-dev_1.6.0-1+b7_hurd-i386.deb b7a655de73596f9ca34afceb1be297f57977ec26 2691876 why3-dbgsym_1.6.0-1+b7_hurd-i386.deb 61db30ca3287b7c7f15e300ba99984471b8ec5bb 10880960 why3_1.6.0-1+b7_hurd-i386.deb Checksums-Sha256: a298042ec2864f40b45bbc8c255e17704e1dc90986634074221f609ce1979242 802684 libwhy3-ocaml-dev-dbgsym_1.6.0-1+b7_hurd-i386.deb e8b53a6d68690c7bdb91ca0003760d4d8bac5722f37c7bbc645803365ebb3712 10687332 libwhy3-ocaml-dev_1.6.0-1+b7_hurd-i386.deb 37985519951bc3c0b5ec1d1970254060e9c9c0d4aea0bfd50039547a75eef7be 2691876 why3-dbgsym_1.6.0-1+b7_hurd-i386.deb d7486a2b3309fcfa7e39c5987a84bb6be02eeaf0379a48ea3b0c1d769041f9c0 10880960 why3_1.6.0-1+b7_hurd-i386.deb Build-Origin: Debian Build-Architecture: hurd-i386 Build-Date: Mon, 15 Jul 2024 08:42:38 +0000 Build-Path: /build/why3-zC6tU9/why3-1.6.0 Build-Tainted-By: merged-usr-via-aliased-dirs Installed-Build-Depends: adwaita-icon-theme (= 46.0-1), at-spi2-common (= 2.52.0-1), autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.22.5-1), autotools-dev (= 20220109.1), base-files (= 13.3), base-passwd (= 3.6.4), bash (= 5.2.21-2.1), binutils (= 2.42.50.20240710-1), binutils-common (= 2.42.50.20240710-1), binutils-i686-gnu (= 2.42.50.20240710-1), bsdextrautils (= 2.40.1-4+hurd.1), bsdutils (= 1:2.40.1-4+hurd.1), build-essential (= 12.10), bzip2 (= 1.0.8-5.1), coreutils (= 9.1-1), cpp (= 4:13.2.0-7), cpp-13 (= 13.3.0-2), cpp-13-i686-gnu (= 13.3.0-2), cpp-i686-gnu (= 4:13.2.0-7), dash (= 0.5.12-9), dbus-bin (= 1.14.10-4+b1), dbus-daemon (= 1.14.10-4+b1), dbus-session-bus-common (= 1.14.10-4), dbus-x11 (= 1.14.10-4+b1), dconf-gsettings-backend (= 0.40.0-3), dconf-service (= 0.40.0-3), debconf (= 1.5.87), debhelper (= 13.16), debianutils (= 5.20), dh-autoreconf (= 20), dh-ocaml (= 2.1), dh-strip-nondeterminism (= 1.14.0-1), diffutils (= 1:3.7-5), dpkg (= 1.22.6), dpkg-dev (= 1.22.6), dwz (= 0.15-1+b1), file (= 1:5.45-3), findutils (= 4.9.0-6), fontconfig (= 2.15.0-1.1), fontconfig-config (= 2.15.0-1.1), fonts-dejavu-core (= 2.37-8), fonts-dejavu-mono (= 2.37-8), g++ (= 4:13.2.0-7), g++-13 (= 13.3.0-2), g++-13-i686-gnu (= 13.3.0-2), g++-i686-gnu (= 4:13.2.0-7), gcc (= 4:13.2.0-7), gcc-13 (= 13.3.0-2), gcc-13-base (= 13.3.0-2), gcc-13-i686-gnu (= 13.3.0-2), gcc-14-base (= 14.1.0-4), gcc-i686-gnu (= 4:13.2.0-7), gettext (= 0.21-15), gettext-base (= 0.21-15), gir1.2-atk-1.0 (= 2.52.0-1), gir1.2-atspi-2.0 (= 2.52.0-1), gir1.2-cloudproviders-0.3.0 (= 0.3.6-1), gir1.2-freedesktop (= 1.80.1-3+b1), gir1.2-freedesktop-dev (= 1.80.1-3+b1), gir1.2-gdkpixbuf-2.0 (= 2.42.12+dfsg-1), gir1.2-glib-2.0 (= 2.80.4-1), gir1.2-glib-2.0-dev (= 2.80.4-1), gir1.2-gtk-3.0 (= 3.24.41-4), gir1.2-gtksource-3.0 (= 3.24.8-1), gir1.2-harfbuzz-0.0 (= 8.3.0-2+b1), gir1.2-pango-1.0 (= 1.54.0+ds-1), gnumach-dev (= 2:1.8+git20240714-1), grep (= 3.6-1), groff-base (= 1.23.0-5), gtk-update-icon-cache (= 3.24.41-4), gzip (= 1.12-1), hicolor-icon-theme (= 0.18-1), hostname (= 3.23+nmu2), hurd (= 1:0.9.git20240714-1), hurd-dev (= 1:0.9.git20240714-1), hurd-libs0.3 (= 1:0.9.git20240714-1), icu-devtools (= 72.1-5), init-system-helpers (= 1.66), insserv (= 1.24.0-3), intltool-debian (= 0.35.0+20060710.6), less (= 643-1+hurd.1), libacl1 (= 2.3.2-2), libarchive-zip-perl (= 1.68-1), libatk-bridge2.0-0t64 (= 2.52.0-1), libatk-bridge2.0-dev (= 2.52.0-1), libatk1.0-0t64 (= 2.52.0-1), libatk1.0-dev (= 2.52.0-1), libatomic1 (= 14.1.0-4), libatspi2.0-0t64 (= 2.52.0-1), libatspi2.0-dev (= 2.52.0-1), libavahi-client3 (= 0.8-13+b1), libavahi-common-data (= 0.8-13+b1), libavahi-common3 (= 0.8-13+b1), libbinutils (= 2.42.50.20240710-1), libblkid1 (= 2.40.1-4+hurd.1), libbrotli-dev (= 1.1.0-2+b4), libbrotli1 (= 1.1.0-2+b4), libbsd0 (= 0.12.2-1), libbz2-1.0 (= 1.0.8-5.1), libbz2-dev (= 1.0.8-5.1), libc-bin (= 2.38-14), libc-dev-bin (= 2.38-14), libc0.3 (= 2.38-14), libc0.3-dev (= 2.38-14), libcairo-gobject2 (= 1.18.0-3+b1), libcairo-script-interpreter2 (= 1.18.0-3+b1), libcairo2 (= 1.18.0-3+b1), libcairo2-dev (= 1.18.0-3+b1), libcairo2-ocaml (= 0.6.4+dfsg-2+b1), libcairo2-ocaml-dev (= 0.6.4+dfsg-2+b1), libcc1-0 (= 14.1.0-4), libcloudproviders-dev (= 0.3.6-1), libcloudproviders0 (= 0.3.6-1), libcolord2 (= 1.3.3-2), libcom-err2 (= 1.47.1-1), libcompiler-libs-ocaml-dev (= 4.14.1-1), libcrypt-dev (= 1:4.4.36-4), libcrypt1 (= 1:4.4.36-4), libctf-nobfd0 (= 2.42.50.20240710-1), libctf0 (= 2.42.50.20240710-1), libcups2t64 (= 2.4.10-1), libdaemon0 (= 0.14-7.1), libdatrie-dev (= 0.2.13-3), libdatrie1 (= 0.2.13-3), libdb5.3t64 (= 5.3.28+dfsg2-5+b1), libdbus-1-3 (= 1.14.10-4+b1), libdbus-1-dev (= 1.14.10-4+b1), libdconf1 (= 0.40.0-3), libdebconfclient0 (= 0.272), libdebhelper-perl (= 13.16), libdeflate-dev (= 1.19-1), libdeflate0 (= 1.19-1), libdpkg-perl (= 1.22.6), libdrm-common (= 2.4.121-2), libdrm2 (= 2.4.107-2+hurd.1), libegl-dev (= 1.3.2-1), libegl-mesa0 (= 20.2.6-1), libegl1 (= 1.3.2-1), libelf1t64 (= 0.191-2), libepoxy-dev (= 1.5.10-1), libepoxy0 (= 1.5.10-1), libexpat1 (= 2.6.2-1), libexpat1-dev (= 2.6.2-1), libffi-dev (= 3.4.6-1), libffi8 (= 3.4.6-1), libfile-stripnondeterminism-perl (= 1.14.0-1), libfindlib-ocaml (= 1.9.6-2), libfontconfig-dev (= 2.15.0-1.1), libfontconfig1 (= 2.15.0-1.1), libfreetype-dev (= 2.13.2+dfsg-1+b2), libfreetype6 (= 2.13.2+dfsg-1+b2), libfribidi-dev (= 1.0.13-3), libfribidi0 (= 1.0.13-3), libgcc-13-dev (= 13.3.0-2), libgcc-s1 (= 14.1.0-4), libgcrypt20 (= 1.11.0-2), libgdbm-compat4t64 (= 1.23-6), libgdbm6t64 (= 1.23-6), libgdk-pixbuf-2.0-0 (= 2.42.12+dfsg-1), libgdk-pixbuf-2.0-dev (= 2.42.12+dfsg-1), libgdk-pixbuf-xlib-2.0-0 (= 2.40.2-3+b1), libgdk-pixbuf2.0-0 (= 2.40.2-3+b1), libgdk-pixbuf2.0-bin (= 2.42.12+dfsg-1), libgdk-pixbuf2.0-common (= 2.42.12+dfsg-1), libgirepository-2.0-0 (= 2.80.4-1), libgl-dev (= 1.3.2-1), libgl1 (= 1.3.2-1), libgl1-mesa-dri (= 20.2.6-1), libglapi-mesa (= 20.2.6-1), libglib2.0-0t64 (= 2.80.4-1), libglib2.0-bin (= 2.80.4-1), libglib2.0-data (= 2.80.4-1), libglib2.0-dev (= 2.80.4-1), libglib2.0-dev-bin (= 2.80.4-1), libglvnd0 (= 1.3.2-1), libglx-dev (= 1.3.2-1), libglx-mesa0 (= 20.2.6-1), libglx0 (= 1.3.2-1), libgmp-dev (= 2:6.3.0+dfsg-2+b1), libgmp10 (= 2:6.3.0+dfsg-2+b1), libgmp3-dev (= 2:6.3.0+dfsg-2+b1), libgmpxx4ldbl (= 2:6.3.0+dfsg-2+b1), libgnutls30t64 (= 3.8.5-1), libgomp1 (= 14.1.0-4), libgpg-error0 (= 1.49-2), libgraphite2-3 (= 1.3.14-2), libgraphite2-dev (= 1.3.14-2), libgssapi-krb5-2 (= 1.20.1-5.1), libgtk-3-0t64 (= 3.24.41-4), libgtk-3-common (= 3.24.43-1), libgtk-3-dev (= 3.24.41-4), libgtksourceview-3.0-1 (= 3.24.8-1), libgtksourceview-3.0-common (= 3.24.11-2), libgtksourceview-3.0-dev (= 3.24.8-1), libharfbuzz-cairo0 (= 8.3.0-2+b1), libharfbuzz-dev (= 8.3.0-2+b1), libharfbuzz-gobject0 (= 8.3.0-2+b1), libharfbuzz-icu0 (= 8.3.0-2+b1), libharfbuzz-subset0 (= 8.3.0-2+b1), libharfbuzz0b (= 8.3.0-2+b1), libhogweed6t64 (= 3.10-1), libice-dev (= 2:1.0.10-1), libice6 (= 2:1.0.10-1), libicu-dev (= 72.1-5), libicu72 (= 72.1-5), libidn2-0 (= 2.3.7-2), libisl23 (= 0.26-3), libjansson4 (= 2.14-2), libjbig-dev (= 2.1-6.1), libjbig0 (= 2.1-6.1), libjpeg-dev (= 1:2.1.5-3), libjpeg62-turbo (= 1:2.1.5-3), libjpeg62-turbo-dev (= 1:2.1.5-3), libk5crypto3 (= 1.20.1-5.1), libkrb5-3 (= 1.20.1-5.1), libkrb5support0 (= 1.20.1-5.1), liblablgtk3-ocaml (= 3.1.5-1), liblablgtk3-ocaml-dev (= 3.1.5-1), liblablgtksourceview3-ocaml (= 3.1.5-1), liblablgtksourceview3-ocaml-dev (= 3.1.5-1), liblcms2-2 (= 2.14-2), liblerc-dev (= 4.0.0+ds-4), liblerc4 (= 4.0.0+ds-4), liblwip0t64 (= 2.2.0+dfsg1-7), liblzma-dev (= 5.6.2-2), liblzma5 (= 5.6.2-2), liblzo2-2 (= 2.10-3), libmagic-mgc (= 1:5.45-3), libmagic1t64 (= 1:5.45-3), libmd0 (= 1.1.0-2), libmenhir-ocaml-dev (= 20231231+ds-1), libmount1 (= 2.40.1-4+hurd.1), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.1-1), libncurses-dev (= 6.5-2), libncurses6 (= 6.5-2), libncursesw6 (= 6.5-2), libnettle8t64 (= 3.10-1), libnum-ocaml (= 1.5-1), libnum-ocaml-dev (= 1.5-1), libocamlgraph-ocaml-dev (= 2.1.0-1+b1), libp11-kit0 (= 0.25.5-2), libpam-modules (= 1.5.3-6+hurd.1), libpam-modules-bin (= 1.5.3-6+hurd.1), libpam-runtime (= 1.5.3-7), libpam0g (= 1.5.3-6+hurd.1), libpango-1.0-0 (= 1.54.0+ds-1), libpango1.0-dev (= 1.54.0+ds-1), libpangocairo-1.0-0 (= 1.54.0+ds-1), libpangoft2-1.0-0 (= 1.54.0+ds-1), libpangoxft-1.0-0 (= 1.54.0+ds-1), libparted2t64 (= 3.6-4), libpciaccess0 (= 0.17-3), libpcre2-16-0 (= 10.42-4+b1), libpcre2-32-0 (= 10.42-4+b1), libpcre2-8-0 (= 10.42-4+b1), libpcre2-dev (= 10.42-4+b1), libpcre2-posix3 (= 10.42-4+b1), libpcre3 (= 2:8.39-15), libperl5.38t64 (= 5.38.2-5), libpipeline1 (= 1.5.7-2), libpixman-1-0 (= 0.42.2-1), libpixman-1-dev (= 0.42.2-1), libpkgconf3 (= 1.8.1-3), libpng-dev (= 1.6.43-5), libpng16-16t64 (= 1.6.43-5), libpthread-stubs0-dev (= 0.4-1), libpython3-stdlib (= 3.12.3-1), libpython3.12-minimal (= 3.12.4-1+hurd.1), libpython3.12-stdlib (= 3.12.4-1+hurd.1), libquadmath0 (= 14.1.0-4), libreadline8t64 (= 8.2-4+hurd.1), libsframe1 (= 2.42.50.20240710-1), libsharpyuv-dev (= 1.4.0-0.1), libsharpyuv0 (= 1.4.0-0.1), libsigsegv2 (= 2.14-1+b1), libsm-dev (= 2:1.2.3-1), libsm6 (= 2:1.2.3-1), libsmartcols1 (= 2.40.1-4+hurd.1), libsqlite3-0 (= 3.46.0-1), libsqlite3-dev (= 3.46.0-1), libsqlite3-ocaml (= 5.1.0-3+b1), libsqlite3-ocaml-dev (= 5.1.0-3+b1), libssl3t64 (= 3.2.2-1), libstdc++-13-dev (= 13.3.0-2), libstdc++6 (= 14.1.0-4), libstdlib-ocaml (= 4.14.1-1), libstdlib-ocaml-dev (= 4.14.1-1), libtasn1-6 (= 4.19.0-3+b2), libthai-data (= 0.1.29-2), libthai-dev (= 0.1.29-2), libthai0 (= 0.1.29-2), libtiff-dev (= 4.5.1+git230720-4), libtiff6 (= 4.5.1+git230720-4), libtiffxx6 (= 4.5.1+git230720-4), libtinfo6 (= 6.5-2), libtool (= 2.4.7-7), libuchardet0 (= 0.0.8-1), libunistring5 (= 1.1-2), libuuid1 (= 2.40.1-4+hurd.1), libwebp-dev (= 1.4.0-0.1), libwebp7 (= 1.4.0-0.1), libwebpdecoder3 (= 1.4.0-0.1), libwebpdemux2 (= 1.4.0-0.1), libwebpmux3 (= 1.4.0-0.1), libx11-6 (= 2:1.8.7-1), libx11-data (= 2:1.8.7-1), libx11-dev (= 2:1.8.7-1), libx11-xcb1 (= 2:1.8.7-1), libxau-dev (= 1:1.0.9-1), libxau6 (= 1:1.0.9-1), libxcb-dri2-0 (= 1.15-1), libxcb-glx0 (= 1.15-1), libxcb-render0 (= 1.15-1), libxcb-render0-dev (= 1.15-1), libxcb-shm0 (= 1.15-1), libxcb-shm0-dev (= 1.15-1), libxcb-xfixes0 (= 1.15-1), libxcb1 (= 1.15-1), libxcb1-dev (= 1.15-1), libxcomposite-dev (= 1:0.4.5-1), libxcomposite1 (= 1:0.4.5-1), libxcursor-dev (= 1:1.2.2-1), libxcursor1 (= 1:1.2.2-1), libxdamage-dev (= 1:1.1.6-1), libxdamage1 (= 1:1.1.6-1), libxdmcp-dev (= 1:1.1.2-3), libxdmcp6 (= 1:1.1.2-3), libxext-dev (= 2:1.3.4-1+b1), libxext6 (= 2:1.3.4-1+b1), libxfixes-dev (= 1:6.0.0-2), libxfixes3 (= 1:6.0.0-2), libxft-dev (= 2.3.6-1), libxft2 (= 2.3.6-1), libxi-dev (= 2:1.8.1-1), libxi6 (= 2:1.8.1-1), libxinerama-dev (= 2:1.1.4-3), libxinerama1 (= 2:1.1.4-3), libxkbcommon-dev (= 1.6.0-1), libxkbcommon0 (= 1.6.0-1), libxml2 (= 2.12.7+dfsg-3+b1), libxml2-dev (= 2.12.7+dfsg-3+b1), libxrandr-dev (= 2:1.5.4-1), libxrandr2 (= 2:1.5.4-1), libxrender-dev (= 1:0.9.10-1.1), libxrender1 (= 1:0.9.10-1.1), libxtst-dev (= 2:1.2.3-1.1), libxtst6 (= 2:1.2.3-1.1), libzarith-ocaml (= 1.13-2+b1), libzarith-ocaml-dev (= 1.13-2+b1), libzip-ocaml (= 1.12-1), libzip-ocaml-dev (= 1.12-1), libzstd-dev (= 1.5.6+dfsg-1), libzstd1 (= 1.5.6+dfsg-1), login (= 1:4.13+dfsg1-5), m4 (= 1.4.18-5), make (= 4.3-4.1+b2), man-db (= 2.11.2-3), mawk (= 1.3.4.20240622-1), media-types (= 10.1.0), menhir (= 20231231+ds-1), ncurses-base (= 6.5-2), ncurses-bin (= 6.5-2), netbase (= 6.4), ocaml (= 4.14.1-1), ocaml-base (= 4.14.1-1), ocaml-findlib (= 1.9.6-2), ocaml-interp (= 4.14.1-1), pango1.0-tools (= 1.54.0+ds-1), passwd (= 1:4.13+dfsg1-5), patch (= 2.7.6-7), perl (= 5.38.2-5), perl-base (= 5.38.2-5), perl-modules-5.38 (= 5.38.2-5), pkgconf (= 1.8.1-3), pkgconf-bin (= 1.8.1-3), po-debconf (= 1.0.21+nmu1), python3 (= 3.12.3-1), python3-minimal (= 3.12.3-1), python3-packaging (= 24.1-1), python3.12 (= 3.12.4-1+hurd.1), python3.12-minimal (= 3.12.4-1+hurd.1), readline-common (= 8.2-4+hurd.1), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2), sensible-utils (= 0.0.24), sgml-base (= 1.31), shared-mime-info (= 2.4-5), startpar (= 0.65-4), sysv-rc (= 3.09-2), sysvinit-utils (= 3.08-7), tar (= 1.34+dfsg-1.4), tex-common (= 6.18), tzdata (= 2024a-4), ucf (= 3.0043+nmu1), usr-is-merged (= 39), util-linux (= 2.40.1-4+hurd.1), uuid-dev (= 2.40.1-4+hurd.1), x11-common (= 1:7.7+23), x11proto-dev (= 2024.1-1), xkb-data (= 2.42-1), xml-core (= 0.19), xorg-sgml-doctools (= 1:1.11-1.1), xtrans-dev (= 1.4.0-1), xz-utils (= 5.6.2-2), zlib1g (= 1:1.3.dfsg+really1.3.1-1), zlib1g-dev (= 1:1.3.dfsg+really1.3.1-1) Environment: DEB_BUILD_OPTIONS="parallel=1" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1721032495" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEIoYA08fqYtCNNFlAnIGTW2LmPowFAmaU4SgACgkQnIGTW2Lm Poyi1g//QSHKFftCylfiYdme0p/7rHqCAXQtxydVXrNH9ODY31Cuc8X0mKRdkm7n lFL/Waiv8J/N4FMZckdISU+ywu7J1U5gA43hS/1FcMUwI8Jhg2sbdm6lrO6anUMm 482k4hi1WWJQqFC0rWDs3RPDqbSVq2A7OLpRtNDX33ei6+SrfEyCMo23l72UBRnX HnEcqF37Wtpoe7kcysLYUtLRVkaK9RqX3u9OFJpPGZJYA67fAnbEi3YFOwLasfYZ pC0HuqgVHIZtvxQqudijfgehd+ONZ7tS5BGZD9GVJAvMz/HmgjtNsmgNKLMxzCWu BYqsh9qiUR9MfzmALPLXcJ3moHdMJSdrNXNJ3gBqtas9G4BcpQhMoEBOB2aJbfwL XG4NMRJ47z2YPmQH3p9Pum+qcS9LsKpJGWmxv09zzyYu+xPUszoeLMmn3XkcSWlv sTXUW0s1D0/Ynu8tqk+FXwUO0BBLKR9Y7QcGKX12ajMt2haP9OVb+mYihJXFYhM2 42QOjcYhgQa1KhSOngcvCXEIATw0Ol0+5fphwJUVOH89HSLJrP3MrqZdO1IJx3Bc 6fycwsNO1C8ig+gudO3YMAek0l1NX4jKQfawlnQz8bu3Fba6v2Z33v8IvoCM31A5 O1ntdoZY/lp72oZ6PYjfCM7P+sMjx+0swjWfM+FqBHDHuTCMFZQ= =vWY6 -----END PGP SIGNATURE-----