0s autopkgtest [11:20:40]: starting date and time: 2024-10-30 11:20:40+0000 0s autopkgtest [11:20:40]: git checkout: 6f3be7a8 Fix armhf LXD image generation for plucky 0s autopkgtest [11:20:40]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.f74pkmdh/out --timeout-copy=6000 --setup-commands 'ln -s /dev/null /etc/systemd/system/bluetooth.service; printf "http_proxy=http://squid.internal:3128\nhttps_proxy=http://squid.internal:3128\nno_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com\n" >> /etc/environment' --apt-pocket=proposed=src:setuptools --apt-upgrade z3 --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=setuptools/75.2.0-1 -- lxd -r lxd-armhf-10.145.243.227 lxd-armhf-10.145.243.227:autopkgtest/ubuntu/plucky/armhf 52s autopkgtest [11:21:32]: testbed dpkg architecture: armhf 54s autopkgtest [11:21:34]: testbed apt version: 2.9.8 54s autopkgtest [11:21:34]: @@@@@@@@@@@@@@@@@@@@ test bed setup 62s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB] 62s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [30.5 kB] 62s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [2840 B] 62s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B] 62s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [213 kB] 62s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [38.0 kB] 62s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [236 kB] 63s Fetched 601 kB in 1s (870 kB/s) 63s Reading package lists... 80s tee: /proc/self/fd/2: Permission denied 102s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease 102s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 102s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 102s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 103s Reading package lists... 103s Reading package lists... 103s Building dependency tree... 103s Reading state information... 104s Calculating upgrade... 105s The following packages were automatically installed and are no longer required: 105s libperl5.38t64 perl-modules-5.38 105s Use 'apt autoremove' to remove them. 105s The following NEW packages will be installed: 105s libperl5.40 perl-modules-5.40 python3-jaraco.text 105s The following packages will be upgraded: 105s base-files distro-info-data fwupd gcc-14-base info install-info iproute2 105s libatomic1 libdw1t64 libelf1t64 libfwupd2 libgcc-s1 libkeyutils1 105s liblocale-gettext-perl libsgutils2-1.46-2 libstdc++6 libtext-charwidth-perl 105s libtext-iconv-perl motd-news-config perl perl-base python3-pkg-resources 105s python3-setuptools sg3-utils sg3-utils-udev vim-common vim-tiny xxd 105s 28 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. 105s Need to get 19.2 MB of archives. 105s After this operation, 42.7 MB of additional disk space will be used. 105s Get:1 http://ftpmaster.internal/ubuntu plucky/main armhf motd-news-config all 13.5ubuntu2 [5274 B] 105s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf base-files armhf 13.5ubuntu2 [68.6 kB] 105s Get:3 http://ftpmaster.internal/ubuntu plucky/main armhf perl-modules-5.40 all 5.40.0-6 [3214 kB] 105s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf libperl5.40 armhf 5.40.0-6 [4140 kB] 106s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf perl armhf 5.40.0-6 [262 kB] 106s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf perl-base armhf 5.40.0-6 [1674 kB] 106s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf liblocale-gettext-perl armhf 1.07-7build1 [15.0 kB] 106s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf libtext-iconv-perl armhf 1.7-8build4 [12.8 kB] 106s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf libtext-charwidth-perl armhf 0.04-11build4 [9128 B] 106s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf libatomic1 armhf 14.2.0-7ubuntu1 [7842 B] 106s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14-base armhf 14.2.0-7ubuntu1 [51.2 kB] 106s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf libstdc++6 armhf 14.2.0-7ubuntu1 [711 kB] 106s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf libgcc-s1 armhf 14.2.0-7ubuntu1 [40.8 kB] 106s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf install-info armhf 7.1.1-1 [61.4 kB] 106s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf distro-info-data all 0.63 [6588 B] 106s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf libdw1t64 armhf 0.192-4 [243 kB] 106s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf libelf1t64 armhf 0.192-4 [50.2 kB] 106s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf iproute2 armhf 6.10.0-2ubuntu1 [1082 kB] 106s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf libkeyutils1 armhf 1.6.3-4ubuntu2 [8712 B] 106s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf vim-tiny armhf 2:9.1.0777-1ubuntu1 [693 kB] 106s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf vim-common all 2:9.1.0777-1ubuntu1 [394 kB] 106s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf xxd armhf 2:9.1.0777-1ubuntu1 [66.8 kB] 106s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf info armhf 7.1.1-1 [126 kB] 106s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf libfwupd2 armhf 1.9.26-2 [125 kB] 106s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf fwupd armhf 1.9.26-2 [4404 kB] 106s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf libsgutils2-1.46-2 armhf 1.46-3ubuntu5 [82.5 kB] 106s Get:27 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jaraco.text all 4.0.0-1 [11.5 kB] 106s Get:28 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf python3-pkg-resources all 75.2.0-1 [134 kB] 106s Get:29 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf python3-setuptools all 75.2.0-1 [657 kB] 106s Get:30 http://ftpmaster.internal/ubuntu plucky/main armhf sg3-utils armhf 1.46-3ubuntu5 [816 kB] 106s Get:31 http://ftpmaster.internal/ubuntu plucky/main armhf sg3-utils-udev all 1.46-3ubuntu5 [5916 B] 106s Preconfiguring packages ... 107s Fetched 19.2 MB in 1s (13.8 MB/s) 107s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 59386 files and directories currently installed.) 107s Preparing to unpack .../motd-news-config_13.5ubuntu2_all.deb ... 107s Unpacking motd-news-config (13.5ubuntu2) over (13.3ubuntu6) ... 107s Preparing to unpack .../base-files_13.5ubuntu2_armhf.deb ... 107s Unpacking base-files (13.5ubuntu2) over (13.3ubuntu6) ... 107s Setting up base-files (13.5ubuntu2) ... 107s Installing new version of config file /etc/issue ... 107s Installing new version of config file /etc/issue.net ... 107s Installing new version of config file /etc/lsb-release ... 108s motd-news.service is a disabled or a static unit not running, not starting it. 108s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 59386 files and directories currently installed.) 108s Preparing to unpack .../perl_5.40.0-6_armhf.deb ... 108s Unpacking perl (5.40.0-6) over (5.38.2-5) ... 108s Selecting previously unselected package perl-modules-5.40. 108s Preparing to unpack .../perl-modules-5.40_5.40.0-6_all.deb ... 108s Unpacking perl-modules-5.40 (5.40.0-6) ... 108s Selecting previously unselected package libperl5.40:armhf. 108s Preparing to unpack .../libperl5.40_5.40.0-6_armhf.deb ... 108s Unpacking libperl5.40:armhf (5.40.0-6) ... 108s Preparing to unpack .../perl-base_5.40.0-6_armhf.deb ... 108s Unpacking perl-base (5.40.0-6) over (5.38.2-5) ... 109s Setting up perl-base (5.40.0-6) ... 109s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 109s Preparing to unpack .../liblocale-gettext-perl_1.07-7build1_armhf.deb ... 109s Unpacking liblocale-gettext-perl (1.07-7build1) over (1.07-7) ... 109s Preparing to unpack .../libtext-iconv-perl_1.7-8build4_armhf.deb ... 109s Unpacking libtext-iconv-perl:armhf (1.7-8build4) over (1.7-8build3) ... 109s Preparing to unpack .../libtext-charwidth-perl_0.04-11build4_armhf.deb ... 109s Unpacking libtext-charwidth-perl:armhf (0.04-11build4) over (0.04-11build3) ... 109s Preparing to unpack .../libatomic1_14.2.0-7ubuntu1_armhf.deb ... 109s Unpacking libatomic1:armhf (14.2.0-7ubuntu1) over (14.2.0-4ubuntu2) ... 109s Preparing to unpack .../gcc-14-base_14.2.0-7ubuntu1_armhf.deb ... 109s Unpacking gcc-14-base:armhf (14.2.0-7ubuntu1) over (14.2.0-4ubuntu2) ... 109s Setting up gcc-14-base:armhf (14.2.0-7ubuntu1) ... 109s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 109s Preparing to unpack .../libstdc++6_14.2.0-7ubuntu1_armhf.deb ... 109s Unpacking libstdc++6:armhf (14.2.0-7ubuntu1) over (14.2.0-4ubuntu2) ... 109s Setting up libstdc++6:armhf (14.2.0-7ubuntu1) ... 110s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 110s Preparing to unpack .../libgcc-s1_14.2.0-7ubuntu1_armhf.deb ... 110s Unpacking libgcc-s1:armhf (14.2.0-7ubuntu1) over (14.2.0-4ubuntu2) ... 110s Setting up libgcc-s1:armhf (14.2.0-7ubuntu1) ... 110s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 110s Preparing to unpack .../install-info_7.1.1-1_armhf.deb ... 110s Unpacking install-info (7.1.1-1) over (7.1-3build2) ... 110s Setting up install-info (7.1.1-1) ... 110s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 110s Preparing to unpack .../00-distro-info-data_0.63_all.deb ... 110s Unpacking distro-info-data (0.63) over (0.62) ... 110s Preparing to unpack .../01-libdw1t64_0.192-4_armhf.deb ... 110s Unpacking libdw1t64:armhf (0.192-4) over (0.191-2) ... 110s Preparing to unpack .../02-libelf1t64_0.192-4_armhf.deb ... 110s Unpacking libelf1t64:armhf (0.192-4) over (0.191-2) ... 110s Preparing to unpack .../03-iproute2_6.10.0-2ubuntu1_armhf.deb ... 110s Unpacking iproute2 (6.10.0-2ubuntu1) over (6.10.0-2) ... 110s Preparing to unpack .../04-libkeyutils1_1.6.3-4ubuntu2_armhf.deb ... 110s Unpacking libkeyutils1:armhf (1.6.3-4ubuntu2) over (1.6.3-3build1) ... 110s Preparing to unpack .../05-vim-tiny_2%3a9.1.0777-1ubuntu1_armhf.deb ... 110s Unpacking vim-tiny (2:9.1.0777-1ubuntu1) over (2:9.1.0496-1ubuntu6) ... 110s Preparing to unpack .../06-vim-common_2%3a9.1.0777-1ubuntu1_all.deb ... 110s Unpacking vim-common (2:9.1.0777-1ubuntu1) over (2:9.1.0496-1ubuntu6) ... 111s Preparing to unpack .../07-xxd_2%3a9.1.0777-1ubuntu1_armhf.deb ... 111s Unpacking xxd (2:9.1.0777-1ubuntu1) over (2:9.1.0496-1ubuntu6) ... 111s Preparing to unpack .../08-info_7.1.1-1_armhf.deb ... 111s Unpacking info (7.1.1-1) over (7.1-3build2) ... 111s Preparing to unpack .../09-libfwupd2_1.9.26-2_armhf.deb ... 111s Unpacking libfwupd2:armhf (1.9.26-2) over (1.9.24-1) ... 111s Preparing to unpack .../10-fwupd_1.9.26-2_armhf.deb ... 111s Unpacking fwupd (1.9.26-2) over (1.9.24-1) ... 111s Preparing to unpack .../11-libsgutils2-1.46-2_1.46-3ubuntu5_armhf.deb ... 111s Unpacking libsgutils2-1.46-2:armhf (1.46-3ubuntu5) over (1.46-3ubuntu4) ... 111s Selecting previously unselected package python3-jaraco.text. 111s Preparing to unpack .../12-python3-jaraco.text_4.0.0-1_all.deb ... 111s Unpacking python3-jaraco.text (4.0.0-1) ... 111s Preparing to unpack .../13-python3-pkg-resources_75.2.0-1_all.deb ... 111s Unpacking python3-pkg-resources (75.2.0-1) over (74.1.2-1) ... 111s Preparing to unpack .../14-python3-setuptools_75.2.0-1_all.deb ... 111s Unpacking python3-setuptools (75.2.0-1) over (74.1.2-1) ... 111s Preparing to unpack .../15-sg3-utils_1.46-3ubuntu5_armhf.deb ... 111s Unpacking sg3-utils (1.46-3ubuntu5) over (1.46-3ubuntu4) ... 112s Preparing to unpack .../16-sg3-utils-udev_1.46-3ubuntu5_all.deb ... 112s Unpacking sg3-utils-udev (1.46-3ubuntu5) over (1.46-3ubuntu4) ... 112s Setting up python3-pkg-resources (75.2.0-1) ... 112s Setting up motd-news-config (13.5ubuntu2) ... 112s Setting up libtext-iconv-perl:armhf (1.7-8build4) ... 112s Setting up libtext-charwidth-perl:armhf (0.04-11build4) ... 112s Setting up libkeyutils1:armhf (1.6.3-4ubuntu2) ... 112s Setting up distro-info-data (0.63) ... 112s Setting up libfwupd2:armhf (1.9.26-2) ... 112s Setting up libsgutils2-1.46-2:armhf (1.46-3ubuntu5) ... 112s Setting up xxd (2:9.1.0777-1ubuntu1) ... 112s Setting up libelf1t64:armhf (0.192-4) ... 112s Setting up libdw1t64:armhf (0.192-4) ... 112s Setting up vim-common (2:9.1.0777-1ubuntu1) ... 112s Installing new version of config file /etc/vim/vimrc ... 112s Setting up python3-jaraco.text (4.0.0-1) ... 112s Setting up libatomic1:armhf (14.2.0-7ubuntu1) ... 112s Setting up perl-modules-5.40 (5.40.0-6) ... 112s Setting up fwupd (1.9.26-2) ... 112s fwupd-offline-update.service is a disabled or a static unit not running, not starting it. 112s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 113s fwupd.service is a disabled or a static unit not running, not starting it. 113s Setting up info (7.1.1-1) ... 113s Setting up liblocale-gettext-perl (1.07-7build1) ... 113s Setting up sg3-utils (1.46-3ubuntu5) ... 113s Setting up python3-setuptools (75.2.0-1) ... 113s Setting up iproute2 (6.10.0-2ubuntu1) ... 114s Setting up vim-tiny (2:9.1.0777-1ubuntu1) ... 114s Setting up sg3-utils-udev (1.46-3ubuntu5) ... 114s update-initramfs: deferring update (trigger activated) 114s Setting up libperl5.40:armhf (5.40.0-6) ... 114s Setting up perl (5.40.0-6) ... 114s Processing triggers for dbus (1.14.10-4ubuntu5) ... 114s Processing triggers for install-info (7.1.1-1) ... 114s Processing triggers for initramfs-tools (0.142ubuntu34) ... 114s Processing triggers for libc-bin (2.40-1ubuntu3) ... 114s Processing triggers for man-db (2.12.1-3) ... 116s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-1ubuntu10) ... 116s update-initramfs: deferring update (trigger activated) 116s Processing triggers for initramfs-tools (0.142ubuntu34) ... 116s Reading package lists... 116s Building dependency tree... 116s Reading state information... 117s The following packages will be REMOVED: 117s libperl5.38t64* perl-modules-5.38* 117s 0 upgraded, 0 newly installed, 2 to remove and 0 not upgraded. 117s After this operation, 41.6 MB disk space will be freed. 118s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61471 files and directories currently installed.) 118s Removing libperl5.38t64:armhf (5.38.2-5) ... 118s Removing perl-modules-5.38 (5.38.2-5) ... 118s Processing triggers for man-db (2.12.1-3) ... 118s Processing triggers for libc-bin (2.40-1ubuntu3) ... 120s autopkgtest [11:22:40]: rebooting testbed after setup commands that affected boot 189s autopkgtest [11:23:49]: testbed running kernel: Linux 6.8.0-47-generic #47~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Wed Oct 2 16:39:14 UTC 2 218s autopkgtest [11:24:18]: @@@@@@@@@@@@@@@@@@@@ apt-source z3 248s Get:1 http://ftpmaster.internal/ubuntu plucky/universe z3 4.8.12-3.1build1 (dsc) [2770 B] 248s Get:2 http://ftpmaster.internal/ubuntu plucky/universe z3 4.8.12-3.1build1 (tar) [4803 kB] 248s Get:3 http://ftpmaster.internal/ubuntu plucky/universe z3 4.8.12-3.1build1 (diff) [10.5 kB] 248s gpgv: Signature made Mon Apr 22 09:53:16 2024 UTC 248s gpgv: using RSA key 4FB588A84C2DDE79A74C77876FA458DD1DB03F71 248s gpgv: issuer "juliank@ubuntu.com" 248s gpgv: Can't check signature: No public key 248s dpkg-source: warning: cannot verify inline signature for ./z3_4.8.12-3.1build1.dsc: no acceptable signature found 249s autopkgtest [11:24:49]: testing package z3 version 4.8.12-3.1build1 251s autopkgtest [11:24:51]: build not needed 254s autopkgtest [11:24:54]: test import-z3-test: preparing testbed 265s Reading package lists... 265s Building dependency tree... 265s Reading state information... 265s Starting pkgProblemResolver with broken count: 0 265s Starting 2 pkgProblemResolver with broken count: 0 265s Done 267s The following additional packages will be installed: 267s build-essential cpp cpp-14 cpp-14-arm-linux-gnueabihf 267s cpp-arm-linux-gnueabihf g++ g++-14 g++-14-arm-linux-gnueabihf 267s g++-arm-linux-gnueabihf gcc gcc-14 gcc-14-arm-linux-gnueabihf 267s gcc-arm-linux-gnueabihf libasan8 libc-dev-bin libc6-dev libcc1-0 267s libcrypt-dev libgcc-14-dev libgomp1 libisl23 libmpc3 libpkgconf3 267s libstdc++-14-dev libubsan1 libz3-4 libz3-dev linux-libc-dev pkg-config 267s pkgconf pkgconf-bin python3-z3 rpcsvc-proto z3 267s Suggested packages: 267s cpp-doc gcc-14-locales cpp-14-doc gcc-14-doc gcc-multilib manpages-dev 267s autoconf automake libtool flex bison gdb gcc-doc gdb-arm-linux-gnueabihf 267s libc-devtools glibc-doc libstdc++-14-doc 267s Recommended packages: 267s manpages manpages-dev 267s The following NEW packages will be installed: 267s autopkgtest-satdep build-essential cpp cpp-14 cpp-14-arm-linux-gnueabihf 267s cpp-arm-linux-gnueabihf g++ g++-14 g++-14-arm-linux-gnueabihf 267s g++-arm-linux-gnueabihf gcc gcc-14 gcc-14-arm-linux-gnueabihf 267s gcc-arm-linux-gnueabihf libasan8 libc-dev-bin libc6-dev libcc1-0 267s libcrypt-dev libgcc-14-dev libgomp1 libisl23 libmpc3 libpkgconf3 267s libstdc++-14-dev libubsan1 libz3-4 libz3-dev linux-libc-dev pkg-config 267s pkgconf pkgconf-bin python3-z3 rpcsvc-proto z3 267s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 267s Need to get 64.2 MB/64.2 MB of archives. 267s After this operation, 176 MB of additional disk space will be used. 267s Get:1 /tmp/autopkgtest.jFhUtU/1-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 267s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf libc-dev-bin armhf 2.40-1ubuntu3 [19.2 kB] 267s Get:3 http://ftpmaster.internal/ubuntu plucky/main armhf linux-libc-dev armhf 6.11.0-8.8 [1628 kB] 267s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf libcrypt-dev armhf 1:4.4.36-4build1 [120 kB] 267s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf rpcsvc-proto armhf 1.4.2-0ubuntu7 [62.2 kB] 267s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf libc6-dev armhf 2.40-1ubuntu3 [1370 kB] 268s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf libisl23 armhf 0.27-1 [546 kB] 268s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf libmpc3 armhf 1.3.1-1build2 [47.1 kB] 268s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14-arm-linux-gnueabihf armhf 14.2.0-7ubuntu1 [9219 kB] 268s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14 armhf 14.2.0-7ubuntu1 [1030 B] 268s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-arm-linux-gnueabihf armhf 4:14.1.0-2ubuntu1 [5464 B] 268s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf cpp armhf 4:14.1.0-2ubuntu1 [22.4 kB] 268s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf libcc1-0 armhf 14.2.0-7ubuntu1 [43.3 kB] 268s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf libgomp1 armhf 14.2.0-7ubuntu1 [125 kB] 268s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf libasan8 armhf 14.2.0-7ubuntu1 [2901 kB] 268s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf libubsan1 armhf 14.2.0-7ubuntu1 [1150 kB] 268s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf libgcc-14-dev armhf 14.2.0-7ubuntu1 [897 kB] 268s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14-arm-linux-gnueabihf armhf 14.2.0-7ubuntu1 [18.0 MB] 268s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14 armhf 14.2.0-7ubuntu1 [495 kB] 268s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-arm-linux-gnueabihf armhf 4:14.1.0-2ubuntu1 [1222 B] 268s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf gcc armhf 4:14.1.0-2ubuntu1 [5002 B] 268s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf libstdc++-14-dev armhf 14.2.0-7ubuntu1 [2567 kB] 269s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14-arm-linux-gnueabihf armhf 14.2.0-7ubuntu1 [10.5 MB] 269s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14 armhf 14.2.0-7ubuntu1 [19.8 kB] 269s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf g++-arm-linux-gnueabihf armhf 4:14.1.0-2ubuntu1 [968 B] 269s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf g++ armhf 4:14.1.0-2ubuntu1 [1084 B] 269s Get:27 http://ftpmaster.internal/ubuntu plucky/main armhf build-essential armhf 12.10ubuntu1 [4928 B] 269s Get:28 http://ftpmaster.internal/ubuntu plucky/main armhf libpkgconf3 armhf 1.8.1-3ubuntu1 [26.6 kB] 269s Get:29 http://ftpmaster.internal/ubuntu plucky/main armhf pkgconf-bin armhf 1.8.1-3ubuntu1 [21.2 kB] 269s Get:30 http://ftpmaster.internal/ubuntu plucky/main armhf pkgconf armhf 1.8.1-3ubuntu1 [16.8 kB] 269s Get:31 http://ftpmaster.internal/ubuntu plucky/main armhf pkg-config armhf 1.8.1-3ubuntu1 [7400 B] 269s Get:32 http://ftpmaster.internal/ubuntu plucky/universe armhf libz3-4 armhf 4.8.12-3.1build1 [7093 kB] 270s Get:33 http://ftpmaster.internal/ubuntu plucky/universe armhf libz3-dev armhf 4.8.12-3.1build1 [72.2 kB] 270s Get:34 http://ftpmaster.internal/ubuntu plucky/universe armhf python3-z3 armhf 4.8.12-3.1build1 [79.7 kB] 270s Get:35 http://ftpmaster.internal/ubuntu plucky/universe armhf z3 armhf 4.8.12-3.1build1 [7127 kB] 271s Fetched 64.2 MB in 4s (17.6 MB/s) 271s Selecting previously unselected package libc-dev-bin. 271s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 59541 files and directories currently installed.) 271s Preparing to unpack .../00-libc-dev-bin_2.40-1ubuntu3_armhf.deb ... 271s Unpacking libc-dev-bin (2.40-1ubuntu3) ... 271s Selecting previously unselected package linux-libc-dev:armhf. 271s Preparing to unpack .../01-linux-libc-dev_6.11.0-8.8_armhf.deb ... 271s Unpacking linux-libc-dev:armhf (6.11.0-8.8) ... 271s Selecting previously unselected package libcrypt-dev:armhf. 271s Preparing to unpack .../02-libcrypt-dev_1%3a4.4.36-4build1_armhf.deb ... 271s Unpacking libcrypt-dev:armhf (1:4.4.36-4build1) ... 271s Selecting previously unselected package rpcsvc-proto. 271s Preparing to unpack .../03-rpcsvc-proto_1.4.2-0ubuntu7_armhf.deb ... 271s Unpacking rpcsvc-proto (1.4.2-0ubuntu7) ... 271s Selecting previously unselected package libc6-dev:armhf. 271s Preparing to unpack .../04-libc6-dev_2.40-1ubuntu3_armhf.deb ... 271s Unpacking libc6-dev:armhf (2.40-1ubuntu3) ... 271s Selecting previously unselected package libisl23:armhf. 271s Preparing to unpack .../05-libisl23_0.27-1_armhf.deb ... 271s Unpacking libisl23:armhf (0.27-1) ... 271s Selecting previously unselected package libmpc3:armhf. 271s Preparing to unpack .../06-libmpc3_1.3.1-1build2_armhf.deb ... 271s Unpacking libmpc3:armhf (1.3.1-1build2) ... 271s Selecting previously unselected package cpp-14-arm-linux-gnueabihf. 271s Preparing to unpack .../07-cpp-14-arm-linux-gnueabihf_14.2.0-7ubuntu1_armhf.deb ... 271s Unpacking cpp-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 272s Selecting previously unselected package cpp-14. 272s Preparing to unpack .../08-cpp-14_14.2.0-7ubuntu1_armhf.deb ... 272s Unpacking cpp-14 (14.2.0-7ubuntu1) ... 272s Selecting previously unselected package cpp-arm-linux-gnueabihf. 272s Preparing to unpack .../09-cpp-arm-linux-gnueabihf_4%3a14.1.0-2ubuntu1_armhf.deb ... 272s Unpacking cpp-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 272s Selecting previously unselected package cpp. 272s Preparing to unpack .../10-cpp_4%3a14.1.0-2ubuntu1_armhf.deb ... 272s Unpacking cpp (4:14.1.0-2ubuntu1) ... 272s Selecting previously unselected package libcc1-0:armhf. 272s Preparing to unpack .../11-libcc1-0_14.2.0-7ubuntu1_armhf.deb ... 272s Unpacking libcc1-0:armhf (14.2.0-7ubuntu1) ... 272s Selecting previously unselected package libgomp1:armhf. 272s Preparing to unpack .../12-libgomp1_14.2.0-7ubuntu1_armhf.deb ... 272s Unpacking libgomp1:armhf (14.2.0-7ubuntu1) ... 272s Selecting previously unselected package libasan8:armhf. 272s Preparing to unpack .../13-libasan8_14.2.0-7ubuntu1_armhf.deb ... 272s Unpacking libasan8:armhf (14.2.0-7ubuntu1) ... 272s Selecting previously unselected package libubsan1:armhf. 272s Preparing to unpack .../14-libubsan1_14.2.0-7ubuntu1_armhf.deb ... 272s Unpacking libubsan1:armhf (14.2.0-7ubuntu1) ... 272s Selecting previously unselected package libgcc-14-dev:armhf. 272s Preparing to unpack .../15-libgcc-14-dev_14.2.0-7ubuntu1_armhf.deb ... 272s Unpacking libgcc-14-dev:armhf (14.2.0-7ubuntu1) ... 272s Selecting previously unselected package gcc-14-arm-linux-gnueabihf. 272s Preparing to unpack .../16-gcc-14-arm-linux-gnueabihf_14.2.0-7ubuntu1_armhf.deb ... 272s Unpacking gcc-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 272s Selecting previously unselected package gcc-14. 272s Preparing to unpack .../17-gcc-14_14.2.0-7ubuntu1_armhf.deb ... 272s Unpacking gcc-14 (14.2.0-7ubuntu1) ... 273s Selecting previously unselected package gcc-arm-linux-gnueabihf. 273s Preparing to unpack .../18-gcc-arm-linux-gnueabihf_4%3a14.1.0-2ubuntu1_armhf.deb ... 273s Unpacking gcc-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 273s Selecting previously unselected package gcc. 273s Preparing to unpack .../19-gcc_4%3a14.1.0-2ubuntu1_armhf.deb ... 273s Unpacking gcc (4:14.1.0-2ubuntu1) ... 273s Selecting previously unselected package libstdc++-14-dev:armhf. 273s Preparing to unpack .../20-libstdc++-14-dev_14.2.0-7ubuntu1_armhf.deb ... 273s Unpacking libstdc++-14-dev:armhf (14.2.0-7ubuntu1) ... 273s Selecting previously unselected package g++-14-arm-linux-gnueabihf. 273s Preparing to unpack .../21-g++-14-arm-linux-gnueabihf_14.2.0-7ubuntu1_armhf.deb ... 273s Unpacking g++-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 273s Selecting previously unselected package g++-14. 273s Preparing to unpack .../22-g++-14_14.2.0-7ubuntu1_armhf.deb ... 273s Unpacking g++-14 (14.2.0-7ubuntu1) ... 273s Selecting previously unselected package g++-arm-linux-gnueabihf. 273s Preparing to unpack .../23-g++-arm-linux-gnueabihf_4%3a14.1.0-2ubuntu1_armhf.deb ... 273s Unpacking g++-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 273s Selecting previously unselected package g++. 273s Preparing to unpack .../24-g++_4%3a14.1.0-2ubuntu1_armhf.deb ... 273s Unpacking g++ (4:14.1.0-2ubuntu1) ... 273s Selecting previously unselected package build-essential. 273s Preparing to unpack .../25-build-essential_12.10ubuntu1_armhf.deb ... 273s Unpacking build-essential (12.10ubuntu1) ... 273s Selecting previously unselected package libpkgconf3:armhf. 273s Preparing to unpack .../26-libpkgconf3_1.8.1-3ubuntu1_armhf.deb ... 273s Unpacking libpkgconf3:armhf (1.8.1-3ubuntu1) ... 273s Selecting previously unselected package pkgconf-bin. 273s Preparing to unpack .../27-pkgconf-bin_1.8.1-3ubuntu1_armhf.deb ... 273s Unpacking pkgconf-bin (1.8.1-3ubuntu1) ... 273s Selecting previously unselected package pkgconf:armhf. 273s Preparing to unpack .../28-pkgconf_1.8.1-3ubuntu1_armhf.deb ... 273s Unpacking pkgconf:armhf (1.8.1-3ubuntu1) ... 273s Selecting previously unselected package pkg-config:armhf. 273s Preparing to unpack .../29-pkg-config_1.8.1-3ubuntu1_armhf.deb ... 273s Unpacking pkg-config:armhf (1.8.1-3ubuntu1) ... 273s Selecting previously unselected package libz3-4:armhf. 273s Preparing to unpack .../30-libz3-4_4.8.12-3.1build1_armhf.deb ... 273s Unpacking libz3-4:armhf (4.8.12-3.1build1) ... 274s Selecting previously unselected package libz3-dev:armhf. 274s Preparing to unpack .../31-libz3-dev_4.8.12-3.1build1_armhf.deb ... 274s Unpacking libz3-dev:armhf (4.8.12-3.1build1) ... 274s Selecting previously unselected package python3-z3. 274s Preparing to unpack .../32-python3-z3_4.8.12-3.1build1_armhf.deb ... 274s Unpacking python3-z3 (4.8.12-3.1build1) ... 274s Selecting previously unselected package z3. 274s Preparing to unpack .../33-z3_4.8.12-3.1build1_armhf.deb ... 274s Unpacking z3 (4.8.12-3.1build1) ... 274s Selecting previously unselected package autopkgtest-satdep. 274s Preparing to unpack .../34-1-autopkgtest-satdep.deb ... 274s Unpacking autopkgtest-satdep (0) ... 274s Setting up linux-libc-dev:armhf (6.11.0-8.8) ... 274s Setting up libgomp1:armhf (14.2.0-7ubuntu1) ... 274s Setting up z3 (4.8.12-3.1build1) ... 274s Setting up libz3-4:armhf (4.8.12-3.1build1) ... 274s Setting up libpkgconf3:armhf (1.8.1-3ubuntu1) ... 274s Setting up rpcsvc-proto (1.4.2-0ubuntu7) ... 274s Setting up libmpc3:armhf (1.3.1-1build2) ... 274s Setting up pkgconf-bin (1.8.1-3ubuntu1) ... 274s Setting up libubsan1:armhf (14.2.0-7ubuntu1) ... 274s Setting up libcrypt-dev:armhf (1:4.4.36-4build1) ... 274s Setting up libasan8:armhf (14.2.0-7ubuntu1) ... 274s Setting up libgcc-14-dev:armhf (14.2.0-7ubuntu1) ... 274s Setting up libisl23:armhf (0.27-1) ... 274s Setting up libc-dev-bin (2.40-1ubuntu3) ... 274s Setting up libcc1-0:armhf (14.2.0-7ubuntu1) ... 274s Setting up cpp-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 274s Setting up libz3-dev:armhf (4.8.12-3.1build1) ... 274s Setting up gcc-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 274s Setting up pkgconf:armhf (1.8.1-3ubuntu1) ... 274s Setting up pkg-config:armhf (1.8.1-3ubuntu1) ... 274s Setting up cpp-14 (14.2.0-7ubuntu1) ... 274s Setting up libc6-dev:armhf (2.40-1ubuntu3) ... 274s Setting up libstdc++-14-dev:armhf (14.2.0-7ubuntu1) ... 274s Setting up cpp-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 274s Setting up gcc-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 274s Setting up python3-z3 (4.8.12-3.1build1) ... 274s Setting up g++-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 274s Setting up gcc-14 (14.2.0-7ubuntu1) ... 274s Setting up cpp (4:14.1.0-2ubuntu1) ... 274s Setting up g++-14 (14.2.0-7ubuntu1) ... 274s Setting up g++-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 274s Setting up gcc (4:14.1.0-2ubuntu1) ... 275s Setting up g++ (4:14.1.0-2ubuntu1) ... 275s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 275s Setting up build-essential (12.10ubuntu1) ... 275s Setting up autopkgtest-satdep (0) ... 275s Processing triggers for man-db (2.12.1-3) ... 275s Processing triggers for libc-bin (2.40-1ubuntu3) ... 291s (Reading database ... 62334 files and directories currently installed.) 291s Removing autopkgtest-satdep (0) ... 298s autopkgtest [11:25:38]: test import-z3-test: [----------------------- 300s autopkgtest [11:25:40]: test import-z3-test: -----------------------] 305s import-z3-test PASS (superficial) 305s autopkgtest [11:25:45]: test import-z3-test: - - - - - - - - - - results - - - - - - - - - - 309s autopkgtest [11:25:49]: test include-z3-test: preparing testbed 319s Reading package lists... 319s Building dependency tree... 319s Reading state information... 320s Starting pkgProblemResolver with broken count: 0 320s Starting 2 pkgProblemResolver with broken count: 0 320s Done 321s The following NEW packages will be installed: 321s autopkgtest-satdep 321s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 321s Need to get 0 B/744 B of archives. 321s After this operation, 0 B of additional disk space will be used. 321s Get:1 /tmp/autopkgtest.jFhUtU/2-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 321s Selecting previously unselected package autopkgtest-satdep. 321s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 62334 files and directories currently installed.) 321s Preparing to unpack .../2-autopkgtest-satdep.deb ... 321s Unpacking autopkgtest-satdep (0) ... 321s Setting up autopkgtest-satdep (0) ... 335s (Reading database ... 62334 files and directories currently installed.) 335s Removing autopkgtest-satdep (0) ... 341s autopkgtest [11:26:21]: test include-z3-test: [----------------------- 345s autopkgtest [11:26:25]: test include-z3-test: -----------------------] 349s include-z3-test PASS (superficial) 349s autopkgtest [11:26:29]: test include-z3-test: - - - - - - - - - - results - - - - - - - - - - 353s autopkgtest [11:26:33]: test run-z3-test: preparing testbed 363s Reading package lists... 363s Building dependency tree... 363s Reading state information... 364s Starting pkgProblemResolver with broken count: 0 364s Starting 2 pkgProblemResolver with broken count: 0 364s Done 366s The following NEW packages will be installed: 366s autopkgtest-satdep 366s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 366s Need to get 0 B/744 B of archives. 366s After this operation, 0 B of additional disk space will be used. 366s Get:1 /tmp/autopkgtest.jFhUtU/3-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 367s Selecting previously unselected package autopkgtest-satdep. 367s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 62334 files and directories currently installed.) 367s Preparing to unpack .../3-autopkgtest-satdep.deb ... 367s Unpacking autopkgtest-satdep (0) ... 367s Setting up autopkgtest-satdep (0) ... 380s (Reading database ... 62334 files and directories currently installed.) 380s Removing autopkgtest-satdep (0) ... 387s autopkgtest [11:27:07]: test run-z3-test: [----------------------- 389s autopkgtest [11:27:09]: test run-z3-test: -----------------------] 394s autopkgtest [11:27:14]: test run-z3-test: - - - - - - - - - - results - - - - - - - - - - 394s run-z3-test PASS (superficial) 397s autopkgtest [11:27:17]: test pkg-config-test: preparing testbed 408s Reading package lists... 408s Building dependency tree... 408s Reading state information... 408s Starting pkgProblemResolver with broken count: 0 408s Starting 2 pkgProblemResolver with broken count: 0 408s Done 410s The following NEW packages will be installed: 410s autopkgtest-satdep 410s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 410s Need to get 0 B/744 B of archives. 410s After this operation, 0 B of additional disk space will be used. 410s Get:1 /tmp/autopkgtest.jFhUtU/4-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [744 B] 411s Selecting previously unselected package autopkgtest-satdep. 411s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 62334 files and directories currently installed.) 411s Preparing to unpack .../4-autopkgtest-satdep.deb ... 411s Unpacking autopkgtest-satdep (0) ... 411s Setting up autopkgtest-satdep (0) ... 427s (Reading database ... 62334 files and directories currently installed.) 427s Removing autopkgtest-satdep (0) ... 433s autopkgtest [11:27:53]: test pkg-config-test: [----------------------- 436s autopkgtest [11:27:56]: test pkg-config-test: -----------------------] 440s autopkgtest [11:28:00]: test pkg-config-test: - - - - - - - - - - results - - - - - - - - - - 440s pkg-config-test PASS (superficial) 445s autopkgtest [11:28:05]: test z3-int-logic-test: preparing testbed 502s autopkgtest [11:29:02]: testbed dpkg architecture: armhf 504s autopkgtest [11:29:04]: testbed apt version: 2.9.8 504s autopkgtest [11:29:04]: @@@@@@@@@@@@@@@@@@@@ test bed setup 512s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [73.9 kB] 512s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [2840 B] 512s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/restricted Sources [7016 B] 512s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [30.5 kB] 512s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [213 kB] 512s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [38.0 kB] 512s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [236 kB] 512s Fetched 601 kB in 1s (787 kB/s) 512s Reading package lists... 528s tee: /proc/self/fd/2: Permission denied 549s Hit:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease 549s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 549s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 549s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 551s Reading package lists... 551s Reading package lists... 551s Building dependency tree... 551s Reading state information... 552s Calculating upgrade... 552s The following packages were automatically installed and are no longer required: 552s libperl5.38t64 perl-modules-5.38 552s Use 'apt autoremove' to remove them. 552s The following NEW packages will be installed: 552s libperl5.40 perl-modules-5.40 python3-jaraco.text 552s The following packages will be upgraded: 552s base-files distro-info-data fwupd gcc-14-base info install-info iproute2 552s libatomic1 libdw1t64 libelf1t64 libfwupd2 libgcc-s1 libkeyutils1 552s liblocale-gettext-perl libsgutils2-1.46-2 libstdc++6 libtext-charwidth-perl 552s libtext-iconv-perl motd-news-config perl perl-base python3-pkg-resources 552s python3-setuptools sg3-utils sg3-utils-udev vim-common vim-tiny xxd 552s 28 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. 552s Need to get 19.2 MB of archives. 552s After this operation, 42.7 MB of additional disk space will be used. 552s Get:1 http://ftpmaster.internal/ubuntu plucky/main armhf motd-news-config all 13.5ubuntu2 [5274 B] 553s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf base-files armhf 13.5ubuntu2 [68.6 kB] 553s Get:3 http://ftpmaster.internal/ubuntu plucky/main armhf perl-modules-5.40 all 5.40.0-6 [3214 kB] 553s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf libperl5.40 armhf 5.40.0-6 [4140 kB] 553s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf perl armhf 5.40.0-6 [262 kB] 553s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf perl-base armhf 5.40.0-6 [1674 kB] 553s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf liblocale-gettext-perl armhf 1.07-7build1 [15.0 kB] 553s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf libtext-iconv-perl armhf 1.7-8build4 [12.8 kB] 553s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf libtext-charwidth-perl armhf 0.04-11build4 [9128 B] 553s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf libatomic1 armhf 14.2.0-7ubuntu1 [7842 B] 553s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14-base armhf 14.2.0-7ubuntu1 [51.2 kB] 553s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf libstdc++6 armhf 14.2.0-7ubuntu1 [711 kB] 553s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf libgcc-s1 armhf 14.2.0-7ubuntu1 [40.8 kB] 553s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf install-info armhf 7.1.1-1 [61.4 kB] 553s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf distro-info-data all 0.63 [6588 B] 553s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf libdw1t64 armhf 0.192-4 [243 kB] 553s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf libelf1t64 armhf 0.192-4 [50.2 kB] 553s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf iproute2 armhf 6.10.0-2ubuntu1 [1082 kB] 553s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf libkeyutils1 armhf 1.6.3-4ubuntu2 [8712 B] 553s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf vim-tiny armhf 2:9.1.0777-1ubuntu1 [693 kB] 553s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf vim-common all 2:9.1.0777-1ubuntu1 [394 kB] 553s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf xxd armhf 2:9.1.0777-1ubuntu1 [66.8 kB] 553s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf info armhf 7.1.1-1 [126 kB] 553s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf libfwupd2 armhf 1.9.26-2 [125 kB] 553s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf fwupd armhf 1.9.26-2 [4404 kB] 554s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf libsgutils2-1.46-2 armhf 1.46-3ubuntu5 [82.5 kB] 554s Get:27 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jaraco.text all 4.0.0-1 [11.5 kB] 554s Get:28 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf python3-pkg-resources all 75.2.0-1 [134 kB] 554s Get:29 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf python3-setuptools all 75.2.0-1 [657 kB] 554s Get:30 http://ftpmaster.internal/ubuntu plucky/main armhf sg3-utils armhf 1.46-3ubuntu5 [816 kB] 554s Get:31 http://ftpmaster.internal/ubuntu plucky/main armhf sg3-utils-udev all 1.46-3ubuntu5 [5916 B] 554s Preconfiguring packages ... 554s Fetched 19.2 MB in 1s (15.2 MB/s) 554s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 59386 files and directories currently installed.) 554s Preparing to unpack .../motd-news-config_13.5ubuntu2_all.deb ... 554s Unpacking motd-news-config (13.5ubuntu2) over (13.3ubuntu6) ... 554s Preparing to unpack .../base-files_13.5ubuntu2_armhf.deb ... 554s Unpacking base-files (13.5ubuntu2) over (13.3ubuntu6) ... 554s Setting up base-files (13.5ubuntu2) ... 554s Installing new version of config file /etc/issue ... 554s Installing new version of config file /etc/issue.net ... 554s Installing new version of config file /etc/lsb-release ... 555s motd-news.service is a disabled or a static unit not running, not starting it. 555s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 59386 files and directories currently installed.) 555s Preparing to unpack .../perl_5.40.0-6_armhf.deb ... 555s Unpacking perl (5.40.0-6) over (5.38.2-5) ... 555s Selecting previously unselected package perl-modules-5.40. 555s Preparing to unpack .../perl-modules-5.40_5.40.0-6_all.deb ... 555s Unpacking perl-modules-5.40 (5.40.0-6) ... 556s Selecting previously unselected package libperl5.40:armhf. 556s Preparing to unpack .../libperl5.40_5.40.0-6_armhf.deb ... 556s Unpacking libperl5.40:armhf (5.40.0-6) ... 556s Preparing to unpack .../perl-base_5.40.0-6_armhf.deb ... 556s Unpacking perl-base (5.40.0-6) over (5.38.2-5) ... 556s Setting up perl-base (5.40.0-6) ... 556s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 556s Preparing to unpack .../liblocale-gettext-perl_1.07-7build1_armhf.deb ... 556s Unpacking liblocale-gettext-perl (1.07-7build1) over (1.07-7) ... 556s Preparing to unpack .../libtext-iconv-perl_1.7-8build4_armhf.deb ... 556s Unpacking libtext-iconv-perl:armhf (1.7-8build4) over (1.7-8build3) ... 556s Preparing to unpack .../libtext-charwidth-perl_0.04-11build4_armhf.deb ... 556s Unpacking libtext-charwidth-perl:armhf (0.04-11build4) over (0.04-11build3) ... 556s Preparing to unpack .../libatomic1_14.2.0-7ubuntu1_armhf.deb ... 556s Unpacking libatomic1:armhf (14.2.0-7ubuntu1) over (14.2.0-4ubuntu2) ... 557s Preparing to unpack .../gcc-14-base_14.2.0-7ubuntu1_armhf.deb ... 557s Unpacking gcc-14-base:armhf (14.2.0-7ubuntu1) over (14.2.0-4ubuntu2) ... 557s Setting up gcc-14-base:armhf (14.2.0-7ubuntu1) ... 557s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 557s Preparing to unpack .../libstdc++6_14.2.0-7ubuntu1_armhf.deb ... 557s Unpacking libstdc++6:armhf (14.2.0-7ubuntu1) over (14.2.0-4ubuntu2) ... 557s Setting up libstdc++6:armhf (14.2.0-7ubuntu1) ... 557s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 557s Preparing to unpack .../libgcc-s1_14.2.0-7ubuntu1_armhf.deb ... 557s Unpacking libgcc-s1:armhf (14.2.0-7ubuntu1) over (14.2.0-4ubuntu2) ... 557s Setting up libgcc-s1:armhf (14.2.0-7ubuntu1) ... 557s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 557s Preparing to unpack .../install-info_7.1.1-1_armhf.deb ... 557s Unpacking install-info (7.1.1-1) over (7.1-3build2) ... 557s Setting up install-info (7.1.1-1) ... 557s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61462 files and directories currently installed.) 557s Preparing to unpack .../00-distro-info-data_0.63_all.deb ... 557s Unpacking distro-info-data (0.63) over (0.62) ... 557s Preparing to unpack .../01-libdw1t64_0.192-4_armhf.deb ... 557s Unpacking libdw1t64:armhf (0.192-4) over (0.191-2) ... 557s Preparing to unpack .../02-libelf1t64_0.192-4_armhf.deb ... 557s Unpacking libelf1t64:armhf (0.192-4) over (0.191-2) ... 557s Preparing to unpack .../03-iproute2_6.10.0-2ubuntu1_armhf.deb ... 557s Unpacking iproute2 (6.10.0-2ubuntu1) over (6.10.0-2) ... 558s Preparing to unpack .../04-libkeyutils1_1.6.3-4ubuntu2_armhf.deb ... 558s Unpacking libkeyutils1:armhf (1.6.3-4ubuntu2) over (1.6.3-3build1) ... 558s Preparing to unpack .../05-vim-tiny_2%3a9.1.0777-1ubuntu1_armhf.deb ... 558s Unpacking vim-tiny (2:9.1.0777-1ubuntu1) over (2:9.1.0496-1ubuntu6) ... 558s Preparing to unpack .../06-vim-common_2%3a9.1.0777-1ubuntu1_all.deb ... 558s Unpacking vim-common (2:9.1.0777-1ubuntu1) over (2:9.1.0496-1ubuntu6) ... 558s Preparing to unpack .../07-xxd_2%3a9.1.0777-1ubuntu1_armhf.deb ... 558s Unpacking xxd (2:9.1.0777-1ubuntu1) over (2:9.1.0496-1ubuntu6) ... 558s Preparing to unpack .../08-info_7.1.1-1_armhf.deb ... 558s Unpacking info (7.1.1-1) over (7.1-3build2) ... 558s Preparing to unpack .../09-libfwupd2_1.9.26-2_armhf.deb ... 558s Unpacking libfwupd2:armhf (1.9.26-2) over (1.9.24-1) ... 558s Preparing to unpack .../10-fwupd_1.9.26-2_armhf.deb ... 558s Unpacking fwupd (1.9.26-2) over (1.9.24-1) ... 558s Preparing to unpack .../11-libsgutils2-1.46-2_1.46-3ubuntu5_armhf.deb ... 558s Unpacking libsgutils2-1.46-2:armhf (1.46-3ubuntu5) over (1.46-3ubuntu4) ... 558s Selecting previously unselected package python3-jaraco.text. 558s Preparing to unpack .../12-python3-jaraco.text_4.0.0-1_all.deb ... 558s Unpacking python3-jaraco.text (4.0.0-1) ... 558s Preparing to unpack .../13-python3-pkg-resources_75.2.0-1_all.deb ... 559s Unpacking python3-pkg-resources (75.2.0-1) over (74.1.2-1) ... 559s Preparing to unpack .../14-python3-setuptools_75.2.0-1_all.deb ... 559s Unpacking python3-setuptools (75.2.0-1) over (74.1.2-1) ... 559s Preparing to unpack .../15-sg3-utils_1.46-3ubuntu5_armhf.deb ... 559s Unpacking sg3-utils (1.46-3ubuntu5) over (1.46-3ubuntu4) ... 559s Preparing to unpack .../16-sg3-utils-udev_1.46-3ubuntu5_all.deb ... 559s Unpacking sg3-utils-udev (1.46-3ubuntu5) over (1.46-3ubuntu4) ... 559s Setting up python3-pkg-resources (75.2.0-1) ... 559s Setting up motd-news-config (13.5ubuntu2) ... 559s Setting up libtext-iconv-perl:armhf (1.7-8build4) ... 559s Setting up libtext-charwidth-perl:armhf (0.04-11build4) ... 559s Setting up libkeyutils1:armhf (1.6.3-4ubuntu2) ... 559s Setting up distro-info-data (0.63) ... 559s Setting up libfwupd2:armhf (1.9.26-2) ... 559s Setting up libsgutils2-1.46-2:armhf (1.46-3ubuntu5) ... 559s Setting up xxd (2:9.1.0777-1ubuntu1) ... 559s Setting up libelf1t64:armhf (0.192-4) ... 559s Setting up libdw1t64:armhf (0.192-4) ... 559s Setting up vim-common (2:9.1.0777-1ubuntu1) ... 559s Installing new version of config file /etc/vim/vimrc ... 559s Setting up python3-jaraco.text (4.0.0-1) ... 560s Setting up libatomic1:armhf (14.2.0-7ubuntu1) ... 560s Setting up perl-modules-5.40 (5.40.0-6) ... 560s Setting up fwupd (1.9.26-2) ... 560s fwupd-offline-update.service is a disabled or a static unit not running, not starting it. 560s fwupd-refresh.service is a disabled or a static unit not running, not starting it. 560s fwupd.service is a disabled or a static unit not running, not starting it. 560s Setting up info (7.1.1-1) ... 560s Setting up liblocale-gettext-perl (1.07-7build1) ... 560s Setting up sg3-utils (1.46-3ubuntu5) ... 560s Setting up python3-setuptools (75.2.0-1) ... 561s Setting up iproute2 (6.10.0-2ubuntu1) ... 561s Setting up vim-tiny (2:9.1.0777-1ubuntu1) ... 561s Setting up sg3-utils-udev (1.46-3ubuntu5) ... 562s update-initramfs: deferring update (trigger activated) 562s Setting up libperl5.40:armhf (5.40.0-6) ... 562s Setting up perl (5.40.0-6) ... 562s Processing triggers for dbus (1.14.10-4ubuntu5) ... 562s Processing triggers for install-info (7.1.1-1) ... 562s Processing triggers for initramfs-tools (0.142ubuntu34) ... 562s Processing triggers for libc-bin (2.40-1ubuntu3) ... 562s Processing triggers for man-db (2.12.1-3) ... 563s Processing triggers for plymouth-theme-ubuntu-text (24.004.60-1ubuntu10) ... 563s update-initramfs: deferring update (trigger activated) 563s Processing triggers for initramfs-tools (0.142ubuntu34) ... 564s Reading package lists... 564s Building dependency tree... 564s Reading state information... 565s The following packages will be REMOVED: 565s libperl5.38t64* perl-modules-5.38* 565s 0 upgraded, 0 newly installed, 2 to remove and 0 not upgraded. 565s After this operation, 41.6 MB disk space will be freed. 565s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 61471 files and directories currently installed.) 565s Removing libperl5.38t64:armhf (5.38.2-5) ... 565s Removing perl-modules-5.38 (5.38.2-5) ... 565s Processing triggers for man-db (2.12.1-3) ... 565s Processing triggers for libc-bin (2.40-1ubuntu3) ... 568s autopkgtest [11:30:08]: rebooting testbed after setup commands that affected boot 673s Reading package lists... 673s Building dependency tree... 673s Reading state information... 674s Starting pkgProblemResolver with broken count: 0 674s Starting 2 pkgProblemResolver with broken count: 0 674s Done 675s The following additional packages will be installed: 675s build-essential cpp cpp-14 cpp-14-arm-linux-gnueabihf 675s cpp-arm-linux-gnueabihf g++ g++-14 g++-14-arm-linux-gnueabihf 675s g++-arm-linux-gnueabihf gcc gcc-14 gcc-14-arm-linux-gnueabihf 675s gcc-arm-linux-gnueabihf libasan8 libc-dev-bin libc6-dev libcc1-0 675s libcrypt-dev libgcc-14-dev libgomp1 libisl23 libmpc3 libstdc++-14-dev 675s libubsan1 libz3-4 libz3-dev linux-libc-dev python3-z3 rpcsvc-proto z3 675s Suggested packages: 675s cpp-doc gcc-14-locales cpp-14-doc gcc-14-doc gcc-multilib manpages-dev 675s autoconf automake libtool flex bison gdb gcc-doc gdb-arm-linux-gnueabihf 675s libc-devtools glibc-doc libstdc++-14-doc 675s Recommended packages: 675s manpages manpages-dev 675s The following NEW packages will be installed: 675s autopkgtest-satdep build-essential cpp cpp-14 cpp-14-arm-linux-gnueabihf 675s cpp-arm-linux-gnueabihf g++ g++-14 g++-14-arm-linux-gnueabihf 675s g++-arm-linux-gnueabihf gcc gcc-14 gcc-14-arm-linux-gnueabihf 675s gcc-arm-linux-gnueabihf libasan8 libc-dev-bin libc6-dev libcc1-0 675s libcrypt-dev libgcc-14-dev libgomp1 libisl23 libmpc3 libstdc++-14-dev 675s libubsan1 libz3-4 libz3-dev linux-libc-dev python3-z3 rpcsvc-proto z3 675s 0 upgraded, 31 newly installed, 0 to remove and 0 not upgraded. 675s Need to get 64.1 MB/64.1 MB of archives. 675s After this operation, 176 MB of additional disk space will be used. 675s Get:1 /tmp/autopkgtest.jFhUtU/5-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [728 B] 675s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf libc-dev-bin armhf 2.40-1ubuntu3 [19.2 kB] 675s Get:3 http://ftpmaster.internal/ubuntu plucky/main armhf linux-libc-dev armhf 6.11.0-8.8 [1628 kB] 675s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf libcrypt-dev armhf 1:4.4.36-4build1 [120 kB] 675s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf rpcsvc-proto armhf 1.4.2-0ubuntu7 [62.2 kB] 675s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf libc6-dev armhf 2.40-1ubuntu3 [1370 kB] 675s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf libisl23 armhf 0.27-1 [546 kB] 675s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf libmpc3 armhf 1.3.1-1build2 [47.1 kB] 675s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14-arm-linux-gnueabihf armhf 14.2.0-7ubuntu1 [9219 kB] 676s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-14 armhf 14.2.0-7ubuntu1 [1030 B] 676s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf cpp-arm-linux-gnueabihf armhf 4:14.1.0-2ubuntu1 [5464 B] 676s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf cpp armhf 4:14.1.0-2ubuntu1 [22.4 kB] 676s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf libcc1-0 armhf 14.2.0-7ubuntu1 [43.3 kB] 676s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf libgomp1 armhf 14.2.0-7ubuntu1 [125 kB] 676s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf libasan8 armhf 14.2.0-7ubuntu1 [2901 kB] 676s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf libubsan1 armhf 14.2.0-7ubuntu1 [1150 kB] 676s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf libgcc-14-dev armhf 14.2.0-7ubuntu1 [897 kB] 676s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14-arm-linux-gnueabihf armhf 14.2.0-7ubuntu1 [18.0 MB] 676s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-14 armhf 14.2.0-7ubuntu1 [495 kB] 676s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf gcc-arm-linux-gnueabihf armhf 4:14.1.0-2ubuntu1 [1222 B] 676s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf gcc armhf 4:14.1.0-2ubuntu1 [5002 B] 676s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf libstdc++-14-dev armhf 14.2.0-7ubuntu1 [2567 kB] 676s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14-arm-linux-gnueabihf armhf 14.2.0-7ubuntu1 [10.5 MB] 677s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf g++-14 armhf 14.2.0-7ubuntu1 [19.8 kB] 677s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf g++-arm-linux-gnueabihf armhf 4:14.1.0-2ubuntu1 [968 B] 677s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf g++ armhf 4:14.1.0-2ubuntu1 [1084 B] 677s Get:27 http://ftpmaster.internal/ubuntu plucky/main armhf build-essential armhf 12.10ubuntu1 [4928 B] 677s Get:28 http://ftpmaster.internal/ubuntu plucky/universe armhf libz3-4 armhf 4.8.12-3.1build1 [7093 kB] 677s Get:29 http://ftpmaster.internal/ubuntu plucky/universe armhf libz3-dev armhf 4.8.12-3.1build1 [72.2 kB] 677s Get:30 http://ftpmaster.internal/ubuntu plucky/universe armhf python3-z3 armhf 4.8.12-3.1build1 [79.7 kB] 677s Get:31 http://ftpmaster.internal/ubuntu plucky/universe armhf z3 armhf 4.8.12-3.1build1 [7127 kB] 677s Fetched 64.1 MB in 2s (27.9 MB/s) 677s Selecting previously unselected package libc-dev-bin. 678s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 59541 files and directories currently installed.) 678s Preparing to unpack .../00-libc-dev-bin_2.40-1ubuntu3_armhf.deb ... 678s Unpacking libc-dev-bin (2.40-1ubuntu3) ... 678s Selecting previously unselected package linux-libc-dev:armhf. 678s Preparing to unpack .../01-linux-libc-dev_6.11.0-8.8_armhf.deb ... 678s Unpacking linux-libc-dev:armhf (6.11.0-8.8) ... 678s Selecting previously unselected package libcrypt-dev:armhf. 678s Preparing to unpack .../02-libcrypt-dev_1%3a4.4.36-4build1_armhf.deb ... 678s Unpacking libcrypt-dev:armhf (1:4.4.36-4build1) ... 678s Selecting previously unselected package rpcsvc-proto. 678s Preparing to unpack .../03-rpcsvc-proto_1.4.2-0ubuntu7_armhf.deb ... 678s Unpacking rpcsvc-proto (1.4.2-0ubuntu7) ... 678s Selecting previously unselected package libc6-dev:armhf. 678s Preparing to unpack .../04-libc6-dev_2.40-1ubuntu3_armhf.deb ... 678s Unpacking libc6-dev:armhf (2.40-1ubuntu3) ... 678s Selecting previously unselected package libisl23:armhf. 678s Preparing to unpack .../05-libisl23_0.27-1_armhf.deb ... 678s Unpacking libisl23:armhf (0.27-1) ... 678s Selecting previously unselected package libmpc3:armhf. 678s Preparing to unpack .../06-libmpc3_1.3.1-1build2_armhf.deb ... 678s Unpacking libmpc3:armhf (1.3.1-1build2) ... 678s Selecting previously unselected package cpp-14-arm-linux-gnueabihf. 678s Preparing to unpack .../07-cpp-14-arm-linux-gnueabihf_14.2.0-7ubuntu1_armhf.deb ... 678s Unpacking cpp-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 678s Selecting previously unselected package cpp-14. 678s Preparing to unpack .../08-cpp-14_14.2.0-7ubuntu1_armhf.deb ... 678s Unpacking cpp-14 (14.2.0-7ubuntu1) ... 678s Selecting previously unselected package cpp-arm-linux-gnueabihf. 678s Preparing to unpack .../09-cpp-arm-linux-gnueabihf_4%3a14.1.0-2ubuntu1_armhf.deb ... 678s Unpacking cpp-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 678s Selecting previously unselected package cpp. 678s Preparing to unpack .../10-cpp_4%3a14.1.0-2ubuntu1_armhf.deb ... 678s Unpacking cpp (4:14.1.0-2ubuntu1) ... 678s Selecting previously unselected package libcc1-0:armhf. 678s Preparing to unpack .../11-libcc1-0_14.2.0-7ubuntu1_armhf.deb ... 678s Unpacking libcc1-0:armhf (14.2.0-7ubuntu1) ... 678s Selecting previously unselected package libgomp1:armhf. 678s Preparing to unpack .../12-libgomp1_14.2.0-7ubuntu1_armhf.deb ... 678s Unpacking libgomp1:armhf (14.2.0-7ubuntu1) ... 678s Selecting previously unselected package libasan8:armhf. 678s Preparing to unpack .../13-libasan8_14.2.0-7ubuntu1_armhf.deb ... 678s Unpacking libasan8:armhf (14.2.0-7ubuntu1) ... 679s Selecting previously unselected package libubsan1:armhf. 679s Preparing to unpack .../14-libubsan1_14.2.0-7ubuntu1_armhf.deb ... 679s Unpacking libubsan1:armhf (14.2.0-7ubuntu1) ... 679s Selecting previously unselected package libgcc-14-dev:armhf. 679s Preparing to unpack .../15-libgcc-14-dev_14.2.0-7ubuntu1_armhf.deb ... 679s Unpacking libgcc-14-dev:armhf (14.2.0-7ubuntu1) ... 679s Selecting previously unselected package gcc-14-arm-linux-gnueabihf. 679s Preparing to unpack .../16-gcc-14-arm-linux-gnueabihf_14.2.0-7ubuntu1_armhf.deb ... 679s Unpacking gcc-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 679s Selecting previously unselected package gcc-14. 679s Preparing to unpack .../17-gcc-14_14.2.0-7ubuntu1_armhf.deb ... 679s Unpacking gcc-14 (14.2.0-7ubuntu1) ... 679s Selecting previously unselected package gcc-arm-linux-gnueabihf. 679s Preparing to unpack .../18-gcc-arm-linux-gnueabihf_4%3a14.1.0-2ubuntu1_armhf.deb ... 679s Unpacking gcc-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 679s Selecting previously unselected package gcc. 679s Preparing to unpack .../19-gcc_4%3a14.1.0-2ubuntu1_armhf.deb ... 679s Unpacking gcc (4:14.1.0-2ubuntu1) ... 679s Selecting previously unselected package libstdc++-14-dev:armhf. 679s Preparing to unpack .../20-libstdc++-14-dev_14.2.0-7ubuntu1_armhf.deb ... 679s Unpacking libstdc++-14-dev:armhf (14.2.0-7ubuntu1) ... 680s Selecting previously unselected package g++-14-arm-linux-gnueabihf. 680s Preparing to unpack .../21-g++-14-arm-linux-gnueabihf_14.2.0-7ubuntu1_armhf.deb ... 680s Unpacking g++-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 680s Selecting previously unselected package g++-14. 680s Preparing to unpack .../22-g++-14_14.2.0-7ubuntu1_armhf.deb ... 680s Unpacking g++-14 (14.2.0-7ubuntu1) ... 680s Selecting previously unselected package g++-arm-linux-gnueabihf. 680s Preparing to unpack .../23-g++-arm-linux-gnueabihf_4%3a14.1.0-2ubuntu1_armhf.deb ... 680s Unpacking g++-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 680s Selecting previously unselected package g++. 680s Preparing to unpack .../24-g++_4%3a14.1.0-2ubuntu1_armhf.deb ... 680s Unpacking g++ (4:14.1.0-2ubuntu1) ... 680s Selecting previously unselected package build-essential. 680s Preparing to unpack .../25-build-essential_12.10ubuntu1_armhf.deb ... 680s Unpacking build-essential (12.10ubuntu1) ... 680s Selecting previously unselected package libz3-4:armhf. 680s Preparing to unpack .../26-libz3-4_4.8.12-3.1build1_armhf.deb ... 680s Unpacking libz3-4:armhf (4.8.12-3.1build1) ... 680s Selecting previously unselected package libz3-dev:armhf. 680s Preparing to unpack .../27-libz3-dev_4.8.12-3.1build1_armhf.deb ... 680s Unpacking libz3-dev:armhf (4.8.12-3.1build1) ... 680s Selecting previously unselected package python3-z3. 680s Preparing to unpack .../28-python3-z3_4.8.12-3.1build1_armhf.deb ... 680s Unpacking python3-z3 (4.8.12-3.1build1) ... 680s Selecting previously unselected package z3. 680s Preparing to unpack .../29-z3_4.8.12-3.1build1_armhf.deb ... 680s Unpacking z3 (4.8.12-3.1build1) ... 680s Selecting previously unselected package autopkgtest-satdep. 680s Preparing to unpack .../30-5-autopkgtest-satdep.deb ... 680s Unpacking autopkgtest-satdep (0) ... 681s Setting up linux-libc-dev:armhf (6.11.0-8.8) ... 681s Setting up libgomp1:armhf (14.2.0-7ubuntu1) ... 681s Setting up z3 (4.8.12-3.1build1) ... 681s Setting up libz3-4:armhf (4.8.12-3.1build1) ... 681s Setting up rpcsvc-proto (1.4.2-0ubuntu7) ... 681s Setting up libmpc3:armhf (1.3.1-1build2) ... 681s Setting up libubsan1:armhf (14.2.0-7ubuntu1) ... 681s Setting up libcrypt-dev:armhf (1:4.4.36-4build1) ... 681s Setting up libasan8:armhf (14.2.0-7ubuntu1) ... 681s Setting up libgcc-14-dev:armhf (14.2.0-7ubuntu1) ... 681s Setting up libisl23:armhf (0.27-1) ... 681s Setting up libc-dev-bin (2.40-1ubuntu3) ... 681s Setting up libcc1-0:armhf (14.2.0-7ubuntu1) ... 681s Setting up cpp-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 681s Setting up libz3-dev:armhf (4.8.12-3.1build1) ... 681s Setting up gcc-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 681s Setting up cpp-14 (14.2.0-7ubuntu1) ... 681s Setting up libc6-dev:armhf (2.40-1ubuntu3) ... 681s Setting up libstdc++-14-dev:armhf (14.2.0-7ubuntu1) ... 681s Setting up cpp-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 681s Setting up gcc-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 681s Setting up python3-z3 (4.8.12-3.1build1) ... 681s Setting up g++-14-arm-linux-gnueabihf (14.2.0-7ubuntu1) ... 681s Setting up gcc-14 (14.2.0-7ubuntu1) ... 681s Setting up cpp (4:14.1.0-2ubuntu1) ... 681s Setting up g++-14 (14.2.0-7ubuntu1) ... 681s Setting up g++-arm-linux-gnueabihf (4:14.1.0-2ubuntu1) ... 681s Setting up gcc (4:14.1.0-2ubuntu1) ... 681s Setting up g++ (4:14.1.0-2ubuntu1) ... 681s update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode 681s Setting up build-essential (12.10ubuntu1) ... 681s Setting up autopkgtest-satdep (0) ... 681s Processing triggers for man-db (2.12.1-3) ... 682s Processing triggers for libc-bin (2.40-1ubuntu3) ... 697s (Reading database ... 62300 files and directories currently installed.) 697s Removing autopkgtest-satdep (0) ... 709s autopkgtest [11:32:29]: test z3-int-logic-test: [----------------------- 712s autopkgtest [11:32:32]: test z3-int-logic-test: -----------------------] 716s z3-int-logic-test PASS 716s autopkgtest [11:32:36]: test z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 720s autopkgtest [11:32:40]: test python3-z3-int-logic-test: preparing testbed 730s Reading package lists... 730s Building dependency tree... 730s Reading state information... 731s Starting pkgProblemResolver with broken count: 0 731s Starting 2 pkgProblemResolver with broken count: 0 731s Done 732s The following NEW packages will be installed: 732s autopkgtest-satdep 732s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 732s Need to get 0 B/736 B of archives. 732s After this operation, 0 B of additional disk space will be used. 732s Get:1 /tmp/autopkgtest.jFhUtU/6-autopkgtest-satdep.deb autopkgtest-satdep armhf 0 [736 B] 732s Selecting previously unselected package autopkgtest-satdep. 732s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 62300 files and directories currently installed.) 732s Preparing to unpack .../6-autopkgtest-satdep.deb ... 732s Unpacking autopkgtest-satdep (0) ... 732s Setting up autopkgtest-satdep (0) ... 746s (Reading database ... 62300 files and directories currently installed.) 746s Removing autopkgtest-satdep (0) ... 752s autopkgtest [11:33:12]: test python3-z3-int-logic-test: [----------------------- 755s autopkgtest [11:33:15]: test python3-z3-int-logic-test: -----------------------] 759s autopkgtest [11:33:19]: test python3-z3-int-logic-test: - - - - - - - - - - results - - - - - - - - - - 759s python3-z3-int-logic-test PASS 763s autopkgtest [11:33:23]: @@@@@@@@@@@@@@@@@@@@ summary 763s import-z3-test PASS (superficial) 763s include-z3-test PASS (superficial) 763s run-z3-test PASS (superficial) 763s pkg-config-test PASS (superficial) 763s z3-int-logic-test PASS 763s python3-z3-int-logic-test PASS