https://launchpad.net/~jgross-h/+archive/ubuntu/coq-master-daily/+recipebuild/2918179 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lcy01-amd64-022 4.15.0-163-generic #171-Ubuntu SMP Fri Nov 5 11:55:11 UTC 2021 x86_64 Buildd toolchain package versions: launchpad-buildd_205~511~ubuntu18.04.1 python3-lpbuildd_205~511~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... 10 Dec 19:31:19 ntpdate[1789]: adjust time server 10.211.37.1 offset -0.003836 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-2918179 --image-type chroot /home/buildd/filecache-default/7f6882774d93a6ce12d34cd2f4e4b83a707bcc6e Creating target for build RECIPEBRANCHBUILD-2918179 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-2918179 Starting target for build RECIPEBRANCHBUILD-2918179 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-2918179 'deb http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal main' 'deb http://ftpmaster.internal/ubuntu focal main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu focal-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu focal-updates main restricted universe multiverse' Overriding sources.list in build-RECIPEBRANCHBUILD-2918179 RUN: /usr/share/launchpad-buildd/bin/in-target add-trusted-keys --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-2918179 Adding trusted keys to build-RECIPEBRANCHBUILD-2918179 Warning: apt-key output should not be parsed (stdout is not a terminal) OK Warning: apt-key output should not be parsed (stdout is not a terminal) /etc/apt/trusted.gpg -------------------- pub rsa4096 2014-12-19 [SC] 017C CCC8 B006 C270 6476 BBE4 E58B 19DA A454 A7D9 uid [ unknown] Launchpad PPA for Jason Gross /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-archive.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 790B C727 7767 219C 42C8 6F93 3B4F E6AC C0B2 1F32 uid [ unknown] Ubuntu Archive Automatic Signing Key (2012) /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-cdimage.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 8439 38DF 228D 22F7 B374 2BC0 D94A A3F0 EFE2 1092 uid [ unknown] Ubuntu CD Image Automatic Signing Key (2012) /etc/apt/trusted.gpg.d/ubuntu-keyring-2018-archive.gpg ------------------------------------------------------ pub rsa4096 2018-09-17 [SC] F6EC B376 2474 EDA9 D21B 7022 8719 20D1 991B C93C uid [ unknown] Ubuntu Archive Automatic Signing Key (2018) RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-2918179 Updating target for build RECIPEBRANCHBUILD-2918179 Get:1 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal InRelease [18.1 kB] Get:2 http://ftpmaster.internal/ubuntu focal InRelease [265 kB] Get:3 http://ftpmaster.internal/ubuntu focal-security InRelease [114 kB] Get:4 http://ftpmaster.internal/ubuntu focal-updates InRelease [114 kB] Get:5 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 Packages [4788 B] Get:6 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main Translation-en [3664 B] Get:7 http://ftpmaster.internal/ubuntu focal/main amd64 Packages [970 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main Translation-en [506 kB] Get:9 http://ftpmaster.internal/ubuntu focal/universe amd64 Packages [8628 kB] Get:10 http://ftpmaster.internal/ubuntu focal/universe Translation-en [5124 kB] Get:11 http://ftpmaster.internal/ubuntu focal-security/main amd64 Packages [1064 kB] Get:12 http://ftpmaster.internal/ubuntu focal-security/main Translation-en [196 kB] Get:13 http://ftpmaster.internal/ubuntu focal-security/restricted amd64 Packages [560 kB] Get:14 http://ftpmaster.internal/ubuntu focal-security/restricted Translation-en [80.2 kB] Get:15 http://ftpmaster.internal/ubuntu focal-security/universe amd64 Packages [665 kB] Get:16 http://ftpmaster.internal/ubuntu focal-security/universe Translation-en [111 kB] Get:17 http://ftpmaster.internal/ubuntu focal-security/multiverse amd64 Packages [21.9 kB] Get:18 http://ftpmaster.internal/ubuntu focal-security/multiverse Translation-en [4948 B] Get:19 http://ftpmaster.internal/ubuntu focal-updates/main amd64 Packages [1392 kB] Get:20 http://ftpmaster.internal/ubuntu focal-updates/main Translation-en [282 kB] Get:21 http://ftpmaster.internal/ubuntu focal-updates/restricted amd64 Packages [608 kB] Get:22 http://ftpmaster.internal/ubuntu focal-updates/restricted Translation-en [87.0 kB] Get:23 http://ftpmaster.internal/ubuntu focal-updates/universe amd64 Packages [881 kB] Get:24 http://ftpmaster.internal/ubuntu focal-updates/universe Translation-en [191 kB] Get:25 http://ftpmaster.internal/ubuntu focal-updates/multiverse amd64 Packages [24.8 kB] Get:26 http://ftpmaster.internal/ubuntu focal-updates/multiverse Translation-en [6928 B] Fetched 21.9 MB in 9s (2520 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt base-files bash binutils binutils-common binutils-x86-64-linux-gnu bsdutils build-essential ca-certificates cpp-9 fdisk g++-9 gcc-10-base gcc-9 gcc-9-base gpg gpg-agent gpgconf gpgv libapparmor1 libapt-pkg6.0 libasan5 libatomic1 libbinutils libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcc1-0 libcryptsetup12 libctf-nobfd0 libctf0 libfdisk1 libgcc-9-dev libgcc-s1 libgcrypt20 libgnutls30 libgomp1 libhogweed5 libitm1 libjson-c4 liblsan0 liblz4-1 liblzma5 libmount1 libnettle7 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libperl5.30 libprocps8 libquadmath0 libseccomp2 libsmartcols1 libsqlite3-0 libssl1.1 libstdc++-9-dev libstdc++6 libsystemd0 libtsan0 libubsan1 libudev1 libuuid1 libzstd1 linux-libc-dev login mount openssl passwd perl perl-base perl-modules-5.30 procps systemd systemd-sysv systemd-timesyncd tar tzdata ubuntu-keyring util-linux xz-utils zlib1g 85 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 68.4 MB of archives. After this operation, 14.1 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libc6-dev amd64 2.31-0ubuntu9.2 [2520 kB] Get:2 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libc-dev-bin amd64 2.31-0ubuntu9.2 [71.8 kB] Get:3 http://ftpmaster.internal/ubuntu focal-security/main amd64 linux-libc-dev amd64 5.4.0-91.102 [1127 kB] Get:4 http://ftpmaster.internal/ubuntu focal-security/main amd64 libubsan1 amd64 10.3.0-1ubuntu1~20.04 [784 kB] Get:5 http://ftpmaster.internal/ubuntu focal-security/main amd64 libtsan0 amd64 10.3.0-1ubuntu1~20.04 [2009 kB] Get:6 http://ftpmaster.internal/ubuntu focal-security/main amd64 libquadmath0 amd64 10.3.0-1ubuntu1~20.04 [146 kB] Get:7 http://ftpmaster.internal/ubuntu focal-security/main amd64 liblsan0 amd64 10.3.0-1ubuntu1~20.04 [835 kB] Get:8 http://ftpmaster.internal/ubuntu focal-security/main amd64 libitm1 amd64 10.3.0-1ubuntu1~20.04 [26.2 kB] Get:9 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgomp1 amd64 10.3.0-1ubuntu1~20.04 [102 kB] Get:10 http://ftpmaster.internal/ubuntu focal-security/main amd64 gcc-10-base amd64 10.3.0-1ubuntu1~20.04 [20.2 kB] Get:11 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgcc-s1 amd64 10.3.0-1ubuntu1~20.04 [41.8 kB] Get:12 http://ftpmaster.internal/ubuntu focal-security/main amd64 libcc1-0 amd64 10.3.0-1ubuntu1~20.04 [48.8 kB] Get:13 http://ftpmaster.internal/ubuntu focal-security/main amd64 libatomic1 amd64 10.3.0-1ubuntu1~20.04 [9284 B] Get:14 http://ftpmaster.internal/ubuntu focal-security/main amd64 libstdc++6 amd64 10.3.0-1ubuntu1~20.04 [501 kB] Get:15 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libc6 amd64 2.31-0ubuntu9.2 [2715 kB] Get:16 http://ftpmaster.internal/ubuntu focal-updates/main amd64 base-files amd64 11ubuntu5.4 [60.6 kB] Get:17 http://ftpmaster.internal/ubuntu focal-updates/main amd64 bash amd64 5.0-6ubuntu1.1 [638 kB] Get:18 http://ftpmaster.internal/ubuntu focal-updates/main amd64 bsdutils amd64 1:2.34-0.1ubuntu9.1 [63.1 kB] Get:19 http://ftpmaster.internal/ubuntu focal-updates/main amd64 login amd64 1:4.8.1-1ubuntu5.20.04.1 [220 kB] Get:20 http://ftpmaster.internal/ubuntu focal-security/main amd64 libperl5.30 amd64 5.30.0-9ubuntu0.2 [3952 kB] Get:21 http://ftpmaster.internal/ubuntu focal-security/main amd64 perl amd64 5.30.0-9ubuntu0.2 [224 kB] Get:22 http://ftpmaster.internal/ubuntu focal-security/main amd64 perl-base amd64 5.30.0-9ubuntu0.2 [1513 kB] Get:23 http://ftpmaster.internal/ubuntu focal-security/main amd64 perl-modules-5.30 all 5.30.0-9ubuntu0.2 [2738 kB] Get:24 http://ftpmaster.internal/ubuntu focal-updates/main amd64 zlib1g amd64 1:1.2.11.dfsg-2ubuntu1.2 [53.6 kB] Get:25 http://ftpmaster.internal/ubuntu focal-security/main amd64 tar amd64 1.30+dfsg-7ubuntu0.20.04.1 [240 kB] Get:26 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libblkid1 amd64 2.34-0.1ubuntu9.1 [137 kB] Get:27 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libuuid1 amd64 2.34-0.1ubuntu9.1 [20.0 kB] Get:28 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libfdisk1 amd64 2.34-0.1ubuntu9.1 [175 kB] Get:29 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libmount1 amd64 2.34-0.1ubuntu9.1 [149 kB] Get:30 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libsmartcols1 amd64 2.34-0.1ubuntu9.1 [100 kB] Get:31 http://ftpmaster.internal/ubuntu focal-updates/main amd64 fdisk amd64 2.34-0.1ubuntu9.1 [119 kB] Get:32 http://ftpmaster.internal/ubuntu focal-updates/main amd64 util-linux amd64 2.34-0.1ubuntu9.1 [1021 kB] Get:33 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libc-bin amd64 2.31-0ubuntu9.2 [639 kB] Get:34 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgcrypt20 amd64 1.8.5-5ubuntu1.1 [420 kB] Get:35 http://ftpmaster.internal/ubuntu focal-security/main amd64 liblz4-1 amd64 1.9.2-2ubuntu0.20.04.1 [56.1 kB] Get:36 http://ftpmaster.internal/ubuntu focal-updates/main amd64 liblzma5 amd64 5.2.4-1ubuntu1 [91.7 kB] Get:37 http://ftpmaster.internal/ubuntu focal-updates/main amd64 systemd-timesyncd amd64 245.4-4ubuntu3.13 [28.1 kB] Get:38 http://ftpmaster.internal/ubuntu focal-updates/main amd64 systemd-sysv amd64 245.4-4ubuntu3.13 [10.3 kB] Get:39 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libapparmor1 amd64 2.13.3-7ubuntu5.1 [34.1 kB] Get:40 http://ftpmaster.internal/ubuntu focal-security/main amd64 libjson-c4 amd64 0.13.1+dfsg-7ubuntu0.3 [29.3 kB] Get:41 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libssl1.1 amd64 1.1.1f-1ubuntu2.10 [1322 kB] Get:42 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libcryptsetup12 amd64 2:2.2.2-3ubuntu2.3 [183 kB] Get:43 http://ftpmaster.internal/ubuntu focal-security/main amd64 libnettle7 amd64 3.5.1+really3.5.1-2ubuntu0.2 [115 kB] Get:44 http://ftpmaster.internal/ubuntu focal-security/main amd64 libhogweed5 amd64 3.5.1+really3.5.1-2ubuntu0.2 [138 kB] Get:45 http://ftpmaster.internal/ubuntu focal-security/main amd64 libp11-kit0 amd64 0.23.20-1ubuntu0.1 [188 kB] Get:46 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgnutls30 amd64 3.6.13-2ubuntu1.6 [828 kB] Get:47 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libpam0g amd64 1.3.1-5ubuntu4.3 [55.4 kB] Get:48 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libseccomp2 amd64 2.5.1-1ubuntu1~20.04.1 [42.9 kB] Get:49 http://ftpmaster.internal/ubuntu focal-updates/main amd64 mount amd64 2.34-0.1ubuntu9.1 [115 kB] Get:50 http://ftpmaster.internal/ubuntu focal-updates/main amd64 systemd amd64 245.4-4ubuntu3.13 [3809 kB] Get:51 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libsystemd0 amd64 245.4-4ubuntu3.13 [270 kB] Get:52 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libudev1 amd64 245.4-4ubuntu3.13 [77.6 kB] Get:53 http://ftpmaster.internal/ubuntu focal-security/main amd64 libzstd1 amd64 1.4.4+dfsg-3ubuntu0.1 [237 kB] Get:54 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libapt-pkg6.0 amd64 2.0.6 [835 kB] Get:55 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gpgv amd64 2.2.19-3ubuntu2.1 [199 kB] Get:56 http://ftpmaster.internal/ubuntu focal-updates/main amd64 ubuntu-keyring all 2020.02.11.4 [22.1 kB] Get:57 http://ftpmaster.internal/ubuntu focal-updates/main amd64 apt amd64 2.0.6 [1296 kB] Get:58 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libpam-modules-bin amd64 1.3.1-5ubuntu4.3 [41.2 kB] Get:59 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libpam-modules amd64 1.3.1-5ubuntu4.3 [260 kB] Get:60 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libpam-runtime all 1.3.1-5ubuntu4.3 [37.3 kB] Get:61 http://ftpmaster.internal/ubuntu focal-updates/main amd64 passwd amd64 1:4.8.1-1ubuntu5.20.04.1 [799 kB] Get:62 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libprocps8 amd64 2:3.3.16-1ubuntu2.3 [33.0 kB] Get:63 http://ftpmaster.internal/ubuntu focal-updates/main amd64 procps amd64 2:3.3.16-1ubuntu2.3 [233 kB] Get:64 http://ftpmaster.internal/ubuntu focal-updates/main amd64 openssl amd64 1.1.1f-1ubuntu2.10 [620 kB] Get:65 http://ftpmaster.internal/ubuntu focal-security/main amd64 ca-certificates all 20210119~20.04.2 [145 kB] Get:66 http://ftpmaster.internal/ubuntu focal-security/main amd64 libsqlite3-0 amd64 3.31.1-4ubuntu0.2 [549 kB] Get:67 http://ftpmaster.internal/ubuntu focal-security/main amd64 tzdata all 2021e-0ubuntu0.20.04 [295 kB] Get:68 http://ftpmaster.internal/ubuntu focal-updates/main amd64 xz-utils amd64 5.2.4-1ubuntu1 [82.5 kB] Get:69 http://ftpmaster.internal/ubuntu focal-security/main amd64 libctf0 amd64 2.34-6ubuntu1.3 [46.6 kB] Get:70 http://ftpmaster.internal/ubuntu focal-security/main amd64 libctf-nobfd0 amd64 2.34-6ubuntu1.3 [47.4 kB] Get:71 http://ftpmaster.internal/ubuntu focal-security/main amd64 libbinutils amd64 2.34-6ubuntu1.3 [474 kB] Get:72 http://ftpmaster.internal/ubuntu focal-security/main amd64 binutils-common amd64 2.34-6ubuntu1.3 [207 kB] Get:73 http://ftpmaster.internal/ubuntu focal-security/main amd64 binutils amd64 2.34-6ubuntu1.3 [3380 B] Get:74 http://ftpmaster.internal/ubuntu focal-security/main amd64 binutils-x86-64-linux-gnu amd64 2.34-6ubuntu1.3 [1613 kB] Get:75 http://ftpmaster.internal/ubuntu focal-updates/main amd64 build-essential amd64 12.8ubuntu1.1 [4664 B] Get:76 http://ftpmaster.internal/ubuntu focal-security/main amd64 libasan5 amd64 9.3.0-17ubuntu1~20.04 [394 kB] Get:77 http://ftpmaster.internal/ubuntu focal-security/main amd64 g++-9 amd64 9.3.0-17ubuntu1~20.04 [8405 kB] Get:78 http://ftpmaster.internal/ubuntu focal-security/main amd64 gcc-9 amd64 9.3.0-17ubuntu1~20.04 [8241 kB] Get:79 http://ftpmaster.internal/ubuntu focal-security/main amd64 libstdc++-9-dev amd64 9.3.0-17ubuntu1~20.04 [1714 kB] Get:80 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgcc-9-dev amd64 9.3.0-17ubuntu1~20.04 [2360 kB] Get:81 http://ftpmaster.internal/ubuntu focal-security/main amd64 cpp-9 amd64 9.3.0-17ubuntu1~20.04 [7494 kB] Get:82 http://ftpmaster.internal/ubuntu focal-security/main amd64 gcc-9-base amd64 9.3.0-17ubuntu1~20.04 [19.1 kB] Get:83 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gpg amd64 2.2.19-3ubuntu2.1 [483 kB] Get:84 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gpgconf amd64 2.2.19-3ubuntu2.1 [124 kB] Get:85 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gpg-agent amd64 2.2.19-3ubuntu2.1 [232 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 68.4 MB in 1s (84.6 MB/s) (Reading database ... 12816 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.31-0ubuntu9.2_amd64.deb ... Unpacking libc6-dev:amd64 (2.31-0ubuntu9.2) over (2.31-0ubuntu9) ... Preparing to unpack .../1-libc-dev-bin_2.31-0ubuntu9.2_amd64.deb ... Unpacking libc-dev-bin (2.31-0ubuntu9.2) over (2.31-0ubuntu9) ... Preparing to unpack .../2-linux-libc-dev_5.4.0-91.102_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.4.0-91.102) over (5.4.0-26.30) ... Preparing to unpack .../3-libubsan1_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking libubsan1:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Preparing to unpack .../4-libtsan0_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking libtsan0:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Preparing to unpack .../5-libquadmath0_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking libquadmath0:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Preparing to unpack .../6-liblsan0_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking liblsan0:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Preparing to unpack .../7-libitm1_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking libitm1:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Preparing to unpack .../8-libgomp1_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking libgomp1:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Preparing to unpack .../9-gcc-10-base_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking gcc-10-base:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Setting up gcc-10-base:amd64 (10.3.0-1ubuntu1~20.04) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../libgcc-s1_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking libgcc-s1:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Setting up libgcc-s1:amd64 (10.3.0-1ubuntu1~20.04) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../libcc1-0_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking libcc1-0:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Preparing to unpack .../libatomic1_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking libatomic1:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Preparing to unpack .../libstdc++6_10.3.0-1ubuntu1~20.04_amd64.deb ... Unpacking libstdc++6:amd64 (10.3.0-1ubuntu1~20.04) over (10-20200411-0ubuntu1) ... Setting up libstdc++6:amd64 (10.3.0-1ubuntu1~20.04) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../libc6_2.31-0ubuntu9.2_amd64.deb ... Unpacking libc6:amd64 (2.31-0ubuntu9.2) over (2.31-0ubuntu9) ... Setting up libc6:amd64 (2.31-0ubuntu9.2) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu5.4_amd64.deb ... Unpacking base-files (11ubuntu5.4) over (11ubuntu5) ... Setting up base-files (11ubuntu5.4) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... Installing new version of config file /etc/update-motd.d/50-motd-news ... Removing obsolete conffile /etc/default/motd-news ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../bash_5.0-6ubuntu1.1_amd64.deb ... Unpacking bash (5.0-6ubuntu1.1) over (5.0-6ubuntu1) ... Setting up bash (5.0-6ubuntu1.1) ... 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 ... 12814 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.34-0.1ubuntu9.1_amd64.deb ... Unpacking bsdutils (1:2.34-0.1ubuntu9.1) over (1:2.34-0.1ubuntu9) ... Setting up bsdutils (1:2.34-0.1ubuntu9.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../login_1%3a4.8.1-1ubuntu5.20.04.1_amd64.deb ... Unpacking login (1:4.8.1-1ubuntu5.20.04.1) over (1:4.8.1-1ubuntu5) ... Setting up login (1:4.8.1-1ubuntu5.20.04.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libperl5.30_5.30.0-9ubuntu0.2_amd64.deb ... Unpacking libperl5.30:amd64 (5.30.0-9ubuntu0.2) over (5.30.0-9build1) ... Preparing to unpack .../perl_5.30.0-9ubuntu0.2_amd64.deb ... Unpacking perl (5.30.0-9ubuntu0.2) over (5.30.0-9build1) ... Preparing to unpack .../perl-base_5.30.0-9ubuntu0.2_amd64.deb ... Unpacking perl-base (5.30.0-9ubuntu0.2) over (5.30.0-9build1) ... Setting up perl-base (5.30.0-9ubuntu0.2) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../perl-modules-5.30_5.30.0-9ubuntu0.2_all.deb ... Unpacking perl-modules-5.30 (5.30.0-9ubuntu0.2) over (5.30.0-9build1) ... Preparing to unpack .../zlib1g_1%3a1.2.11.dfsg-2ubuntu1.2_amd64.deb ... Unpacking zlib1g:amd64 (1:1.2.11.dfsg-2ubuntu1.2) over (1:1.2.11.dfsg-2ubuntu1) ... Setting up zlib1g:amd64 (1:1.2.11.dfsg-2ubuntu1.2) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../tar_1.30+dfsg-7ubuntu0.20.04.1_amd64.deb ... Unpacking tar (1.30+dfsg-7ubuntu0.20.04.1) over (1.30+dfsg-7) ... Setting up tar (1.30+dfsg-7ubuntu0.20.04.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libblkid1_2.34-0.1ubuntu9.1_amd64.deb ... Unpacking libblkid1:amd64 (2.34-0.1ubuntu9.1) over (2.34-0.1ubuntu9) ... Setting up libblkid1:amd64 (2.34-0.1ubuntu9.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libuuid1_2.34-0.1ubuntu9.1_amd64.deb ... Unpacking libuuid1:amd64 (2.34-0.1ubuntu9.1) over (2.34-0.1ubuntu9) ... Setting up libuuid1:amd64 (2.34-0.1ubuntu9.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.34-0.1ubuntu9.1_amd64.deb ... Unpacking libfdisk1:amd64 (2.34-0.1ubuntu9.1) over (2.34-0.1ubuntu9) ... Preparing to unpack .../libmount1_2.34-0.1ubuntu9.1_amd64.deb ... Unpacking libmount1:amd64 (2.34-0.1ubuntu9.1) over (2.34-0.1ubuntu9) ... Setting up libmount1:amd64 (2.34-0.1ubuntu9.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.34-0.1ubuntu9.1_amd64.deb ... Unpacking libsmartcols1:amd64 (2.34-0.1ubuntu9.1) over (2.34-0.1ubuntu9) ... Setting up libsmartcols1:amd64 (2.34-0.1ubuntu9.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../fdisk_2.34-0.1ubuntu9.1_amd64.deb ... Unpacking fdisk (2.34-0.1ubuntu9.1) over (2.34-0.1ubuntu9) ... Preparing to unpack .../util-linux_2.34-0.1ubuntu9.1_amd64.deb ... Unpacking util-linux (2.34-0.1ubuntu9.1) over (2.34-0.1ubuntu9) ... Setting up util-linux (2.34-0.1ubuntu9.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libc-bin_2.31-0ubuntu9.2_amd64.deb ... Unpacking libc-bin (2.31-0ubuntu9.2) over (2.31-0ubuntu9) ... Setting up libc-bin (2.31-0ubuntu9.2) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.8.5-5ubuntu1.1_amd64.deb ... Unpacking libgcrypt20:amd64 (1.8.5-5ubuntu1.1) over (1.8.5-5ubuntu1) ... Setting up libgcrypt20:amd64 (1.8.5-5ubuntu1.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../liblz4-1_1.9.2-2ubuntu0.20.04.1_amd64.deb ... Unpacking liblz4-1:amd64 (1.9.2-2ubuntu0.20.04.1) over (1.9.2-2) ... Setting up liblz4-1:amd64 (1.9.2-2ubuntu0.20.04.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.4-1ubuntu1_amd64.deb ... Unpacking liblzma5:amd64 (5.2.4-1ubuntu1) over (5.2.4-1) ... Setting up liblzma5:amd64 (5.2.4-1ubuntu1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../0-systemd-timesyncd_245.4-4ubuntu3.13_amd64.deb ... Unpacking systemd-timesyncd (245.4-4ubuntu3.13) over (245.4-4ubuntu3) ... Preparing to unpack .../1-systemd-sysv_245.4-4ubuntu3.13_amd64.deb ... Unpacking systemd-sysv (245.4-4ubuntu3.13) over (245.4-4ubuntu3) ... Preparing to unpack .../2-libapparmor1_2.13.3-7ubuntu5.1_amd64.deb ... Unpacking libapparmor1:amd64 (2.13.3-7ubuntu5.1) over (2.13.3-7ubuntu5) ... Preparing to unpack .../3-libjson-c4_0.13.1+dfsg-7ubuntu0.3_amd64.deb ... Unpacking libjson-c4:amd64 (0.13.1+dfsg-7ubuntu0.3) over (0.13.1+dfsg-7) ... Preparing to unpack .../4-libssl1.1_1.1.1f-1ubuntu2.10_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.1f-1ubuntu2.10) over (1.1.1f-1ubuntu2) ... Preparing to unpack .../5-libcryptsetup12_2%3a2.2.2-3ubuntu2.3_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.2.2-3ubuntu2.3) over (2:2.2.2-3ubuntu2) ... Preparing to unpack .../6-libnettle7_3.5.1+really3.5.1-2ubuntu0.2_amd64.deb ... Unpacking libnettle7:amd64 (3.5.1+really3.5.1-2ubuntu0.2) over (3.5.1+really3.5.1-2) ... Setting up libnettle7:amd64 (3.5.1+really3.5.1-2ubuntu0.2) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libhogweed5_3.5.1+really3.5.1-2ubuntu0.2_amd64.deb ... Unpacking libhogweed5:amd64 (3.5.1+really3.5.1-2ubuntu0.2) over (3.5.1+really3.5.1-2) ... Setting up libhogweed5:amd64 (3.5.1+really3.5.1-2ubuntu0.2) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.20-1ubuntu0.1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.20-1ubuntu0.1) over (0.23.20-1build1) ... Setting up libp11-kit0:amd64 (0.23.20-1ubuntu0.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.6.13-2ubuntu1.6_amd64.deb ... Unpacking libgnutls30:amd64 (3.6.13-2ubuntu1.6) over (3.6.13-2ubuntu1) ... Setting up libgnutls30:amd64 (3.6.13-2ubuntu1.6) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libpam0g_1.3.1-5ubuntu4.3_amd64.deb ... Unpacking libpam0g:amd64 (1.3.1-5ubuntu4.3) over (1.3.1-5ubuntu4) ... Setting up libpam0g:amd64 (1.3.1-5ubuntu4.3) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.1-1ubuntu1~20.04.1_amd64.deb ... Unpacking libseccomp2:amd64 (2.5.1-1ubuntu1~20.04.1) over (2.4.3-1ubuntu1) ... Setting up libseccomp2:amd64 (2.5.1-1ubuntu1~20.04.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../mount_2.34-0.1ubuntu9.1_amd64.deb ... Unpacking mount (2.34-0.1ubuntu9.1) over (2.34-0.1ubuntu9) ... Preparing to unpack .../systemd_245.4-4ubuntu3.13_amd64.deb ... Unpacking systemd (245.4-4ubuntu3.13) over (245.4-4ubuntu3) ... Preparing to unpack .../libsystemd0_245.4-4ubuntu3.13_amd64.deb ... Unpacking libsystemd0:amd64 (245.4-4ubuntu3.13) over (245.4-4ubuntu3) ... Setting up libsystemd0:amd64 (245.4-4ubuntu3.13) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../libudev1_245.4-4ubuntu3.13_amd64.deb ... Unpacking libudev1:amd64 (245.4-4ubuntu3.13) over (245.4-4ubuntu3) ... Setting up libudev1:amd64 (245.4-4ubuntu3.13) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../libzstd1_1.4.4+dfsg-3ubuntu0.1_amd64.deb ... Unpacking libzstd1:amd64 (1.4.4+dfsg-3ubuntu0.1) over (1.4.4+dfsg-3) ... Setting up libzstd1:amd64 (1.4.4+dfsg-3ubuntu0.1) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.0.6_amd64.deb ... Unpacking libapt-pkg6.0:amd64 (2.0.6) over (2.0.2) ... Setting up libapt-pkg6.0:amd64 (2.0.6) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.19-3ubuntu2.1_amd64.deb ... Unpacking gpgv (2.2.19-3ubuntu2.1) over (2.2.19-3ubuntu2) ... Setting up gpgv (2.2.19-3ubuntu2.1) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../ubuntu-keyring_2020.02.11.4_all.deb ... Unpacking ubuntu-keyring (2020.02.11.4) over (2020.02.11.2) ... Setting up ubuntu-keyring (2020.02.11.4) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../archives/apt_2.0.6_amd64.deb ... Unpacking apt (2.0.6) over (2.0.2) ... Setting up apt (2.0.6) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.3.1-5ubuntu4.3_amd64.deb ... Unpacking libpam-modules-bin (1.3.1-5ubuntu4.3) over (1.3.1-5ubuntu4) ... Setting up libpam-modules-bin (1.3.1-5ubuntu4.3) ... (Reading database ... 12817 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.3.1-5ubuntu4.3_amd64.deb ... Unpacking libpam-modules:amd64 (1.3.1-5ubuntu4.3) over (1.3.1-5ubuntu4) ... Setting up libpam-modules:amd64 (1.3.1-5ubuntu4.3) ... (Reading database ... 12821 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.3.1-5ubuntu4.3_all.deb ... Unpacking libpam-runtime (1.3.1-5ubuntu4.3) over (1.3.1-5ubuntu4) ... Setting up libpam-runtime (1.3.1-5ubuntu4.3) ... (Reading database ... 12821 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.8.1-1ubuntu5.20.04.1_amd64.deb ... Unpacking passwd (1:4.8.1-1ubuntu5.20.04.1) over (1:4.8.1-1ubuntu5) ... Setting up passwd (1:4.8.1-1ubuntu5.20.04.1) ... (Reading database ... 12821 files and directories currently installed.) Preparing to unpack .../00-libprocps8_2%3a3.3.16-1ubuntu2.3_amd64.deb ... Unpacking libprocps8:amd64 (2:3.3.16-1ubuntu2.3) over (2:3.3.16-1ubuntu2) ... Preparing to unpack .../01-procps_2%3a3.3.16-1ubuntu2.3_amd64.deb ... Unpacking procps (2:3.3.16-1ubuntu2.3) over (2:3.3.16-1ubuntu2) ... Preparing to unpack .../02-openssl_1.1.1f-1ubuntu2.10_amd64.deb ... Unpacking openssl (1.1.1f-1ubuntu2.10) over (1.1.1f-1ubuntu2) ... Preparing to unpack .../03-ca-certificates_20210119~20.04.2_all.deb ... Unpacking ca-certificates (20210119~20.04.2) over (20190110ubuntu1) ... Preparing to unpack .../04-libsqlite3-0_3.31.1-4ubuntu0.2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.31.1-4ubuntu0.2) over (3.31.1-4) ... Preparing to unpack .../05-tzdata_2021e-0ubuntu0.20.04_all.deb ... Unpacking tzdata (2021e-0ubuntu0.20.04) over (2019c-3ubuntu1) ... Preparing to unpack .../06-xz-utils_5.2.4-1ubuntu1_amd64.deb ... Unpacking xz-utils (5.2.4-1ubuntu1) over (5.2.4-1) ... Preparing to unpack .../07-libctf0_2.34-6ubuntu1.3_amd64.deb ... Unpacking libctf0:amd64 (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../08-libctf-nobfd0_2.34-6ubuntu1.3_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../09-libbinutils_2.34-6ubuntu1.3_amd64.deb ... Unpacking libbinutils:amd64 (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../10-binutils-common_2.34-6ubuntu1.3_amd64.deb ... Unpacking binutils-common:amd64 (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../11-binutils_2.34-6ubuntu1.3_amd64.deb ... Unpacking binutils (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../12-binutils-x86-64-linux-gnu_2.34-6ubuntu1.3_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../13-build-essential_12.8ubuntu1.1_amd64.deb ... Unpacking build-essential (12.8ubuntu1.1) over (12.8ubuntu1) ... Preparing to unpack .../14-libasan5_9.3.0-17ubuntu1~20.04_amd64.deb ... Unpacking libasan5:amd64 (9.3.0-17ubuntu1~20.04) over (9.3.0-10ubuntu2) ... Preparing to unpack .../15-g++-9_9.3.0-17ubuntu1~20.04_amd64.deb ... Unpacking g++-9 (9.3.0-17ubuntu1~20.04) over (9.3.0-10ubuntu2) ... Preparing to unpack .../16-gcc-9_9.3.0-17ubuntu1~20.04_amd64.deb ... Unpacking gcc-9 (9.3.0-17ubuntu1~20.04) over (9.3.0-10ubuntu2) ... Preparing to unpack .../17-libstdc++-9-dev_9.3.0-17ubuntu1~20.04_amd64.deb ... Unpacking libstdc++-9-dev:amd64 (9.3.0-17ubuntu1~20.04) over (9.3.0-10ubuntu2) ... Preparing to unpack .../18-libgcc-9-dev_9.3.0-17ubuntu1~20.04_amd64.deb ... Unpacking libgcc-9-dev:amd64 (9.3.0-17ubuntu1~20.04) over (9.3.0-10ubuntu2) ... Preparing to unpack .../19-cpp-9_9.3.0-17ubuntu1~20.04_amd64.deb ... Unpacking cpp-9 (9.3.0-17ubuntu1~20.04) over (9.3.0-10ubuntu2) ... Preparing to unpack .../20-gcc-9-base_9.3.0-17ubuntu1~20.04_amd64.deb ... Unpacking gcc-9-base:amd64 (9.3.0-17ubuntu1~20.04) over (9.3.0-10ubuntu2) ... Preparing to unpack .../21-gpg_2.2.19-3ubuntu2.1_amd64.deb ... Unpacking gpg (2.2.19-3ubuntu2.1) over (2.2.19-3ubuntu2) ... Preparing to unpack .../22-gpgconf_2.2.19-3ubuntu2.1_amd64.deb ... Unpacking gpgconf (2.2.19-3ubuntu2.1) over (2.2.19-3ubuntu2) ... Preparing to unpack .../23-gpg-agent_2.2.19-3ubuntu2.1_amd64.deb ... Unpacking gpg-agent (2.2.19-3ubuntu2.1) over (2.2.19-3ubuntu2) ... Setting up libapparmor1:amd64 (2.13.3-7ubuntu5.1) ... Setting up perl-modules-5.30 (5.30.0-9ubuntu0.2) ... Setting up libssl1.1:amd64 (1.1.1f-1ubuntu2.10) ... Setting up libsqlite3-0:amd64 (3.31.1-4ubuntu0.2) ... Setting up binutils-common:amd64 (2.34-6ubuntu1.3) ... Setting up linux-libc-dev:amd64 (5.4.0-91.102) ... Setting up libctf-nobfd0:amd64 (2.34-6ubuntu1.3) ... Setting up libgomp1:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up tzdata (2021e-0ubuntu0.20.04) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Dec 10 19:31:55 UTC 2021. Universal Time is now: Fri Dec 10 19:31:55 UTC 2021. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up xz-utils (5.2.4-1ubuntu1) ... Setting up libquadmath0:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up libatomic1:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up libfdisk1:amd64 (2.34-0.1ubuntu9.1) ... Setting up libubsan1:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up mount (2.34-0.1ubuntu9.1) ... Setting up gpgconf (2.2.19-3ubuntu2.1) ... Setting up libperl5.30:amd64 (5.30.0-9ubuntu0.2) ... Setting up libjson-c4:amd64 (0.13.1+dfsg-7ubuntu0.3) ... Setting up libbinutils:amd64 (2.34-6ubuntu1.3) ... Setting up libc-dev-bin (2.31-0ubuntu9.2) ... Setting up openssl (1.1.1f-1ubuntu2.10) ... Setting up libcc1-0:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up gpg (2.2.19-3ubuntu2.1) ... Setting up liblsan0:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up libprocps8:amd64 (2:3.3.16-1ubuntu2.3) ... Setting up libitm1:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up gcc-9-base:amd64 (9.3.0-17ubuntu1~20.04) ... Setting up libtsan0:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up libctf0:amd64 (2.34-6ubuntu1.3) ... Setting up gpg-agent (2.2.19-3ubuntu2.1) ... Setting up fdisk (2.34-0.1ubuntu9.1) ... Setting up ca-certificates (20210119~20.04.2) ... Updating certificates in /etc/ssl/certs... 21 added, 21 removed; done. Setting up libasan5:amd64 (9.3.0-17ubuntu1~20.04) ... Setting up perl (5.30.0-9ubuntu0.2) ... Setting up procps (2:3.3.16-1ubuntu2.3) ... Setting up cpp-9 (9.3.0-17ubuntu1~20.04) ... Setting up libc6-dev:amd64 (2.31-0ubuntu9.2) ... Setting up libcryptsetup12:amd64 (2:2.2.2-3ubuntu2.3) ... Setting up binutils-x86-64-linux-gnu (2.34-6ubuntu1.3) ... Setting up binutils (2.34-6ubuntu1.3) ... Setting up libgcc-9-dev:amd64 (9.3.0-17ubuntu1~20.04) ... Setting up build-essential (12.8ubuntu1.1) ... Setting up gcc-9 (9.3.0-17ubuntu1~20.04) ... Setting up libstdc++-9-dev:amd64 (9.3.0-17ubuntu1~20.04) ... Setting up g++-9 (9.3.0-17ubuntu1~20.04) ... Setting up systemd-timesyncd (245.4-4ubuntu3.13) ... Setting up systemd (245.4-4ubuntu3.13) ... Installing new version of config file /etc/dhcp/dhclient-enter-hooks.d/resolved ... Installing new version of config file /etc/systemd/resolved.conf ... Initializing machine ID from KVM UUID. Setting up systemd-sysv (245.4-4ubuntu3.13) ... Processing triggers for libc-bin (2.31-0ubuntu9.2) ... Processing triggers for ca-certificates (20210119~20.04.2) ... 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/buildrecipe --git RECIPEBRANCHBUILD-2918179 'Jason Gross' jgross@mit.edu focal focal universe PPA Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: distro-info-data libexpat1 libmpdec2 libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib mime-support python3 python3-minimal python3.8 python3.8-minimal Suggested packages: python3-doc python3-tk python3-venv python3.8-venv python3.8-doc binfmt-support Recommended packages: file The following NEW packages will be installed: distro-info-data libexpat1 libmpdec2 libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib lsb-release mime-support python3 python3-minimal python3.8 python3.8-minimal 0 upgraded, 12 newly installed, 0 to remove and 0 not upgraded. Need to get 4956 kB of archives. After this operation, 20.3 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu focal-security/main amd64 libpython3.8-minimal amd64 3.8.10-0ubuntu1~20.04.1 [717 kB] Get:2 http://ftpmaster.internal/ubuntu focal/main amd64 libexpat1 amd64 2.2.9-1build1 [73.3 kB] Get:3 http://ftpmaster.internal/ubuntu focal-security/main amd64 python3.8-minimal amd64 3.8.10-0ubuntu1~20.04.1 [1900 kB] Get:4 http://ftpmaster.internal/ubuntu focal/main amd64 python3-minimal amd64 3.8.2-0ubuntu2 [23.6 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main amd64 mime-support all 3.64ubuntu1 [30.6 kB] Get:6 http://ftpmaster.internal/ubuntu focal/main amd64 libmpdec2 amd64 2.4.2-3 [81.1 kB] Get:7 http://ftpmaster.internal/ubuntu focal-security/main amd64 libpython3.8-stdlib amd64 3.8.10-0ubuntu1~20.04.1 [1674 kB] Get:8 http://ftpmaster.internal/ubuntu focal-security/main amd64 python3.8 amd64 3.8.10-0ubuntu1~20.04.1 [387 kB] Get:9 http://ftpmaster.internal/ubuntu focal/main amd64 libpython3-stdlib amd64 3.8.2-0ubuntu2 [7068 B] Get:10 http://ftpmaster.internal/ubuntu focal/main amd64 python3 amd64 3.8.2-0ubuntu2 [47.6 kB] Get:11 http://ftpmaster.internal/ubuntu focal-security/main amd64 distro-info-data all 0.43ubuntu1.9 [4744 B] Get:12 http://ftpmaster.internal/ubuntu focal/main amd64 lsb-release all 11.1.0ubuntu2 [10.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 4956 kB in 0s (21.6 MB/s) Selecting previously unselected package libpython3.8-minimal:amd64. (Reading database ... 12824 files and directories currently installed.) Preparing to unpack .../libpython3.8-minimal_3.8.10-0ubuntu1~20.04.1_amd64.deb ... Unpacking libpython3.8-minimal:amd64 (3.8.10-0ubuntu1~20.04.1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.2.9-1build1_amd64.deb ... Unpacking libexpat1:amd64 (2.2.9-1build1) ... Selecting previously unselected package python3.8-minimal. Preparing to unpack .../python3.8-minimal_3.8.10-0ubuntu1~20.04.1_amd64.deb ... Unpacking python3.8-minimal (3.8.10-0ubuntu1~20.04.1) ... Setting up libpython3.8-minimal:amd64 (3.8.10-0ubuntu1~20.04.1) ... Setting up libexpat1:amd64 (2.2.9-1build1) ... Setting up python3.8-minimal (3.8.10-0ubuntu1~20.04.1) ... Selecting previously unselected package python3-minimal. (Reading database ... 13115 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.8.2-0ubuntu2_amd64.deb ... Unpacking python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.64ubuntu1_all.deb ... Unpacking mime-support (3.64ubuntu1) ... Selecting previously unselected package libmpdec2:amd64. Preparing to unpack .../2-libmpdec2_2.4.2-3_amd64.deb ... Unpacking libmpdec2:amd64 (2.4.2-3) ... Selecting previously unselected package libpython3.8-stdlib:amd64. Preparing to unpack .../3-libpython3.8-stdlib_3.8.10-0ubuntu1~20.04.1_amd64.deb ... Unpacking libpython3.8-stdlib:amd64 (3.8.10-0ubuntu1~20.04.1) ... Selecting previously unselected package python3.8. Preparing to unpack .../4-python3.8_3.8.10-0ubuntu1~20.04.1_amd64.deb ... Unpacking python3.8 (3.8.10-0ubuntu1~20.04.1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../5-libpython3-stdlib_3.8.2-0ubuntu2_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.8.2-0ubuntu2) ... Setting up python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package python3. (Reading database ... 13517 files and directories currently installed.) Preparing to unpack .../python3_3.8.2-0ubuntu2_amd64.deb ... Unpacking python3 (3.8.2-0ubuntu2) ... Selecting previously unselected package distro-info-data. Preparing to unpack .../distro-info-data_0.43ubuntu1.9_all.deb ... Unpacking distro-info-data (0.43ubuntu1.9) ... Selecting previously unselected package lsb-release. Preparing to unpack .../lsb-release_11.1.0ubuntu2_all.deb ... Unpacking lsb-release (11.1.0ubuntu2) ... Setting up mime-support (3.64ubuntu1) ... Setting up distro-info-data (0.43ubuntu1.9) ... Setting up libmpdec2:amd64 (2.4.2-3) ... Setting up libpython3.8-stdlib:amd64 (3.8.10-0ubuntu1~20.04.1) ... Setting up python3.8 (3.8.10-0ubuntu1~20.04.1) ... Setting up libpython3-stdlib:amd64 (3.8.2-0ubuntu2) ... Setting up python3 (3.8.2-0ubuntu2) ... running python rtupdate hooks for python3.8... running python post-rtupdate hooks for python3.8... Setting up lsb-release (11.1.0ubuntu2) ... Processing triggers for libc-bin (2.31-0ubuntu9.2) ... Git version: git version 2.17.1 git-build-recipe 0.3.6~git201906051340.ff11471~ubuntu18.04.1 Building recipe: # git-build-recipe format 0.4 deb-version {debupstream}~{time}+{revno}-0~daily{revno:packaging}-{git-commit} lp:~jgross-h/coq/+git/coq master nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian master-coqide-no RUN ['git-build-recipe', '--safe', '--no-build', '--manifest', '/home/buildd/build-RECIPEBRANCHBUILD-2918179/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'focal', '--allow-fallback-to-native', '--append-version', '~ubuntu20.04.1', '/home/buildd/build-RECIPEBRANCHBUILD-2918179/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-2918179/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-2918179/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch patching file test-suite/success/Nsatz.v Hunk #1 succeeded at 464 (offset 3 lines). Hunk #2 succeeded at 476 (offset 3 lines). Applying patch /home/buildd/build-RECIPEBRANCHBUILD-2918179/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch patching file test-suite/Makefile Hunk #1 succeeded at 140 with fuzz 2 (offset 66 lines). Now at patch /home/buildd/build-RECIPEBRANCHBUILD-2918179/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch /usr/lib/python3/dist-packages/debian/changelog.py:275: UserWarning: Found eof where expected first heading warnings.warn(message) /usr/lib/python3/dist-packages/debian/changelog.py:275: UserWarning: Found eof where expected first heading warnings.warn(message) Initialized empty Git repository in /home/buildd/build-RECIPEBRANCHBUILD-2918179/chroot-autobuild/home/buildd/work/tree/recipe/.git/ From https://git.launchpad.net/~jgross-h/coq/+git/coq * [new branch] master -> source/master * [new branch] v8.0 -> source/v8.0 * [new branch] v8.1 -> source/v8.1 * [new branch] v8.10 -> source/v8.10 * [new branch] v8.11 -> source/v8.11 * [new branch] v8.12 -> source/v8.12 * [new branch] v8.13 -> source/v8.13 * [new branch] v8.14 -> source/v8.14 * [new branch] v8.15 -> source/v8.15 * [new branch] v8.2 -> source/v8.2 * [new branch] v8.3 -> source/v8.3 * [new branch] v8.4 -> source/v8.4 * [new branch] v8.5 -> source/v8.5 * [new branch] v8.6 -> source/v8.6 * [new branch] v8.7 -> source/v8.7 * [new branch] v8.8 -> source/v8.8 * [new branch] v8.9 -> source/v8.9 * [new tag] V8.12.2 -> V8.12.2 * [new tag] V8.13.2 -> V8.13.2 * [new tag] V8.14.1 -> V8.14.1 * [new tag] V8.8.2 -> V8.8.2 * [new tag] V8.10+beta1 -> V8.10+beta1 * [new tag] V8.10+beta2 -> V8.10+beta2 * [new tag] V8.10+beta3 -> V8.10+beta3 * [new tag] V8.10.0 -> V8.10.0 * [new tag] V8.10.1 -> V8.10.1 * [new tag] V8.10.2 -> V8.10.2 * [new tag] V8.11+beta1 -> V8.11+beta1 * [new tag] V8.11.0 -> V8.11.0 * [new tag] V8.11.1 -> V8.11.1 * [new tag] V8.11.2 -> V8.11.2 * [new tag] V8.12+beta1 -> V8.12+beta1 * [new tag] V8.12.0 -> V8.12.0 * [new tag] V8.12.1 -> V8.12.1 * [new tag] V8.13+beta1 -> V8.13+beta1 * [new tag] V8.13.0 -> V8.13.0 * [new tag] V8.13.1 -> V8.13.1 * [new tag] V8.14+rc1 -> V8.14+rc1 * [new tag] V8.14.0 -> V8.14.0 * [new tag] V8.15+rc1 -> V8.15+rc1 * [new tag] V8.4pl3 -> V8.4pl3 * [new tag] V8.4pl4 -> V8.4pl4 * [new tag] V8.4pl5 -> V8.4pl5 * [new tag] V8.4pl6 -> V8.4pl6 * [new tag] V8.6.1 -> V8.6.1 * [new tag] V8.7+beta1 -> V8.7+beta1 * [new tag] V8.7+beta2 -> V8.7+beta2 * [new tag] V8.7.0 -> V8.7.0 * [new tag] V8.7.1 -> V8.7.1 * [new tag] V8.7.2 -> V8.7.2 * [new tag] V8.8+beta1 -> V8.8+beta1 * [new tag] V8.8.0 -> V8.8.0 * [new tag] V8.8.1 -> V8.8.1 * [new tag] V8.9+beta1 -> V8.9+beta1 * [new tag] V8.9.0 -> V8.9.0 * [new tag] V8.9.1 -> V8.9.1 Note: checking out '3799ab99d623225c40a1029dba02bc15fb0f86a4'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by performing another checkout. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -b with the checkout command again. Example: git checkout -b HEAD is now at 3799ab99d6 Merge PR #15323: Also mention the deprecation of bfs eauto in the doc. From https://git.launchpad.net/~jgross-h/coq/+git/coq-packaging * [new branch] master -> source-packaging/master * [new branch] master-coqide-no -> source-packaging/master-coqide-no * [new branch] master-precise -> source-packaging/master-precise * [new branch] precise -> source-packaging/precise * [new branch] trunk -> source-packaging/trunk * [new branch] trunk-precise -> source-packaging/trunk-precise * [new branch] v8.10 -> source-packaging/v8.10 * [new branch] v8.10-coqide-no -> source-packaging/v8.10-coqide-no * [new branch] v8.11 -> source-packaging/v8.11 * [new branch] v8.11-coqide-no -> source-packaging/v8.11-coqide-no * [new branch] v8.12 -> source-packaging/v8.12 * [new branch] v8.12-coqide-no -> source-packaging/v8.12-coqide-no * [new branch] v8.13 -> source-packaging/v8.13 * [new branch] v8.13-coqide-no -> source-packaging/v8.13-coqide-no * [new branch] v8.14 -> source-packaging/v8.14 * [new branch] v8.14-coqide-no -> source-packaging/v8.14-coqide-no * [new branch] v8.3 -> source-packaging/v8.3 * [new branch] v8.5 -> source-packaging/v8.5 * [new branch] v8.5-coqide-no -> source-packaging/v8.5-coqide-no * [new branch] v8.5-precise -> source-packaging/v8.5-precise * [new branch] v8.6 -> source-packaging/v8.6 * [new branch] v8.6-coqide-no -> source-packaging/v8.6-coqide-no * [new branch] v8.6-precise -> source-packaging/v8.6-precise * [new branch] v8.7 -> source-packaging/v8.7 * [new branch] v8.7-coqide-no -> source-packaging/v8.7-coqide-no * [new branch] v8.7-precise -> source-packaging/v8.7-precise * [new branch] v8.8 -> source-packaging/v8.8 * [new branch] v8.8-coqide-no -> source-packaging/v8.8-coqide-no * [new branch] v8.9 -> source-packaging/v8.9 * [new branch] v8.9-coqide-no -> source-packaging/v8.9-coqide-no Get:1 file:/home/buildd/work/apt ./ InRelease Ign:1 file:/home/buildd/work/apt ./ InRelease Get:2 file:/home/buildd/work/apt ./ Release [1331 B] Get:2 file:/home/buildd/work/apt ./ Release [1331 B] Get:3 file:/home/buildd/work/apt ./ Release.gpg Ign:3 file:/home/buildd/work/apt ./ Release.gpg Get:4 file:/home/buildd/work/apt ./ Sources [271 B] Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dune dwz file fontconfig-config fonts-dejavu-core fonts-lmodern fonts-urw-base35 gettext gettext-base ghostscript groff-base hevea intltool-debian libapache-pom-java libarchive-zip-perl libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcommons-logging-java libcommons-parent-java libcroco3 libcups2 libdbus-1-3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java libfontconfig1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libharfbuzz-icu0 libharfbuzz0b libice6 libicu66 libidn11 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkpathsea6 libkrb5-3 libkrb5support0 liblcms2-2 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libnetpbm10 libopenjp2-7 libpaper-utils libpaper1 libpdfbox-java libpipeline1 libpixman-1-0 libptexenc1 libsigsegv2 libsm6 libsub-override-perl libsynctex2 libteckit0 libtexlua53 libtexluajit2 libtiff5 libtool libuchardet0 libwebp6 libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6 libzarith-ocaml libzarith-ocaml-dev libzzip-0-13 m4 man-db netpbm ocaml-base-nox ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp ocaml-nox po-debconf poppler-data preview-latex-style t1utils tex-common texlive-base texlive-binaries texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ucf x11-common xdg-utils 0 upgraded, 129 newly installed, 0 to remove and 0 not upgraded. Need to get 217 MB of archives. After this operation, 872 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu focal/main amd64 libbsd0 amd64 0.10.0-1 [45.4 kB] Get:2 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 ocaml-dune amd64 2.7.0-1.1~focal~ppa17 [1982 kB] Get:3 http://ftpmaster.internal/ubuntu focal/main amd64 bsdmainutils amd64 11.1.2ubuntu3 [181 kB] Get:4 http://ftpmaster.internal/ubuntu focal/main amd64 libuchardet0 amd64 0.0.6-3build1 [65.2 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main amd64 groff-base amd64 1.22.4-4build1 [847 kB] Get:6 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 dune all 2.7.0-1.1~focal~ppa17 [4228 B] Get:7 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 ocaml-base-nox amd64 4.11.1-4.1~focal~ppa1 [572 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main amd64 libpipeline1 amd64 1.5.2-2build1 [27.7 kB] Get:9 http://ftpmaster.internal/ubuntu focal/main amd64 man-db amd64 2.9.1-1 [1112 kB] Get:10 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 hevea all 2.32-3build1.1~focal~ppa17 [894 kB] Get:11 http://ftpmaster.internal/ubuntu focal/main amd64 poppler-data all 0.4.9-2 [1475 kB] Get:12 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 libfindlib-ocaml amd64 1.8.1-2.1~focal~ppa1 [193 kB] Get:13 http://ftpmaster.internal/ubuntu focal/main amd64 ucf all 3.0038+nmu1 [51.6 kB] Get:14 http://ftpmaster.internal/ubuntu focal/universe amd64 tex-common all 6.13 [32.7 kB] Get:15 http://ftpmaster.internal/ubuntu focal/main amd64 libmagic-mgc amd64 1:5.38-4 [218 kB] Get:16 http://ftpmaster.internal/ubuntu focal/main amd64 libmagic1 amd64 1:5.38-4 [75.9 kB] Get:17 http://ftpmaster.internal/ubuntu focal/main amd64 file amd64 1:5.38-4 [23.3 kB] Get:18 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdbus-1-3 amd64 1.12.16-2ubuntu2.1 [179 kB] Get:19 http://ftpmaster.internal/ubuntu focal/main amd64 libelf1 amd64 0.176-1.1build1 [44.0 kB] Get:20 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libglib2.0-0 amd64 2.64.6-1~ubuntu20.04.4 [1287 kB] Get:21 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 libzarith-ocaml amd64 1.11-1.1~focal~ppa19 [53.6 kB] Get:22 http://ftpmaster.internal/ubuntu focal-security/main amd64 libicu66 amd64 66.1-2ubuntu2.1 [8515 kB] Get:23 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 ocaml-compiler-libs amd64 4.11.1-4.1~focal~ppa1 [29.7 MB] Get:24 http://ftpmaster.internal/ubuntu focal-security/main amd64 libxml2 amd64 2.9.10+dfsg-5ubuntu0.20.04.1 [640 kB] Get:25 http://ftpmaster.internal/ubuntu focal/main amd64 gettext-base amd64 0.19.8.1-10build1 [50.2 kB] Get:26 http://ftpmaster.internal/ubuntu focal-security/main amd64 libkrb5support0 amd64 1.17-6ubuntu4.1 [30.9 kB] Get:27 http://ftpmaster.internal/ubuntu focal-security/main amd64 libk5crypto3 amd64 1.17-6ubuntu4.1 [79.9 kB] Get:28 http://ftpmaster.internal/ubuntu focal/main amd64 libkeyutils1 amd64 1.6-6ubuntu1 [10.2 kB] Get:29 http://ftpmaster.internal/ubuntu focal-security/main amd64 libkrb5-3 amd64 1.17-6ubuntu4.1 [330 kB] Get:30 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgssapi-krb5-2 amd64 1.17-6ubuntu4.1 [121 kB] Get:31 http://ftpmaster.internal/ubuntu focal/main amd64 libxau6 amd64 1:1.0.9-0ubuntu1 [7488 B] Get:32 http://ftpmaster.internal/ubuntu focal/main amd64 libxdmcp6 amd64 1:1.1.3-0ubuntu1 [10.6 kB] Get:33 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb1 amd64 1.14-2 [44.7 kB] Get:34 http://ftpmaster.internal/ubuntu focal-security/main amd64 libx11-data all 2:1.6.9-2ubuntu1.2 [113 kB] Get:35 http://ftpmaster.internal/ubuntu focal-security/main amd64 libx11-6 amd64 2:1.6.9-2ubuntu1.2 [575 kB] Get:36 http://ftpmaster.internal/ubuntu focal/main amd64 libxext6 amd64 2:1.3.4-0ubuntu1 [29.1 kB] Get:37 http://ftpmaster.internal/ubuntu focal/main amd64 libsigsegv2 amd64 2.12-2 [13.9 kB] Get:38 http://ftpmaster.internal/ubuntu focal/main amd64 m4 amd64 1.4.18-4 [199 kB] Get:39 http://ftpmaster.internal/ubuntu focal/main amd64 autoconf all 2.69-11.1 [321 kB] Get:40 http://ftpmaster.internal/ubuntu focal/main amd64 autotools-dev all 20180224.1 [39.6 kB] Get:41 http://ftpmaster.internal/ubuntu focal/main amd64 automake all 1:1.16.1-4ubuntu6 [522 kB] Get:42 http://ftpmaster.internal/ubuntu focal/main amd64 autopoint all 0.19.8.1-10build1 [412 kB] Get:43 http://ftpmaster.internal/ubuntu focal/main amd64 libtool all 2.4.6-14 [161 kB] Get:44 http://ftpmaster.internal/ubuntu focal/main amd64 dh-autoreconf all 19 [16.1 kB] Get:45 http://ftpmaster.internal/ubuntu focal/main amd64 libdebhelper-perl all 12.10ubuntu1 [62.1 kB] Get:46 http://ftpmaster.internal/ubuntu focal/main amd64 libarchive-zip-perl all 1.67-2 [90.5 kB] Get:47 http://ftpmaster.internal/ubuntu focal/main amd64 libsub-override-perl all 0.09-2 [9532 B] Get:48 http://ftpmaster.internal/ubuntu focal/main amd64 libfile-stripnondeterminism-perl all 1.7.0-1 [15.9 kB] Get:49 http://ftpmaster.internal/ubuntu focal/main amd64 dh-strip-nondeterminism all 1.7.0-1 [5228 B] Get:50 http://ftpmaster.internal/ubuntu focal/main amd64 dwz amd64 0.13-5 [151 kB] Get:51 http://ftpmaster.internal/ubuntu focal/main amd64 libcroco3 amd64 0.6.13-1 [82.5 kB] Get:52 http://ftpmaster.internal/ubuntu focal/main amd64 gettext amd64 0.19.8.1-10build1 [895 kB] Get:53 http://ftpmaster.internal/ubuntu focal/main amd64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:54 http://ftpmaster.internal/ubuntu focal/main amd64 po-debconf all 1.0.21 [233 kB] Get:55 http://ftpmaster.internal/ubuntu focal/main amd64 debhelper all 12.10ubuntu1 [877 kB] Get:56 http://ftpmaster.internal/ubuntu focal/main amd64 fonts-dejavu-core all 2.37-1 [1041 kB] Get:57 http://ftpmaster.internal/ubuntu focal/main amd64 fontconfig-config all 2.13.1-2ubuntu3 [28.8 kB] Get:58 http://ftpmaster.internal/ubuntu focal/universe amd64 fonts-lmodern all 2.004.5-6 [4532 kB] Get:59 http://ftpmaster.internal/ubuntu focal/main amd64 fonts-urw-base35 all 20170801.1-3 [6333 kB] Get:60 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libgs9-common all 9.50~dfsg-5ubuntu4.4 [682 kB] Get:61 http://ftpmaster.internal/ubuntu focal-security/main amd64 libavahi-common-data amd64 0.7-4ubuntu7.1 [21.4 kB] Get:62 http://ftpmaster.internal/ubuntu focal-security/main amd64 libavahi-common3 amd64 0.7-4ubuntu7.1 [21.7 kB] Get:63 http://ftpmaster.internal/ubuntu focal-security/main amd64 libavahi-client3 amd64 0.7-4ubuntu7.1 [25.5 kB] Get:64 http://ftpmaster.internal/ubuntu focal-security/main amd64 libcups2 amd64 2.3.1-9ubuntu1.1 [233 kB] Get:65 http://ftpmaster.internal/ubuntu focal-security/main amd64 libfreetype6 amd64 2.10.1-2ubuntu0.1 [341 kB] Get:66 http://ftpmaster.internal/ubuntu focal/main amd64 libfontconfig1 amd64 2.13.1-2ubuntu3 [114 kB] Get:67 http://ftpmaster.internal/ubuntu focal/main amd64 libidn11 amd64 1.33-2.2ubuntu2 [46.2 kB] Get:68 http://ftpmaster.internal/ubuntu focal/main amd64 libijs-0.35 amd64 0.35-15 [15.7 kB] Get:69 http://ftpmaster.internal/ubuntu focal/main amd64 libjbig2dec0 amd64 0.18-1ubuntu1 [60.0 kB] Get:70 http://ftpmaster.internal/ubuntu focal-security/main amd64 libjpeg-turbo8 amd64 2.0.3-0ubuntu1.20.04.1 [117 kB] Get:71 http://ftpmaster.internal/ubuntu focal/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B] Get:72 http://ftpmaster.internal/ubuntu focal/main amd64 liblcms2-2 amd64 2.9-4 [140 kB] Get:73 http://ftpmaster.internal/ubuntu focal-security/main amd64 libopenjp2-7 amd64 2.3.1-1ubuntu4.20.04.1 [141 kB] Get:74 http://ftpmaster.internal/ubuntu focal/main amd64 libpaper1 amd64 1.1.28 [13.0 kB] Get:75 http://ftpmaster.internal/ubuntu focal/main amd64 libjbig0 amd64 2.1-3.1build1 [26.7 kB] Get:76 http://ftpmaster.internal/ubuntu focal-security/main amd64 libwebp6 amd64 0.6.1-2ubuntu0.20.04.1 [185 kB] Get:77 http://ftpmaster.internal/ubuntu focal-security/main amd64 libtiff5 amd64 4.1.0+git191117-2ubuntu0.20.04.2 [162 kB] Get:78 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libgs9 amd64 9.50~dfsg-5ubuntu4.4 [2173 kB] Get:79 http://ftpmaster.internal/ubuntu focal-updates/main amd64 ghostscript amd64 9.50~dfsg-5ubuntu4.4 [51.8 kB] Get:80 http://ftpmaster.internal/ubuntu focal/universe amd64 libnetpbm10 amd64 2:10.0-15.3build1 [58.0 kB] Get:81 http://ftpmaster.internal/ubuntu focal/universe amd64 netpbm amd64 2:10.0-15.3build1 [1017 kB] Get:82 http://ftpmaster.internal/ubuntu focal/main amd64 libpaper-utils amd64 1.1.28 [8400 B] Get:83 http://ftpmaster.internal/ubuntu focal/main amd64 libkpathsea6 amd64 2019.20190605.51237-3build2 [57.0 kB] Get:84 http://ftpmaster.internal/ubuntu focal/main amd64 libptexenc1 amd64 2019.20190605.51237-3build2 [35.5 kB] Get:85 http://ftpmaster.internal/ubuntu focal/main amd64 libsynctex2 amd64 2019.20190605.51237-3build2 [55.0 kB] Get:86 http://ftpmaster.internal/ubuntu focal/main amd64 libtexlua53 amd64 2019.20190605.51237-3build2 [105 kB] Get:87 http://ftpmaster.internal/ubuntu focal/main amd64 libtexluajit2 amd64 2019.20190605.51237-3build2 [235 kB] Get:88 http://ftpmaster.internal/ubuntu focal/main amd64 t1utils amd64 1.41-3 [56.1 kB] Get:89 http://ftpmaster.internal/ubuntu focal/main amd64 libpixman-1-0 amd64 0.38.4-0ubuntu1 [227 kB] Get:90 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-render0 amd64 1.14-2 [14.8 kB] Get:91 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-shm0 amd64 1.14-2 [5584 B] Get:92 http://ftpmaster.internal/ubuntu focal/main amd64 libxrender1 amd64 1:0.9.10-1 [18.7 kB] Get:93 http://ftpmaster.internal/ubuntu focal/main amd64 libcairo2 amd64 1.16.0-4ubuntu1 [583 kB] Get:94 http://ftpmaster.internal/ubuntu focal/main amd64 libgraphite2-3 amd64 1.3.13-11build1 [73.5 kB] Get:95 http://ftpmaster.internal/ubuntu focal/main amd64 libharfbuzz0b amd64 2.6.4-1ubuntu4 [391 kB] Get:96 http://ftpmaster.internal/ubuntu focal/main amd64 libharfbuzz-icu0 amd64 2.6.4-1ubuntu4 [5580 B] Get:97 http://ftpmaster.internal/ubuntu focal/universe amd64 libteckit0 amd64 2.5.8+ds2-5ubuntu2 [320 kB] Get:98 http://ftpmaster.internal/ubuntu focal/main amd64 x11-common all 1:7.7+19ubuntu14 [22.3 kB] Get:99 http://ftpmaster.internal/ubuntu focal/main amd64 libice6 amd64 2:1.0.10-0ubuntu1 [41.0 kB] Get:100 http://ftpmaster.internal/ubuntu focal/main amd64 libsm6 amd64 2:1.2.3-1 [16.1 kB] Get:101 http://ftpmaster.internal/ubuntu focal/main amd64 libxt6 amd64 1:1.1.5-1 [160 kB] Get:102 http://ftpmaster.internal/ubuntu focal/main amd64 libxmu6 amd64 2:1.1.3-0ubuntu1 [45.8 kB] Get:103 http://ftpmaster.internal/ubuntu focal/main amd64 libxpm4 amd64 1:3.5.12-1 [34.0 kB] Get:104 http://ftpmaster.internal/ubuntu focal/main amd64 libxaw7 amd64 2:1.0.13-1 [173 kB] Get:105 http://ftpmaster.internal/ubuntu focal/main amd64 libxi6 amd64 2:1.7.10-0ubuntu1 [29.9 kB] Get:106 http://ftpmaster.internal/ubuntu focal/universe amd64 libzzip-0-13 amd64 0.13.62-3.2ubuntu1 [26.2 kB] Get:107 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-binaries amd64 2019.20190605.51237-3build2 [8041 kB] Get:108 http://ftpmaster.internal/ubuntu focal-security/main amd64 xdg-utils all 1.1.3-2ubuntu1.20.04.2 [61.4 kB] Get:109 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-base all 2019.20200218-1 [20.8 MB] Get:110 http://ftpmaster.internal/ubuntu focal/universe amd64 libapache-pom-java all 18-1 [4720 B] Get:111 http://ftpmaster.internal/ubuntu focal/universe amd64 libcommons-parent-java all 43-1 [10.8 kB] Get:112 http://ftpmaster.internal/ubuntu focal/universe amd64 libcommons-logging-java all 1.2-2 [60.3 kB] Get:113 http://ftpmaster.internal/ubuntu focal/main amd64 libgmpxx4ldbl amd64 2:6.2.0+dfsg-4 [9128 B] Get:114 http://ftpmaster.internal/ubuntu focal/main amd64 libgmp-dev amd64 2:6.2.0+dfsg-4 [320 kB] Get:115 http://ftpmaster.internal/ubuntu focal/main amd64 libgmp3-dev amd64 2:6.2.0+dfsg-4 [2012 B] Get:116 http://ftpmaster.internal/ubuntu focal/main amd64 libncurses-dev amd64 6.2-0ubuntu2 [339 kB] Get:117 http://ftpmaster.internal/ubuntu focal/main amd64 libncurses5-dev amd64 6.2-0ubuntu2 [976 B] Get:118 http://ftpmaster.internal/ubuntu focal/universe amd64 preview-latex-style all 11.91-2ubuntu2 [184 kB] Get:119 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-latex-base all 2019.20200218-1 [990 kB] Get:120 http://ftpmaster.internal/ubuntu focal/universe amd64 libfontbox-java all 1:1.8.16-2 [207 kB] Get:121 http://ftpmaster.internal/ubuntu focal/universe amd64 libpdfbox-java all 1:1.8.16-2 [5199 kB] Get:122 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-latex-recommended all 2019.20200218-1 [15.7 MB] Get:123 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-pictures all 2019.20200218-1 [4492 kB] Get:124 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 ocaml-interp amd64 4.11.1-4.1~focal~ppa1 [5722 kB] Get:125 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-latex-extra all 2019.202000218-1 [12.5 MB] Get:126 http://ftpmaster.internal/ubuntu focal/universe amd64 dh-ocaml all 1.1.1 [79.7 kB] Get:127 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 ocaml-nox amd64 4.11.1-4.1~focal~ppa1 [67.7 MB] Get:128 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 libzarith-ocaml-dev amd64 1.11-1.1~focal~ppa19 [89.3 kB] Get:129 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu focal/main amd64 ocaml-findlib amd64 1.8.1-2.1~focal~ppa1 [480 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 217 MB in 6s (36.6 MB/s) Selecting previously unselected package libbsd0:amd64. (Reading database ... 13571 files and directories currently installed.) Preparing to unpack .../000-libbsd0_0.10.0-1_amd64.deb ... Unpacking libbsd0:amd64 (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../001-bsdmainutils_11.1.2ubuntu3_amd64.deb ... Unpacking bsdmainutils (11.1.2ubuntu3) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../002-libuchardet0_0.0.6-3build1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.6-3build1) ... Selecting previously unselected package groff-base. Preparing to unpack .../003-groff-base_1.22.4-4build1_amd64.deb ... Unpacking groff-base (1.22.4-4build1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../004-libpipeline1_1.5.2-2build1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.2-2build1) ... Selecting previously unselected package man-db. Preparing to unpack .../005-man-db_2.9.1-1_amd64.deb ... Unpacking man-db (2.9.1-1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../006-poppler-data_0.4.9-2_all.deb ... Unpacking poppler-data (0.4.9-2) ... Selecting previously unselected package ucf. Preparing to unpack .../007-ucf_3.0038+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0038+nmu1) ... Selecting previously unselected package tex-common. Preparing to unpack .../008-tex-common_6.13_all.deb ... Unpacking tex-common (6.13) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../009-libmagic-mgc_1%3a5.38-4_amd64.deb ... Unpacking libmagic-mgc (1:5.38-4) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../010-libmagic1_1%3a5.38-4_amd64.deb ... Unpacking libmagic1:amd64 (1:5.38-4) ... Selecting previously unselected package file. Preparing to unpack .../011-file_1%3a5.38-4_amd64.deb ... Unpacking file (1:5.38-4) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../012-libdbus-1-3_1.12.16-2ubuntu2.1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.16-2ubuntu2.1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../013-libelf1_0.176-1.1build1_amd64.deb ... Unpacking libelf1:amd64 (0.176-1.1build1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../014-libglib2.0-0_2.64.6-1~ubuntu20.04.4_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.64.6-1~ubuntu20.04.4) ... Selecting previously unselected package libicu66:amd64. Preparing to unpack .../015-libicu66_66.1-2ubuntu2.1_amd64.deb ... Unpacking libicu66:amd64 (66.1-2ubuntu2.1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../016-libxml2_2.9.10+dfsg-5ubuntu0.20.04.1_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-5ubuntu0.20.04.1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../017-gettext-base_0.19.8.1-10build1_amd64.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../018-libkrb5support0_1.17-6ubuntu4.1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.17-6ubuntu4.1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../019-libk5crypto3_1.17-6ubuntu4.1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.17-6ubuntu4.1) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../020-libkeyutils1_1.6-6ubuntu1_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6-6ubuntu1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../021-libkrb5-3_1.17-6ubuntu4.1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.17-6ubuntu4.1) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../022-libgssapi-krb5-2_1.17-6ubuntu4.1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.17-6ubuntu4.1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../023-libxau6_1%3a1.0.9-0ubuntu1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-0ubuntu1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../024-libxdmcp6_1%3a1.1.3-0ubuntu1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.3-0ubuntu1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../025-libxcb1_1.14-2_amd64.deb ... Unpacking libxcb1:amd64 (1.14-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../026-libx11-data_2%3a1.6.9-2ubuntu1.2_all.deb ... Unpacking libx11-data (2:1.6.9-2ubuntu1.2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../027-libx11-6_2%3a1.6.9-2ubuntu1.2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.9-2ubuntu1.2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../028-libxext6_2%3a1.3.4-0ubuntu1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-0ubuntu1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../029-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../030-m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../031-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../032-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../033-automake_1%3a1.16.1-4ubuntu6_all.deb ... Unpacking automake (1:1.16.1-4ubuntu6) ... Selecting previously unselected package autopoint. Preparing to unpack .../034-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package libtool. Preparing to unpack .../035-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../036-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../037-libdebhelper-perl_12.10ubuntu1_all.deb ... Unpacking libdebhelper-perl (12.10ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../038-libarchive-zip-perl_1.67-2_all.deb ... Unpacking libarchive-zip-perl (1.67-2) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../039-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 .../040-libfile-stripnondeterminism-perl_1.7.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.7.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../041-dh-strip-nondeterminism_1.7.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.7.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../042-dwz_0.13-5_amd64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../043-libcroco3_0.6.13-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../044-gettext_0.19.8.1-10build1_amd64.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../045-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 .../046-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../047-debhelper_12.10ubuntu1_all.deb ... Unpacking debhelper (12.10ubuntu1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../048-ocaml-dune_2.7.0-1.1~focal~ppa17_amd64.deb ... Unpacking ocaml-dune (2.7.0-1.1~focal~ppa17) ... Selecting previously unselected package dune. Preparing to unpack .../049-dune_2.7.0-1.1~focal~ppa17_all.deb ... Unpacking dune (2.7.0-1.1~focal~ppa17) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../050-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../051-fontconfig-config_2.13.1-2ubuntu3_all.deb ... Unpacking fontconfig-config (2.13.1-2ubuntu3) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../052-fonts-lmodern_2.004.5-6_all.deb ... Unpacking fonts-lmodern (2.004.5-6) ... Selecting previously unselected package fonts-urw-base35. Preparing to unpack .../053-fonts-urw-base35_20170801.1-3_all.deb ... Unpacking fonts-urw-base35 (20170801.1-3) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../054-libgs9-common_9.50~dfsg-5ubuntu4.4_all.deb ... Unpacking libgs9-common (9.50~dfsg-5ubuntu4.4) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../055-libavahi-common-data_0.7-4ubuntu7.1_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.7-4ubuntu7.1) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../056-libavahi-common3_0.7-4ubuntu7.1_amd64.deb ... Unpacking libavahi-common3:amd64 (0.7-4ubuntu7.1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../057-libavahi-client3_0.7-4ubuntu7.1_amd64.deb ... Unpacking libavahi-client3:amd64 (0.7-4ubuntu7.1) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../058-libcups2_2.3.1-9ubuntu1.1_amd64.deb ... Unpacking libcups2:amd64 (2.3.1-9ubuntu1.1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../059-libfreetype6_2.10.1-2ubuntu0.1_amd64.deb ... Unpacking libfreetype6:amd64 (2.10.1-2ubuntu0.1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../060-libfontconfig1_2.13.1-2ubuntu3_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-2ubuntu3) ... Selecting previously unselected package libidn11:amd64. Preparing to unpack .../061-libidn11_1.33-2.2ubuntu2_amd64.deb ... Unpacking libidn11:amd64 (1.33-2.2ubuntu2) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../062-libijs-0.35_0.35-15_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-15) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../063-libjbig2dec0_0.18-1ubuntu1_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.18-1ubuntu1) ... Selecting previously unselected package libjpeg-turbo8:amd64. Preparing to unpack .../064-libjpeg-turbo8_2.0.3-0ubuntu1.20.04.1_amd64.deb ... Unpacking libjpeg-turbo8:amd64 (2.0.3-0ubuntu1.20.04.1) ... Selecting previously unselected package libjpeg8:amd64. Preparing to unpack .../065-libjpeg8_8c-2ubuntu8_amd64.deb ... Unpacking libjpeg8:amd64 (8c-2ubuntu8) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../066-liblcms2-2_2.9-4_amd64.deb ... Unpacking liblcms2-2:amd64 (2.9-4) ... Selecting previously unselected package libopenjp2-7:amd64. Preparing to unpack .../067-libopenjp2-7_2.3.1-1ubuntu4.20.04.1_amd64.deb ... Unpacking libopenjp2-7:amd64 (2.3.1-1ubuntu4.20.04.1) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../068-libpaper1_1.1.28_amd64.deb ... Unpacking libpaper1:amd64 (1.1.28) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../069-libjbig0_2.1-3.1build1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1build1) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../070-libwebp6_0.6.1-2ubuntu0.20.04.1_amd64.deb ... Unpacking libwebp6:amd64 (0.6.1-2ubuntu0.20.04.1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../071-libtiff5_4.1.0+git191117-2ubuntu0.20.04.2_amd64.deb ... Unpacking libtiff5:amd64 (4.1.0+git191117-2ubuntu0.20.04.2) ... Selecting previously unselected package libgs9:amd64. Preparing to unpack .../072-libgs9_9.50~dfsg-5ubuntu4.4_amd64.deb ... Unpacking libgs9:amd64 (9.50~dfsg-5ubuntu4.4) ... Selecting previously unselected package ghostscript. Preparing to unpack .../073-ghostscript_9.50~dfsg-5ubuntu4.4_amd64.deb ... Unpacking ghostscript (9.50~dfsg-5ubuntu4.4) ... Selecting previously unselected package libnetpbm10. Preparing to unpack .../074-libnetpbm10_2%3a10.0-15.3build1_amd64.deb ... Unpacking libnetpbm10 (2:10.0-15.3build1) ... Selecting previously unselected package netpbm. Preparing to unpack .../075-netpbm_2%3a10.0-15.3build1_amd64.deb ... Unpacking netpbm (2:10.0-15.3build1) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../076-libpaper-utils_1.1.28_amd64.deb ... Unpacking libpaper-utils (1.1.28) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../077-libkpathsea6_2019.20190605.51237-3build2_amd64.deb ... Unpacking libkpathsea6:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../078-libptexenc1_2019.20190605.51237-3build2_amd64.deb ... Unpacking libptexenc1:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../079-libsynctex2_2019.20190605.51237-3build2_amd64.deb ... Unpacking libsynctex2:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package libtexlua53:amd64. Preparing to unpack .../080-libtexlua53_2019.20190605.51237-3build2_amd64.deb ... Unpacking libtexlua53:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../081-libtexluajit2_2019.20190605.51237-3build2_amd64.deb ... Unpacking libtexluajit2:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package t1utils. Preparing to unpack .../082-t1utils_1.41-3_amd64.deb ... Unpacking t1utils (1.41-3) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../083-libpixman-1-0_0.38.4-0ubuntu1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.38.4-0ubuntu1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../084-libxcb-render0_1.14-2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.14-2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../085-libxcb-shm0_1.14-2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.14-2) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../086-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../087-libcairo2_1.16.0-4ubuntu1_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../088-libgraphite2-3_1.3.13-11build1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.13-11build1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../089-libharfbuzz0b_2.6.4-1ubuntu4_amd64.deb ... Unpacking libharfbuzz0b:amd64 (2.6.4-1ubuntu4) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../090-libharfbuzz-icu0_2.6.4-1ubuntu4_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (2.6.4-1ubuntu4) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../091-libteckit0_2.5.8+ds2-5ubuntu2_amd64.deb ... Unpacking libteckit0:amd64 (2.5.8+ds2-5ubuntu2) ... Selecting previously unselected package x11-common. Preparing to unpack .../092-x11-common_1%3a7.7+19ubuntu14_all.deb ... dpkg-query: no packages found matching nux-tools Unpacking x11-common (1:7.7+19ubuntu14) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../093-libice6_2%3a1.0.10-0ubuntu1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.10-0ubuntu1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../094-libsm6_2%3a1.2.3-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.3-1) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../095-libxt6_1%3a1.1.5-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../096-libxmu6_2%3a1.1.3-0ubuntu1_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.3-0ubuntu1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../097-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../098-libxaw7_2%3a1.0.13-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.13-1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../099-libxi6_2%3a1.7.10-0ubuntu1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.10-0ubuntu1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../100-libzzip-0-13_0.13.62-3.2ubuntu1_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.62-3.2ubuntu1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../101-texlive-binaries_2019.20190605.51237-3build2_amd64.deb ... Unpacking texlive-binaries (2019.20190605.51237-3build2) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../102-xdg-utils_1.1.3-2ubuntu1.20.04.2_all.deb ... Unpacking xdg-utils (1.1.3-2ubuntu1.20.04.2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../103-texlive-base_2019.20200218-1_all.deb ... Unpacking texlive-base (2019.20200218-1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../104-ocaml-base-nox_4.11.1-4.1~focal~ppa1_amd64.deb ... Unpacking ocaml-base-nox (4.11.1-4.1~focal~ppa1) ... Selecting previously unselected package hevea. Preparing to unpack .../105-hevea_2.32-3build1.1~focal~ppa17_all.deb ... Unpacking hevea (2.32-3build1.1~focal~ppa17) ... Selecting previously unselected package libapache-pom-java. Preparing to unpack .../106-libapache-pom-java_18-1_all.deb ... Unpacking libapache-pom-java (18-1) ... Selecting previously unselected package libcommons-parent-java. Preparing to unpack .../107-libcommons-parent-java_43-1_all.deb ... Unpacking libcommons-parent-java (43-1) ... Selecting previously unselected package libcommons-logging-java. Preparing to unpack .../108-libcommons-logging-java_1.2-2_all.deb ... Unpacking libcommons-logging-java (1.2-2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../109-libfindlib-ocaml_1.8.1-2.1~focal~ppa1_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-2.1~focal~ppa1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../110-libgmpxx4ldbl_2%3a6.2.0+dfsg-4_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.2.0+dfsg-4) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../111-libgmp-dev_2%3a6.2.0+dfsg-4_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.2.0+dfsg-4) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../112-libgmp3-dev_2%3a6.2.0+dfsg-4_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.2.0+dfsg-4) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../113-libncurses-dev_6.2-0ubuntu2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.2-0ubuntu2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../114-libncurses5-dev_6.2-0ubuntu2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.2-0ubuntu2) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../115-libzarith-ocaml_1.11-1.1~focal~ppa19_amd64.deb ... Unpacking libzarith-ocaml (1.11-1.1~focal~ppa19) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../116-ocaml-compiler-libs_4.11.1-4.1~focal~ppa1_amd64.deb ... Unpacking ocaml-compiler-libs (4.11.1-4.1~focal~ppa1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../117-ocaml-interp_4.11.1-4.1~focal~ppa1_amd64.deb ... Unpacking ocaml-interp (4.11.1-4.1~focal~ppa1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../118-ocaml-nox_4.11.1-4.1~focal~ppa1_amd64.deb ... Unpacking ocaml-nox (4.11.1-4.1~focal~ppa1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../119-libzarith-ocaml-dev_1.11-1.1~focal~ppa19_amd64.deb ... Unpacking libzarith-ocaml-dev (1.11-1.1~focal~ppa19) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../120-ocaml-findlib_1.8.1-2.1~focal~ppa1_amd64.deb ... Unpacking ocaml-findlib (1.8.1-2.1~focal~ppa1) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../121-preview-latex-style_11.91-2ubuntu2_all.deb ... Unpacking preview-latex-style (11.91-2ubuntu2) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../122-texlive-latex-base_2019.20200218-1_all.deb ... Unpacking texlive-latex-base (2019.20200218-1) ... Selecting previously unselected package libfontbox-java. Preparing to unpack .../123-libfontbox-java_1%3a1.8.16-2_all.deb ... Unpacking libfontbox-java (1:1.8.16-2) ... Selecting previously unselected package libpdfbox-java. Preparing to unpack .../124-libpdfbox-java_1%3a1.8.16-2_all.deb ... Unpacking libpdfbox-java (1:1.8.16-2) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../125-texlive-latex-recommended_2019.20200218-1_all.deb ... Unpacking texlive-latex-recommended (2019.20200218-1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../126-texlive-pictures_2019.20200218-1_all.deb ... Unpacking texlive-pictures (2019.20200218-1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../127-texlive-latex-extra_2019.202000218-1_all.deb ... Unpacking texlive-latex-extra (2019.202000218-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../128-dh-ocaml_1.1.1_all.deb ... Unpacking dh-ocaml (1.1.1) ... Setting up libpipeline1:amd64 (1.5.2-2build1) ... Setting up libgraphite2-3:amd64 (1.3.13-11build1) ... Setting up liblcms2-2:amd64 (2.9-4) ... Setting up libpixman-1-0:amd64 (0.38.4-0ubuntu1) ... Setting up libxau6:amd64 (1:1.0.9-0ubuntu1) ... Setting up libkeyutils1:amd64 (1.6-6ubuntu1) ... Setting up libncurses-dev:amd64 (6.2-0ubuntu2) ... Setting up libmagic-mgc (1:5.38-4) ... Setting up libtexlua53:amd64 (2019.20190605.51237-3build2) ... Setting up libarchive-zip-perl (1.67-2) ... Setting up libglib2.0-0:amd64 (2.64.6-1~ubuntu20.04.4) ... No schema files found: doing nothing. Setting up libicu66:amd64 (66.1-2ubuntu2.1) ... Setting up libijs-0.35:amd64 (0.35-15) ... Setting up libtexluajit2:amd64 (2019.20190605.51237-3build2) ... Setting up libdebhelper-perl (12.10ubuntu1) ... Setting up libfontbox-java (1:1.8.16-2) ... Setting up x11-common (1:7.7+19ubuntu14) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up dh-ocaml (1.1.1) ... Setting up libmagic1:amd64 (1:5.38-4) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up libzzip-0-13:amd64 (0.13.62-3.2ubuntu1) ... Setting up file (1:5.38-4) ... Setting up libnetpbm10 (2:10.0-15.3build1) ... Setting up fonts-urw-base35 (20170801.1-3) ... Setting up libjbig0:amd64 (2.1-3.1build1) ... Setting up poppler-data (0.4.9-2) ... Setting up libkrb5support0:amd64 (1.17-6ubuntu4.1) ... Setting up ocaml-dune (2.7.0-1.1~focal~ppa17) ... Setting up autotools-dev (20180224.1) ... Setting up libgmpxx4ldbl:amd64 (2:6.2.0+dfsg-4) ... Setting up libfreetype6:amd64 (2.10.1-2ubuntu0.1) ... Setting up libx11-data (2:1.6.9-2ubuntu1.2) ... Setting up libjbig2dec0:amd64 (0.18-1ubuntu1) ... Setting up libidn11:amd64 (1.33-2.2ubuntu2) ... Setting up libteckit0:amd64 (2.5.8+ds2-5ubuntu2) ... Setting up libapache-pom-java (18-1) ... Setting up libavahi-common-data:amd64 (0.7-4ubuntu7.1) ... Setting up libdbus-1-3:amd64 (1.12.16-2ubuntu2.1) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up t1utils (1.41-3) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up libwebp6:amd64 (0.6.1-2ubuntu0.20.04.1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up ucf (3.0038+nmu1) ... Setting up libk5crypto3:amd64 (1.17-6ubuntu4.1) ... Setting up libjpeg-turbo8:amd64 (2.0.3-0ubuntu1.20.04.1) ... Setting up libkpathsea6:amd64 (2019.20190605.51237-3build2) ... Setting up dune (2.7.0-1.1~focal~ppa17) ... Setting up libuchardet0:amd64 (0.0.6-3build1) ... Setting up libncurses5-dev:amd64 (6.2-0ubuntu2) ... Setting up fonts-lmodern (2.004.5-6) ... Setting up libopenjp2-7:amd64 (2.3.1-1ubuntu4.20.04.1) ... Setting up libsub-override-perl (0.09-2) ... Setting up libharfbuzz0b:amd64 (2.6.4-1ubuntu4) ... Setting up libkrb5-3:amd64 (1.17-6ubuntu4.1) ... Setting up ocaml-base-nox (4.11.1-4.1~focal~ppa1) ... Setting up libbsd0:amd64 (0.10.0-1) ... Setting up libelf1:amd64 (0.176-1.1build1) ... Setting up libxml2:amd64 (2.9.10+dfsg-5ubuntu0.20.04.1) ... Setting up xdg-utils (1.1.3-2ubuntu1.20.04.2) ... Setting up libsynctex2:amd64 (2019.20190605.51237-3build2) ... Setting up libjpeg8:amd64 (8c-2ubuntu8) ... Setting up libgs9-common (9.50~dfsg-5ubuntu4.4) ... Setting up libfile-stripnondeterminism-perl (1.7.0-1) ... Setting up libpaper1:amd64 (1.1.28) ... Creating config file /etc/papersize with new version Setting up libice6:amd64 (2:1.0.10-0ubuntu1) ... Setting up libxdmcp6:amd64 (1:1.1.3-0ubuntu1) ... Setting up libxcb1:amd64 (1.14-2) ... Setting up libharfbuzz-icu0:amd64 (2.6.4-1ubuntu4) ... Setting up libgmp-dev:amd64 (2:6.2.0+dfsg-4) ... Setting up libpdfbox-java (1:1.8.16-2) ... Setting up libtool (2.4.6-14) ... Setting up libxcb-render0:amd64 (1.14-2) ... Setting up fontconfig-config (2.13.1-2ubuntu3) ... Setting up libcommons-parent-java (43-1) ... Setting up libavahi-common3:amd64 (0.7-4ubuntu7.1) ... Setting up libfindlib-ocaml (1.8.1-2.1~focal~ppa1) ... Setting up libcommons-logging-java (1.2-2) ... Setting up m4 (1.4.18-4) ... Setting up libxcb-shm0:amd64 (1.14-2) ... Setting up libpaper-utils (1.1.28) ... Setting up libzarith-ocaml (1.11-1.1~focal~ppa19) ... Setting up tex-common (6.13) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libptexenc1:amd64 (2019.20190605.51237-3build2) ... Setting up bsdmainutils (11.1.2ubuntu3) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up ocaml-findlib (1.8.1-2.1~focal~ppa1) ... Setting up libgssapi-krb5-2:amd64 (1.17-6ubuntu4.1) ... Setting up libcroco3:amd64 (0.6.13-1) ... Setting up autoconf (2.69-11.1) ... Setting up dh-strip-nondeterminism (1.7.0-1) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-4build1) ... Setting up libgmp3-dev:amd64 (2:6.2.0+dfsg-4) ... Setting up libx11-6:amd64 (2:1.6.9-2ubuntu1.2) ... Setting up libtiff5:amd64 (4.1.0+git191117-2ubuntu0.20.04.2) ... Setting up libfontconfig1:amd64 (2.13.1-2ubuntu3) ... Setting up libsm6:amd64 (2:1.2.3-1) ... Setting up libavahi-client3:amd64 (0.7-4ubuntu7.1) ... Setting up automake (1:1.16.1-4ubuntu6) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up gettext (0.19.8.1-10build1) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up preview-latex-style (11.91-2ubuntu2) ... Setting up libxext6:amd64 (2:1.3.4-0ubuntu1) ... Setting up man-db (2.9.1-1) ... 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 libcairo2:amd64 (1.16.0-4ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up netpbm (2:10.0-15.3build1) ... Setting up libxt6:amd64 (1:1.1.5-1) ... Setting up libcups2:amd64 (2.3.1-9ubuntu1.1) ... Setting up libxmu6:amd64 (2:1.1.3-0ubuntu1) ... Setting up libgs9:amd64 (9.50~dfsg-5ubuntu4.4) ... Setting up libxi6:amd64 (2:1.7.10-0ubuntu1) ... Setting up po-debconf (1.0.21) ... Setting up libxaw7:amd64 (2:1.0.13-1) ... Setting up ghostscript (9.50~dfsg-5ubuntu4.4) ... Setting up texlive-binaries (2019.20190605.51237-3build2) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up texlive-base (2019.20200218-1) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/config/pdftexconfig.tex Setting up texlive-latex-base (2019.20200218-1) ... Setting up texlive-latex-recommended (2019.20200218-1) ... Setting up hevea (2.32-3build1.1~focal~ppa17) ... Setting up texlive-pictures (2019.20200218-1) ... Setting up texlive-latex-extra (2019.202000218-1) ... Setting up ocaml-compiler-libs (4.11.1-4.1~focal~ppa1) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.11.1-4.1~focal~ppa1) ... Setting up ocaml-nox (4.11.1-4.1~focal~ppa1) ... Setting up libzarith-ocaml-dev (1.11-1.1~focal~ppa19) ... Setting up debhelper (12.10ubuntu1) ... Processing triggers for systemd (245.4-4ubuntu3.13) ... Processing triggers for mime-support (3.64ubuntu1) ... Processing triggers for libc-bin (2.31-0ubuntu9.2) ... Processing triggers for tex-common (6.13) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. dpkg-buildpackage: info: source package coq dpkg-buildpackage: info: source version 8.master~git~202112101935+22877-0~daily355-3799ab99d6~ubuntu20.04.1 dpkg-buildpackage: info: source distribution focal dpkg-buildpackage: info: source changed by Jason Gross dpkg-source -i -I --before-build . dpkg-source: warning: --abort-on-upstream-changes is not a valid option for Dpkg::Source::Package::V3::Native dpkg-source: warning: --unapply-patches is not a valid option for Dpkg::Source::Package::V3::Native dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches fakeroot debian/rules clean dh clean --with ocaml dh_auto_clean make -j1 distclean make[1]: Entering directory '/home/buildd/work/tree/recipe' find . -not -name . '(' -name '.*' -type d -o -name 'debian' -o -name "${GIT_DIR}" -o -name '_build' -o -name '_build_ci' -o -name '_build_boot' -o -name '_install_ci' -o -name 'gramlib' -o -name 'user-contrib' -o -name 'test-suite' -o -name 'plugin_tutorial' ')' -prune -o '(' -name '*.d' ')' -exec rm -f {} + find test-suite \( -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' -o -name '*.glob' \) -exec rm -f {} + find test-suite -name .coq-native -empty -exec rm -rf {} + rm -f META.coq META.coq-core revision ide/coqide/default.bindings ide/coqide/default_bindings_src.exe \ kernel/genOpcodeFiles.exe config/coq_config.ml config/coq_config.py config/Makefile config/dune.c_flags rm -f coqpp/coqpp_parse.ml rm -f coqpp/coqpp_parse.mli coqpp/coqpp_lex.ml ide/coqide/coq_lex.ml \ ide/coqide/coqide_os_specific.ml ide/coqide/protocol/xml_lexer.ml ide/coqide/utf8_convert.ml \ ide/coqide/config_lexer.ml kernel/byterun/coq_arity.h \ kernel/byterun/coq_instruct.h kernel/byterun/coq_jumptbl.h kernel/float64.ml kernel/uint63.ml \ kernel/vmopcodes.ml parsing/g_constr.ml parsing/g_prim.ml toplevel/g_toplevel.ml \ user-contrib/Ltac2/g_ltac2.ml \ vernac/g_proofs.ml plugins/btauto/g_btauto.ml plugins/cc/g_congruence.ml \ plugins/derive/g_derive.ml plugins/extraction/g_extraction.ml plugins/firstorder/g_ground.ml \ plugins/funind/g_indfun.ml plugins/ltac/coretactics.ml plugins/ltac/extraargs.ml plugins/ltac/extratactics.ml \ plugins/ltac/g_auto.ml plugins/ltac/g_class.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_obligations.ml \ plugins/ltac/profile_ltac_tactics.ml \ plugins/micromega/g_micromega.ml plugins/micromega/g_zify.ml plugins/ltac/g_ltac.ml plugins/nsatz/g_nsatz.ml \ plugins/ring/g_ring.ml plugins/ltac/g_tactic.ml \ plugins/ltac/g_rewrite.ml plugins/rtauto/g_rtauto.ml \ plugins/ssr/ssrvernac.ml plugins/ssrmatching/g_ssrmatching.ml plugins/ssr/ssrparser.ml \ plugins/syntax/g_number_string.ml tools/coqdep_lexer.ml \ tools/coqwc.ml tools/coqdoc/cpretty.ml tools/ocamllibdep.ml vernac/g_vernac.ml find theories \( -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' \ -o -name '*.glob' -o -name '*.aux' \) -exec rm -f {} + find . \( -name '*.cmi' -o -name '*.cmx' -o -name '*.o' -o -name '*.a' \ -o -name '*.cmxa' -o -name '*.cmxs' -o -name '*.aux' \) -exec rm -f {} + dune clean rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq find test-suite -name '.*.aux' -exec rm -f {} + find test-suite \( -name '*.v.timing' -o -name '*.v.before-timing' \ -o -name "*.v.after-timing" -o -name "*.v.timing.diff" -o -name "time-of-build.log" \ -o -name "time-of-build-before.log" -o -name "time-of-build-after.log" \ -o -name "time-of-build-pretty.log" -o -name "time-of-build-both.log" \) -exec rm -f {} + make[1]: Leaving directory '/home/buildd/work/tree/recipe' dh_ocamlclean dh_clean dpkg-source -i -I -b . dpkg-source: warning: --abort-on-upstream-changes is not a valid option for Dpkg::Source::Package::V3::Native dpkg-source: warning: --unapply-patches is not a valid option for Dpkg::Source::Package::V3::Native dpkg-source: warning: native package version may not have a revision dpkg-source: warning: Version number suggests Ubuntu changes, but Maintainer: does not have Ubuntu address dpkg-source: warning: Version number suggests Ubuntu changes, but there is no XSBC-Original-Maintainer field dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches dpkg-source: info: using source format '3.0 (native)' dpkg-source: info: building coq in coq_8.master~git~202112101935+22877-0~daily355-3799ab99d6~ubuntu20.04.1.tar.xz dpkg-source: info: building coq in coq_8.master~git~202112101935+22877-0~daily355-3799ab99d6~ubuntu20.04.1.dsc dpkg-genbuildinfo --build=source dpkg-genchanges -sa --build=source >../coq_8.master~git~202112101935+22877-0~daily355-3799ab99d6~ubuntu20.04.1_source.changes dpkg-genchanges: warning: the current version (8.master~git~202112101935+22877-0~daily355-3799ab99d6~ubuntu20.04.1) is earlier than the previous one (8.master~git) dpkg-genchanges: info: including full source code in upload dpkg-source -i -I --after-build . dpkg-source: warning: --abort-on-upstream-changes is not a valid option for Dpkg::Source::Package::V3::Native dpkg-source: warning: --unapply-patches is not a valid option for Dpkg::Source::Package::V3::Native dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches dpkg-buildpackage: info: source-only upload: Debian-native package RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-2918179 Scanning for processes to kill in build RECIPEBRANCHBUILD-2918179