sbuild (Debian sbuild) 0.85.0 (04 January 2023) on debian-ci-siliconvalley +==============================================================================+ | boolector 3.2.4-1 (armhf) Sat, 31 Jan 2026 11:32:22 +0000 | +==============================================================================+ Package: boolector Version: 3.2.4-1 Source Version: 3.2.4-1 Distribution: unstable Machine Architecture: amd64 Host Architecture: armhf Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any I: NOTICE: Log filtering will replace 'var/run/schroot/mount/sid-amd64-sbuild-0e229122-b238-42c2-bf5d-3dcc463a5611' with '<>' I: NOTICE: Log filtering will replace 'build/boolector-85S3eD/resolver-Vh70ec' with '<>' +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Get:1 http://localhost:3142/debian unstable InRelease [187 kB] Get:2 http://localhost:3142/debian unstable/contrib Sources.diff/Index [63.3 kB] Get:3 http://localhost:3142/debian unstable/main Sources.diff/Index [63.6 kB] Get:4 http://localhost:3142/debian unstable/main amd64 Packages.diff/Index [63.6 kB] Get:5 http://localhost:3142/debian unstable/contrib Sources T-2026-01-31-0759.37-F-2026-01-31-0200.29.pdiff [640 B] Get:6 http://localhost:3142/debian unstable/main Sources T-2026-01-31-0759.37-F-2026-01-31-0200.29.pdiff [18.1 kB] Get:5 http://localhost:3142/debian unstable/contrib Sources T-2026-01-31-0759.37-F-2026-01-31-0200.29.pdiff [640 B] Get:6 http://localhost:3142/debian unstable/main Sources T-2026-01-31-0759.37-F-2026-01-31-0200.29.pdiff [18.1 kB] Get:7 http://localhost:3142/debian unstable/main amd64 Packages T-2026-01-31-0759.37-F-2026-01-31-0200.29.pdiff [15.5 kB] Get:7 http://localhost:3142/debian unstable/main amd64 Packages T-2026-01-31-0759.37-F-2026-01-31-0200.29.pdiff [15.5 kB] Get:8 http://localhost:3142/debian unstable/main armhf Packages [9615 kB] Fetched 10.0 MB in 3s (3633 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... NOTICE: 'boolector' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/science-team/boolector.git Please use: git clone https://salsa.debian.org/science-team/boolector.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 1573 kB of source archives. Get:1 http://localhost:3142/debian unstable/main boolector 3.2.4-1 (dsc) [2043 B] Get:2 http://localhost:3142/debian unstable/main boolector 3.2.4-1 (tar) [1568 kB] Get:3 http://localhost:3142/debian unstable/main boolector 3.2.4-1 (diff) [3276 B] Fetched 1573 kB in 0s (113 MB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/boolector-85S3eD/boolector-3.2.4' with '<>' I: NOTICE: Log filtering will replace 'build/boolector-85S3eD' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), cmake, libbtor2parser-dev, minisat, zlib1g-dev, libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-armhf:amd64, libc-dev:armhf, libstdc++-dev:armhf Filtered Build-Depends: debhelper-compat (= 13), cmake, libbtor2parser-dev, minisat, zlib1g-dev, libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-armhf:amd64, libc-dev:armhf, libstdc++-dev:armhf dpkg-deb: warning: root directory /<>/sbuild-build-depends-main-dummy has unusual owner or group 1000:119 dpkg-deb: hint: you might need to pass --root-owner-group, see for further details dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [609 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [762 B] Get:5 copy:/<>/apt_archive ./ Packages [805 B] Fetched 2176 B in 0s (0 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... Execute external solver... The following additional packages will be installed: autoconf automake autopoint autotools-dev binutils-arm-linux-gnueabihf bsdextrautils cmake cmake-data cpp-15-arm-linux-gnueabihf cpp-arm-linux-gnueabihf crossbuild-essential-armhf debhelper dh-autoreconf dh-strip-nondeterminism dwz fakeroot file g++-15-arm-linux-gnueabihf g++-arm-linux-gnueabihf gcc-15-arm-linux-gnueabihf gcc-15-arm-linux-gnueabihf-base gcc-15-base:armhf gcc-15-cross-base gcc-arm-linux-gnueabihf gettext gettext-base groff-base intltool-debian libarchive-zip-perl libarchive13t64 libasan8:armhf libasan8-armhf-cross libatomic1:armhf libatomic1-armhf-cross libbrotli1 libbtor2parser-dev:armhf libbtor2parser0:armhf libc-gconv-modules-extra:armhf libc6:armhf libc6-armhf-cross libc6-dev:armhf libc6-dev-armhf-cross libcom-err2 libcurl4t64 libdebhelper-perl libelf1t64 libexpat1 libfakeroot libffi8 libfile-stripnondeterminism-perl libgcc-15-dev:armhf libgcc-15-dev-armhf-cross libgcc-s1:armhf libgcc-s1-armhf-cross libgnutls30t64 libgomp1:armhf libgomp1-armhf-cross libgssapi-krb5-2 libidn2-0 libjsoncpp26 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap2 libmagic-mgc libmagic1t64 libncursesw6 libnghttp2-14 libnghttp3-9 libngtcp2-16 libngtcp2-crypto-ossl0 libp11-kit0 libpipeline1 libproc2-0 libpsl5t64 librhash1 librtmp1 libsasl2-2 libsasl2-modules-db libssh2-1t64 libstdc++-15-dev:armhf libstdc++-15-dev-armhf-cross libstdc++6:armhf libstdc++6-armhf-cross libtasn1-6 libtool libubsan1:armhf libubsan1-armhf-cross libuchardet0 libunistring5 libuv1t64 libxml2-16 linux-libc-dev-armhf-cross m4 man-db minisat:armhf po-debconf procps sensible-utils zlib1g:armhf zlib1g-dev:armhf Suggested packages: autoconf-archive gnu-standards autoconf-doc binutils-doc cmake-doc cmake-format elpa-cmake-mode ninja-build gcc-15-locales cpp-15-doc cpp-doc dh-make gcc-15-doc manpages-dev flex bison gdb-arm-linux-gnueabihf gcc-doc gettext-doc libasprintf-dev libgettextpo-dev gnulib-l10n groff lrzip glibc-doc:armhf libc-l10n:armhf locales:armhf libnss-nis:armhf libnss-nisplus:armhf manpages-dev:armhf gnutls-bin krb5-doc krb5-user libstdc++-15-doc:armhf libtool-doc gfortran | fortran95-compiler m4-doc apparmor less www-browser libmail-box-perl Recommended packages: curl | wget | lynx libidn2-0:armhf ca-certificates libarchive-cpio-perl krb5-locales libldap-common libgpm2 publicsuffix libsasl2-modules libltdl-dev libmail-sendmail-perl psmisc linux-sysctl-defaults The following NEW packages will be installed: autoconf automake autopoint autotools-dev binutils-arm-linux-gnueabihf bsdextrautils cmake cmake-data cpp-15-arm-linux-gnueabihf cpp-arm-linux-gnueabihf crossbuild-essential-armhf debhelper dh-autoreconf dh-strip-nondeterminism dwz fakeroot file g++-15-arm-linux-gnueabihf g++-arm-linux-gnueabihf gcc-15-arm-linux-gnueabihf gcc-15-arm-linux-gnueabihf-base gcc-15-base:armhf gcc-15-cross-base gcc-arm-linux-gnueabihf gettext gettext-base groff-base intltool-debian libarchive-zip-perl libarchive13t64 libasan8:armhf libasan8-armhf-cross libatomic1:armhf libatomic1-armhf-cross libbrotli1 libbtor2parser-dev:armhf libbtor2parser0:armhf libc-gconv-modules-extra:armhf libc6:armhf libc6-armhf-cross libc6-dev:armhf libc6-dev-armhf-cross libcom-err2 libcurl4t64 libdebhelper-perl libelf1t64 libexpat1 libfakeroot libffi8 libfile-stripnondeterminism-perl libgcc-15-dev:armhf libgcc-15-dev-armhf-cross libgcc-s1:armhf libgcc-s1-armhf-cross libgnutls30t64 libgomp1:armhf libgomp1-armhf-cross libgssapi-krb5-2 libidn2-0 libjsoncpp26 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap2 libmagic-mgc libmagic1t64 libncursesw6 libnghttp2-14 libnghttp3-9 libngtcp2-16 libngtcp2-crypto-ossl0 libp11-kit0 libpipeline1 libproc2-0 libpsl5t64 librhash1 librtmp1 libsasl2-2 libsasl2-modules-db libssh2-1t64 libstdc++-15-dev:armhf libstdc++-15-dev-armhf-cross libstdc++6:armhf libstdc++6-armhf-cross libtasn1-6 libtool libubsan1:armhf libubsan1-armhf-cross libuchardet0 libunistring5 libuv1t64 libxml2-16 linux-libc-dev-armhf-cross m4 man-db minisat:armhf po-debconf procps sbuild-build-depends-main-dummy:armhf sensible-utils zlib1g:armhf zlib1g-dev:armhf 0 upgraded, 103 newly installed, 0 to remove and 0 not upgraded. Need to get 105 MB of archives. After this operation, 402 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [944 B] Get:2 http://localhost:3142/debian unstable/main amd64 libexpat1 amd64 2.7.3-2 [112 kB] Get:3 http://localhost:3142/debian unstable/main amd64 libncursesw6 amd64 6.6+20251231-1 [137 kB] Get:4 http://localhost:3142/debian unstable/main amd64 libproc2-0 amd64 2:4.0.4-9+b1 [66.1 kB] Get:5 http://localhost:3142/debian unstable/main amd64 procps amd64 2:4.0.4-9+b1 [883 kB] Get:6 http://localhost:3142/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get:7 http://localhost:3142/debian unstable/main amd64 libmagic-mgc amd64 1:5.46-5+b1 [338 kB] Get:8 http://localhost:3142/debian unstable/main amd64 libmagic1t64 amd64 1:5.46-5+b1 [110 kB] Get:9 http://localhost:3142/debian unstable/main amd64 file amd64 1:5.46-5+b1 [43.8 kB] Get:10 http://localhost:3142/debian unstable/main amd64 gettext-base amd64 0.23.2-1 [245 kB] Get:11 http://localhost:3142/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b1 [68.8 kB] Get:12 http://localhost:3142/debian unstable/main amd64 groff-base amd64 1.23.0-10 [1194 kB] Get:13 http://localhost:3142/debian unstable/main amd64 bsdextrautils amd64 2.41.3-3 [99.1 kB] Get:14 http://localhost:3142/debian unstable/main amd64 libpipeline1 amd64 1.5.8-2 [42.1 kB] Get:15 http://localhost:3142/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:16 http://localhost:3142/debian unstable/main amd64 m4 amd64 1.4.20-2 [325 kB] Get:17 http://localhost:3142/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB] Get:18 http://localhost:3142/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB] Get:19 http://localhost:3142/debian unstable/main amd64 automake all 1:1.18.1-3 [878 kB] Get:20 http://localhost:3142/debian unstable/main amd64 autopoint all 0.23.2-1 [772 kB] Get:21 http://localhost:3142/debian unstable/main amd64 binutils-arm-linux-gnueabihf amd64 2.45.90.20260125-1 [1557 kB] Get:22 http://localhost:3142/debian unstable/main amd64 cmake-data all 4.2.3-1 [2556 kB] Get:23 http://localhost:3142/debian unstable/main amd64 libxml2-16 amd64 2.15.1+dfsg-2+b1 [641 kB] Get:24 http://localhost:3142/debian unstable/main amd64 libarchive13t64 amd64 3.8.5-1 [362 kB] Get:25 http://localhost:3142/debian unstable/main amd64 libnghttp3-9 amd64 1.12.0-1 [68.4 kB] Get:26 http://localhost:3142/debian unstable/main amd64 libngtcp2-16 amd64 1.16.0-1 [136 kB] Get:27 http://localhost:3142/debian unstable/main amd64 libbrotli1 amd64 1.1.0-2+b9 [304 kB] Get:28 http://localhost:3142/debian unstable/main amd64 libkrb5support0 amd64 1.22.1-2 [33.1 kB] Get:29 http://localhost:3142/debian unstable/main amd64 libcom-err2 amd64 1.47.2-3+b8 [25.1 kB] Get:30 http://localhost:3142/debian unstable/main amd64 libk5crypto3 amd64 1.22.1-2 [81.1 kB] Get:31 http://localhost:3142/debian unstable/main amd64 libkeyutils1 amd64 1.6.3-6+b1 [9784 B] Get:32 http://localhost:3142/debian unstable/main amd64 libkrb5-3 amd64 1.22.1-2 [337 kB] Get:33 http://localhost:3142/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.22.1-2 [139 kB] Get:34 http://localhost:3142/debian unstable/main amd64 libunistring5 amd64 1.3-2+b1 [466 kB] Get:35 http://localhost:3142/debian unstable/main amd64 libidn2-0 amd64 2.3.8-4+b1 [110 kB] Get:36 http://localhost:3142/debian unstable/main amd64 libsasl2-modules-db amd64 2.1.28+dfsg1-10 [19.8 kB] Get:37 http://localhost:3142/debian unstable/main amd64 libsasl2-2 amd64 2.1.28+dfsg1-10 [57.8 kB] Get:38 http://localhost:3142/debian unstable/main amd64 libldap2 amd64 2.6.10+dfsg-1+b1 [195 kB] Get:39 http://localhost:3142/debian unstable/main amd64 libnghttp2-14 amd64 1.64.0-1.1+b1 [76.2 kB] Get:40 http://localhost:3142/debian unstable/main amd64 libngtcp2-crypto-ossl0 amd64 1.16.0-1 [27.5 kB] Get:41 http://localhost:3142/debian unstable/main amd64 libpsl5t64 amd64 0.21.2-1.1+b2 [59.8 kB] Get:42 http://localhost:3142/debian unstable/main amd64 libffi8 amd64 3.5.2-3+b1 [26.4 kB] Get:43 http://localhost:3142/debian unstable/main amd64 libp11-kit0 amd64 0.25.10-1+b1 [444 kB] Get:44 http://localhost:3142/debian unstable/main amd64 libtasn1-6 amd64 4.21.0-2 [50.4 kB] Get:45 http://localhost:3142/debian unstable/main amd64 libgnutls30t64 amd64 3.8.11-3 [1509 kB] Get:46 http://localhost:3142/debian unstable/main amd64 librtmp1 amd64 2.4+20151223.gitfa8646d.1-3+b1 [60.7 kB] Get:47 http://localhost:3142/debian unstable/main amd64 libssh2-1t64 amd64 1.11.1-1+b1 [245 kB] Get:48 http://localhost:3142/debian unstable/main amd64 libcurl4t64 amd64 8.18.0-2 [412 kB] Get:49 http://localhost:3142/debian unstable/main amd64 libjsoncpp26 amd64 1.9.6-5 [82.6 kB] Get:50 http://localhost:3142/debian unstable/main amd64 librhash1 amd64 1.4.6-1.1 [135 kB] Get:51 http://localhost:3142/debian unstable/main amd64 libuv1t64 amd64 1.51.0-2+b1 [156 kB] Get:52 http://localhost:3142/debian unstable/main amd64 cmake amd64 4.2.3-1 [13.0 MB] Get:53 http://localhost:3142/debian unstable/main amd64 gcc-15-arm-linux-gnueabihf-base amd64 15.2.0-7cross1 [53.5 kB] Get:54 http://localhost:3142/debian unstable/main amd64 cpp-15-arm-linux-gnueabihf amd64 15.2.0-7cross1 [11.2 MB] Get:55 http://localhost:3142/debian unstable/main amd64 cpp-arm-linux-gnueabihf amd64 4:15.2.0-5 [5336 B] Get:56 http://localhost:3142/debian unstable/main amd64 gcc-15-cross-base all 15.2.0-7cross1 [48.9 kB] Get:57 http://localhost:3142/debian unstable/main amd64 libc6-armhf-cross all 2.42-10cross1 [1258 kB] Get:58 http://localhost:3142/debian unstable/main amd64 libgcc-s1-armhf-cross all 15.2.0-7cross1 [36.9 kB] Get:59 http://localhost:3142/debian unstable/main amd64 libgomp1-armhf-cross all 15.2.0-7cross1 [112 kB] Get:60 http://localhost:3142/debian unstable/main amd64 libatomic1-armhf-cross all 15.2.0-7cross1 [6888 B] Get:61 http://localhost:3142/debian unstable/main amd64 libasan8-armhf-cross all 15.2.0-7cross1 [2623 kB] Get:62 http://localhost:3142/debian unstable/main amd64 libstdc++6-armhf-cross all 15.2.0-7cross1 [575 kB] Get:63 http://localhost:3142/debian unstable/main amd64 libubsan1-armhf-cross all 15.2.0-7cross1 [1074 kB] Get:64 http://localhost:3142/debian unstable/main amd64 libgcc-15-dev-armhf-cross all 15.2.0-7cross1 [762 kB] Get:65 http://localhost:3142/debian unstable/main amd64 gcc-15-arm-linux-gnueabihf amd64 15.2.0-7cross1 [21.2 MB] Get:66 http://localhost:3142/debian unstable/main amd64 gcc-arm-linux-gnueabihf amd64 4:15.2.0-5 [1456 B] Get:67 http://localhost:3142/debian unstable/main amd64 linux-libc-dev-armhf-cross all 6.18.5-1cross1 [2351 kB] Get:68 http://localhost:3142/debian unstable/main amd64 libc6-dev-armhf-cross all 2.42-10cross1 [1346 kB] Get:69 http://localhost:3142/debian unstable/main amd64 libstdc++-15-dev-armhf-cross all 15.2.0-7cross1 [2410 kB] Get:70 http://localhost:3142/debian unstable/main amd64 g++-15-arm-linux-gnueabihf amd64 15.2.0-7cross1 [12.2 MB] Get:71 http://localhost:3142/debian unstable/main amd64 g++-arm-linux-gnueabihf amd64 4:15.2.0-5 [1208 B] Get:72 http://localhost:3142/debian unstable/main amd64 crossbuild-essential-armhf all 12.12 [3548 B] Get:73 http://localhost:3142/debian unstable/main amd64 libdebhelper-perl all 13.29 [92.6 kB] Get:74 http://localhost:3142/debian unstable/main amd64 libtool all 2.5.4-9 [540 kB] Get:75 http://localhost:3142/debian unstable/main amd64 dh-autoreconf all 21 [12.2 kB] Get:76 http://localhost:3142/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:77 http://localhost:3142/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Get:78 http://localhost:3142/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Get:79 http://localhost:3142/debian unstable/main amd64 libelf1t64 amd64 0.194-1 [185 kB] Get:80 http://localhost:3142/debian unstable/main amd64 dwz amd64 0.16-2 [108 kB] Get:81 http://localhost:3142/debian unstable/main amd64 gettext amd64 0.23.2-1 [1687 kB] Get:82 http://localhost:3142/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:83 http://localhost:3142/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB] Get:84 http://localhost:3142/debian unstable/main amd64 debhelper all 13.29 [943 kB] Get:85 http://localhost:3142/debian unstable/main amd64 libfakeroot amd64 1.37.2-1 [29.9 kB] Get:86 http://localhost:3142/debian unstable/main amd64 fakeroot amd64 1.37.2-1 [76.2 kB] Get:87 http://localhost:3142/debian unstable/main armhf gcc-15-base armhf 15.2.0-12 [54.1 kB] Get:88 http://localhost:3142/debian unstable/main armhf libgcc-s1 armhf 15.2.0-12 [36.8 kB] Get:89 http://localhost:3142/debian unstable/main armhf libc-gconv-modules-extra armhf 2.42-11 [1161 kB] Get:90 http://localhost:3142/debian unstable/main armhf libc6 armhf 2.42-11 [1489 kB] Get:91 http://localhost:3142/debian unstable/main armhf libasan8 armhf 15.2.0-12 [2633 kB] Get:92 http://localhost:3142/debian unstable/main armhf libatomic1 armhf 15.2.0-12 [7136 B] Get:93 http://localhost:3142/debian unstable/main armhf libbtor2parser0 armhf 1.0.2~git20250507.fb69ee3-2 [15.9 kB] Get:94 http://localhost:3142/debian unstable/main armhf libbtor2parser-dev armhf 1.0.2~git20250507.fb69ee3-2 [18.1 kB] Get:95 http://localhost:3142/debian unstable/main armhf libc6-dev armhf 2.42-11 [1351 kB] Get:96 http://localhost:3142/debian unstable/main armhf libgomp1 armhf 15.2.0-12 [115 kB] Get:97 http://localhost:3142/debian unstable/main armhf libstdc++6 armhf 15.2.0-12 [623 kB] Get:98 http://localhost:3142/debian unstable/main armhf libubsan1 armhf 15.2.0-12 [1075 kB] Get:99 http://localhost:3142/debian unstable/main armhf libgcc-15-dev armhf 15.2.0-12 [768 kB] Get:100 http://localhost:3142/debian unstable/main armhf libstdc++-15-dev armhf 15.2.0-12 [2445 kB] Get:101 http://localhost:3142/debian unstable/main armhf zlib1g armhf 1:1.3.dfsg+really1.3.1-1+b2 [75.6 kB] Get:102 http://localhost:3142/debian unstable/main armhf minisat armhf 1:2.2.1-8 [76.3 kB] Get:103 http://localhost:3142/debian unstable/main armhf zlib1g-dev armhf 1:1.3.dfsg+really1.3.1-1+b2 [905 kB] Preconfiguring packages ... Fetched 105 MB in 1s (82.6 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 12977 files and directories currently installed.) Preparing to unpack .../000-libexpat1_2.7.3-2_amd64.deb ... Unpacking libexpat1:amd64 (2.7.3-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../001-libncursesw6_6.6+20251231-1_amd64.deb ... Unpacking libncursesw6:amd64 (6.6+20251231-1) ... Selecting previously unselected package libproc2-0:amd64. Preparing to unpack .../002-libproc2-0_2%3a4.0.4-9+b1_amd64.deb ... Unpacking libproc2-0:amd64 (2:4.0.4-9+b1) ... Selecting previously unselected package procps. Preparing to unpack .../003-procps_2%3a4.0.4-9+b1_amd64.deb ... Unpacking procps (2:4.0.4-9+b1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../004-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../005-libmagic-mgc_1%3a5.46-5+b1_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5+b1) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../006-libmagic1t64_1%3a5.46-5+b1_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5+b1) ... Selecting previously unselected package file. Preparing to unpack .../007-file_1%3a5.46-5+b1_amd64.deb ... Unpacking file (1:5.46-5+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../008-gettext-base_0.23.2-1_amd64.deb ... Unpacking gettext-base (0.23.2-1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../009-libuchardet0_0.0.8-2+b1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-2+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../010-groff-base_1.23.0-10_amd64.deb ... Unpacking groff-base (1.23.0-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../011-bsdextrautils_2.41.3-3_amd64.deb ... Unpacking bsdextrautils (2.41.3-3) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../012-libpipeline1_1.5.8-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-2) ... Selecting previously unselected package man-db. Preparing to unpack .../013-man-db_2.13.1-1_amd64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../014-m4_1.4.20-2_amd64.deb ... Unpacking m4 (1.4.20-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../015-autoconf_2.72-3.1_all.deb ... Unpacking autoconf (2.72-3.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../016-autotools-dev_20240727.1_all.deb ... Unpacking autotools-dev (20240727.1) ... Selecting previously unselected package automake. Preparing to unpack .../017-automake_1%3a1.18.1-3_all.deb ... Unpacking automake (1:1.18.1-3) ... Selecting previously unselected package autopoint. Preparing to unpack .../018-autopoint_0.23.2-1_all.deb ... Unpacking autopoint (0.23.2-1) ... Selecting previously unselected package binutils-arm-linux-gnueabihf. Preparing to unpack .../019-binutils-arm-linux-gnueabihf_2.45.90.20260125-1_amd64.deb ... Unpacking binutils-arm-linux-gnueabihf (2.45.90.20260125-1) ... Selecting previously unselected package cmake-data. Preparing to unpack .../020-cmake-data_4.2.3-1_all.deb ... Unpacking cmake-data (4.2.3-1) ... Selecting previously unselected package libxml2-16:amd64. Preparing to unpack .../021-libxml2-16_2.15.1+dfsg-2+b1_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.1+dfsg-2+b1) ... Selecting previously unselected package libarchive13t64:amd64. Preparing to unpack .../022-libarchive13t64_3.8.5-1_amd64.deb ... Unpacking libarchive13t64:amd64 (3.8.5-1) ... Selecting previously unselected package libnghttp3-9:amd64. Preparing to unpack .../023-libnghttp3-9_1.12.0-1_amd64.deb ... Unpacking libnghttp3-9:amd64 (1.12.0-1) ... Selecting previously unselected package libngtcp2-16:amd64. Preparing to unpack .../024-libngtcp2-16_1.16.0-1_amd64.deb ... Unpacking libngtcp2-16:amd64 (1.16.0-1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../025-libbrotli1_1.1.0-2+b9_amd64.deb ... Unpacking libbrotli1:amd64 (1.1.0-2+b9) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../026-libkrb5support0_1.22.1-2_amd64.deb ... Unpacking libkrb5support0:amd64 (1.22.1-2) ... Selecting previously unselected package libcom-err2:amd64. Preparing to unpack .../027-libcom-err2_1.47.2-3+b8_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.2-3+b8) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../028-libk5crypto3_1.22.1-2_amd64.deb ... Unpacking libk5crypto3:amd64 (1.22.1-2) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../029-libkeyutils1_1.6.3-6+b1_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-6+b1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../030-libkrb5-3_1.22.1-2_amd64.deb ... Unpacking libkrb5-3:amd64 (1.22.1-2) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../031-libgssapi-krb5-2_1.22.1-2_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.22.1-2) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../032-libunistring5_1.3-2+b1_amd64.deb ... Unpacking libunistring5:amd64 (1.3-2+b1) ... Selecting previously unselected package libidn2-0:amd64. Preparing to unpack .../033-libidn2-0_2.3.8-4+b1_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.8-4+b1) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../034-libsasl2-modules-db_2.1.28+dfsg1-10_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.28+dfsg1-10) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../035-libsasl2-2_2.1.28+dfsg1-10_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.28+dfsg1-10) ... Selecting previously unselected package libldap2:amd64. Preparing to unpack .../036-libldap2_2.6.10+dfsg-1+b1_amd64.deb ... Unpacking libldap2:amd64 (2.6.10+dfsg-1+b1) ... Selecting previously unselected package libnghttp2-14:amd64. Preparing to unpack .../037-libnghttp2-14_1.64.0-1.1+b1_amd64.deb ... Unpacking libnghttp2-14:amd64 (1.64.0-1.1+b1) ... Selecting previously unselected package libngtcp2-crypto-ossl0:amd64. Preparing to unpack .../038-libngtcp2-crypto-ossl0_1.16.0-1_amd64.deb ... Unpacking libngtcp2-crypto-ossl0:amd64 (1.16.0-1) ... Selecting previously unselected package libpsl5t64:amd64. Preparing to unpack .../039-libpsl5t64_0.21.2-1.1+b2_amd64.deb ... Unpacking libpsl5t64:amd64 (0.21.2-1.1+b2) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../040-libffi8_3.5.2-3+b1_amd64.deb ... Unpacking libffi8:amd64 (3.5.2-3+b1) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../041-libp11-kit0_0.25.10-1+b1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.25.10-1+b1) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../042-libtasn1-6_4.21.0-2_amd64.deb ... Unpacking libtasn1-6:amd64 (4.21.0-2) ... Selecting previously unselected package libgnutls30t64:amd64. Preparing to unpack .../043-libgnutls30t64_3.8.11-3_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.11-3) ... Selecting previously unselected package librtmp1:amd64. Preparing to unpack .../044-librtmp1_2.4+20151223.gitfa8646d.1-3+b1_amd64.deb ... Unpacking librtmp1:amd64 (2.4+20151223.gitfa8646d.1-3+b1) ... Selecting previously unselected package libssh2-1t64:amd64. Preparing to unpack .../045-libssh2-1t64_1.11.1-1+b1_amd64.deb ... Unpacking libssh2-1t64:amd64 (1.11.1-1+b1) ... Selecting previously unselected package libcurl4t64:amd64. Preparing to unpack .../046-libcurl4t64_8.18.0-2_amd64.deb ... Unpacking libcurl4t64:amd64 (8.18.0-2) ... Selecting previously unselected package libjsoncpp26:amd64. Preparing to unpack .../047-libjsoncpp26_1.9.6-5_amd64.deb ... Unpacking libjsoncpp26:amd64 (1.9.6-5) ... Selecting previously unselected package librhash1:amd64. Preparing to unpack .../048-librhash1_1.4.6-1.1_amd64.deb ... Unpacking librhash1:amd64 (1.4.6-1.1) ... Selecting previously unselected package libuv1t64:amd64. Preparing to unpack .../049-libuv1t64_1.51.0-2+b1_amd64.deb ... Unpacking libuv1t64:amd64 (1.51.0-2+b1) ... Selecting previously unselected package cmake. Preparing to unpack .../050-cmake_4.2.3-1_amd64.deb ... Unpacking cmake (4.2.3-1) ... Selecting previously unselected package gcc-15-arm-linux-gnueabihf-base:amd64. Preparing to unpack .../051-gcc-15-arm-linux-gnueabihf-base_15.2.0-7cross1_amd64.deb ... Unpacking gcc-15-arm-linux-gnueabihf-base:amd64 (15.2.0-7cross1) ... Selecting previously unselected package cpp-15-arm-linux-gnueabihf. Preparing to unpack .../052-cpp-15-arm-linux-gnueabihf_15.2.0-7cross1_amd64.deb ... Unpacking cpp-15-arm-linux-gnueabihf (15.2.0-7cross1) ... Selecting previously unselected package cpp-arm-linux-gnueabihf. Preparing to unpack .../053-cpp-arm-linux-gnueabihf_4%3a15.2.0-5_amd64.deb ... Unpacking cpp-arm-linux-gnueabihf (4:15.2.0-5) ... Selecting previously unselected package gcc-15-cross-base. Preparing to unpack .../054-gcc-15-cross-base_15.2.0-7cross1_all.deb ... Unpacking gcc-15-cross-base (15.2.0-7cross1) ... Selecting previously unselected package libc6-armhf-cross. Preparing to unpack .../055-libc6-armhf-cross_2.42-10cross1_all.deb ... Unpacking libc6-armhf-cross (2.42-10cross1) ... Selecting previously unselected package libgcc-s1-armhf-cross. Preparing to unpack .../056-libgcc-s1-armhf-cross_15.2.0-7cross1_all.deb ... Unpacking libgcc-s1-armhf-cross (15.2.0-7cross1) ... Selecting previously unselected package libgomp1-armhf-cross. Preparing to unpack .../057-libgomp1-armhf-cross_15.2.0-7cross1_all.deb ... Unpacking libgomp1-armhf-cross (15.2.0-7cross1) ... Selecting previously unselected package libatomic1-armhf-cross. Preparing to unpack .../058-libatomic1-armhf-cross_15.2.0-7cross1_all.deb ... Unpacking libatomic1-armhf-cross (15.2.0-7cross1) ... Selecting previously unselected package libasan8-armhf-cross. Preparing to unpack .../059-libasan8-armhf-cross_15.2.0-7cross1_all.deb ... Unpacking libasan8-armhf-cross (15.2.0-7cross1) ... Selecting previously unselected package libstdc++6-armhf-cross. Preparing to unpack .../060-libstdc++6-armhf-cross_15.2.0-7cross1_all.deb ... Unpacking libstdc++6-armhf-cross (15.2.0-7cross1) ... Selecting previously unselected package libubsan1-armhf-cross. Preparing to unpack .../061-libubsan1-armhf-cross_15.2.0-7cross1_all.deb ... Unpacking libubsan1-armhf-cross (15.2.0-7cross1) ... Selecting previously unselected package libgcc-15-dev-armhf-cross. Preparing to unpack .../062-libgcc-15-dev-armhf-cross_15.2.0-7cross1_all.deb ... Unpacking libgcc-15-dev-armhf-cross (15.2.0-7cross1) ... Selecting previously unselected package gcc-15-arm-linux-gnueabihf. Preparing to unpack .../063-gcc-15-arm-linux-gnueabihf_15.2.0-7cross1_amd64.deb ... Unpacking gcc-15-arm-linux-gnueabihf (15.2.0-7cross1) ... Selecting previously unselected package gcc-arm-linux-gnueabihf. Preparing to unpack .../064-gcc-arm-linux-gnueabihf_4%3a15.2.0-5_amd64.deb ... Unpacking gcc-arm-linux-gnueabihf (4:15.2.0-5) ... Selecting previously unselected package linux-libc-dev-armhf-cross. Preparing to unpack .../065-linux-libc-dev-armhf-cross_6.18.5-1cross1_all.deb ... Unpacking linux-libc-dev-armhf-cross (6.18.5-1cross1) ... Selecting previously unselected package libc6-dev-armhf-cross. Preparing to unpack .../066-libc6-dev-armhf-cross_2.42-10cross1_all.deb ... Unpacking libc6-dev-armhf-cross (2.42-10cross1) ... Selecting previously unselected package libstdc++-15-dev-armhf-cross. Preparing to unpack .../067-libstdc++-15-dev-armhf-cross_15.2.0-7cross1_all.deb ... Unpacking libstdc++-15-dev-armhf-cross (15.2.0-7cross1) ... Selecting previously unselected package g++-15-arm-linux-gnueabihf. Preparing to unpack .../068-g++-15-arm-linux-gnueabihf_15.2.0-7cross1_amd64.deb ... Unpacking g++-15-arm-linux-gnueabihf (15.2.0-7cross1) ... Selecting previously unselected package g++-arm-linux-gnueabihf. Preparing to unpack .../069-g++-arm-linux-gnueabihf_4%3a15.2.0-5_amd64.deb ... Unpacking g++-arm-linux-gnueabihf (4:15.2.0-5) ... Selecting previously unselected package crossbuild-essential-armhf. Preparing to unpack .../070-crossbuild-essential-armhf_12.12_all.deb ... Unpacking crossbuild-essential-armhf (12.12) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../071-libdebhelper-perl_13.29_all.deb ... Unpacking libdebhelper-perl (13.29) ... Selecting previously unselected package libtool. Preparing to unpack .../072-libtool_2.5.4-9_all.deb ... Unpacking libtool (2.5.4-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../073-dh-autoreconf_21_all.deb ... Unpacking dh-autoreconf (21) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../074-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../075-libfile-stripnondeterminism-perl_1.15.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.15.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../076-dh-strip-nondeterminism_1.15.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.15.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../077-libelf1t64_0.194-1_amd64.deb ... Unpacking libelf1t64:amd64 (0.194-1) ... Selecting previously unselected package dwz. Preparing to unpack .../078-dwz_0.16-2_amd64.deb ... Unpacking dwz (0.16-2) ... Selecting previously unselected package gettext. Preparing to unpack .../079-gettext_0.23.2-1_amd64.deb ... Unpacking gettext (0.23.2-1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../080-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../081-po-debconf_1.0.22_all.deb ... Unpacking po-debconf (1.0.22) ... Selecting previously unselected package debhelper. Preparing to unpack .../082-debhelper_13.29_all.deb ... Unpacking debhelper (13.29) ... Selecting previously unselected package libfakeroot:amd64. Preparing to unpack .../083-libfakeroot_1.37.2-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.37.2-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../084-fakeroot_1.37.2-1_amd64.deb ... Unpacking fakeroot (1.37.2-1) ... Selecting previously unselected package gcc-15-base:armhf. Preparing to unpack .../085-gcc-15-base_15.2.0-12_armhf.deb ... Unpacking gcc-15-base:armhf (15.2.0-12) ... Selecting previously unselected package libgcc-s1:armhf. Preparing to unpack .../086-libgcc-s1_15.2.0-12_armhf.deb ... Unpacking libgcc-s1:armhf (15.2.0-12) ... Selecting previously unselected package libc-gconv-modules-extra:armhf. Preparing to unpack .../087-libc-gconv-modules-extra_2.42-11_armhf.deb ... Unpacking libc-gconv-modules-extra:armhf (2.42-11) ... Selecting previously unselected package libc6:armhf. Preparing to unpack .../088-libc6_2.42-11_armhf.deb ... Unpacking libc6:armhf (2.42-11) ... Selecting previously unselected package libasan8:armhf. Preparing to unpack .../089-libasan8_15.2.0-12_armhf.deb ... Unpacking libasan8:armhf (15.2.0-12) ... Selecting previously unselected package libatomic1:armhf. Preparing to unpack .../090-libatomic1_15.2.0-12_armhf.deb ... Unpacking libatomic1:armhf (15.2.0-12) ... Selecting previously unselected package libbtor2parser0:armhf. Preparing to unpack .../091-libbtor2parser0_1.0.2~git20250507.fb69ee3-2_armhf.deb ... Unpacking libbtor2parser0:armhf (1.0.2~git20250507.fb69ee3-2) ... Selecting previously unselected package libbtor2parser-dev:armhf. Preparing to unpack .../092-libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_armhf.deb ... Unpacking libbtor2parser-dev:armhf (1.0.2~git20250507.fb69ee3-2) ... Selecting previously unselected package libc6-dev:armhf. Preparing to unpack .../093-libc6-dev_2.42-11_armhf.deb ... Unpacking libc6-dev:armhf (2.42-11) ... Selecting previously unselected package libgomp1:armhf. Preparing to unpack .../094-libgomp1_15.2.0-12_armhf.deb ... Unpacking libgomp1:armhf (15.2.0-12) ... Selecting previously unselected package libstdc++6:armhf. Preparing to unpack .../095-libstdc++6_15.2.0-12_armhf.deb ... Unpacking libstdc++6:armhf (15.2.0-12) ... Selecting previously unselected package libubsan1:armhf. Preparing to unpack .../096-libubsan1_15.2.0-12_armhf.deb ... Unpacking libubsan1:armhf (15.2.0-12) ... Selecting previously unselected package libgcc-15-dev:armhf. Preparing to unpack .../097-libgcc-15-dev_15.2.0-12_armhf.deb ... Unpacking libgcc-15-dev:armhf (15.2.0-12) ... Selecting previously unselected package libstdc++-15-dev:armhf. Preparing to unpack .../098-libstdc++-15-dev_15.2.0-12_armhf.deb ... Unpacking libstdc++-15-dev:armhf (15.2.0-12) ... Selecting previously unselected package zlib1g:armhf. Preparing to unpack .../099-zlib1g_1%3a1.3.dfsg+really1.3.1-1+b2_armhf.deb ... Unpacking zlib1g:armhf (1:1.3.dfsg+really1.3.1-1+b2) ... Selecting previously unselected package minisat:armhf. Preparing to unpack .../100-minisat_1%3a2.2.1-8_armhf.deb ... Unpacking minisat:armhf (1:2.2.1-8) ... Selecting previously unselected package zlib1g-dev:armhf. Preparing to unpack .../101-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b2_armhf.deb ... Unpacking zlib1g-dev:armhf (1:1.3.dfsg+really1.3.1-1+b2) ... Selecting previously unselected package sbuild-build-depends-main-dummy:armhf. Preparing to unpack .../102-sbuild-build-depends-main-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-main-dummy:armhf (0.invalid.0) ... Setting up libc-gconv-modules-extra:armhf (2.42-11) ... Setting up libexpat1:amd64 (2.7.3-2) ... Setting up libpipeline1:amd64 (1.5.8-2) ... Setting up libkeyutils1:amd64 (1.6.3-6+b1) ... Setting up libc6-armhf-cross (2.42-10cross1) ... Setting up bsdextrautils (2.41.3-3) ... Setting up libmagic-mgc (1:5.46-5+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libxml2-16:amd64 (2.15.1+dfsg-2+b1) ... Setting up libdebhelper-perl (13.29) ... Setting up libbrotli1:amd64 (1.1.0-2+b9) ... Setting up libuv1t64:amd64 (1.51.0-2+b1) ... Setting up libmagic1t64:amd64 (1:5.46-5+b1) ... Setting up libnghttp2-14:amd64 (1.64.0-1.1+b1) ... Setting up gettext-base (0.23.2-1) ... Setting up m4 (1.4.20-2) ... Setting up libcom-err2:amd64 (1.47.2-3+b8) ... Setting up file (1:5.46-5+b1) ... Setting up libfakeroot:amd64 (1.37.2-1) ... Setting up libelf1t64:amd64 (0.194-1) ... Setting up libkrb5support0:amd64 (1.22.1-2) ... Setting up libsasl2-modules-db:amd64 (2.1.28+dfsg1-10) ... Setting up fakeroot (1.37.2-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up autotools-dev (20240727.1) ... Setting up gcc-15-arm-linux-gnueabihf-base:amd64 (15.2.0-7cross1) ... Setting up libjsoncpp26:amd64 (1.9.6-5) ... Setting up libproc2-0:amd64 (2:4.0.4-9+b1) ... Setting up libunistring5:amd64 (1.3-2+b1) ... Setting up linux-libc-dev-armhf-cross (6.18.5-1cross1) ... Setting up autopoint (0.23.2-1) ... Setting up libncursesw6:amd64 (6.6+20251231-1) ... Setting up libk5crypto3:amd64 (1.22.1-2) ... Setting up libsasl2-2:amd64 (2.1.28+dfsg1-10) ... Setting up autoconf (2.72-3.1) ... Setting up libnghttp3-9:amd64 (1.12.0-1) ... Setting up libffi8:amd64 (3.5.2-3+b1) ... Setting up dwz (0.16-2) ... Setting up sensible-utils (0.0.26) ... Setting up libuchardet0:amd64 (0.0.8-2+b1) ... Setting up procps (2:4.0.4-9+b1) ... Setting up libtasn1-6:amd64 (4.21.0-2) ... Setting up libngtcp2-16:amd64 (1.16.0-1) ... Setting up cmake-data (4.2.3-1) ... Setting up librhash1:amd64 (1.4.6-1.1) ... Setting up libkrb5-3:amd64 (1.22.1-2) ... Setting up libssh2-1t64:amd64 (1.11.1-1+b1) ... Setting up gcc-15-cross-base (15.2.0-7cross1) ... Setting up gcc-15-base:armhf (15.2.0-12) ... Setting up binutils-arm-linux-gnueabihf (2.45.90.20260125-1) ... Setting up cpp-15-arm-linux-gnueabihf (15.2.0-7cross1) ... Setting up libarchive13t64:amd64 (3.8.5-1) ... Setting up libldap2:amd64 (2.6.10+dfsg-1+b1) ... Setting up cpp-arm-linux-gnueabihf (4:15.2.0-5) ... Setting up automake (1:1.18.1-3) ... update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode Setting up libgomp1-armhf-cross (15.2.0-7cross1) ... Setting up libfile-stripnondeterminism-perl (1.15.0-1) ... Setting up gettext (0.23.2-1) ... Setting up libtool (2.5.4-9) ... Setting up libgcc-s1-armhf-cross (15.2.0-7cross1) ... Setting up libc6-dev-armhf-cross (2.42-10cross1) ... Setting up libidn2-0:amd64 (2.3.8-4+b1) ... Setting up libatomic1-armhf-cross (15.2.0-7cross1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (21) ... Setting up libstdc++6-armhf-cross (15.2.0-7cross1) ... Setting up libp11-kit0:amd64 (0.25.10-1+b1) ... Setting up libgssapi-krb5-2:amd64 (1.22.1-2) ... Setting up libubsan1-armhf-cross (15.2.0-7cross1) ... Setting up libngtcp2-crypto-ossl0:amd64 (1.16.0-1) ... Setting up dh-strip-nondeterminism (1.15.0-1) ... Setting up groff-base (1.23.0-10) ... Setting up libgnutls30t64:amd64 (3.8.11-3) ... Setting up libasan8-armhf-cross (15.2.0-7cross1) ... Setting up po-debconf (1.0.22) ... Setting up libpsl5t64:amd64 (0.21.2-1.1+b2) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up librtmp1:amd64 (2.4+20151223.gitfa8646d.1-3+b1) ... Setting up libgcc-15-dev-armhf-cross (15.2.0-7cross1) ... Setting up gcc-15-arm-linux-gnueabihf (15.2.0-7cross1) ... Setting up libcurl4t64:amd64 (8.18.0-2) ... Setting up debhelper (13.29) ... Setting up libstdc++-15-dev-armhf-cross (15.2.0-7cross1) ... Setting up cmake (4.2.3-1) ... Setting up gcc-arm-linux-gnueabihf (4:15.2.0-5) ... Setting up g++-15-arm-linux-gnueabihf (15.2.0-7cross1) ... Setting up g++-arm-linux-gnueabihf (4:15.2.0-5) ... Setting up crossbuild-essential-armhf (12.12) ... Setting up libgcc-s1:armhf (15.2.0-12) ... Setting up libc6:armhf (2.42-11) ... Setting up libasan8:armhf (15.2.0-12) ... Setting up libc6-dev:armhf (2.42-11) ... Setting up libstdc++6:armhf (15.2.0-12) ... Setting up libbtor2parser0:armhf (1.0.2~git20250507.fb69ee3-2) ... Setting up zlib1g:armhf (1:1.3.dfsg+really1.3.1-1+b2) ... Setting up libgomp1:armhf (15.2.0-12) ... Setting up libatomic1:armhf (15.2.0-12) ... Setting up libubsan1:armhf (15.2.0-12) ... Setting up zlib1g-dev:armhf (1:1.3.dfsg+really1.3.1-1+b2) ... Setting up libbtor2parser-dev:armhf (1.0.2~git20250507.fb69ee3-2) ... Setting up minisat:armhf (1:2.2.1-8) ... Setting up libgcc-15-dev:armhf (15.2.0-12) ... Setting up libstdc++-15-dev:armhf (15.2.0-12) ... Setting up sbuild-build-depends-main-dummy:armhf (0.invalid.0) ... Processing triggers for libc-bin (2.42-11) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (armhf included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 6.1.0-32-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.129-1 (2025-03-06) amd64 (x86_64) Toolchain package versions: binutils_2.45.90.20260125-1 dpkg-dev_1.23.5 g++-15_15.2.0-12 gcc-15_15.2.0-12 libc6-dev_2.42-11 libstdc++-15-dev_15.2.0-12 libstdc++-15-dev-armhf-cross_15.2.0-7cross1 libstdc++6_15.2.0-12 libstdc++6-armhf-cross_15.2.0-7cross1 linux-libc-dev_6.18.5-1 Package versions: apt_3.1.14 apt-utils_3.1.14 autoconf_2.72-3.1 automake_1:1.18.1-3 autopoint_0.23.2-1 autotools-dev_20240727.1 base-files_14 base-passwd_3.6.8 bash_5.3-1 binutils_2.45.90.20260125-1 binutils-arm-linux-gnueabihf_2.45.90.20260125-1 binutils-common_2.45.90.20260125-1 binutils-x86-64-linux-gnu_2.45.90.20260125-1 bsdextrautils_2.41.3-3 bsdutils_1:2.41.3-3 build-essential_12.12 bzip2_1.0.8-6+b1 cmake_4.2.3-1 cmake-data_4.2.3-1 coreutils_9.7-3 cpp_4:15.2.0-5 cpp-15_15.2.0-12 cpp-15-arm-linux-gnueabihf_15.2.0-7cross1 cpp-15-x86-64-linux-gnu_15.2.0-12 cpp-arm-linux-gnueabihf_4:15.2.0-5 cpp-x86-64-linux-gnu_4:15.2.0-5 crossbuild-essential-armhf_12.12 dash_0.5.12-12 debconf_1.5.91 debhelper_13.29 debian-archive-keyring_2025.1 debianutils_5.23.2 dh-autoreconf_21 dh-strip-nondeterminism_1.15.0-1 diffutils_1:3.12-1 dpkg_1.23.5 dpkg-dev_1.23.5 dwz_0.16-2 fakeroot_1.37.2-1 file_1:5.46-5+b1 findutils_4.10.0-3 g++_4:15.2.0-5 g++-15_15.2.0-12 g++-15-arm-linux-gnueabihf_15.2.0-7cross1 g++-15-x86-64-linux-gnu_15.2.0-12 g++-arm-linux-gnueabihf_4:15.2.0-5 g++-x86-64-linux-gnu_4:15.2.0-5 gcc_4:15.2.0-5 gcc-15_15.2.0-12 gcc-15-arm-linux-gnueabihf_15.2.0-7cross1 gcc-15-arm-linux-gnueabihf-base_15.2.0-7cross1 gcc-15-base_15.2.0-12 gcc-15-cross-base_15.2.0-7cross1 gcc-15-x86-64-linux-gnu_15.2.0-12 gcc-arm-linux-gnueabihf_4:15.2.0-5 gcc-x86-64-linux-gnu_4:15.2.0-5 gettext_0.23.2-1 gettext-base_0.23.2-1 grep_3.12-1 groff-base_1.23.0-10 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-2+b2 libapt-pkg7.0_3.1.14 libarchive-zip-perl_1.68-1 libarchive13t64_3.8.5-1 libasan8_15.2.0-12 libasan8-armhf-cross_15.2.0-7cross1 libatomic1_15.2.0-12 libatomic1-armhf-cross_15.2.0-7cross1 libattr1_1:2.5.2-3+b1 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b1 libbinutils_2.45.90.20260125-1 libblkid1_2.41.3-3 libbrotli1_1.1.0-2+b9 libbsd0_0.12.2-2+b1 libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2 libbtor2parser0_1.0.2~git20250507.fb69ee3-2 libbz2-1.0_1.0.8-6+b1 libc-bin_2.42-11 libc-dev-bin_2.42-11 libc-gconv-modules-extra_2.42-11 libc6_2.42-11 libc6-armhf-cross_2.42-10cross1 libc6-dev_2.42-11 libc6-dev-armhf-cross_2.42-10cross1 libcap-ng0_0.8.5-4+b2 libcap2_1:2.75-10+b5 libcc1-0_15.2.0-12 libcom-err2_1.47.2-3+b8 libcrypt1_1:4.5.1-1 libctf-nobfd0_2.45.90.20260125-1 libctf0_2.45.90.20260125-1 libcurl4t64_8.18.0-2 libdb5.3t64_5.3.28+dfsg2-11 libdebconfclient0_0.282+b2 libdebhelper-perl_13.29 libdpkg-perl_1.23.5 libelf1t64_0.194-1 libexpat1_2.7.3-2 libfakeroot_1.37.2-1 libffi8_3.5.2-3+b1 libfile-stripnondeterminism-perl_1.15.0-1 libgcc-15-dev_15.2.0-12 libgcc-15-dev-armhf-cross_15.2.0-7cross1 libgcc-s1_15.2.0-12 libgcc-s1-armhf-cross_15.2.0-7cross1 libgdbm-compat4t64_1.26-1+b1 libgdbm6t64_1.26-1+b1 libgmp10_2:6.3.0+dfsg-5+b1 libgnutls30t64_3.8.11-3 libgomp1_15.2.0-12 libgomp1-armhf-cross_15.2.0-7cross1 libgprofng0_2.45.90.20260125-1 libgssapi-krb5-2_1.22.1-2 libhogweed6t64_3.10.2-1 libhwasan0_15.2.0-12 libidn2-0_2.3.8-4+b1 libisl23_0.27-1+b1 libitm1_15.2.0-12 libjansson4_2.14-2+b4 libjsoncpp26_1.9.6-5 libk5crypto3_1.22.1-2 libkeyutils1_1.6.3-6+b1 libkrb5-3_1.22.1-2 libkrb5support0_1.22.1-2 libldap2_2.6.10+dfsg-1+b1 liblsan0_15.2.0-12 liblz4-1_1.10.0-6 liblzma5_5.8.2-2 libmagic-mgc_1:5.46-5+b1 libmagic1t64_1:5.46-5+b1 libmd0_1.1.0-2+b2 libmount1_2.41.3-3 libmpc3_1.3.1-2+b1 libmpfr6_4.2.2-2+b1 libncursesw6_6.6+20251231-1 libnettle8t64_3.10.2-1 libnghttp2-14_1.64.0-1.1+b1 libnghttp3-9_1.12.0-1 libngtcp2-16_1.16.0-1 libngtcp2-crypto-ossl0_1.16.0-1 libp11-kit0_0.25.10-1+b1 libpam-modules_1.7.0-5+b1 libpam-modules-bin_1.7.0-5+b1 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5+b1 libpcre2-8-0_10.46-1+b1 libperl5.40_5.40.1-7 libpipeline1_1.5.8-2 libproc2-0_2:4.0.4-9+b1 libpsl5t64_0.21.2-1.1+b2 libquadmath0_15.2.0-12 librhash1_1.4.6-1.1 librtmp1_2.4+20151223.gitfa8646d.1-3+b1 libsasl2-2_2.1.28+dfsg1-10 libsasl2-modules-db_2.1.28+dfsg1-10 libseccomp2_2.6.0-2+b1 libselinux1_3.9-4+b1 libsemanage-common_3.9-1 libsemanage2_3.9-1+b1 libsepol2_3.9-2 libsframe3_2.45.90.20260125-1 libsmartcols1_2.41.3-3 libssh2-1t64_1.11.1-1+b1 libssl3t64_3.5.5-1 libstdc++-15-dev_15.2.0-12 libstdc++-15-dev-armhf-cross_15.2.0-7cross1 libstdc++6_15.2.0-12 libstdc++6-armhf-cross_15.2.0-7cross1 libsystemd0_259-1 libtasn1-6_4.21.0-2 libtinfo6_6.6+20251231-1 libtool_2.5.4-9 libtsan2_15.2.0-12 libubsan1_15.2.0-12 libubsan1-armhf-cross_15.2.0-7cross1 libuchardet0_0.0.8-2+b1 libudev1_259-1 libunistring5_1.3-2+b1 libuuid1_2.41.3-3 libuv1t64_1.51.0-2+b1 libxml2-16_2.15.1+dfsg-2+b1 libxxhash0_0.8.3-2+b1 libzstd1_1.5.7+dfsg-3+b1 linux-libc-dev_6.18.5-1 linux-libc-dev-armhf-cross_6.18.5-1cross1 login_1:4.16.0-2+really2.41.3-3 login.defs_1:4.19.2-1 m4_1.4.20-2 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20250131-2 minisat_1:2.2.1-8 mount_2.41.3-3 ncurses-base_6.6+20251231-1 ncurses-bin_6.6+20251231-1 openssl-provider-legacy_3.5.5-1 passwd_1:4.19.2-1 patch_2.8-2 perl_5.40.1-7 perl-base_5.40.1-7 perl-modules-5.40_5.40.1-7 po-debconf_1.0.22 procps_2:4.0.4-9+b1 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.26 sqv_1.3.0-5 sysvinit-utils_3.15-6 tar_1.35+dfsg-3.1 tzdata_2025c-3 util-linux_2.41.3-3 xz-utils_5.8.2-2 zlib1g_1:1.3.dfsg+really1.3.1-1+b2 zlib1g-dev_1:1.3.dfsg+really1.3.1-1+b2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: boolector Binary: boolector Architecture: any Version: 3.2.4-1 Maintainer: Debian Science Maintainers Uploaders: Michael Tautschnig , Andreas Tille Homepage: https://boolector.github.io/ Standards-Version: 4.7.3 Vcs-Browser: https://salsa.debian.org/science-team/boolector Vcs-Git: https://salsa.debian.org/science-team/boolector.git Build-Depends: debhelper-compat (= 13), cmake, libbtor2parser-dev, minisat, zlib1g-dev Package-List: boolector deb science optional arch=any Checksums-Sha1: eece967e0c7cdb770178d736214bca5c3abd7911 1567983 boolector_3.2.4.orig.tar.gz e0fe63d370f5d72c780147bd3e637f9d4f65f219 3276 boolector_3.2.4-1.debian.tar.xz Checksums-Sha256: 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf 1567983 boolector_3.2.4.orig.tar.gz a16d5c2b0eb83470cf24f744db3e038ad7b738652ba976c48db7702aa5864cb9 3276 boolector_3.2.4-1.debian.tar.xz Files: 8dc8026d5d3801bffecc262c6b878abf 1567983 boolector_3.2.4.orig.tar.gz b913d8cc4897284fadf79ad5786a9817 3276 boolector_3.2.4-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAml8vfARHHRpbGxlQGRl Ymlhbi5vcmcACgkQV4oElNHGRtHzAQ/9HwaS2wUasXCQRN9nL853vK7w6emMX2Vh 7NBfF4QCSCXFE2dqE1knSBJ9pOuSHj+6tNCS75JNQ2Qgca0W91sRiesFyV/nPBuH 7BCuDSLhpxyqH1rtY6lMgV1SXenTumrNpYEvdbIzMkTMW4E4+ulPIqweV0+Sy7Y6 RmCAqVq83ff7c0HYRNnDWpWkn/Qbq5pTkW/TqMHI9A0kLxRaat1Uy4Eujg2Sizbi 7zJzX8KpYcOHsqFy04DU8KRjeOMii/0mpHi95E6k3lhNRru9+Hgn6ob/3+/wOsBN qhDSKCJR0NNFEUJuOgkSxyBOrCHcOjnZ9tbgV2yXOrks3TTQBqiabdo0D5pCiHAR 7Y9PFYesygIy9thcLdW/LfJCk9Sgi/pZG1X6CZhAzHIyXKW3iFU9EPUYEfMb4DV7 99E/otaON64cZy66g3VJS1Idws6Jsw2VDNMOkUXuIi6LZDUgz+Y6rshyodjOGNtx 1Ofuu+iVVKoP3smE5hAGSRyArzwtutrWJxX5Yt2FI/3Cfm+KvDjTmJJZ6D7+9iAC yfJEm0Qj582zMcVPkleMWZtrm1Uwm/ZmI7GPEv+7x7VA5c5nEtQ9nCQx5PD997Bn QazYtzYZLyHAqpJ58RUcOaUAx1wg1BjCwWnhhEyfvl5Er2uvAALHBptXaBgNwLMW BkKvLjUT400= =jOsq -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./boolector_3.2.4-1.dsc: missing OpenPGP keyrings dpkg-source: info: verifying ./boolector_3.2.4-1.dsc dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-keyring.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-tag2upload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-nonupload.pgp dpkg-source: info: skipping absent keyring /usr/share/keyrings/debian-maintainers.pgp dpkg-source: info: extracting boolector in /<> dpkg-source: info: unpacking boolector_3.2.4.orig.tar.gz dpkg-source: info: unpacking boolector_3.2.4-1.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf CONFIG_SITE=/etc/dpkg-cross/cross-config.armhf DEB_BUILD_OPTIONS=nocheck HOME=/sbuild-nonexistent LANG=en_US.UTF-8 LC_ALL=C.UTF-8 LOGNAME=crossqa OLDPWD=/home/crossqa PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SBUILD_CONFIG=/tmp/tmp.cC6h63I8sP/sbuild.conf SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=sid-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1000 SCHROOT_GROUP=crossqa SCHROOT_SESSION_ID=sid-amd64-sbuild-0e229122-b238-42c2-bf5d-3dcc463a5611 SCHROOT_UID=1000 SCHROOT_USER=crossqa SHELL=/bin/sh USER=crossqa XDG_SESSION_CLASS=user dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -aarmhf -Pcross,nocheck -us -uc -B -rfakeroot --jobs-try=1 dpkg-buildpackage: info: source package boolector dpkg-buildpackage: info: source version 3.2.4-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Andreas Tille dpkg-architecture: warning: specified GNU system type arm-linux-gnueabihf does not match CC system type x86_64-linux-gnu, try setting a correct CC environment variable dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean dh clean dh_clean debian/rules binary-arch dh binary-arch dh_update_autotools_config -a dh_autoreconf -a debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' dh_auto_configure -- -DCMAKE_POLICY_VERSION_MINIMUM=3.5 -DBUILD_SHARED_LIBS=ON cd obj-arm-linux-gnueabihf && DEB_PYTHON_INSTALL_LAYOUT=deb PKG_CONFIG=/usr/bin/arm-linux-gnueabihf-pkg-config cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_USE_PACKAGE_REGISTRY=OFF -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DFETCHCONTENT_FULLY_DISCONNECTED=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_SYSTEM_NAME=Linux -DCMAKE_SYSTEM_PROCESSOR=armv7l -DCMAKE_C_COMPILER=arm-linux-gnueabihf-gcc -DCMAKE_CXX_COMPILER=arm-linux-gnueabihf-g\+\+ -DPKG_CONFIG_EXECUTABLE=/usr/bin/arm-linux-gnueabihf-pkg-config -DPKGCONFIG_EXECUTABLE=/usr/bin/arm-linux-gnueabihf-pkg-config -DQMAKE_EXECUTABLE=/usr/bin/arm-linux-gnueabihf-qmake -DCMAKE_INSTALL_LIBDIR=lib/arm-linux-gnueabihf -DBUILD_TESTING:BOOL=OFF -DCMAKE_POLICY_VERSION_MINIMUM=3.5 -DBUILD_SHARED_LIBS=ON .. CMake Deprecation Warning at CMakeLists.txt:8 (cmake_minimum_required): Compatibility with CMake < 3.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. -- The C compiler identification is GNU 15.2.0 -- The CXX compiler identification is GNU 15.2.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/arm-linux-gnueabihf-gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/arm-linux-gnueabihf-g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is '/<>/obj-arm-linux-gnueabihf/lib' -- BIN directory is '/<>/obj-arm-linux-gnueabihf/bin' -- Performing Test HAVE_FLAG_std_gnu99 -- Performing Test HAVE_FLAG_std_gnu99 - Success -- Configuring with C flag '-std=gnu99' -- Configuring with CXX flag '-std=gnu++11' -- Performing Test HAVE_FLAG_W -- Performing Test HAVE_FLAG_W - Success -- Configuring with C flag '-W' -- Configuring with CXX flag '-W' -- Performing Test HAVE_FLAG_Wall -- Performing Test HAVE_FLAG_Wall - Success -- Configuring with C flag '-Wall' -- Configuring with CXX flag '-Wall' -- Performing Test HAVE_FLAG_Wextra -- Performing Test HAVE_FLAG_Wextra - Success -- Configuring with C flag '-Wextra' -- Configuring with CXX flag '-Wextra' -- Performing Test HAVE_FLAG_Wredundant_decls -- Performing Test HAVE_FLAG_Wredundant_decls - Success -- Configuring with C flag '-Wredundant-decls' -- Configuring with CXX flag '-Wredundant-decls' -- Building None build -- Performing Test HAVE_SIGNALS -- Performing Test HAVE_SIGNALS - Success -- Performing Test HAVE_TIME_UTILS -- Performing Test HAVE_TIME_UTILS - Success -- Performing Test HAVE_NO_EXPORT_DYNAMIC -- Performing Test HAVE_NO_EXPORT_DYNAMIC - Success -- Found Btor2Tools: /usr/include -- Found Btor2Tools library: /usr/lib/arm-linux-gnueabihf/libbtor2parser.so -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- Could NOT find Lingeling (missing: Lingeling_INCLUDE_DIR Lingeling_LIBRARIES) -- Could NOT find CaDiCaL (missing: CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES) -- Could NOT find CryptoMiniSat (missing: CryptoMiniSat_INCLUDE_DIR CryptoMiniSat_LIBRARIES) -- Could NOT find PicoSAT (missing: PicoSAT_INCLUDE_DIR PicoSAT_LIBRARIES) -- Found MiniSat: /usr/include -- Found MiniSat library: /usr/lib/libminisat.so -- Could NOT find Git (missing: GIT_EXECUTABLE) -- Build type: None -- Shared build: yes -- ASAN support: no -- UBSAN support: no -- Assertions enabled: no -- Testing: no -- gcov support: no -- gprof support: no -- Logging support: no -- Python bindings: no -- Time statistics: no -- CaDiCaL: no -- CryptoMiniSat: no -- Lingeling: no -- MiniSat: yes -- PicoSAT: no -- GMP: no -- Configuring done (1.3s) -- Generating done (0.1s) CMake Warning: Manually-specified variables were not used by the project: BUILD_TESTING CMAKE_EXPORT_NO_PACKAGE_REGISTRY CMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY CMAKE_INSTALL_LIBDIR CMAKE_INSTALL_LOCALSTATEDIR CMAKE_INSTALL_RUNSTATEDIR CMAKE_INSTALL_SYSCONFDIR FETCHCONTENT_FULLY_DISCONNECTED PKGCONFIG_EXECUTABLE PKG_CONFIG_EXECUTABLE QMAKE_EXECUTABLE -- Build files have been written to: /<>/obj-arm-linux-gnueabihf make[1]: Leaving directory '/<>' dh_auto_build -a cd obj-arm-linux-gnueabihf && make -j1 INSTALL="install --strip-program=true" VERBOSE=1 make[1]: Entering directory '/<>/obj-arm-linux-gnueabihf' /usr/bin/cmake -S/<> -B/<>/obj-arm-linux-gnueabihf --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /<>/obj-arm-linux-gnueabihf/CMakeFiles /<>/obj-arm-linux-gnueabihf//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[2]: Entering directory '/<>/obj-arm-linux-gnueabihf' make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/depend make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' cd /<>/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/src /<>/obj-arm-linux-gnueabihf /<>/obj-arm-linux-gnueabihf/src /<>/obj-arm-linux-gnueabihf/src/CMakeFiles/boolector.dir/DependInfo.cmake "--color=" boolector make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/build make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' [ 1%] Building C object src/CMakeFiles/boolector.dir/aigprop.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/aigprop.c.o -MF CMakeFiles/boolector.dir/aigprop.c.o.d -o CMakeFiles/boolector.dir/aigprop.c.o -c /<>/src/aigprop.c [ 3%] Building C object src/CMakeFiles/boolector.dir/boolector.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/boolector.c.o -MF CMakeFiles/boolector.dir/boolector.c.o.d -o CMakeFiles/boolector.dir/boolector.c.o -c /<>/src/boolector.c [ 3%] Building C object src/CMakeFiles/boolector.dir/boolectormc.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/boolectormc.c.o -MF CMakeFiles/boolector.dir/boolectormc.c.o.d -o CMakeFiles/boolector.dir/boolectormc.c.o -c /<>/src/boolectormc.c [ 5%] Building C object src/CMakeFiles/boolector.dir/btorabort.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorabort.c.o -MF CMakeFiles/boolector.dir/btorabort.c.o.d -o CMakeFiles/boolector.dir/btorabort.c.o -c /<>/src/btorabort.c [ 7%] Building C object src/CMakeFiles/boolector.dir/btoraig.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btoraig.c.o -MF CMakeFiles/boolector.dir/btoraig.c.o.d -o CMakeFiles/boolector.dir/btoraig.c.o -c /<>/src/btoraig.c [ 7%] Building C object src/CMakeFiles/boolector.dir/btoraigvec.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btoraigvec.c.o -MF CMakeFiles/boolector.dir/btoraigvec.c.o.d -o CMakeFiles/boolector.dir/btoraigvec.c.o -c /<>/src/btoraigvec.c [ 8%] Building C object src/CMakeFiles/boolector.dir/btorass.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorass.c.o -MF CMakeFiles/boolector.dir/btorass.c.o.d -o CMakeFiles/boolector.dir/btorass.c.o -c /<>/src/btorass.c [ 8%] Building C object src/CMakeFiles/boolector.dir/btorbeta.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorbeta.c.o -MF CMakeFiles/boolector.dir/btorbeta.c.o.d -o CMakeFiles/boolector.dir/btorbeta.c.o -c /<>/src/btorbeta.c [ 10%] Building C object src/CMakeFiles/boolector.dir/btorbv.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorbv.c.o -MF CMakeFiles/boolector.dir/btorbv.c.o.d -o CMakeFiles/boolector.dir/btorbv.c.o -c /<>/src/btorbv.c [ 12%] Building C object src/CMakeFiles/boolector.dir/btorchkclone.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorchkclone.c.o -MF CMakeFiles/boolector.dir/btorchkclone.c.o.d -o CMakeFiles/boolector.dir/btorchkclone.c.o -c /<>/src/btorchkclone.c [ 12%] Building C object src/CMakeFiles/boolector.dir/btorchkmodel.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorchkmodel.c.o -MF CMakeFiles/boolector.dir/btorchkmodel.c.o.d -o CMakeFiles/boolector.dir/btorchkmodel.c.o -c /<>/src/btorchkmodel.c [ 14%] Building C object src/CMakeFiles/boolector.dir/btorchkfailed.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorchkfailed.c.o -MF CMakeFiles/boolector.dir/btorchkfailed.c.o.d -o CMakeFiles/boolector.dir/btorchkfailed.c.o -c /<>/src/btorchkfailed.c [ 14%] Building C object src/CMakeFiles/boolector.dir/btorclone.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorclone.c.o -MF CMakeFiles/boolector.dir/btorclone.c.o.d -o CMakeFiles/boolector.dir/btorclone.c.o -c /<>/src/btorclone.c [ 15%] Building C object src/CMakeFiles/boolector.dir/btorcore.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorcore.c.o -MF CMakeFiles/boolector.dir/btorcore.c.o.d -o CMakeFiles/boolector.dir/btorcore.c.o -c /<>/src/btorcore.c [ 17%] Building C object src/CMakeFiles/boolector.dir/btordbg.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btordbg.c.o -MF CMakeFiles/boolector.dir/btordbg.c.o.d -o CMakeFiles/boolector.dir/btordbg.c.o -c /<>/src/btordbg.c [ 17%] Building C object src/CMakeFiles/boolector.dir/btordcr.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btordcr.c.o -MF CMakeFiles/boolector.dir/btordcr.c.o.d -o CMakeFiles/boolector.dir/btordcr.c.o -c /<>/src/btordcr.c [ 19%] Building C object src/CMakeFiles/boolector.dir/btorexp.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorexp.c.o -MF CMakeFiles/boolector.dir/btorexp.c.o.d -o CMakeFiles/boolector.dir/btorexp.c.o -c /<>/src/btorexp.c [ 21%] Building C object src/CMakeFiles/boolector.dir/btorlsutils.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorlsutils.c.o -MF CMakeFiles/boolector.dir/btorlsutils.c.o.d -o CMakeFiles/boolector.dir/btorlsutils.c.o -c /<>/src/btorlsutils.c [ 21%] Building C object src/CMakeFiles/boolector.dir/btormc.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btormc.c.o -MF CMakeFiles/boolector.dir/btormc.c.o.d -o CMakeFiles/boolector.dir/btormc.c.o -c /<>/src/btormc.c [ 22%] Building C object src/CMakeFiles/boolector.dir/btormodel.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btormodel.c.o -MF CMakeFiles/boolector.dir/btormodel.c.o.d -o CMakeFiles/boolector.dir/btormodel.c.o -c /<>/src/btormodel.c [ 22%] Building C object src/CMakeFiles/boolector.dir/btormsg.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btormsg.c.o -MF CMakeFiles/boolector.dir/btormsg.c.o.d -o CMakeFiles/boolector.dir/btormsg.c.o -c /<>/src/btormsg.c [ 24%] Building C object src/CMakeFiles/boolector.dir/btornode.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btornode.c.o -MF CMakeFiles/boolector.dir/btornode.c.o.d -o CMakeFiles/boolector.dir/btornode.c.o -c /<>/src/btornode.c [ 26%] Building C object src/CMakeFiles/boolector.dir/btoropt.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btoropt.c.o -MF CMakeFiles/boolector.dir/btoropt.c.o.d -o CMakeFiles/boolector.dir/btoropt.c.o -c /<>/src/btoropt.c [ 26%] Building C object src/CMakeFiles/boolector.dir/btorparse.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorparse.c.o -MF CMakeFiles/boolector.dir/btorparse.c.o.d -o CMakeFiles/boolector.dir/btorparse.c.o -c /<>/src/btorparse.c [ 28%] Building C object src/CMakeFiles/boolector.dir/btorprintmodel.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorprintmodel.c.o -MF CMakeFiles/boolector.dir/btorprintmodel.c.o.d -o CMakeFiles/boolector.dir/btorprintmodel.c.o -c /<>/src/btorprintmodel.c [ 28%] Building C object src/CMakeFiles/boolector.dir/btorproputils.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorproputils.c.o -MF CMakeFiles/boolector.dir/btorproputils.c.o.d -o CMakeFiles/boolector.dir/btorproputils.c.o -c /<>/src/btorproputils.c [ 29%] Building C object src/CMakeFiles/boolector.dir/btorrewrite.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorrewrite.c.o -MF CMakeFiles/boolector.dir/btorrewrite.c.o.d -o CMakeFiles/boolector.dir/btorrewrite.c.o -c /<>/src/btorrewrite.c [ 31%] Building C object src/CMakeFiles/boolector.dir/btorrwcache.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorrwcache.c.o -MF CMakeFiles/boolector.dir/btorrwcache.c.o.d -o CMakeFiles/boolector.dir/btorrwcache.c.o -c /<>/src/btorrwcache.c [ 31%] Building C object src/CMakeFiles/boolector.dir/btorsat.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsat.c.o -MF CMakeFiles/boolector.dir/btorsat.c.o.d -o CMakeFiles/boolector.dir/btorsat.c.o -c /<>/src/btorsat.c [ 33%] Building C object src/CMakeFiles/boolector.dir/btorslsutils.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslsutils.c.o -MF CMakeFiles/boolector.dir/btorslsutils.c.o.d -o CMakeFiles/boolector.dir/btorslsutils.c.o -c /<>/src/btorslsutils.c [ 35%] Building C object src/CMakeFiles/boolector.dir/btorslvaigprop.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvaigprop.c.o -MF CMakeFiles/boolector.dir/btorslvaigprop.c.o.d -o CMakeFiles/boolector.dir/btorslvaigprop.c.o -c /<>/src/btorslvaigprop.c [ 35%] Building C object src/CMakeFiles/boolector.dir/btorslvfun.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvfun.c.o -MF CMakeFiles/boolector.dir/btorslvfun.c.o.d -o CMakeFiles/boolector.dir/btorslvfun.c.o -c /<>/src/btorslvfun.c [ 36%] Building C object src/CMakeFiles/boolector.dir/btorslvprop.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvprop.c.o -MF CMakeFiles/boolector.dir/btorslvprop.c.o.d -o CMakeFiles/boolector.dir/btorslvprop.c.o -c /<>/src/btorslvprop.c [ 36%] Building C object src/CMakeFiles/boolector.dir/btorslvquant.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvquant.c.o -MF CMakeFiles/boolector.dir/btorslvquant.c.o.d -o CMakeFiles/boolector.dir/btorslvquant.c.o -c /<>/src/btorslvquant.c [ 38%] Building C object src/CMakeFiles/boolector.dir/btorslvsls.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvsls.c.o -MF CMakeFiles/boolector.dir/btorslvsls.c.o.d -o CMakeFiles/boolector.dir/btorslvsls.c.o -c /<>/src/btorslvsls.c [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsort.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsort.c.o -MF CMakeFiles/boolector.dir/btorsort.c.o.d -o CMakeFiles/boolector.dir/btorsort.c.o -c /<>/src/btorsort.c [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsubst.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsubst.c.o -MF CMakeFiles/boolector.dir/btorsubst.c.o.d -o CMakeFiles/boolector.dir/btorsubst.c.o -c /<>/src/btorsubst.c [ 42%] Building C object src/CMakeFiles/boolector.dir/btorsynth.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsynth.c.o -MF CMakeFiles/boolector.dir/btorsynth.c.o.d -o CMakeFiles/boolector.dir/btorsynth.c.o -c /<>/src/btorsynth.c [ 43%] Building C object src/CMakeFiles/boolector.dir/btortrapi.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/btortrapi.c.o -MF CMakeFiles/boolector.dir/btortrapi.c.o.d -o CMakeFiles/boolector.dir/btortrapi.c.o -c /<>/src/btortrapi.c [ 43%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o -MF CMakeFiles/boolector.dir/dumper/btordumpaig.c.o.d -o CMakeFiles/boolector.dir/dumper/btordumpaig.c.o -c /<>/src/dumper/btordumpaig.c [ 45%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o -MF CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o.d -o CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o -c /<>/src/dumper/btordumpbtor.c [ 45%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o -MF CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o.d -o CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o -c /<>/src/dumper/btordumpsmt.c [ 47%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorbtor.c.o -MF CMakeFiles/boolector.dir/parser/btorbtor.c.o.d -o CMakeFiles/boolector.dir/parser/btorbtor.c.o -c /<>/src/parser/btorbtor.c [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o -MF CMakeFiles/boolector.dir/parser/btorbtor2.c.o.d -o CMakeFiles/boolector.dir/parser/btorbtor2.c.o -c /<>/src/parser/btorbtor2.c [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorsmt.c.o -MF CMakeFiles/boolector.dir/parser/btorsmt.c.o.d -o CMakeFiles/boolector.dir/parser/btorsmt.c.o -c /<>/src/parser/btorsmt.c [ 50%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o -MF CMakeFiles/boolector.dir/parser/btorsmt2.c.o.d -o CMakeFiles/boolector.dir/parser/btorsmt2.c.o -c /<>/src/parser/btorsmt2.c [ 50%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o -MF CMakeFiles/boolector.dir/preprocess/btorpputils.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorpputils.c.o -c /<>/src/preprocess/btorpputils.c [ 52%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorack.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorack.c.o -MF CMakeFiles/boolector.dir/preprocess/btorack.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorack.c.o -c /<>/src/preprocess/btorack.c [ 54%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorder.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorder.c.o -MF CMakeFiles/boolector.dir/preprocess/btorder.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorder.c.o -c /<>/src/preprocess/btorder.c [ 54%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o -MF CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o -c /<>/src/preprocess/btorelimapplies.c [ 56%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o -MF CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o -c /<>/src/preprocess/btorelimslices.c [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o -MF CMakeFiles/boolector.dir/preprocess/btorembed.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorembed.c.o -c /<>/src/preprocess/btorembed.c [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o -MF CMakeFiles/boolector.dir/preprocess/btorextract.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorextract.c.o -c /<>/src/preprocess/btorextract.c [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o -MF CMakeFiles/boolector.dir/preprocess/btormerge.c.o.d -o CMakeFiles/boolector.dir/preprocess/btormerge.c.o -c /<>/src/preprocess/btormerge.c [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o -MF CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o -c /<>/src/preprocess/btorminiscope.c [ 61%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o -MF CMakeFiles/boolector.dir/preprocess/btornormadd.c.o.d -o CMakeFiles/boolector.dir/preprocess/btornormadd.c.o -c /<>/src/preprocess/btornormadd.c [ 63%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o -MF CMakeFiles/boolector.dir/preprocess/btornormquant.c.o.d -o CMakeFiles/boolector.dir/preprocess/btornormquant.c.o -c /<>/src/preprocess/btornormquant.c [ 63%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o -MF CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o -c /<>/src/preprocess/btorpreprocess.c [ 64%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o -MF CMakeFiles/boolector.dir/preprocess/btorskel.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorskel.c.o -c /<>/src/preprocess/btorskel.c [ 64%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o -MF CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o -c /<>/src/preprocess/btorskolemize.c [ 66%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o -MF CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o -c /<>/src/preprocess/btorunconstrained.c [ 68%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o -MF CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o -c /<>/src/preprocess/btorvarsubst.c [ 68%] Building C object src/CMakeFiles/boolector.dir/sat/btorcadical.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorcadical.c.o -MF CMakeFiles/boolector.dir/sat/btorcadical.c.o.d -o CMakeFiles/boolector.dir/sat/btorcadical.c.o -c /<>/src/sat/btorcadical.c [ 70%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorcms.cc.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-g++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorcms.cc.o -MF CMakeFiles/boolector.dir/sat/btorcms.cc.o.d -o CMakeFiles/boolector.dir/sat/btorcms.cc.o -c /<>/src/sat/btorcms.cc [ 71%] Building C object src/CMakeFiles/boolector.dir/sat/btorlgl.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorlgl.c.o -MF CMakeFiles/boolector.dir/sat/btorlgl.c.o.d -o CMakeFiles/boolector.dir/sat/btorlgl.c.o -c /<>/src/sat/btorlgl.c [ 71%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-g++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o -MF CMakeFiles/boolector.dir/sat/btorminisat.cc.o.d -o CMakeFiles/boolector.dir/sat/btorminisat.cc.o -c /<>/src/sat/btorminisat.cc [ 73%] Building C object src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o -MF CMakeFiles/boolector.dir/sat/btorpicosat.c.o.d -o CMakeFiles/boolector.dir/sat/btorpicosat.c.o -c /<>/src/sat/btorpicosat.c [ 73%] Building C object src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o -MF CMakeFiles/boolector.dir/utils/boolectornodemap.c.o.d -o CMakeFiles/boolector.dir/utils/boolectornodemap.c.o -c /<>/src/utils/boolectornodemap.c [ 75%] Building C object src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o -MF CMakeFiles/boolector.dir/utils/btoraigmap.c.o.d -o CMakeFiles/boolector.dir/utils/btoraigmap.c.o -c /<>/src/utils/btoraigmap.c [ 77%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashint.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorhashint.c.o -MF CMakeFiles/boolector.dir/utils/btorhashint.c.o.d -o CMakeFiles/boolector.dir/utils/btorhashint.c.o -c /<>/src/utils/btorhashint.c [ 77%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o -MF CMakeFiles/boolector.dir/utils/btorhashptr.c.o.d -o CMakeFiles/boolector.dir/utils/btorhashptr.c.o -c /<>/src/utils/btorhashptr.c [ 78%] Building C object src/CMakeFiles/boolector.dir/utils/btormem.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btormem.c.o -MF CMakeFiles/boolector.dir/utils/btormem.c.o.d -o CMakeFiles/boolector.dir/utils/btormem.c.o -c /<>/src/utils/btormem.c [ 80%] Building C object src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o -MF CMakeFiles/boolector.dir/utils/btornodeiter.c.o.d -o CMakeFiles/boolector.dir/utils/btornodeiter.c.o -c /<>/src/utils/btornodeiter.c [ 80%] Building C object src/CMakeFiles/boolector.dir/utils/btornodemap.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btornodemap.c.o -MF CMakeFiles/boolector.dir/utils/btornodemap.c.o.d -o CMakeFiles/boolector.dir/utils/btornodemap.c.o -c /<>/src/utils/btornodemap.c [ 82%] Building C object src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o -MF CMakeFiles/boolector.dir/utils/btoroptparse.c.o.d -o CMakeFiles/boolector.dir/utils/btoroptparse.c.o -c /<>/src/utils/btoroptparse.c [ 82%] Building C object src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o -MF CMakeFiles/boolector.dir/utils/btorpartgen.c.o.d -o CMakeFiles/boolector.dir/utils/btorpartgen.c.o -c /<>/src/utils/btorpartgen.c [ 84%] Building C object src/CMakeFiles/boolector.dir/utils/btorrng.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorrng.c.o -MF CMakeFiles/boolector.dir/utils/btorrng.c.o.d -o CMakeFiles/boolector.dir/utils/btorrng.c.o -c /<>/src/utils/btorrng.c [ 85%] Building C object src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o -MF CMakeFiles/boolector.dir/utils/btorunionfind.c.o.d -o CMakeFiles/boolector.dir/utils/btorunionfind.c.o -c /<>/src/utils/btorunionfind.c [ 85%] Building C object src/CMakeFiles/boolector.dir/utils/btorutil.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -Dboolector_EXPORTS -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorutil.c.o -MF CMakeFiles/boolector.dir/utils/btorutil.c.o.d -o CMakeFiles/boolector.dir/utils/btorutil.c.o -c /<>/src/utils/btorutil.c [ 87%] Linking CXX shared library ../lib/libboolector.so cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/boolector.dir/link.txt --verbose=1 /usr/bin/arm-linux-gnueabihf-g++ -fPIC -g -O2 -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -shared -Wl,-z,relro -Wl,--dependency-file=CMakeFiles/boolector.dir/link.d -Wl,-soname,libboolector.so -o ../lib/libboolector.so CMakeFiles/boolector.dir/aigprop.c.o CMakeFiles/boolector.dir/boolector.c.o CMakeFiles/boolector.dir/boolectormc.c.o CMakeFiles/boolector.dir/btorabort.c.o CMakeFiles/boolector.dir/btoraig.c.o CMakeFiles/boolector.dir/btoraigvec.c.o CMakeFiles/boolector.dir/btorass.c.o CMakeFiles/boolector.dir/btorbeta.c.o CMakeFiles/boolector.dir/btorbv.c.o CMakeFiles/boolector.dir/btorchkclone.c.o CMakeFiles/boolector.dir/btorchkmodel.c.o CMakeFiles/boolector.dir/btorchkfailed.c.o CMakeFiles/boolector.dir/btorclone.c.o CMakeFiles/boolector.dir/btorcore.c.o CMakeFiles/boolector.dir/btordbg.c.o CMakeFiles/boolector.dir/btordcr.c.o CMakeFiles/boolector.dir/btorexp.c.o CMakeFiles/boolector.dir/btorlsutils.c.o CMakeFiles/boolector.dir/btormc.c.o CMakeFiles/boolector.dir/btormodel.c.o CMakeFiles/boolector.dir/btormsg.c.o CMakeFiles/boolector.dir/btornode.c.o CMakeFiles/boolector.dir/btoropt.c.o CMakeFiles/boolector.dir/btorparse.c.o CMakeFiles/boolector.dir/btorprintmodel.c.o CMakeFiles/boolector.dir/btorproputils.c.o CMakeFiles/boolector.dir/btorrewrite.c.o CMakeFiles/boolector.dir/btorrwcache.c.o CMakeFiles/boolector.dir/btorsat.c.o CMakeFiles/boolector.dir/btorslsutils.c.o CMakeFiles/boolector.dir/btorslvaigprop.c.o CMakeFiles/boolector.dir/btorslvfun.c.o CMakeFiles/boolector.dir/btorslvprop.c.o CMakeFiles/boolector.dir/btorslvquant.c.o CMakeFiles/boolector.dir/btorslvsls.c.o CMakeFiles/boolector.dir/btorsort.c.o CMakeFiles/boolector.dir/btorsubst.c.o CMakeFiles/boolector.dir/btorsynth.c.o CMakeFiles/boolector.dir/btortrapi.c.o CMakeFiles/boolector.dir/dumper/btordumpaig.c.o CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o CMakeFiles/boolector.dir/parser/btorbtor.c.o CMakeFiles/boolector.dir/parser/btorbtor2.c.o CMakeFiles/boolector.dir/parser/btorsmt.c.o CMakeFiles/boolector.dir/parser/btorsmt2.c.o CMakeFiles/boolector.dir/preprocess/btorpputils.c.o CMakeFiles/boolector.dir/preprocess/btorack.c.o CMakeFiles/boolector.dir/preprocess/btorder.c.o CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o CMakeFiles/boolector.dir/preprocess/btorembed.c.o CMakeFiles/boolector.dir/preprocess/btorextract.c.o CMakeFiles/boolector.dir/preprocess/btormerge.c.o CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o CMakeFiles/boolector.dir/preprocess/btornormadd.c.o CMakeFiles/boolector.dir/preprocess/btornormquant.c.o CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o CMakeFiles/boolector.dir/preprocess/btorskel.c.o CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o CMakeFiles/boolector.dir/sat/btorcadical.c.o CMakeFiles/boolector.dir/sat/btorcms.cc.o CMakeFiles/boolector.dir/sat/btorlgl.c.o CMakeFiles/boolector.dir/sat/btorminisat.cc.o CMakeFiles/boolector.dir/sat/btorpicosat.c.o CMakeFiles/boolector.dir/utils/boolectornodemap.c.o CMakeFiles/boolector.dir/utils/btoraigmap.c.o CMakeFiles/boolector.dir/utils/btorhashint.c.o CMakeFiles/boolector.dir/utils/btorhashptr.c.o CMakeFiles/boolector.dir/utils/btormem.c.o CMakeFiles/boolector.dir/utils/btornodeiter.c.o CMakeFiles/boolector.dir/utils/btornodemap.c.o CMakeFiles/boolector.dir/utils/btoroptparse.c.o CMakeFiles/boolector.dir/utils/btorpartgen.c.o CMakeFiles/boolector.dir/utils/btorrng.c.o CMakeFiles/boolector.dir/utils/btorunionfind.c.o CMakeFiles/boolector.dir/utils/btorutil.c.o /usr/lib/arm-linux-gnueabihf/libbtor2parser.so /usr/lib/libminisat.so make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' [ 87%] Built target boolector make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/depend make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' cd /<>/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/src /<>/obj-arm-linux-gnueabihf /<>/obj-arm-linux-gnueabihf/src /<>/obj-arm-linux-gnueabihf/src/CMakeFiles/boolector-bin.dir/DependInfo.cmake "--color=" boolector-bin make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/build make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' [ 87%] Building C object src/CMakeFiles/boolector-bin.dir/boolectormain.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -MD -MT src/CMakeFiles/boolector-bin.dir/boolectormain.c.o -MF CMakeFiles/boolector-bin.dir/boolectormain.c.o.d -o CMakeFiles/boolector-bin.dir/boolectormain.c.o -c /<>/src/boolectormain.c [ 89%] Building C object src/CMakeFiles/boolector-bin.dir/btormain.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -MD -MT src/CMakeFiles/boolector-bin.dir/btormain.c.o -MF CMakeFiles/boolector-bin.dir/btormain.c.o.d -o CMakeFiles/boolector-bin.dir/btormain.c.o -c /<>/src/btormain.c [ 91%] Linking C executable ../bin/boolector cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/boolector-bin.dir/link.txt --verbose=1 /usr/bin/arm-linux-gnueabihf-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -Wl,-z,relro -Wl,--dependency-file=CMakeFiles/boolector-bin.dir/link.d "CMakeFiles/boolector-bin.dir/boolectormain.c.o" "CMakeFiles/boolector-bin.dir/btormain.c.o" -o ../bin/boolector -Wl,-rpath,/<>/obj-arm-linux-gnueabihf/lib: ../lib/libboolector.so /usr/lib/arm-linux-gnueabihf/libbtor2parser.so /usr/lib/libminisat.so make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' [ 91%] Built target boolector-bin make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/depend make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' cd /<>/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/src /<>/obj-arm-linux-gnueabihf /<>/obj-arm-linux-gnueabihf/src /<>/obj-arm-linux-gnueabihf/src/CMakeFiles/btormc.dir/DependInfo.cmake "--color=" btormc make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/build make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' [ 91%] Building C object src/CMakeFiles/btormc.dir/btormcmain.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -MD -MT src/CMakeFiles/btormc.dir/btormcmain.c.o -MF CMakeFiles/btormc.dir/btormcmain.c.o.d -o CMakeFiles/btormc.dir/btormcmain.c.o -c /<>/src/btormcmain.c [ 92%] Linking C executable ../bin/btormc cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/btormc.dir/link.txt --verbose=1 /usr/bin/arm-linux-gnueabihf-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -Wl,-z,relro -Wl,--dependency-file=CMakeFiles/btormc.dir/link.d CMakeFiles/btormc.dir/btormcmain.c.o -o ../bin/btormc -Wl,-rpath,/<>/obj-arm-linux-gnueabihf/lib: ../lib/libboolector.so /usr/lib/arm-linux-gnueabihf/libbtor2parser.so /usr/lib/libminisat.so make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' [ 92%] Built target btormc make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/depend make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' cd /<>/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/src /<>/obj-arm-linux-gnueabihf /<>/obj-arm-linux-gnueabihf/src /<>/obj-arm-linux-gnueabihf/src/CMakeFiles/btormbt.dir/DependInfo.cmake "--color=" btormbt make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/build make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' [ 92%] Building C object src/CMakeFiles/btormbt.dir/btormbt.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -MD -MT src/CMakeFiles/btormbt.dir/btormbt.c.o -MF CMakeFiles/btormbt.dir/btormbt.c.o.d -o CMakeFiles/btormbt.dir/btormbt.c.o -c /<>/src/btormbt.c [ 94%] Linking C executable ../bin/btormbt cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/btormbt.dir/link.txt --verbose=1 /usr/bin/arm-linux-gnueabihf-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -Wl,-z,relro -Wl,--dependency-file=CMakeFiles/btormbt.dir/link.d CMakeFiles/btormbt.dir/btormbt.c.o -o ../bin/btormbt -Wl,-rpath,/<>/obj-arm-linux-gnueabihf/lib ../lib/libboolector.so /usr/lib/arm-linux-gnueabihf/libbtor2parser.so /usr/lib/libminisat.so make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' [ 94%] Built target btormbt make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/depend make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' cd /<>/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/src /<>/obj-arm-linux-gnueabihf /<>/obj-arm-linux-gnueabihf/src /<>/obj-arm-linux-gnueabihf/src/CMakeFiles/btoruntrace.dir/DependInfo.cmake "--color=" btoruntrace make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/build make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' [ 96%] Building C object src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-gcc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -MD -MT src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o -MF CMakeFiles/btoruntrace.dir/btoruntrace.c.o.d -o CMakeFiles/btoruntrace.dir/btoruntrace.c.o -c /<>/src/btoruntrace.c /<>/src/btoruntrace.c: In function ‘parse’: /<>/src/btoruntrace.c:579:56: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 579 | snprintf (check_buf, 128, "s%" PRId64 "@%p", (int64_t) ret_ptr, btor); | ^ [ 96%] Linking C executable ../bin/btoruntrace cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/btoruntrace.dir/link.txt --verbose=1 /usr/bin/arm-linux-gnueabihf-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu99 -W -Wall -Wextra -Wredundant-decls -Wl,-z,relro -Wl,--dependency-file=CMakeFiles/btoruntrace.dir/link.d CMakeFiles/btoruntrace.dir/btoruntrace.c.o -o ../bin/btoruntrace -Wl,-rpath,/<>/obj-arm-linux-gnueabihf/lib ../lib/libboolector.so /usr/lib/arm-linux-gnueabihf/libbtor2parser.so /usr/lib/libminisat.so make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' [ 96%] Built target btoruntrace make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/depend make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' cd /<>/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<> /<>/src /<>/obj-arm-linux-gnueabihf /<>/obj-arm-linux-gnueabihf/src /<>/obj-arm-linux-gnueabihf/src/CMakeFiles/btorimc.dir/DependInfo.cmake "--color=" btorimc make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/build make[3]: Entering directory '/<>/obj-arm-linux-gnueabihf' [ 96%] Building CXX object src/CMakeFiles/btorimc.dir/btoribv.cc.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-g++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -MD -MT src/CMakeFiles/btorimc.dir/btoribv.cc.o -MF CMakeFiles/btorimc.dir/btoribv.cc.o.d -o CMakeFiles/btorimc.dir/btoribv.cc.o -c /<>/src/btoribv.cc [ 98%] Building CXX object src/CMakeFiles/btorimc.dir/btorimc.cc.o cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/arm-linux-gnueabihf-g++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_MINISAT -DNBTORLOG -I/<>/src -I/<>/obj-arm-linux-gnueabihf/src -g -O2 -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -MD -MT src/CMakeFiles/btorimc.dir/btorimc.cc.o -MF CMakeFiles/btorimc.dir/btorimc.cc.o.d -o CMakeFiles/btorimc.dir/btorimc.cc.o -c /<>/src/btorimc.cc [100%] Linking CXX executable ../bin/btorimc cd /<>/obj-arm-linux-gnueabihf/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/btorimc.dir/link.txt --verbose=1 /usr/bin/arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -Wl,-z,relro -Wl,--dependency-file=CMakeFiles/btorimc.dir/link.d CMakeFiles/btorimc.dir/btoribv.cc.o CMakeFiles/btorimc.dir/btorimc.cc.o -o ../bin/btorimc -Wl,-rpath,/<>/obj-arm-linux-gnueabihf/lib ../lib/libboolector.so /usr/lib/arm-linux-gnueabihf/libbtor2parser.so /usr/lib/libminisat.so make[3]: Leaving directory '/<>/obj-arm-linux-gnueabihf' [100%] Built target btorimc make[2]: Leaving directory '/<>/obj-arm-linux-gnueabihf' /usr/bin/cmake -E cmake_progress_start /<>/obj-arm-linux-gnueabihf/CMakeFiles 0 make[1]: Leaving directory '/<>/obj-arm-linux-gnueabihf' dh: command-omitted: The call to "dh_auto_test -a" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_prep -a dh_auto_install --destdir=debian/boolector/ -a cd obj-arm-linux-gnueabihf && make -j1 install DESTDIR=/<>/debian/boolector AM_UPDATE_INFO_DIR=no INSTALL="install --strip-program=true" make[1]: Entering directory '/<>/obj-arm-linux-gnueabihf' /usr/bin/cmake -S/<> -B/<>/obj-arm-linux-gnueabihf --check-build-system CMakeFiles/Makefile.cmake 0 make -f CMakeFiles/Makefile2 preinstall make[2]: Entering directory '/<>/obj-arm-linux-gnueabihf' make[2]: Nothing to be done for 'preinstall'. make[2]: Leaving directory '/<>/obj-arm-linux-gnueabihf' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "None" -- Installing: /<>/debian/boolector/usr/lib/cmake/Boolector/BoolectorConfig.cmake -- Installing: /<>/debian/boolector/usr/lib/cmake/Boolector/BoolectorConfigVersion.cmake -- Installing: /<>/debian/boolector/usr/lib/libboolector.so -- Installing: /<>/debian/boolector/usr/lib/cmake/Boolector/BoolectorTargets.cmake -- Installing: /<>/debian/boolector/usr/lib/cmake/Boolector/BoolectorTargets-none.cmake -- Installing: /<>/debian/boolector/usr/include/boolector/boolector.h -- Installing: /<>/debian/boolector/usr/include/boolector/btortypes.h -- Installing: /<>/debian/boolector/usr/bin/boolector -- Set non-toolchain portion of runtime path of "/<>/debian/boolector/usr/bin/boolector" to "" -- Installing: /<>/debian/boolector/usr/bin/btormc -- Set non-toolchain portion of runtime path of "/<>/debian/boolector/usr/bin/btormc" to "" make[1]: Leaving directory '/<>/obj-arm-linux-gnueabihf' dh_installdocs -a debian/rules override_dh_installchangelogs make[1]: Entering directory '/<>' dh_installchangelogs NEWS make[1]: Leaving directory '/<>' dh_installman -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dwz: debian/boolector/usr/lib/libboolector.so: DWARF compression not beneficial - old size 1427711 new size 1429599 dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 from: /lib/ld-linux-armhf.so.3 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 to: /lib/ld-linux-armhf.so.3.usr-is-merged dpkg-shlibdeps: warning: cannot extract name and version from library name 'libboolector.so' dpkg-shlibdeps: warning: cannot extract name and version from library name 'libboolector.so' dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'boolector' in '../boolector_3.2.4-1_armhf.deb'. dpkg-deb: building package 'boolector-dbgsym' in '../boolector-dbgsym_3.2.4-1_armhf.deb'. dpkg-genbuildinfo --build=any -O../boolector_3.2.4-1_armhf.buildinfo dpkg-genchanges --build=any -O../boolector_3.2.4-1_armhf.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2026-01-31T11:33:47Z +------------------------------------------------------------------------------+ | Finished Timed Build Commands | +------------------------------------------------------------------------------+ rm -Rf /<>/ ----------------------------------------------- I: Finished running 'rm -Rf /<>/'. Finished processing commands. -------------------------------------------------------------------------------- Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ boolector_3.2.4-1_armhf.changes: -------------------------------- Format: 1.8 Date: Fri, 30 Jan 2026 15:17:25 +0100 Source: boolector Binary: boolector boolector-dbgsym Built-For-Profiles: cross nocheck Architecture: armhf Version: 3.2.4-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Andreas Tille Description: boolector - SMT solver for bit-vectors and arrays Closes: 922877 1043884 1111926 1119363 Changes: boolector (3.2.4-1) unstable; urgency=medium . * New upstream version Closes: #922877, #1043884 * Maintain package in Debian Science team Closes: #1111926 * Update Homepage * Fix watch file, version=5 * debhelper-compat 13 (routine-update) * Remove old boilerplate from debian/rules (routine-update) * Remove trailing whitespace in debian/copyright (routine-update) * Remove trailing whitespace in debian/rules (routine-update) * Trim trailing whitespace. * d/rules: Switch to short dh Closes: #1119363 * d/copyright: DEP5 * Make sure package builds with CMake 4 * Standards-Version: 4.7.3 (routine-update) * Remove Priority field to comply with Debian Policy 4.7.3 (routine- update) * Prevent static linking Checksums-Sha1: 59cb6697d2aeb7d4443adf3838b3b610b9f1dd97 1575892 boolector-dbgsym_3.2.4-1_armhf.deb 1ad420e3c747a92eff999c3aa652fbe9bde06bad 6174 boolector_3.2.4-1_armhf.buildinfo f6ccf0ddef54d12b1327be416b60ba0bfc615a8d 476444 boolector_3.2.4-1_armhf.deb Checksums-Sha256: bc68fd242b51818f53c44cd46f6f9eee502377990f174f634cfb60b5ff769873 1575892 boolector-dbgsym_3.2.4-1_armhf.deb 3e3bf8a90bf1f83a0b425b4129b5719ae2c640482934409b1d169cf380557478 6174 boolector_3.2.4-1_armhf.buildinfo 2b130ee3c711b5af2a59622489091bf62945c11a6e4fae7a842462aea4588ff3 476444 boolector_3.2.4-1_armhf.deb Files: 4458ac57b92c85570490233d13c5af89 1575892 debug optional boolector-dbgsym_3.2.4-1_armhf.deb 6225d1ded9570b430117e41c19c231fe 6174 science optional boolector_3.2.4-1_armhf.buildinfo 05b5bc36f402677f6d881cb1c849714e 476444 science optional boolector_3.2.4-1_armhf.deb +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: boolector Binary: boolector boolector-dbgsym Architecture: armhf Version: 3.2.4-1 Checksums-Md5: 4458ac57b92c85570490233d13c5af89 1575892 boolector-dbgsym_3.2.4-1_armhf.deb 05b5bc36f402677f6d881cb1c849714e 476444 boolector_3.2.4-1_armhf.deb Checksums-Sha1: 59cb6697d2aeb7d4443adf3838b3b610b9f1dd97 1575892 boolector-dbgsym_3.2.4-1_armhf.deb f6ccf0ddef54d12b1327be416b60ba0bfc615a8d 476444 boolector_3.2.4-1_armhf.deb Checksums-Sha256: bc68fd242b51818f53c44cd46f6f9eee502377990f174f634cfb60b5ff769873 1575892 boolector-dbgsym_3.2.4-1_armhf.deb 2b130ee3c711b5af2a59622489091bf62945c11a6e4fae7a842462aea4588ff3 476444 boolector_3.2.4-1_armhf.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Sat, 31 Jan 2026 11:33:47 +0000 Build-Path: /<> Installed-Build-Depends: autoconf (= 2.72-3.1), automake (= 1:1.18.1-3), autopoint (= 0.23.2-1), autotools-dev (= 20240727.1), base-files (= 14), base-passwd (= 3.6.8), bash (= 5.3-1), binutils (= 2.45.90.20260125-1), binutils-common (= 2.45.90.20260125-1), binutils-x86-64-linux-gnu (= 2.45.90.20260125-1), bsdextrautils (= 2.41.3-3), build-essential (= 12.12), bzip2 (= 1.0.8-6+b1), cmake (= 4.2.3-1), cmake-data (= 4.2.3-1), coreutils (= 9.7-3), cpp (= 4:15.2.0-5), cpp-15 (= 15.2.0-12), cpp-15-x86-64-linux-gnu (= 15.2.0-12), cpp-x86-64-linux-gnu (= 4:15.2.0-5), dash (= 0.5.12-12), debconf (= 1.5.91), debhelper (= 13.29), debianutils (= 5.23.2), dh-autoreconf (= 21), dh-strip-nondeterminism (= 1.15.0-1), diffutils (= 1:3.12-1), dpkg (= 1.23.5), dpkg-dev (= 1.23.5), dwz (= 0.16-2), file (= 1:5.46-5+b1), findutils (= 4.10.0-3), g++ (= 4:15.2.0-5), g++-15 (= 15.2.0-12), g++-15-x86-64-linux-gnu (= 15.2.0-12), g++-x86-64-linux-gnu (= 4:15.2.0-5), gcc (= 4:15.2.0-5), gcc-15 (= 15.2.0-12), gcc-15-base (= 15.2.0-12), gcc-15-x86-64-linux-gnu (= 15.2.0-12), gcc-x86-64-linux-gnu (= 4:15.2.0-5), gettext (= 0.23.2-1), gettext-base (= 0.23.2-1), grep (= 3.12-1), groff-base (= 1.23.0-10), gzip (= 1.13-1), hostname (= 3.25), init-system-helpers (= 1.69), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2+b2), libarchive-zip-perl (= 1.68-1), libarchive13t64 (= 3.8.5-1), libasan8 (= 15.2.0-12), libatomic1 (= 15.2.0-12), libattr1 (= 1:2.5.2-3+b1), libaudit-common (= 1:4.1.2-1), libaudit1 (= 1:4.1.2-1+b1), libbinutils (= 2.45.90.20260125-1), libblkid1 (= 2.41.3-3), libbrotli1 (= 1.1.0-2+b9), libbtor2parser-dev (= 1.0.2~git20250507.fb69ee3-2), libbtor2parser0 (= 1.0.2~git20250507.fb69ee3-2), libbz2-1.0 (= 1.0.8-6+b1), libc-bin (= 2.42-11), libc-dev-bin (= 2.42-11), libc-gconv-modules-extra (= 2.42-11), libc6 (= 2.42-11), libc6-dev (= 2.42-11), libcap-ng0 (= 0.8.5-4+b2), libcap2 (= 1:2.75-10+b5), libcc1-0 (= 15.2.0-12), libcom-err2 (= 1.47.2-3+b8), libcrypt1 (= 1:4.5.1-1), libctf-nobfd0 (= 2.45.90.20260125-1), libctf0 (= 2.45.90.20260125-1), libcurl4t64 (= 8.18.0-2), libdb5.3t64 (= 5.3.28+dfsg2-11), libdebconfclient0 (= 0.282+b2), libdebhelper-perl (= 13.29), libdpkg-perl (= 1.23.5), libelf1t64 (= 0.194-1), libexpat1 (= 2.7.3-2), libffi8 (= 3.5.2-3+b1), libfile-stripnondeterminism-perl (= 1.15.0-1), libgcc-15-dev (= 15.2.0-12), libgcc-s1 (= 15.2.0-12), libgdbm-compat4t64 (= 1.26-1+b1), libgdbm6t64 (= 1.26-1+b1), libgmp10 (= 2:6.3.0+dfsg-5+b1), libgnutls30t64 (= 3.8.11-3), libgomp1 (= 15.2.0-12), libgprofng0 (= 2.45.90.20260125-1), libgssapi-krb5-2 (= 1.22.1-2), libhogweed6t64 (= 3.10.2-1), libhwasan0 (= 15.2.0-12), libidn2-0 (= 2.3.8-4+b1), libisl23 (= 0.27-1+b1), libitm1 (= 15.2.0-12), libjansson4 (= 2.14-2+b4), libjsoncpp26 (= 1.9.6-5), libk5crypto3 (= 1.22.1-2), libkeyutils1 (= 1.6.3-6+b1), libkrb5-3 (= 1.22.1-2), libkrb5support0 (= 1.22.1-2), libldap2 (= 2.6.10+dfsg-1+b1), liblsan0 (= 15.2.0-12), liblz4-1 (= 1.10.0-6), liblzma5 (= 5.8.2-2), libmagic-mgc (= 1:5.46-5+b1), libmagic1t64 (= 1:5.46-5+b1), libmd0 (= 1.1.0-2+b2), libmount1 (= 2.41.3-3), libmpc3 (= 1.3.1-2+b1), libmpfr6 (= 4.2.2-2+b1), libncursesw6 (= 6.6+20251231-1), libnettle8t64 (= 3.10.2-1), libnghttp2-14 (= 1.64.0-1.1+b1), libnghttp3-9 (= 1.12.0-1), libngtcp2-16 (= 1.16.0-1), libngtcp2-crypto-ossl0 (= 1.16.0-1), libp11-kit0 (= 0.25.10-1+b1), libpam-modules (= 1.7.0-5+b1), libpam-modules-bin (= 1.7.0-5+b1), libpam-runtime (= 1.7.0-5), libpam0g (= 1.7.0-5+b1), libpcre2-8-0 (= 10.46-1+b1), libperl5.40 (= 5.40.1-7), libpipeline1 (= 1.5.8-2), libproc2-0 (= 2:4.0.4-9+b1), libpsl5t64 (= 0.21.2-1.1+b2), libquadmath0 (= 15.2.0-12), librhash1 (= 1.4.6-1.1), librtmp1 (= 2.4+20151223.gitfa8646d.1-3+b1), libsasl2-2 (= 2.1.28+dfsg1-10), libsasl2-modules-db (= 2.1.28+dfsg1-10), libseccomp2 (= 2.6.0-2+b1), libselinux1 (= 3.9-4+b1), libsframe3 (= 2.45.90.20260125-1), libsmartcols1 (= 2.41.3-3), libssh2-1t64 (= 1.11.1-1+b1), libssl3t64 (= 3.5.5-1), libstdc++-15-dev (= 15.2.0-12), libstdc++6 (= 15.2.0-12), libsystemd0 (= 259-1), libtasn1-6 (= 4.21.0-2), libtinfo6 (= 6.6+20251231-1), libtool (= 2.5.4-9), libtsan2 (= 15.2.0-12), libubsan1 (= 15.2.0-12), libuchardet0 (= 0.0.8-2+b1), libudev1 (= 259-1), libunistring5 (= 1.3-2+b1), libuuid1 (= 2.41.3-3), libuv1t64 (= 1.51.0-2+b1), libxml2-16 (= 2.15.1+dfsg-2+b1), libxxhash0 (= 0.8.3-2+b1), libzstd1 (= 1.5.7+dfsg-3+b1), linux-libc-dev (= 6.18.5-1), m4 (= 1.4.20-2), make (= 4.4.1-3), man-db (= 2.13.1-1), mawk (= 1.3.4.20250131-2), minisat (= 1:2.2.1-8), ncurses-base (= 6.6+20251231-1), ncurses-bin (= 6.6+20251231-1), openssl-provider-legacy (= 3.5.5-1), patch (= 2.8-2), perl (= 5.40.1-7), perl-base (= 5.40.1-7), perl-modules-5.40 (= 5.40.1-7), po-debconf (= 1.0.22), procps (= 2:4.0.4-9+b1), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2), sensible-utils (= 0.0.26), sysvinit-utils (= 3.15-6), tar (= 1.35+dfsg-3.1), util-linux (= 2.41.3-3), xz-utils (= 5.8.2-2), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b2), zlib1g-dev (= 1:1.3.dfsg+really1.3.1-1+b2) Environment: DEB_BUILD_OPTIONS="nocheck parallel=1" DEB_BUILD_PROFILES="cross nocheck" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1769782645" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ boolector-dbgsym_3.2.4-1_armhf.deb ---------------------------------- new Debian package, version 2.0. size 1575892 bytes: control archive=692 bytes. 468 bytes, 12 lines control 407 bytes, 4 lines md5sums Package: boolector-dbgsym Source: boolector Version: 3.2.4-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Debian Science Maintainers Installed-Size: 1742 Depends: boolector (= 3.2.4-1) Section: debug Priority: optional Description: debug symbols for boolector Build-Ids: a3bdfc52d1bfdac22caea4c8dbe45f5792f0fe63 b13e820822cc3f28d147e829d3c0c620ac6e89f7 d9a6284b0ab234cbeccbab0353f1bd70efa1c5bf drwxr-xr-x root/root 0 2026-01-30 14:17 ./ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/debug/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/debug/.build-id/a3/ -rw-r--r-- root/root 54768 2026-01-30 14:17 ./usr/lib/debug/.build-id/a3/bdfc52d1bfdac22caea4c8dbe45f5792f0fe63.debug drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/debug/.build-id/b1/ -rw-r--r-- root/root 49436 2026-01-30 14:17 ./usr/lib/debug/.build-id/b1/3e820822cc3f28d147e829d3c0c620ac6e89f7.debug drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/debug/.build-id/d9/ -rw-r--r-- root/root 1649536 2026-01-30 14:17 ./usr/lib/debug/.build-id/d9/a6284b0ab234cbeccbab0353f1bd70efa1c5bf.debug drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/ -rw-r--r-- root/root 13744 2026-01-30 14:17 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/boolector.debug drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/share/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/share/doc/ lrwxrwxrwx root/root 0 2026-01-30 14:17 ./usr/share/doc/boolector-dbgsym -> boolector boolector_3.2.4-1_armhf.deb --------------------------- new Debian package, version 2.0. size 476444 bytes: control archive=1044 bytes. 589 bytes, 13 lines control 980 bytes, 14 lines md5sums Package: boolector Version: 3.2.4-1 Architecture: armhf Maintainer: Debian Science Maintainers Installed-Size: 1306 Depends: libbtor2parser0 (>= 1.0.2~git20250507.fb69ee3), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libstdc++6 (>= 4.1.1), minisat (>= 1:2.2.1) Section: science Priority: optional Homepage: https://boolector.github.io/ Description: SMT solver for bit-vectors and arrays Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. drwxr-xr-x root/root 0 2026-01-30 14:17 ./ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/bin/ -rwxr-xr-x root/root 67456 2026-01-30 14:17 ./usr/bin/boolector -rwxr-xr-x root/root 67704 2026-01-30 14:17 ./usr/bin/btormc drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/include/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/include/boolector/ -rw-r--r-- root/root 80613 2024-08-23 21:28 ./usr/include/boolector/boolector.h -rw-r--r-- root/root 27968 2024-08-23 21:28 ./usr/include/boolector/btortypes.h drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/cmake/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/lib/cmake/Boolector/ -rw-r--r-- root/root 285 2024-08-23 21:28 ./usr/lib/cmake/Boolector/BoolectorConfig.cmake -rw-r--r-- root/root 2762 2026-01-30 14:17 ./usr/lib/cmake/Boolector/BoolectorConfigVersion.cmake -rw-r--r-- root/root 860 2026-01-30 14:17 ./usr/lib/cmake/Boolector/BoolectorTargets-none.cmake -rw-r--r-- root/root 4609 2026-01-30 14:17 ./usr/lib/cmake/Boolector/BoolectorTargets.cmake -rw-r--r-- root/root 1054128 2026-01-30 14:17 ./usr/lib/libboolector.so drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/share/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/share/doc/boolector/ -rw-r--r-- root/root 1311 2024-08-23 21:28 ./usr/share/doc/boolector/AUTHORS -rw-r--r-- root/root 877 2026-01-30 14:17 ./usr/share/doc/boolector/changelog.Debian.gz -rw-r--r-- root/root 5270 2024-08-23 21:28 ./usr/share/doc/boolector/changelog.gz -rw-r--r-- root/root 1650 2026-01-30 14:17 ./usr/share/doc/boolector/copyright drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/share/man/ drwxr-xr-x root/root 0 2026-01-30 14:17 ./usr/share/man/man1/ -rw-r--r-- root/root 811 2026-01-30 14:17 ./usr/share/man/man1/boolector.1.gz lintian ------- Setup apt archive ----------------- Merged Build-Depends: lintian:amd64 Filtered Build-Depends: lintian:amd64 dpkg-deb: warning: root directory /<>/sbuild-build-depends-lintian-dummy has unusual owner or group 1000:119 dpkg-deb: hint: you might need to pass --root-owner-group, see for further details dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package 'sbuild-build-depends-lintian-dummy' in '/<>/apt_archive/sbuild-build-depends-lintian-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [615 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [1344 B] Get:5 copy:/<>/apt_archive ./ Packages [1423 B] Fetched 3382 B in 0s (0 B/s) Reading package lists... Reading package lists... Install lintian build dependencies (apt-based resolver) ------------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... Execute external solver... The following additional packages will be installed: appstream ca-certificates diffstat gpg gpgconf iso-codes libaliased-perl libappstream5 libapt-pkg-perl libassuan9 libb-hooks-endofscope-perl libb-hooks-op-check-perl libberkeleydb-perl libcapture-tiny-perl libcgi-pm-perl libclass-data-inheritable-perl libclass-inspector-perl libclass-method-modifiers-perl libclass-xsaccessor-perl libclone-perl libconfig-tiny-perl libconst-fast-perl libcpanel-json-xs-perl libcurl3t64-gnutls libdata-dpath-perl libdata-messagepack-perl libdata-optlist-perl libdata-validate-domain-perl libdata-validate-ip-perl libdata-validate-uri-perl libdevel-callchecker-perl libdevel-size-perl libdevel-stacktrace-perl libdynaloader-functions-perl libemail-address-xs-perl libencode-locale-perl libexception-class-perl libfile-basedir-perl libfile-find-rule-perl libfile-libmagic-perl libfile-listing-perl libfile-sharedir-perl libfont-ttf-perl libfyaml0 libgcrypt20 libglib2.0-0t64 libgpg-error0 libhtml-form-perl libhtml-html5-entities-perl libhtml-parser-perl libhtml-tagset-perl libhtml-tokeparser-simple-perl libhtml-tree-perl libhttp-cookies-perl libhttp-date-perl libhttp-message-perl libhttp-negotiate-perl libimport-into-perl libio-html-perl libio-interactive-perl libio-socket-ssl-perl libio-string-perl libipc-run3-perl libipc-system-simple-perl libiterator-perl libiterator-util-perl libjson-maybexs-perl libksba8 liblist-compare-perl liblist-someutils-perl liblist-utilsby-perl liblwp-mediatypes-perl liblwp-protocol-https-perl liblz1 liblzo2-2 libmarkdown2 libmldbm-perl libmodule-implementation-perl libmodule-runtime-perl libmoo-perl libmoox-aliases-perl libmouse-perl libnamespace-clean-perl libnet-domain-tld-perl libnet-http-perl libnet-ipv6addr-perl libnet-netmask-perl libnet-ssleay-perl libnetaddr-ip-perl libngtcp2-crypto-gnutls8 libnpth0t64 libnumber-compare-perl libpackage-stash-perl libparams-classify-perl libparams-util-perl libpath-tiny-perl libperlio-gzip-perl libperlio-utf8-strict-perl libproc-processtable-perl libreadline8t64 libregexp-wildcards-perl librole-tiny-perl libsereal-decoder-perl libsereal-encoder-perl libsort-versions-perl libsqlite3-0 libstemmer0d libstrictures-perl libsub-exporter-perl libsub-exporter-progressive-perl libsub-identify-perl libsub-install-perl libsub-name-perl libsub-quote-perl libsyntax-keyword-try-perl libterm-readkey-perl libtext-charwidth-perl libtext-glob-perl libtext-levenshteinxs-perl libtext-markdown-discount-perl libtext-wrapi18n-perl libtext-xslate-perl libtime-duration-perl libtime-moment-perl libtimedate-perl libtry-tiny-perl libunicode-utf8-perl liburi-perl libvariable-magic-perl libwww-mechanize-perl libwww-perl libwww-robotrules-perl libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxmlb2 libxs-parse-keyword-perl libyaml-0-2 libyaml-libyaml-perl lintian lzop netbase openssl patchutils perl-openssl-defaults plzip readline-common shared-mime-info t1utils ucf unzip Suggested packages: apt-config-icons isoquery libxml-parser-perl rng-tools low-memory-monitor libdata-dump-perl libcrypt-ssleay-perl libscalar-number-perl libbareword-filehandles-perl libindirect-perl libmultidimensional-perl libbusiness-isbn-perl libmime-base32-perl libregexp-ipv6-perl libauthen-ntlm-perl binutils-multiarch libtext-template-perl python3 readline-doc zip Recommended packages: gnupg libcgi-fast-perl libglib2.0-data xdg-user-dirs libgpg-error-l10n libhtml-format-perl libio-compress-brotli-perl liblist-someutils-xs-perl libfreezethaw-perl libmath-base85-perl libsocket6-perl libpackage-stash-xs-perl libxstring-perl libdata-dump-perl libhttp-daemon-perl libmailtools-perl libxml-sax-expat-perl The following NEW packages will be installed: appstream ca-certificates diffstat gpg gpgconf iso-codes libaliased-perl libappstream5 libapt-pkg-perl libassuan9 libb-hooks-endofscope-perl libb-hooks-op-check-perl libberkeleydb-perl libcapture-tiny-perl libcgi-pm-perl libclass-data-inheritable-perl libclass-inspector-perl libclass-method-modifiers-perl libclass-xsaccessor-perl libclone-perl libconfig-tiny-perl libconst-fast-perl libcpanel-json-xs-perl libcurl3t64-gnutls libdata-dpath-perl libdata-messagepack-perl libdata-optlist-perl libdata-validate-domain-perl libdata-validate-ip-perl libdata-validate-uri-perl libdevel-callchecker-perl libdevel-size-perl libdevel-stacktrace-perl libdynaloader-functions-perl libemail-address-xs-perl libencode-locale-perl libexception-class-perl libfile-basedir-perl libfile-find-rule-perl libfile-libmagic-perl libfile-listing-perl libfile-sharedir-perl libfont-ttf-perl libfyaml0 libgcrypt20 libglib2.0-0t64 libgpg-error0 libhtml-form-perl libhtml-html5-entities-perl libhtml-parser-perl libhtml-tagset-perl libhtml-tokeparser-simple-perl libhtml-tree-perl libhttp-cookies-perl libhttp-date-perl libhttp-message-perl libhttp-negotiate-perl libimport-into-perl libio-html-perl libio-interactive-perl libio-socket-ssl-perl libio-string-perl libipc-run3-perl libipc-system-simple-perl libiterator-perl libiterator-util-perl libjson-maybexs-perl libksba8 liblist-compare-perl liblist-someutils-perl liblist-utilsby-perl liblwp-mediatypes-perl liblwp-protocol-https-perl liblz1 liblzo2-2 libmarkdown2 libmldbm-perl libmodule-implementation-perl libmodule-runtime-perl libmoo-perl libmoox-aliases-perl libmouse-perl libnamespace-clean-perl libnet-domain-tld-perl libnet-http-perl libnet-ipv6addr-perl libnet-netmask-perl libnet-ssleay-perl libnetaddr-ip-perl libngtcp2-crypto-gnutls8 libnpth0t64 libnumber-compare-perl libpackage-stash-perl libparams-classify-perl libparams-util-perl libpath-tiny-perl libperlio-gzip-perl libperlio-utf8-strict-perl libproc-processtable-perl libreadline8t64 libregexp-wildcards-perl librole-tiny-perl libsereal-decoder-perl libsereal-encoder-perl libsort-versions-perl libsqlite3-0 libstemmer0d libstrictures-perl libsub-exporter-perl libsub-exporter-progressive-perl libsub-identify-perl libsub-install-perl libsub-name-perl libsub-quote-perl libsyntax-keyword-try-perl libterm-readkey-perl libtext-charwidth-perl libtext-glob-perl libtext-levenshteinxs-perl libtext-markdown-discount-perl libtext-wrapi18n-perl libtext-xslate-perl libtime-duration-perl libtime-moment-perl libtimedate-perl libtry-tiny-perl libunicode-utf8-perl liburi-perl libvariable-magic-perl libwww-mechanize-perl libwww-perl libwww-robotrules-perl libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxmlb2 libxs-parse-keyword-perl libyaml-0-2 libyaml-libyaml-perl lintian lzop netbase openssl patchutils perl-openssl-defaults plzip readline-common sbuild-build-depends-lintian-dummy:armhf shared-mime-info t1utils ucf unzip 0 upgraded, 153 newly installed, 0 to remove and 0 not upgraded. Need to get 19.3 MB of archives. After this operation, 78.0 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-lintian-dummy 0.invalid.0 [848 B] Get:2 http://localhost:3142/debian unstable/main amd64 netbase all 6.5 [12.4 kB] Get:3 http://localhost:3142/debian unstable/main amd64 readline-common all 8.3-3 [74.8 kB] Get:4 http://localhost:3142/debian unstable/main amd64 openssl amd64 3.5.5-1 [1500 kB] Get:5 http://localhost:3142/debian unstable/main amd64 ca-certificates all 20250419 [162 kB] Get:6 http://localhost:3142/debian unstable/main amd64 libtext-charwidth-perl amd64 0.04-11+b5 [9532 B] Get:7 http://localhost:3142/debian unstable/main amd64 libtext-wrapi18n-perl all 0.06-10 [8808 B] Get:8 http://localhost:3142/debian unstable/main amd64 ucf all 3.0052 [43.3 kB] Get:9 http://localhost:3142/debian unstable/main amd64 libglib2.0-0t64 amd64 2.86.3-5 [1547 kB] Get:10 http://localhost:3142/debian unstable/main amd64 shared-mime-info amd64 2.4-5+b3 [758 kB] Get:11 http://localhost:3142/debian unstable/main amd64 libngtcp2-crypto-gnutls8 amd64 1.16.0-1 [25.2 kB] Get:12 http://localhost:3142/debian unstable/main amd64 libcurl3t64-gnutls amd64 8.18.0-2 [404 kB] Get:13 http://localhost:3142/debian unstable/main amd64 libfyaml0 amd64 0.9.3-1 [302 kB] Get:14 http://localhost:3142/debian unstable/main amd64 libstemmer0d amd64 3.0.1-1+b1 [133 kB] Get:15 http://localhost:3142/debian unstable/main amd64 libxmlb2 amd64 0.3.24-2 [63.7 kB] Get:16 http://localhost:3142/debian unstable/main amd64 libappstream5 amd64 1.1.2-1 [227 kB] Get:17 http://localhost:3142/debian unstable/main amd64 appstream amd64 1.1.2-1 [566 kB] Get:18 http://localhost:3142/debian unstable/main amd64 diffstat amd64 1.68-1 [35.2 kB] Get:19 http://localhost:3142/debian unstable/main amd64 libgpg-error0 amd64 1.58-2 [89.7 kB] Get:20 http://localhost:3142/debian unstable/main amd64 libassuan9 amd64 3.0.2-2+b1 [62.1 kB] Get:21 http://localhost:3142/debian unstable/main amd64 libgcrypt20 amd64 1.11.2-3+b1 [871 kB] Get:22 http://localhost:3142/debian unstable/main amd64 libreadline8t64 amd64 8.3-3+b1 [181 kB] Get:23 http://localhost:3142/debian unstable/main amd64 gpgconf amd64 2.4.8-5 [129 kB] Get:24 http://localhost:3142/debian unstable/main amd64 libksba8 amd64 1.6.7-2+b2 [136 kB] Get:25 http://localhost:3142/debian unstable/main amd64 libnpth0t64 amd64 1.8-3+b1 [23.6 kB] Get:26 http://localhost:3142/debian unstable/main amd64 libsqlite3-0 amd64 3.46.1-9 [920 kB] Get:27 http://localhost:3142/debian unstable/main amd64 gpg amd64 2.4.8-5 [639 kB] Get:28 http://localhost:3142/debian unstable/main amd64 iso-codes all 4.20.1-1 [3319 kB] Get:29 http://localhost:3142/debian unstable/main amd64 libaliased-perl all 0.34-3 [13.5 kB] Get:30 http://localhost:3142/debian unstable/main amd64 libapt-pkg-perl amd64 0.1.43 [68.4 kB] Get:31 http://localhost:3142/debian unstable/main amd64 libb-hooks-op-check-perl amd64 0.22-3+b3 [10.6 kB] Get:32 http://localhost:3142/debian unstable/main amd64 libdynaloader-functions-perl all 0.004-2 [12.2 kB] Get:33 http://localhost:3142/debian unstable/main amd64 libdevel-callchecker-perl amd64 0.009-2+b1 [15.9 kB] Get:34 http://localhost:3142/debian unstable/main amd64 libparams-classify-perl amd64 0.015-2+b5 [22.5 kB] Get:35 http://localhost:3142/debian unstable/main amd64 libmodule-runtime-perl all 0.018-1 [17.8 kB] Get:36 http://localhost:3142/debian unstable/main amd64 libtry-tiny-perl all 0.32-1 [22.9 kB] Get:37 http://localhost:3142/debian unstable/main amd64 libmodule-implementation-perl all 0.09-2 [12.6 kB] Get:38 http://localhost:3142/debian unstable/main amd64 libsub-exporter-progressive-perl all 0.001013-3 [7496 B] Get:39 http://localhost:3142/debian unstable/main amd64 libvariable-magic-perl amd64 0.64-1+b1 [44.9 kB] Get:40 http://localhost:3142/debian unstable/main amd64 libb-hooks-endofscope-perl all 0.28-2 [17.6 kB] Get:41 http://localhost:3142/debian unstable/main amd64 libberkeleydb-perl amd64 0.66-2 [122 kB] Get:42 http://localhost:3142/debian unstable/main amd64 libcapture-tiny-perl all 0.50-1 [24.6 kB] Get:43 http://localhost:3142/debian unstable/main amd64 libhtml-tagset-perl all 3.24-1 [14.7 kB] Get:44 http://localhost:3142/debian unstable/main amd64 liburi-perl all 5.34-2 [111 kB] Get:45 http://localhost:3142/debian unstable/main amd64 libhtml-parser-perl amd64 3.83-1+b3 [99.7 kB] Get:46 http://localhost:3142/debian unstable/main amd64 libcgi-pm-perl all 4.71-1 [217 kB] Get:47 http://localhost:3142/debian unstable/main amd64 libclass-data-inheritable-perl all 0.10-1 [8632 B] Get:48 http://localhost:3142/debian unstable/main amd64 libclass-inspector-perl all 1.36-3 [17.5 kB] Get:49 http://localhost:3142/debian unstable/main amd64 libclass-method-modifiers-perl all 2.15-1 [18.0 kB] Get:50 http://localhost:3142/debian unstable/main amd64 libclass-xsaccessor-perl amd64 1.19-4+b5 [36.1 kB] Get:51 http://localhost:3142/debian unstable/main amd64 libclone-perl amd64 0.47-1+b2 [13.9 kB] Get:52 http://localhost:3142/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:53 http://localhost:3142/debian unstable/main amd64 libparams-util-perl amd64 1.102-3+b1 [24.4 kB] Get:54 http://localhost:3142/debian unstable/main amd64 libsub-install-perl all 0.929-1 [10.5 kB] Get:55 http://localhost:3142/debian unstable/main amd64 libdata-optlist-perl all 0.114-1 [10.6 kB] Get:56 http://localhost:3142/debian unstable/main amd64 libsub-exporter-perl all 0.990-1 [50.6 kB] Get:57 http://localhost:3142/debian unstable/main amd64 libconst-fast-perl all 0.014-2 [8792 B] Get:58 http://localhost:3142/debian unstable/main amd64 libcpanel-json-xs-perl amd64 4.40-1 [132 kB] Get:59 http://localhost:3142/debian unstable/main amd64 libdevel-stacktrace-perl all 2.0500-1 [26.4 kB] Get:60 http://localhost:3142/debian unstable/main amd64 libexception-class-perl all 1.45-1 [34.6 kB] Get:61 http://localhost:3142/debian unstable/main amd64 libiterator-perl all 0.03+ds1-2 [18.8 kB] Get:62 http://localhost:3142/debian unstable/main amd64 libiterator-util-perl all 0.02+ds1-2 [14.0 kB] Get:63 http://localhost:3142/debian unstable/main amd64 libdata-dpath-perl all 0.60-1 [41.8 kB] Get:64 http://localhost:3142/debian unstable/main amd64 libdata-messagepack-perl amd64 1.02-3 [32.6 kB] Get:65 http://localhost:3142/debian unstable/main amd64 libnet-domain-tld-perl all 1.75-4 [31.5 kB] Get:66 http://localhost:3142/debian unstable/main amd64 libdata-validate-domain-perl all 0.15-1 [11.9 kB] Get:67 http://localhost:3142/debian unstable/main amd64 libnet-ipv6addr-perl all 1.02-1 [21.7 kB] Get:68 http://localhost:3142/debian unstable/main amd64 libnet-netmask-perl all 2.0003-1 [28.5 kB] Get:69 http://localhost:3142/debian unstable/main amd64 libnetaddr-ip-perl amd64 4.079+dfsg-2+b5 [98.1 kB] Get:70 http://localhost:3142/debian unstable/main amd64 libdata-validate-ip-perl all 0.31-1 [20.6 kB] Get:71 http://localhost:3142/debian unstable/main amd64 libdata-validate-uri-perl all 0.07-3 [11.0 kB] Get:72 http://localhost:3142/debian unstable/main amd64 libdevel-size-perl amd64 0.85-1 [24.0 kB] Get:73 http://localhost:3142/debian unstable/main amd64 libemail-address-xs-perl amd64 1.05-1+b4 [29.4 kB] Get:74 http://localhost:3142/debian unstable/main amd64 libencode-locale-perl all 1.05-3 [12.9 kB] Get:75 http://localhost:3142/debian unstable/main amd64 libipc-system-simple-perl all 1.30-2 [26.8 kB] Get:76 http://localhost:3142/debian unstable/main amd64 libfile-basedir-perl all 0.09-2 [15.1 kB] Get:77 http://localhost:3142/debian unstable/main amd64 libnumber-compare-perl all 0.03-3 [6332 B] Get:78 http://localhost:3142/debian unstable/main amd64 libtext-glob-perl all 0.11-3 [7676 B] Get:79 http://localhost:3142/debian unstable/main amd64 libfile-find-rule-perl all 0.35-1 [25.9 kB] Get:80 http://localhost:3142/debian unstable/main amd64 libfile-libmagic-perl amd64 1.23-2+b2 [31.1 kB] Get:81 http://localhost:3142/debian unstable/main amd64 libtimedate-perl all 2.3300-2 [39.3 kB] Get:82 http://localhost:3142/debian unstable/main amd64 libhttp-date-perl all 6.06-1 [10.7 kB] Get:83 http://localhost:3142/debian unstable/main amd64 libfile-listing-perl all 6.16-1 [12.4 kB] Get:84 http://localhost:3142/debian unstable/main amd64 libfile-sharedir-perl all 1.118-3 [16.0 kB] Get:85 http://localhost:3142/debian unstable/main amd64 libio-string-perl all 1.08-4 [12.1 kB] Get:86 http://localhost:3142/debian unstable/main amd64 libfont-ttf-perl all 1.06-2 [318 kB] Get:87 http://localhost:3142/debian unstable/main amd64 libio-html-perl all 1.004-3 [16.2 kB] Get:88 http://localhost:3142/debian unstable/main amd64 liblwp-mediatypes-perl all 6.04-2 [20.2 kB] Get:89 http://localhost:3142/debian unstable/main amd64 libhttp-message-perl all 7.01-1 [80.0 kB] Get:90 http://localhost:3142/debian unstable/main amd64 libhtml-form-perl all 6.13-1 [32.6 kB] Get:91 http://localhost:3142/debian unstable/main amd64 libhtml-html5-entities-perl all 0.004-3 [21.0 kB] Get:92 http://localhost:3142/debian unstable/main amd64 libhtml-tree-perl all 5.07-3 [211 kB] Get:93 http://localhost:3142/debian unstable/main amd64 libhttp-cookies-perl all 6.11-1 [19.1 kB] Get:94 http://localhost:3142/debian unstable/main amd64 libhttp-negotiate-perl all 6.01-2 [13.1 kB] Get:95 http://localhost:3142/debian unstable/main amd64 perl-openssl-defaults amd64 7+b2 [6724 B] Get:96 http://localhost:3142/debian unstable/main amd64 libnet-ssleay-perl amd64 1.94-3+b1 [342 kB] Get:97 http://localhost:3142/debian unstable/main amd64 libio-socket-ssl-perl all 2.098-1 [229 kB] Get:98 http://localhost:3142/debian unstable/main amd64 libnet-http-perl all 6.24-1 [23.2 kB] Get:99 http://localhost:3142/debian unstable/main amd64 liblwp-protocol-https-perl all 6.14-1 [10.8 kB] Get:100 http://localhost:3142/debian unstable/main amd64 libwww-robotrules-perl all 6.02-1 [12.9 kB] Get:101 http://localhost:3142/debian unstable/main amd64 libwww-perl all 6.81-1 [186 kB] Get:102 http://localhost:3142/debian unstable/main amd64 libhtml-tokeparser-simple-perl all 3.16-4 [39.1 kB] Get:103 http://localhost:3142/debian unstable/main amd64 libimport-into-perl all 1.002005-2 [11.3 kB] Get:104 http://localhost:3142/debian unstable/main amd64 libio-interactive-perl all 1.027-1 [11.8 kB] Get:105 http://localhost:3142/debian unstable/main amd64 libipc-run3-perl all 0.049-1 [31.5 kB] Get:106 http://localhost:3142/debian unstable/main amd64 libjson-maybexs-perl all 1.004008-1 [12.9 kB] Get:107 http://localhost:3142/debian unstable/main amd64 liblist-compare-perl all 0.55-2 [65.7 kB] Get:108 http://localhost:3142/debian unstable/main amd64 liblist-someutils-perl all 0.59-1 [37.1 kB] Get:109 http://localhost:3142/debian unstable/main amd64 liblist-utilsby-perl all 0.12-2 [15.5 kB] Get:110 http://localhost:3142/debian unstable/main amd64 liblz1 amd64 1.16~rc1-1 [39.7 kB] Get:111 http://localhost:3142/debian unstable/main amd64 liblzo2-2 amd64 2.10-3+b2 [57.4 kB] Get:112 http://localhost:3142/debian unstable/main amd64 libmarkdown2 amd64 2.2.7-2.1+b1 [36.5 kB] Get:113 http://localhost:3142/debian unstable/main amd64 libmldbm-perl all 2.05-4 [16.8 kB] Get:114 http://localhost:3142/debian unstable/main amd64 librole-tiny-perl all 2.002004-1 [21.4 kB] Get:115 http://localhost:3142/debian unstable/main amd64 libsub-quote-perl all 2.006009-1 [21.3 kB] Get:116 http://localhost:3142/debian unstable/main amd64 libmoo-perl all 2.005005-1 [58.0 kB] Get:117 http://localhost:3142/debian unstable/main amd64 libstrictures-perl all 2.000006-1 [18.6 kB] Get:118 http://localhost:3142/debian unstable/main amd64 libmoox-aliases-perl all 0.001006-2 [7156 B] Get:119 http://localhost:3142/debian unstable/main amd64 libmouse-perl amd64 2.6.1-1 [143 kB] Get:120 http://localhost:3142/debian unstable/main amd64 libpackage-stash-perl all 0.40-1 [22.0 kB] Get:121 http://localhost:3142/debian unstable/main amd64 libsub-identify-perl amd64 0.14-4 [11.0 kB] Get:122 http://localhost:3142/debian unstable/main amd64 libsub-name-perl amd64 0.28-1+b1 [12.5 kB] Get:123 http://localhost:3142/debian unstable/main amd64 libnamespace-clean-perl all 0.27-2 [17.8 kB] Get:124 http://localhost:3142/debian unstable/main amd64 libpath-tiny-perl all 0.148-1 [56.7 kB] Get:125 http://localhost:3142/debian unstable/main amd64 libperlio-gzip-perl amd64 0.20-1+b4 [17.5 kB] Get:126 http://localhost:3142/debian unstable/main amd64 libperlio-utf8-strict-perl amd64 0.010-1+b3 [11.4 kB] Get:127 http://localhost:3142/debian unstable/main amd64 libproc-processtable-perl amd64 0.637-1+b1 [42.3 kB] Get:128 http://localhost:3142/debian unstable/main amd64 libregexp-wildcards-perl all 1.05-3 [14.1 kB] Get:129 http://localhost:3142/debian unstable/main amd64 libsereal-decoder-perl amd64 5.004+ds-1+b3 [100 kB] Get:130 http://localhost:3142/debian unstable/main amd64 libsereal-encoder-perl amd64 5.004+ds-1+b3 [104 kB] Get:131 http://localhost:3142/debian unstable/main amd64 libsort-versions-perl all 1.62-3 [8928 B] Get:132 http://localhost:3142/debian unstable/main amd64 libxs-parse-keyword-perl amd64 0.49-1 [66.1 kB] Get:133 http://localhost:3142/debian unstable/main amd64 libsyntax-keyword-try-perl amd64 0.31-1 [27.4 kB] Get:134 http://localhost:3142/debian unstable/main amd64 libterm-readkey-perl amd64 2.38-2+b4 [24.6 kB] Get:135 http://localhost:3142/debian unstable/main amd64 libtext-levenshteinxs-perl amd64 0.03-5+b4 [8720 B] Get:136 http://localhost:3142/debian unstable/main amd64 libtext-markdown-discount-perl amd64 0.18-1 [13.1 kB] Get:137 http://localhost:3142/debian unstable/main amd64 libtext-xslate-perl amd64 3.5.9-2+b2 [174 kB] Get:138 http://localhost:3142/debian unstable/main amd64 libtime-duration-perl all 1.21-2 [13.1 kB] Get:139 http://localhost:3142/debian unstable/main amd64 libtime-moment-perl amd64 0.46-1 [78.2 kB] Get:140 http://localhost:3142/debian unstable/main amd64 libunicode-utf8-perl amd64 0.63-1 [20.4 kB] Get:141 http://localhost:3142/debian unstable/main amd64 libwww-mechanize-perl all 2.20-1 [117 kB] Get:142 http://localhost:3142/debian unstable/main amd64 libxml-namespacesupport-perl all 1.12-2 [15.1 kB] Get:143 http://localhost:3142/debian unstable/main amd64 libxml-sax-base-perl all 1.09-3 [20.6 kB] Get:144 http://localhost:3142/debian unstable/main amd64 libxml-sax-perl all 1.02+dfsg-4 [53.4 kB] Get:145 http://localhost:3142/debian unstable/main amd64 libxml-libxml-perl amd64 2.0207+dfsg+really+2.0134-7 [314 kB] Get:146 http://localhost:3142/debian unstable/main amd64 libyaml-0-2 amd64 0.2.5-2+b1 [53.8 kB] Get:147 http://localhost:3142/debian unstable/main amd64 libyaml-libyaml-perl amd64 0.904.0+ds-1 [46.9 kB] Get:148 http://localhost:3142/debian unstable/main amd64 plzip amd64 1.13~rc1-1 [66.8 kB] Get:149 http://localhost:3142/debian unstable/main amd64 lzop amd64 1.04-2 [84.2 kB] Get:150 http://localhost:3142/debian unstable/main amd64 patchutils amd64 0.4.3-1 [79.1 kB] Get:151 http://localhost:3142/debian unstable/main amd64 t1utils amd64 1.41-4 [62.1 kB] Get:152 http://localhost:3142/debian unstable/main amd64 unzip amd64 6.0-29 [173 kB] Get:153 http://localhost:3142/debian unstable/main amd64 lintian all 2.128.1 [1067 kB] Preconfiguring packages ... Fetched 19.3 MB in 0s (127 MB/s) Selecting previously unselected package netbase. (Reading database ... 23170 files and directories currently installed.) Preparing to unpack .../000-netbase_6.5_all.deb ... Unpacking netbase (6.5) ... Selecting previously unselected package readline-common. Preparing to unpack .../001-readline-common_8.3-3_all.deb ... Unpacking readline-common (8.3-3) ... Selecting previously unselected package openssl. Preparing to unpack .../002-openssl_3.5.5-1_amd64.deb ... Unpacking openssl (3.5.5-1) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../003-ca-certificates_20250419_all.deb ... Unpacking ca-certificates (20250419) ... Selecting previously unselected package libtext-charwidth-perl:amd64. Preparing to unpack .../004-libtext-charwidth-perl_0.04-11+b5_amd64.deb ... Unpacking libtext-charwidth-perl:amd64 (0.04-11+b5) ... Selecting previously unselected package libtext-wrapi18n-perl. Preparing to unpack .../005-libtext-wrapi18n-perl_0.06-10_all.deb ... Unpacking libtext-wrapi18n-perl (0.06-10) ... Selecting previously unselected package ucf. Preparing to unpack .../006-ucf_3.0052_all.deb ... Moving old data out of the way Unpacking ucf (3.0052) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../007-libglib2.0-0t64_2.86.3-5_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.86.3-5) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../008-shared-mime-info_2.4-5+b3_amd64.deb ... Unpacking shared-mime-info (2.4-5+b3) ... Selecting previously unselected package libngtcp2-crypto-gnutls8:amd64. Preparing to unpack .../009-libngtcp2-crypto-gnutls8_1.16.0-1_amd64.deb ... Unpacking libngtcp2-crypto-gnutls8:amd64 (1.16.0-1) ... Selecting previously unselected package libcurl3t64-gnutls:amd64. Preparing to unpack .../010-libcurl3t64-gnutls_8.18.0-2_amd64.deb ... Unpacking libcurl3t64-gnutls:amd64 (8.18.0-2) ... Selecting previously unselected package libfyaml0:amd64. Preparing to unpack .../011-libfyaml0_0.9.3-1_amd64.deb ... Unpacking libfyaml0:amd64 (0.9.3-1) ... Selecting previously unselected package libstemmer0d:amd64. Preparing to unpack .../012-libstemmer0d_3.0.1-1+b1_amd64.deb ... Unpacking libstemmer0d:amd64 (3.0.1-1+b1) ... Selecting previously unselected package libxmlb2:amd64. Preparing to unpack .../013-libxmlb2_0.3.24-2_amd64.deb ... Unpacking libxmlb2:amd64 (0.3.24-2) ... Selecting previously unselected package libappstream5:amd64. Preparing to unpack .../014-libappstream5_1.1.2-1_amd64.deb ... Unpacking libappstream5:amd64 (1.1.2-1) ... Selecting previously unselected package appstream. Preparing to unpack .../015-appstream_1.1.2-1_amd64.deb ... Unpacking appstream (1.1.2-1) ... Selecting previously unselected package diffstat. Preparing to unpack .../016-diffstat_1.68-1_amd64.deb ... Unpacking diffstat (1.68-1) ... Selecting previously unselected package libgpg-error0:amd64. Preparing to unpack .../017-libgpg-error0_1.58-2_amd64.deb ... Unpacking libgpg-error0:amd64 (1.58-2) ... Selecting previously unselected package libassuan9:amd64. Preparing to unpack .../018-libassuan9_3.0.2-2+b1_amd64.deb ... Unpacking libassuan9:amd64 (3.0.2-2+b1) ... Selecting previously unselected package libgcrypt20:amd64. Preparing to unpack .../019-libgcrypt20_1.11.2-3+b1_amd64.deb ... Unpacking libgcrypt20:amd64 (1.11.2-3+b1) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../020-libreadline8t64_8.3-3+b1_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.3-3+b1) ... Selecting previously unselected package gpgconf. Preparing to unpack .../021-gpgconf_2.4.8-5_amd64.deb ... Unpacking gpgconf (2.4.8-5) ... Selecting previously unselected package libksba8:amd64. Preparing to unpack .../022-libksba8_1.6.7-2+b2_amd64.deb ... Unpacking libksba8:amd64 (1.6.7-2+b2) ... Selecting previously unselected package libnpth0t64:amd64. Preparing to unpack .../023-libnpth0t64_1.8-3+b1_amd64.deb ... Unpacking libnpth0t64:amd64 (1.8-3+b1) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../024-libsqlite3-0_3.46.1-9_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.1-9) ... Selecting previously unselected package gpg. Preparing to unpack .../025-gpg_2.4.8-5_amd64.deb ... Unpacking gpg (2.4.8-5) ... Selecting previously unselected package iso-codes. Preparing to unpack .../026-iso-codes_4.20.1-1_all.deb ... Unpacking iso-codes (4.20.1-1) ... Selecting previously unselected package libaliased-perl. Preparing to unpack .../027-libaliased-perl_0.34-3_all.deb ... Unpacking libaliased-perl (0.34-3) ... Selecting previously unselected package libapt-pkg-perl. Preparing to unpack .../028-libapt-pkg-perl_0.1.43_amd64.deb ... Unpacking libapt-pkg-perl (0.1.43) ... Selecting previously unselected package libb-hooks-op-check-perl:amd64. Preparing to unpack .../029-libb-hooks-op-check-perl_0.22-3+b3_amd64.deb ... Unpacking libb-hooks-op-check-perl:amd64 (0.22-3+b3) ... Selecting previously unselected package libdynaloader-functions-perl. Preparing to unpack .../030-libdynaloader-functions-perl_0.004-2_all.deb ... Unpacking libdynaloader-functions-perl (0.004-2) ... Selecting previously unselected package libdevel-callchecker-perl:amd64. Preparing to unpack .../031-libdevel-callchecker-perl_0.009-2+b1_amd64.deb ... Unpacking libdevel-callchecker-perl:amd64 (0.009-2+b1) ... Selecting previously unselected package libparams-classify-perl:amd64. Preparing to unpack .../032-libparams-classify-perl_0.015-2+b5_amd64.deb ... Unpacking libparams-classify-perl:amd64 (0.015-2+b5) ... Selecting previously unselected package libmodule-runtime-perl. Preparing to unpack .../033-libmodule-runtime-perl_0.018-1_all.deb ... Unpacking libmodule-runtime-perl (0.018-1) ... Selecting previously unselected package libtry-tiny-perl. Preparing to unpack .../034-libtry-tiny-perl_0.32-1_all.deb ... Unpacking libtry-tiny-perl (0.32-1) ... Selecting previously unselected package libmodule-implementation-perl. Preparing to unpack .../035-libmodule-implementation-perl_0.09-2_all.deb ... Unpacking libmodule-implementation-perl (0.09-2) ... Selecting previously unselected package libsub-exporter-progressive-perl. Preparing to unpack .../036-libsub-exporter-progressive-perl_0.001013-3_all.deb ... Unpacking libsub-exporter-progressive-perl (0.001013-3) ... Selecting previously unselected package libvariable-magic-perl. Preparing to unpack .../037-libvariable-magic-perl_0.64-1+b1_amd64.deb ... Unpacking libvariable-magic-perl (0.64-1+b1) ... Selecting previously unselected package libb-hooks-endofscope-perl. Preparing to unpack .../038-libb-hooks-endofscope-perl_0.28-2_all.deb ... Unpacking libb-hooks-endofscope-perl (0.28-2) ... Selecting previously unselected package libberkeleydb-perl:amd64. Preparing to unpack .../039-libberkeleydb-perl_0.66-2_amd64.deb ... Unpacking libberkeleydb-perl:amd64 (0.66-2) ... Selecting previously unselected package libcapture-tiny-perl. Preparing to unpack .../040-libcapture-tiny-perl_0.50-1_all.deb ... Unpacking libcapture-tiny-perl (0.50-1) ... Selecting previously unselected package libhtml-tagset-perl. Preparing to unpack .../041-libhtml-tagset-perl_3.24-1_all.deb ... Unpacking libhtml-tagset-perl (3.24-1) ... Selecting previously unselected package liburi-perl. Preparing to unpack .../042-liburi-perl_5.34-2_all.deb ... Unpacking liburi-perl (5.34-2) ... Selecting previously unselected package libhtml-parser-perl:amd64. Preparing to unpack .../043-libhtml-parser-perl_3.83-1+b3_amd64.deb ... Unpacking libhtml-parser-perl:amd64 (3.83-1+b3) ... Selecting previously unselected package libcgi-pm-perl. Preparing to unpack .../044-libcgi-pm-perl_4.71-1_all.deb ... Unpacking libcgi-pm-perl (4.71-1) ... Selecting previously unselected package libclass-data-inheritable-perl. Preparing to unpack .../045-libclass-data-inheritable-perl_0.10-1_all.deb ... Unpacking libclass-data-inheritable-perl (0.10-1) ... Selecting previously unselected package libclass-inspector-perl. Preparing to unpack .../046-libclass-inspector-perl_1.36-3_all.deb ... Unpacking libclass-inspector-perl (1.36-3) ... Selecting previously unselected package libclass-method-modifiers-perl. Preparing to unpack .../047-libclass-method-modifiers-perl_2.15-1_all.deb ... Unpacking libclass-method-modifiers-perl (2.15-1) ... Selecting previously unselected package libclass-xsaccessor-perl. Preparing to unpack .../048-libclass-xsaccessor-perl_1.19-4+b5_amd64.deb ... Unpacking libclass-xsaccessor-perl (1.19-4+b5) ... Selecting previously unselected package libclone-perl:amd64. Preparing to unpack .../049-libclone-perl_0.47-1+b2_amd64.deb ... Unpacking libclone-perl:amd64 (0.47-1+b2) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../050-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package libparams-util-perl. Preparing to unpack .../051-libparams-util-perl_1.102-3+b1_amd64.deb ... Unpacking libparams-util-perl (1.102-3+b1) ... Selecting previously unselected package libsub-install-perl. Preparing to unpack .../052-libsub-install-perl_0.929-1_all.deb ... Unpacking libsub-install-perl (0.929-1) ... Selecting previously unselected package libdata-optlist-perl. Preparing to unpack .../053-libdata-optlist-perl_0.114-1_all.deb ... Unpacking libdata-optlist-perl (0.114-1) ... Selecting previously unselected package libsub-exporter-perl. Preparing to unpack .../054-libsub-exporter-perl_0.990-1_all.deb ... Unpacking libsub-exporter-perl (0.990-1) ... Selecting previously unselected package libconst-fast-perl. Preparing to unpack .../055-libconst-fast-perl_0.014-2_all.deb ... Unpacking libconst-fast-perl (0.014-2) ... Selecting previously unselected package libcpanel-json-xs-perl:amd64. Preparing to unpack .../056-libcpanel-json-xs-perl_4.40-1_amd64.deb ... Unpacking libcpanel-json-xs-perl:amd64 (4.40-1) ... Selecting previously unselected package libdevel-stacktrace-perl. Preparing to unpack .../057-libdevel-stacktrace-perl_2.0500-1_all.deb ... Unpacking libdevel-stacktrace-perl (2.0500-1) ... Selecting previously unselected package libexception-class-perl. Preparing to unpack .../058-libexception-class-perl_1.45-1_all.deb ... Unpacking libexception-class-perl (1.45-1) ... Selecting previously unselected package libiterator-perl. Preparing to unpack .../059-libiterator-perl_0.03+ds1-2_all.deb ... Unpacking libiterator-perl (0.03+ds1-2) ... Selecting previously unselected package libiterator-util-perl. Preparing to unpack .../060-libiterator-util-perl_0.02+ds1-2_all.deb ... Unpacking libiterator-util-perl (0.02+ds1-2) ... Selecting previously unselected package libdata-dpath-perl. Preparing to unpack .../061-libdata-dpath-perl_0.60-1_all.deb ... Unpacking libdata-dpath-perl (0.60-1) ... Selecting previously unselected package libdata-messagepack-perl. Preparing to unpack .../062-libdata-messagepack-perl_1.02-3_amd64.deb ... Unpacking libdata-messagepack-perl (1.02-3) ... Selecting previously unselected package libnet-domain-tld-perl. Preparing to unpack .../063-libnet-domain-tld-perl_1.75-4_all.deb ... Unpacking libnet-domain-tld-perl (1.75-4) ... Selecting previously unselected package libdata-validate-domain-perl. Preparing to unpack .../064-libdata-validate-domain-perl_0.15-1_all.deb ... Unpacking libdata-validate-domain-perl (0.15-1) ... Selecting previously unselected package libnet-ipv6addr-perl. Preparing to unpack .../065-libnet-ipv6addr-perl_1.02-1_all.deb ... Unpacking libnet-ipv6addr-perl (1.02-1) ... Selecting previously unselected package libnet-netmask-perl. Preparing to unpack .../066-libnet-netmask-perl_2.0003-1_all.deb ... Unpacking libnet-netmask-perl (2.0003-1) ... Selecting previously unselected package libnetaddr-ip-perl. Preparing to unpack .../067-libnetaddr-ip-perl_4.079+dfsg-2+b5_amd64.deb ... Unpacking libnetaddr-ip-perl (4.079+dfsg-2+b5) ... Selecting previously unselected package libdata-validate-ip-perl. Preparing to unpack .../068-libdata-validate-ip-perl_0.31-1_all.deb ... Unpacking libdata-validate-ip-perl (0.31-1) ... Selecting previously unselected package libdata-validate-uri-perl. Preparing to unpack .../069-libdata-validate-uri-perl_0.07-3_all.deb ... Unpacking libdata-validate-uri-perl (0.07-3) ... Selecting previously unselected package libdevel-size-perl. Preparing to unpack .../070-libdevel-size-perl_0.85-1_amd64.deb ... Unpacking libdevel-size-perl (0.85-1) ... Selecting previously unselected package libemail-address-xs-perl. Preparing to unpack .../071-libemail-address-xs-perl_1.05-1+b4_amd64.deb ... Unpacking libemail-address-xs-perl (1.05-1+b4) ... Selecting previously unselected package libencode-locale-perl. Preparing to unpack .../072-libencode-locale-perl_1.05-3_all.deb ... Unpacking libencode-locale-perl (1.05-3) ... Selecting previously unselected package libipc-system-simple-perl. Preparing to unpack .../073-libipc-system-simple-perl_1.30-2_all.deb ... Unpacking libipc-system-simple-perl (1.30-2) ... Selecting previously unselected package libfile-basedir-perl. Preparing to unpack .../074-libfile-basedir-perl_0.09-2_all.deb ... Unpacking libfile-basedir-perl (0.09-2) ... Selecting previously unselected package libnumber-compare-perl. Preparing to unpack .../075-libnumber-compare-perl_0.03-3_all.deb ... Unpacking libnumber-compare-perl (0.03-3) ... Selecting previously unselected package libtext-glob-perl. Preparing to unpack .../076-libtext-glob-perl_0.11-3_all.deb ... Unpacking libtext-glob-perl (0.11-3) ... Selecting previously unselected package libfile-find-rule-perl. Preparing to unpack .../077-libfile-find-rule-perl_0.35-1_all.deb ... Unpacking libfile-find-rule-perl (0.35-1) ... Selecting previously unselected package libfile-libmagic-perl. Preparing to unpack .../078-libfile-libmagic-perl_1.23-2+b2_amd64.deb ... Unpacking libfile-libmagic-perl (1.23-2+b2) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../079-libtimedate-perl_2.3300-2_all.deb ... Unpacking libtimedate-perl (2.3300-2) ... Selecting previously unselected package libhttp-date-perl. Preparing to unpack .../080-libhttp-date-perl_6.06-1_all.deb ... Unpacking libhttp-date-perl (6.06-1) ... Selecting previously unselected package libfile-listing-perl. Preparing to unpack .../081-libfile-listing-perl_6.16-1_all.deb ... Unpacking libfile-listing-perl (6.16-1) ... Selecting previously unselected package libfile-sharedir-perl. Preparing to unpack .../082-libfile-sharedir-perl_1.118-3_all.deb ... Unpacking libfile-sharedir-perl (1.118-3) ... Selecting previously unselected package libio-string-perl. Preparing to unpack .../083-libio-string-perl_1.08-4_all.deb ... Unpacking libio-string-perl (1.08-4) ... Selecting previously unselected package libfont-ttf-perl. Preparing to unpack .../084-libfont-ttf-perl_1.06-2_all.deb ... Unpacking libfont-ttf-perl (1.06-2) ... Selecting previously unselected package libio-html-perl. Preparing to unpack .../085-libio-html-perl_1.004-3_all.deb ... Unpacking libio-html-perl (1.004-3) ... Selecting previously unselected package liblwp-mediatypes-perl. Preparing to unpack .../086-liblwp-mediatypes-perl_6.04-2_all.deb ... Unpacking liblwp-mediatypes-perl (6.04-2) ... Selecting previously unselected package libhttp-message-perl. Preparing to unpack .../087-libhttp-message-perl_7.01-1_all.deb ... Unpacking libhttp-message-perl (7.01-1) ... Selecting previously unselected package libhtml-form-perl. Preparing to unpack .../088-libhtml-form-perl_6.13-1_all.deb ... Unpacking libhtml-form-perl (6.13-1) ... Selecting previously unselected package libhtml-html5-entities-perl. Preparing to unpack .../089-libhtml-html5-entities-perl_0.004-3_all.deb ... Unpacking libhtml-html5-entities-perl (0.004-3) ... Selecting previously unselected package libhtml-tree-perl. Preparing to unpack .../090-libhtml-tree-perl_5.07-3_all.deb ... Unpacking libhtml-tree-perl (5.07-3) ... Selecting previously unselected package libhttp-cookies-perl. Preparing to unpack .../091-libhttp-cookies-perl_6.11-1_all.deb ... Unpacking libhttp-cookies-perl (6.11-1) ... Selecting previously unselected package libhttp-negotiate-perl. Preparing to unpack .../092-libhttp-negotiate-perl_6.01-2_all.deb ... Unpacking libhttp-negotiate-perl (6.01-2) ... Selecting previously unselected package perl-openssl-defaults:amd64. Preparing to unpack .../093-perl-openssl-defaults_7+b2_amd64.deb ... Unpacking perl-openssl-defaults:amd64 (7+b2) ... Selecting previously unselected package libnet-ssleay-perl:amd64. Preparing to unpack .../094-libnet-ssleay-perl_1.94-3+b1_amd64.deb ... Unpacking libnet-ssleay-perl:amd64 (1.94-3+b1) ... Selecting previously unselected package libio-socket-ssl-perl. Preparing to unpack .../095-libio-socket-ssl-perl_2.098-1_all.deb ... Unpacking libio-socket-ssl-perl (2.098-1) ... Selecting previously unselected package libnet-http-perl. Preparing to unpack .../096-libnet-http-perl_6.24-1_all.deb ... Unpacking libnet-http-perl (6.24-1) ... Selecting previously unselected package liblwp-protocol-https-perl. Preparing to unpack .../097-liblwp-protocol-https-perl_6.14-1_all.deb ... Unpacking liblwp-protocol-https-perl (6.14-1) ... Selecting previously unselected package libwww-robotrules-perl. Preparing to unpack .../098-libwww-robotrules-perl_6.02-1_all.deb ... Unpacking libwww-robotrules-perl (6.02-1) ... Selecting previously unselected package libwww-perl. Preparing to unpack .../099-libwww-perl_6.81-1_all.deb ... Unpacking libwww-perl (6.81-1) ... Selecting previously unselected package libhtml-tokeparser-simple-perl. Preparing to unpack .../100-libhtml-tokeparser-simple-perl_3.16-4_all.deb ... Unpacking libhtml-tokeparser-simple-perl (3.16-4) ... Selecting previously unselected package libimport-into-perl. Preparing to unpack .../101-libimport-into-perl_1.002005-2_all.deb ... Unpacking libimport-into-perl (1.002005-2) ... Selecting previously unselected package libio-interactive-perl. Preparing to unpack .../102-libio-interactive-perl_1.027-1_all.deb ... Unpacking libio-interactive-perl (1.027-1) ... Selecting previously unselected package libipc-run3-perl. Preparing to unpack .../103-libipc-run3-perl_0.049-1_all.deb ... Unpacking libipc-run3-perl (0.049-1) ... Selecting previously unselected package libjson-maybexs-perl. Preparing to unpack .../104-libjson-maybexs-perl_1.004008-1_all.deb ... Unpacking libjson-maybexs-perl (1.004008-1) ... Selecting previously unselected package liblist-compare-perl. Preparing to unpack .../105-liblist-compare-perl_0.55-2_all.deb ... Unpacking liblist-compare-perl (0.55-2) ... Selecting previously unselected package liblist-someutils-perl. Preparing to unpack .../106-liblist-someutils-perl_0.59-1_all.deb ... Unpacking liblist-someutils-perl (0.59-1) ... Selecting previously unselected package liblist-utilsby-perl. Preparing to unpack .../107-liblist-utilsby-perl_0.12-2_all.deb ... Unpacking liblist-utilsby-perl (0.12-2) ... Selecting previously unselected package liblz1:amd64. Preparing to unpack .../108-liblz1_1.16~rc1-1_amd64.deb ... Unpacking liblz1:amd64 (1.16~rc1-1) ... Selecting previously unselected package liblzo2-2:amd64. Preparing to unpack .../109-liblzo2-2_2.10-3+b2_amd64.deb ... Unpacking liblzo2-2:amd64 (2.10-3+b2) ... Selecting previously unselected package libmarkdown2:amd64. Preparing to unpack .../110-libmarkdown2_2.2.7-2.1+b1_amd64.deb ... Unpacking libmarkdown2:amd64 (2.2.7-2.1+b1) ... Selecting previously unselected package libmldbm-perl. Preparing to unpack .../111-libmldbm-perl_2.05-4_all.deb ... Unpacking libmldbm-perl (2.05-4) ... Selecting previously unselected package librole-tiny-perl. Preparing to unpack .../112-librole-tiny-perl_2.002004-1_all.deb ... Unpacking librole-tiny-perl (2.002004-1) ... Selecting previously unselected package libsub-quote-perl. Preparing to unpack .../113-libsub-quote-perl_2.006009-1_all.deb ... Unpacking libsub-quote-perl (2.006009-1) ... Selecting previously unselected package libmoo-perl. Preparing to unpack .../114-libmoo-perl_2.005005-1_all.deb ... Unpacking libmoo-perl (2.005005-1) ... Selecting previously unselected package libstrictures-perl. Preparing to unpack .../115-libstrictures-perl_2.000006-1_all.deb ... Unpacking libstrictures-perl (2.000006-1) ... Selecting previously unselected package libmoox-aliases-perl. Preparing to unpack .../116-libmoox-aliases-perl_0.001006-2_all.deb ... Unpacking libmoox-aliases-perl (0.001006-2) ... Selecting previously unselected package libmouse-perl:amd64. Preparing to unpack .../117-libmouse-perl_2.6.1-1_amd64.deb ... Unpacking libmouse-perl:amd64 (2.6.1-1) ... Selecting previously unselected package libpackage-stash-perl. Preparing to unpack .../118-libpackage-stash-perl_0.40-1_all.deb ... Unpacking libpackage-stash-perl (0.40-1) ... Selecting previously unselected package libsub-identify-perl. Preparing to unpack .../119-libsub-identify-perl_0.14-4_amd64.deb ... Unpacking libsub-identify-perl (0.14-4) ... Selecting previously unselected package libsub-name-perl:amd64. Preparing to unpack .../120-libsub-name-perl_0.28-1+b1_amd64.deb ... Unpacking libsub-name-perl:amd64 (0.28-1+b1) ... Selecting previously unselected package libnamespace-clean-perl. Preparing to unpack .../121-libnamespace-clean-perl_0.27-2_all.deb ... Unpacking libnamespace-clean-perl (0.27-2) ... Selecting previously unselected package libpath-tiny-perl. Preparing to unpack .../122-libpath-tiny-perl_0.148-1_all.deb ... Unpacking libpath-tiny-perl (0.148-1) ... Selecting previously unselected package libperlio-gzip-perl. Preparing to unpack .../123-libperlio-gzip-perl_0.20-1+b4_amd64.deb ... Unpacking libperlio-gzip-perl (0.20-1+b4) ... Selecting previously unselected package libperlio-utf8-strict-perl. Preparing to unpack .../124-libperlio-utf8-strict-perl_0.010-1+b3_amd64.deb ... Unpacking libperlio-utf8-strict-perl (0.010-1+b3) ... Selecting previously unselected package libproc-processtable-perl:amd64. Preparing to unpack .../125-libproc-processtable-perl_0.637-1+b1_amd64.deb ... Unpacking libproc-processtable-perl:amd64 (0.637-1+b1) ... Selecting previously unselected package libregexp-wildcards-perl. Preparing to unpack .../126-libregexp-wildcards-perl_1.05-3_all.deb ... Unpacking libregexp-wildcards-perl (1.05-3) ... Selecting previously unselected package libsereal-decoder-perl. Preparing to unpack .../127-libsereal-decoder-perl_5.004+ds-1+b3_amd64.deb ... Unpacking libsereal-decoder-perl (5.004+ds-1+b3) ... Selecting previously unselected package libsereal-encoder-perl. Preparing to unpack .../128-libsereal-encoder-perl_5.004+ds-1+b3_amd64.deb ... Unpacking libsereal-encoder-perl (5.004+ds-1+b3) ... Selecting previously unselected package libsort-versions-perl. Preparing to unpack .../129-libsort-versions-perl_1.62-3_all.deb ... Unpacking libsort-versions-perl (1.62-3) ... Selecting previously unselected package libxs-parse-keyword-perl. Preparing to unpack .../130-libxs-parse-keyword-perl_0.49-1_amd64.deb ... Unpacking libxs-parse-keyword-perl (0.49-1) ... Selecting previously unselected package libsyntax-keyword-try-perl. Preparing to unpack .../131-libsyntax-keyword-try-perl_0.31-1_amd64.deb ... Unpacking libsyntax-keyword-try-perl (0.31-1) ... Selecting previously unselected package libterm-readkey-perl. Preparing to unpack .../132-libterm-readkey-perl_2.38-2+b4_amd64.deb ... Unpacking libterm-readkey-perl (2.38-2+b4) ... Selecting previously unselected package libtext-levenshteinxs-perl. Preparing to unpack .../133-libtext-levenshteinxs-perl_0.03-5+b4_amd64.deb ... Unpacking libtext-levenshteinxs-perl (0.03-5+b4) ... Selecting previously unselected package libtext-markdown-discount-perl. Preparing to unpack .../134-libtext-markdown-discount-perl_0.18-1_amd64.deb ... Unpacking libtext-markdown-discount-perl (0.18-1) ... Selecting previously unselected package libtext-xslate-perl:amd64. Preparing to unpack .../135-libtext-xslate-perl_3.5.9-2+b2_amd64.deb ... Unpacking libtext-xslate-perl:amd64 (3.5.9-2+b2) ... Selecting previously unselected package libtime-duration-perl. Preparing to unpack .../136-libtime-duration-perl_1.21-2_all.deb ... Unpacking libtime-duration-perl (1.21-2) ... Selecting previously unselected package libtime-moment-perl. Preparing to unpack .../137-libtime-moment-perl_0.46-1_amd64.deb ... Unpacking libtime-moment-perl (0.46-1) ... Selecting previously unselected package libunicode-utf8-perl. Preparing to unpack .../138-libunicode-utf8-perl_0.63-1_amd64.deb ... Unpacking libunicode-utf8-perl (0.63-1) ... Selecting previously unselected package libwww-mechanize-perl. Preparing to unpack .../139-libwww-mechanize-perl_2.20-1_all.deb ... Unpacking libwww-mechanize-perl (2.20-1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../140-libxml-namespacesupport-perl_1.12-2_all.deb ... Unpacking libxml-namespacesupport-perl (1.12-2) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../141-libxml-sax-base-perl_1.09-3_all.deb ... Unpacking libxml-sax-base-perl (1.09-3) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../142-libxml-sax-perl_1.02+dfsg-4_all.deb ... Unpacking libxml-sax-perl (1.02+dfsg-4) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../143-libxml-libxml-perl_2.0207+dfsg+really+2.0134-7_amd64.deb ... Unpacking libxml-libxml-perl (2.0207+dfsg+really+2.0134-7) ... Selecting previously unselected package libyaml-0-2:amd64. Preparing to unpack .../144-libyaml-0-2_0.2.5-2+b1_amd64.deb ... Unpacking libyaml-0-2:amd64 (0.2.5-2+b1) ... Selecting previously unselected package libyaml-libyaml-perl. Preparing to unpack .../145-libyaml-libyaml-perl_0.904.0+ds-1_amd64.deb ... Unpacking libyaml-libyaml-perl (0.904.0+ds-1) ... Selecting previously unselected package plzip. Preparing to unpack .../146-plzip_1.13~rc1-1_amd64.deb ... Unpacking plzip (1.13~rc1-1) ... Selecting previously unselected package lzop. Preparing to unpack .../147-lzop_1.04-2_amd64.deb ... Unpacking lzop (1.04-2) ... Selecting previously unselected package patchutils. Preparing to unpack .../148-patchutils_0.4.3-1_amd64.deb ... Unpacking patchutils (0.4.3-1) ... Selecting previously unselected package t1utils. Preparing to unpack .../149-t1utils_1.41-4_amd64.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package unzip. Preparing to unpack .../150-unzip_6.0-29_amd64.deb ... Unpacking unzip (6.0-29) ... Selecting previously unselected package lintian. Preparing to unpack .../151-lintian_2.128.1_all.deb ... Unpacking lintian (2.128.1) ... Selecting previously unselected package sbuild-build-depends-lintian-dummy:armhf. Preparing to unpack .../152-sbuild-build-depends-lintian-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-lintian-dummy:armhf (0.invalid.0) ... Setting up libapt-pkg-perl (0.1.43) ... Setting up liblz1:amd64 (1.16~rc1-1) ... Setting up libberkeleydb-perl:amd64 (0.66-2) ... Setting up plzip (1.13~rc1-1) ... update-alternatives: using /usr/bin/lzip.plzip to provide /usr/bin/lzip (lzip) in auto mode update-alternatives: using /usr/bin/lzip.plzip to provide /usr/bin/lzip-compressor (lzip-compressor) in auto mode update-alternatives: using /usr/bin/lzip.plzip to provide /usr/bin/lzip-decompressor (lzip-decompressor) in auto mode Setting up libtext-charwidth-perl:amd64 (0.04-11+b5) ... Setting up libnpth0t64:amd64 (1.8-3+b1) ... Setting up libunicode-utf8-perl (0.63-1) ... Setting up libmouse-perl:amd64 (2.6.1-1) ... Setting up libgpg-error0:amd64 (1.58-2) ... Setting up libdata-messagepack-perl (1.02-3) ... Setting up libclass-inspector-perl (1.36-3) ... Setting up libdynaloader-functions-perl (0.004-2) ... Setting up libtext-glob-perl (0.11-3) ... Setting up libclass-method-modifiers-perl (2.15-1) ... Setting up liblist-compare-perl (0.55-2) ... Setting up libclone-perl:amd64 (0.47-1+b2) ... Setting up libyaml-0-2:amd64 (0.2.5-2+b1) ... Setting up libsub-identify-perl (0.14-4) ... Setting up libcpanel-json-xs-perl:amd64 (4.40-1) ... Setting up libhtml-tagset-perl (3.24-1) ... Setting up libdevel-size-perl (0.85-1) ... Setting up unzip (6.0-29) ... Setting up libsqlite3-0:amd64 (3.46.1-9) ... Setting up liblwp-mediatypes-perl (6.04-2) ... Setting up libyaml-libyaml-perl (0.904.0+ds-1) ... Setting up libio-interactive-perl (1.027-1) ... Setting up libtry-tiny-perl (0.32-1) ... Setting up perl-openssl-defaults:amd64 (7+b2) ... Setting up libmldbm-perl (2.05-4) ... Setting up libxml-namespacesupport-perl (1.12-2) ... Setting up libgcrypt20:amd64 (1.11.2-3+b1) ... Setting up liblzo2-2:amd64 (2.10-3+b2) ... Setting up libtime-moment-perl (0.46-1) ... Setting up libencode-locale-perl (1.05-3) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libsereal-encoder-perl (5.004+ds-1+b3) ... Setting up liblist-utilsby-perl (0.12-2) ... Setting up libtext-wrapi18n-perl (0.06-10) ... Setting up libnet-netmask-perl (2.0003-1) ... Setting up libsub-install-perl (0.929-1) ... Setting up libfyaml0:amd64 (0.9.3-1) ... Setting up libnumber-compare-perl (0.03-3) ... Setting up patchutils (0.4.3-1) ... Setting up libjson-maybexs-perl (1.004008-1) ... Setting up libxml-sax-base-perl (1.09-3) ... Setting up libio-string-perl (1.08-4) ... Setting up libnetaddr-ip-perl (4.079+dfsg-2+b5) ... Setting up libglib2.0-0t64:amd64 (2.86.3-5) ... No schema files found: doing nothing. Setting up libclass-data-inheritable-perl (0.10-1) ... Setting up libfile-find-rule-perl (0.35-1) ... Setting up libipc-system-simple-perl (1.30-2) ... Setting up libnet-domain-tld-perl (1.75-4) ... Setting up libperlio-utf8-strict-perl (0.010-1+b3) ... Setting up t1utils (1.41-4) ... Setting up shared-mime-info (2.4-5+b3) ... Setting up diffstat (1.68-1) ... Setting up libvariable-magic-perl (0.64-1+b1) ... Setting up libio-html-perl (1.004-3) ... Setting up libb-hooks-op-check-perl:amd64 (0.22-3+b3) ... Setting up libfile-libmagic-perl (1.23-2+b2) ... Setting up ucf (3.0052) ... Setting up libparams-util-perl (1.102-3+b1) ... Setting up libtime-duration-perl (1.21-2) ... Setting up libtext-xslate-perl:amd64 (3.5.9-2+b2) ... Setting up libsub-exporter-progressive-perl (0.001013-3) ... Setting up libcapture-tiny-perl (0.50-1) ... Setting up libtimedate-perl (2.3300-2) ... Setting up libsub-name-perl:amd64 (0.28-1+b1) ... Setting up libdata-validate-domain-perl (0.15-1) ... Setting up libproc-processtable-perl:amd64 (0.637-1+b1) ... Setting up libpath-tiny-perl (0.148-1) ... Setting up lzop (1.04-2) ... Setting up libassuan9:amd64 (3.0.2-2+b1) ... Setting up librole-tiny-perl (2.002004-1) ... Setting up libipc-run3-perl (0.049-1) ... Setting up libregexp-wildcards-perl (1.05-3) ... Setting up libfile-sharedir-perl (1.118-3) ... Setting up libaliased-perl (0.34-3) ... Setting up netbase (6.5) ... Setting up libstrictures-perl (2.000006-1) ... Setting up libsub-quote-perl (2.006009-1) ... Setting up libdevel-stacktrace-perl (2.0500-1) ... Setting up libclass-xsaccessor-perl (1.19-4+b5) ... Setting up libstemmer0d:amd64 (3.0.1-1+b1) ... Setting up libsort-versions-perl (1.62-3) ... Setting up libterm-readkey-perl (2.38-2+b4) ... Setting up libfont-ttf-perl (1.06-2) ... Setting up openssl (3.5.5-1) ... Setting up libtext-levenshteinxs-perl (0.03-5+b4) ... Setting up libperlio-gzip-perl (0.20-1+b4) ... Setting up readline-common (8.3-3) ... Setting up libhtml-html5-entities-perl (0.004-3) ... Setting up libsereal-decoder-perl (5.004+ds-1+b3) ... Setting up libmarkdown2:amd64 (2.2.7-2.1+b1) ... Setting up liburi-perl (5.34-2) ... Setting up iso-codes (4.20.1-1) ... Setting up libnet-ipv6addr-perl (1.02-1) ... Setting up libngtcp2-crypto-gnutls8:amd64 (1.16.0-1) ... Setting up libdata-validate-ip-perl (0.31-1) ... Setting up libemail-address-xs-perl (1.05-1+b4) ... Setting up libnet-ssleay-perl:amd64 (1.94-3+b1) ... Setting up libksba8:amd64 (1.6.7-2+b2) ... Setting up libhttp-date-perl (6.06-1) ... Setting up libfile-basedir-perl (0.09-2) ... Setting up libfile-listing-perl (6.16-1) ... Setting up libxmlb2:amd64 (0.3.24-2) ... Setting up libcurl3t64-gnutls:amd64 (8.18.0-2) ... Setting up libnet-http-perl (6.24-1) ... Setting up libtext-markdown-discount-perl (0.18-1) ... Setting up libappstream5:amd64 (1.1.2-1) ... Setting up libexception-class-perl (1.45-1) ... Setting up libdevel-callchecker-perl:amd64 (0.009-2+b1) ... Setting up libxml-sax-perl (1.02+dfsg-4) ... update-perl-sax-parsers: Registering Perl SAX parser XML::SAX::PurePerl with priority 10... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Creating config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up ca-certificates (20250419) ... Updating certificates in /etc/ssl/certs... 150 added, 0 removed; done. Setting up libdata-validate-uri-perl (0.07-3) ... Setting up libxs-parse-keyword-perl (0.49-1) ... Setting up appstream (1.1.2-1) ... ✔ Metadata cache was updated successfully. Setting up libdata-optlist-perl (0.114-1) ... Setting up libreadline8t64:amd64 (8.3-3+b1) ... Setting up libxml-libxml-perl (2.0207+dfsg+really+2.0134-7) ... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX::Parser with priority 50... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX with priority 50... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Setting up libwww-robotrules-perl (6.02-1) ... Setting up libsyntax-keyword-try-perl (0.31-1) ... Setting up libhtml-parser-perl:amd64 (3.83-1+b3) ... Setting up gpgconf (2.4.8-5) ... Setting up libio-socket-ssl-perl (2.098-1) ... Setting up gpg (2.4.8-5) ... Setting up libsub-exporter-perl (0.990-1) ... Setting up libhttp-message-perl (7.01-1) ... Setting up libhtml-form-perl (6.13-1) ... Setting up libiterator-perl (0.03+ds1-2) ... Setting up libhttp-negotiate-perl (6.01-2) ... Setting up libiterator-util-perl (0.02+ds1-2) ... Setting up libhttp-cookies-perl (6.11-1) ... Setting up libhtml-tree-perl (5.07-3) ... Setting up libparams-classify-perl:amd64 (0.015-2+b5) ... Setting up libcgi-pm-perl (4.71-1) ... Setting up libmodule-runtime-perl (0.018-1) ... Setting up libconst-fast-perl (0.014-2) ... Setting up libdata-dpath-perl (0.60-1) ... Setting up libmodule-implementation-perl (0.09-2) ... Setting up libpackage-stash-perl (0.40-1) ... Setting up libimport-into-perl (1.002005-2) ... Setting up libmoo-perl (2.005005-1) ... Setting up liblist-someutils-perl (0.59-1) ... Setting up libmoox-aliases-perl (0.001006-2) ... Setting up libb-hooks-endofscope-perl (0.28-2) ... Setting up libnamespace-clean-perl (0.27-2) ... Setting up liblwp-protocol-https-perl (6.14-1) ... Setting up libwww-perl (6.81-1) ... Setting up libhtml-tokeparser-simple-perl (3.16-4) ... Setting up libwww-mechanize-perl (2.20-1) ... Setting up lintian (2.128.1) ... Setting up sbuild-build-depends-lintian-dummy:armhf (0.invalid.0) ... Processing triggers for libc-bin (2.42-11) ... Processing triggers for man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Processing triggers for ca-certificates (20250419) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. Running lintian... I: Lintian run was successful. +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any Build-Space: n/a Build-Time: 64 Distribution: unstable Foreign Architectures: armhf Host Architecture: armhf Install-Time: 11 Job: boolector_3.2.4-1 Lintian: pass Machine Architecture: amd64 Package: boolector Package-Time: 85 Source-Version: 3.2.4-1 Space: n/a Status: successful Version: 3.2.4-1 -------------------------------------------------------------------------------- Finished at 2026-01-31T11:33:47Z Build needed 00:01:25, no disk space