-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: z3 Binary: libz3-4 libz3-4-dbgsym libz3-dev libz3-java libz3-jni libz3-jni-dbgsym python3-z3 z3 z3-dbgsym Architecture: x32 Version: 4.13.3-1 Checksums-Md5: a9825d119cad9ed02f8db5997acb308a 172046816 libz3-4-dbgsym_4.13.3-1_x32.deb 6f1364793daadaf5760c58f5d57bddc4 8675504 libz3-4_4.13.3-1_x32.deb dee3eba8f9b8644b3d518ff86de8c211 106532 libz3-dev_4.13.3-1_x32.deb 8a7ae881affef1135ce813b582b3a268 182204 libz3-java_4.13.3-1_x32.deb 8389191861cfbcb3f628725301a62b6f 209268 libz3-jni-dbgsym_4.13.3-1_x32.deb 1a9826d5cbf9e77ffa29e7ea7ba4f670 41632 libz3-jni_4.13.3-1_x32.deb 97730f12571ca5c4f7d244d905889a60 83496 python3-z3_4.13.3-1_x32.deb af6ec9f1e4bbec3e581acc5e62da6e04 173737900 z3-dbgsym_4.13.3-1_x32.deb 97f99434bb83c41edd7a8821d18af624 8677084 z3_4.13.3-1_x32.deb Checksums-Sha1: 5038033aa3c1c12f36f0e98e8a918629048f6242 172046816 libz3-4-dbgsym_4.13.3-1_x32.deb 717f017b1fb9a8c5a2c2df48a15ffb51bd2c96fa 8675504 libz3-4_4.13.3-1_x32.deb f46da25e1757306e15313ea1c7d91aaa218df09c 106532 libz3-dev_4.13.3-1_x32.deb a00e02058852b95c3aeb64a963bced24646edc0d 182204 libz3-java_4.13.3-1_x32.deb 0e52a026bf9773fba24098074c647c15fe482af5 209268 libz3-jni-dbgsym_4.13.3-1_x32.deb 9830b0794deb76afb1b78769ce182a03a412ef54 41632 libz3-jni_4.13.3-1_x32.deb 02eccdecd24980f17d449a33927261877513feed 83496 python3-z3_4.13.3-1_x32.deb 30caf33ed88c0b238662a3ab4ab64a6eb9634dfd 173737900 z3-dbgsym_4.13.3-1_x32.deb f2dd8258b6d2897f5c6f2a7af84d79855c1ca509 8677084 z3_4.13.3-1_x32.deb Checksums-Sha256: 763a912fb7cae8ce7a2b839d37efa8ff93b23399c3544bd8451d4cae1cb31586 172046816 libz3-4-dbgsym_4.13.3-1_x32.deb ce75c929117af89190b473a783877f02284b2a4d236b94a2863515b920314727 8675504 libz3-4_4.13.3-1_x32.deb bc2385273d18e59fdab8d169b9aeba453c99928a6611630349b98a583a8568f5 106532 libz3-dev_4.13.3-1_x32.deb 73f3b02b1dbb24b1075d1126c0de321cd78ada6e16e273bf5989a3e116073292 182204 libz3-java_4.13.3-1_x32.deb a3bd745249234f9d3f35b7014c102e568d1304906eb3ef56bcc4b5848afebba5 209268 libz3-jni-dbgsym_4.13.3-1_x32.deb c82e074463cebe6d06ac17dd8b4818c1b49afbd88066c5fe095527e55d18626e 41632 libz3-jni_4.13.3-1_x32.deb 027dee373c7e9b3b77d011bf115bbceb12fa2fcb79991b1e00f39e061a967d3a 83496 python3-z3_4.13.3-1_x32.deb 4f2003b6fd9df744fc6cdeb28f73d371cb46d7646d23576128590dcb7eb7a516 173737900 z3-dbgsym_4.13.3-1_x32.deb bb4fe6bf3128210e5d94d130ade5b0afed93b56e4a5e38f3a2ea43d493c25e42 8677084 z3_4.13.3-1_x32.deb Build-Origin: Debian Build-Architecture: x32 Build-Date: Tue, 05 Nov 2024 08:55:31 +0000 Build-Path: /build/z3-kdAMIW/z3-4.13.3 Build-Tainted-By: merged-usr-via-aliased-dirs usr-local-has-programs Installed-Build-Depends: adduser (= 3.137), adwaita-icon-theme (= 47.0-2), at-spi2-common (= 2.54.0-1), autoconf (= 2.72-3), automake (= 1:1.16.5-1.3), autopoint (= 0.22.5-2), autotools-dev (= 20220109.1), base-files (= 13.5), base-passwd (= 3.6.5), bash (= 5.2.32-1+b2), binfmt-support (= 2.2.2-7), binutils (= 2.43.1-5), binutils-common (= 2.43.1-5), binutils-x86-64-linux-gnux32 (= 2.43.1-5), bsdextrautils (= 2.40.2-10), bsdutils (= 1:2.40.2-10), build-essential (= 12.12), bzip2 (= 1.0.8-6), ca-certificates (= 20240203), ca-certificates-java (= 20240118), cmake (= 3.30.5-1), cmake-data (= 3.30.5-1), coreutils (= 9.5-1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-8), cpp-14-x86-64-linux-gnux32 (= 14.2.0-8), cpp-x86-64-linux-gnux32 (= 4:14.2.0-1), dash (= 0.5.12-9), dbus (= 1.14.10-6), dbus-bin (= 1.14.10-6), dbus-daemon (= 1.14.10-6), dbus-session-bus-common (= 1.14.10-6), dbus-system-bus-common (= 1.14.10-6), dbus-user-session (= 1.14.10-6), dconf-gsettings-backend (= 0.40.0-4+b2), dconf-service (= 0.40.0-4+b2), dctrl-tools (= 2.24-3), debconf (= 1.5.87), debhelper (= 13.20), debianutils (= 5.20), default-jdk (= 2:1.21-76), default-jdk-headless (= 2:1.21-76), default-jre (= 2:1.21-76), default-jre-headless (= 2:1.21-76), devscripts (= 2.24.2), dh-autoreconf (= 20), dh-python (= 6.20241024), dh-strip-nondeterminism (= 1.14.0-1), diffutils (= 1:3.10-1), dirmngr (= 2.2.45-2), dpkg (= 1.22.11), dpkg-dev (= 1.22.11), dwz (= 0.15-1+b1), fastjar (= 2:0.98-7), file (= 1:5.45-3+b1), findutils (= 4.10.0-3), fontconfig (= 2.15.0-1.1+b1), fontconfig-config (= 2.15.0-1.1+b1), fonts-dejavu-core (= 2.37-8), fonts-dejavu-mono (= 2.37-8), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-8), g++-14-x86-64-linux-gnux32 (= 14.2.0-8), g++-x86-64-linux-gnux32 (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-8), gcc-14-base (= 14.2.0-8), gcc-14-x86-64-linux-gnux32 (= 14.2.0-8), gcc-x86-64-linux-gnux32 (= 4:14.2.0-1), gettext (= 0.22.5-2), gettext-base (= 0.22.5-2), gnupg (= 2.2.45-2), gnupg-l10n (= 2.2.45-2), gpg (= 2.2.45-2), gpg-agent (= 2.2.45-2), gpgconf (= 2.2.45-2), gpgsm (= 2.2.45-2), gpgv (= 2.2.45-2), grep (= 3.11-4), groff-base (= 1.23.0-5), gtk-update-icon-cache (= 3.24.43-4), gzip (= 1.12-1.1), hicolor-icon-theme (= 0.18-1), hostname (= 3.25), init-system-helpers (= 1.67), intltool-debian (= 0.35.0+20060710.6), jarwrapper (= 0.80), java-common (= 0.76), javahelper (= 0.80), libacl1 (= 2.3.2-2+b1), libapparmor1 (= 3.1.7-1+b2), libarchive-zip-perl (= 1.68-1), libarchive13t64 (= 3.7.4-1.1), libasan8 (= 14.2.0-8), libasound2-data (= 1.2.12-1), libasound2t64 (= 1.2.12-1+b1), libassuan9 (= 3.0.1-2), libatk-bridge2.0-0t64 (= 2.54.0-1), libatk1.0-0t64 (= 2.54.0-1), libatomic1 (= 14.2.0-8), libatspi2.0-0t64 (= 2.54.0-1), libattr1 (= 1:2.5.2-2), libaudit-common (= 1:4.0.1-2), libaudit1 (= 1:4.0.1-2), libavahi-client3 (= 0.8-13+b2), libavahi-common-data (= 0.8-13+b2), libavahi-common3 (= 0.8-13+b2), libb-hooks-op-check-perl (= 0.22-3+b2), libbinutils (= 2.43.1-5), libblkid1 (= 2.40.2-10), libbrotli1 (= 1.1.0-2+b5), libbsd0 (= 0.12.2-2), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.40-3), libc-dev-bin (= 2.40-3), libc6 (= 2.40-3), libc6-dev (= 2.40-3), libcairo-gobject2 (= 1.18.2-2), libcairo2 (= 1.18.2-2), libcap-ng0 (= 0.8.5-3), libcap2 (= 1:2.66-5+b1), libcc1-0 (= 14.2.0-8), libclass-method-modifiers-perl (= 2.15-1), libclass-xsaccessor-perl (= 1.19-4+b4), libclone-perl (= 0.47-1+b1), libcloudproviders0 (= 0.3.6-1+b1), libcolord2 (= 1.4.7-1+b1), libcom-err2 (= 1.47.1-1+b1), libcrypt-dev (= 1:4.4.36-5), libcrypt1 (= 1:4.4.36-5), libctf-nobfd0 (= 2.43.1-5), libctf0 (= 2.43.1-5), libcups2t64 (= 2.4.10-2), libcurl4t64 (= 8.10.1-2), libdatrie1 (= 0.2.13-3+b1), libdb5.3t64 (= 5.3.28+dfsg2-9), libdbus-1-3 (= 1.14.10-6), libdconf1 (= 0.40.0-4+b2), libdebconfclient0 (= 0.273), libdebhelper-perl (= 13.20), libdeflate0 (= 1.22-1), libdevel-callchecker-perl (= 0.009-1+b1), libdpkg-perl (= 1.22.11), libdrm-common (= 2.4.123-1), libdrm-radeon1 (= 2.4.123-1), libdrm2 (= 2.4.123-1), libdynaloader-functions-perl (= 0.004-1), libelf1t64 (= 0.192-4), libencode-locale-perl (= 1.05-3), libepoxy0 (= 1.5.10-2), libexpat1 (= 2.6.3-2), libffi8 (= 3.4.6-1), libfile-dirlist-perl (= 0.05-3), libfile-homedir-perl (= 1.006-2), libfile-listing-perl (= 6.16-1), libfile-stripnondeterminism-perl (= 1.14.0-1), libfile-touch-perl (= 0.12-2), libfile-which-perl (= 1.27-2), libfontconfig1 (= 2.15.0-1.1+b1), libfreetype6 (= 2.13.3+dfsg-1), libfribidi0 (= 1.0.15-1), libgbm1 (= 24.2.3-1+x32), libgcc-14-dev (= 14.2.0-8), libgcc-s1 (= 14.2.0-8), libgcrypt20 (= 1.11.0-6), libgdbm-compat4t64 (= 1.24-2), libgdbm6t64 (= 1.24-2), libgdk-pixbuf-2.0-0 (= 2.42.12+dfsg-1+b1), libgdk-pixbuf2.0-common (= 2.42.12+dfsg-1), libgif7 (= 5.1.9-2), libgl1 (= 1.7.0-1+b1), libgl1-mesa-dri (= 24.2.3-1+x32), libglapi-mesa (= 24.2.3-1+x32), libglib2.0-0t64 (= 2.82.2-2), libglvnd0 (= 1.7.0-1+b1), libglx-mesa0 (= 24.2.3-1+x32), libglx0 (= 1.7.0-1+b1), libgmp10 (= 2:6.3.0+dfsg-2+b2), libgnutls30t64 (= 3.8.6-2+b1), libgomp1 (= 14.2.0-8), libgpg-error0 (= 1.50-4), libgprofng0 (= 2.43.1-5), libgraphite2-3 (= 1.3.14-2), libgssapi-krb5-2 (= 1.21.3-3), libgtk-3-0t64 (= 3.24.43-4), libgtk-3-common (= 3.24.43-4), libharfbuzz0b (= 10.0.1-1), libhogweed6t64 (= 3.10-1+b1), libhtml-parser-perl (= 3.83-1+b1), libhtml-tagset-perl (= 3.24-1), libhtml-tree-perl (= 5.07-3), libhttp-cookies-perl (= 6.11-1), libhttp-date-perl (= 6.06-1), libhttp-message-perl (= 7.00-2), libhttp-negotiate-perl (= 6.01-2), libicu72 (= 72.1-5+b1), libidn2-0 (= 2.3.7-2+b1), libimport-into-perl (= 1.002005-2), libio-html-perl (= 1.004-3), libio-pty-perl (= 1:1.20-1+b2), libio-socket-ssl-perl (= 2.089-1), libipc-run-perl (= 20231003.0-2), libisl23 (= 0.27-1), libitm1 (= 14.2.0-8), libjansson4 (= 2.14-2+b1), libjbig0 (= 2.1-6.1+b1), libjpeg62-turbo (= 1:2.1.1-1), libjsoncpp26 (= 1.9.6-2), libk5crypto3 (= 1.21.3-3), libkeyutils1 (= 1.6.1-2), libkrb5-3 (= 1.21.3-3), libkrb5support0 (= 1.21.3-3), libksba8 (= 1.6.7-2+b1), liblcms2-2 (= 2.16-2), libldap-2.5-0 (= 2.5.18+dfsg-3+b1), liblerc4 (= 4.0.0+ds-5), liblwp-mediatypes-perl (= 6.04-2), liblwp-protocol-https-perl (= 6.14-1), liblz4-1 (= 1.9.4-3+b1), liblzma5 (= 5.6.3-1+b1), libmagic-mgc (= 1:5.45-3+b1), libmagic1t64 (= 1:5.45-3+b1), libmd0 (= 1.1.0-2+b1), libmodule-runtime-perl (= 0.016-2), libmoo-perl (= 2.005005-1), libmount1 (= 2.40.2-10), libmpc3 (= 1.3.1-1+b1), libmpfr6 (= 4.2.1-1+b1), libncursesw6 (= 6.5-2+b1), libnet-http-perl (= 6.23-1), libnet-ssleay-perl (= 1.94-2), libnettle8t64 (= 3.10-1+b1), libnghttp2-14 (= 1.64.0-1), libnpth0t64 (= 1.6-3.1+b1), libnsl2 (= 1.3.0-3+b2), libnspr4 (= 2:4.35-1.1), libnss3 (= 2:3.87.1-1+x32), libp11-kit0 (= 0.25.5-2+b1), libpam-modules (= 1.5.3-7+b1), libpam-modules-bin (= 1.5.3-7+b1), libpam-runtime (= 1.5.3-7), libpam-systemd (= 256.7-3), libpam0g (= 1.5.3-7+b1), libpango-1.0-0 (= 1.54.0+ds-3), libpangocairo-1.0-0 (= 1.54.0+ds-3), libpangoft2-1.0-0 (= 1.54.0+ds-3), libparams-classify-perl (= 0.015-2+b4), libpcre2-8-0 (= 10.42-4+b2), libpcsclite1 (= 2.3.0-3), libperl5.40 (= 5.40.0-6), libpipeline1 (= 1.5.8-1), libpixman-1-0 (= 0.42.2-1), libpng16-16t64 (= 1.6.44-2), libproc2-0 (= 2:4.0.4-6), libpsl5t64 (= 0.21.2-1.1+b1), libpython3-stdlib (= 3.12.6-1), libpython3.12-minimal (= 3.12.7-1), libpython3.12-stdlib (= 3.12.7-1), libquadmath0 (= 14.2.0-8), libreadline8t64 (= 8.2-5), librhash1 (= 1.4.5-1), librole-tiny-perl (= 2.002004-1), librtmp1 (= 2.4+20151223.gitfa8646d.1-2+b5), libsasl2-2 (= 2.1.28+dfsg1-8), libsasl2-modules-db (= 2.1.28+dfsg1-8), libseccomp2 (= 2.5.5-1+b2), libselinux1 (= 3.7-3), libsemanage-common (= 3.7-2), libsemanage2 (= 3.7-2), libsensors-config (= 1:3.6.0-10), libsensors5 (= 1:3.6.0-10+b1), libsepol2 (= 3.7-1), libsframe1 (= 2.43.1-5), libsharpyuv0 (= 1.4.0-0.1+b1), libsimde-dev (= 0.8.2-1), libsmartcols1 (= 2.40.2-10), libsqlite3-0 (= 3.46.1-1), libssh2-1t64 (= 1.11.1-1), libssl3t64 (= 3.3.2-2), libstdc++-14-dev (= 14.2.0-8), libstdc++6 (= 14.2.0-8), libsub-quote-perl (= 2.006008-1), libsystemd-shared (= 256.7-3), libsystemd0 (= 256.7-3), libtasn1-6 (= 4.19.0-3+b3), libthai-data (= 0.1.29-2), libthai0 (= 0.1.29-2+b1), libtiff6 (= 4.5.1+git230720-5), libtimedate-perl (= 2.3300-2), libtinfo6 (= 6.5-2+b1), libtirpc-common (= 1.3.4+ds-1.3), libtirpc3t64 (= 1.3.4+ds-1.3+b1), libtool (= 2.4.7-8), libtry-tiny-perl (= 0.32-1), libubsan1 (= 14.2.0-8), libuchardet0 (= 0.0.8-1+b1), libudev1 (= 256.7-3), libunistring5 (= 1.2-1+b1), liburi-perl (= 5.30-1), libuuid1 (= 2.40.2-10), libuv1 (= 1.46.0-3), libwayland-client0 (= 1.23.0-1+b1), libwayland-cursor0 (= 1.23.0-1+b1), libwayland-egl1 (= 1.23.0-1+b1), libwayland-server0 (= 1.23.0-1+b1), libwebp7 (= 1.4.0-0.1+b1), libwww-perl (= 6.77-1), libwww-robotrules-perl (= 6.02-1), libx11-6 (= 2:1.8.10-1), libx11-data (= 2:1.8.10-1), libx11-xcb1 (= 2:1.8.10-1), libxau6 (= 1:1.0.11-1), libxcb-dri2-0 (= 1.17.0-2+b1), libxcb-dri3-0 (= 1.17.0-2+b1), libxcb-glx0 (= 1.17.0-2+b1), libxcb-present0 (= 1.17.0-2+b1), libxcb-randr0 (= 1.17.0-2+b1), libxcb-render0 (= 1.17.0-2+b1), libxcb-shm0 (= 1.17.0-2+b1), libxcb-sync1 (= 1.17.0-2+b1), libxcb-xfixes0 (= 1.17.0-2+b1), libxcb1 (= 1.17.0-2+b1), libxcomposite1 (= 1:0.4.6-1), libxcursor1 (= 1:1.2.2-1+b1), libxdamage1 (= 1:1.1.6-1+b1), libxdmcp6 (= 1:1.1.2-3+b2), libxext6 (= 2:1.3.4-1+b2), libxfixes3 (= 1:6.0.0-2+b1), libxi6 (= 2:1.8.2-1), libxinerama1 (= 2:1.1.4-3+b1), libxkbcommon0 (= 1.6.0-1+b1), libxml2 (= 2.12.7+dfsg+really2.9.14-0.1), libxrandr2 (= 2:1.5.4-1+b1), libxrender1 (= 1:0.9.10-1.1+b1), libxshmfence1 (= 1.3-1+b1), libxtst6 (= 2:1.2.3-1.1+b2), libxxf86vm1 (= 1:1.1.4-1+b3), libxxhash0 (= 0.8.2-2+b1), libzstd1 (= 1.5.6+dfsg-1+b1), linux-libc-dev (= 6.11.5-1), login.defs (= 1:4.16.0-4), m4 (= 1.4.19-4), make (= 4.3-4.1), man-db (= 2.13.0-1), mawk (= 1.3.4.20240905-1), media-types (= 10.1.0), mesa-libgallium (= 24.2.3-1+x32), mount (= 2.40.2-10), ncurses-base (= 6.5-2), ncurses-bin (= 6.5-2+b1), netbase (= 6.4), openjdk-21-jdk (= 21.0.5+11-1), openjdk-21-jdk-headless (= 21.0.5+11-1), openjdk-21-jre (= 21.0.5+11-1), openjdk-21-jre-headless (= 21.0.5+11-1), openssl (= 3.3.2-2), openssl-provider-legacy (= 3.3.2-2), passwd (= 1:4.16.0-4), patch (= 2.7.6-7), patchutils (= 0.4.2-1), perl (= 5.40.0-6), perl-base (= 5.40.0-6), perl-modules-5.40 (= 5.40.0-6), perl-openssl-defaults (= 7+b2), pinentry-curses (= 1.2.1-4+b1), po-debconf (= 1.0.21+nmu1), procps (= 2:4.0.4-6), python3 (= 3.12.6-1), python3-autocommand (= 2.2.2-3), python3-inflect (= 7.3.1-2), python3-jaraco.context (= 6.0.0-1), python3-jaraco.functools (= 4.1.0-1), python3-jaraco.text (= 4.0.0-1), python3-minimal (= 3.12.6-1), python3-more-itertools (= 10.5.0-1), python3-pkg-resources (= 75.2.0-1), python3-setuptools (= 75.2.0-1), python3-typeguard (= 4.4.1-1), python3-typing-extensions (= 4.12.2-2), python3-zipp (= 3.20.2-1), python3.12 (= 3.12.7-1), python3.12-minimal (= 3.12.7-1), readline-common (= 8.2-5), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2), sensible-utils (= 0.0.24), shared-mime-info (= 2.4-5+b1), systemd (= 256.7-3), systemd-sysv (= 256.7-3), sysvinit-utils (= 3.11-1), tar (= 1.35+dfsg-3), tzdata (= 2024b-3), usr-is-merged (= 39), util-linux (= 2.40.2-10), wdiff (= 1.2.2-6), x11-common (= 1:7.7+23.1), xkb-data (= 2.42-1), xz-utils (= 5.6.3-1+b1), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="parallel=2" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1730755158" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEnEpJSxbe2XGNMe0z5aLHJO9FyhkFAmcp3Y8ACgkQ5aLHJO9F yhnpCRAAoSX/EIHQxrwCrNfdWTI2ZILVEiyA7Aa43O04n6IENl0BpFpSuGMgJpln orDBrOdfsaekl/wcvDObDSuo9vDUl31sax9up8nLRoSjTnYFVmIAvi1sN4yuM0hx /0Lheux4qGAPrl3BrciPEz4pBSAM+/NWuBrxatq1LlzjPU3JwYqOTSvi6IevfIkA IcS5Mxw1tPf+zIoeWoq2rbrhCIwlRR6erSRhYT/PWg1LCGfMr+FIGne2Tn0BiW6s kUhH5ketAwKUHvL7zPiNx2ITrwp34S/DCKlCoRkI3V1weGVymo1VCKA9rSkT7v/j tOWMLHB8AWoAAykrlik+TuaxymWLDv5Zq1E6B+UPiHhHpD0enRRCXU2Wi7D4hbf5 qWRu8vaNmMvmBzD4c7MEMea5PQm7IxVr7CP7LQDW4NOooCwwkzVpyug/tkt0lqa6 knsocpAiNOR6Vew912Wp2lUI5t2CWEtrVrIY2lJQ9mSHjPey5N61NZKP4MKREk2E Qdjz9oDaHduq5+dimI8fxP568PNloFxjMKJ1tIitbM3b8cZyYIdU9fGh4oVTzn0/ 0vNDYuiX/OIAEUd6sDdGQZsaipw+Mdl0i1eaxz1AeclF2PA8GM/sI8rRse5f1BVr uPx0IOxpblERbpInoc0DYStLH7c2tcJvxhp5bWlXUrbwErNVh0E= =c57i -----END PGP SIGNATURE-----