-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: why3 Binary: libwhy3-ocaml-dev libwhy3-ocaml-dev-dbgsym why3 why3-dbgsym Architecture: hurd-amd64 Version: 1.8.0-2 Checksums-Md5: 5f0455a4b5457b4b96aebacf05ed5230 869432 libwhy3-ocaml-dev-dbgsym_1.8.0-2_hurd-amd64.deb 399322efff3bd093ae841d75ee7c0cff 13076964 libwhy3-ocaml-dev_1.8.0-2_hurd-amd64.deb db89452e8d509d754c21673fb1396d60 2869364 why3-dbgsym_1.8.0-2_hurd-amd64.deb 1550d3fd221870ddb5d6e6be7329cad4 12360336 why3_1.8.0-2_hurd-amd64.deb Checksums-Sha1: 52a2ff4f120fecb3b8800b17f49218cfc85b2544 869432 libwhy3-ocaml-dev-dbgsym_1.8.0-2_hurd-amd64.deb f7343c6f2296117cd2159232dad4092982580c4c 13076964 libwhy3-ocaml-dev_1.8.0-2_hurd-amd64.deb 276316e30101f50474029eb94a0f4b788f059f97 2869364 why3-dbgsym_1.8.0-2_hurd-amd64.deb 656222cd1c654bc652c17acbdfe497d02010c659 12360336 why3_1.8.0-2_hurd-amd64.deb Checksums-Sha256: 47b0350caafd45ceda6c5fb59fdbfcd57cdc160dba71f1230774cc72dfb4be03 869432 libwhy3-ocaml-dev-dbgsym_1.8.0-2_hurd-amd64.deb 22f7372fd6e3ec879e111c117025d8ae99316d006c4980fb668e8dd4fb18fe47 13076964 libwhy3-ocaml-dev_1.8.0-2_hurd-amd64.deb 76dee77746a84dece71ab1321d07d24ff6226fddd695342ba452adca26c892a0 2869364 why3-dbgsym_1.8.0-2_hurd-amd64.deb d1ba1dddd7c92427788fa915e9d2afda2ce9ba73737d0087c67baf94c903cc52 12360336 why3_1.8.0-2_hurd-amd64.deb Build-Origin: Debian Build-Architecture: hurd-amd64 Build-Date: Fri, 07 Mar 2025 22:13:41 +0000 Build-Path: /build/reproducible-path/why3-1.8.0 Installed-Build-Depends: adwaita-icon-theme (= 48~beta-3), at-spi2-common (= 2.55.2-1), autoconf (= 2.72-3), automake (= 1:1.17-3), autopoint (= 0.23.1-1), autotools-dev (= 20220109.1), base-files (= 13.7), base-passwd (= 3.6.6), bash (= 5.2.37-1), binutils (= 2.44-3), binutils-common (= 2.44-3), binutils-x86-64-gnu (= 2.44-3), bsdextrautils (= 2.40.2-12+hurd.1), bsdutils (= 1:2.40.2-12+hurd.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-12), cpp-14-x86-64-gnu (= 14.2.0-12), cpp-x86-64-gnu (= 4:14.2.0-1), dash (= 0.5.12-12), dbus-bin (= 1.16.2-1), dbus-daemon (= 1.16.2-1), dbus-session-bus-common (= 1.16.2-1), dbus-x11 (= 1.16.2-1), dconf-gsettings-backend (= 0.40.0-5), dconf-service (= 0.40.0-5), debconf (= 1.5.89), debhelper (= 13.24.1), debianutils (= 5.21), dh-autoreconf (= 20), dh-ocaml (= 2.4), dh-strip-nondeterminism (= 1.14.1-2), diffutils (= 1:3.10-2), dpkg (= 1.22.15), dpkg-dev (= 1.22.15), dwz (= 0.15-1+b2), file (= 1:5.45-3+b1), findutils (= 4.10.0-3), fontconfig (= 2.15.0-2), fontconfig-config (= 2.15.0-2), fonts-dejavu-core (= 2.37-8), fonts-dejavu-mono (= 2.37-8), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-12), g++-14-x86-64-gnu (= 14.2.0-12), g++-x86-64-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-12), gcc-14-base (= 14.2.0-12), gcc-14-x86-64-gnu (= 14.2.0-12), gcc-x86-64-gnu (= 4:14.2.0-1), gettext (= 0.23.1-1), gettext-base (= 0.23.1-1), gir1.2-atk-1.0 (= 2.55.2-1), gir1.2-atspi-2.0 (= 2.55.2-1), gir1.2-cloudproviders-0.3.0 (= 0.3.6-1+b1), gir1.2-freedesktop (= 1.83.2-2), gir1.2-freedesktop-dev (= 1.83.2-2), gir1.2-gdkpixbuf-2.0 (= 2.42.12+dfsg-2), gir1.2-glib-2.0 (= 2.83.5-1), gir1.2-glib-2.0-dev (= 2.83.5-1), gir1.2-gtk-3.0 (= 3.24.48-4), gir1.2-gtksource-3.0 (= 3.24.11-3), gir1.2-harfbuzz-0.0 (= 10.2.0-1), gir1.2-pango-1.0 (= 1.56.1-1), girepository-tools (= 2.83.5-1), gnumach-dev (= 2:1.8+git20250304-1), grep (= 3.11-4+hurd.1), groff-base (= 1.23.0-7), gtk-update-icon-cache (= 4.16.12+ds-3), gzip (= 1.12-1.2), hicolor-icon-theme (= 0.18-2), hostname (= 3.25), hurd (= 1:0.9.git20250304-1), hurd-dev (= 1:0.9.git20250304-1), hurd-libs0.3 (= 1:0.9.git20250304-1), icu-devtools (= 72.1-6), init-system-helpers (= 1.68), insserv (= 1.26.0-1), intltool-debian (= 0.35.0+20060710.6), less (= 590-2+hurd.1), libacl1 (= 2.3.2-2+b1), libacpica0 (= 0~20220331-4), libarchive-zip-perl (= 1.68-1), libatk-bridge2.0-0t64 (= 2.55.2-1), libatk-bridge2.0-dev (= 2.55.2-1), libatk1.0-0t64 (= 2.55.2-1), libatk1.0-dev (= 2.55.2-1), libatomic1 (= 14.2.0-12), libatspi2.0-0t64 (= 2.55.2-1), libatspi2.0-dev (= 2.55.2-1), libattr1 (= 1:2.5.2-3), libavahi-client3 (= 0.8-13), libavahi-common-data (= 0.8-13), libavahi-common3 (= 0.8-13), libbinutils (= 2.44-3), libblkid1 (= 2.40.2-12+hurd.1), libbrotli-dev (= 1.1.0-2+b7), libbrotli1 (= 1.1.0-2+b7), libbsd0 (= 0.12.2-2), libbz2-1.0 (= 1.0.8-6), libbz2-dev (= 1.0.8-6), libc-bin (= 2.41-4~0), libc-dev-bin (= 2.41-4~0), libc0.3 (= 2.41-4~0), libc0.3-dev (= 2.41-4~0), libcairo-gobject2 (= 1.18.2-2), libcairo-script-interpreter2 (= 1.18.2-2), libcairo2 (= 1.18.2-2), libcairo2-dev (= 1.18.2-2), libcairo2-ocaml (= 0.6.5-2+b2), libcairo2-ocaml-dev (= 0.6.5-2+b2), libcc1-0 (= 14.2.0-12), libcloudproviders-dev (= 0.3.6-1+b1), libcloudproviders0 (= 0.3.6-1+b1), libcolord2 (= 1.3.3-2.1), libcom-err2 (= 1.47.2-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.44-3), libctf0 (= 2.44-3), libcups2t64 (= 2.4.10-2+b1), libdaemon0 (= 0.14-7.1+b3), libdatrie-dev (= 0.2.13-3+b1), libdatrie1 (= 0.2.13-3+b1), libdb5.3t64 (= 5.3.28+dfsg2-5), libdbus-1-3 (= 1.16.2-1), libdbus-1-dev (= 1.16.2-1), libdconf1 (= 0.40.0-5), libdebconfclient0 (= 0.277), libdebhelper-perl (= 13.24.1), libdeflate-dev (= 1.18-1), libdeflate0 (= 1.18-1), libdpkg-perl (= 1.22.15), libdrm-common (= 2.4.124-1), libdrm2 (= 2.4.107-2+hurd.2), libegl-dev (= 1.7.0-1+b2), libegl-mesa0 (= 20.2.6-1+hurd.1), libegl1 (= 1.7.0-1+b2), libelf1t64 (= 0.192-4), libepoxy-dev (= 1.5.10-1), libepoxy0 (= 1.5.10-1), libexpat1 (= 2.6.4-1), libexpat1-dev (= 2.6.4-1), libffi-dev (= 3.4.7-1), libffi8 (= 3.4.7-1), libfile-stripnondeterminism-perl (= 1.14.1-2), libfindlib-ocaml (= 1.9.8-1), libfontconfig-dev (= 2.15.0-2), libfontconfig1 (= 2.15.0-2), libfreetype-dev (= 2.13.3+dfsg-1), libfreetype6 (= 2.13.3+dfsg-1), libfribidi-dev (= 1.0.16-1), libfribidi0 (= 1.0.16-1), libgcc-14-dev (= 14.2.0-12), libgcc-s1 (= 14.2.0-12), libgcrypt20 (= 1.11.0-7), libgdbm-compat4t64 (= 1.24-2), libgdbm6t64 (= 1.24-2), libgdk-pixbuf-2.0-0 (= 2.42.12+dfsg-2), libgdk-pixbuf-2.0-dev (= 2.42.12+dfsg-2), libgdk-pixbuf2.0-bin (= 2.42.12+dfsg-2), libgdk-pixbuf2.0-common (= 2.42.12+dfsg-2), libgio-2.0-dev (= 2.83.5-1), libgio-2.0-dev-bin (= 2.83.5-1), libgirepository-2.0-0 (= 2.83.5-1), libgl-dev (= 1.7.0-1+b2), libgl1 (= 1.7.0-1+b2), libgl1-mesa-dri (= 20.2.6-1+hurd.1), libglapi-mesa (= 20.2.6-1+hurd.1), libglib2.0-0t64 (= 2.83.5-1), libglib2.0-bin (= 2.83.5-1), libglib2.0-data (= 2.83.5-1), libglib2.0-dev (= 2.83.5-1), libglib2.0-dev-bin (= 2.83.5-1), libglvnd0 (= 1.7.0-1+b2), libglx-dev (= 1.7.0-1+b2), libglx-mesa0 (= 20.2.6-1+hurd.1), libglx0 (= 1.7.0-1+b2), libgmp-dev (= 2:6.3.0+dfsg-3), libgmp10 (= 2:6.3.0+dfsg-3), libgmp3-dev (= 2:6.3.0+dfsg-3), libgmpxx4ldbl (= 2:6.3.0+dfsg-3), libgnutls30t64 (= 3.8.8-2+b1), libgomp1 (= 14.2.0-12), libgpg-error0 (= 1.51-3), libgraphite2-3 (= 1.3.14-2+b1), libgraphite2-dev (= 1.3.14-2+b1), libgssapi-krb5-2 (= 1.20.1-5.1), libgtk-3-0t64 (= 3.24.48-4), libgtk-3-common (= 3.24.48-4), libgtk-3-dev (= 3.24.48-4), libgtksourceview-3.0-1 (= 3.24.11-3), libgtksourceview-3.0-common (= 3.24.11-3), libgtksourceview-3.0-dev (= 3.24.11-3), libharfbuzz-cairo0 (= 10.2.0-1), libharfbuzz-dev (= 10.2.0-1), libharfbuzz-gobject0 (= 10.2.0-1), libharfbuzz-icu0 (= 10.2.0-1), libharfbuzz-subset0 (= 10.2.0-1), libharfbuzz0b (= 10.2.0-1), libhogweed6t64 (= 3.10.1-1), libice-dev (= 2:1.1.1-1), libice6 (= 2:1.1.1-1), libicu-dev (= 72.1-6), libicu72 (= 72.1-6), libidn2-0 (= 2.3.7-2+b1), libisl23 (= 0.27-1), libjansson4 (= 2.14-2+b2), libjbig-dev (= 2.1-6.1+b2), libjbig0 (= 2.1-6.1+b2), libjpeg-dev (= 1:2.1.5-3.1), libjpeg62-turbo (= 1:2.1.5-3.1), libjpeg62-turbo-dev (= 1:2.1.5-3.1), 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.16-2), liblerc-dev (= 4.0.0+ds-5), liblerc4 (= 4.0.0+ds-5), liblwip0t64 (= 2.2.1+dfsg1-1), liblzma-dev (= 5.6.4-1), liblzma5 (= 5.6.4-1), liblzo2-2 (= 2.10-3+b1), libmagic-mgc (= 1:5.45-3+b1), libmagic1t64 (= 1:5.45-3+b1), libmd0 (= 1.1.0-2+b1), libmenhir-ocaml-dev (= 20240715+ds-1+b2), libmount1 (= 2.40.2-12+hurd.1), libmpc3 (= 1.3.1-1+b2), libmpfr6 (= 4.2.1-1+b2), libncurses-dev (= 6.5+20250216-2), libncurses6 (= 6.5+20250216-2), libncursesw6 (= 6.5+20250216-2), libnettle8t64 (= 3.10.1-1), libnum-ocaml (= 1.5-1+b4), libnum-ocaml-dev (= 1.5-1+b4), libocamlgraph-ocaml-dev (= 2.1.0-3+b4), libp11-kit0 (= 0.25.5-3), libpam-modules (= 1.7.0-2+hurd.1), libpam-modules-bin (= 1.7.0-2+hurd.1), libpam-runtime (= 1.7.0-3), libpam0g (= 1.7.0-2+hurd.1), libpango-1.0-0 (= 1.56.1-1), libpango1.0-dev (= 1.56.1-1), libpangocairo-1.0-0 (= 1.56.1-1), libpangoft2-1.0-0 (= 1.56.1-1), libpangoxft-1.0-0 (= 1.56.1-1), libparted2t64 (= 3.6-5), libpciaccess0 (= 0.17-3), libpcre2-16-0 (= 10.45-1), libpcre2-32-0 (= 10.45-1), libpcre2-8-0 (= 10.45-1), libpcre2-dev (= 10.45-1), libpcre2-posix3 (= 10.45-1), libperl5.40 (= 5.40.1-2), libpipeline1 (= 1.5.8-1), libpixman-1-0 (= 0.44.0-3), libpixman-1-dev (= 0.44.0-3), libpkgconf3 (= 1.8.1-4), libpng-dev (= 1.6.47-1), libpng16-16t64 (= 1.6.47-1), libproc2-0 (= 2:4.0.4-2), libpthread-stubs0-dev (= 0.5-1), libpython3-stdlib (= 3.13.2-2), libpython3.13-minimal (= 3.13.2-1), libpython3.13-stdlib (= 3.13.2-1), libquadmath0 (= 14.2.0-12), libreadline8t64 (= 8.2-6), libsframe1 (= 2.44-3), libsharpyuv-dev (= 1.5.0-0.1), libsharpyuv0 (= 1.5.0-0.1), libsm-dev (= 2:1.2.4-1), libsm6 (= 2:1.2.4-1), libsmartcols1 (= 2.40.2-12+hurd.1), libsqlite3-0 (= 3.46.1-1), libsqlite3-dev (= 3.46.1-1), libsqlite3-ocaml (= 5.3.0-1), libsqlite3-ocaml-dev (= 5.3.0-1), libssl3t64 (= 3.4.1-1), libstdc++-14-dev (= 14.2.0-12), libstdc++6 (= 14.2.0-12), libstdlib-ocaml (= 5.3.0-2), libstdlib-ocaml-dev (= 5.3.0-2), libtasn1-6 (= 4.20.0-2), libtext-charwidth-perl (= 0.04-11+b4), libtext-wrapi18n-perl (= 0.06-10), libthai-data (= 0.1.29-2), libthai-dev (= 0.1.29-2+b1), libthai0 (= 0.1.29-2+b1), libtiff-dev (= 4.5.1+git230720-5), libtiff6 (= 4.5.1+git230720-5), libtiffxx6 (= 4.5.1+git230720-5), libtinfo6 (= 6.5+20250216-2), libtool (= 2.5.4-4), libuchardet0 (= 0.0.8-1+b1), libunistring5 (= 1.3-1), libuuid1 (= 2.40.2-12+hurd.1), libwebp-dev (= 1.5.0-0.1), libwebp7 (= 1.5.0-0.1), libwebpdecoder3 (= 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), libx11-dev (= 2:1.8.10-2), libx11-xcb1 (= 2:1.8.10-2), libxau-dev (= 1:1.0.11-1), libxau6 (= 1:1.0.11-1), libxcb-dri2-0 (= 1.15-1+b1), libxcb-glx0 (= 1.15-1+b1), libxcb-render0 (= 1.15-1+b1), libxcb-render0-dev (= 1.15-1+b1), libxcb-shm0 (= 1.15-1+b1), libxcb-shm0-dev (= 1.15-1+b1), libxcb-xfixes0 (= 1.15-1+b1), libxcb1 (= 1.15-1+b1), libxcb1-dev (= 1.15-1+b1), libxcomposite-dev (= 1:0.4.6-1), libxcomposite1 (= 1:0.4.6-1), libxcursor-dev (= 1:1.2.3-1), libxcursor1 (= 1:1.2.3-1), libxdamage-dev (= 1:1.1.6-1+b2), libxdamage1 (= 1:1.1.6-1+b2), libxdmcp-dev (= 1:1.1.5-1), libxdmcp6 (= 1:1.1.5-1), libxext-dev (= 2:1.3.4-1+b3), libxext6 (= 2:1.3.4-1+b3), libxfixes-dev (= 1:6.0.0-2+b4), libxfixes3 (= 1:6.0.0-2+b4), libxft-dev (= 2.3.6-1+b4), libxft2 (= 2.3.6-1+b4), libxi-dev (= 2:1.8.2-1), libxi6 (= 2:1.8.2-1), libxinerama-dev (= 2:1.1.4-3+b3), libxinerama1 (= 2:1.1.4-3+b3), libxkbcommon-dev (= 1.7.0-2), libxkbcommon0 (= 1.7.0-2), libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b2), libxml2-dev (= 2.12.7+dfsg+really2.9.14-0.2+b2), libxrandr-dev (= 2:1.5.4-1+b3), libxrandr2 (= 2:1.5.4-1+b3), libxrender-dev (= 1:0.9.10-1.1+b4), libxrender1 (= 1:0.9.10-1.1+b4), libxtst-dev (= 2:1.2.5-1), libxtst6 (= 2:1.2.5-1), libzarith-ocaml (= 1.14-1+b6), libzarith-ocaml-dev (= 1.14-1+b6), libzip-ocaml (= 1.13-1+b2), libzip-ocaml-dev (= 1.13-1+b2), libzstd-dev (= 1.5.6+dfsg-2), libzstd1 (= 1.5.6+dfsg-2), login.defs (= 1:4.17.3-1), m4 (= 1.4.19-4+hurd.1), make (= 4.4.1-1), man-db (= 2.13.0-1), mawk (= 1.3.4.20250131-1), media-types (= 12.0.0), menhir (= 20240715+ds-1+b2), native-architecture (= 0.2.6), ncurses-base (= 6.5+20250216-2), ncurses-bin (= 6.5+20250216-2), netbase (= 6.4), netdde (= 0.0.20200330-12), ocaml (= 5.3.0-2), ocaml-base (= 5.3.0-2), ocaml-findlib (= 1.9.8-1), ocaml-interp (= 5.3.0-2), openssl-provider-legacy (= 3.4.1-1), pango1.0-tools (= 1.56.1-1), passwd (= 1:4.17.2-5+hurd.1), patch (= 2.7.6-7+b1), perl (= 5.40.1-2), perl-base (= 5.40.1-2), perl-modules-5.40 (= 5.40.1-2), pkgconf (= 1.8.1-4), pkgconf-bin (= 1.8.1-4), po-debconf (= 1.0.21+nmu1), procps (= 2:4.0.4-2), python3 (= 3.13.2-2), python3-minimal (= 3.13.2-2), python3-packaging (= 24.2-1), python3.13 (= 3.13.2-1), python3.13-minimal (= 3.13.2-1), readline-common (= 8.2-6), rpcsvc-proto (= 1.4.3-1+b1), sed (= 4.9-2), sensible-utils (= 0.0.24), sgml-base (= 1.31), shared-mime-info (= 2.4-5+b2), startpar (= 0.66-1), sysv-rc (= 3.14-3), sysvinit-utils (= 3.14-3), tar (= 1.35+dfsg-3), tex-common (= 6.19), tzdata (= 2025a-2), ucf (= 3.0050), util-linux (= 2.40.2-12+hurd.1), uuid-dev (= 2.40.2-12+hurd.1), x11-common (= 1:7.7+24), 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.4-1), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1), zlib1g-dev (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1738478238" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEVYEV3cPFEuwc56+qOircfRUlC5wFAmfLb6MACgkQOircfRUl C5zpAw//bVO3yEjo4tCSIQ6MCjTld89xulNDzZXVK5N3nvOjYBqcqRLG/9NXyW/y JT1JUBkCHEq+PGnMw3WqEQb8IRpPDmZ8eGFi0oGrBHs3Bah0FhjiRGZdfrT/OGo4 ggVInvmKy8QhajVnFGpcN7DDrJ/aArifbzwC7uPErmTtoXwE51Fvg6zRC2hJiRiF jCmdr3V/IS3hHQDZ1PQq1JC+XpP7+oLcZOujm6ccmRmpB+VbVRn6Nvg2zfRNwt2w nbL8WnNvjz3HlQzLeigBC5jMbFanwurRlVJYoaoHXck83X4Pzz4ntpqX1oeI5DHW 0GR3f3vIKSVmHxjYeua/TIwyY5Em+lYNba5roFd+H8Yem5z8LpnsxnwStuf6J2B8 a2opDcKrfv3mhuc5DVrGOYfIB6rCrgQAWjixxvZX59f3Z6zKQIh6cron4+oqVpfH h+gKO5BCTTRav8mMWsoYweNCy/jeeC4xd5OJ7uYZhQR7Ye2BOyeXpaAMrOGrRuEk Vwt9D67g4vvz/PfyF0JO3M+EWHNu27ZVWJhu4epGAivzK8DI/mxZvd1dyRW+aEk7 VF7bc4gFXBU6iNqUdkhPatKr22rhTZMq9ytdX4McYnevUUTGhlnkKwgp38E7GI1m SBO1VJkF4BNQ/5Gg7GLF16dMJg0PnmfTJeJvf/CIJLSUNkXV3TE= =WrMq -----END PGP SIGNATURE-----