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"