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: arm64 Version: 4.13.3-1 Checksums-Md5: 543fcd3c7ea0e1802745cb76466e5ad8 171717164 libz3-4-dbgsym_4.13.3-1_arm64.deb 484bf18daaeb4fab0c8a1d7d53d6714f 7506868 libz3-4_4.13.3-1_arm64.deb b252dd38c2e8dcd9f1a5ab754d1ba021 106528 libz3-dev_4.13.3-1_arm64.deb 60ccdb982acd28db0481d3344c66ca95 182208 libz3-java_4.13.3-1_arm64.deb 98648ad165867978cd8913e5ce79b2d7 183952 libz3-jni-dbgsym_4.13.3-1_arm64.deb ba1549b1b046cab3f0fe5198a806f859 35476 libz3-jni_4.13.3-1_arm64.deb adb338d4bccc17261a3ce063b8582dcf 83500 python3-z3_4.13.3-1_arm64.deb 9b24c74624b168e536006370b22f044e 173621280 z3-dbgsym_4.13.3-1_arm64.deb 97ee65d72c874f7357209a703631984b 7503940 z3_4.13.3-1_arm64.deb Checksums-Sha1: b9c63f42acfa2d25dd3d51d756f9c7989c17352f 171717164 libz3-4-dbgsym_4.13.3-1_arm64.deb 9e2f9ad127db834d80df467507c52424db02eee8 7506868 libz3-4_4.13.3-1_arm64.deb acf11564200118350181ef63833a02541adf57af 106528 libz3-dev_4.13.3-1_arm64.deb aa74e14e8ef8819cf3775ab15df82cad07dd0ddd 182208 libz3-java_4.13.3-1_arm64.deb a4f0471b5d6c93744c80718056d2d99ea2bbdbf2 183952 libz3-jni-dbgsym_4.13.3-1_arm64.deb 2bc76a0cc5246b8bc35e783c9dfb37f5cae2d44c 35476 libz3-jni_4.13.3-1_arm64.deb 860040f2c5e6b7fccaca5d8bcf11d8650b9968a2 83500 python3-z3_4.13.3-1_arm64.deb 42190e77e25522d8c887f1d8ddfd9a740c617636 173621280 z3-dbgsym_4.13.3-1_arm64.deb 6cb3849ac1a1fdeb05243d5a95f706ceaabc3b2e 7503940 z3_4.13.3-1_arm64.deb Checksums-Sha256: da51c8a6bdcdbf0358cbf384c6cd172589e550d580b2e6783089b37b1f4021ae 171717164 libz3-4-dbgsym_4.13.3-1_arm64.deb 29a7b924a5a38c9ac4e2a64aa11586a9c54f26b579b18e4f75adf8f7c1106e45 7506868 libz3-4_4.13.3-1_arm64.deb e35389f0b02e020d6714c5ef349eef4a1f514d0293c05fd28bb90c1fe4f3f2b7 106528 libz3-dev_4.13.3-1_arm64.deb bd8e91d89ba1b8b94b679facf0f2868416a100f7531b30a98d7b760e1ae1ef54 182208 libz3-java_4.13.3-1_arm64.deb 0d55ea5f1900b12265327f8146163af92ad33534b6cd36548ef680f5a937d0cd 183952 libz3-jni-dbgsym_4.13.3-1_arm64.deb 48cc066fe4f158d94010a3cb368b474c23a6e983e20da80360ecfbca9f16ec27 35476 libz3-jni_4.13.3-1_arm64.deb f9cf909578dc36ca349c83ab3b6225050226d10e4299f88a69805e359ace437e 83500 python3-z3_4.13.3-1_arm64.deb ee2d49166a293b7a02c1277393378b0d2e69291cae26d0aa45ea0c2027d47014 173621280 z3-dbgsym_4.13.3-1_arm64.deb 615af7fe9efd494201d3978fe7b9106a609476cc2c1d0a8abe88395db352b6cc 7503940 z3_4.13.3-1_arm64.deb Build-Origin: Debian Build-Architecture: arm64 Build-Date: Mon, 18 Nov 2024 22:07:14 +0000 Build-Path: /build/z3-4yvrDx/z3-4.13.3 Build-Tainted-By: merged-usr-via-aliased-dirs 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+b1), binutils (= 2.43.1-5), binutils-aarch64-linux-gnu (= 2.43.1-5), binutils-common (= 2.43.1-5), bsdextrautils (= 2.40.2-11), bsdutils (= 1:2.40.2-11), build-essential (= 12.12), bzip2 (= 1.0.8-6), ca-certificates (= 20240203), ca-certificates-java (= 20240118), cmake (= 3.31.0-1), cmake-data (= 3.31.0-1), coreutils (= 9.5-1+b1), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-8), cpp-14-aarch64-linux-gnu (= 14.2.0-8), cpp-aarch64-linux-gnu (= 4:14.2.0-1), dash (= 0.5.12-9+b1), 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+b3), dconf-service (= 0.40.0-4+b3), dctrl-tools (= 2.24-3+b1), debconf (= 1.5.87), debhelper (= 13.20), debianutils (= 5.21), 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.3), dh-autoreconf (= 20), dh-python (= 6.20241024), dh-strip-nondeterminism (= 1.14.0-1), diffutils (= 1:3.10-1+b1), dirmngr (= 2.2.45-2), dpkg (= 1.22.12~1.gbp82cafd), dpkg-dev (= 1.22.12~1.gbp82cafd), dwz (= 0.15-1+b1), fastjar (= 2:0.98-7+b1), 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-aarch64-linux-gnu (= 14.2.0-8), g++-aarch64-linux-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-8), gcc-14-aarch64-linux-gnu (= 14.2.0-8), gcc-14-base (= 14.2.0-8), gcc-aarch64-linux-gnu (= 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+b1), groff-base (= 1.23.0-5), gtk-update-icon-cache (= 4.16.5+ds-2), gzip (= 1.12-1.1+b1), 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+b3), 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.2-2), libaudit1 (= 1:4.0.2-2), libavahi-client3 (= 0.8-13+b3), libavahi-common-data (= 0.8-13+b3), libavahi-common3 (= 0.8-13+b3), libb-hooks-op-check-perl (= 0.22-3+b2), libbinutils (= 2.43.1-5), libblkid1 (= 2.40.2-11), libbrotli1 (= 1.1.0-2+b6), 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+b1), 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+b2), 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.11.0-1), 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+b3), libdebconfclient0 (= 0.273), libdebhelper-perl (= 13.20), libdeflate0 (= 1.22-1), libdevel-callchecker-perl (= 0.009-1+b1), libdpkg-perl (= 1.22.12~1.gbp82cafd), libdrm-amdgpu1 (= 2.4.123-1), libdrm-common (= 2.4.123-1), libdrm-radeon1 (= 2.4.123-1), libdrm2 (= 2.4.123-1), libdynaloader-functions-perl (= 0.004-1), libedit2 (= 3.1-20240808-1), libelf1t64 (= 0.192-4), libencode-locale-perl (= 1.05-3), libepoxy0 (= 1.5.10-2), libexpat1 (= 2.6.4-1), 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.7-1), 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.2.2-1+b1), libgl1 (= 1.7.0-1+b2), libgl1-mesa-dri (= 24.2.7-1), libglapi-mesa (= 24.2.7-1), libglib2.0-0t64 (= 2.82.2-3), libglvnd0 (= 1.7.0-1+b2), libglx-mesa0 (= 24.2.7-1), libglx0 (= 1.7.0-1+b2), libgmp10 (= 2:6.3.0+dfsg-2+b2), libgnutls30t64 (= 3.8.8-2), libgomp1 (= 14.2.0-8), libgpg-error0 (= 1.50-4), libgprofng0 (= 2.43.1-5), libgraphite2-3 (= 1.3.14-2+b1), 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), libhwasan0 (= 14.2.0-8), 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+b3), libjbig0 (= 2.1-6.1+b2), libjpeg62-turbo (= 1:2.1.5-3+b1), libjsoncpp26 (= 1.9.6-2), libk5crypto3 (= 1.21.3-3), libkeyutils1 (= 1.6.3-4), 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), libllvm19 (= 1:19.1.3-2), liblsan0 (= 14.2.0-8), 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-11), libmpc3 (= 1.3.1-1+b3), libmpfr6 (= 4.2.1-1+b2), 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+b3), libnspr4 (= 2:4.35-1.1+b1), libnss3 (= 2:3.105-2), 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 (= 257~rc2-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.44-4), libpcsclite1 (= 2.3.0-3), libperl5.40 (= 5.40.0-7), libpipeline1 (= 1.5.8-1), libpixman-1-0 (= 0.44.0-3), libpng16-16t64 (= 1.6.44-2), libproc2-0 (= 2:4.0.4-6), libpsl5t64 (= 0.21.2-1.1+b1), libpython3-stdlib (= 3.12.7-1), libpython3.12-minimal (= 3.12.7-3), libpython3.12-stdlib (= 3.12.7-3), 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+b3), libselinux1 (= 3.7-3+b1), libsemanage-common (= 3.7-2), libsemanage2 (= 3.7-2+b1), 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-11), 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 (= 257~rc2-3), libsystemd0 (= 257~rc2-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), libtsan2 (= 14.2.0-8), libubsan1 (= 14.2.0-8), libuchardet0 (= 0.0.8-1+b2), libudev1 (= 257~rc2-3), libunistring5 (= 1.2-1+b1), liburi-perl (= 5.30-1), libuuid1 (= 2.40.2-11), libuv1t64 (= 1.48.0-7), libvulkan1 (= 1.3.296.0-1), 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-2), libx11-data (= 2:1.8.10-2), libx11-xcb1 (= 2:1.8.10-2), 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+b2), libxdmcp6 (= 1:1.1.2-3+b2), libxext6 (= 2:1.3.4-1+b2), libxfixes3 (= 1:6.0.0-2+b2), libxi6 (= 2:1.8.2-1), libxinerama1 (= 2:1.1.4-3+b2), libxkbcommon0 (= 1.7.0-1), libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1), libxrandr2 (= 2:1.5.4-1+b1), libxrender1 (= 1:0.9.10-1.1+b2), libxshmfence1 (= 1.3-1+b2), libxtst6 (= 2:1.2.3-1.1+b2), libxxf86vm1 (= 1:1.1.4-1+b3), libxxhash0 (= 0.8.2-2+b2), libz3-4 (= 4.13.3-1), libzstd1 (= 1.5.6+dfsg-1+b1), linux-libc-dev (= 6.11.9-1), login.defs (= 1:4.16.0-5), m4 (= 1.4.19-4), make (= 4.3-4.1+b1), man-db (= 2.13.0-1), mawk (= 1.3.4.20240905-1), media-types (= 10.1.0), mesa-libgallium (= 24.2.7-1), mount (= 2.40.2-11), 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-5), patch (= 2.7.6-7+b1), patchutils (= 0.4.2-1+b1), perl (= 5.40.0-7), perl-base (= 5.40.0-7), perl-modules-5.40 (= 5.40.0-7), 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.7-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.7-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.21.0-1), python3.12 (= 3.12.7-3), python3.12-minimal (= 3.12.7-3), readline-common (= 8.2-5), rpcsvc-proto (= 1.4.3-1+b1), sed (= 4.9-2+b1), sensible-utils (= 0.0.24), shared-mime-info (= 2.4-5+b1), systemd (= 257~rc2-3), systemd-sysv (= 257~rc2-3), sysvinit-utils (= 3.11-1), tar (= 1.35+dfsg-3+b1), tzdata (= 2024b-3), util-linux (= 2.40.2-11), wdiff (= 1.2.2-6+b1), 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=8" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1730755158"