https://launchpad.net/ubuntu/+source/coq-elpi/1.12.1-1build1/+build/23095315 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos02-s390x-012 4.15.0-167-generic #175-Ubuntu SMP Wed Jan 5 01:56:16 UTC 2022 s390x Buildd toolchain package versions: launchpad-buildd_207~522~ubuntu18.04.1 python3-lpbuildd_207~522~ubuntu18.04.1 sbuild_0.75.0-1ubuntu1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu16.04.1 bzr_2.7.0+bzr6622-10 git-build-recipe_0.3.6~git201906051340.ff11471~ubuntu18.04.1 git_1:2.17.1-1ubuntu0.9 dpkg-dev_1.19.0.5ubuntu2.3 python-debian_0.1.32 python3-debian_0.1.32. Syncing the system clock with the buildd NTP service... 6 Feb 12:28:08 ntpdate[1716]: adjust time server 10.211.37.1 offset -0.000300 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=jammy --arch=s390x PACKAGEBUILD-23095315 --image-type chroot /home/buildd/filecache-default/63391afefe2c3c1f68eb13dcf1e745f5d0398db6 Creating target for build PACKAGEBUILD-23095315 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=jammy --arch=s390x PACKAGEBUILD-23095315 Starting target for build PACKAGEBUILD-23095315 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=jammy --arch=s390x PACKAGEBUILD-23095315 'deb http://ftpmaster.internal/ubuntu jammy main universe' 'deb http://ftpmaster.internal/ubuntu jammy-security main universe' 'deb http://ftpmaster.internal/ubuntu jammy-updates main universe' 'deb http://ftpmaster.internal/ubuntu jammy-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-23095315 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=jammy --arch=s390x PACKAGEBUILD-23095315 Updating target for build PACKAGEBUILD-23095315 Get:1 http://ftpmaster.internal/ubuntu jammy InRelease [270 kB] Get:2 http://ftpmaster.internal/ubuntu jammy-security InRelease [90.7 kB] Get:3 http://ftpmaster.internal/ubuntu jammy-updates InRelease [90.7 kB] Get:4 http://ftpmaster.internal/ubuntu jammy-proposed InRelease [121 kB] Get:5 http://ftpmaster.internal/ubuntu jammy/main s390x Packages [1342 kB] Get:6 http://ftpmaster.internal/ubuntu jammy/main Translation-en [513 kB] Get:7 http://ftpmaster.internal/ubuntu jammy/universe s390x Packages [12.8 MB] Get:8 http://ftpmaster.internal/ubuntu jammy/universe Translation-en [5605 kB] Get:9 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x Packages [197 kB] Get:10 http://ftpmaster.internal/ubuntu jammy-proposed/main Translation-en [59.8 kB] Get:11 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x Packages [857 kB] Get:12 http://ftpmaster.internal/ubuntu jammy-proposed/universe Translation-en [397 kB] Fetched 22.3 MB in 5s (4950 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following package was automatically installed and is no longer required: libssl1.1 Use 'sudo apt autoremove' to remove it. The following packages will be REMOVED: libsemanage1* The following NEW packages will be installed: libsemanage2 libsepol2 libssl3 The following packages will be upgraded: apt base-files bash binutils binutils-common binutils-s390x-linux-gnu bsdutils bzip2 ca-certificates cpp-11 dash debconf debianutils dpkg dpkg-dev e2fsprogs fakeroot g++-11 gcc-11 gcc-11-base gpg gpg-agent gpgconf gpgv grep init init-system-helpers libacl1 libapparmor1 libapt-pkg6.0 libasan6 libatomic1 libattr1 libbinutils libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcc1-0 libcom-err2 libcrypt-dev libcrypt1 libcryptsetup12 libctf-nobfd0 libctf0 libdebconfclient0 libdpkg-perl libext2fs2 libfakeroot libffi8 libgcc-11-dev libgcc-s1 libgcrypt20 libgdbm-compat4 libgdbm6 libgmp10 libgnutls30 libgomp1 libgpg-error0 libgssapi-krb5-2 libidn2-0 libip4tc2 libisl23 libitm1 libk5crypto3 libkmod2 libkrb5-3 libkrb5support0 libmount1 libmpc3 libncurses6 libncursesw6 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre2-8-0 libperl5.32 libreadline8 libseccomp2 libselinux1 libsemanage-common libsmartcols1 libsqlite3-0 libss2 libstdc++-11-dev libstdc++6 libsystemd0 libtasn1-6 libtinfo6 libubsan1 libudev1 libuuid1 libxxhash0 libzstd1 linux-libc-dev lockfile-progs login logsave lto-disabled-list make mawk mount ncurses-base ncurses-bin openssl passwd perl perl-base perl-modules-5.32 pkgbinarymangler readline-common sed sensible-utils systemd systemd-sysv systemd-timesyncd sysvinit-utils tzdata usrmerge util-linux 125 upgraded, 3 newly installed, 1 to remove and 0 not upgraded. Need to get 84.3 MB of archives. After this operation, 311 MB disk space will be freed. Get:1 http://ftpmaster.internal/ubuntu jammy/main s390x libcrypt-dev s390x 1:4.4.27-1 [114 kB] Get:2 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libc6-dev s390x 2.35-0ubuntu1 [1499 kB] Get:3 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libc-dev-bin s390x 2.35-0ubuntu1 [20.1 kB] Get:4 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libc6 s390x 2.35-0ubuntu1 [2713 kB] Get:5 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libc-bin s390x 2.35-0ubuntu1 [609 kB] Get:6 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libperl5.32 s390x 5.32.1-6ubuntu1 [4691 kB] Get:7 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x perl s390x 5.32.1-6ubuntu1 [227 kB] Get:8 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x perl-base s390x 5.32.1-6ubuntu1 [1700 kB] Get:9 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x perl-modules-5.32 all 5.32.1-6ubuntu1 [2944 kB] Get:10 http://ftpmaster.internal/ubuntu jammy/main s390x bzip2 s390x 1.0.8-5 [34.4 kB] Get:11 http://ftpmaster.internal/ubuntu jammy/main s390x libbz2-1.0 s390x 1.0.8-5 [35.9 kB] Get:12 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libgdbm6 s390x 1.23-1 [34.2 kB] Get:13 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libgdbm-compat4 s390x 1.23-1 [6662 B] Get:14 http://ftpmaster.internal/ubuntu jammy/main s390x debconf all 1.5.79 [126 kB] Get:15 http://ftpmaster.internal/ubuntu jammy/main s390x libpam0g s390x 1.4.0-10ubuntu2 [60.3 kB] Get:16 http://ftpmaster.internal/ubuntu jammy/main s390x libcrypt1 s390x 1:4.4.27-1 [85.1 kB] Get:17 http://ftpmaster.internal/ubuntu jammy/main s390x linux-libc-dev s390x 5.15.0-18.18 [1253 kB] Get:18 http://ftpmaster.internal/ubuntu jammy/main s390x libcc1-0 s390x 11.2.0-16ubuntu1 [52.9 kB] Get:19 http://ftpmaster.internal/ubuntu jammy/main s390x libctf0 s390x 2.37.90.20220130-0ubuntu2 [99.4 kB] Get:20 http://ftpmaster.internal/ubuntu jammy/main s390x libctf-nobfd0 s390x 2.37.90.20220130-0ubuntu2 [100 kB] Get:21 http://ftpmaster.internal/ubuntu jammy/main s390x binutils-s390x-linux-gnu s390x 2.37.90.20220130-0ubuntu2 [2214 kB] Get:22 http://ftpmaster.internal/ubuntu jammy/main s390x libbinutils s390x 2.37.90.20220130-0ubuntu2 [462 kB] Get:23 http://ftpmaster.internal/ubuntu jammy/main s390x binutils-common s390x 2.37.90.20220130-0ubuntu2 [221 kB] Get:24 http://ftpmaster.internal/ubuntu jammy/main s390x binutils s390x 2.37.90.20220130-0ubuntu2 [3162 B] Get:25 http://ftpmaster.internal/ubuntu jammy/main s390x gcc-11-base s390x 11.2.0-16ubuntu1 [20.9 kB] Get:26 http://ftpmaster.internal/ubuntu jammy/main s390x libgcc-s1 s390x 11.2.0-16ubuntu1 [28.5 kB] Get:27 http://ftpmaster.internal/ubuntu jammy/main s390x libgomp1 s390x 11.2.0-16ubuntu1 [113 kB] Get:28 http://ftpmaster.internal/ubuntu jammy/main s390x libitm1 s390x 11.2.0-16ubuntu1 [29.8 kB] Get:29 http://ftpmaster.internal/ubuntu jammy/main s390x libatomic1 s390x 11.2.0-16ubuntu1 [9100 B] Get:30 http://ftpmaster.internal/ubuntu jammy/main s390x libasan6 s390x 11.2.0-16ubuntu1 [2244 kB] Get:31 http://ftpmaster.internal/ubuntu jammy/main s390x libubsan1 s390x 11.2.0-16ubuntu1 [911 kB] Get:32 http://ftpmaster.internal/ubuntu jammy/main s390x g++-11 s390x 11.2.0-16ubuntu1 [9163 kB] Get:33 http://ftpmaster.internal/ubuntu jammy/main s390x libstdc++-11-dev s390x 11.2.0-16ubuntu1 [2120 kB] Get:34 http://ftpmaster.internal/ubuntu jammy/main s390x libgcc-11-dev s390x 11.2.0-16ubuntu1 [826 kB] Get:35 http://ftpmaster.internal/ubuntu jammy/main s390x gcc-11 s390x 11.2.0-16ubuntu1 [15.7 MB] Get:36 http://ftpmaster.internal/ubuntu jammy/main s390x cpp-11 s390x 11.2.0-16ubuntu1 [7841 kB] Get:37 http://ftpmaster.internal/ubuntu jammy/main s390x libstdc++6 s390x 11.2.0-16ubuntu1 [689 kB] Get:38 http://ftpmaster.internal/ubuntu jammy/main s390x libgmp10 s390x 2:6.2.1+dfsg-3ubuntu1 [265 kB] Get:39 http://ftpmaster.internal/ubuntu jammy/main s390x libisl23 s390x 0.24-2 [699 kB] Get:40 http://ftpmaster.internal/ubuntu jammy/main s390x libmpc3 s390x 1.2.1-1 [47.6 kB] Get:41 http://ftpmaster.internal/ubuntu jammy/main s390x libzstd1 s390x 1.4.8+dfsg-3 [317 kB] Get:42 http://ftpmaster.internal/ubuntu jammy/main s390x base-files s390x 12ubuntu2 [63.3 kB] Get:43 http://ftpmaster.internal/ubuntu jammy/main s390x debianutils s390x 5.5-1ubuntu1 [107 kB] Get:44 http://ftpmaster.internal/ubuntu jammy/main s390x bash s390x 5.1-6ubuntu1 [758 kB] Get:45 http://ftpmaster.internal/ubuntu jammy/main s390x bsdutils s390x 1:2.37.2-4ubuntu1 [81.0 kB] Get:46 http://ftpmaster.internal/ubuntu jammy/main s390x libgpg-error0 s390x 1.43-3 [69.5 kB] Get:47 http://ftpmaster.internal/ubuntu jammy/main s390x libgcrypt20 s390x 1.9.4-3ubuntu2 [457 kB] Get:48 http://ftpmaster.internal/ubuntu jammy/main s390x libssl3 s390x 3.0.1-0ubuntu1 [1572 kB] Get:49 http://ftpmaster.internal/ubuntu jammy/main s390x libblkid1 s390x 2.37.2-4ubuntu1 [100 kB] Get:50 http://ftpmaster.internal/ubuntu jammy/main s390x libuuid1 s390x 2.37.2-4ubuntu1 [23.9 kB] Get:51 http://ftpmaster.internal/ubuntu jammy/main s390x libcryptsetup12 s390x 2:2.4.3-1ubuntu1 [200 kB] Get:52 http://ftpmaster.internal/ubuntu jammy/main s390x libidn2-0 s390x 2.3.2-2 [66.3 kB] Get:53 http://ftpmaster.internal/ubuntu jammy/main s390x libffi8 s390x 3.4.2-4 [19.7 kB] Get:54 http://ftpmaster.internal/ubuntu jammy/main s390x libp11-kit0 s390x 0.24.0-6 [258 kB] Get:55 http://ftpmaster.internal/ubuntu jammy/main s390x libtasn1-6 s390x 4.18.0-4 [43.3 kB] Get:56 http://ftpmaster.internal/ubuntu jammy/main s390x libgnutls30 s390x 3.7.3-4ubuntu1 [876 kB] Get:57 http://ftpmaster.internal/ubuntu jammy/main s390x systemd-sysv s390x 249.9-0ubuntu2 [10.5 kB] Get:58 http://ftpmaster.internal/ubuntu jammy/main s390x systemd-timesyncd s390x 249.9-0ubuntu2 [29.4 kB] Get:59 http://ftpmaster.internal/ubuntu jammy/main s390x libacl1 s390x 2.3.1-1 [16.4 kB] Get:60 http://ftpmaster.internal/ubuntu jammy/main s390x libapparmor1 s390x 3.0.3-0ubuntu5 [37.5 kB] Get:61 http://ftpmaster.internal/ubuntu jammy/main s390x libip4tc2 s390x 1.8.7-1ubuntu4 [19.5 kB] Get:62 http://ftpmaster.internal/ubuntu jammy/main s390x libkmod2 s390x 29-1ubuntu1 [46.9 kB] Get:63 http://ftpmaster.internal/ubuntu jammy/main s390x libpcre2-8-0 s390x 10.39-3 [198 kB] Get:64 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libselinux1 s390x 3.3-1build1 [74.6 kB] Get:65 http://ftpmaster.internal/ubuntu jammy/main s390x libmount1 s390x 2.37.2-4ubuntu1 [119 kB] Get:66 http://ftpmaster.internal/ubuntu jammy/main s390x libseccomp2 s390x 2.5.2-2ubuntu2 [48.1 kB] Get:67 http://ftpmaster.internal/ubuntu jammy/main s390x login s390x 1:4.8.1-2ubuntu1 [187 kB] Get:68 http://ftpmaster.internal/ubuntu jammy/main s390x util-linux s390x 2.37.2-4ubuntu1 [1055 kB] Get:69 http://ftpmaster.internal/ubuntu jammy/main s390x mount s390x 2.37.2-4ubuntu1 [113 kB] Get:70 http://ftpmaster.internal/ubuntu jammy/main s390x systemd s390x 249.9-0ubuntu2 [4309 kB] Get:71 http://ftpmaster.internal/ubuntu jammy/main s390x libsystemd0 s390x 249.9-0ubuntu2 [311 kB] Get:72 http://ftpmaster.internal/ubuntu jammy/main s390x libudev1 s390x 249.9-0ubuntu2 [78.5 kB] Get:73 http://ftpmaster.internal/ubuntu jammy/main s390x libxxhash0 s390x 0.8.1-1 [21.3 kB] Get:74 http://ftpmaster.internal/ubuntu jammy/main s390x libapt-pkg6.0 s390x 2.3.15 [870 kB] Get:75 http://ftpmaster.internal/ubuntu jammy/main s390x dpkg s390x 1.21.1ubuntu1 [1231 kB] Get:76 http://ftpmaster.internal/ubuntu jammy/main s390x dash s390x 0.5.11+git20210903+057cd650a4ed-3 [92.2 kB] Get:77 http://ftpmaster.internal/ubuntu jammy/main s390x grep s390x 3.7-1 [156 kB] Get:78 http://ftpmaster.internal/ubuntu jammy/main s390x libncurses6 s390x 6.3-2 [109 kB] Get:79 http://ftpmaster.internal/ubuntu jammy/main s390x libncursesw6 s390x 6.3-2 [142 kB] Get:80 http://ftpmaster.internal/ubuntu jammy/main s390x libtinfo6 s390x 6.3-2 [103 kB] Get:81 http://ftpmaster.internal/ubuntu jammy/main s390x ncurses-bin s390x 6.3-2 [185 kB] Get:82 http://ftpmaster.internal/ubuntu jammy/main s390x sed s390x 4.8-1ubuntu1 [188 kB] Get:83 http://ftpmaster.internal/ubuntu jammy/main s390x init-system-helpers all 1.61 [39.3 kB] Get:84 http://ftpmaster.internal/ubuntu jammy/main s390x ncurses-base all 6.3-2 [20.1 kB] Get:85 http://ftpmaster.internal/ubuntu jammy/main s390x sysvinit-utils s390x 3.01-1ubuntu1 [20.8 kB] Get:86 http://ftpmaster.internal/ubuntu jammy/main s390x gpgv s390x 2.2.27-3ubuntu1 [133 kB] Get:87 http://ftpmaster.internal/ubuntu jammy/main s390x apt s390x 2.3.15 [1363 kB] Get:88 http://ftpmaster.internal/ubuntu jammy/main s390x libsepol2 s390x 3.3-1 [267 kB] Get:89 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libsemanage-common all 3.3-1build1 [10.0 kB] Get:90 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libsemanage2 s390x 3.3-1build1 [88.7 kB] Get:91 http://ftpmaster.internal/ubuntu jammy/main s390x passwd s390x 1:4.8.1-2ubuntu1 [764 kB] Get:92 http://ftpmaster.internal/ubuntu jammy/main s390x libpam-modules-bin s390x 1.4.0-10ubuntu2 [40.1 kB] Get:93 http://ftpmaster.internal/ubuntu jammy/main s390x libpam-modules s390x 1.4.0-10ubuntu2 [279 kB] Get:94 http://ftpmaster.internal/ubuntu jammy/main s390x logsave s390x 1.46.5-2ubuntu1 [10.6 kB] Get:95 http://ftpmaster.internal/ubuntu jammy/main s390x libext2fs2 s390x 1.46.5-2ubuntu1 [210 kB] Get:96 http://ftpmaster.internal/ubuntu jammy/main s390x e2fsprogs s390x 1.46.5-2ubuntu1 [584 kB] Get:97 http://ftpmaster.internal/ubuntu jammy/main s390x init s390x 1.61 [6102 B] Get:98 http://ftpmaster.internal/ubuntu jammy/main s390x libattr1 s390x 1:2.5.1-1 [13.3 kB] Get:99 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libcap-ng0 s390x 0.7.9-2.2build3 [11.5 kB] Get:100 http://ftpmaster.internal/ubuntu jammy/main s390x libcom-err2 s390x 1.46.5-2ubuntu1 [9704 B] Get:101 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libdebconfclient0 s390x 0.261ubuntu1 [7098 B] Get:102 http://ftpmaster.internal/ubuntu jammy/main s390x libk5crypto3 s390x 1.19.2-1 [88.4 kB] Get:103 http://ftpmaster.internal/ubuntu jammy/main s390x libkrb5support0 s390x 1.19.2-1 [32.3 kB] Get:104 http://ftpmaster.internal/ubuntu jammy/main s390x libkrb5-3 s390x 1.19.2-1 [349 kB] Get:105 http://ftpmaster.internal/ubuntu jammy/main s390x libgssapi-krb5-2 s390x 1.19.2-1 [138 kB] Get:106 http://ftpmaster.internal/ubuntu jammy/main s390x libpam-runtime all 1.4.0-10ubuntu2 [40.2 kB] Get:107 http://ftpmaster.internal/ubuntu jammy/main s390x libsmartcols1 s390x 2.37.2-4ubuntu1 [50.0 kB] Get:108 http://ftpmaster.internal/ubuntu jammy/main s390x libss2 s390x 1.46.5-2ubuntu1 [12.1 kB] Get:109 http://ftpmaster.internal/ubuntu jammy/main s390x mawk s390x 1.3.4.20200120-3 [100 kB] Get:110 http://ftpmaster.internal/ubuntu jammy/main s390x sensible-utils all 0.0.17 [20.1 kB] Get:111 http://ftpmaster.internal/ubuntu jammy/main s390x usrmerge all 25ubuntu2 [54.7 kB] Get:112 http://ftpmaster.internal/ubuntu jammy/main s390x openssl s390x 3.0.1-0ubuntu1 [1169 kB] Get:113 http://ftpmaster.internal/ubuntu jammy/main s390x ca-certificates all 20211016 [148 kB] Get:114 http://ftpmaster.internal/ubuntu jammy/main s390x readline-common all 8.1.2-1 [53.5 kB] Get:115 http://ftpmaster.internal/ubuntu jammy/main s390x libreadline8 s390x 8.1.2-1 [152 kB] Get:116 http://ftpmaster.internal/ubuntu jammy/main s390x libsqlite3-0 s390x 3.37.2-2 [631 kB] Get:117 http://ftpmaster.internal/ubuntu jammy/main s390x tzdata all 2021e-1ubuntu1 [343 kB] Get:118 http://ftpmaster.internal/ubuntu jammy/main s390x dpkg-dev all 1.21.1ubuntu1 [922 kB] Get:119 http://ftpmaster.internal/ubuntu jammy/main s390x libdpkg-perl all 1.21.1ubuntu1 [236 kB] Get:120 http://ftpmaster.internal/ubuntu jammy/main s390x make s390x 4.3-4ubuntu2 [181 kB] Get:121 http://ftpmaster.internal/ubuntu jammy/main s390x lto-disabled-list all 19 [12.2 kB] Get:122 http://ftpmaster.internal/ubuntu jammy/main s390x libfakeroot s390x 1.27-1ubuntu1 [30.2 kB] Get:123 http://ftpmaster.internal/ubuntu jammy/main s390x fakeroot s390x 1.27-1ubuntu1 [59.9 kB] Get:124 http://ftpmaster.internal/ubuntu jammy/main s390x gpg s390x 2.2.27-3ubuntu1 [505 kB] Get:125 http://ftpmaster.internal/ubuntu jammy/main s390x gpgconf s390x 2.2.27-3ubuntu1 [94.1 kB] Get:126 http://ftpmaster.internal/ubuntu jammy/main s390x gpg-agent s390x 2.2.27-3ubuntu1 [206 kB] Get:127 http://ftpmaster.internal/ubuntu jammy/main s390x lockfile-progs s390x 0.1.19 [9654 B] Get:128 http://ftpmaster.internal/ubuntu jammy/main s390x pkgbinarymangler all 149 [32.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 84.3 MB in 3s (25.6 MB/s) (Reading database ... 13030 files and directories currently installed.) Preparing to unpack .../libcrypt-dev_1%3a4.4.27-1_s390x.deb ... Unpacking libcrypt-dev:s390x (1:4.4.27-1) over (1:4.4.18-4ubuntu2) ... Preparing to unpack .../libc6-dev_2.35-0ubuntu1_s390x.deb ... Unpacking libc6-dev:s390x (2.35-0ubuntu1) over (2.34-0ubuntu3) ... Preparing to unpack .../libc-dev-bin_2.35-0ubuntu1_s390x.deb ... Unpacking libc-dev-bin (2.35-0ubuntu1) over (2.34-0ubuntu3) ... Preparing to unpack .../libc6_2.35-0ubuntu1_s390x.deb ... Unpacking libc6:s390x (2.35-0ubuntu1) over (2.34-0ubuntu3) ... Setting up libc6:s390x (2.35-0ubuntu1) ... (Reading database ... 13034 files and directories currently installed.) Preparing to unpack .../libc-bin_2.35-0ubuntu1_s390x.deb ... Unpacking libc-bin (2.35-0ubuntu1) over (2.34-0ubuntu3) ... Setting up libc-bin (2.35-0ubuntu1) ... (Reading database ... 13032 files and directories currently installed.) Preparing to unpack .../libperl5.32_5.32.1-6ubuntu1_s390x.deb ... Unpacking libperl5.32:s390x (5.32.1-6ubuntu1) over (5.32.1-3ubuntu3) ... Preparing to unpack .../perl_5.32.1-6ubuntu1_s390x.deb ... Unpacking perl (5.32.1-6ubuntu1) over (5.32.1-3ubuntu3) ... Preparing to unpack .../perl-base_5.32.1-6ubuntu1_s390x.deb ... Unpacking perl-base (5.32.1-6ubuntu1) over (5.32.1-3ubuntu3) ... Setting up perl-base (5.32.1-6ubuntu1) ... (Reading database ... 13044 files and directories currently installed.) Preparing to unpack .../perl-modules-5.32_5.32.1-6ubuntu1_all.deb ... Unpacking perl-modules-5.32 (5.32.1-6ubuntu1) over (5.32.1-3ubuntu3) ... Preparing to unpack .../bzip2_1.0.8-5_s390x.deb ... Unpacking bzip2 (1.0.8-5) over (1.0.8-4ubuntu4) ... Preparing to unpack .../libbz2-1.0_1.0.8-5_s390x.deb ... Unpacking libbz2-1.0:s390x (1.0.8-5) over (1.0.8-4ubuntu4) ... Setting up libbz2-1.0:s390x (1.0.8-5) ... (Reading database ... 13044 files and directories currently installed.) Preparing to unpack .../libgdbm6_1.23-1_s390x.deb ... Unpacking libgdbm6:s390x (1.23-1) over (1.19-2build1) ... Preparing to unpack .../libgdbm-compat4_1.23-1_s390x.deb ... Unpacking libgdbm-compat4:s390x (1.23-1) over (1.19-2build1) ... Preparing to unpack .../debconf_1.5.79_all.deb ... Unpacking debconf (1.5.79) over (1.5.77) ... Setting up debconf (1.5.79) ... (Reading database ... 13043 files and directories currently installed.) Preparing to unpack .../libpam0g_1.4.0-10ubuntu2_s390x.deb ... Unpacking libpam0g:s390x (1.4.0-10ubuntu2) over (1.3.1-5ubuntu11) ... Setting up libpam0g:s390x (1.4.0-10ubuntu2) ... Checking for services that may need to be restarted...Checking init scripts... Nothing to restart. (Reading database ... 13043 files and directories currently installed.) Preparing to unpack .../libcrypt1_1%3a4.4.27-1_s390x.deb ... Unpacking libcrypt1:s390x (1:4.4.27-1) over (1:4.4.18-4ubuntu2) ... Setting up libcrypt1:s390x (1:4.4.27-1) ... (Reading database ... 13043 files and directories currently installed.) Preparing to unpack .../0-linux-libc-dev_5.15.0-18.18_s390x.deb ... Unpacking linux-libc-dev:s390x (5.15.0-18.18) over (5.13.0-19.19) ... Preparing to unpack .../1-libcc1-0_11.2.0-16ubuntu1_s390x.deb ... Unpacking libcc1-0:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../2-libctf0_2.37.90.20220130-0ubuntu2_s390x.deb ... Unpacking libctf0:s390x (2.37.90.20220130-0ubuntu2) over (2.37-7ubuntu1) ... Preparing to unpack .../3-libctf-nobfd0_2.37.90.20220130-0ubuntu2_s390x.deb ... Unpacking libctf-nobfd0:s390x (2.37.90.20220130-0ubuntu2) over (2.37-7ubuntu1) ... Preparing to unpack .../4-binutils-s390x-linux-gnu_2.37.90.20220130-0ubuntu2_s390x.deb ... Unpacking binutils-s390x-linux-gnu (2.37.90.20220130-0ubuntu2) over (2.37-7ubuntu1) ... Preparing to unpack .../5-libbinutils_2.37.90.20220130-0ubuntu2_s390x.deb ... Unpacking libbinutils:s390x (2.37.90.20220130-0ubuntu2) over (2.37-7ubuntu1) ... Preparing to unpack .../6-binutils-common_2.37.90.20220130-0ubuntu2_s390x.deb ... Unpacking binutils-common:s390x (2.37.90.20220130-0ubuntu2) over (2.37-7ubuntu1) ... Preparing to unpack .../7-binutils_2.37.90.20220130-0ubuntu2_s390x.deb ... Unpacking binutils (2.37.90.20220130-0ubuntu2) over (2.37-7ubuntu1) ... Preparing to unpack .../8-gcc-11-base_11.2.0-16ubuntu1_s390x.deb ... Unpacking gcc-11-base:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Setting up gcc-11-base:s390x (11.2.0-16ubuntu1) ... (Reading database ... 13052 files and directories currently installed.) Preparing to unpack .../libgcc-s1_11.2.0-16ubuntu1_s390x.deb ... Unpacking libgcc-s1:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Setting up libgcc-s1:s390x (11.2.0-16ubuntu1) ... (Reading database ... 13052 files and directories currently installed.) Preparing to unpack .../00-libgomp1_11.2.0-16ubuntu1_s390x.deb ... Unpacking libgomp1:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../01-libitm1_11.2.0-16ubuntu1_s390x.deb ... Unpacking libitm1:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../02-libatomic1_11.2.0-16ubuntu1_s390x.deb ... Unpacking libatomic1:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../03-libasan6_11.2.0-16ubuntu1_s390x.deb ... Unpacking libasan6:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../04-libubsan1_11.2.0-16ubuntu1_s390x.deb ... Unpacking libubsan1:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../05-g++-11_11.2.0-16ubuntu1_s390x.deb ... Unpacking g++-11 (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../06-libstdc++-11-dev_11.2.0-16ubuntu1_s390x.deb ... Unpacking libstdc++-11-dev:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../07-libgcc-11-dev_11.2.0-16ubuntu1_s390x.deb ... Unpacking libgcc-11-dev:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../08-gcc-11_11.2.0-16ubuntu1_s390x.deb ... Unpacking gcc-11 (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../09-cpp-11_11.2.0-16ubuntu1_s390x.deb ... Unpacking cpp-11 (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Preparing to unpack .../10-libstdc++6_11.2.0-16ubuntu1_s390x.deb ... Unpacking libstdc++6:s390x (11.2.0-16ubuntu1) over (11.2.0-7ubuntu2) ... Setting up libstdc++6:s390x (11.2.0-16ubuntu1) ... (Reading database ... 13054 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.2.1+dfsg-3ubuntu1_s390x.deb ... Unpacking libgmp10:s390x (2:6.2.1+dfsg-3ubuntu1) over (2:6.2.1+dfsg-1ubuntu3) ... Setting up libgmp10:s390x (2:6.2.1+dfsg-3ubuntu1) ... (Reading database ... 13054 files and directories currently installed.) Preparing to unpack .../libisl23_0.24-2_s390x.deb ... Unpacking libisl23:s390x (0.24-2) over (0.24-1build1) ... Preparing to unpack .../libmpc3_1.2.1-1_s390x.deb ... Unpacking libmpc3:s390x (1.2.1-1) over (1.2.0-1build2) ... Preparing to unpack .../libzstd1_1.4.8+dfsg-3_s390x.deb ... Unpacking libzstd1:s390x (1.4.8+dfsg-3) over (1.4.8+dfsg-2.1build1) ... Setting up libzstd1:s390x (1.4.8+dfsg-3) ... (Reading database ... 13054 files and directories currently installed.) Preparing to unpack .../base-files_12ubuntu2_s390x.deb ... Unpacking base-files (12ubuntu2) over (12ubuntu1) ... Setting up base-files (12ubuntu2) ... (Reading database ... 13054 files and directories currently installed.) Preparing to unpack .../debianutils_5.5-1ubuntu1_s390x.deb ... Unpacking debianutils (5.5-1ubuntu1) over (4.11.2build1) ... Setting up debianutils (5.5-1ubuntu1) ... update-alternatives: using /usr/bin/which.debianutils to provide /usr/bin/which (which) in auto mode (Reading database ... 13058 files and directories currently installed.) Preparing to unpack .../bash_5.1-6ubuntu1_s390x.deb ... Unpacking bash (5.1-6ubuntu1) over (5.1-3ubuntu2) ... Setting up bash (5.1-6ubuntu1) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 13058 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.37.2-4ubuntu1_s390x.deb ... Unpacking bsdutils (1:2.37.2-4ubuntu1) over (1:2.36.1-8ubuntu1) ... Setting up bsdutils (1:2.37.2-4ubuntu1) ... (Reading database ... 13058 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.43-3_s390x.deb ... Unpacking libgpg-error0:s390x (1.43-3) over (1.38-2build2) ... Setting up libgpg-error0:s390x (1.43-3) ... (Reading database ... 13058 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.9.4-3ubuntu2_s390x.deb ... Unpacking libgcrypt20:s390x (1.9.4-3ubuntu2) over (1.8.7-5ubuntu2) ... Setting up libgcrypt20:s390x (1.9.4-3ubuntu2) ... Selecting previously unselected package libssl3:s390x. (Reading database ... 13058 files and directories currently installed.) Preparing to unpack .../libssl3_3.0.1-0ubuntu1_s390x.deb ... Unpacking libssl3:s390x (3.0.1-0ubuntu1) ... Setting up libssl3:s390x (3.0.1-0ubuntu1) ... (Reading database ... 13069 files and directories currently installed.) Preparing to unpack .../libblkid1_2.37.2-4ubuntu1_s390x.deb ... Unpacking libblkid1:s390x (2.37.2-4ubuntu1) over (2.36.1-8ubuntu1) ... Setting up libblkid1:s390x (2.37.2-4ubuntu1) ... (Reading database ... 13069 files and directories currently installed.) Preparing to unpack .../libuuid1_2.37.2-4ubuntu1_s390x.deb ... Unpacking libuuid1:s390x (2.37.2-4ubuntu1) over (2.36.1-8ubuntu1) ... Setting up libuuid1:s390x (2.37.2-4ubuntu1) ... (Reading database ... 13069 files and directories currently installed.) Preparing to unpack .../libcryptsetup12_2%3a2.4.3-1ubuntu1_s390x.deb ... Unpacking libcryptsetup12:s390x (2:2.4.3-1ubuntu1) over (2:2.3.6-0ubuntu1) ... Preparing to unpack .../libidn2-0_2.3.2-2_s390x.deb ... Unpacking libidn2-0:s390x (2.3.2-2) over (2.3.1-1build1) ... Setting up libidn2-0:s390x (2.3.2-2) ... (Reading database ... 13071 files and directories currently installed.) Preparing to unpack .../libffi8_3.4.2-4_s390x.deb ... Unpacking libffi8:s390x (3.4.2-4) over (3.4.2-1ubuntu5) ... Setting up libffi8:s390x (3.4.2-4) ... (Reading database ... 13071 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.24.0-6_s390x.deb ... Unpacking libp11-kit0:s390x (0.24.0-6) over (0.23.22-1build1) ... Setting up libp11-kit0:s390x (0.24.0-6) ... (Reading database ... 13071 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.18.0-4_s390x.deb ... Unpacking libtasn1-6:s390x (4.18.0-4) over (4.16.0-2build1) ... Setting up libtasn1-6:s390x (4.18.0-4) ... (Reading database ... 13071 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.7.3-4ubuntu1_s390x.deb ... Unpacking libgnutls30:s390x (3.7.3-4ubuntu1) over (3.7.1-5ubuntu1) ... Setting up libgnutls30:s390x (3.7.3-4ubuntu1) ... (Reading database ... 13071 files and directories currently installed.) Preparing to unpack .../systemd-sysv_249.9-0ubuntu2_s390x.deb ... Unpacking systemd-sysv (249.9-0ubuntu2) over (248.3-1ubuntu8) ... Preparing to unpack .../systemd-timesyncd_249.9-0ubuntu2_s390x.deb ... Unpacking systemd-timesyncd (249.9-0ubuntu2) over (248.3-1ubuntu8) ... Preparing to unpack .../libacl1_2.3.1-1_s390x.deb ... Unpacking libacl1:s390x (2.3.1-1) over (2.2.53-10ubuntu2) ... Setting up libacl1:s390x (2.3.1-1) ... (Reading database ... 13072 files and directories currently installed.) Preparing to unpack .../libapparmor1_3.0.3-0ubuntu5_s390x.deb ... Unpacking libapparmor1:s390x (3.0.3-0ubuntu5) over (3.0.3-0ubuntu1) ... Preparing to unpack .../libip4tc2_1.8.7-1ubuntu4_s390x.deb ... Unpacking libip4tc2:s390x (1.8.7-1ubuntu4) over (1.8.7-1ubuntu3) ... Preparing to unpack .../libkmod2_29-1ubuntu1_s390x.deb ... Unpacking libkmod2:s390x (29-1ubuntu1) over (28-1ubuntu4) ... Preparing to unpack .../libpcre2-8-0_10.39-3_s390x.deb ... Unpacking libpcre2-8-0:s390x (10.39-3) over (10.37-0ubuntu2) ... Setting up libpcre2-8-0:s390x (10.39-3) ... (Reading database ... 13072 files and directories currently installed.) Preparing to unpack .../libselinux1_3.3-1build1_s390x.deb ... Unpacking libselinux1:s390x (3.3-1build1) over (3.1-3build2) ... Setting up libselinux1:s390x (3.3-1build1) ... (Reading database ... 13072 files and directories currently installed.) Preparing to unpack .../libmount1_2.37.2-4ubuntu1_s390x.deb ... Unpacking libmount1:s390x (2.37.2-4ubuntu1) over (2.36.1-8ubuntu1) ... Setting up libmount1:s390x (2.37.2-4ubuntu1) ... (Reading database ... 13072 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.2-2ubuntu2_s390x.deb ... Unpacking libseccomp2:s390x (2.5.2-2ubuntu2) over (2.5.1-1ubuntu1) ... Setting up libseccomp2:s390x (2.5.2-2ubuntu2) ... (Reading database ... 13072 files and directories currently installed.) Preparing to unpack .../login_1%3a4.8.1-2ubuntu1_s390x.deb ... Unpacking login (1:4.8.1-2ubuntu1) over (1:4.8.1-1ubuntu9) ... Setting up login (1:4.8.1-2ubuntu1) ... (Reading database ... 13072 files and directories currently installed.) Preparing to unpack .../util-linux_2.37.2-4ubuntu1_s390x.deb ... Unpacking util-linux (2.37.2-4ubuntu1) over (2.36.1-8ubuntu1) ... Setting up util-linux (2.37.2-4ubuntu1) ... (Reading database ... 13067 files and directories currently installed.) Preparing to unpack .../mount_2.37.2-4ubuntu1_s390x.deb ... Unpacking mount (2.37.2-4ubuntu1) over (2.36.1-8ubuntu1) ... Preparing to unpack .../systemd_249.9-0ubuntu2_s390x.deb ... Unpacking systemd (249.9-0ubuntu2) over (248.3-1ubuntu8) ... Preparing to unpack .../libsystemd0_249.9-0ubuntu2_s390x.deb ... Unpacking libsystemd0:s390x (249.9-0ubuntu2) over (248.3-1ubuntu8) ... Setting up libsystemd0:s390x (249.9-0ubuntu2) ... (Reading database ... 13070 files and directories currently installed.) Preparing to unpack .../libudev1_249.9-0ubuntu2_s390x.deb ... Unpacking libudev1:s390x (249.9-0ubuntu2) over (248.3-1ubuntu8) ... Setting up libudev1:s390x (249.9-0ubuntu2) ... (Reading database ... 13070 files and directories currently installed.) Preparing to unpack .../libxxhash0_0.8.1-1_s390x.deb ... Unpacking libxxhash0:s390x (0.8.1-1) over (0.8.0-2build1) ... Setting up libxxhash0:s390x (0.8.1-1) ... (Reading database ... 13070 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.3.15_s390x.deb ... Unpacking libapt-pkg6.0:s390x (2.3.15) over (2.3.9) ... Setting up libapt-pkg6.0:s390x (2.3.15) ... (Reading database ... 13070 files and directories currently installed.) Preparing to unpack .../dpkg_1.21.1ubuntu1_s390x.deb ... Unpacking dpkg (1.21.1ubuntu1) over (1.20.9ubuntu2) ... Setting up dpkg (1.21.1ubuntu1) ... Installing new version of config file /etc/cron.daily/dpkg ... Created symlink /etc/systemd/system/timers.target.wants/dpkg-db-backup.timer -> /lib/systemd/system/dpkg-db-backup.timer. (Reading database ... 13076 files and directories currently installed.) Preparing to unpack .../dash_0.5.11+git20210903+057cd650a4ed-3_s390x.deb ... Unpacking dash (0.5.11+git20210903+057cd650a4ed-3) over (0.5.11+git20210120+802ebd4-1build1) ... Setting up dash (0.5.11+git20210903+057cd650a4ed-3) ... (Reading database ... 13076 files and directories currently installed.) Preparing to unpack .../archives/grep_3.7-1_s390x.deb ... Unpacking grep (3.7-1) over (3.7-0ubuntu1) ... Setting up grep (3.7-1) ... (Reading database ... 13076 files and directories currently installed.) Preparing to unpack .../libncurses6_6.3-2_s390x.deb ... Unpacking libncurses6:s390x (6.3-2) over (6.2+20201114-2build2) ... Preparing to unpack .../libncursesw6_6.3-2_s390x.deb ... Unpacking libncursesw6:s390x (6.3-2) over (6.2+20201114-2build2) ... Preparing to unpack .../libtinfo6_6.3-2_s390x.deb ... Unpacking libtinfo6:s390x (6.3-2) over (6.2+20201114-2build2) ... Setting up libtinfo6:s390x (6.3-2) ... (Reading database ... 13075 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.3-2_s390x.deb ... Unpacking ncurses-bin (6.3-2) over (6.2+20201114-2build2) ... Setting up ncurses-bin (6.3-2) ... (Reading database ... 13075 files and directories currently installed.) Preparing to unpack .../sed_4.8-1ubuntu1_s390x.deb ... Unpacking sed (4.8-1ubuntu1) over (4.7-1ubuntu2) ... Setting up sed (4.8-1ubuntu1) ... (Reading database ... 13075 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.61_all.deb ... Unpacking init-system-helpers (1.61) over (1.60build1) ... Setting up init-system-helpers (1.61) ... (Reading database ... 13075 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.3-2_all.deb ... Unpacking ncurses-base (6.3-2) over (6.2+20201114-2build2) ... Setting up ncurses-base (6.3-2) ... (Reading database ... 13076 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.01-1ubuntu1_s390x.deb ... Unpacking sysvinit-utils (3.01-1ubuntu1) over (2.96-7ubuntu2) ... Setting up sysvinit-utils (3.01-1ubuntu1) ... (Reading database ... 13076 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.27-3ubuntu1_s390x.deb ... Unpacking gpgv (2.2.27-3ubuntu1) over (2.2.20-1ubuntu4) ... Setting up gpgv (2.2.27-3ubuntu1) ... (Reading database ... 13076 files and directories currently installed.) Preparing to unpack .../archives/apt_2.3.15_s390x.deb ... Unpacking apt (2.3.15) over (2.3.9) ... Setting up apt (2.3.15) ... Installing new version of config file /etc/cron.daily/apt-compat ... Selecting previously unselected package libsepol2:s390x. (Reading database ... 13075 files and directories currently installed.) Preparing to unpack .../libsepol2_3.3-1_s390x.deb ... Unpacking libsepol2:s390x (3.3-1) ... Setting up libsepol2:s390x (3.3-1) ... (Reading database ... 13079 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.3-1build1_all.deb ... Unpacking libsemanage-common (3.3-1build1) over (3.1-1ubuntu3) ... Setting up libsemanage-common (3.3-1build1) ... Selecting previously unselected package libsemanage2:s390x. (Reading database ... 13079 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.3-1build1_s390x.deb ... Unpacking libsemanage2:s390x (3.3-1build1) ... Setting up libsemanage2:s390x (3.3-1build1) ... (Reading database ... 13083 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.8.1-2ubuntu1_s390x.deb ... Unpacking passwd (1:4.8.1-2ubuntu1) over (1:4.8.1-1ubuntu9) ... Setting up passwd (1:4.8.1-2ubuntu1) ... (Reading database ... 13090 files and directories currently installed.) Removing libsemanage1:s390x (3.1-1ubuntu3) ... (Reading database ... 13086 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.4.0-10ubuntu2_s390x.deb ... Unpacking libpam-modules-bin (1.4.0-10ubuntu2) over (1.3.1-5ubuntu11) ... Setting up libpam-modules-bin (1.4.0-10ubuntu2) ... (Reading database ... 13084 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.4.0-10ubuntu2_s390x.deb ... Unpacking libpam-modules:s390x (1.4.0-10ubuntu2) over (1.3.1-5ubuntu11) ... Setting up libpam-modules:s390x (1.4.0-10ubuntu2) ... Installing new version of config file /etc/security/namespace.conf ... Installing new version of config file /etc/security/pam_env.conf ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../logsave_1.46.5-2ubuntu1_s390x.deb ... Unpacking logsave (1.46.5-2ubuntu1) over (1.46.3-1ubuntu3) ... Preparing to unpack .../libext2fs2_1.46.5-2ubuntu1_s390x.deb ... Unpacking libext2fs2:s390x (1.46.5-2ubuntu1) over (1.46.3-1ubuntu3) ... Setting up libext2fs2:s390x (1.46.5-2ubuntu1) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.46.5-2ubuntu1_s390x.deb ... Unpacking e2fsprogs (1.46.5-2ubuntu1) over (1.46.3-1ubuntu3) ... Setting up libapparmor1:s390x (3.0.3-0ubuntu5) ... Setting up libcryptsetup12:s390x (2:2.4.3-1ubuntu1) ... Setting up libip4tc2:s390x (1.8.7-1ubuntu4) ... Setting up libkmod2:s390x (29-1ubuntu1) ... Setting up mount (2.37.2-4ubuntu1) ... Setting up systemd (249.9-0ubuntu2) ... Installing new version of config file /etc/systemd/networkd.conf ... Installing new version of config file /etc/systemd/resolved.conf ... Initializing machine ID from random generator. Setting up systemd-sysv (249.9-0ubuntu2) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../archives/init_1.61_s390x.deb ... Unpacking init (1.61) over (1.60build1) ... Preparing to unpack .../libattr1_1%3a2.5.1-1_s390x.deb ... Unpacking libattr1:s390x (1:2.5.1-1) over (1:2.4.48-6build2) ... Setting up libattr1:s390x (1:2.5.1-1) ... Installing new version of config file /etc/xattr.conf ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.7.9-2.2build3_s390x.deb ... Unpacking libcap-ng0:s390x (0.7.9-2.2build3) over (0.7.9-2.2build2) ... Setting up libcap-ng0:s390x (0.7.9-2.2build3) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../libcom-err2_1.46.5-2ubuntu1_s390x.deb ... Unpacking libcom-err2:s390x (1.46.5-2ubuntu1) over (1.46.3-1ubuntu3) ... Setting up libcom-err2:s390x (1.46.5-2ubuntu1) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.261ubuntu1_s390x.deb ... Unpacking libdebconfclient0:s390x (0.261ubuntu1) over (0.256ubuntu4) ... Setting up libdebconfclient0:s390x (0.261ubuntu1) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../libk5crypto3_1.19.2-1_s390x.deb ... Unpacking libk5crypto3:s390x (1.19.2-1) over (1.18.3-6) ... Setting up libk5crypto3:s390x (1.19.2-1) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../libkrb5support0_1.19.2-1_s390x.deb ... Unpacking libkrb5support0:s390x (1.19.2-1) over (1.18.3-6) ... Setting up libkrb5support0:s390x (1.19.2-1) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../libkrb5-3_1.19.2-1_s390x.deb ... Unpacking libkrb5-3:s390x (1.19.2-1) over (1.18.3-6) ... Setting up libkrb5-3:s390x (1.19.2-1) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../libgssapi-krb5-2_1.19.2-1_s390x.deb ... Unpacking libgssapi-krb5-2:s390x (1.19.2-1) over (1.18.3-6) ... Setting up libgssapi-krb5-2:s390x (1.19.2-1) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.4.0-10ubuntu2_all.deb ... Unpacking libpam-runtime (1.4.0-10ubuntu2) over (1.3.1-5ubuntu11) ... Setting up libpam-runtime (1.4.0-10ubuntu2) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.37.2-4ubuntu1_s390x.deb ... Unpacking libsmartcols1:s390x (2.37.2-4ubuntu1) over (2.36.1-8ubuntu1) ... Setting up libsmartcols1:s390x (2.37.2-4ubuntu1) ... (Reading database ... 13085 files and directories currently installed.) Preparing to unpack .../00-libss2_1.46.5-2ubuntu1_s390x.deb ... Unpacking libss2:s390x (1.46.5-2ubuntu1) over (1.46.3-1ubuntu3) ... Preparing to unpack .../01-mawk_1.3.4.20200120-3_s390x.deb ... Unpacking mawk (1.3.4.20200120-3) over (1.3.4.20200120-2build1) ... Preparing to unpack .../02-sensible-utils_0.0.17_all.deb ... Unpacking sensible-utils (0.0.17) over (0.0.14) ... Preparing to unpack .../03-usrmerge_25ubuntu2_all.deb ... Unpacking usrmerge (25ubuntu2) over (25ubuntu1) ... Preparing to unpack .../04-openssl_3.0.1-0ubuntu1_s390x.deb ... Unpacking openssl (3.0.1-0ubuntu1) over (1.1.1l-1ubuntu1) ... Preparing to unpack .../05-ca-certificates_20211016_all.deb ... Unpacking ca-certificates (20211016) over (20210119ubuntu1) ... Preparing to unpack .../06-readline-common_8.1.2-1_all.deb ... Unpacking readline-common (8.1.2-1) over (8.1-2build1) ... Preparing to unpack .../07-libreadline8_8.1.2-1_s390x.deb ... Unpacking libreadline8:s390x (8.1.2-1) over (8.1-2build1) ... Preparing to unpack .../08-libsqlite3-0_3.37.2-2_s390x.deb ... Unpacking libsqlite3-0:s390x (3.37.2-2) over (3.35.5-1) ... Preparing to unpack .../09-tzdata_2021e-1ubuntu1_all.deb ... Unpacking tzdata (2021e-1ubuntu1) over (2021a-2ubuntu1) ... Preparing to unpack .../10-dpkg-dev_1.21.1ubuntu1_all.deb ... Unpacking dpkg-dev (1.21.1ubuntu1) over (1.20.9ubuntu2) ... Preparing to unpack .../11-libdpkg-perl_1.21.1ubuntu1_all.deb ... Unpacking libdpkg-perl (1.21.1ubuntu1) over (1.20.9ubuntu2) ... Preparing to unpack .../12-make_4.3-4ubuntu2_s390x.deb ... Unpacking make (4.3-4ubuntu2) over (4.3-4ubuntu1) ... Preparing to unpack .../13-lto-disabled-list_19_all.deb ... Unpacking lto-disabled-list (19) over (16) ... Preparing to unpack .../14-libfakeroot_1.27-1ubuntu1_s390x.deb ... Unpacking libfakeroot:s390x (1.27-1ubuntu1) over (1.25.3-1.1ubuntu3) ... Preparing to unpack .../15-fakeroot_1.27-1ubuntu1_s390x.deb ... Unpacking fakeroot (1.27-1ubuntu1) over (1.25.3-1.1ubuntu3) ... Preparing to unpack .../16-gpg_2.2.27-3ubuntu1_s390x.deb ... Unpacking gpg (2.2.27-3ubuntu1) over (2.2.20-1ubuntu4) ... Preparing to unpack .../17-gpgconf_2.2.27-3ubuntu1_s390x.deb ... Unpacking gpgconf (2.2.27-3ubuntu1) over (2.2.20-1ubuntu4) ... Preparing to unpack .../18-gpg-agent_2.2.27-3ubuntu1_s390x.deb ... Unpacking gpg-agent (2.2.27-3ubuntu1) over (2.2.20-1ubuntu4) ... Preparing to unpack .../19-lockfile-progs_0.1.19_s390x.deb ... Unpacking lockfile-progs (0.1.19) over (0.1.18build1) ... Preparing to unpack .../20-pkgbinarymangler_149_all.deb ... Unpacking pkgbinarymangler (149) over (148) ... Setting up lto-disabled-list (19) ... Setting up init (1.61) ... Setting up perl-modules-5.32 (5.32.1-6ubuntu1) ... Setting up libsqlite3-0:s390x (3.37.2-2) ... Setting up binutils-common:s390x (2.37.90.20220130-0ubuntu2) ... Setting up linux-libc-dev:s390x (5.15.0-18.18) ... Setting up libctf-nobfd0:s390x (2.37.90.20220130-0ubuntu2) ... Setting up libgomp1:s390x (11.2.0-16ubuntu1) ... Setting up bzip2 (1.0.8-5) ... Setting up libfakeroot:s390x (1.27-1ubuntu1) ... Setting up libasan6:s390x (11.2.0-16ubuntu1) ... Setting up tzdata (2021e-1ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Feb 6 12:28:32 UTC 2022. Universal Time is now: Sun Feb 6 12:28:32 UTC 2022. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up fakeroot (1.27-1ubuntu1) ... Setting up make (4.3-4ubuntu2) ... Setting up libncurses6:s390x (6.3-2) ... Setting up libmpc3:s390x (1.2.1-1) ... Setting up systemd-timesyncd (249.9-0ubuntu2) ... Setting up lockfile-progs (0.1.19) ... Setting up libatomic1:s390x (11.2.0-16ubuntu1) ... Setting up usrmerge (25ubuntu2) ... Setting up libss2:s390x (1.46.5-2ubuntu1) ... Setting up libncursesw6:s390x (6.3-2) ... Setting up logsave (1.46.5-2ubuntu1) ... Setting up libubsan1:s390x (11.2.0-16ubuntu1) ... Setting up sensible-utils (0.0.17) ... Setting up libcrypt-dev:s390x (1:4.4.27-1) ... Setting up mawk (1.3.4.20200120-3) ... Setting up libbinutils:s390x (2.37.90.20220130-0ubuntu2) ... Setting up libisl23:s390x (0.24-2) ... Setting up libc-dev-bin (2.35-0ubuntu1) ... Setting up openssl (3.0.1-0ubuntu1) ... Installing new version of config file /etc/ssl/openssl.cnf ... Setting up readline-common (8.1.2-1) ... Setting up libcc1-0:s390x (11.2.0-16ubuntu1) ... Setting up libitm1:s390x (11.2.0-16ubuntu1) ... Setting up libgdbm6:s390x (1.23-1) ... Setting up libctf0:s390x (2.37.90.20220130-0ubuntu2) ... Setting up cpp-11 (11.2.0-16ubuntu1) ... Setting up binutils-s390x-linux-gnu (2.37.90.20220130-0ubuntu2) ... Setting up pkgbinarymangler (149) ... Setting up libreadline8:s390x (8.1.2-1) ... Setting up e2fsprogs (1.46.5-2ubuntu1) ... Installing new version of config file /etc/mke2fs.conf ... Setting up binutils (2.37.90.20220130-0ubuntu2) ... Setting up ca-certificates (20211016) ... Updating certificates in /etc/ssl/certs... rehash: warning: skipping ca-certificates.crt,it does not contain exactly one certificate or CRL 7 added, 8 removed; done. Setting up libgdbm-compat4:s390x (1.23-1) ... Setting up libperl5.32:s390x (5.32.1-6ubuntu1) ... Setting up libgcc-11-dev:s390x (11.2.0-16ubuntu1) ... Setting up gcc-11 (11.2.0-16ubuntu1) ... Setting up gpgconf (2.2.27-3ubuntu1) ... Setting up libc6-dev:s390x (2.35-0ubuntu1) ... Setting up gpg (2.2.27-3ubuntu1) ... Setting up gpg-agent (2.2.27-3ubuntu1) ... Setting up perl (5.32.1-6ubuntu1) ... Setting up libdpkg-perl (1.21.1ubuntu1) ... Setting up libstdc++-11-dev:s390x (11.2.0-16ubuntu1) ... Setting up g++-11 (11.2.0-16ubuntu1) ... Setting up dpkg-dev (1.21.1ubuntu1) ... Processing triggers for libc-bin (2.35-0ubuntu1) ... Processing triggers for ca-certificates (20211016) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-23095315 s390x jammy-proposed -c chroot:build-PACKAGEBUILD-23095315 --arch=s390x --dist=jammy-proposed --nolog coq-elpi_1.12.1-1build1.dsc Initiating build PACKAGEBUILD-23095315 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.15.0-167-generic #175-Ubuntu SMP Wed Jan 5 01:56:16 UTC 2022 s390x sbuild (Debian sbuild) 0.75.0 (21 Mar 2018) on bos02-s390x-012.buildd +==============================================================================+ | coq-elpi 1.12.1-1build1 (s390x) Sun, 06 Feb 2022 12:28:34 +0000 | +==============================================================================+ Package: coq-elpi Version: 1.12.1-1build1 Source Version: 1.12.1-1build1 Distribution: jammy-proposed Machine Architecture: s390x Host Architecture: s390x Build Architecture: s390x Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-23095315/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- coq-elpi_1.12.1-1build1.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/coq-elpi-1dtvgF/coq-elpi-1.12.1' with '<>' I: NOTICE: Log filtering will replace 'build/coq-elpi-1dtvgF' with '<>' +------------------------------------------------------------------------------+ | Install build-essential | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-QOKogN/apt_archive/sbuild-build-depends-core-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 1 entries to output Packages file. Ign:1 copy:/<>/resolver-QOKogN/apt_archive ./ InRelease Get:2 copy:/<>/resolver-QOKogN/apt_archive ./ Release [957 B] Ign:3 copy:/<>/resolver-QOKogN/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-QOKogN/apt_archive ./ Sources [349 B] Get:5 copy:/<>/resolver-QOKogN/apt_archive ./ Packages [434 B] Fetched 1740 B in 0s (0 B/s) Reading package lists... Reading package lists... Install core build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libssl1.1 systemd-timesyncd Use 'apt autoremove' to remove them. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 654 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-QOKogN/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [654 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 654 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 13248 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (s390x included in any) +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), dh-ocaml, coq, libcoq-ocaml-dev (>= 8.15), libelpi-ocaml-dev Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml, coq, libcoq-ocaml-dev (>= 8.15), libelpi-ocaml-dev dpkg-deb: building package 'sbuild-build-depends-coq-elpi-dummy' in '/<>/resolver-QOKogN/apt_archive/sbuild-build-depends-coq-elpi-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-coq-elpi-dummy sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 2 entries to output Packages file. Ign:1 copy:/<>/resolver-QOKogN/apt_archive ./ InRelease Get:2 copy:/<>/resolver-QOKogN/apt_archive ./ Release [963 B] Ign:3 copy:/<>/resolver-QOKogN/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-QOKogN/apt_archive ./ Sources [523 B] Get:5 copy:/<>/resolver-QOKogN/apt_archive ./ Packages [608 B] Fetched 2094 B in 0s (0 B/s) Reading package lists... Reading package lists... Install coq-elpi build dependencies (apt-based resolver) -------------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libssl1.1 systemd-timesyncd Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils camlp5 coq debhelper debugedit dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libdw1 libedit2 libelf1 libelpi-ocaml libelpi-ocaml-dev libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libgmp-dev libgmp3-dev libgmpxx4ldbl libicu67 libmagic-mgc libmagic1 libmd0 libmpdec3 libncurses-dev libncurses5-dev libocaml-compiler-libs-ocaml-dev libpipeline1 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib libre-ocaml-dev libresult-ocaml libresult-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.10 python3.10-minimal Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.10-venv python3.10-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl libltdl-dev ocaml-man libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils camlp5 coq debhelper debugedit dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libdw1 libedit2 libelf1 libelpi-ocaml libelpi-ocaml-dev libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libgmp-dev libgmp3-dev libgmpxx4ldbl libicu67 libmagic-mgc libmagic1 libmd0 libmpdec3 libncurses-dev libncurses5-dev libocaml-compiler-libs-ocaml-dev libpipeline1 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib libre-ocaml-dev libresult-ocaml libresult-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.10 python3.10-minimal sbuild-build-depends-coq-elpi-dummy 0 upgraded, 78 newly installed, 0 to remove and 0 not upgraded. Need to get 392 MB of archives. After this operation, 1449 MB of additional disk space will be used. Get:1 copy:/<>/resolver-QOKogN/apt_archive ./ sbuild-build-depends-coq-elpi-dummy 0.invalid.0 [700 B] Get:2 http://ftpmaster.internal/ubuntu jammy/main s390x libpython3.10-minimal s390x 3.10.2-1 [802 kB] Get:3 http://ftpmaster.internal/ubuntu jammy/main s390x libexpat1 s390x 2.4.4-1 [87.0 kB] Get:4 http://ftpmaster.internal/ubuntu jammy/main s390x python3.10-minimal s390x 3.10.2-1 [2027 kB] Get:5 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x python3-minimal s390x 3.10.1-0ubuntu1 [24.7 kB] Get:6 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x media-types all 5.0.0 [25.5 kB] Get:7 http://ftpmaster.internal/ubuntu jammy/main s390x libmd0 s390x 1.0.4-1 [22.9 kB] Get:8 http://ftpmaster.internal/ubuntu jammy/main s390x libbsd0 s390x 0.11.5-1 [45.4 kB] Get:9 http://ftpmaster.internal/ubuntu jammy/main s390x libedit2 s390x 3.1-20210910-1 [95.2 kB] Get:10 http://ftpmaster.internal/ubuntu jammy/main s390x libmpdec3 s390x 2.5.1-2build1 [90.8 kB] Get:11 http://ftpmaster.internal/ubuntu jammy/main s390x libpython3.10-stdlib s390x 3.10.2-1 [1793 kB] Get:12 http://ftpmaster.internal/ubuntu jammy/main s390x python3.10 s390x 3.10.2-1 [482 kB] Get:13 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x libpython3-stdlib s390x 3.10.1-0ubuntu1 [7318 B] Get:14 http://ftpmaster.internal/ubuntu jammy-proposed/main s390x python3 s390x 3.10.1-0ubuntu1 [22.8 kB] Get:15 http://ftpmaster.internal/ubuntu jammy/main s390x libelf1 s390x 0.186-1 [55.2 kB] Get:16 http://ftpmaster.internal/ubuntu jammy/main s390x libicu67 s390x 67.1-7ubuntu1 [10.0 MB] Get:17 http://ftpmaster.internal/ubuntu jammy/main s390x libxml2 s390x 2.9.12+dfsg-5 [711 kB] Get:18 http://ftpmaster.internal/ubuntu jammy/main s390x bsdextrautils s390x 2.37.2-4ubuntu1 [72.2 kB] Get:19 http://ftpmaster.internal/ubuntu jammy/main s390x libmagic-mgc s390x 1:5.41-2 [259 kB] Get:20 http://ftpmaster.internal/ubuntu jammy/main s390x libmagic1 s390x 1:5.41-2 [84.8 kB] Get:21 http://ftpmaster.internal/ubuntu jammy/main s390x file s390x 1:5.41-2 [21.3 kB] Get:22 http://ftpmaster.internal/ubuntu jammy/main s390x gettext-base s390x 0.21-4ubuntu3 [38.4 kB] Get:23 http://ftpmaster.internal/ubuntu jammy/main s390x libuchardet0 s390x 0.0.7-1build1 [76.1 kB] Get:24 http://ftpmaster.internal/ubuntu jammy/main s390x groff-base s390x 1.22.4-8 [928 kB] Get:25 http://ftpmaster.internal/ubuntu jammy/main s390x libpipeline1 s390x 1.5.5-1 [23.4 kB] Get:26 http://ftpmaster.internal/ubuntu jammy/main s390x man-db s390x 2.10.0-2 [1182 kB] Get:27 http://ftpmaster.internal/ubuntu jammy/main s390x libsigsegv2 s390x 2.13-1ubuntu2 [14.6 kB] Get:28 http://ftpmaster.internal/ubuntu jammy/main s390x m4 s390x 1.4.18-5ubuntu1 [197 kB] Get:29 http://ftpmaster.internal/ubuntu jammy/main s390x autoconf all 2.71-2 [338 kB] Get:30 http://ftpmaster.internal/ubuntu jammy/main s390x autotools-dev all 20220109.1 [44.9 kB] Get:31 http://ftpmaster.internal/ubuntu jammy/main s390x automake all 1:1.16.5-1.1 [558 kB] Get:32 http://ftpmaster.internal/ubuntu jammy/main s390x autopoint all 0.21-4ubuntu3 [422 kB] Get:33 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libcoq-stdlib s390x 8.15.0+dfsg-2 [24.7 MB] Get:34 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x ocaml-base s390x 4.13.1-3ubuntu1 [569 kB] Get:35 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libzarith-ocaml s390x 1.12-1build1 [59.1 kB] Get:36 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libcoq-core-ocaml s390x 8.15.0+dfsg-2 [27.5 MB] Get:37 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x ocaml-compiler-libs s390x 4.13.1-3ubuntu1 [35.4 MB] Get:38 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x ocaml-interp s390x 4.13.1-3ubuntu1 [7488 kB] Get:39 http://ftpmaster.internal/ubuntu jammy/main s390x libncurses-dev s390x 6.3-2 [370 kB] Get:40 http://ftpmaster.internal/ubuntu jammy/main s390x libncurses5-dev s390x 6.3-2 [784 B] Get:41 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x ocaml s390x 4.13.1-3ubuntu1 [88.1 MB] Get:42 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x ocaml-nox all 4.13.1-3ubuntu1 [3082 B] Get:43 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libfindlib-ocaml s390x 1.9.1-1build2 [225 kB] Get:44 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x ocaml-findlib s390x 1.9.1-1build2 [572 kB] Get:45 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x coq s390x 8.15.0+dfsg-2 [97.2 MB] Get:46 http://ftpmaster.internal/ubuntu jammy/main s390x libdebhelper-perl all 13.5.2ubuntu1 [66.0 kB] Get:47 http://ftpmaster.internal/ubuntu jammy/main s390x libtool all 2.4.6-15build1 [164 kB] Get:48 http://ftpmaster.internal/ubuntu jammy/main s390x dh-autoreconf all 20 [16.1 kB] Get:49 http://ftpmaster.internal/ubuntu jammy/main s390x libarchive-zip-perl all 1.68-1 [90.2 kB] Get:50 http://ftpmaster.internal/ubuntu jammy/main s390x libsub-override-perl all 0.09-2 [9532 B] Get:51 http://ftpmaster.internal/ubuntu jammy/main s390x libfile-stripnondeterminism-perl all 1.13.0-1 [18.1 kB] Get:52 http://ftpmaster.internal/ubuntu jammy/main s390x dh-strip-nondeterminism all 1.13.0-1 [5344 B] Get:53 http://ftpmaster.internal/ubuntu jammy/main s390x libdw1 s390x 0.186-1 [248 kB] Get:54 http://ftpmaster.internal/ubuntu jammy/main s390x debugedit s390x 1:5.0-4 [48.2 kB] Get:55 http://ftpmaster.internal/ubuntu jammy/main s390x dwz s390x 0.14-1build1 [104 kB] Get:56 http://ftpmaster.internal/ubuntu jammy/main s390x gettext s390x 0.21-4ubuntu3 [848 kB] Get:57 http://ftpmaster.internal/ubuntu jammy/main s390x intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:58 http://ftpmaster.internal/ubuntu jammy/main s390x po-debconf all 1.0.21+nmu1 [233 kB] Get:59 http://ftpmaster.internal/ubuntu jammy/main s390x debhelper all 13.5.2ubuntu1 [926 kB] Get:60 http://ftpmaster.internal/ubuntu jammy/main s390x libgmpxx4ldbl s390x 2:6.2.1+dfsg-3ubuntu1 [9316 B] Get:61 http://ftpmaster.internal/ubuntu jammy/main s390x libgmp-dev s390x 2:6.2.1+dfsg-3ubuntu1 [348 kB] Get:62 http://ftpmaster.internal/ubuntu jammy/main s390x libgmp3-dev s390x 2:6.2.1+dfsg-3ubuntu1 [1820 B] Get:63 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libzarith-ocaml-dev s390x 1.12-1build1 [101 kB] Get:64 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libcoq-core-ocaml-dev s390x 8.15.0+dfsg-2 [45.5 MB] Get:65 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libresult-ocaml s390x 1.5-1build2 [7152 B] Get:66 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libsexplib0-ocaml s390x 0.14.0-1build2 [111 kB] Get:67 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libppx-deriving-ocaml s390x 5.2.1-1build1 [4450 kB] Get:68 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libelpi-ocaml s390x 1.13.8-2build1 [2422 kB] Get:69 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x camlp5 s390x 8.00.02-1build1 [5773 kB] Get:70 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libocaml-compiler-libs-ocaml-dev s390x 0.12.4-1build1 [93.1 kB] Get:71 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libppx-derivers-ocaml-dev s390x 1.2.1-1build3 [16.7 kB] Get:72 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libsexplib0-ocaml-dev s390x 0.14.0-1build2 [231 kB] Get:73 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libppxlib-ocaml-dev s390x 0.24.0-1build2 [16.6 MB] Get:74 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libresult-ocaml-dev s390x 1.5-1build2 [10.5 kB] Get:75 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libppx-deriving-ocaml-dev s390x 5.2.1-1build1 [952 kB] Get:76 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libre-ocaml-dev s390x 1.10.3-1build1 [1041 kB] Get:77 http://ftpmaster.internal/ubuntu jammy-proposed/universe s390x libelpi-ocaml-dev s390x 1.13.8-2build1 [8381 kB] Get:78 http://ftpmaster.internal/ubuntu jammy/universe s390x dh-ocaml all 1.1.3 [78.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 392 MB in 26s (14.8 MB/s) Selecting previously unselected package libpython3.10-minimal:s390x. (Reading database ... 13248 files and directories currently installed.) Preparing to unpack .../libpython3.10-minimal_3.10.2-1_s390x.deb ... Unpacking libpython3.10-minimal:s390x (3.10.2-1) ... Selecting previously unselected package libexpat1:s390x. Preparing to unpack .../libexpat1_2.4.4-1_s390x.deb ... Unpacking libexpat1:s390x (2.4.4-1) ... Selecting previously unselected package python3.10-minimal. Preparing to unpack .../python3.10-minimal_3.10.2-1_s390x.deb ... Unpacking python3.10-minimal (3.10.2-1) ... Setting up libpython3.10-minimal:s390x (3.10.2-1) ... Setting up libexpat1:s390x (2.4.4-1) ... Setting up python3.10-minimal (3.10.2-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 13550 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.10.1-0ubuntu1_s390x.deb ... Unpacking python3-minimal (3.10.1-0ubuntu1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_5.0.0_all.deb ... Unpacking media-types (5.0.0) ... Selecting previously unselected package libmd0:s390x. Preparing to unpack .../2-libmd0_1.0.4-1_s390x.deb ... Unpacking libmd0:s390x (1.0.4-1) ... Selecting previously unselected package libbsd0:s390x. Preparing to unpack .../3-libbsd0_0.11.5-1_s390x.deb ... Unpacking libbsd0:s390x (0.11.5-1) ... Selecting previously unselected package libedit2:s390x. Preparing to unpack .../4-libedit2_3.1-20210910-1_s390x.deb ... Unpacking libedit2:s390x (3.1-20210910-1) ... Selecting previously unselected package libmpdec3:s390x. Preparing to unpack .../5-libmpdec3_2.5.1-2build1_s390x.deb ... Unpacking libmpdec3:s390x (2.5.1-2build1) ... Selecting previously unselected package libpython3.10-stdlib:s390x. Preparing to unpack .../6-libpython3.10-stdlib_3.10.2-1_s390x.deb ... Unpacking libpython3.10-stdlib:s390x (3.10.2-1) ... Selecting previously unselected package python3.10. Preparing to unpack .../7-python3.10_3.10.2-1_s390x.deb ... Unpacking python3.10 (3.10.2-1) ... Selecting previously unselected package libpython3-stdlib:s390x. Preparing to unpack .../8-libpython3-stdlib_3.10.1-0ubuntu1_s390x.deb ... Unpacking libpython3-stdlib:s390x (3.10.1-0ubuntu1) ... Setting up python3-minimal (3.10.1-0ubuntu1) ... Selecting previously unselected package python3. (Reading database ... 13969 files and directories currently installed.) Preparing to unpack .../00-python3_3.10.1-0ubuntu1_s390x.deb ... Unpacking python3 (3.10.1-0ubuntu1) ... Selecting previously unselected package libelf1:s390x. Preparing to unpack .../01-libelf1_0.186-1_s390x.deb ... Unpacking libelf1:s390x (0.186-1) ... Selecting previously unselected package libicu67:s390x. Preparing to unpack .../02-libicu67_67.1-7ubuntu1_s390x.deb ... Unpacking libicu67:s390x (67.1-7ubuntu1) ... Selecting previously unselected package libxml2:s390x. Preparing to unpack .../03-libxml2_2.9.12+dfsg-5_s390x.deb ... Unpacking libxml2:s390x (2.9.12+dfsg-5) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../04-bsdextrautils_2.37.2-4ubuntu1_s390x.deb ... Unpacking bsdextrautils (2.37.2-4ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.41-2_s390x.deb ... Unpacking libmagic-mgc (1:5.41-2) ... Selecting previously unselected package libmagic1:s390x. Preparing to unpack .../06-libmagic1_1%3a5.41-2_s390x.deb ... Unpacking libmagic1:s390x (1:5.41-2) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.41-2_s390x.deb ... Unpacking file (1:5.41-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../08-gettext-base_0.21-4ubuntu3_s390x.deb ... Unpacking gettext-base (0.21-4ubuntu3) ... Selecting previously unselected package libuchardet0:s390x. Preparing to unpack .../09-libuchardet0_0.0.7-1build1_s390x.deb ... Unpacking libuchardet0:s390x (0.0.7-1build1) ... Selecting previously unselected package groff-base. Preparing to unpack .../10-groff-base_1.22.4-8_s390x.deb ... Unpacking groff-base (1.22.4-8) ... Selecting previously unselected package libpipeline1:s390x. Preparing to unpack .../11-libpipeline1_1.5.5-1_s390x.deb ... Unpacking libpipeline1:s390x (1.5.5-1) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.10.0-2_s390x.deb ... Unpacking man-db (2.10.0-2) ... Selecting previously unselected package libsigsegv2:s390x. Preparing to unpack .../13-libsigsegv2_2.13-1ubuntu2_s390x.deb ... Unpacking libsigsegv2:s390x (2.13-1ubuntu2) ... Selecting previously unselected package m4. Preparing to unpack .../14-m4_1.4.18-5ubuntu1_s390x.deb ... Unpacking m4 (1.4.18-5ubuntu1) ... Selecting previously unselected package autoconf. Preparing to unpack .../15-autoconf_2.71-2_all.deb ... Unpacking autoconf (2.71-2) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../16-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../17-automake_1%3a1.16.5-1.1_all.deb ... Unpacking automake (1:1.16.5-1.1) ... Selecting previously unselected package autopoint. Preparing to unpack .../18-autopoint_0.21-4ubuntu3_all.deb ... Unpacking autopoint (0.21-4ubuntu3) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../19-libcoq-stdlib_8.15.0+dfsg-2_s390x.deb ... Unpacking libcoq-stdlib (8.15.0+dfsg-2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../20-ocaml-base_4.13.1-3ubuntu1_s390x.deb ... Unpacking ocaml-base (4.13.1-3ubuntu1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../21-libzarith-ocaml_1.12-1build1_s390x.deb ... Unpacking libzarith-ocaml (1.12-1build1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../22-libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb ... Unpacking libcoq-core-ocaml (8.15.0+dfsg-2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../23-ocaml-compiler-libs_4.13.1-3ubuntu1_s390x.deb ... Unpacking ocaml-compiler-libs (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_4.13.1-3ubuntu1_s390x.deb ... Unpacking ocaml-interp (4.13.1-3ubuntu1) ... Selecting previously unselected package libncurses-dev:s390x. Preparing to unpack .../25-libncurses-dev_6.3-2_s390x.deb ... Unpacking libncurses-dev:s390x (6.3-2) ... Selecting previously unselected package libncurses5-dev:s390x. Preparing to unpack .../26-libncurses5-dev_6.3-2_s390x.deb ... Unpacking libncurses5-dev:s390x (6.3-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../27-ocaml_4.13.1-3ubuntu1_s390x.deb ... Unpacking ocaml (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../28-ocaml-nox_4.13.1-3ubuntu1_all.deb ... Unpacking ocaml-nox (4.13.1-3ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../29-libfindlib-ocaml_1.9.1-1build2_s390x.deb ... Unpacking libfindlib-ocaml (1.9.1-1build2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../30-ocaml-findlib_1.9.1-1build2_s390x.deb ... Unpacking ocaml-findlib (1.9.1-1build2) ... Selecting previously unselected package coq. Preparing to unpack .../31-coq_8.15.0+dfsg-2_s390x.deb ... Unpacking coq (8.15.0+dfsg-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../32-libdebhelper-perl_13.5.2ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.5.2ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../33-libtool_2.4.6-15build1_all.deb ... Unpacking libtool (2.4.6-15build1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../34-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../35-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../36-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../37-libfile-stripnondeterminism-perl_1.13.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../38-dh-strip-nondeterminism_1.13.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.0-1) ... Selecting previously unselected package libdw1:s390x. Preparing to unpack .../39-libdw1_0.186-1_s390x.deb ... Unpacking libdw1:s390x (0.186-1) ... Selecting previously unselected package debugedit. Preparing to unpack .../40-debugedit_1%3a5.0-4_s390x.deb ... Unpacking debugedit (1:5.0-4) ... Selecting previously unselected package dwz. Preparing to unpack .../41-dwz_0.14-1build1_s390x.deb ... Unpacking dwz (0.14-1build1) ... Selecting previously unselected package gettext. Preparing to unpack .../42-gettext_0.21-4ubuntu3_s390x.deb ... Unpacking gettext (0.21-4ubuntu3) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../43-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../44-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../45-debhelper_13.5.2ubuntu1_all.deb ... Unpacking debhelper (13.5.2ubuntu1) ... Selecting previously unselected package libgmpxx4ldbl:s390x. Preparing to unpack .../46-libgmpxx4ldbl_2%3a6.2.1+dfsg-3ubuntu1_s390x.deb ... Unpacking libgmpxx4ldbl:s390x (2:6.2.1+dfsg-3ubuntu1) ... Selecting previously unselected package libgmp-dev:s390x. Preparing to unpack .../47-libgmp-dev_2%3a6.2.1+dfsg-3ubuntu1_s390x.deb ... Unpacking libgmp-dev:s390x (2:6.2.1+dfsg-3ubuntu1) ... Selecting previously unselected package libgmp3-dev:s390x. Preparing to unpack .../48-libgmp3-dev_2%3a6.2.1+dfsg-3ubuntu1_s390x.deb ... Unpacking libgmp3-dev:s390x (2:6.2.1+dfsg-3ubuntu1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../49-libzarith-ocaml-dev_1.12-1build1_s390x.deb ... Unpacking libzarith-ocaml-dev (1.12-1build1) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../50-libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb ... Unpacking libcoq-core-ocaml-dev (8.15.0+dfsg-2) ... Selecting previously unselected package libresult-ocaml. Preparing to unpack .../51-libresult-ocaml_1.5-1build2_s390x.deb ... Unpacking libresult-ocaml (1.5-1build2) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../52-libsexplib0-ocaml_0.14.0-1build2_s390x.deb ... Unpacking libsexplib0-ocaml (0.14.0-1build2) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../53-libppx-deriving-ocaml_5.2.1-1build1_s390x.deb ... Unpacking libppx-deriving-ocaml (5.2.1-1build1) ... Selecting previously unselected package libelpi-ocaml. Preparing to unpack .../54-libelpi-ocaml_1.13.8-2build1_s390x.deb ... Unpacking libelpi-ocaml (1.13.8-2build1) ... Selecting previously unselected package camlp5. Preparing to unpack .../55-camlp5_8.00.02-1build1_s390x.deb ... Unpacking camlp5 (8.00.02-1build1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../56-libocaml-compiler-libs-ocaml-dev_0.12.4-1build1_s390x.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-1build1) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../57-libppx-derivers-ocaml-dev_1.2.1-1build3_s390x.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-1build3) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../58-libsexplib0-ocaml-dev_0.14.0-1build2_s390x.deb ... Unpacking libsexplib0-ocaml-dev (0.14.0-1build2) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../59-libppxlib-ocaml-dev_0.24.0-1build2_s390x.deb ... Unpacking libppxlib-ocaml-dev (0.24.0-1build2) ... Selecting previously unselected package libresult-ocaml-dev. Preparing to unpack .../60-libresult-ocaml-dev_1.5-1build2_s390x.deb ... Unpacking libresult-ocaml-dev (1.5-1build2) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../61-libppx-deriving-ocaml-dev_5.2.1-1build1_s390x.deb ... Unpacking libppx-deriving-ocaml-dev (5.2.1-1build1) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../62-libre-ocaml-dev_1.10.3-1build1_s390x.deb ... Unpacking libre-ocaml-dev (1.10.3-1build1) ... Selecting previously unselected package libelpi-ocaml-dev. Preparing to unpack .../63-libelpi-ocaml-dev_1.13.8-2build1_s390x.deb ... Unpacking libelpi-ocaml-dev (1.13.8-2build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../64-dh-ocaml_1.1.3_all.deb ... Unpacking dh-ocaml (1.1.3) ... Selecting previously unselected package sbuild-build-depends-coq-elpi-dummy. Preparing to unpack .../65-sbuild-build-depends-coq-elpi-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-coq-elpi-dummy (0.invalid.0) ... Setting up media-types (5.0.0) ... Setting up libpipeline1:s390x (1.5.5-1) ... Setting up libncurses-dev:s390x (6.3-2) ... Setting up bsdextrautils (2.37.2-4ubuntu1) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libicu67:s390x (67.1-7ubuntu1) ... Setting up libmagic-mgc (1:5.41-2) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.5.2ubuntu1) ... Setting up dh-ocaml (1.1.3) ... Setting up libmagic1:s390x (1:5.41-2) ... Setting up gettext-base (0.21-4ubuntu3) ... Setting up file (1:5.41-2) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.15.0+dfsg-2) ... Setting up libgmpxx4ldbl:s390x (2:6.2.1+dfsg-3ubuntu1) ... Setting up libsigsegv2:s390x (2.13-1ubuntu2) ... Setting up autopoint (0.21-4ubuntu3) ... Setting up ocaml-base (4.13.1-3ubuntu1) ... Setting up libsexplib0-ocaml (0.14.0-1build2) ... Setting up libmd0:s390x (1.0.4-1) ... Setting up libuchardet0:s390x (0.0.7-1build1) ... Setting up libncurses5-dev:s390x (6.3-2) ... Setting up libmpdec3:s390x (2.5.1-2build1) ... Setting up libsub-override-perl (0.09-2) ... Setting up libbsd0:s390x (0.11.5-1) ... Setting up libresult-ocaml (1.5-1build2) ... Setting up libelf1:s390x (0.186-1) ... Setting up libxml2:s390x (2.9.12+dfsg-5) ... Setting up libfile-stripnondeterminism-perl (1.13.0-1) ... Setting up libppx-deriving-ocaml (5.2.1-1build1) ... Setting up libdw1:s390x (0.186-1) ... Setting up gettext (0.21-4ubuntu3) ... Setting up libgmp-dev:s390x (2:6.2.1+dfsg-3ubuntu1) ... Setting up libtool (2.4.6-15build1) ... Setting up libedit2:s390x (3.1-20210910-1) ... Setting up libfindlib-ocaml (1.9.1-1build2) ... Setting up m4 (1.4.18-5ubuntu1) ... Setting up libzarith-ocaml (1.12-1build1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libpython3.10-stdlib:s390x (3.10.2-1) ... Setting up ocaml-findlib (1.9.1-1build2) ... Setting up autoconf (2.71-2) ... Setting up dh-strip-nondeterminism (1.13.0-1) ... Setting up libelpi-ocaml (1.13.8-2build1) ... Setting up dwz (0.14-1build1) ... Setting up libcoq-core-ocaml (8.15.0+dfsg-2) ... Setting up groff-base (1.22.4-8) ... Setting up libgmp3-dev:s390x (2:6.2.1+dfsg-3ubuntu1) ... Setting up debugedit (1:5.0-4) ... Setting up libpython3-stdlib:s390x (3.10.1-0ubuntu1) ... Setting up automake (1:1.16.5-1.1) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up python3.10 (3.10.2-1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.10.1-0ubuntu1) ... Setting up man-db (2.10.0-2) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer. Setting up dh-autoreconf (20) ... Setting up debhelper (13.5.2ubuntu1) ... Setting up ocaml-interp (4.13.1-3ubuntu1) ... Setting up ocaml (4.13.1-3ubuntu1) ... Setting up libre-ocaml-dev (1.10.3-1build1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-1build1) ... Setting up ocaml-nox (4.13.1-3ubuntu1) ... Setting up libsexplib0-ocaml-dev (0.14.0-1build2) ... Setting up coq (8.15.0+dfsg-2) ... Setting up libresult-ocaml-dev (1.5-1build2) ... Setting up libzarith-ocaml-dev (1.12-1build1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-1build3) ... Setting up ocaml-compiler-libs (4.13.1-3ubuntu1) ... Setting up libppxlib-ocaml-dev (0.24.0-1build2) ... Setting up camlp5 (8.00.02-1build1) ... Setting up libcoq-core-ocaml-dev (8.15.0+dfsg-2) ... Setting up libppx-deriving-ocaml-dev (5.2.1-1build1) ... Setting up libelpi-ocaml-dev (1.13.8-2build1) ... Setting up sbuild-build-depends-coq-elpi-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.35-0ubuntu1) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.15.0-167-generic s390x (s390x) Toolchain package versions: binutils_2.37.90.20220130-0ubuntu2 dpkg-dev_1.21.1ubuntu1 g++-11_11.2.0-16ubuntu1 gcc-11_11.2.0-16ubuntu1 libc6-dev_2.35-0ubuntu1 libstdc++-11-dev_11.2.0-16ubuntu1 libstdc++6_11.2.0-16ubuntu1 linux-libc-dev_5.15.0-18.18 Package versions: adduser_3.118ubuntu5 advancecomp_2.1-2.1ubuntu1 apt_2.3.15 autoconf_2.71-2 automake_1:1.16.5-1.1 autopoint_0.21-4ubuntu3 autotools-dev_20220109.1 base-files_12ubuntu2 base-passwd_3.5.52 bash_5.1-6ubuntu1 binutils_2.37.90.20220130-0ubuntu2 binutils-common_2.37.90.20220130-0ubuntu2 binutils-s390x-linux-gnu_2.37.90.20220130-0ubuntu2 bsdextrautils_2.37.2-4ubuntu1 bsdutils_1:2.37.2-4ubuntu1 build-essential_12.9ubuntu2 bzip2_1.0.8-5 ca-certificates_20211016 camlp5_8.00.02-1build1 coq_8.15.0+dfsg-2 coreutils_8.32-4ubuntu3 cpp_4:11.2.0-1ubuntu1 cpp-11_11.2.0-16ubuntu1 dash_0.5.11+git20210903+057cd650a4ed-3 debconf_1.5.79 debhelper_13.5.2ubuntu1 debianutils_5.5-1ubuntu1 debugedit_1:5.0-4 dh-autoreconf_20 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.13.0-1 diffutils_1:3.8-0ubuntu1 dpkg_1.21.1ubuntu1 dpkg-dev_1.21.1ubuntu1 dwz_0.14-1build1 e2fsprogs_1.46.5-2ubuntu1 fakeroot_1.27-1ubuntu1 file_1:5.41-2 findutils_4.8.0-1ubuntu2 g++_4:11.2.0-1ubuntu1 g++-11_11.2.0-16ubuntu1 gcc_4:11.2.0-1ubuntu1 gcc-11_11.2.0-16ubuntu1 gcc-11-base_11.2.0-16ubuntu1 gettext_0.21-4ubuntu3 gettext-base_0.21-4ubuntu3 gpg_2.2.27-3ubuntu1 gpg-agent_2.2.27-3ubuntu1 gpgconf_2.2.27-3ubuntu1 gpgv_2.2.27-3ubuntu1 grep_3.7-1 groff-base_1.22.4-8 gzip_1.10-4ubuntu2 hostname_3.23ubuntu1 init_1.61 init-system-helpers_1.61 intltool-debian_0.35.0+20060710.5 libacl1_2.3.1-1 libapparmor1_3.0.3-0ubuntu5 libapt-pkg6.0_2.3.15 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.2build22 libasan6_11.2.0-16ubuntu1 libassuan0_2.5.5-1 libatomic1_11.2.0-16ubuntu1 libattr1_1:2.5.1-1 libaudit-common_1:3.0-2ubuntu3 libaudit1_1:3.0-2ubuntu3 libbinutils_2.37.90.20220130-0ubuntu2 libblkid1_2.37.2-4ubuntu1 libbsd0_0.11.5-1 libbz2-1.0_1.0.8-5 libc-bin_2.35-0ubuntu1 libc-dev-bin_2.35-0ubuntu1 libc6_2.35-0ubuntu1 libc6-dev_2.35-0ubuntu1 libcap-ng0_0.7.9-2.2build3 libcap2_1:2.44-1build2 libcc1-0_11.2.0-16ubuntu1 libcom-err2_1.46.5-2ubuntu1 libcoq-core-ocaml_8.15.0+dfsg-2 libcoq-core-ocaml-dev_8.15.0+dfsg-2 libcoq-stdlib_8.15.0+dfsg-2 libcrypt-dev_1:4.4.27-1 libcrypt1_1:4.4.27-1 libcryptsetup12_2:2.4.3-1ubuntu1 libctf-nobfd0_2.37.90.20220130-0ubuntu2 libctf0_2.37.90.20220130-0ubuntu2 libdb5.3_5.3.28+dfsg1-0.8ubuntu2 libdebconfclient0_0.261ubuntu1 libdebhelper-perl_13.5.2ubuntu1 libdevmapper1.02.1_2:1.02.175-2.1ubuntu3 libdpkg-perl_1.21.1ubuntu1 libdw1_0.186-1 libedit2_3.1-20210910-1 libelf1_0.186-1 libelpi-ocaml_1.13.8-2build1 libelpi-ocaml-dev_1.13.8-2build1 libexpat1_2.4.4-1 libext2fs2_1.46.5-2ubuntu1 libfakeroot_1.27-1ubuntu1 libffi8_3.4.2-4 libfile-stripnondeterminism-perl_1.13.0-1 libfindlib-ocaml_1.9.1-1build2 libgcc-11-dev_11.2.0-16ubuntu1 libgcc-s1_11.2.0-16ubuntu1 libgcrypt20_1.9.4-3ubuntu2 libgdbm-compat4_1.23-1 libgdbm6_1.23-1 libgmp-dev_2:6.2.1+dfsg-3ubuntu1 libgmp10_2:6.2.1+dfsg-3ubuntu1 libgmp3-dev_2:6.2.1+dfsg-3ubuntu1 libgmpxx4ldbl_2:6.2.1+dfsg-3ubuntu1 libgnutls30_3.7.3-4ubuntu1 libgomp1_11.2.0-16ubuntu1 libgpg-error0_1.43-3 libgssapi-krb5-2_1.19.2-1 libhogweed6_3.7.3-1build1 libicu67_67.1-7ubuntu1 libidn2-0_2.3.2-2 libip4tc2_1.8.7-1ubuntu4 libisl23_0.24-2 libitm1_11.2.0-16ubuntu1 libjson-c5_0.15-2build3 libk5crypto3_1.19.2-1 libkeyutils1_1.6.1-2ubuntu2 libkmod2_29-1ubuntu1 libkrb5-3_1.19.2-1 libkrb5support0_1.19.2-1 liblockfile-bin_1.17-1build1 liblockfile1_1.17-1build1 liblz4-1_1.9.3-2build1 liblzma5_5.2.5-2build1 libmagic-mgc_1:5.41-2 libmagic1_1:5.41-2 libmd0_1.0.4-1 libmount1_2.37.2-4ubuntu1 libmpc3_1.2.1-1 libmpdec3_2.5.1-2build1 libmpfr6_4.1.0-3build2 libncurses-dev_6.3-2 libncurses5-dev_6.3-2 libncurses6_6.3-2 libncursesw6_6.3-2 libnettle8_3.7.3-1build1 libnpth0_1.6-3build1 libnsl-dev_1.3.0-2build1 libnsl2_1.3.0-2build1 libocaml-compiler-libs-ocaml-dev_0.12.4-1build1 libp11-kit0_0.24.0-6 libpam-modules_1.4.0-10ubuntu2 libpam-modules-bin_1.4.0-10ubuntu2 libpam-runtime_1.4.0-10ubuntu2 libpam0g_1.4.0-10ubuntu2 libpcre2-8-0_10.39-3 libpcre3_2:8.39-13build4 libperl5.32_5.32.1-6ubuntu1 libpipeline1_1.5.5-1 libpng16-16_1.6.37-3build4 libppx-derivers-ocaml-dev_1.2.1-1build3 libppx-deriving-ocaml_5.2.1-1build1 libppx-deriving-ocaml-dev_5.2.1-1build1 libppxlib-ocaml-dev_0.24.0-1build2 libprocps8_2:3.3.17-5ubuntu3 libpython3-stdlib_3.10.1-0ubuntu1 libpython3.10-minimal_3.10.2-1 libpython3.10-stdlib_3.10.2-1 libre-ocaml-dev_1.10.3-1build1 libreadline8_8.1.2-1 libresult-ocaml_1.5-1build2 libresult-ocaml-dev_1.5-1build2 libseccomp2_2.5.2-2ubuntu2 libselinux1_3.3-1build1 libsemanage-common_3.3-1build1 libsemanage2_3.3-1build1 libsepol1_3.1-1ubuntu2 libsepol2_3.3-1 libsexplib0-ocaml_0.14.0-1build2 libsexplib0-ocaml-dev_0.14.0-1build2 libsigsegv2_2.13-1ubuntu2 libsmartcols1_2.37.2-4ubuntu1 libsqlite3-0_3.37.2-2 libss2_1.46.5-2ubuntu1 libssl1.1_1.1.1l-1ubuntu1 libssl3_3.0.1-0ubuntu1 libstdc++-11-dev_11.2.0-16ubuntu1 libstdc++6_11.2.0-16ubuntu1 libsub-override-perl_0.09-2 libsystemd0_249.9-0ubuntu2 libtasn1-6_4.18.0-4 libtinfo6_6.3-2 libtirpc-common_1.3.2-2 libtirpc-dev_1.3.2-2 libtirpc3_1.3.2-2 libtool_2.4.6-15build1 libubsan1_11.2.0-16ubuntu1 libuchardet0_0.0.7-1build1 libudev1_249.9-0ubuntu2 libunistring2_0.9.10-6 libuuid1_2.37.2-4ubuntu1 libxml2_2.9.12+dfsg-5 libxxhash0_0.8.1-1 libzarith-ocaml_1.12-1build1 libzarith-ocaml-dev_1.12-1build1 libzstd1_1.4.8+dfsg-3 linux-libc-dev_5.15.0-18.18 lockfile-progs_0.1.19 login_1:4.8.1-2ubuntu1 logsave_1.46.5-2ubuntu1 lsb-base_11.1.0ubuntu3 lto-disabled-list_19 m4_1.4.18-5ubuntu1 make_4.3-4ubuntu2 man-db_2.10.0-2 mawk_1.3.4.20200120-3 media-types_5.0.0 mount_2.37.2-4ubuntu1 ncurses-base_6.3-2 ncurses-bin_6.3-2 ocaml_4.13.1-3ubuntu1 ocaml-base_4.13.1-3ubuntu1 ocaml-compiler-libs_4.13.1-3ubuntu1 ocaml-findlib_1.9.1-1build2 ocaml-interp_4.13.1-3ubuntu1 ocaml-nox_4.13.1-3ubuntu1 openssl_3.0.1-0ubuntu1 optipng_0.7.7-2 passwd_1:4.8.1-2ubuntu1 patch_2.7.6-7build1 perl_5.32.1-6ubuntu1 perl-base_5.32.1-6ubuntu1 perl-modules-5.32_5.32.1-6ubuntu1 pinentry-curses_1.1.1-1build1 pkgbinarymangler_149 po-debconf_1.0.21+nmu1 policyrcd-script-zg2_0.1-3 procps_2:3.3.17-5ubuntu3 python3_3.10.1-0ubuntu1 python3-minimal_3.10.1-0ubuntu1 python3.10_3.10.2-1 python3.10-minimal_3.10.2-1 readline-common_8.1.2-1 rpcsvc-proto_1.4.2-0ubuntu5 sbuild-build-depends-coq-elpi-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.8-1ubuntu1 sensible-utils_0.0.17 systemd_249.9-0ubuntu2 systemd-sysv_249.9-0ubuntu2 systemd-timesyncd_249.9-0ubuntu2 sysvinit-utils_3.01-1ubuntu1 tar_1.34+dfsg-1build2 tzdata_2021e-1ubuntu1 ubuntu-keyring_2021.03.26 usrmerge_25ubuntu2 util-linux_2.37.2-4ubuntu1 xz-utils_5.2.5-2build1 zlib1g_1:1.2.11.dfsg-2ubuntu7 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Tue Jan 25 16:41:29 2022 UTC gpgv: using RSA key D56571B88A8BBAF140BF63D6BD7EAA60778FA6F5 gpgv: issuer "doko@ubuntu.com" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify signature ./coq-elpi_1.12.1-1build1.dsc dpkg-source: info: extracting coq-elpi in /<> dpkg-source: info: unpacking coq-elpi_1.12.1.orig.tar.gz dpkg-source: info: unpacking coq-elpi_1.12.1-1build1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying fix_typos.patch dpkg-source: info: applying fix_install_target.patch Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-23095315 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-23095315 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-23095315 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package coq-elpi dpkg-buildpackage: info: source version 1.12.1-1build1 dpkg-buildpackage: info: source distribution jammy dpkg-source --before-build . dpkg-buildpackage: info: host architecture s390x debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' Clean target is fragile make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' /usr/bin/make build make[2]: Entering directory '/<>' Using coq found in /usr/bin, from COQBIN or PATH echo "(* Automatically generated from elpi/coq-HOAS.elpi, don't edit *)" > src/coq_elpi_builtins_HOAS.ml echo "let code = {|" >> src/coq_elpi_builtins_HOAS.ml cat elpi/coq-HOAS.elpi >> src/coq_elpi_builtins_HOAS.ml echo "|}" >> src/coq_elpi_builtins_HOAS.ml echo "let elpi_dir = \"/usr/lib/ocaml/elpi\";;" > src/coq_elpi_config.ml COQDEP VFILES COQPP src/coq_elpi_vernacular_syntax.mlg COQPP src/coq_elpi_arg_syntax.mlg CAMLDEP src/coq_elpi_builtins.mli CAMLDEP src/coq_elpi_arg_HOAS.mli CAMLDEP src/coq_elpi_glob_quotation.mli CAMLDEP src/coq_elpi_HOAS.mli CAMLDEP src/coq_elpi_utils.mli CAMLDEP src/coq_elpi_vernacular.mli OCAMLLIBDEP src/elpi_plugin.mlpack CAMLDEP src/coq_elpi_config.ml CAMLDEP src/coq_elpi_builtins.ml CAMLDEP src/coq_elpi_builtins_HOAS.ml CAMLDEP src/coq_elpi_arg_HOAS.ml CAMLDEP src/coq_elpi_glob_quotation.ml CAMLDEP src/coq_elpi_name_quotation.ml CAMLDEP src/coq_elpi_HOAS.ml CAMLDEP src/coq_elpi_utils.ml CAMLDEP src/coq_elpi_vernacular.ml CAMLDEP src/coq_elpi_arg_syntax.ml CAMLDEP src/coq_elpi_vernacular_syntax.ml FILL .merlin echo "PKG camlp5" >> .merlin echo "S /usr/lib/ocaml/elpi" >> .merlin echo "B /usr/lib/ocaml/elpi" >> .merlin if [ "/usr/lib/ocaml/elpi" != "elpi/findlib/elpi" ]; then\ echo "PKG elpi" >> .merlin;\ fi Using coq found in /usr/bin, from COQBIN or PATH ########################## building plugin ########################## CAMLC -c src/coq_elpi_utils.mli CAMLC -c src/coq_elpi_HOAS.mli CAMLC -c src/coq_elpi_arg_HOAS.mli CAMLC -c src/coq_elpi_vernacular.mli CAMLC -c src/coq_elpi_glob_quotation.mli CAMLC -c src/coq_elpi_arg_syntax.ml CAMLC -c src/coq_elpi_vernacular_syntax.ml CAMLC -c src/coq_elpi_config.ml CAMLC -c src/coq_elpi_builtins.mli CAMLC -c src/coq_elpi_vernacular.ml CAMLC -c src/coq_elpi_utils.ml CAMLC -c src/coq_elpi_HOAS.ml CAMLC -c src/coq_elpi_name_quotation.ml CAMLC -c src/coq_elpi_glob_quotation.ml CAMLC -c src/coq_elpi_arg_HOAS.ml CAMLC -c src/coq_elpi_builtins_HOAS.ml CAMLC -c src/coq_elpi_builtins.ml CAMLC -pack -o src/elpi_plugin.cmo CAMLC -a -o src/elpi_plugin.cma CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_config.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_utils.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_HOAS.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_glob_quotation.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_name_quotation.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_arg_HOAS.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_arg_syntax.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_builtins_HOAS.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_builtins.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_vernacular.ml CAMLOPT -c -for-pack Elpi_plugin src/coq_elpi_vernacular_syntax.ml CAMLOPT -pack -o src/elpi_plugin.cmx CAMLOPT -a -o src/elpi_plugin.cmxa CAMLOPT -shared -o src/elpi_plugin.cmxs COQC theories/elpi.v COQC theories/wip/memoization.v Segmentation fault (core dumped) make[5]: *** [Makefile.coq:764: theories/wip/memoization.vo] Error 139 make[4]: *** [Makefile.coq:387: all] Error 2 make[3]: *** [Makefile.coq:863: opt] Error 2 make[2]: *** [Makefile:39: build] Error 2 make[2]: Leaving directory '/<>' make[1]: *** [debian/rules:15: override_dh_auto_build] Error 2 make[1]: Leaving directory '/<>' make: *** [debian/rules:12: binary-arch] Error 2 dpkg-buildpackage: error: debian/rules binary-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2022-02-06T12:29:23Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: s390x Build Type: any Build-Space: n/a Build-Time: 8 Distribution: jammy-proposed Fail-Stage: build Host Architecture: s390x Install-Time: 40 Job: coq-elpi_1.12.1-1build1.dsc Machine Architecture: s390x Package: coq-elpi Package-Time: 49 Source-Version: 1.12.1-1build1 Space: n/a Status: attempted Version: 1.12.1-1build1 -------------------------------------------------------------------------------- Finished at 2022-02-06T12:29:23Z Build needed 00:00:49, no disk space E: Build failure (dpkg-buildpackage died) Adding user buildd to group lxd RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=jammy --arch=s390x PACKAGEBUILD-23095315 Scanning for processes to kill in build PACKAGEBUILD-23095315