-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: z3 Binary: libz3-4 libz3-4-dbgsym libz3-dev python3-z3 z3 z3-dbgsym Architecture: loong64 Version: 4.13.3-1 Checksums-Md5: 399446d303506131b43332b03a6e1702 173236648 libz3-4-dbgsym_4.13.3-1_loong64.deb 04c5144a082f02cfe1b9091e12de798e 7991908 libz3-4_4.13.3-1_loong64.deb 93c961e34fb405e10978cd443e0a40b1 106540 libz3-dev_4.13.3-1_loong64.deb 166eb468362b4d1cbbf9cb75cb07c824 83504 python3-z3_4.13.3-1_loong64.deb 45baf7438037044febc12612ab528e79 175077760 z3-dbgsym_4.13.3-1_loong64.deb c349d7c9c74f92c3f8fd0d443f93d2d3 7992048 z3_4.13.3-1_loong64.deb Checksums-Sha1: 8a89785d724b914acec7cfa538b869536e5cbd7a 173236648 libz3-4-dbgsym_4.13.3-1_loong64.deb ae6037febdfd7f5e3152882eecf5e909a1fcae52 7991908 libz3-4_4.13.3-1_loong64.deb 89b70458aec5b407b67d10a6649c143a37f05fd6 106540 libz3-dev_4.13.3-1_loong64.deb a7b687e09154be1f2f96b3c09907373b2a777a3a 83504 python3-z3_4.13.3-1_loong64.deb 191a9581e707fe14acca0d4f9ba7cd53145ceea0 175077760 z3-dbgsym_4.13.3-1_loong64.deb 830b4b3021a13f7b618129593668623cc33b8e25 7992048 z3_4.13.3-1_loong64.deb Checksums-Sha256: eda5eb18118956377437e3598370b126ad78af6c02fa9c397d73cc908d0f0fa5 173236648 libz3-4-dbgsym_4.13.3-1_loong64.deb fd1ef93ce2b287ed258c8a473d650c596bfc8cc694d39bc87e5d7039dcb44aa2 7991908 libz3-4_4.13.3-1_loong64.deb 04243177bb9204d3d32e0e21a63cd4a3bec426dd92178d51021f97d5740991c3 106540 libz3-dev_4.13.3-1_loong64.deb a8d83876cf9ffc4355c2a113bf3db718be87d8cbf1e2ba0611b1b755ae9d80d3 83504 python3-z3_4.13.3-1_loong64.deb f9b444420859b99d725b5b49c313453cff1c7b30dff47cb1f6a865489785076c 175077760 z3-dbgsym_4.13.3-1_loong64.deb ddab1b55dd5c65193308e32a321758d07071e5a9faa474d45df23b57b8b2a06c 7992048 z3_4.13.3-1_loong64.deb Build-Origin: Debian Build-Architecture: loong64 Build-Date: Tue, 05 Nov 2024 08:47:53 +0000 Build-Path: /build/z3-BAvoJ2/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-loongarch64-linux-gnu (= 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-loongarch64-linux-gnu (= 14.2.0-8), cpp-loongarch64-linux-gnu (= 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+b3), dconf-service (= 0.40.0-4+b3), dctrl-tools (= 2.24-3+b1), 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+b2), 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-loongarch64-linux-gnu (= 14.2.0-8), g++-loongarch64-linux-gnu (= 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-loongarch64-linux-gnu (= 14.2.0-8), gcc-loongarch64-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), groff-base (= 1.23.0-5), gtk-update-icon-cache (= 4.16.3+ds-2), 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+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.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+b3), libdebconfclient0 (= 0.273), libdebhelper-perl (= 13.20), libdeflate0 (= 1.22-1), libdevel-callchecker-perl (= 0.009-1+b1), libdpkg-perl (= 1.22.11), 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.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.4-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+b1), libgl1-mesa-dri (= 24.2.4-1), libglapi-mesa (= 24.2.4-1), libglib2.0-0t64 (= 2.82.2-2), libglvnd0 (= 1.7.0-1+b1), libglx-mesa0 (= 24.2.4-1), 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), 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), 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+b2), libjbig0 (= 2.1-6.1+b1), libjpeg62-turbo (= 1:2.1.5-2), 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-1), 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-10), libmpc3 (= 1.3.1-1+b2), 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+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 (= 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+b1), 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), 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), 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), libtsan2 (= 14.2.0-8), 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), 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-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+b2), libxshmfence1 (= 1.3-1+b1), libxtst6 (= 2:1.2.3-1.1+b2), libxxf86vm1 (= 1:1.1.4-1), libxxhash0 (= 0.8.2-2+b1), libz3-4 (= 4.8.12-3.2), 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+b1), man-db (= 2.13.0-1), mawk (= 1.3.4.20240905-1), media-types (= 10.1.0), mesa-libgallium (= 24.2.4-1), 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+b1), patchutils (= 0.4.2-1+b1), 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+b1), 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=16" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1730755158" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEElAJgr1J2vPMPGyCzrBl0XfGCRtEFAmcp28QACgkQrBl0XfGC RtH1fA//fHDMJl8ClT6EcBSLKOvwwYBVMaIPhrNcOj+t7hU9vvUYh/x3DMEk04QF ojw0Uuxb7MkntIuJU7TyYEJ7PKHpuMgFQtsiFt3QaP5oWvTSTIfZngvoVRt8K1JK sNAs016xM35wYLeUQSkE/lEsnKrYj+YU/p4/z3AZ1yhDmVbwCrGJEaeuVXShQwQm kMJMdWDcQPISoySM7Jlu+yhoBT2ecWAcu0Ey3Vdxnkgo20YMnDk/bW/0kaJxiMxF zvTT8r+0G5jhYfQ2HNi5I4JPnwVkfbH11UD2+jc9hNTv6ASOaRXMg2F2ZhS7jEXp 9lJ3y2Suz1KkunIbmsdhBROFIQxYZMCW210rFd7mVo7e17wPL3dO8oHJq0293ljw 9stZfth9NLaWIir7DCM9FV8ATNYhdu6xcYtGCUdll4xZU/047o+HxmOsLGgV7V+f dm2xoyQnWdVNfmBUAtGnI+lKQpi51Cx0M47w1jOfKJVYYFU43BfD5xu6pKcaHgFi XSzD6/pRk40oDQ6itfp3GdJIXhs3IwUAj1PIS9DHZxlvYtkS28Dnc2ky8cx9pbIp y9z8uvg/SeDycYRm4dWR2/GT4wSC0F0qpelz7gPG3/S99oep/GEXFUlINncEAqSk PWFjxoIodYpW/07EjXMXm7epSVv5ZkWUao0LHJHL7qmKIul34Ro= =OIzY -----END PGP SIGNATURE-----