Format: 1.0 Source: haskell-what4 (1.3-4) Binary: haskell-what4-utils libghc-what4-dev libghc-what4-prof Architecture: riscv64 Version: 1.3-4+b1 Binary-Only-Changes: haskell-what4 (1.3-4+b1) unstable; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for riscv64; no source changes. * Rebuild against stable dependencies . -- Simon Richter Fri, 22 May 2026 20:01:37 +0900 Checksums-Md5: 94af2d06cc8bf0c19772f15584c0f311 5185824 haskell-what4-utils_1.3-4+b1_riscv64.deb da7a4a76ddf18dba2df226c1f1d9f3c2 7622664 libghc-what4-dev_1.3-4+b1_riscv64.deb 09ffb34d5ae80efaec4bec03a55529ad 7269416 libghc-what4-prof_1.3-4+b1_riscv64.deb Checksums-Sha1: 2c6b4c8b9a5063e1779c547aa1f214b57c6bfa61 5185824 haskell-what4-utils_1.3-4+b1_riscv64.deb 926adb7af555e96a3a878ce4eaa2425093eefcb1 7622664 libghc-what4-dev_1.3-4+b1_riscv64.deb ea645ba53806e3a92061fdf201a79682efa09957 7269416 libghc-what4-prof_1.3-4+b1_riscv64.deb Checksums-Sha256: da313a385f809ba6611dc26f58e9e3e5f6eb70a4158b585dbfcaab7bdd907add 5185824 haskell-what4-utils_1.3-4+b1_riscv64.deb 23ef375d06309bd7e168a62eec0ccc5cd767c48a45ba5261f57e6654934120ca 7622664 libghc-what4-dev_1.3-4+b1_riscv64.deb d1cf8f719c63ba3b25e6cd7a0b93989fb2360a0f3d94de10544eae908599d277 7269416 libghc-what4-prof_1.3-4+b1_riscv64.deb Build-Origin: Debian Build-Architecture: riscv64 Build-Date: Fri, 22 May 2026 20:29:44 +0000 Build-Path: /build/haskell-what4-1.3 Installed-Build-Depends: autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.21-12), autotools-dev (= 20220109.1), base-files (= 12.4+deb12u14), base-passwd (= 3.6.1+b1), bash (= 5.2.15-2+b3), binutils (= 2.40-2), binutils-common (= 2.40-2), binutils-riscv64-linux-gnu (= 2.40-2), bsdextrautils (= 2.38.1-5+deb12u3), bsdutils (= 1:2.38.1-5+deb12u3), build-essential (= 12.9+b1), bzip2 (= 1.0.8-5+b1), cdbs (= 0.4.166), coreutils (= 9.1-1+b1), cpp (= 4:12.2.0-3), cpp-12 (= 12.2.0-14+deb12u1), cvc4 (= 1.8-3+b1), dash (= 0.5.12-2), dctrl-tools (= 2.24-3), debconf (= 1.5.82), debhelper (= 13.11.4), debianutils (= 5.7-0.5~deb12u1), dh-autoreconf (= 20), dh-buildinfo (= 0.11+nmu2), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.8-4+b1), dpkg (= 1.21.23), dpkg-dev (= 1.21.23), dwz (= 0.15-1+b1), file (= 1:5.44-3+b1), findutils (= 4.9.0-4), g++ (= 4:12.2.0-3), g++-12 (= 12.2.0-14+deb12u1), gcc (= 4:12.2.0-3), gcc-12 (= 12.2.0-14+deb12u1), gcc-12-base (= 12.2.0-14+deb12u1), gettext (= 0.21-12), gettext-base (= 0.21-12), ghc (= 9.0.2-4), ghc-prof (= 9.0.2-4), grep (= 3.8-5), groff-base (= 1.22.4-10), gzip (= 1.12-1+b1), haskell-devscripts-minimal (= 0.16.29), hostname (= 3.23+nmu1+b1), html-xml-utils (= 7.7-1.1+b1), init-system-helpers (= 1.65.2+deb12u1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.1-3+b1), libantlr3c-3.4-0 (= 3.4+dfsg-4), libarchive-zip-perl (= 1.68-1), libasan8 (= 12.2.0-14+deb12u1), libatomic1 (= 12.2.0-14+deb12u1), libattr1 (= 1:2.5.1-4+b1), libaudit-common (= 1:3.0.9-1), libaudit1 (= 1:3.0.9-1), libb-hooks-op-check-perl (= 0.22-2+b1), libbinutils (= 2.40-2), libblkid1 (= 2.38.1-5+deb12u3), libbrotli1 (= 1.0.9-2+b6), libbsd-dev (= 0.11.7-2), libbsd0 (= 0.11.7-2), libbz2-1.0 (= 1.0.8-5+b1), libc-bin (= 2.36-9+deb12u14), libc-dev-bin (= 2.36-9+deb12u14), libc6 (= 2.36-9+deb12u14), libc6-dev (= 2.36-9+deb12u14), libcap-ng0 (= 0.8.3-1+b3), libcap2 (= 1:2.66-4+deb12u3), libcc1-0 (= 12.2.0-14+deb12u1), libcln6 (= 1.3.6-4+b1), libcom-err2 (= 1.47.0-2+b1), libconst-fast-perl (= 0.014-2), libcrypt-dev (= 1:4.4.33-2), libcrypt1 (= 1:4.4.33-2), libctf-nobfd0 (= 2.40-2), libctf0 (= 2.40-2), libcurl3-gnutls (= 7.88.1-10+deb12u14), libcvc4-7 (= 1.8-3+b1), libcvc4parser7 (= 1.8-3+b1), libdata-optlist-perl (= 0.113-1), libdb5.3 (= 5.3.28+dfsg2-1+b1), libdebconfclient0 (= 0.270+b1), libdebhelper-perl (= 13.11.4), libdevel-callchecker-perl (= 0.008-2), libdevel-confess-perl (= 0.009004-3), libdpkg-perl (= 1.21.23), libdynaloader-functions-perl (= 0.003-3), libelf1 (= 0.188-2.1), libexpat1 (= 2.5.0-1+deb12u2), libffi-dev (= 3.4.4-1+b1), libffi8 (= 3.4.4-1+b1), libfile-stripnondeterminism-perl (= 1.13.1-1), libgcc-12-dev (= 12.2.0-14+deb12u1), libgcc-s1 (= 12.2.0-14+deb12u1), libgcrypt20 (= 1.10.1-3), libgdbm-compat4 (= 1.23-3+b1), libgdbm6 (= 1.23-3+b1), libghc-adjunctions-dev (= 4.4.2-1+b3), libghc-adjunctions-prof (= 4.4.2-1+b3), libghc-ansi-terminal-dev (= 0.11.3-1+b3), libghc-ansi-terminal-prof (= 0.11.3-1+b3), libghc-ansi-wl-pprint-dev (= 0.6.9-5+b2), libghc-ansi-wl-pprint-prof (= 0.6.9-5+b2), libghc-assoc-dev (= 1.0.2-3+b3), libghc-assoc-prof (= 1.0.2-3+b3), libghc-async-dev (= 2.2.4-1+b2), libghc-async-prof (= 2.2.4-1+b2), libghc-attoparsec-dev (= 0.14.4-2+b1), libghc-attoparsec-prof (= 0.14.4-2+b1), libghc-base-compat-dev (= 0.11.2-1+b3), libghc-base-compat-prof (= 0.11.2-1+b3), libghc-base-orphans-dev (= 0.8.7-1+b1), libghc-base-orphans-prof (= 0.8.7-1+b1), libghc-bifunctors-dev (= 5.5.13-1+b1), libghc-bifunctors-prof (= 5.5.13-1+b1), libghc-bimap-dev (= 0.5.0-1+b1), libghc-bimap-prof (= 0.5.0-1+b1), libghc-bitwise-dev (= 1.0.0.1-2+b1), libghc-bitwise-prof (= 1.0.0.1-2+b1), libghc-bv-sized-dev (= 1.0.4-2+b3), libghc-bv-sized-prof (= 1.0.4-2+b3), libghc-call-stack-dev (= 0.4.0-1+b3), libghc-call-stack-prof (= 0.4.0-1+b3), libghc-case-insensitive-dev (= 1.2.1.0-3+b2), libghc-case-insensitive-prof (= 1.2.1.0-3+b2), libghc-clock-dev (= 0.8.3-1+b3), libghc-clock-prof (= 0.8.3-1+b3), libghc-colour-dev (= 2.3.6-1+b3), libghc-colour-prof (= 2.3.6-1+b3), libghc-comonad-dev (= 5.0.8-1+b2), libghc-comonad-prof (= 5.0.8-1+b2), libghc-concurrent-extra-dev (= 0.7.0.12-2+b1), libghc-concurrent-extra-prof (= 0.7.0.12-2+b1), libghc-concurrent-output-dev (= 1.10.16-1+b3), libghc-concurrent-output-prof (= 1.10.16-1+b3), libghc-config-value-dev (= 0.8.3-1+b1), libghc-config-value-prof (= 0.8.3-1+b1), libghc-constraints-dev (= 0.13.4-1+b3), libghc-constraints-prof (= 0.13.4-1+b3), libghc-contravariant-dev (= 1.5.5-1+b3), libghc-contravariant-prof (= 1.5.5-1+b3), libghc-data-binary-ieee754-dev (= 0.4.4-11+b3), libghc-data-binary-ieee754-prof (= 0.4.4-11+b3), libghc-deriving-compat-dev (= 0.6.1-1+b3), libghc-deriving-compat-prof (= 0.6.1-1+b3), libghc-distributive-dev (= 0.6.2.1-1+b3), libghc-distributive-prof (= 0.6.2.1-1+b3), libghc-erf-dev (= 2.0.0.0-17+b3), libghc-erf-prof (= 2.0.0.0-17+b3), libghc-fingertree-dev (= 0.1.5.0-1+b2), libghc-fingertree-prof (= 0.1.5.0-1+b2), libghc-free-dev (= 5.1.9-1+b4), libghc-free-prof (= 5.1.9-1+b4), libghc-gitrev-dev (= 1.3.1-5+b2), libghc-gitrev-prof (= 1.3.1-5+b2), libghc-hashable-dev (= 1.3.5.0-2+b3), libghc-hashable-prof (= 1.3.5.0-2+b3), libghc-hashtables-dev (= 1.2.4.2-1+b2), libghc-hashtables-prof (= 1.2.4.2-1+b2), libghc-haskell-lexer-dev (= 1.1-2+b2), libghc-haskell-lexer-prof (= 1.1-2+b2), libghc-hedgehog-dev (= 1.0.5-1+b3), libghc-hedgehog-prof (= 1.0.5-1+b3), libghc-indexed-traversable-dev (= 0.1.2-2+b1), libghc-indexed-traversable-instances-dev (= 0.1.1.1-1+b1), libghc-indexed-traversable-instances-prof (= 0.1.1.1-1+b1), libghc-indexed-traversable-prof (= 0.1.2-2+b1), libghc-integer-logarithms-dev (= 1.0.3.1-2+b2), libghc-integer-logarithms-prof (= 1.0.3.1-2+b2), libghc-invariant-dev (= 0.5.6-1+b3), libghc-invariant-prof (= 0.5.6-1+b3), libghc-io-streams-dev (= 1.5.2.2-1+b1), libghc-io-streams-prof (= 1.5.2.2-1+b1), libghc-kan-extensions-dev (= 5.2.5-1+b4), libghc-kan-extensions-prof (= 5.2.5-1+b4), libghc-lens-dev (= 5.0.1-2+b3), libghc-lens-prof (= 5.0.1-2+b3), libghc-libbf-dev (= 0.6.5.1-1+b1), libghc-libbf-prof (= 0.6.5.1-1+b1), libghc-lifted-async-dev (= 0.10.2.3-1+b1), libghc-lifted-async-prof (= 0.10.2.3-1+b1), libghc-lifted-base-dev (= 0.2.3.12-4+b3), libghc-lifted-base-prof (= 0.2.3.12-4+b3), libghc-lumberjack-dev (= 1.0.1.0-2+b1), libghc-lumberjack-prof (= 1.0.1.0-2+b1), libghc-megaparsec-dev (= 9.2.2-1+b1), libghc-megaparsec-prof (= 9.2.2-1+b1), libghc-mmorph-dev (= 1.1.5-1+b3), libghc-mmorph-prof (= 1.1.5-1+b3), libghc-monad-control-dev (= 1.0.3.1-1+b3), libghc-monad-control-prof (= 1.0.3.1-1+b3), libghc-network-dev (= 3.1.2.7-1+b3), libghc-network-prof (= 3.1.2.7-1+b3), libghc-onetuple-dev (= 0.3.1-1+b3), libghc-onetuple-prof (= 0.3.1-1+b3), libghc-optparse-applicative-dev (= 0.16.1.0-1+b2), libghc-optparse-applicative-prof (= 0.16.1.0-1+b2), libghc-panic-dev (= 0.4.0.1-3+b2), libghc-panic-prof (= 0.4.0.1-3+b2), libghc-parallel-dev (= 3.2.2.0-4+b3), libghc-parallel-prof (= 3.2.2.0-4+b3), libghc-parameterized-utils-dev (= 2.1.5.0-2+b3), libghc-parameterized-utils-prof (= 2.1.5.0-2+b3), libghc-parser-combinators-dev (= 1.3.0-1+b2), libghc-parser-combinators-prof (= 1.3.0-1+b2), libghc-pretty-show-dev (= 1.10-2+b2), libghc-pretty-show-prof (= 1.10-2+b2), libghc-prettyprinter-ansi-terminal-dev (= 1.1.3-1+b2), libghc-prettyprinter-ansi-terminal-prof (= 1.1.3-1+b2), libghc-prettyprinter-dev (= 1.7.1-1+b3), libghc-prettyprinter-prof (= 1.7.1-1+b3), libghc-primitive-dev (= 0.7.3.0-1+b3), libghc-primitive-prof (= 0.7.3.0-1+b3), libghc-profunctors-dev (= 5.6.2-1+b3), libghc-profunctors-prof (= 5.6.2-1+b3), libghc-quickcheck2-dev (= 2.14.2-1+b3), libghc-quickcheck2-prof (= 2.14.2-1+b3), libghc-random-dev (= 1.2.1.1-2+b3), libghc-random-prof (= 1.2.1.1-2+b3), libghc-reflection-dev (= 2.1.6-2+b3), libghc-reflection-prof (= 2.1.6-2+b3), libghc-resourcet-dev (= 1.2.6-1+b1), libghc-resourcet-prof (= 1.2.6-1+b1), libghc-scientific-dev (= 0.3.7.0-1+b2), libghc-scientific-prof (= 0.3.7.0-1+b2), libghc-semigroupoids-dev (= 5.3.7-1+b3), libghc-semigroupoids-prof (= 5.3.7-1+b3), libghc-semigroups-dev (= 0.19.2-1+b3), libghc-semigroups-prof (= 0.19.2-1+b3), libghc-splitmix-dev (= 0.1.0.4-1+b3), libghc-splitmix-prof (= 0.1.0.4-1+b3), libghc-statevar-dev (= 1.2.2-1+b3), libghc-statevar-prof (= 1.2.2-1+b3), libghc-strict-dev (= 0.4.0.1-1+b3), libghc-strict-prof (= 0.4.0.1-1+b3), libghc-tagged-dev (= 0.8.6.1-1+b3), libghc-tagged-prof (= 0.8.6.1-1+b3), libghc-tasty-checklist-dev (= 1.0.4.0-2+b3), libghc-tasty-checklist-prof (= 1.0.4.0-2+b3), libghc-tasty-dev (= 1.4.2.3-1+b2), libghc-tasty-expected-failure-dev (= 0.12.3-1+b2), libghc-tasty-expected-failure-prof (= 0.12.3-1+b2), libghc-tasty-hedgehog-dev (= 1.2.0.0-2+b2), libghc-tasty-hedgehog-prof (= 1.2.0.0-2+b2), libghc-tasty-hunit-dev (= 0.10.0.3-1+b2), libghc-tasty-hunit-prof (= 0.10.0.3-1+b2), libghc-tasty-prof (= 1.4.2.3-1+b2), libghc-tasty-quickcheck-dev (= 0.10.2-1+b2), libghc-tasty-quickcheck-prof (= 0.10.2-1+b2), libghc-temporary-dev (= 1.3-3+b2), libghc-temporary-prof (= 1.3-3+b2), libghc-terminal-size-dev (= 0.3.3-1+b3), libghc-terminal-size-prof (= 0.3.3-1+b3), libghc-th-abstraction-dev (= 0.4.5.0-1+b1), libghc-th-abstraction-prof (= 0.4.5.0-1+b1), libghc-th-lift-dev (= 0.8.2-1+b4), libghc-th-lift-instances-dev (= 0.1.20-1+b1), libghc-th-lift-instances-prof (= 0.1.20-1+b1), libghc-th-lift-prof (= 0.8.2-1+b4), libghc-these-dev (= 1.1.1.1-2+b3), libghc-these-prof (= 1.1.1.1-2+b3), libghc-transformers-base-dev (= 0.4.6-1+b4), libghc-transformers-base-prof (= 0.4.6-1+b4), libghc-transformers-compat-dev (= 0.6.6-1+b3), libghc-transformers-compat-prof (= 0.6.6-1+b3), libghc-type-equality-dev (= 1-3+b3), libghc-type-equality-prof (= 1-3+b3), libghc-unbounded-delays-dev (= 0.1.1.1-1+b3), libghc-unbounded-delays-prof (= 0.1.1.1-1+b3), libghc-unliftio-core-dev (= 0.2.0.1-2+b3), libghc-unliftio-core-prof (= 0.2.0.1-2+b3), libghc-unordered-containers-dev (= 0.2.17.0-2+b2), libghc-unordered-containers-prof (= 0.2.17.0-2+b2), libghc-utf8-string-dev (= 1.0.2-1+b2), libghc-utf8-string-prof (= 1.0.2-1+b2), libghc-vector-dev (= 0.12.3.1-1+b2), libghc-vector-prof (= 0.12.3.1-1+b2), libghc-versions-dev (= 5.0.3-3), libghc-versions-prof (= 5.0.3-3), libghc-void-dev (= 0.7.3-3+b2), libghc-void-prof (= 0.7.3-3+b2), libghc-wcwidth-dev (= 0.0.2-3+b3), libghc-wcwidth-prof (= 0.0.2-3+b3), libghc-wl-pprint-annotated-dev (= 0.1.0.1-4+b1), libghc-wl-pprint-annotated-prof (= 0.1.0.1-4+b1), libghc-zenc-dev (= 0.1.2-2+b1), libghc-zenc-prof (= 0.1.2-2+b1), libghc-zlib-bindings-dev (= 0.1.1.5-11+b2), libghc-zlib-bindings-prof (= 0.1.1.5-11+b2), libghc-zlib-dev (= 0.6.3.0-1+b3), libghc-zlib-prof (= 0.6.3.0-1+b3), libgmp-dev (= 2:6.2.1+dfsg1-1.1), libgmp10 (= 2:6.2.1+dfsg1-1.1), libgmpxx4ldbl (= 2:6.2.1+dfsg1-1.1), libgnutls30 (= 3.7.9-2+deb12u6), libgomp1 (= 12.2.0-14+deb12u1), libgpg-error0 (= 1.46-1+b1), libgssapi-krb5-2 (= 1.20.1-2+deb12u4), libhogweed6 (= 3.8.1-2), libicu72 (= 72.1-3+deb12u1), libidn2-0 (= 2.3.3-1+b1), libipc-run3-perl (= 0.048-3), libisl23 (= 0.25-1.1), libjansson4 (= 2.14-2+b1), libk5crypto3 (= 1.20.1-2+deb12u4), libkeyutils1 (= 1.6.3-2+b1), libkrb5-3 (= 1.20.1-2+deb12u4), libkrb5support0 (= 1.20.1-2+deb12u4), libldap-2.5-0 (= 2.5.13+dfsg-5), liblist-someutils-perl (= 0.59-1), liblz4-1 (= 1.9.4-1+b1), liblzma5 (= 5.4.1-1), libmagic-mgc (= 1:5.44-3+b1), libmagic1 (= 1:5.44-3+b1), libmd-dev (= 1.0.4-2), libmd0 (= 1.0.4-2), libmodule-implementation-perl (= 0.09-2), libmodule-runtime-perl (= 0.016-2), libmount1 (= 2.38.1-5+deb12u3), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.0-1+b1), libncurses-dev (= 6.4-4), libncurses6 (= 6.4-4), libncursesw6 (= 6.4-4), libnettle8 (= 3.8.1-2), libnghttp2-14 (= 1.52.0-1+deb12u2), libnsl-dev (= 1.3.0-2+b1), libnsl2 (= 1.3.0-2+b1), libp11-kit0 (= 0.24.1-2), libpam-modules (= 1.5.2-6+deb12u2), libpam-modules-bin (= 1.5.2-6+deb12u2), libpam-runtime (= 1.5.2-6+deb12u2), libpam0g (= 1.5.2-6+deb12u2), libparams-classify-perl (= 0.015-2+b1), libparams-util-perl (= 1.102-2+b1), libpath-tiny-perl (= 0.144-1), libpcre2-8-0 (= 10.42-1), libperl5.36 (= 5.36.0-7+deb12u3), libpipeline1 (= 1.5.7-1+b1), libpsl5 (= 0.21.2-1), libpython3-stdlib (= 3.11.2-1+b1), libpython3.11-minimal (= 3.11.2-6+deb12u7), libpython3.11-stdlib (= 3.11.2-6+deb12u7), libreadline8 (= 8.2-1.3), librtmp1 (= 2.4+20151223.gitfa8646d.1-2+b2), libsasl2-2 (= 2.1.28+dfsg-10), libsasl2-modules-db (= 2.1.28+dfsg-10), libselinux1 (= 3.4-1+b6), libsmartcols1 (= 2.38.1-5+deb12u3), libsqlite3-0 (= 3.40.1-2+deb12u2), libssh2-1 (= 1.10.0-3+b1), libssl3 (= 3.0.20-1~deb12u1), libstdc++-12-dev (= 12.2.0-14+deb12u1), libstdc++6 (= 12.2.0-14+deb12u1), libsub-exporter-perl (= 0.989-1), libsub-exporter-progressive-perl (= 0.001013-3), libsub-install-perl (= 0.929-1), libsub-override-perl (= 0.09-4), libsystemd0 (= 252.39-1~deb12u2), libtasn1-6 (= 4.19.0-2+deb12u1), libtimedate-perl (= 2.3300-2), libtinfo6 (= 6.4-4), libtirpc-common (= 1.3.3+ds-1), libtirpc-dev (= 1.3.3+ds-1+b1), libtirpc3 (= 1.3.3+ds-1+b1), libtool (= 2.4.7-7~deb12u1), libtry-tiny-perl (= 0.31-2), libuchardet0 (= 0.0.7-1+b2), libudev1 (= 252.39-1~deb12u2), libunicode-utf8-perl (= 0.62-2), libunistring2 (= 1.0-2+b1), libuuid1 (= 2.38.1-5+deb12u3), libxml2 (= 2.9.14+dfsg-1.3~deb12u5), libzstd1 (= 1.5.4+dfsg2-5), linux-libc-dev (= 6.1.170-3), login (= 1:4.13+dfsg1-1+deb12u2), m4 (= 1.4.19-3+b1), make (= 4.3-4.1+b1), man-db (= 2.11.2-2), mawk (= 1.3.4.20200120-3.1+b1), media-types (= 10.0.0), ncurses-base (= 6.4-4), ncurses-bin (= 6.4-4), patch (= 2.7.6-7+b1), perl (= 5.36.0-7+deb12u3), perl-base (= 5.36.0-7+deb12u3), perl-modules-5.36 (= 5.36.0-7+deb12u3), po-debconf (= 1.0.21+nmu1), python3 (= 3.11.2-1+b1), python3-minimal (= 3.11.2-1+b1), python3-pkg-resources (= 66.1.1-1+deb12u2), python3-scour (= 0.38.2-2), python3-six (= 1.16.0-4), python3.11 (= 3.11.2-6+deb12u7), python3.11-minimal (= 3.11.2-6+deb12u7), readline-common (= 8.2-1.3), rpcsvc-proto (= 1.4.3-1+b1), scour (= 0.38.2-2), sed (= 4.9-1+deb12u1), sensible-utils (= 0.0.17+nmu1), sysvinit-utils (= 3.06-4), tar (= 1.34+dfsg-1.2+deb12u1), usr-is-merged (= 37~deb12u1), util-linux (= 2.38.1-5+deb12u3), util-linux-extra (= 2.38.1-5+deb12u3), xz-utils (= 5.4.1-1), z3 (= 4.8.12-3.1), zlib1g (= 1:1.2.13.dfsg-1+b1), zlib1g-dev (= 1:1.2.13.dfsg-1+b1) Environment: DEB_BUILD_OPTIONS="nocheck parallel=4" LANG="C" LC_ALL="C" SOURCE_DATE_EPOCH="1779447697"