https://launchpad.net/~jgross-h/+archive/ubuntu/coq-8.10-daily/+recipebuild/3384074 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lgw01-amd64-022 5.4.0-120-generic #136-Ubuntu SMP Fri Jun 10 13:40:48 UTC 2022 x86_64 Buildd toolchain package versions: launchpad-buildd_215~563~ubuntu20.04.1 python3-lpbuildd_215~563~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git-build-recipe_0.3.6 git_1:2.25.1-1ubuntu3.4 dpkg-dev_1.19.7ubuntu3.2 python3-debian_0.1.36ubuntu1. Syncing the system clock with the buildd NTP service... 23 Jun 23:19:48 ntpdate[1819]: adjust time server 10.211.37.1 offset 0.008560 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-3384074 --image-type chroot /home/buildd/filecache-default/7f6882774d93a6ce12d34cd2f4e4b83a707bcc6e Creating target for build RECIPEBRANCHBUILD-3384074 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-3384074 Starting target for build RECIPEBRANCHBUILD-3384074 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-3384074 'deb http://ppa.launchpadcontent.net/jgross-h/coq-8.10-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-3384074 RUN: /usr/share/launchpad-buildd/bin/in-target add-trusted-keys --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-3384074 Adding trusted keys to build-RECIPEBRANCHBUILD-3384074 pub rsa4096/E58B19DAA454A7D9 2014-12-19 [SC] Key fingerprint = 017C CCC8 B006 C270 6476 BBE4 E58B 19DA A454 A7D9 uid Launchpad PPA for Jason Gross RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=focal --arch=amd64 RECIPEBRANCHBUILD-3384074 Updating target for build RECIPEBRANCHBUILD-3384074 Get:1 http://ftpmaster.internal/ubuntu focal InRelease [265 kB] Get:2 http://ppa.launchpadcontent.net/jgross-h/coq-8.10-daily/ubuntu focal InRelease [18.1 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.launchpadcontent.net/jgross-h/coq-8.10-daily/ubuntu focal/main amd64 Packages [1540 B] Get:6 http://ppa.launchpadcontent.net/jgross-h/coq-8.10-daily/ubuntu focal/main Translation-en [748 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 [1583 kB] Get:12 http://ftpmaster.internal/ubuntu focal-security/main Translation-en [268 kB] Get:13 http://ftpmaster.internal/ubuntu focal-security/restricted amd64 Packages [1036 kB] Get:14 http://ftpmaster.internal/ubuntu focal-security/restricted Translation-en [147 kB] Get:15 http://ftpmaster.internal/ubuntu focal-security/universe amd64 Packages [708 kB] Get:16 http://ftpmaster.internal/ubuntu focal-security/universe Translation-en [127 kB] Get:17 http://ftpmaster.internal/ubuntu focal-security/multiverse amd64 Packages [22.2 kB] Get:18 http://ftpmaster.internal/ubuntu focal-security/multiverse Translation-en [5376 B] Get:19 http://ftpmaster.internal/ubuntu focal-updates/main amd64 Packages [1935 kB] Get:20 http://ftpmaster.internal/ubuntu focal-updates/main Translation-en [350 kB] Get:21 http://ftpmaster.internal/ubuntu focal-updates/restricted amd64 Packages [1099 kB] Get:22 http://ftpmaster.internal/ubuntu focal-updates/restricted Translation-en [156 kB] Get:23 http://ftpmaster.internal/ubuntu focal-updates/universe amd64 Packages [924 kB] Get:24 http://ftpmaster.internal/ubuntu focal-updates/universe Translation-en [208 kB] Get:25 http://ftpmaster.internal/ubuntu focal-updates/multiverse amd64 Packages [24.4 kB] Get:26 http://ftpmaster.internal/ubuntu focal-updates/multiverse Translation-en [7336 B] Fetched 24.3 MB in 5s (4824 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 dpkg dpkg-dev e2fsprogs fdisk g++-9 gcc-10-base gcc-9 gcc-9-base gpg gpg-agent gpgconf gpgv gzip libapparmor1 libapt-pkg6.0 libasan5 libatomic1 libbinutils libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcc1-0 libcom-err2 libcryptsetup12 libctf-nobfd0 libctf0 libdpkg-perl libext2fs2 libfdisk1 libgcc-9-dev libgcc-s1 libgcrypt20 libgnutls30 libgomp1 libhogweed5 libitm1 libjson-c4 libkmod2 liblsan0 liblz4-1 liblzma5 libmount1 libnettle7 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre3 libperl5.30 libprocps8 libquadmath0 libseccomp2 libsepol1 libsmartcols1 libsqlite3-0 libss2 libssl1.1 libstdc++-9-dev libstdc++6 libsystemd0 libtsan0 libubsan1 libudev1 libuuid1 libzstd1 linux-libc-dev login logsave 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 97 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 74.2 MB of archives. After this operation, 27.9 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libc6-dev amd64 2.31-0ubuntu9.9 [2519 kB] Get:2 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libc-dev-bin amd64 2.31-0ubuntu9.9 [71.8 kB] Get:3 http://ftpmaster.internal/ubuntu focal-security/main amd64 linux-libc-dev amd64 5.4.0-121.137 [1099 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.9 [2722 kB] Get:16 http://ftpmaster.internal/ubuntu focal-updates/main amd64 base-files amd64 11ubuntu5.5 [60.5 kB] Get:17 http://ftpmaster.internal/ubuntu focal-security/main amd64 bash amd64 5.0-6ubuntu1.2 [639 kB] Get:18 http://ftpmaster.internal/ubuntu focal-security/main amd64 bsdutils amd64 1:2.34-0.1ubuntu9.3 [63.0 kB] Get:19 http://ftpmaster.internal/ubuntu focal-security/main amd64 tar amd64 1.30+dfsg-7ubuntu0.20.04.2 [240 kB] Get:20 http://ftpmaster.internal/ubuntu focal-security/main amd64 dpkg amd64 1.19.7ubuntu3.2 [1128 kB] Get:21 http://ftpmaster.internal/ubuntu focal-security/main amd64 gzip amd64 1.10-0ubuntu4.1 [95.2 kB] Get:22 http://ftpmaster.internal/ubuntu focal-updates/main amd64 login amd64 1:4.8.1-1ubuntu5.20.04.2 [220 kB] Get:23 http://ftpmaster.internal/ubuntu focal-security/main amd64 libperl5.30 amd64 5.30.0-9ubuntu0.2 [3952 kB] Get:24 http://ftpmaster.internal/ubuntu focal-security/main amd64 perl amd64 5.30.0-9ubuntu0.2 [224 kB] Get:25 http://ftpmaster.internal/ubuntu focal-security/main amd64 perl-base amd64 5.30.0-9ubuntu0.2 [1513 kB] Get:26 http://ftpmaster.internal/ubuntu focal-security/main amd64 perl-modules-5.30 all 5.30.0-9ubuntu0.2 [2738 kB] Get:27 http://ftpmaster.internal/ubuntu focal-security/main amd64 zlib1g amd64 1:1.2.11.dfsg-2ubuntu1.3 [53.8 kB] Get:28 http://ftpmaster.internal/ubuntu focal-security/main amd64 libblkid1 amd64 2.34-0.1ubuntu9.3 [136 kB] Get:29 http://ftpmaster.internal/ubuntu focal-security/main amd64 libuuid1 amd64 2.34-0.1ubuntu9.3 [19.9 kB] Get:30 http://ftpmaster.internal/ubuntu focal-security/main amd64 libfdisk1 amd64 2.34-0.1ubuntu9.3 [175 kB] Get:31 http://ftpmaster.internal/ubuntu focal-security/main amd64 libmount1 amd64 2.34-0.1ubuntu9.3 [149 kB] Get:32 http://ftpmaster.internal/ubuntu focal-security/main amd64 libsmartcols1 amd64 2.34-0.1ubuntu9.3 [100 kB] Get:33 http://ftpmaster.internal/ubuntu focal-security/main amd64 fdisk amd64 2.34-0.1ubuntu9.3 [120 kB] Get:34 http://ftpmaster.internal/ubuntu focal-security/main amd64 util-linux amd64 2.34-0.1ubuntu9.3 [1021 kB] Get:35 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libc-bin amd64 2.31-0ubuntu9.9 [633 kB] Get:36 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgcrypt20 amd64 1.8.5-5ubuntu1.1 [420 kB] Get:37 http://ftpmaster.internal/ubuntu focal-security/main amd64 liblz4-1 amd64 1.9.2-2ubuntu0.20.04.1 [56.1 kB] Get:38 http://ftpmaster.internal/ubuntu focal-security/main amd64 liblzma5 amd64 5.2.4-1ubuntu1.1 [91.8 kB] Get:39 http://ftpmaster.internal/ubuntu focal-updates/main amd64 systemd-timesyncd amd64 245.4-4ubuntu3.17 [28.1 kB] Get:40 http://ftpmaster.internal/ubuntu focal-updates/main amd64 systemd-sysv amd64 245.4-4ubuntu3.17 [10.3 kB] Get:41 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libapparmor1 amd64 2.13.3-7ubuntu5.1 [34.1 kB] Get:42 http://ftpmaster.internal/ubuntu focal-security/main amd64 libjson-c4 amd64 0.13.1+dfsg-7ubuntu0.3 [29.3 kB] Get:43 http://ftpmaster.internal/ubuntu focal-security/main amd64 libssl1.1 amd64 1.1.1f-1ubuntu2.15 [1321 kB] Get:44 http://ftpmaster.internal/ubuntu focal-security/main amd64 libcryptsetup12 amd64 2:2.2.2-3ubuntu2.4 [166 kB] Get:45 http://ftpmaster.internal/ubuntu focal-security/main amd64 libnettle7 amd64 3.5.1+really3.5.1-2ubuntu0.2 [115 kB] Get:46 http://ftpmaster.internal/ubuntu focal-security/main amd64 libhogweed5 amd64 3.5.1+really3.5.1-2ubuntu0.2 [138 kB] Get:47 http://ftpmaster.internal/ubuntu focal-security/main amd64 libp11-kit0 amd64 0.23.20-1ubuntu0.1 [188 kB] Get:48 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgnutls30 amd64 3.6.13-2ubuntu1.6 [828 kB] Get:49 http://ftpmaster.internal/ubuntu focal-security/main amd64 libzstd1 amd64 1.4.4+dfsg-3ubuntu0.1 [237 kB] Get:50 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libkmod2 amd64 27-1ubuntu2.1 [45.3 kB] Get:51 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libpam0g amd64 1.3.1-5ubuntu4.3 [55.4 kB] Get:52 http://ftpmaster.internal/ubuntu focal-security/main amd64 libseccomp2 amd64 2.5.1-1ubuntu1~20.04.2 [42.5 kB] Get:53 http://ftpmaster.internal/ubuntu focal-security/main amd64 mount amd64 2.34-0.1ubuntu9.3 [115 kB] Get:54 http://ftpmaster.internal/ubuntu focal-updates/main amd64 systemd amd64 245.4-4ubuntu3.17 [3809 kB] Get:55 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libsystemd0 amd64 245.4-4ubuntu3.17 [269 kB] Get:56 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libudev1 amd64 245.4-4ubuntu3.17 [76.5 kB] Get:57 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libapt-pkg6.0 amd64 2.0.9 [839 kB] Get:58 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gpgv amd64 2.2.19-3ubuntu2.1 [199 kB] Get:59 http://ftpmaster.internal/ubuntu focal-updates/main amd64 ubuntu-keyring all 2020.02.11.4 [22.1 kB] Get:60 http://ftpmaster.internal/ubuntu focal-updates/main amd64 apt amd64 2.0.9 [1294 kB] Get:61 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libpam-modules-bin amd64 1.3.1-5ubuntu4.3 [41.2 kB] Get:62 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libpam-modules amd64 1.3.1-5ubuntu4.3 [260 kB] Get:63 http://ftpmaster.internal/ubuntu focal-security/main amd64 logsave amd64 1.45.5-2ubuntu1.1 [10.2 kB] Get:64 http://ftpmaster.internal/ubuntu focal-security/main amd64 libext2fs2 amd64 1.45.5-2ubuntu1.1 [183 kB] Get:65 http://ftpmaster.internal/ubuntu focal-security/main amd64 e2fsprogs amd64 1.45.5-2ubuntu1.1 [527 kB] Get:66 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libpam-runtime all 1.3.1-5ubuntu4.3 [37.3 kB] Get:67 http://ftpmaster.internal/ubuntu focal-security/main amd64 libpcre3 amd64 2:8.39-12ubuntu0.1 [232 kB] Get:68 http://ftpmaster.internal/ubuntu focal-security/main amd64 libsepol1 amd64 3.0-1ubuntu0.1 [252 kB] Get:69 http://ftpmaster.internal/ubuntu focal-updates/main amd64 passwd amd64 1:4.8.1-1ubuntu5.20.04.2 [797 kB] Get:70 http://ftpmaster.internal/ubuntu focal-security/main amd64 libcom-err2 amd64 1.45.5-2ubuntu1.1 [9548 B] Get:71 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libprocps8 amd64 2:3.3.16-1ubuntu2.3 [33.0 kB] Get:72 http://ftpmaster.internal/ubuntu focal-security/main amd64 libss2 amd64 1.45.5-2ubuntu1.1 [11.3 kB] Get:73 http://ftpmaster.internal/ubuntu focal-updates/main amd64 procps amd64 2:3.3.16-1ubuntu2.3 [233 kB] Get:74 http://ftpmaster.internal/ubuntu focal-security/main amd64 openssl amd64 1.1.1f-1ubuntu2.15 [623 kB] Get:75 http://ftpmaster.internal/ubuntu focal-security/main amd64 ca-certificates all 20211016~20.04.1 [144 kB] Get:76 http://ftpmaster.internal/ubuntu focal-security/main amd64 libsqlite3-0 amd64 3.31.1-4ubuntu0.3 [549 kB] Get:77 http://ftpmaster.internal/ubuntu focal-security/main amd64 tzdata all 2022a-0ubuntu0.20.04 [294 kB] Get:78 http://ftpmaster.internal/ubuntu focal-security/main amd64 xz-utils amd64 5.2.4-1ubuntu1.1 [82.6 kB] Get:79 http://ftpmaster.internal/ubuntu focal-security/main amd64 libctf0 amd64 2.34-6ubuntu1.3 [46.6 kB] Get:80 http://ftpmaster.internal/ubuntu focal-security/main amd64 binutils-x86-64-linux-gnu amd64 2.34-6ubuntu1.3 [1613 kB] Get:81 http://ftpmaster.internal/ubuntu focal-security/main amd64 libbinutils amd64 2.34-6ubuntu1.3 [474 kB] Get:82 http://ftpmaster.internal/ubuntu focal-security/main amd64 binutils amd64 2.34-6ubuntu1.3 [3380 B] Get:83 http://ftpmaster.internal/ubuntu focal-security/main amd64 binutils-common amd64 2.34-6ubuntu1.3 [207 kB] Get:84 http://ftpmaster.internal/ubuntu focal-security/main amd64 libctf-nobfd0 amd64 2.34-6ubuntu1.3 [47.4 kB] Get:85 http://ftpmaster.internal/ubuntu focal-security/main amd64 dpkg-dev all 1.19.7ubuntu3.2 [679 kB] Get:86 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdpkg-perl all 1.19.7ubuntu3.2 [231 kB] Get:87 http://ftpmaster.internal/ubuntu focal-updates/main amd64 build-essential amd64 12.8ubuntu1.1 [4664 B] Get:88 http://ftpmaster.internal/ubuntu focal-security/main amd64 libasan5 amd64 9.4.0-1ubuntu1~20.04.1 [2751 kB] Get:89 http://ftpmaster.internal/ubuntu focal-security/main amd64 g++-9 amd64 9.4.0-1ubuntu1~20.04.1 [8420 kB] Get:90 http://ftpmaster.internal/ubuntu focal-security/main amd64 gcc-9 amd64 9.4.0-1ubuntu1~20.04.1 [8274 kB] Get:91 http://ftpmaster.internal/ubuntu focal-security/main amd64 libstdc++-9-dev amd64 9.4.0-1ubuntu1~20.04.1 [1722 kB] Get:92 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgcc-9-dev amd64 9.4.0-1ubuntu1~20.04.1 [2359 kB] Get:93 http://ftpmaster.internal/ubuntu focal-security/main amd64 cpp-9 amd64 9.4.0-1ubuntu1~20.04.1 [7500 kB] Get:94 http://ftpmaster.internal/ubuntu focal-security/main amd64 gcc-9-base amd64 9.4.0-1ubuntu1~20.04.1 [19.4 kB] Get:95 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gpg amd64 2.2.19-3ubuntu2.1 [483 kB] Get:96 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gpgconf amd64 2.2.19-3ubuntu2.1 [124 kB] Get:97 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 74.2 MB in 3s (27.4 MB/s) (Reading database ... 12816 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.31-0ubuntu9.9_amd64.deb ... Unpacking libc6-dev:amd64 (2.31-0ubuntu9.9) over (2.31-0ubuntu9) ... Preparing to unpack .../1-libc-dev-bin_2.31-0ubuntu9.9_amd64.deb ... Unpacking libc-dev-bin (2.31-0ubuntu9.9) over (2.31-0ubuntu9) ... Preparing to unpack .../2-linux-libc-dev_5.4.0-121.137_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.4.0-121.137) 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.9_amd64.deb ... Unpacking libc6:amd64 (2.31-0ubuntu9.9) over (2.31-0ubuntu9) ... Setting up libc6:amd64 (2.31-0ubuntu9.9) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu5.5_amd64.deb ... Unpacking base-files (11ubuntu5.5) over (11ubuntu5) ... Setting up base-files (11ubuntu5.5) ... 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.2_amd64.deb ... Unpacking bash (5.0-6ubuntu1.2) over (5.0-6ubuntu1) ... Setting up bash (5.0-6ubuntu1.2) ... 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.3_amd64.deb ... Unpacking bsdutils (1:2.34-0.1ubuntu9.3) over (1:2.34-0.1ubuntu9) ... Setting up bsdutils (1:2.34-0.1ubuntu9.3) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../tar_1.30+dfsg-7ubuntu0.20.04.2_amd64.deb ... Unpacking tar (1.30+dfsg-7ubuntu0.20.04.2) over (1.30+dfsg-7) ... Setting up tar (1.30+dfsg-7ubuntu0.20.04.2) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.7ubuntu3.2_amd64.deb ... Unpacking dpkg (1.19.7ubuntu3.2) over (1.19.7ubuntu3) ... Setting up dpkg (1.19.7ubuntu3.2) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../gzip_1.10-0ubuntu4.1_amd64.deb ... Unpacking gzip (1.10-0ubuntu4.1) over (1.10-0ubuntu4) ... Setting up gzip (1.10-0ubuntu4.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../login_1%3a4.8.1-1ubuntu5.20.04.2_amd64.deb ... Unpacking login (1:4.8.1-1ubuntu5.20.04.2) over (1:4.8.1-1ubuntu5) ... Setting up login (1:4.8.1-1ubuntu5.20.04.2) ... (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.3_amd64.deb ... Unpacking zlib1g:amd64 (1:1.2.11.dfsg-2ubuntu1.3) over (1:1.2.11.dfsg-2ubuntu1) ... Setting up zlib1g:amd64 (1:1.2.11.dfsg-2ubuntu1.3) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libblkid1_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking libblkid1:amd64 (2.34-0.1ubuntu9.3) over (2.34-0.1ubuntu9) ... Setting up libblkid1:amd64 (2.34-0.1ubuntu9.3) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libuuid1_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking libuuid1:amd64 (2.34-0.1ubuntu9.3) over (2.34-0.1ubuntu9) ... Setting up libuuid1:amd64 (2.34-0.1ubuntu9.3) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking libfdisk1:amd64 (2.34-0.1ubuntu9.3) over (2.34-0.1ubuntu9) ... Preparing to unpack .../libmount1_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking libmount1:amd64 (2.34-0.1ubuntu9.3) over (2.34-0.1ubuntu9) ... Setting up libmount1:amd64 (2.34-0.1ubuntu9.3) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking libsmartcols1:amd64 (2.34-0.1ubuntu9.3) over (2.34-0.1ubuntu9) ... Setting up libsmartcols1:amd64 (2.34-0.1ubuntu9.3) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../fdisk_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking fdisk (2.34-0.1ubuntu9.3) over (2.34-0.1ubuntu9) ... Preparing to unpack .../util-linux_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking util-linux (2.34-0.1ubuntu9.3) over (2.34-0.1ubuntu9) ... Setting up util-linux (2.34-0.1ubuntu9.3) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../libc-bin_2.31-0ubuntu9.9_amd64.deb ... Unpacking libc-bin (2.31-0ubuntu9.9) over (2.31-0ubuntu9) ... Setting up libc-bin (2.31-0ubuntu9.9) ... (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.1_amd64.deb ... Unpacking liblzma5:amd64 (5.2.4-1ubuntu1.1) over (5.2.4-1) ... Setting up liblzma5:amd64 (5.2.4-1ubuntu1.1) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../0-systemd-timesyncd_245.4-4ubuntu3.17_amd64.deb ... Unpacking systemd-timesyncd (245.4-4ubuntu3.17) over (245.4-4ubuntu3) ... Preparing to unpack .../1-systemd-sysv_245.4-4ubuntu3.17_amd64.deb ... Unpacking systemd-sysv (245.4-4ubuntu3.17) 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.15_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.1f-1ubuntu2.15) over (1.1.1f-1ubuntu2) ... Preparing to unpack .../5-libcryptsetup12_2%3a2.2.2-3ubuntu2.4_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.2.2-3ubuntu2.4) 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 .../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 ... 12814 files and directories currently installed.) Preparing to unpack .../libkmod2_27-1ubuntu2.1_amd64.deb ... Unpacking libkmod2:amd64 (27-1ubuntu2.1) over (27-1ubuntu2) ... 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.2_amd64.deb ... Unpacking libseccomp2:amd64 (2.5.1-1ubuntu1~20.04.2) over (2.4.3-1ubuntu1) ... Setting up libseccomp2:amd64 (2.5.1-1ubuntu1~20.04.2) ... (Reading database ... 12814 files and directories currently installed.) Preparing to unpack .../mount_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking mount (2.34-0.1ubuntu9.3) over (2.34-0.1ubuntu9) ... Preparing to unpack .../systemd_245.4-4ubuntu3.17_amd64.deb ... Unpacking systemd (245.4-4ubuntu3.17) over (245.4-4ubuntu3) ... Preparing to unpack .../libsystemd0_245.4-4ubuntu3.17_amd64.deb ... Unpacking libsystemd0:amd64 (245.4-4ubuntu3.17) over (245.4-4ubuntu3) ... Setting up libsystemd0:amd64 (245.4-4ubuntu3.17) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../libudev1_245.4-4ubuntu3.17_amd64.deb ... Unpacking libudev1:amd64 (245.4-4ubuntu3.17) over (245.4-4ubuntu3) ... Setting up libudev1:amd64 (245.4-4ubuntu3.17) ... (Reading database ... 12815 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.0.9_amd64.deb ... Unpacking libapt-pkg6.0:amd64 (2.0.9) over (2.0.2) ... Setting up libapt-pkg6.0:amd64 (2.0.9) ... (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.9_amd64.deb ... Unpacking apt (2.0.9) over (2.0.2) ... Setting up apt (2.0.9) ... Removing obsolete conffile /etc/kernel/postinst.d/apt-auto-removal ... (Reading database ... 12814 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 ... 12816 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 ... 12820 files and directories currently installed.) Preparing to unpack .../logsave_1.45.5-2ubuntu1.1_amd64.deb ... Unpacking logsave (1.45.5-2ubuntu1.1) over (1.45.5-2ubuntu1) ... Preparing to unpack .../libext2fs2_1.45.5-2ubuntu1.1_amd64.deb ... Unpacking libext2fs2:amd64 (1.45.5-2ubuntu1.1) over (1.45.5-2ubuntu1) ... Setting up libext2fs2:amd64 (1.45.5-2ubuntu1.1) ... (Reading database ... 12820 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.45.5-2ubuntu1.1_amd64.deb ... Unpacking e2fsprogs (1.45.5-2ubuntu1.1) over (1.45.5-2ubuntu1) ... 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 ... 12820 files and directories currently installed.) Preparing to unpack .../libpcre3_2%3a8.39-12ubuntu0.1_amd64.deb ... Unpacking libpcre3:amd64 (2:8.39-12ubuntu0.1) over (2:8.39-12build1) ... Setting up libpcre3:amd64 (2:8.39-12ubuntu0.1) ... (Reading database ... 12820 files and directories currently installed.) Preparing to unpack .../libsepol1_3.0-1ubuntu0.1_amd64.deb ... Unpacking libsepol1:amd64 (3.0-1ubuntu0.1) over (3.0-1) ... Setting up libsepol1:amd64 (3.0-1ubuntu0.1) ... (Reading database ... 12820 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.8.1-1ubuntu5.20.04.2_amd64.deb ... Unpacking passwd (1:4.8.1-1ubuntu5.20.04.2) over (1:4.8.1-1ubuntu5) ... Setting up passwd (1:4.8.1-1ubuntu5.20.04.2) ... (Reading database ... 12820 files and directories currently installed.) Preparing to unpack .../00-libcom-err2_1.45.5-2ubuntu1.1_amd64.deb ... Unpacking libcom-err2:amd64 (1.45.5-2ubuntu1.1) over (1.45.5-2ubuntu1) ... Preparing to unpack .../01-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 .../02-libss2_1.45.5-2ubuntu1.1_amd64.deb ... Unpacking libss2:amd64 (1.45.5-2ubuntu1.1) over (1.45.5-2ubuntu1) ... Preparing to unpack .../03-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 .../04-openssl_1.1.1f-1ubuntu2.15_amd64.deb ... Unpacking openssl (1.1.1f-1ubuntu2.15) over (1.1.1f-1ubuntu2) ... Preparing to unpack .../05-ca-certificates_20211016~20.04.1_all.deb ... Unpacking ca-certificates (20211016~20.04.1) over (20190110ubuntu1) ... Preparing to unpack .../06-libsqlite3-0_3.31.1-4ubuntu0.3_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.31.1-4ubuntu0.3) over (3.31.1-4) ... Preparing to unpack .../07-tzdata_2022a-0ubuntu0.20.04_all.deb ... Unpacking tzdata (2022a-0ubuntu0.20.04) over (2019c-3ubuntu1) ... Preparing to unpack .../08-xz-utils_5.2.4-1ubuntu1.1_amd64.deb ... Unpacking xz-utils (5.2.4-1ubuntu1.1) over (5.2.4-1) ... Preparing to unpack .../09-libctf0_2.34-6ubuntu1.3_amd64.deb ... Unpacking libctf0:amd64 (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../10-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 .../11-libbinutils_2.34-6ubuntu1.3_amd64.deb ... Unpacking libbinutils:amd64 (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../12-binutils_2.34-6ubuntu1.3_amd64.deb ... Unpacking binutils (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../13-binutils-common_2.34-6ubuntu1.3_amd64.deb ... Unpacking binutils-common:amd64 (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../14-libctf-nobfd0_2.34-6ubuntu1.3_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.34-6ubuntu1.3) over (2.34-6ubuntu1) ... Preparing to unpack .../15-dpkg-dev_1.19.7ubuntu3.2_all.deb ... Unpacking dpkg-dev (1.19.7ubuntu3.2) over (1.19.7ubuntu3) ... Preparing to unpack .../16-libdpkg-perl_1.19.7ubuntu3.2_all.deb ... Unpacking libdpkg-perl (1.19.7ubuntu3.2) over (1.19.7ubuntu3) ... Preparing to unpack .../17-build-essential_12.8ubuntu1.1_amd64.deb ... Unpacking build-essential (12.8ubuntu1.1) over (12.8ubuntu1) ... Preparing to unpack .../18-libasan5_9.4.0-1ubuntu1~20.04.1_amd64.deb ... Unpacking libasan5:amd64 (9.4.0-1ubuntu1~20.04.1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../19-g++-9_9.4.0-1ubuntu1~20.04.1_amd64.deb ... Unpacking g++-9 (9.4.0-1ubuntu1~20.04.1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../20-gcc-9_9.4.0-1ubuntu1~20.04.1_amd64.deb ... Unpacking gcc-9 (9.4.0-1ubuntu1~20.04.1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../21-libstdc++-9-dev_9.4.0-1ubuntu1~20.04.1_amd64.deb ... Unpacking libstdc++-9-dev:amd64 (9.4.0-1ubuntu1~20.04.1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../22-libgcc-9-dev_9.4.0-1ubuntu1~20.04.1_amd64.deb ... Unpacking libgcc-9-dev:amd64 (9.4.0-1ubuntu1~20.04.1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../23-cpp-9_9.4.0-1ubuntu1~20.04.1_amd64.deb ... Unpacking cpp-9 (9.4.0-1ubuntu1~20.04.1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../24-gcc-9-base_9.4.0-1ubuntu1~20.04.1_amd64.deb ... Unpacking gcc-9-base:amd64 (9.4.0-1ubuntu1~20.04.1) over (9.3.0-10ubuntu2) ... Preparing to unpack .../25-gpg_2.2.19-3ubuntu2.1_amd64.deb ... Unpacking gpg (2.2.19-3ubuntu2.1) over (2.2.19-3ubuntu2) ... Preparing to unpack .../26-gpgconf_2.2.19-3ubuntu2.1_amd64.deb ... Unpacking gpgconf (2.2.19-3ubuntu2.1) over (2.2.19-3ubuntu2) ... Preparing to unpack .../27-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.15) ... Setting up libsqlite3-0:amd64 (3.31.1-4ubuntu0.3) ... Setting up binutils-common:amd64 (2.34-6ubuntu1.3) ... Setting up linux-libc-dev:amd64 (5.4.0-121.137) ... Setting up libctf-nobfd0:amd64 (2.34-6ubuntu1.3) ... Setting up libcom-err2:amd64 (1.45.5-2ubuntu1.1) ... Setting up libgomp1:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up tzdata (2022a-0ubuntu0.20.04) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Jun 23 23:20:27 UTC 2022. Universal Time is now: Thu Jun 23 23:20:27 UTC 2022. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up xz-utils (5.2.4-1ubuntu1.1) ... Setting up libquadmath0:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up libatomic1:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up libss2:amd64 (1.45.5-2ubuntu1.1) ... Setting up logsave (1.45.5-2ubuntu1.1) ... Setting up libfdisk1:amd64 (2.34-0.1ubuntu9.3) ... Setting up libubsan1:amd64 (10.3.0-1ubuntu1~20.04) ... Setting up mount (2.34-0.1ubuntu9.3) ... 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.9) ... Setting up openssl (1.1.1f-1ubuntu2.15) ... 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 libkmod2:amd64 (27-1ubuntu2.1) ... Setting up gcc-9-base:amd64 (9.4.0-1ubuntu1~20.04.1) ... 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 e2fsprogs (1.45.5-2ubuntu1.1) ... Setting up fdisk (2.34-0.1ubuntu9.3) ... Setting up ca-certificates (20211016~20.04.1) ... Updating certificates in /etc/ssl/certs... rehash: warning: skipping ca-certificates.crt,it does not contain exactly one certificate or CRL 28 added, 29 removed; done. Setting up libasan5:amd64 (9.4.0-1ubuntu1~20.04.1) ... Setting up perl (5.30.0-9ubuntu0.2) ... Setting up libdpkg-perl (1.19.7ubuntu3.2) ... Setting up procps (2:3.3.16-1ubuntu2.3) ... Setting up cpp-9 (9.4.0-1ubuntu1~20.04.1) ... Setting up libc6-dev:amd64 (2.31-0ubuntu9.9) ... Setting up libcryptsetup12:amd64 (2:2.2.2-3ubuntu2.4) ... Setting up binutils-x86-64-linux-gnu (2.34-6ubuntu1.3) ... Setting up binutils (2.34-6ubuntu1.3) ... Setting up dpkg-dev (1.19.7ubuntu3.2) ... Setting up libgcc-9-dev:amd64 (9.4.0-1ubuntu1~20.04.1) ... Setting up build-essential (12.8ubuntu1.1) ... Setting up gcc-9 (9.4.0-1ubuntu1~20.04.1) ... Setting up libstdc++-9-dev:amd64 (9.4.0-1ubuntu1~20.04.1) ... Setting up g++-9 (9.4.0-1ubuntu1~20.04.1) ... Setting up systemd-timesyncd (245.4-4ubuntu3.17) ... Setting up systemd (245.4-4ubuntu3.17) ... 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.17) ... Processing triggers for libc-bin (2.31-0ubuntu9.9) ... Processing triggers for ca-certificates (20211016~20.04.1) ... 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-3384074 '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 4957 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.4 [717 kB] Get:2 http://ftpmaster.internal/ubuntu focal-security/main amd64 libexpat1 amd64 2.2.9-1ubuntu0.4 [74.4 kB] Get:3 http://ftpmaster.internal/ubuntu focal-security/main amd64 python3.8-minimal amd64 3.8.10-0ubuntu1~20.04.4 [1899 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.4 [1675 kB] Get:8 http://ftpmaster.internal/ubuntu focal-security/main amd64 python3.8 amd64 3.8.10-0ubuntu1~20.04.4 [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.10 [4704 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 4957 kB in 0s (25.2 MB/s) Selecting previously unselected package libpython3.8-minimal:amd64. (Reading database ... 12822 files and directories currently installed.) Preparing to unpack .../libpython3.8-minimal_3.8.10-0ubuntu1~20.04.4_amd64.deb ... Unpacking libpython3.8-minimal:amd64 (3.8.10-0ubuntu1~20.04.4) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.2.9-1ubuntu0.4_amd64.deb ... Unpacking libexpat1:amd64 (2.2.9-1ubuntu0.4) ... Selecting previously unselected package python3.8-minimal. Preparing to unpack .../python3.8-minimal_3.8.10-0ubuntu1~20.04.4_amd64.deb ... Unpacking python3.8-minimal (3.8.10-0ubuntu1~20.04.4) ... Setting up libpython3.8-minimal:amd64 (3.8.10-0ubuntu1~20.04.4) ... Setting up libexpat1:amd64 (2.2.9-1ubuntu0.4) ... Setting up python3.8-minimal (3.8.10-0ubuntu1~20.04.4) ... Selecting previously unselected package python3-minimal. (Reading database ... 13113 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.4_amd64.deb ... Unpacking libpython3.8-stdlib:amd64 (3.8.10-0ubuntu1~20.04.4) ... Selecting previously unselected package python3.8. Preparing to unpack .../4-python3.8_3.8.10-0ubuntu1~20.04.4_amd64.deb ... Unpacking python3.8 (3.8.10-0ubuntu1~20.04.4) ... 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 ... 13515 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.10_all.deb ... Unpacking distro-info-data (0.43ubuntu1.10) ... 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.10) ... Setting up libmpdec2:amd64 (2.4.2-3) ... Setting up libpython3.8-stdlib:amd64 (3.8.10-0ubuntu1~20.04.4) ... Setting up python3.8 (3.8.10-0ubuntu1~20.04.4) ... 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.9) ... Git version: git version 2.25.1 git-build-recipe 0.3.6 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 v8.10 nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian v8.10 RUN ['git-build-recipe', '--safe', '--no-build', '--manifest', '/home/buildd/build-RECIPEBRANCHBUILD-3384074/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'focal', '--allow-fallback-to-native', '--append-version', '~ubuntu20.04.1', '/home/buildd/build-RECIPEBRANCHBUILD-3384074/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-3384074/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-3384074/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 462 (offset 1 line). Hunk #2 succeeded at 474 (offset 1 line). Applying patch /home/buildd/build-RECIPEBRANCHBUILD-3384074/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 101 with fuzz 2 (offset 27 lines). Now at patch /home/buildd/build-RECIPEBRANCHBUILD-3384074/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch /usr/lib/python3/dist-packages/debian/changelog.py:484: UserWarning: Found eof where expected first heading warnings.warn(message) /usr/lib/python3/dist-packages/debian/changelog.py:484: UserWarning: Found eof where expected first heading warnings.warn(message) Initialized empty Git repository in /home/buildd/build-RECIPEBRANCHBUILD-3384074/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.16 -> source/v8.16 * [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.13.2 -> V8.13.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.12.2 -> V8.12.2 * [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.14.1 -> V8.14.1 * [new tag] V8.15+rc1 -> V8.15+rc1 * [new tag] V8.15.0 -> V8.15.0 * [new tag] V8.15.1 -> V8.15.1 * [new tag] V8.15.2 -> V8.15.2 * [new tag] V8.16+rc1 -> V8.16+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.8.2 -> V8.8.2 * [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: switching to '70a5e6f67000585e36e64a723092c2a11b719f3a'. 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 switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at 70a5e6f670 Merge PR #16235: [v8.10] Backport #15271: Delay removing native_compute .ml files until exit 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.15 -> source-packaging/v8.15 * [new branch] v8.15-coqide-no -> source-packaging/v8.15-coqide-no * [new branch] v8.16 -> source-packaging/v8.16 * [new branch] v8.16-coqide-no -> source-packaging/v8.16-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 [307 B] Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bsdmainutils camlp5 dbus dbus-user-session dconf-gsettings-backend dconf-service debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common dwz emacsen-common file fontconfig fontconfig-config fonts-dejavu-core fonts-lmodern fonts-urw-base35 gettext gettext-base ghostscript gir1.2-atk-1.0 gir1.2-atspi-2.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-gtk-3.0 gir1.2-gtksource-3.0 gir1.2-harfbuzz-0.0 gir1.2-pango-1.0 glib-networking glib-networking-common glib-networking-services groff-base gsettings-desktop-schemas gtk-update-icon-cache hevea hicolor-icon-theme humanity-icon-theme hunspell-en-us icu-devtools intltool-debian libapache-pom-java libarchive-zip-perl libaspell15 libatk-bridge2.0-0 libatk-bridge2.0-dev libatk1.0-0 libatk1.0-data libatk1.0-dev libatspi2.0-0 libatspi2.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libblkid-dev libbrotli1 libbsd0 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcairo2-ocaml libcairo2-ocaml-dev libcolord2 libcommons-logging-java libcommons-parent-java libcroco3 libcups2 libdatrie-dev libdatrie1 libdbus-1-3 libdbus-1-dev libdconf1 libdebhelper-perl libdrm-amdgpu1 libdrm-common libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libedit2 libegl-dev libegl-mesa0 libegl1 libegl1-mesa-dev libelf1 libenchant-2-2 libenchant-2-dev libepoxy-dev libepoxy0 libexpat1-dev libffi-dev libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java libfontconfig1 libfontconfig1-dev libfreetype-dev libfreetype6 libfreetype6-dev libfribidi-dev libfribidi0 libgbm1 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libgl-dev libgl1 libgl1-mesa-dev libgl1-mesa-dri libglapi-mesa libgles-dev libgles1 libgles2 libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libglvnd-dev libglvnd0 libglx-dev libglx-mesa0 libglx0 libgraphite2-3 libgraphite2-dev libgs9 libgs9-common libgssapi-krb5-2 libgtk-3-0 libgtk-3-common libgtk-3-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview-3.0-1 libgtksourceview-3.0-common libgtksourceview-3.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.7-0 libice-dev libice6 libicu-dev libicu66 libidn11 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkpathsea6 libkrb5-3 libkrb5support0 liblablgtk3-ocaml liblablgtk3-ocaml-dev liblablgtksourceview3-ocaml liblablgtksourceview3-ocaml-dev liblcms2-2 libllvm12 liblzo2-2 libmagic-mgc libmagic1 libmount-dev libncurses-dev libncurses5-dev libnetpbm10 libnum-ocaml libnum-ocaml-dev libopengl-dev libopengl0 libopenjp2-7 libpam-systemd libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpaper-utils libpaper1 libpciaccess0 libpcre16-3 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-posix2 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpdfbox-java libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libproxy1v5 libpsl5 libptexenc1 libpthread-stubs0-dev librest-0.7-0 librsvg2-2 librsvg2-common libselinux1-dev libsensors-config libsensors5 libsepol1-dev libsigsegv2 libsm-dev libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsub-override-perl libsynctex2 libteckit0 libtexlua53 libtexluajit2 libtext-iconv-perl libthai-data libthai-dev libthai0 libtiff5 libtool libuchardet0 libvulkan1 libwayland-bin libwayland-client0 libwayland-cursor0 libwayland-dev libwayland-egl1 libwayland-server0 libwebp6 libx11-6 libx11-data libx11-dev libx11-xcb1 libxau-dev libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb-sync1 libxcb-xfixes0 libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxkbcommon-dev libxkbcommon0 libxml2 libxml2-dev libxml2-utils libxmu6 libxpm4 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxshmfence1 libxt6 libxtst-dev libxtst6 libxxf86vm1 libzzip-0-13 m4 man-db netpbm ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox pango1.0-tools pkg-config po-debconf poppler-data preview-latex-style python3-distutils python3-lib2to3 shared-mime-info t1utils tex-common texlive-base texlive-binaries texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ubuntu-mono ucf uuid-dev wayland-protocols x11-common x11proto-core-dev x11proto-dev x11proto-input-dev x11proto-randr-dev x11proto-record-dev x11proto-xext-dev x11proto-xinerama-dev xdg-utils xkb-data xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 343 newly installed, 0 to remove and 0 not upgraded. Need to get 281 MB of archives. After this operation, 1587 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://ftpmaster.internal/ubuntu focal/main amd64 bsdmainutils amd64 11.1.2ubuntu3 [181 kB] Get:3 http://ftpmaster.internal/ubuntu focal/main amd64 libuchardet0 amd64 0.0.6-3build1 [65.2 kB] Get:4 http://ftpmaster.internal/ubuntu focal/main amd64 groff-base amd64 1.22.4-4build1 [847 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main amd64 libpipeline1 amd64 1.5.2-2build1 [27.7 kB] Get:6 http://ftpmaster.internal/ubuntu focal/main amd64 man-db amd64 2.9.1-1 [1112 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main amd64 poppler-data all 0.4.9-2 [1475 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main amd64 ucf all 3.0038+nmu1 [51.6 kB] Get:9 http://ftpmaster.internal/ubuntu focal/universe amd64 tex-common all 6.13 [32.7 kB] Get:10 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdbus-1-3 amd64 1.12.16-2ubuntu2.2 [179 kB] Get:11 http://ftpmaster.internal/ubuntu focal-security/main amd64 dbus amd64 1.12.16-2ubuntu2.2 [151 kB] Get:12 http://ftpmaster.internal/ubuntu focal/main amd64 libmagic-mgc amd64 1:5.38-4 [218 kB] Get:13 http://ftpmaster.internal/ubuntu focal/main amd64 libmagic1 amd64 1:5.38-4 [75.9 kB] Get:14 http://ftpmaster.internal/ubuntu focal/main amd64 file amd64 1:5.38-4 [23.3 kB] Get:15 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libglib2.0-0 amd64 2.64.6-1~ubuntu20.04.4 [1287 kB] Get:16 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libgirepository-1.0-1 amd64 1.64.1-1~ubuntu20.04.1 [85.7 kB] Get:17 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gir1.2-glib-2.0 amd64 1.64.1-1~ubuntu20.04.1 [134 kB] Get:18 http://ftpmaster.internal/ubuntu focal/main amd64 libelf1 amd64 0.176-1.1build1 [44.0 kB] Get:19 http://ftpmaster.internal/ubuntu focal-security/main amd64 libfribidi0 amd64 1.0.8-2ubuntu0.1 [24.2 kB] Get:20 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libglib2.0-data all 2.64.6-1~ubuntu20.04.4 [6052 B] Get:21 http://ftpmaster.internal/ubuntu focal-security/main amd64 libicu66 amd64 66.1-2ubuntu2.1 [8515 kB] Get:22 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libpam-systemd amd64 245.4-4ubuntu3.17 [186 kB] Get:23 http://ftpmaster.internal/ubuntu focal/main amd64 libtext-iconv-perl amd64 1.7-7 [13.8 kB] Get:24 http://ftpmaster.internal/ubuntu focal-security/main amd64 libxml2 amd64 2.9.10+dfsg-5ubuntu0.20.04.3 [640 kB] Get:25 http://ftpmaster.internal/ubuntu focal/main amd64 shared-mime-info amd64 1.15-1 [430 kB] Get:26 http://ftpmaster.internal/ubuntu focal/main amd64 xkb-data all 2.29-2 [349 kB] Get:27 http://ftpmaster.internal/ubuntu focal/main amd64 gettext-base amd64 0.19.8.1-10build1 [50.2 kB] Get:28 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdrm-common all 2.4.107-8ubuntu1~20.04.2 [5396 B] Get:29 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdrm2 amd64 2.4.107-8ubuntu1~20.04.2 [34.1 kB] Get:30 http://ftpmaster.internal/ubuntu focal/main amd64 libedit2 amd64 3.1-20191231-1 [87.0 kB] Get:31 http://ftpmaster.internal/ubuntu focal-security/main amd64 libkrb5support0 amd64 1.17-6ubuntu4.1 [30.9 kB] Get:32 http://ftpmaster.internal/ubuntu focal-security/main amd64 libk5crypto3 amd64 1.17-6ubuntu4.1 [79.9 kB] Get:33 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libkeyutils1 amd64 1.6-6ubuntu1.1 [10.3 kB] Get:34 http://ftpmaster.internal/ubuntu focal-security/main amd64 libkrb5-3 amd64 1.17-6ubuntu4.1 [330 kB] Get:35 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgssapi-krb5-2 amd64 1.17-6ubuntu4.1 [121 kB] Get:36 http://ftpmaster.internal/ubuntu focal/main amd64 libpsl5 amd64 0.21.0-1ubuntu1 [51.5 kB] Get:37 http://ftpmaster.internal/ubuntu focal/main amd64 libxau6 amd64 1:1.0.9-0ubuntu1 [7488 B] Get:38 http://ftpmaster.internal/ubuntu focal/main amd64 libxdmcp6 amd64 1:1.1.3-0ubuntu1 [10.6 kB] Get:39 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb1 amd64 1.14-2 [44.7 kB] Get:40 http://ftpmaster.internal/ubuntu focal-security/main amd64 libx11-data all 2:1.6.9-2ubuntu1.2 [113 kB] Get:41 http://ftpmaster.internal/ubuntu focal-security/main amd64 libx11-6 amd64 2:1.6.9-2ubuntu1.2 [575 kB] Get:42 http://ftpmaster.internal/ubuntu focal/main amd64 libxext6 amd64 2:1.3.4-0ubuntu1 [29.1 kB] Get:43 http://ftpmaster.internal/ubuntu focal/main amd64 hicolor-icon-theme all 0.17-2 [9976 B] Get:44 http://ftpmaster.internal/ubuntu focal-security/main amd64 libjpeg-turbo8 amd64 2.0.3-0ubuntu1.20.04.1 [117 kB] Get:45 http://ftpmaster.internal/ubuntu focal/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B] Get:46 http://ftpmaster.internal/ubuntu focal/main amd64 libjbig0 amd64 2.1-3.1build1 [26.7 kB] Get:47 http://ftpmaster.internal/ubuntu focal-security/main amd64 libwebp6 amd64 0.6.1-2ubuntu0.20.04.1 [185 kB] Get:48 http://ftpmaster.internal/ubuntu focal-security/main amd64 libtiff5 amd64 4.1.0+git191117-2ubuntu0.20.04.3 [162 kB] Get:49 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgdk-pixbuf2.0-common all 2.40.0+dfsg-3ubuntu0.2 [4652 B] Get:50 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgdk-pixbuf2.0-0 amd64 2.40.0+dfsg-3ubuntu0.2 [168 kB] Get:51 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gtk-update-icon-cache amd64 3.24.20-0ubuntu1.1 [28.8 kB] Get:52 http://ftpmaster.internal/ubuntu focal-security/main amd64 libfreetype6 amd64 2.10.1-2ubuntu0.1 [341 kB] Get:53 http://ftpmaster.internal/ubuntu focal/main amd64 fonts-dejavu-core all 2.37-1 [1041 kB] Get:54 http://ftpmaster.internal/ubuntu focal/main amd64 fontconfig-config all 2.13.1-2ubuntu3 [28.8 kB] Get:55 http://ftpmaster.internal/ubuntu focal/main amd64 libfontconfig1 amd64 2.13.1-2ubuntu3 [114 kB] Get:56 http://ftpmaster.internal/ubuntu focal/main amd64 libpixman-1-0 amd64 0.38.4-0ubuntu1 [227 kB] Get:57 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-render0 amd64 1.14-2 [14.8 kB] Get:58 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-shm0 amd64 1.14-2 [5584 B] Get:59 http://ftpmaster.internal/ubuntu focal/main amd64 libxrender1 amd64 1:0.9.10-1 [18.7 kB] Get:60 http://ftpmaster.internal/ubuntu focal/main amd64 libcairo2 amd64 1.16.0-4ubuntu1 [583 kB] Get:61 http://ftpmaster.internal/ubuntu focal/main amd64 libcairo-gobject2 amd64 1.16.0-4ubuntu1 [17.2 kB] Get:62 http://ftpmaster.internal/ubuntu focal/main amd64 fontconfig amd64 2.13.1-2ubuntu3 [171 kB] Get:63 http://ftpmaster.internal/ubuntu focal/main amd64 libgraphite2-3 amd64 1.3.13-11build1 [73.5 kB] Get:64 http://ftpmaster.internal/ubuntu focal/main amd64 libharfbuzz0b amd64 2.6.4-1ubuntu4 [391 kB] Get:65 http://ftpmaster.internal/ubuntu focal/main amd64 libthai-data all 0.1.28-3 [134 kB] Get:66 http://ftpmaster.internal/ubuntu focal/main amd64 libdatrie1 amd64 0.2.12-3 [18.7 kB] Get:67 http://ftpmaster.internal/ubuntu focal/main amd64 libthai0 amd64 0.1.28-3 [18.1 kB] Get:68 http://ftpmaster.internal/ubuntu focal/main amd64 libpango-1.0-0 amd64 1.44.7-2ubuntu4 [162 kB] Get:69 http://ftpmaster.internal/ubuntu focal/main amd64 libpangoft2-1.0-0 amd64 1.44.7-2ubuntu4 [34.9 kB] Get:70 http://ftpmaster.internal/ubuntu focal/main amd64 libpangocairo-1.0-0 amd64 1.44.7-2ubuntu4 [24.8 kB] Get:71 http://ftpmaster.internal/ubuntu focal-updates/main amd64 librsvg2-2 amd64 2.48.9-1ubuntu0.20.04.1 [2253 kB] Get:72 http://ftpmaster.internal/ubuntu focal-updates/main amd64 librsvg2-common amd64 2.48.9-1ubuntu0.20.04.1 [9212 B] Get:73 http://ftpmaster.internal/ubuntu focal/main amd64 humanity-icon-theme all 0.6.15 [1250 kB] Get:74 http://ftpmaster.internal/ubuntu focal/main amd64 ubuntu-mono all 19.04-0ubuntu3 [147 kB] Get:75 http://ftpmaster.internal/ubuntu focal-updates/main amd64 adwaita-icon-theme all 3.36.1-2ubuntu0.20.04.2 [3441 kB] Get:76 http://ftpmaster.internal/ubuntu focal/main amd64 libsigsegv2 amd64 2.12-2 [13.9 kB] Get:77 http://ftpmaster.internal/ubuntu focal/main amd64 m4 amd64 1.4.18-4 [199 kB] Get:78 http://ftpmaster.internal/ubuntu focal/main amd64 autoconf all 2.69-11.1 [321 kB] Get:79 http://ftpmaster.internal/ubuntu focal/main amd64 autotools-dev all 20180224.1 [39.6 kB] Get:80 http://ftpmaster.internal/ubuntu focal/main amd64 automake all 1:1.16.1-4ubuntu6 [522 kB] Get:81 http://ftpmaster.internal/ubuntu focal/main amd64 autopoint all 0.19.8.1-10build1 [412 kB] Get:82 http://ftpmaster.internal/ubuntu focal-security/main amd64 dbus-user-session amd64 1.12.16-2ubuntu2.2 [9416 B] Get:83 http://ftpmaster.internal/ubuntu focal/main amd64 libdconf1 amd64 0.36.0-1 [37.4 kB] Get:84 http://ftpmaster.internal/ubuntu focal/main amd64 dconf-service amd64 0.36.0-1 [29.8 kB] Get:85 http://ftpmaster.internal/ubuntu focal/main amd64 dconf-gsettings-backend amd64 0.36.0-1 [22.5 kB] Get:86 http://ftpmaster.internal/ubuntu focal/main amd64 libtool all 2.4.6-14 [161 kB] Get:87 http://ftpmaster.internal/ubuntu focal/main amd64 dh-autoreconf all 19 [16.1 kB] Get:88 http://ftpmaster.internal/ubuntu focal/main amd64 libdebhelper-perl all 12.10ubuntu1 [62.1 kB] Get:89 http://ftpmaster.internal/ubuntu focal/main amd64 libarchive-zip-perl all 1.67-2 [90.5 kB] Get:90 http://ftpmaster.internal/ubuntu focal/main amd64 libsub-override-perl all 0.09-2 [9532 B] Get:91 http://ftpmaster.internal/ubuntu focal/main amd64 libfile-stripnondeterminism-perl all 1.7.0-1 [15.9 kB] Get:92 http://ftpmaster.internal/ubuntu focal/main amd64 dh-strip-nondeterminism all 1.7.0-1 [5228 B] Get:93 http://ftpmaster.internal/ubuntu focal/main amd64 dwz amd64 0.13-5 [151 kB] Get:94 http://ftpmaster.internal/ubuntu focal/main amd64 libcroco3 amd64 0.6.13-1 [82.5 kB] Get:95 http://ftpmaster.internal/ubuntu focal/main amd64 gettext amd64 0.19.8.1-10build1 [895 kB] Get:96 http://ftpmaster.internal/ubuntu focal/main amd64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:97 http://ftpmaster.internal/ubuntu focal/main amd64 po-debconf all 1.0.21 [233 kB] Get:98 http://ftpmaster.internal/ubuntu focal/main amd64 debhelper all 12.10ubuntu1 [877 kB] Get:99 http://ftpmaster.internal/ubuntu focal/main amd64 emacsen-common all 3.0.4 [14.9 kB] Get:100 http://ftpmaster.internal/ubuntu focal/main amd64 dictionaries-common all 1.28.1 [178 kB] Get:101 http://ftpmaster.internal/ubuntu focal/universe amd64 fonts-lmodern all 2.004.5-6 [4532 kB] Get:102 http://ftpmaster.internal/ubuntu focal/main amd64 fonts-urw-base35 all 20170801.1-3 [6333 kB] Get:103 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgs9-common all 9.50~dfsg-5ubuntu4.5 [681 kB] Get:104 http://ftpmaster.internal/ubuntu focal-security/main amd64 libavahi-common-data amd64 0.7-4ubuntu7.1 [21.4 kB] Get:105 http://ftpmaster.internal/ubuntu focal-security/main amd64 libavahi-common3 amd64 0.7-4ubuntu7.1 [21.7 kB] Get:106 http://ftpmaster.internal/ubuntu focal-security/main amd64 libavahi-client3 amd64 0.7-4ubuntu7.1 [25.5 kB] Get:107 http://ftpmaster.internal/ubuntu focal-security/main amd64 libcups2 amd64 2.3.1-9ubuntu1.2 [233 kB] Get:108 http://ftpmaster.internal/ubuntu focal/main amd64 libidn11 amd64 1.33-2.2ubuntu2 [46.2 kB] Get:109 http://ftpmaster.internal/ubuntu focal/main amd64 libijs-0.35 amd64 0.35-15 [15.7 kB] Get:110 http://ftpmaster.internal/ubuntu focal/main amd64 libjbig2dec0 amd64 0.18-1ubuntu1 [60.0 kB] Get:111 http://ftpmaster.internal/ubuntu focal/main amd64 liblcms2-2 amd64 2.9-4 [140 kB] Get:112 http://ftpmaster.internal/ubuntu focal-security/main amd64 libopenjp2-7 amd64 2.3.1-1ubuntu4.20.04.1 [141 kB] Get:113 http://ftpmaster.internal/ubuntu focal/main amd64 libpaper1 amd64 1.1.28 [13.0 kB] Get:114 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgs9 amd64 9.50~dfsg-5ubuntu4.5 [2172 kB] Get:115 http://ftpmaster.internal/ubuntu focal-security/main amd64 ghostscript amd64 9.50~dfsg-5ubuntu4.5 [51.8 kB] Get:116 http://ftpmaster.internal/ubuntu focal/main amd64 libatk1.0-data all 2.35.1-1ubuntu2 [2964 B] Get:117 http://ftpmaster.internal/ubuntu focal/main amd64 libatk1.0-0 amd64 2.35.1-1ubuntu2 [45.5 kB] Get:118 http://ftpmaster.internal/ubuntu focal/main amd64 gir1.2-atk-1.0 amd64 2.35.1-1ubuntu2 [18.2 kB] Get:119 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gir1.2-freedesktop amd64 1.64.1-1~ubuntu20.04.1 [19.2 kB] Get:120 http://ftpmaster.internal/ubuntu focal/main amd64 libatspi2.0-0 amd64 2.36.0-2 [64.2 kB] Get:121 http://ftpmaster.internal/ubuntu focal/main amd64 gir1.2-atspi-2.0 amd64 2.36.0-2 [15.1 kB] Get:122 http://ftpmaster.internal/ubuntu focal-security/main amd64 gir1.2-gdkpixbuf-2.0 amd64 2.40.0+dfsg-3ubuntu0.2 [8268 B] Get:123 http://ftpmaster.internal/ubuntu focal/main amd64 libgtk2.0-common all 2.24.32-4ubuntu4 [126 kB] Get:124 http://ftpmaster.internal/ubuntu focal/main amd64 libxft2 amd64 2.3.3-0ubuntu1 [39.2 kB] Get:125 http://ftpmaster.internal/ubuntu focal/main amd64 libpangoxft-1.0-0 amd64 1.44.7-2ubuntu4 [18.0 kB] Get:126 http://ftpmaster.internal/ubuntu focal/main amd64 gir1.2-pango-1.0 amd64 1.44.7-2ubuntu4 [26.6 kB] Get:127 http://ftpmaster.internal/ubuntu focal/main amd64 libxcomposite1 amd64 1:0.4.5-1 [6976 B] Get:128 http://ftpmaster.internal/ubuntu focal/main amd64 libxfixes3 amd64 1:5.0.3-2 [10.9 kB] Get:129 http://ftpmaster.internal/ubuntu focal/main amd64 libxcursor1 amd64 1:1.2.0-2 [20.1 kB] Get:130 http://ftpmaster.internal/ubuntu focal/main amd64 libxdamage1 amd64 1:1.1.5-2 [6996 B] Get:131 http://ftpmaster.internal/ubuntu focal/main amd64 libxi6 amd64 2:1.7.10-0ubuntu1 [29.9 kB] Get:132 http://ftpmaster.internal/ubuntu focal/main amd64 libxinerama1 amd64 2:1.1.4-2 [6904 B] Get:133 http://ftpmaster.internal/ubuntu focal/main amd64 libxrandr2 amd64 2:1.5.2-0ubuntu1 [18.5 kB] Get:134 http://ftpmaster.internal/ubuntu focal/main amd64 libgtk2.0-0 amd64 2.24.32-4ubuntu4 [1791 kB] Get:135 http://ftpmaster.internal/ubuntu focal/universe amd64 gir1.2-gtk-2.0 amd64 2.24.32-4ubuntu4 [172 kB] Get:136 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libatk-bridge2.0-0 amd64 2.34.2-0ubuntu2~20.04.1 [58.2 kB] Get:137 http://ftpmaster.internal/ubuntu focal/main amd64 libcolord2 amd64 1.4.4-2 [133 kB] Get:138 http://ftpmaster.internal/ubuntu focal/main amd64 libepoxy0 amd64 1.5.4-1 [191 kB] Get:139 http://ftpmaster.internal/ubuntu focal/main amd64 libjson-glib-1.0-common all 1.4.4-2ubuntu2 [3468 B] Get:140 http://ftpmaster.internal/ubuntu focal/main amd64 libjson-glib-1.0-0 amd64 1.4.4-2ubuntu2 [59.4 kB] Get:141 http://ftpmaster.internal/ubuntu focal-security/main amd64 libproxy1v5 amd64 0.4.15-10ubuntu1.2 [49.1 kB] Get:142 http://ftpmaster.internal/ubuntu focal-security/main amd64 glib-networking-common all 2.64.2-1ubuntu0.1 [5040 B] Get:143 http://ftpmaster.internal/ubuntu focal-security/main amd64 glib-networking-services amd64 2.64.2-1ubuntu0.1 [10.6 kB] Get:144 http://ftpmaster.internal/ubuntu focal/main amd64 gsettings-desktop-schemas all 3.36.0-1ubuntu1 [29.0 kB] Get:145 http://ftpmaster.internal/ubuntu focal-security/main amd64 glib-networking amd64 2.64.2-1ubuntu0.1 [58.2 kB] Get:146 http://ftpmaster.internal/ubuntu focal-security/main amd64 libbrotli1 amd64 1.0.7-6ubuntu0.1 [267 kB] Get:147 http://ftpmaster.internal/ubuntu focal/main amd64 libsoup2.4-1 amd64 2.70.0-1 [262 kB] Get:148 http://ftpmaster.internal/ubuntu focal/main amd64 libsoup-gnome2.4-1 amd64 2.70.0-1 [6136 B] Get:149 http://ftpmaster.internal/ubuntu focal/main amd64 librest-0.7-0 amd64 0.8.1-1 [32.2 kB] Get:150 http://ftpmaster.internal/ubuntu focal/main amd64 libwayland-client0 amd64 1.18.0-1 [23.9 kB] Get:151 http://ftpmaster.internal/ubuntu focal/main amd64 libwayland-cursor0 amd64 1.18.0-1 [10.3 kB] Get:152 http://ftpmaster.internal/ubuntu focal/main amd64 libwayland-egl1 amd64 1.18.0-1 [5692 B] Get:153 http://ftpmaster.internal/ubuntu focal/main amd64 libxkbcommon0 amd64 0.10.0-1 [98.4 kB] Get:154 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libgtk-3-common all 3.24.20-0ubuntu1.1 [234 kB] Get:155 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libgtk-3-0 amd64 3.24.20-0ubuntu1.1 [2620 kB] Get:156 http://ftpmaster.internal/ubuntu focal-updates/main amd64 gir1.2-gtk-3.0 amd64 3.24.20-0ubuntu1.1 [196 kB] Get:157 http://ftpmaster.internal/ubuntu focal/universe amd64 libgtksourceview-3.0-common all 3.24.11-2 [276 kB] Get:158 http://ftpmaster.internal/ubuntu focal/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-2 [227 kB] Get:159 http://ftpmaster.internal/ubuntu focal/universe amd64 gir1.2-gtksource-3.0 amd64 3.24.11-2 [18.4 kB] Get:160 http://ftpmaster.internal/ubuntu focal/main amd64 gir1.2-harfbuzz-0.0 amd64 2.6.4-1ubuntu4 [26.3 kB] Get:161 http://ftpmaster.internal/ubuntu focal/universe amd64 libnetpbm10 amd64 2:10.0-15.3build1 [58.0 kB] Get:162 http://ftpmaster.internal/ubuntu focal/universe amd64 netpbm amd64 2:10.0-15.3build1 [1017 kB] Get:163 http://ftpmaster.internal/ubuntu focal/main amd64 libpaper-utils amd64 1.1.28 [8400 B] Get:164 http://ftpmaster.internal/ubuntu focal/main amd64 libkpathsea6 amd64 2019.20190605.51237-3build2 [57.0 kB] Get:165 http://ftpmaster.internal/ubuntu focal/main amd64 libptexenc1 amd64 2019.20190605.51237-3build2 [35.5 kB] Get:166 http://ftpmaster.internal/ubuntu focal/main amd64 libsynctex2 amd64 2019.20190605.51237-3build2 [55.0 kB] Get:167 http://ftpmaster.internal/ubuntu focal/main amd64 libtexlua53 amd64 2019.20190605.51237-3build2 [105 kB] Get:168 http://ftpmaster.internal/ubuntu focal/main amd64 libtexluajit2 amd64 2019.20190605.51237-3build2 [235 kB] Get:169 http://ftpmaster.internal/ubuntu focal/main amd64 t1utils amd64 1.41-3 [56.1 kB] Get:170 http://ftpmaster.internal/ubuntu focal/main amd64 libharfbuzz-icu0 amd64 2.6.4-1ubuntu4 [5580 B] Get:171 http://ftpmaster.internal/ubuntu focal/universe amd64 libteckit0 amd64 2.5.8+ds2-5ubuntu2 [320 kB] Get:172 http://ftpmaster.internal/ubuntu focal/main amd64 x11-common all 1:7.7+19ubuntu14 [22.3 kB] Get:173 http://ftpmaster.internal/ubuntu focal/main amd64 libice6 amd64 2:1.0.10-0ubuntu1 [41.0 kB] Get:174 http://ftpmaster.internal/ubuntu focal/main amd64 libsm6 amd64 2:1.2.3-1 [16.1 kB] Get:175 http://ftpmaster.internal/ubuntu focal/main amd64 libxt6 amd64 1:1.1.5-1 [160 kB] Get:176 http://ftpmaster.internal/ubuntu focal/main amd64 libxmu6 amd64 2:1.1.3-0ubuntu1 [45.8 kB] Get:177 http://ftpmaster.internal/ubuntu focal/main amd64 libxpm4 amd64 1:3.5.12-1 [34.0 kB] Get:178 http://ftpmaster.internal/ubuntu focal/main amd64 libxaw7 amd64 2:1.0.13-1 [173 kB] Get:179 http://ftpmaster.internal/ubuntu focal/universe amd64 libzzip-0-13 amd64 0.13.62-3.2ubuntu1 [26.2 kB] Get:180 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-binaries amd64 2019.20190605.51237-3build2 [8041 kB] Get:181 http://ftpmaster.internal/ubuntu focal-security/main amd64 xdg-utils all 1.1.3-2ubuntu1.20.04.2 [61.4 kB] Get:182 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-base all 2019.20200218-1 [20.8 MB] Get:183 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-base-nox amd64 4.08.1-8 [510 kB] Get:184 http://ftpmaster.internal/ubuntu focal/universe amd64 hevea all 2.32-3build1 [887 kB] Get:185 http://ftpmaster.internal/ubuntu focal/main amd64 hunspell-en-us all 1:2018.04.16-1 [170 kB] Get:186 http://ftpmaster.internal/ubuntu focal-security/main amd64 icu-devtools amd64 66.1-2ubuntu2.1 [189 kB] Get:187 http://ftpmaster.internal/ubuntu focal/universe amd64 libapache-pom-java all 18-1 [4720 B] Get:188 http://ftpmaster.internal/ubuntu focal-security/main amd64 libaspell15 amd64 0.60.8-1ubuntu0.1 [328 kB] Get:189 http://ftpmaster.internal/ubuntu focal/main amd64 libffi-dev amd64 3.3-4 [57.0 kB] Get:190 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libglib2.0-bin amd64 2.64.6-1~ubuntu20.04.4 [72.6 kB] Get:191 http://ftpmaster.internal/ubuntu focal-security/main amd64 python3-lib2to3 all 3.8.10-0ubuntu1~20.04 [76.3 kB] Get:192 http://ftpmaster.internal/ubuntu focal-security/main amd64 python3-distutils all 3.8.10-0ubuntu1~20.04 [141 kB] Get:193 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libglib2.0-dev-bin amd64 2.64.6-1~ubuntu20.04.4 [109 kB] Get:194 http://ftpmaster.internal/ubuntu focal-security/main amd64 uuid-dev amd64 2.34-0.1ubuntu9.3 [33.6 kB] Get:195 http://ftpmaster.internal/ubuntu focal-security/main amd64 libblkid-dev amd64 2.34-0.1ubuntu9.3 [167 kB] Get:196 http://ftpmaster.internal/ubuntu focal-security/main amd64 libmount-dev amd64 2.34-0.1ubuntu9.3 [176 kB] Get:197 http://ftpmaster.internal/ubuntu focal-security/main amd64 libpcre16-3 amd64 2:8.39-12ubuntu0.1 [150 kB] Get:198 http://ftpmaster.internal/ubuntu focal-security/main amd64 libpcre32-3 amd64 2:8.39-12ubuntu0.1 [140 kB] Get:199 http://ftpmaster.internal/ubuntu focal-security/main amd64 libpcrecpp0v5 amd64 2:8.39-12ubuntu0.1 [15.5 kB] Get:200 http://ftpmaster.internal/ubuntu focal-security/main amd64 libpcre3-dev amd64 2:8.39-12ubuntu0.1 [540 kB] Get:201 http://ftpmaster.internal/ubuntu focal-security/main amd64 libsepol1-dev amd64 3.0-1ubuntu0.1 [325 kB] Get:202 http://ftpmaster.internal/ubuntu focal/main amd64 libpcre2-16-0 amd64 10.34-7 [181 kB] Get:203 http://ftpmaster.internal/ubuntu focal/main amd64 libpcre2-32-0 amd64 10.34-7 [169 kB] Get:204 http://ftpmaster.internal/ubuntu focal/main amd64 libpcre2-posix2 amd64 10.34-7 [5992 B] Get:205 http://ftpmaster.internal/ubuntu focal/main amd64 libpcre2-dev amd64 10.34-7 [670 kB] Get:206 http://ftpmaster.internal/ubuntu focal/main amd64 libselinux1-dev amd64 3.0-1build2 [151 kB] Get:207 http://ftpmaster.internal/ubuntu focal/main amd64 pkg-config amd64 0.29.1-0ubuntu4 [45.5 kB] Get:208 http://ftpmaster.internal/ubuntu focal-security/main amd64 zlib1g-dev amd64 1:1.2.11.dfsg-2ubuntu1.3 [155 kB] Get:209 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libglib2.0-dev amd64 2.64.6-1~ubuntu20.04.4 [1506 kB] Get:210 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdbus-1-dev amd64 1.12.16-2ubuntu2.2 [167 kB] Get:211 http://ftpmaster.internal/ubuntu focal/main amd64 libxtst6 amd64 2:1.2.3-1 [12.8 kB] Get:212 http://ftpmaster.internal/ubuntu focal/main amd64 xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:213 http://ftpmaster.internal/ubuntu focal/main amd64 x11proto-dev all 2019.2-1ubuntu1 [594 kB] Get:214 http://ftpmaster.internal/ubuntu focal/main amd64 x11proto-core-dev all 2019.2-1ubuntu1 [2620 B] Get:215 http://ftpmaster.internal/ubuntu focal/main amd64 libxau-dev amd64 1:1.0.9-0ubuntu1 [9552 B] Get:216 http://ftpmaster.internal/ubuntu focal/main amd64 libxdmcp-dev amd64 1:1.1.3-0ubuntu1 [25.3 kB] Get:217 http://ftpmaster.internal/ubuntu focal/main amd64 xtrans-dev all 1.4.0-1 [68.9 kB] Get:218 http://ftpmaster.internal/ubuntu focal/main amd64 libpthread-stubs0-dev amd64 0.4-1 [5384 B] Get:219 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb1-dev amd64 1.14-2 [80.5 kB] Get:220 http://ftpmaster.internal/ubuntu focal-security/main amd64 libx11-dev amd64 2:1.6.9-2ubuntu1.2 [647 kB] Get:221 http://ftpmaster.internal/ubuntu focal/main amd64 x11proto-xext-dev all 2019.2-1ubuntu1 [2616 B] Get:222 http://ftpmaster.internal/ubuntu focal/main amd64 libxext-dev amd64 2:1.3.4-0ubuntu1 [82.2 kB] Get:223 http://ftpmaster.internal/ubuntu focal/main amd64 libxfixes-dev amd64 1:5.0.3-2 [11.4 kB] Get:224 http://ftpmaster.internal/ubuntu focal/main amd64 x11proto-input-dev all 2019.2-1ubuntu1 [2628 B] Get:225 http://ftpmaster.internal/ubuntu focal/main amd64 libxi-dev amd64 2:1.7.10-0ubuntu1 [187 kB] Get:226 http://ftpmaster.internal/ubuntu focal/main amd64 x11proto-record-dev all 2019.2-1ubuntu1 [2624 B] Get:227 http://ftpmaster.internal/ubuntu focal/main amd64 libxtst-dev amd64 2:1.2.3-1 [15.2 kB] Get:228 http://ftpmaster.internal/ubuntu focal/main amd64 libatspi2.0-dev amd64 2.36.0-2 [66.7 kB] Get:229 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libatk-bridge2.0-dev amd64 2.34.2-0ubuntu2~20.04.1 [3140 B] Get:230 http://ftpmaster.internal/ubuntu focal/main amd64 libatk1.0-dev amd64 2.35.1-1ubuntu2 [95.2 kB] Get:231 http://ftpmaster.internal/ubuntu focal/main amd64 liblzo2-2 amd64 2.10-2 [50.8 kB] Get:232 http://ftpmaster.internal/ubuntu focal/main amd64 libcairo-script-interpreter2 amd64 1.16.0-4ubuntu1 [54.2 kB] Get:233 http://ftpmaster.internal/ubuntu focal-security/main amd64 libexpat1-dev amd64 2.2.9-1ubuntu0.4 [117 kB] Get:234 http://ftpmaster.internal/ubuntu focal/main amd64 libpng-dev amd64 1.6.37-2 [175 kB] Get:235 http://ftpmaster.internal/ubuntu focal-security/main amd64 libfreetype-dev amd64 2.10.1-2ubuntu0.1 [493 kB] Get:236 http://ftpmaster.internal/ubuntu focal-security/main amd64 libfreetype6-dev amd64 2.10.1-2ubuntu0.1 [9812 B] Get:237 http://ftpmaster.internal/ubuntu focal/main amd64 libfontconfig1-dev amd64 2.13.1-2ubuntu3 [731 kB] Get:238 http://ftpmaster.internal/ubuntu focal/main amd64 libxrender-dev amd64 1:0.9.10-1 [24.9 kB] Get:239 http://ftpmaster.internal/ubuntu focal/main amd64 libice-dev amd64 2:1.0.10-0ubuntu1 [47.8 kB] Get:240 http://ftpmaster.internal/ubuntu focal/main amd64 libsm-dev amd64 2:1.2.3-1 [17.0 kB] Get:241 http://ftpmaster.internal/ubuntu focal/main amd64 libpixman-1-dev amd64 0.38.4-0ubuntu1 [243 kB] Get:242 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-render0-dev amd64 1.14-2 [18.4 kB] Get:243 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-shm0-dev amd64 1.14-2 [6716 B] Get:244 http://ftpmaster.internal/ubuntu focal/main amd64 libcairo2-dev amd64 1.16.0-4ubuntu1 [627 kB] Get:245 http://ftpmaster.internal/ubuntu focal/universe amd64 libcairo2-ocaml amd64 0.6.1+dfsg-3 [23.6 kB] Get:246 http://ftpmaster.internal/ubuntu focal/main amd64 libncurses-dev amd64 6.2-0ubuntu2 [339 kB] Get:247 http://ftpmaster.internal/ubuntu focal/main amd64 libncurses5-dev amd64 6.2-0ubuntu2 [976 B] Get:248 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-compiler-libs amd64 4.08.1-8 [24.4 MB] Get:249 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-interp amd64 4.08.1-8 [4634 kB] Get:250 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-nox amd64 4.08.1-8 [55.0 MB] Get:251 http://ftpmaster.internal/ubuntu focal/universe amd64 libcairo2-ocaml-dev amd64 0.6.1+dfsg-3 [264 kB] Get:252 http://ftpmaster.internal/ubuntu focal/universe amd64 libcommons-parent-java all 43-1 [10.8 kB] Get:253 http://ftpmaster.internal/ubuntu focal/universe amd64 libcommons-logging-java all 1.2-2 [60.3 kB] Get:254 http://ftpmaster.internal/ubuntu focal/main amd64 libdatrie-dev amd64 0.2.12-3 [17.6 kB] Get:255 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdrm-amdgpu1 amd64 2.4.107-8ubuntu1~20.04.2 [18.6 kB] Get:256 http://ftpmaster.internal/ubuntu focal/main amd64 libpciaccess0 amd64 0.16-0ubuntu1 [17.9 kB] Get:257 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdrm-intel1 amd64 2.4.107-8ubuntu1~20.04.2 [60.3 kB] Get:258 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdrm-nouveau2 amd64 2.4.107-8ubuntu1~20.04.2 [16.6 kB] Get:259 http://ftpmaster.internal/ubuntu focal-security/main amd64 libdrm-radeon1 amd64 2.4.107-8ubuntu1~20.04.2 [19.7 kB] Get:260 http://ftpmaster.internal/ubuntu focal-security/main amd64 libglvnd0 amd64 1.3.2-1~ubuntu0.20.04.2 [48.1 kB] Get:261 http://ftpmaster.internal/ubuntu focal/main amd64 libwayland-server0 amd64 1.18.0-1 [31.6 kB] Get:262 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgbm1 amd64 21.2.6-0ubuntu0.1~20.04.2 [29.2 kB] Get:263 http://ftpmaster.internal/ubuntu focal-security/main amd64 libglapi-mesa amd64 21.2.6-0ubuntu0.1~20.04.2 [27.4 kB] Get:264 http://ftpmaster.internal/ubuntu focal-security/main amd64 libx11-xcb1 amd64 2:1.6.9-2ubuntu1.2 [9372 B] Get:265 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-dri2-0 amd64 1.14-2 [6920 B] Get:266 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-dri3-0 amd64 1.14-2 [6552 B] Get:267 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-present0 amd64 1.14-2 [5560 B] Get:268 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-sync1 amd64 1.14-2 [8884 B] Get:269 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-xfixes0 amd64 1.14-2 [9296 B] Get:270 http://ftpmaster.internal/ubuntu focal/main amd64 libxshmfence1 amd64 1.3-1 [5028 B] Get:271 http://ftpmaster.internal/ubuntu focal-security/main amd64 libegl-mesa0 amd64 21.2.6-0ubuntu0.1~20.04.2 [96.3 kB] Get:272 http://ftpmaster.internal/ubuntu focal-security/main amd64 libegl1 amd64 1.3.2-1~ubuntu0.20.04.2 [31.9 kB] Get:273 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-glx0 amd64 1.14-2 [22.1 kB] Get:274 http://ftpmaster.internal/ubuntu focal/main amd64 libxxf86vm1 amd64 1:1.1.4-1build1 [10.2 kB] Get:275 http://ftpmaster.internal/ubuntu focal-security/main amd64 libllvm12 amd64 1:12.0.0-3ubuntu1~20.04.5 [18.8 MB] Get:276 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libsensors-config all 1:3.6.0-2ubuntu1.1 [6052 B] Get:277 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libsensors5 amd64 1:3.6.0-2ubuntu1.1 [27.2 kB] Get:278 http://ftpmaster.internal/ubuntu focal/main amd64 libvulkan1 amd64 1.2.131.2-1 [93.3 kB] Get:279 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgl1-mesa-dri amd64 21.2.6-0ubuntu0.1~20.04.2 [11.0 MB] Get:280 http://ftpmaster.internal/ubuntu focal-security/main amd64 libglx-mesa0 amd64 21.2.6-0ubuntu0.1~20.04.2 [137 kB] Get:281 http://ftpmaster.internal/ubuntu focal-security/main amd64 libglx0 amd64 1.3.2-1~ubuntu0.20.04.2 [32.5 kB] Get:282 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgl1 amd64 1.3.2-1~ubuntu0.20.04.2 [85.8 kB] Get:283 http://ftpmaster.internal/ubuntu focal-security/main amd64 libglx-dev amd64 1.3.2-1~ubuntu0.20.04.2 [14.0 kB] Get:284 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgl-dev amd64 1.3.2-1~ubuntu0.20.04.2 [97.8 kB] Get:285 http://ftpmaster.internal/ubuntu focal-security/main amd64 libegl-dev amd64 1.3.2-1~ubuntu0.20.04.2 [17.2 kB] Get:286 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgles1 amd64 1.3.2-1~ubuntu0.20.04.2 [10.3 kB] Get:287 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgles2 amd64 1.3.2-1~ubuntu0.20.04.2 [15.6 kB] Get:288 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgles-dev amd64 1.3.2-1~ubuntu0.20.04.2 [47.9 kB] Get:289 http://ftpmaster.internal/ubuntu focal-security/main amd64 libopengl0 amd64 1.3.2-1~ubuntu0.20.04.2 [29.2 kB] Get:290 http://ftpmaster.internal/ubuntu focal-security/main amd64 libopengl-dev amd64 1.3.2-1~ubuntu0.20.04.2 [3584 B] Get:291 http://ftpmaster.internal/ubuntu focal-security/main amd64 libglvnd-dev amd64 1.3.2-1~ubuntu0.20.04.2 [11.6 kB] Get:292 http://ftpmaster.internal/ubuntu focal-security/main amd64 libegl1-mesa-dev amd64 21.2.6-0ubuntu0.1~20.04.2 [7760 B] Get:293 http://ftpmaster.internal/ubuntu focal/main amd64 libhunspell-1.7-0 amd64 1.7.0-2build2 [147 kB] Get:294 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libenchant-2-2 amd64 2.2.8-1ubuntu0.20.04.1 [45.6 kB] Get:295 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libenchant-2-dev amd64 2.2.8-1ubuntu0.20.04.1 [13.7 kB] Get:296 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgl1-mesa-dev amd64 21.2.6-0ubuntu0.1~20.04.2 [6420 B] Get:297 http://ftpmaster.internal/ubuntu focal/main amd64 libepoxy-dev amd64 1.5.4-1 [126 kB] Get:298 http://ftpmaster.internal/ubuntu focal/universe amd64 libfindlib-ocaml amd64 1.8.1-1build3 [170 kB] Get:299 http://ftpmaster.internal/ubuntu focal-security/main amd64 libfribidi-dev amd64 1.0.8-2ubuntu0.1 [62.3 kB] Get:300 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgdk-pixbuf2.0-bin amd64 2.40.0+dfsg-3ubuntu0.2 [14.1 kB] Get:301 http://ftpmaster.internal/ubuntu focal-security/main amd64 libgdk-pixbuf2.0-dev amd64 2.40.0+dfsg-3ubuntu0.2 [43.6 kB] Get:302 http://ftpmaster.internal/ubuntu focal/main amd64 libgraphite2-dev amd64 1.3.13-11build1 [14.7 kB] Get:303 http://ftpmaster.internal/ubuntu focal/main amd64 libharfbuzz-gobject0 amd64 2.6.4-1ubuntu4 [20.4 kB] Get:304 http://ftpmaster.internal/ubuntu focal-security/main amd64 libicu-dev amd64 66.1-2ubuntu2.1 [9451 kB] Get:305 http://ftpmaster.internal/ubuntu focal/main amd64 libharfbuzz-dev amd64 2.6.4-1ubuntu4 [526 kB] Get:306 http://ftpmaster.internal/ubuntu focal/main amd64 libthai-dev amd64 0.1.28-3 [24.5 kB] Get:307 http://ftpmaster.internal/ubuntu focal/main amd64 libxft-dev amd64 2.3.3-0ubuntu1 [49.1 kB] Get:308 http://ftpmaster.internal/ubuntu focal/main amd64 pango1.0-tools amd64 1.44.7-2ubuntu4 [26.2 kB] Get:309 http://ftpmaster.internal/ubuntu focal/main amd64 libpango1.0-dev amd64 1.44.7-2ubuntu4 [132 kB] Get:310 http://ftpmaster.internal/ubuntu focal/main amd64 libwayland-bin amd64 1.18.0-1 [20.3 kB] Get:311 http://ftpmaster.internal/ubuntu focal/main amd64 libwayland-dev amd64 1.18.0-1 [64.6 kB] Get:312 http://ftpmaster.internal/ubuntu focal/main amd64 libxcomposite-dev amd64 1:0.4.5-1 [9152 B] Get:313 http://ftpmaster.internal/ubuntu focal/main amd64 libxcursor-dev amd64 1:1.2.0-2 [26.5 kB] Get:314 http://ftpmaster.internal/ubuntu focal/main amd64 libxdamage-dev amd64 1:1.1.5-2 [5228 B] Get:315 http://ftpmaster.internal/ubuntu focal/main amd64 x11proto-xinerama-dev all 2019.2-1ubuntu1 [2628 B] Get:316 http://ftpmaster.internal/ubuntu focal/main amd64 libxinerama-dev amd64 2:1.1.4-2 [7896 B] Get:317 http://ftpmaster.internal/ubuntu focal/main amd64 libxkbcommon-dev amd64 0.10.0-1 [45.4 kB] Get:318 http://ftpmaster.internal/ubuntu focal/main amd64 x11proto-randr-dev all 2019.2-1ubuntu1 [2620 B] Get:319 http://ftpmaster.internal/ubuntu focal/main amd64 libxrandr-dev amd64 2:1.5.2-0ubuntu1 [25.0 kB] Get:320 http://ftpmaster.internal/ubuntu focal/main amd64 wayland-protocols all 1.20-1 [60.3 kB] Get:321 http://ftpmaster.internal/ubuntu focal-updates/main amd64 libgtk-3-dev amd64 3.24.20-0ubuntu1.1 [1067 kB] Get:322 http://ftpmaster.internal/ubuntu focal-security/main amd64 libxml2-utils amd64 2.9.10+dfsg-5ubuntu0.20.04.3 [37.1 kB] Get:323 http://ftpmaster.internal/ubuntu focal/universe amd64 libgtk2.0-dev amd64 2.24.32-4ubuntu4 [782 kB] Get:324 http://ftpmaster.internal/ubuntu focal-security/main amd64 libxml2-dev amd64 2.9.10+dfsg-5ubuntu0.20.04.3 [735 kB] Get:325 http://ftpmaster.internal/ubuntu focal/universe amd64 libgtksourceview-3.0-dev amd64 3.24.11-2 [330 kB] Get:326 http://ftpmaster.internal/ubuntu focal/universe amd64 libgtkspell0 amd64 2.0.16-1.3 [20.7 kB] Get:327 http://ftpmaster.internal/ubuntu focal/universe amd64 libgtkspell-dev amd64 2.0.16-1.3 [20.6 kB] Get:328 http://ftpmaster.internal/ubuntu focal/universe amd64 liblablgtk3-ocaml amd64 3.0~beta6-2build1 [95.8 kB] Get:329 http://ftpmaster.internal/ubuntu focal/universe amd64 liblablgtk3-ocaml-dev amd64 3.0~beta6-2build1 [8208 kB] Get:330 http://ftpmaster.internal/ubuntu focal/universe amd64 liblablgtksourceview3-ocaml amd64 3.0~beta6-2build1 [16.2 kB] Get:331 http://ftpmaster.internal/ubuntu focal/universe amd64 liblablgtksourceview3-ocaml-dev amd64 3.0~beta6-2build1 [653 kB] Get:332 http://ftpmaster.internal/ubuntu focal/universe amd64 libnum-ocaml amd64 1.3-1 [155 kB] Get:333 http://ftpmaster.internal/ubuntu focal/universe amd64 libnum-ocaml-dev amd64 1.3-1 [105 kB] Get:334 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-findlib amd64 1.8.1-1build3 [457 kB] Get:335 http://ftpmaster.internal/ubuntu focal/universe amd64 preview-latex-style all 11.91-2ubuntu2 [184 kB] Get:336 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-latex-base all 2019.20200218-1 [990 kB] Get:337 http://ftpmaster.internal/ubuntu focal/universe amd64 libfontbox-java all 1:1.8.16-2 [207 kB] Get:338 http://ftpmaster.internal/ubuntu focal/universe amd64 libpdfbox-java all 1:1.8.16-2 [5199 kB] Get:339 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-latex-recommended all 2019.20200218-1 [15.7 MB] Get:340 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-pictures all 2019.20200218-1 [4492 kB] Get:341 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-latex-extra all 2019.202000218-1 [12.5 MB] Get:342 http://ftpmaster.internal/ubuntu focal/universe amd64 camlp5 amd64 7.11-1build1 [3695 kB] Get:343 http://ftpmaster.internal/ubuntu focal/universe amd64 dh-ocaml all 1.1.1 [79.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 281 MB in 10s (28.3 MB/s) Selecting previously unselected package libbsd0:amd64. (Reading database ... 13569 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 libdbus-1-3:amd64. Preparing to unpack .../009-libdbus-1-3_1.12.16-2ubuntu2.2_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.16-2ubuntu2.2) ... Selecting previously unselected package dbus. Preparing to unpack .../010-dbus_1.12.16-2ubuntu2.2_amd64.deb ... Unpacking dbus (1.12.16-2ubuntu2.2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../011-libmagic-mgc_1%3a5.38-4_amd64.deb ... Unpacking libmagic-mgc (1:5.38-4) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../012-libmagic1_1%3a5.38-4_amd64.deb ... Unpacking libmagic1:amd64 (1:5.38-4) ... Selecting previously unselected package file. Preparing to unpack .../013-file_1%3a5.38-4_amd64.deb ... Unpacking file (1:5.38-4) ... 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 libgirepository-1.0-1:amd64. Preparing to unpack .../015-libgirepository-1.0-1_1.64.1-1~ubuntu20.04.1_amd64.deb ... Unpacking libgirepository-1.0-1:amd64 (1.64.1-1~ubuntu20.04.1) ... Selecting previously unselected package gir1.2-glib-2.0:amd64. Preparing to unpack .../016-gir1.2-glib-2.0_1.64.1-1~ubuntu20.04.1_amd64.deb ... Unpacking gir1.2-glib-2.0:amd64 (1.64.1-1~ubuntu20.04.1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../017-libelf1_0.176-1.1build1_amd64.deb ... Unpacking libelf1:amd64 (0.176-1.1build1) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../018-libfribidi0_1.0.8-2ubuntu0.1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.8-2ubuntu0.1) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../019-libglib2.0-data_2.64.6-1~ubuntu20.04.4_all.deb ... Unpacking libglib2.0-data (2.64.6-1~ubuntu20.04.4) ... Selecting previously unselected package libicu66:amd64. Preparing to unpack .../020-libicu66_66.1-2ubuntu2.1_amd64.deb ... Unpacking libicu66:amd64 (66.1-2ubuntu2.1) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../021-libpam-systemd_245.4-4ubuntu3.17_amd64.deb ... Unpacking libpam-systemd:amd64 (245.4-4ubuntu3.17) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../022-libtext-iconv-perl_1.7-7_amd64.deb ... Unpacking libtext-iconv-perl (1.7-7) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../023-libxml2_2.9.10+dfsg-5ubuntu0.20.04.3_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-5ubuntu0.20.04.3) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../024-shared-mime-info_1.15-1_amd64.deb ... Unpacking shared-mime-info (1.15-1) ... Selecting previously unselected package xkb-data. Preparing to unpack .../025-xkb-data_2.29-2_all.deb ... Unpacking xkb-data (2.29-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../026-gettext-base_0.19.8.1-10build1_amd64.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libdrm-common. Preparing to unpack .../027-libdrm-common_2.4.107-8ubuntu1~20.04.2_all.deb ... Unpacking libdrm-common (2.4.107-8ubuntu1~20.04.2) ... Selecting previously unselected package libdrm2:amd64. Preparing to unpack .../028-libdrm2_2.4.107-8ubuntu1~20.04.2_amd64.deb ... Unpacking libdrm2:amd64 (2.4.107-8ubuntu1~20.04.2) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../029-libedit2_3.1-20191231-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20191231-1) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../030-libkrb5support0_1.17-6ubuntu4.1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.17-6ubuntu4.1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../031-libk5crypto3_1.17-6ubuntu4.1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.17-6ubuntu4.1) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../032-libkeyutils1_1.6-6ubuntu1.1_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6-6ubuntu1.1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../033-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 .../034-libgssapi-krb5-2_1.17-6ubuntu4.1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.17-6ubuntu4.1) ... Selecting previously unselected package libpsl5:amd64. Preparing to unpack .../035-libpsl5_0.21.0-1ubuntu1_amd64.deb ... Unpacking libpsl5:amd64 (0.21.0-1ubuntu1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../036-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 .../037-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 .../038-libxcb1_1.14-2_amd64.deb ... Unpacking libxcb1:amd64 (1.14-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../039-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 .../040-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 .../041-libxext6_2%3a1.3.4-0ubuntu1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-0ubuntu1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../042-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libjpeg-turbo8:amd64. Preparing to unpack .../043-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 .../044-libjpeg8_8c-2ubuntu8_amd64.deb ... Unpacking libjpeg8:amd64 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../045-libjbig0_2.1-3.1build1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1build1) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../046-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 .../047-libtiff5_4.1.0+git191117-2ubuntu0.20.04.3_amd64.deb ... Unpacking libtiff5:amd64 (4.1.0+git191117-2ubuntu0.20.04.3) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../048-libgdk-pixbuf2.0-common_2.40.0+dfsg-3ubuntu0.2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.40.0+dfsg-3ubuntu0.2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../049-libgdk-pixbuf2.0-0_2.40.0+dfsg-3ubuntu0.2_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.40.0+dfsg-3ubuntu0.2) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../050-gtk-update-icon-cache_3.24.20-0ubuntu1.1_amd64.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.24.20-0ubuntu1.1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../051-libfreetype6_2.10.1-2ubuntu0.1_amd64.deb ... Unpacking libfreetype6:amd64 (2.10.1-2ubuntu0.1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../052-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../053-fontconfig-config_2.13.1-2ubuntu3_all.deb ... Unpacking fontconfig-config (2.13.1-2ubuntu3) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../054-libfontconfig1_2.13.1-2ubuntu3_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-2ubuntu3) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../055-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 .../056-libxcb-render0_1.14-2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.14-2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../057-libxcb-shm0_1.14-2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.14-2) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../058-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 .../059-libcairo2_1.16.0-4ubuntu1_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../060-libcairo-gobject2_1.16.0-4ubuntu1_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.16.0-4ubuntu1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../061-fontconfig_2.13.1-2ubuntu3_amd64.deb ... Unpacking fontconfig (2.13.1-2ubuntu3) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../062-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 .../063-libharfbuzz0b_2.6.4-1ubuntu4_amd64.deb ... Unpacking libharfbuzz0b:amd64 (2.6.4-1ubuntu4) ... Selecting previously unselected package libthai-data. Preparing to unpack .../064-libthai-data_0.1.28-3_all.deb ... Unpacking libthai-data (0.1.28-3) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../065-libdatrie1_0.2.12-3_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.12-3) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../066-libthai0_0.1.28-3_amd64.deb ... Unpacking libthai0:amd64 (0.1.28-3) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../067-libpango-1.0-0_1.44.7-2ubuntu4_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.44.7-2ubuntu4) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../068-libpangoft2-1.0-0_1.44.7-2ubuntu4_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.44.7-2ubuntu4) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../069-libpangocairo-1.0-0_1.44.7-2ubuntu4_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.44.7-2ubuntu4) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../070-librsvg2-2_2.48.9-1ubuntu0.20.04.1_amd64.deb ... Unpacking librsvg2-2:amd64 (2.48.9-1ubuntu0.20.04.1) ... Selecting previously unselected package librsvg2-common:amd64. Preparing to unpack .../071-librsvg2-common_2.48.9-1ubuntu0.20.04.1_amd64.deb ... Unpacking librsvg2-common:amd64 (2.48.9-1ubuntu0.20.04.1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../072-humanity-icon-theme_0.6.15_all.deb ... Unpacking humanity-icon-theme (0.6.15) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../073-ubuntu-mono_19.04-0ubuntu3_all.deb ... Unpacking ubuntu-mono (19.04-0ubuntu3) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../074-adwaita-icon-theme_3.36.1-2ubuntu0.20.04.2_all.deb ... Unpacking adwaita-icon-theme (3.36.1-2ubuntu0.20.04.2) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../075-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../076-m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../077-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../078-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../079-automake_1%3a1.16.1-4ubuntu6_all.deb ... Unpacking automake (1:1.16.1-4ubuntu6) ... Selecting previously unselected package autopoint. Preparing to unpack .../080-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../081-dbus-user-session_1.12.16-2ubuntu2.2_amd64.deb ... Unpacking dbus-user-session (1.12.16-2ubuntu2.2) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../082-libdconf1_0.36.0-1_amd64.deb ... Unpacking libdconf1:amd64 (0.36.0-1) ... Selecting previously unselected package dconf-service. Preparing to unpack .../083-dconf-service_0.36.0-1_amd64.deb ... Unpacking dconf-service (0.36.0-1) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../084-dconf-gsettings-backend_0.36.0-1_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.36.0-1) ... Selecting previously unselected package libtool. Preparing to unpack .../085-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../086-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../087-libdebhelper-perl_12.10ubuntu1_all.deb ... Unpacking libdebhelper-perl (12.10ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../088-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 .../089-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 .../090-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 .../091-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 .../092-dwz_0.13-5_amd64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../093-libcroco3_0.6.13-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../094-gettext_0.19.8.1-10build1_amd64.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../095-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 .../096-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../097-debhelper_12.10ubuntu1_all.deb ... Unpacking debhelper (12.10ubuntu1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../098-emacsen-common_3.0.4_all.deb ... Unpacking emacsen-common (3.0.4) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../099-dictionaries-common_1.28.1_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.28.1) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../100-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 .../101-fonts-urw-base35_20170801.1-3_all.deb ... Unpacking fonts-urw-base35 (20170801.1-3) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../102-libgs9-common_9.50~dfsg-5ubuntu4.5_all.deb ... Unpacking libgs9-common (9.50~dfsg-5ubuntu4.5) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../103-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 .../104-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 .../105-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 .../106-libcups2_2.3.1-9ubuntu1.2_amd64.deb ... Unpacking libcups2:amd64 (2.3.1-9ubuntu1.2) ... Selecting previously unselected package libidn11:amd64. Preparing to unpack .../107-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 .../108-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 .../109-libjbig2dec0_0.18-1ubuntu1_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.18-1ubuntu1) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../110-liblcms2-2_2.9-4_amd64.deb ... Unpacking liblcms2-2:amd64 (2.9-4) ... Selecting previously unselected package libopenjp2-7:amd64. Preparing to unpack .../111-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 .../112-libpaper1_1.1.28_amd64.deb ... Unpacking libpaper1:amd64 (1.1.28) ... Selecting previously unselected package libgs9:amd64. Preparing to unpack .../113-libgs9_9.50~dfsg-5ubuntu4.5_amd64.deb ... Unpacking libgs9:amd64 (9.50~dfsg-5ubuntu4.5) ... Selecting previously unselected package ghostscript. Preparing to unpack .../114-ghostscript_9.50~dfsg-5ubuntu4.5_amd64.deb ... Unpacking ghostscript (9.50~dfsg-5ubuntu4.5) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../115-libatk1.0-data_2.35.1-1ubuntu2_all.deb ... Unpacking libatk1.0-data (2.35.1-1ubuntu2) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../116-libatk1.0-0_2.35.1-1ubuntu2_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.35.1-1ubuntu2) ... Selecting previously unselected package gir1.2-atk-1.0:amd64. Preparing to unpack .../117-gir1.2-atk-1.0_2.35.1-1ubuntu2_amd64.deb ... Unpacking gir1.2-atk-1.0:amd64 (2.35.1-1ubuntu2) ... Selecting previously unselected package gir1.2-freedesktop:amd64. Preparing to unpack .../118-gir1.2-freedesktop_1.64.1-1~ubuntu20.04.1_amd64.deb ... Unpacking gir1.2-freedesktop:amd64 (1.64.1-1~ubuntu20.04.1) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../119-libatspi2.0-0_2.36.0-2_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.36.0-2) ... Selecting previously unselected package gir1.2-atspi-2.0:amd64. Preparing to unpack .../120-gir1.2-atspi-2.0_2.36.0-2_amd64.deb ... Unpacking gir1.2-atspi-2.0:amd64 (2.36.0-2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0:amd64. Preparing to unpack .../121-gir1.2-gdkpixbuf-2.0_2.40.0+dfsg-3ubuntu0.2_amd64.deb ... Unpacking gir1.2-gdkpixbuf-2.0:amd64 (2.40.0+dfsg-3ubuntu0.2) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../122-libgtk2.0-common_2.24.32-4ubuntu4_all.deb ... Unpacking libgtk2.0-common (2.24.32-4ubuntu4) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../123-libxft2_2.3.3-0ubuntu1_amd64.deb ... Unpacking libxft2:amd64 (2.3.3-0ubuntu1) ... Selecting previously unselected package libpangoxft-1.0-0:amd64. Preparing to unpack .../124-libpangoxft-1.0-0_1.44.7-2ubuntu4_amd64.deb ... Unpacking libpangoxft-1.0-0:amd64 (1.44.7-2ubuntu4) ... Selecting previously unselected package gir1.2-pango-1.0:amd64. Preparing to unpack .../125-gir1.2-pango-1.0_1.44.7-2ubuntu4_amd64.deb ... Unpacking gir1.2-pango-1.0:amd64 (1.44.7-2ubuntu4) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../126-libxcomposite1_1%3a0.4.5-1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.5-1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../127-libxfixes3_1%3a5.0.3-2_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.3-2) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../128-libxcursor1_1%3a1.2.0-2_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.2.0-2) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../129-libxdamage1_1%3a1.1.5-2_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.5-2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../130-libxi6_2%3a1.7.10-0ubuntu1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.10-0ubuntu1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../131-libxinerama1_2%3a1.1.4-2_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.4-2) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../132-libxrandr2_2%3a1.5.2-0ubuntu1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.2-0ubuntu1) ... Selecting previously unselected package libgtk2.0-0:amd64. Preparing to unpack .../133-libgtk2.0-0_2.24.32-4ubuntu4_amd64.deb ... Unpacking libgtk2.0-0:amd64 (2.24.32-4ubuntu4) ... Selecting previously unselected package gir1.2-gtk-2.0:amd64. Preparing to unpack .../134-gir1.2-gtk-2.0_2.24.32-4ubuntu4_amd64.deb ... Unpacking gir1.2-gtk-2.0:amd64 (2.24.32-4ubuntu4) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../135-libatk-bridge2.0-0_2.34.2-0ubuntu2~20.04.1_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.34.2-0ubuntu2~20.04.1) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../136-libcolord2_1.4.4-2_amd64.deb ... Unpacking libcolord2:amd64 (1.4.4-2) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../137-libepoxy0_1.5.4-1_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.4-1) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../138-libjson-glib-1.0-common_1.4.4-2ubuntu2_all.deb ... Unpacking libjson-glib-1.0-common (1.4.4-2ubuntu2) ... Selecting previously unselected package libjson-glib-1.0-0:amd64. Preparing to unpack .../139-libjson-glib-1.0-0_1.4.4-2ubuntu2_amd64.deb ... Unpacking libjson-glib-1.0-0:amd64 (1.4.4-2ubuntu2) ... Selecting previously unselected package libproxy1v5:amd64. Preparing to unpack .../140-libproxy1v5_0.4.15-10ubuntu1.2_amd64.deb ... Unpacking libproxy1v5:amd64 (0.4.15-10ubuntu1.2) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../141-glib-networking-common_2.64.2-1ubuntu0.1_all.deb ... Unpacking glib-networking-common (2.64.2-1ubuntu0.1) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../142-glib-networking-services_2.64.2-1ubuntu0.1_amd64.deb ... Unpacking glib-networking-services (2.64.2-1ubuntu0.1) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../143-gsettings-desktop-schemas_3.36.0-1ubuntu1_all.deb ... Unpacking gsettings-desktop-schemas (3.36.0-1ubuntu1) ... Selecting previously unselected package glib-networking:amd64. Preparing to unpack .../144-glib-networking_2.64.2-1ubuntu0.1_amd64.deb ... Unpacking glib-networking:amd64 (2.64.2-1ubuntu0.1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../145-libbrotli1_1.0.7-6ubuntu0.1_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.7-6ubuntu0.1) ... Selecting previously unselected package libsoup2.4-1:amd64. Preparing to unpack .../146-libsoup2.4-1_2.70.0-1_amd64.deb ... Unpacking libsoup2.4-1:amd64 (2.70.0-1) ... Selecting previously unselected package libsoup-gnome2.4-1:amd64. Preparing to unpack .../147-libsoup-gnome2.4-1_2.70.0-1_amd64.deb ... Unpacking libsoup-gnome2.4-1:amd64 (2.70.0-1) ... Selecting previously unselected package librest-0.7-0:amd64. Preparing to unpack .../148-librest-0.7-0_0.8.1-1_amd64.deb ... Unpacking librest-0.7-0:amd64 (0.8.1-1) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../149-libwayland-client0_1.18.0-1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.18.0-1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../150-libwayland-cursor0_1.18.0-1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.18.0-1) ... Selecting previously unselected package libwayland-egl1:amd64. Preparing to unpack .../151-libwayland-egl1_1.18.0-1_amd64.deb ... Unpacking libwayland-egl1:amd64 (1.18.0-1) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../152-libxkbcommon0_0.10.0-1_amd64.deb ... Unpacking libxkbcommon0:amd64 (0.10.0-1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../153-libgtk-3-common_3.24.20-0ubuntu1.1_all.deb ... Unpacking libgtk-3-common (3.24.20-0ubuntu1.1) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../154-libgtk-3-0_3.24.20-0ubuntu1.1_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.24.20-0ubuntu1.1) ... Selecting previously unselected package gir1.2-gtk-3.0:amd64. Preparing to unpack .../155-gir1.2-gtk-3.0_3.24.20-0ubuntu1.1_amd64.deb ... Unpacking gir1.2-gtk-3.0:amd64 (3.24.20-0ubuntu1.1) ... Selecting previously unselected package libgtksourceview-3.0-common. Preparing to unpack .../156-libgtksourceview-3.0-common_3.24.11-2_all.deb ... Unpacking libgtksourceview-3.0-common (3.24.11-2) ... Selecting previously unselected package libgtksourceview-3.0-1:amd64. Preparing to unpack .../157-libgtksourceview-3.0-1_3.24.11-2_amd64.deb ... Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Selecting previously unselected package gir1.2-gtksource-3.0:amd64. Preparing to unpack .../158-gir1.2-gtksource-3.0_3.24.11-2_amd64.deb ... Unpacking gir1.2-gtksource-3.0:amd64 (3.24.11-2) ... Selecting previously unselected package gir1.2-harfbuzz-0.0:amd64. Preparing to unpack .../159-gir1.2-harfbuzz-0.0_2.6.4-1ubuntu4_amd64.deb ... Unpacking gir1.2-harfbuzz-0.0:amd64 (2.6.4-1ubuntu4) ... Selecting previously unselected package libnetpbm10. Preparing to unpack .../160-libnetpbm10_2%3a10.0-15.3build1_amd64.deb ... Unpacking libnetpbm10 (2:10.0-15.3build1) ... Selecting previously unselected package netpbm. Preparing to unpack .../161-netpbm_2%3a10.0-15.3build1_amd64.deb ... Unpacking netpbm (2:10.0-15.3build1) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../162-libpaper-utils_1.1.28_amd64.deb ... Unpacking libpaper-utils (1.1.28) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../163-libkpathsea6_2019.20190605.51237-3build2_amd64.deb ... Unpacking libkpathsea6:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../164-libptexenc1_2019.20190605.51237-3build2_amd64.deb ... Unpacking libptexenc1:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../165-libsynctex2_2019.20190605.51237-3build2_amd64.deb ... Unpacking libsynctex2:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package libtexlua53:amd64. Preparing to unpack .../166-libtexlua53_2019.20190605.51237-3build2_amd64.deb ... Unpacking libtexlua53:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../167-libtexluajit2_2019.20190605.51237-3build2_amd64.deb ... Unpacking libtexluajit2:amd64 (2019.20190605.51237-3build2) ... Selecting previously unselected package t1utils. Preparing to unpack .../168-t1utils_1.41-3_amd64.deb ... Unpacking t1utils (1.41-3) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../169-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 .../170-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 .../171-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 .../172-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 .../173-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 .../174-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 .../175-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 .../176-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 .../177-libxaw7_2%3a1.0.13-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.13-1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../178-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 .../179-texlive-binaries_2019.20190605.51237-3build2_amd64.deb ... Unpacking texlive-binaries (2019.20190605.51237-3build2) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../180-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 .../181-texlive-base_2019.20200218-1_all.deb ... Unpacking texlive-base (2019.20200218-1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../182-ocaml-base-nox_4.08.1-8_amd64.deb ... Unpacking ocaml-base-nox (4.08.1-8) ... Selecting previously unselected package hevea. Preparing to unpack .../183-hevea_2.32-3build1_all.deb ... Unpacking hevea (2.32-3build1) ... Selecting previously unselected package hunspell-en-us. Preparing to unpack .../184-hunspell-en-us_1%3a2018.04.16-1_all.deb ... Unpacking hunspell-en-us (1:2018.04.16-1) ... Selecting previously unselected package icu-devtools. Preparing to unpack .../185-icu-devtools_66.1-2ubuntu2.1_amd64.deb ... Unpacking icu-devtools (66.1-2ubuntu2.1) ... Selecting previously unselected package libapache-pom-java. Preparing to unpack .../186-libapache-pom-java_18-1_all.deb ... Unpacking libapache-pom-java (18-1) ... Selecting previously unselected package libaspell15:amd64. Preparing to unpack .../187-libaspell15_0.60.8-1ubuntu0.1_amd64.deb ... Unpacking libaspell15:amd64 (0.60.8-1ubuntu0.1) ... Selecting previously unselected package libffi-dev:amd64. Preparing to unpack .../188-libffi-dev_3.3-4_amd64.deb ... Unpacking libffi-dev:amd64 (3.3-4) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../189-libglib2.0-bin_2.64.6-1~ubuntu20.04.4_amd64.deb ... Unpacking libglib2.0-bin (2.64.6-1~ubuntu20.04.4) ... Selecting previously unselected package python3-lib2to3. Preparing to unpack .../190-python3-lib2to3_3.8.10-0ubuntu1~20.04_all.deb ... Unpacking python3-lib2to3 (3.8.10-0ubuntu1~20.04) ... Selecting previously unselected package python3-distutils. Preparing to unpack .../191-python3-distutils_3.8.10-0ubuntu1~20.04_all.deb ... Unpacking python3-distutils (3.8.10-0ubuntu1~20.04) ... Selecting previously unselected package libglib2.0-dev-bin. Preparing to unpack .../192-libglib2.0-dev-bin_2.64.6-1~ubuntu20.04.4_amd64.deb ... Unpacking libglib2.0-dev-bin (2.64.6-1~ubuntu20.04.4) ... Selecting previously unselected package uuid-dev:amd64. Preparing to unpack .../193-uuid-dev_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking uuid-dev:amd64 (2.34-0.1ubuntu9.3) ... Selecting previously unselected package libblkid-dev:amd64. Preparing to unpack .../194-libblkid-dev_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking libblkid-dev:amd64 (2.34-0.1ubuntu9.3) ... Selecting previously unselected package libmount-dev:amd64. Preparing to unpack .../195-libmount-dev_2.34-0.1ubuntu9.3_amd64.deb ... Unpacking libmount-dev:amd64 (2.34-0.1ubuntu9.3) ... Selecting previously unselected package libpcre16-3:amd64. Preparing to unpack .../196-libpcre16-3_2%3a8.39-12ubuntu0.1_amd64.deb ... Unpacking libpcre16-3:amd64 (2:8.39-12ubuntu0.1) ... Selecting previously unselected package libpcre32-3:amd64. Preparing to unpack .../197-libpcre32-3_2%3a8.39-12ubuntu0.1_amd64.deb ... Unpacking libpcre32-3:amd64 (2:8.39-12ubuntu0.1) ... Selecting previously unselected package libpcrecpp0v5:amd64. Preparing to unpack .../198-libpcrecpp0v5_2%3a8.39-12ubuntu0.1_amd64.deb ... Unpacking libpcrecpp0v5:amd64 (2:8.39-12ubuntu0.1) ... Selecting previously unselected package libpcre3-dev:amd64. Preparing to unpack .../199-libpcre3-dev_2%3a8.39-12ubuntu0.1_amd64.deb ... Unpacking libpcre3-dev:amd64 (2:8.39-12ubuntu0.1) ... Selecting previously unselected package libsepol1-dev:amd64. Preparing to unpack .../200-libsepol1-dev_3.0-1ubuntu0.1_amd64.deb ... Unpacking libsepol1-dev:amd64 (3.0-1ubuntu0.1) ... Selecting previously unselected package libpcre2-16-0:amd64. Preparing to unpack .../201-libpcre2-16-0_10.34-7_amd64.deb ... Unpacking libpcre2-16-0:amd64 (10.34-7) ... Selecting previously unselected package libpcre2-32-0:amd64. Preparing to unpack .../202-libpcre2-32-0_10.34-7_amd64.deb ... Unpacking libpcre2-32-0:amd64 (10.34-7) ... Selecting previously unselected package libpcre2-posix2:amd64. Preparing to unpack .../203-libpcre2-posix2_10.34-7_amd64.deb ... Unpacking libpcre2-posix2:amd64 (10.34-7) ... Selecting previously unselected package libpcre2-dev:amd64. Preparing to unpack .../204-libpcre2-dev_10.34-7_amd64.deb ... Unpacking libpcre2-dev:amd64 (10.34-7) ... Selecting previously unselected package libselinux1-dev:amd64. Preparing to unpack .../205-libselinux1-dev_3.0-1build2_amd64.deb ... Unpacking libselinux1-dev:amd64 (3.0-1build2) ... Selecting previously unselected package pkg-config. Preparing to unpack .../206-pkg-config_0.29.1-0ubuntu4_amd64.deb ... Unpacking pkg-config (0.29.1-0ubuntu4) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../207-zlib1g-dev_1%3a1.2.11.dfsg-2ubuntu1.3_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-2ubuntu1.3) ... Selecting previously unselected package libglib2.0-dev:amd64. Preparing to unpack .../208-libglib2.0-dev_2.64.6-1~ubuntu20.04.4_amd64.deb ... Unpacking libglib2.0-dev:amd64 (2.64.6-1~ubuntu20.04.4) ... Selecting previously unselected package libdbus-1-dev:amd64. Preparing to unpack .../209-libdbus-1-dev_1.12.16-2ubuntu2.2_amd64.deb ... Unpacking libdbus-1-dev:amd64 (1.12.16-2ubuntu2.2) ... Selecting previously unselected package libxtst6:amd64. Preparing to unpack .../210-libxtst6_2%3a1.2.3-1_amd64.deb ... Unpacking libxtst6:amd64 (2:1.2.3-1) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../211-xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-dev. Preparing to unpack .../212-x11proto-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-dev (2019.2-1ubuntu1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../213-x11proto-core-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-core-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxau-dev:amd64. Preparing to unpack .../214-libxau-dev_1%3a1.0.9-0ubuntu1_amd64.deb ... Unpacking libxau-dev:amd64 (1:1.0.9-0ubuntu1) ... Selecting previously unselected package libxdmcp-dev:amd64. Preparing to unpack .../215-libxdmcp-dev_1%3a1.1.3-0ubuntu1_amd64.deb ... Unpacking libxdmcp-dev:amd64 (1:1.1.3-0ubuntu1) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../216-xtrans-dev_1.4.0-1_all.deb ... Unpacking xtrans-dev (1.4.0-1) ... Selecting previously unselected package libpthread-stubs0-dev:amd64. Preparing to unpack .../217-libpthread-stubs0-dev_0.4-1_amd64.deb ... Unpacking libpthread-stubs0-dev:amd64 (0.4-1) ... Selecting previously unselected package libxcb1-dev:amd64. Preparing to unpack .../218-libxcb1-dev_1.14-2_amd64.deb ... Unpacking libxcb1-dev:amd64 (1.14-2) ... Selecting previously unselected package libx11-dev:amd64. Preparing to unpack .../219-libx11-dev_2%3a1.6.9-2ubuntu1.2_amd64.deb ... Unpacking libx11-dev:amd64 (2:1.6.9-2ubuntu1.2) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../220-x11proto-xext-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-xext-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxext-dev:amd64. Preparing to unpack .../221-libxext-dev_2%3a1.3.4-0ubuntu1_amd64.deb ... Unpacking libxext-dev:amd64 (2:1.3.4-0ubuntu1) ... Selecting previously unselected package libxfixes-dev:amd64. Preparing to unpack .../222-libxfixes-dev_1%3a5.0.3-2_amd64.deb ... Unpacking libxfixes-dev:amd64 (1:5.0.3-2) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../223-x11proto-input-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-input-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxi-dev:amd64. Preparing to unpack .../224-libxi-dev_2%3a1.7.10-0ubuntu1_amd64.deb ... Unpacking libxi-dev:amd64 (2:1.7.10-0ubuntu1) ... Selecting previously unselected package x11proto-record-dev. Preparing to unpack .../225-x11proto-record-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-record-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxtst-dev:amd64. Preparing to unpack .../226-libxtst-dev_2%3a1.2.3-1_amd64.deb ... Unpacking libxtst-dev:amd64 (2:1.2.3-1) ... Selecting previously unselected package libatspi2.0-dev:amd64. Preparing to unpack .../227-libatspi2.0-dev_2.36.0-2_amd64.deb ... Unpacking libatspi2.0-dev:amd64 (2.36.0-2) ... Selecting previously unselected package libatk-bridge2.0-dev:amd64. Preparing to unpack .../228-libatk-bridge2.0-dev_2.34.2-0ubuntu2~20.04.1_amd64.deb ... Unpacking libatk-bridge2.0-dev:amd64 (2.34.2-0ubuntu2~20.04.1) ... Selecting previously unselected package libatk1.0-dev:amd64. Preparing to unpack .../229-libatk1.0-dev_2.35.1-1ubuntu2_amd64.deb ... Unpacking libatk1.0-dev:amd64 (2.35.1-1ubuntu2) ... Selecting previously unselected package liblzo2-2:amd64. Preparing to unpack .../230-liblzo2-2_2.10-2_amd64.deb ... Unpacking liblzo2-2:amd64 (2.10-2) ... Selecting previously unselected package libcairo-script-interpreter2:amd64. Preparing to unpack .../231-libcairo-script-interpreter2_1.16.0-4ubuntu1_amd64.deb ... Unpacking libcairo-script-interpreter2:amd64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libexpat1-dev:amd64. Preparing to unpack .../232-libexpat1-dev_2.2.9-1ubuntu0.4_amd64.deb ... Unpacking libexpat1-dev:amd64 (2.2.9-1ubuntu0.4) ... Selecting previously unselected package libpng-dev:amd64. Preparing to unpack .../233-libpng-dev_1.6.37-2_amd64.deb ... Unpacking libpng-dev:amd64 (1.6.37-2) ... Selecting previously unselected package libfreetype-dev:amd64. Preparing to unpack .../234-libfreetype-dev_2.10.1-2ubuntu0.1_amd64.deb ... Unpacking libfreetype-dev:amd64 (2.10.1-2ubuntu0.1) ... Selecting previously unselected package libfreetype6-dev:amd64. Preparing to unpack .../235-libfreetype6-dev_2.10.1-2ubuntu0.1_amd64.deb ... Unpacking libfreetype6-dev:amd64 (2.10.1-2ubuntu0.1) ... Selecting previously unselected package libfontconfig1-dev:amd64. Preparing to unpack .../236-libfontconfig1-dev_2.13.1-2ubuntu3_amd64.deb ... Unpacking libfontconfig1-dev:amd64 (2.13.1-2ubuntu3) ... Selecting previously unselected package libxrender-dev:amd64. Preparing to unpack .../237-libxrender-dev_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender-dev:amd64 (1:0.9.10-1) ... Selecting previously unselected package libice-dev:amd64. Preparing to unpack .../238-libice-dev_2%3a1.0.10-0ubuntu1_amd64.deb ... Unpacking libice-dev:amd64 (2:1.0.10-0ubuntu1) ... Selecting previously unselected package libsm-dev:amd64. Preparing to unpack .../239-libsm-dev_2%3a1.2.3-1_amd64.deb ... Unpacking libsm-dev:amd64 (2:1.2.3-1) ... Selecting previously unselected package libpixman-1-dev:amd64. Preparing to unpack .../240-libpixman-1-dev_0.38.4-0ubuntu1_amd64.deb ... Unpacking libpixman-1-dev:amd64 (0.38.4-0ubuntu1) ... Selecting previously unselected package libxcb-render0-dev:amd64. Preparing to unpack .../241-libxcb-render0-dev_1.14-2_amd64.deb ... Unpacking libxcb-render0-dev:amd64 (1.14-2) ... Selecting previously unselected package libxcb-shm0-dev:amd64. Preparing to unpack .../242-libxcb-shm0-dev_1.14-2_amd64.deb ... Unpacking libxcb-shm0-dev:amd64 (1.14-2) ... Selecting previously unselected package libcairo2-dev:amd64. Preparing to unpack .../243-libcairo2-dev_1.16.0-4ubuntu1_amd64.deb ... Unpacking libcairo2-dev:amd64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libcairo2-ocaml. Preparing to unpack .../244-libcairo2-ocaml_0.6.1+dfsg-3_amd64.deb ... Unpacking libcairo2-ocaml (0.6.1+dfsg-3) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../245-libncurses-dev_6.2-0ubuntu2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.2-0ubuntu2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../246-libncurses5-dev_6.2-0ubuntu2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.2-0ubuntu2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../247-ocaml-compiler-libs_4.08.1-8_amd64.deb ... Unpacking ocaml-compiler-libs (4.08.1-8) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../248-ocaml-interp_4.08.1-8_amd64.deb ... Unpacking ocaml-interp (4.08.1-8) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../249-ocaml-nox_4.08.1-8_amd64.deb ... Unpacking ocaml-nox (4.08.1-8) ... Selecting previously unselected package libcairo2-ocaml-dev. Preparing to unpack .../250-libcairo2-ocaml-dev_0.6.1+dfsg-3_amd64.deb ... Unpacking libcairo2-ocaml-dev (0.6.1+dfsg-3) ... Selecting previously unselected package libcommons-parent-java. Preparing to unpack .../251-libcommons-parent-java_43-1_all.deb ... Unpacking libcommons-parent-java (43-1) ... Selecting previously unselected package libcommons-logging-java. Preparing to unpack .../252-libcommons-logging-java_1.2-2_all.deb ... Unpacking libcommons-logging-java (1.2-2) ... Selecting previously unselected package libdatrie-dev:amd64. Preparing to unpack .../253-libdatrie-dev_0.2.12-3_amd64.deb ... Unpacking libdatrie-dev:amd64 (0.2.12-3) ... Selecting previously unselected package libdrm-amdgpu1:amd64. Preparing to unpack .../254-libdrm-amdgpu1_2.4.107-8ubuntu1~20.04.2_amd64.deb ... Unpacking libdrm-amdgpu1:amd64 (2.4.107-8ubuntu1~20.04.2) ... Selecting previously unselected package libpciaccess0:amd64. Preparing to unpack .../255-libpciaccess0_0.16-0ubuntu1_amd64.deb ... Unpacking libpciaccess0:amd64 (0.16-0ubuntu1) ... Selecting previously unselected package libdrm-intel1:amd64. Preparing to unpack .../256-libdrm-intel1_2.4.107-8ubuntu1~20.04.2_amd64.deb ... Unpacking libdrm-intel1:amd64 (2.4.107-8ubuntu1~20.04.2) ... Selecting previously unselected package libdrm-nouveau2:amd64. Preparing to unpack .../257-libdrm-nouveau2_2.4.107-8ubuntu1~20.04.2_amd64.deb ... Unpacking libdrm-nouveau2:amd64 (2.4.107-8ubuntu1~20.04.2) ... Selecting previously unselected package libdrm-radeon1:amd64. Preparing to unpack .../258-libdrm-radeon1_2.4.107-8ubuntu1~20.04.2_amd64.deb ... Unpacking libdrm-radeon1:amd64 (2.4.107-8ubuntu1~20.04.2) ... Selecting previously unselected package libglvnd0:amd64. Preparing to unpack .../259-libglvnd0_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libglvnd0:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libwayland-server0:amd64. Preparing to unpack .../260-libwayland-server0_1.18.0-1_amd64.deb ... Unpacking libwayland-server0:amd64 (1.18.0-1) ... Selecting previously unselected package libgbm1:amd64. Preparing to unpack .../261-libgbm1_21.2.6-0ubuntu0.1~20.04.2_amd64.deb ... Unpacking libgbm1:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Selecting previously unselected package libglapi-mesa:amd64. Preparing to unpack .../262-libglapi-mesa_21.2.6-0ubuntu0.1~20.04.2_amd64.deb ... Unpacking libglapi-mesa:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Selecting previously unselected package libx11-xcb1:amd64. Preparing to unpack .../263-libx11-xcb1_2%3a1.6.9-2ubuntu1.2_amd64.deb ... Unpacking libx11-xcb1:amd64 (2:1.6.9-2ubuntu1.2) ... Selecting previously unselected package libxcb-dri2-0:amd64. Preparing to unpack .../264-libxcb-dri2-0_1.14-2_amd64.deb ... Unpacking libxcb-dri2-0:amd64 (1.14-2) ... Selecting previously unselected package libxcb-dri3-0:amd64. Preparing to unpack .../265-libxcb-dri3-0_1.14-2_amd64.deb ... Unpacking libxcb-dri3-0:amd64 (1.14-2) ... Selecting previously unselected package libxcb-present0:amd64. Preparing to unpack .../266-libxcb-present0_1.14-2_amd64.deb ... Unpacking libxcb-present0:amd64 (1.14-2) ... Selecting previously unselected package libxcb-sync1:amd64. Preparing to unpack .../267-libxcb-sync1_1.14-2_amd64.deb ... Unpacking libxcb-sync1:amd64 (1.14-2) ... Selecting previously unselected package libxcb-xfixes0:amd64. Preparing to unpack .../268-libxcb-xfixes0_1.14-2_amd64.deb ... Unpacking libxcb-xfixes0:amd64 (1.14-2) ... Selecting previously unselected package libxshmfence1:amd64. Preparing to unpack .../269-libxshmfence1_1.3-1_amd64.deb ... Unpacking libxshmfence1:amd64 (1.3-1) ... Selecting previously unselected package libegl-mesa0:amd64. Preparing to unpack .../270-libegl-mesa0_21.2.6-0ubuntu0.1~20.04.2_amd64.deb ... Unpacking libegl-mesa0:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Selecting previously unselected package libegl1:amd64. Preparing to unpack .../271-libegl1_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libegl1:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libxcb-glx0:amd64. Preparing to unpack .../272-libxcb-glx0_1.14-2_amd64.deb ... Unpacking libxcb-glx0:amd64 (1.14-2) ... Selecting previously unselected package libxxf86vm1:amd64. Preparing to unpack .../273-libxxf86vm1_1%3a1.1.4-1build1_amd64.deb ... Unpacking libxxf86vm1:amd64 (1:1.1.4-1build1) ... Selecting previously unselected package libllvm12:amd64. Preparing to unpack .../274-libllvm12_1%3a12.0.0-3ubuntu1~20.04.5_amd64.deb ... Unpacking libllvm12:amd64 (1:12.0.0-3ubuntu1~20.04.5) ... Selecting previously unselected package libsensors-config. Preparing to unpack .../275-libsensors-config_1%3a3.6.0-2ubuntu1.1_all.deb ... Unpacking libsensors-config (1:3.6.0-2ubuntu1.1) ... Selecting previously unselected package libsensors5:amd64. Preparing to unpack .../276-libsensors5_1%3a3.6.0-2ubuntu1.1_amd64.deb ... Unpacking libsensors5:amd64 (1:3.6.0-2ubuntu1.1) ... Selecting previously unselected package libvulkan1:amd64. Preparing to unpack .../277-libvulkan1_1.2.131.2-1_amd64.deb ... Unpacking libvulkan1:amd64 (1.2.131.2-1) ... Selecting previously unselected package libgl1-mesa-dri:amd64. Preparing to unpack .../278-libgl1-mesa-dri_21.2.6-0ubuntu0.1~20.04.2_amd64.deb ... Unpacking libgl1-mesa-dri:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Selecting previously unselected package libglx-mesa0:amd64. Preparing to unpack .../279-libglx-mesa0_21.2.6-0ubuntu0.1~20.04.2_amd64.deb ... Unpacking libglx-mesa0:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Selecting previously unselected package libglx0:amd64. Preparing to unpack .../280-libglx0_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libglx0:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libgl1:amd64. Preparing to unpack .../281-libgl1_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libgl1:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libglx-dev:amd64. Preparing to unpack .../282-libglx-dev_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libglx-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libgl-dev:amd64. Preparing to unpack .../283-libgl-dev_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libgl-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libegl-dev:amd64. Preparing to unpack .../284-libegl-dev_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libegl-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libgles1:amd64. Preparing to unpack .../285-libgles1_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libgles1:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libgles2:amd64. Preparing to unpack .../286-libgles2_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libgles2:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libgles-dev:amd64. Preparing to unpack .../287-libgles-dev_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libgles-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libopengl0:amd64. Preparing to unpack .../288-libopengl0_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libopengl0:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libopengl-dev:amd64. Preparing to unpack .../289-libopengl-dev_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libopengl-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libglvnd-dev:amd64. Preparing to unpack .../290-libglvnd-dev_1.3.2-1~ubuntu0.20.04.2_amd64.deb ... Unpacking libglvnd-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Selecting previously unselected package libegl1-mesa-dev:amd64. Preparing to unpack .../291-libegl1-mesa-dev_21.2.6-0ubuntu0.1~20.04.2_amd64.deb ... Unpacking libegl1-mesa-dev:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Selecting previously unselected package libhunspell-1.7-0:amd64. Preparing to unpack .../292-libhunspell-1.7-0_1.7.0-2build2_amd64.deb ... Unpacking libhunspell-1.7-0:amd64 (1.7.0-2build2) ... Selecting previously unselected package libenchant-2-2:amd64. Preparing to unpack .../293-libenchant-2-2_2.2.8-1ubuntu0.20.04.1_amd64.deb ... Unpacking libenchant-2-2:amd64 (2.2.8-1ubuntu0.20.04.1) ... Selecting previously unselected package libenchant-2-dev:amd64. Preparing to unpack .../294-libenchant-2-dev_2.2.8-1ubuntu0.20.04.1_amd64.deb ... Unpacking libenchant-2-dev:amd64 (2.2.8-1ubuntu0.20.04.1) ... Selecting previously unselected package libgl1-mesa-dev:amd64. Preparing to unpack .../295-libgl1-mesa-dev_21.2.6-0ubuntu0.1~20.04.2_amd64.deb ... Unpacking libgl1-mesa-dev:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Selecting previously unselected package libepoxy-dev:amd64. Preparing to unpack .../296-libepoxy-dev_1.5.4-1_amd64.deb ... Unpacking libepoxy-dev:amd64 (1.5.4-1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../297-libfindlib-ocaml_1.8.1-1build3_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-1build3) ... Selecting previously unselected package libfribidi-dev:amd64. Preparing to unpack .../298-libfribidi-dev_1.0.8-2ubuntu0.1_amd64.deb ... Unpacking libfribidi-dev:amd64 (1.0.8-2ubuntu0.1) ... Selecting previously unselected package libgdk-pixbuf2.0-bin. Preparing to unpack .../299-libgdk-pixbuf2.0-bin_2.40.0+dfsg-3ubuntu0.2_amd64.deb ... Unpacking libgdk-pixbuf2.0-bin (2.40.0+dfsg-3ubuntu0.2) ... Selecting previously unselected package libgdk-pixbuf2.0-dev:amd64. Preparing to unpack .../300-libgdk-pixbuf2.0-dev_2.40.0+dfsg-3ubuntu0.2_amd64.deb ... Unpacking libgdk-pixbuf2.0-dev:amd64 (2.40.0+dfsg-3ubuntu0.2) ... Selecting previously unselected package libgraphite2-dev:amd64. Preparing to unpack .../301-libgraphite2-dev_1.3.13-11build1_amd64.deb ... Unpacking libgraphite2-dev:amd64 (1.3.13-11build1) ... Selecting previously unselected package libharfbuzz-gobject0:amd64. Preparing to unpack .../302-libharfbuzz-gobject0_2.6.4-1ubuntu4_amd64.deb ... Unpacking libharfbuzz-gobject0:amd64 (2.6.4-1ubuntu4) ... Selecting previously unselected package libicu-dev:amd64. Preparing to unpack .../303-libicu-dev_66.1-2ubuntu2.1_amd64.deb ... Unpacking libicu-dev:amd64 (66.1-2ubuntu2.1) ... Selecting previously unselected package libharfbuzz-dev:amd64. Preparing to unpack .../304-libharfbuzz-dev_2.6.4-1ubuntu4_amd64.deb ... Unpacking libharfbuzz-dev:amd64 (2.6.4-1ubuntu4) ... Selecting previously unselected package libthai-dev:amd64. Preparing to unpack .../305-libthai-dev_0.1.28-3_amd64.deb ... Unpacking libthai-dev:amd64 (0.1.28-3) ... Selecting previously unselected package libxft-dev:amd64. Preparing to unpack .../306-libxft-dev_2.3.3-0ubuntu1_amd64.deb ... Unpacking libxft-dev:amd64 (2.3.3-0ubuntu1) ... Selecting previously unselected package pango1.0-tools. Preparing to unpack .../307-pango1.0-tools_1.44.7-2ubuntu4_amd64.deb ... Unpacking pango1.0-tools (1.44.7-2ubuntu4) ... Selecting previously unselected package libpango1.0-dev:amd64. Preparing to unpack .../308-libpango1.0-dev_1.44.7-2ubuntu4_amd64.deb ... Unpacking libpango1.0-dev:amd64 (1.44.7-2ubuntu4) ... Selecting previously unselected package libwayland-bin. Preparing to unpack .../309-libwayland-bin_1.18.0-1_amd64.deb ... Unpacking libwayland-bin (1.18.0-1) ... Selecting previously unselected package libwayland-dev:amd64. Preparing to unpack .../310-libwayland-dev_1.18.0-1_amd64.deb ... Unpacking libwayland-dev:amd64 (1.18.0-1) ... Selecting previously unselected package libxcomposite-dev:amd64. Preparing to unpack .../311-libxcomposite-dev_1%3a0.4.5-1_amd64.deb ... Unpacking libxcomposite-dev:amd64 (1:0.4.5-1) ... Selecting previously unselected package libxcursor-dev:amd64. Preparing to unpack .../312-libxcursor-dev_1%3a1.2.0-2_amd64.deb ... Unpacking libxcursor-dev:amd64 (1:1.2.0-2) ... Selecting previously unselected package libxdamage-dev:amd64. Preparing to unpack .../313-libxdamage-dev_1%3a1.1.5-2_amd64.deb ... Unpacking libxdamage-dev:amd64 (1:1.1.5-2) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../314-x11proto-xinerama-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-xinerama-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxinerama-dev:amd64. Preparing to unpack .../315-libxinerama-dev_2%3a1.1.4-2_amd64.deb ... Unpacking libxinerama-dev:amd64 (2:1.1.4-2) ... Selecting previously unselected package libxkbcommon-dev:amd64. Preparing to unpack .../316-libxkbcommon-dev_0.10.0-1_amd64.deb ... Unpacking libxkbcommon-dev:amd64 (0.10.0-1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../317-x11proto-randr-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-randr-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxrandr-dev:amd64. Preparing to unpack .../318-libxrandr-dev_2%3a1.5.2-0ubuntu1_amd64.deb ... Unpacking libxrandr-dev:amd64 (2:1.5.2-0ubuntu1) ... Selecting previously unselected package wayland-protocols. Preparing to unpack .../319-wayland-protocols_1.20-1_all.deb ... Unpacking wayland-protocols (1.20-1) ... Selecting previously unselected package libgtk-3-dev:amd64. Preparing to unpack .../320-libgtk-3-dev_3.24.20-0ubuntu1.1_amd64.deb ... Unpacking libgtk-3-dev:amd64 (3.24.20-0ubuntu1.1) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../321-libxml2-utils_2.9.10+dfsg-5ubuntu0.20.04.3_amd64.deb ... Unpacking libxml2-utils (2.9.10+dfsg-5ubuntu0.20.04.3) ... Selecting previously unselected package libgtk2.0-dev:amd64. Preparing to unpack .../322-libgtk2.0-dev_2.24.32-4ubuntu4_amd64.deb ... Unpacking libgtk2.0-dev:amd64 (2.24.32-4ubuntu4) ... Selecting previously unselected package libxml2-dev:amd64. Preparing to unpack .../323-libxml2-dev_2.9.10+dfsg-5ubuntu0.20.04.3_amd64.deb ... Unpacking libxml2-dev:amd64 (2.9.10+dfsg-5ubuntu0.20.04.3) ... Selecting previously unselected package libgtksourceview-3.0-dev:amd64. Preparing to unpack .../324-libgtksourceview-3.0-dev_3.24.11-2_amd64.deb ... Unpacking libgtksourceview-3.0-dev:amd64 (3.24.11-2) ... Selecting previously unselected package libgtkspell0:amd64. Preparing to unpack .../325-libgtkspell0_2.0.16-1.3_amd64.deb ... Unpacking libgtkspell0:amd64 (2.0.16-1.3) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../326-libgtkspell-dev_2.0.16-1.3_amd64.deb ... Unpacking libgtkspell-dev (2.0.16-1.3) ... Selecting previously unselected package liblablgtk3-ocaml. Preparing to unpack .../327-liblablgtk3-ocaml_3.0~beta6-2build1_amd64.deb ... Unpacking liblablgtk3-ocaml (3.0~beta6-2build1) ... Selecting previously unselected package liblablgtk3-ocaml-dev. Preparing to unpack .../328-liblablgtk3-ocaml-dev_3.0~beta6-2build1_amd64.deb ... Unpacking liblablgtk3-ocaml-dev (3.0~beta6-2build1) ... Selecting previously unselected package liblablgtksourceview3-ocaml. Preparing to unpack .../329-liblablgtksourceview3-ocaml_3.0~beta6-2build1_amd64.deb ... Unpacking liblablgtksourceview3-ocaml (3.0~beta6-2build1) ... Selecting previously unselected package liblablgtksourceview3-ocaml-dev. Preparing to unpack .../330-liblablgtksourceview3-ocaml-dev_3.0~beta6-2build1_amd64.deb ... Unpacking liblablgtksourceview3-ocaml-dev (3.0~beta6-2build1) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../331-libnum-ocaml_1.3-1_amd64.deb ... Unpacking libnum-ocaml (1.3-1) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../332-libnum-ocaml-dev_1.3-1_amd64.deb ... Unpacking libnum-ocaml-dev (1.3-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../333-ocaml-findlib_1.8.1-1build3_amd64.deb ... Unpacking ocaml-findlib (1.8.1-1build3) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../334-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 .../335-texlive-latex-base_2019.20200218-1_all.deb ... Unpacking texlive-latex-base (2019.20200218-1) ... Selecting previously unselected package libfontbox-java. Preparing to unpack .../336-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 .../337-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 .../338-texlive-latex-recommended_2019.20200218-1_all.deb ... Unpacking texlive-latex-recommended (2019.20200218-1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../339-texlive-pictures_2019.20200218-1_all.deb ... Unpacking texlive-pictures (2019.20200218-1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../340-texlive-latex-extra_2019.202000218-1_all.deb ... Unpacking texlive-latex-extra (2019.202000218-1) ... Selecting previously unselected package camlp5. Preparing to unpack .../341-camlp5_7.11-1build1_amd64.deb ... Unpacking camlp5 (7.11-1build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../342-dh-ocaml_1.1.1_all.deb ... Unpacking dh-ocaml (1.1.1) ... Setting up libpcrecpp0v5:amd64 (2:8.39-12ubuntu0.1) ... Setting up libpipeline1:amd64 (1.5.2-2build1) ... Setting up libtext-iconv-perl (1.7-7) ... 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 libwayland-server0:amd64 (1.18.0-1) ... Setting up libx11-xcb1:amd64 (2:1.6.9-2ubuntu1.2) ... Setting up libpciaccess0:amd64 (0.16-0ubuntu1) ... Setting up libxau6:amd64 (1:1.0.9-0ubuntu1) ... Setting up libkeyutils1:amd64 (1.6-6ubuntu1.1) ... Setting up libproxy1v5:amd64 (0.4.15-10ubuntu1.2) ... Setting up libncurses-dev:amd64 (6.2-0ubuntu2) ... Setting up libpsl5:amd64 (0.21.0-1ubuntu1) ... Setting up libpixman-1-dev:amd64 (0.38.4-0ubuntu1) ... Setting up libpcre16-3:amd64 (2:8.39-12ubuntu0.1) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libdatrie1:amd64 (0.2.12-3) ... 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) ... Setting up libaspell15:amd64 (0.60.8-1ubuntu0.1) ... Setting up libglvnd0:amd64 (1.3.2-1~ubuntu0.20.04.2) ... 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 libbrotli1:amd64 (1.0.7-6ubuntu0.1) ... Setting up libfontbox-java (1:1.8.16-2) ... Setting up libgdk-pixbuf2.0-common (2.40.0+dfsg-3ubuntu0.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 libsensors-config (1:3.6.0-2ubuntu1.1) ... Setting up libmagic1:amd64 (1:5.38-4) ... Setting up libsepol1-dev:amd64 (3.0-1ubuntu0.1) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up xkb-data (2.29-2) ... Setting up liblzo2-2:amd64 (2.10-2) ... 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 libffi-dev:amd64 (3.3-4) ... Setting up libpthread-stubs0-dev:amd64 (0.4-1) ... Setting up libjbig0:amd64 (2.1-3.1build1) ... Setting up libpcre2-16-0:amd64 (10.34-7) ... Setting up libcolord2:amd64 (1.4.4-2) ... Setting up libopengl0:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up poppler-data (0.4.9-2) ... Setting up libkrb5support0:amd64 (1.17-6ubuntu4.1) ... Setting up libdconf1:amd64 (0.36.0-1) ... Setting up xtrans-dev (1.4.0-1) ... Setting up libgraphite2-dev:amd64 (1.3.13-11build1) ... Setting up autotools-dev (20180224.1) ... Setting up libpcre2-32-0:amd64 (10.34-7) ... Setting up libglib2.0-data (2.64.6-1~ubuntu20.04.4) ... Setting up libgles2:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up libexpat1-dev:amd64 (2.2.9-1ubuntu0.4) ... Setting up emacsen-common (3.0.4) ... Setting up libfreetype6:amd64 (2.10.1-2ubuntu0.1) ... Setting up libx11-data (2:1.6.9-2ubuntu1.2) ... Setting up libepoxy0:amd64 (1.5.4-1) ... 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 uuid-dev:amd64 (2.34-0.1ubuntu9.3) ... Setting up libapache-pom-java (18-1) ... Setting up libavahi-common-data:amd64 (0.7-4ubuntu7.1) ... Setting up libgles1:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up libdbus-1-3:amd64 (1.12.16-2ubuntu2.2) ... Setting up dbus (1.12.16-2ubuntu2.2) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up libfribidi0:amd64 (1.0.8-2ubuntu0.1) ... Setting up t1utils (1.41-3) ... Setting up libpcre32-3:amd64 (2:8.39-12ubuntu0.1) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up libwebp6:amd64 (0.6.1-2ubuntu0.20.04.1) ... Setting up icu-devtools (66.1-2ubuntu2.1) ... Setting up pkg-config (0.29.1-0ubuntu4) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up ucf (3.0038+nmu1) ... Setting up libpcre2-posix2:amd64 (10.34-7) ... Setting up libsensors5:amd64 (1:3.6.0-2ubuntu1.1) ... Setting up libk5crypto3:amd64 (1.17-6ubuntu4.1) ... Setting up libjpeg-turbo8:amd64 (2.0.3-0ubuntu1.20.04.1) ... Setting up libglapi-mesa:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Setting up libkpathsea6:amd64 (2019.20190605.51237-3build2) ... Setting up libvulkan1:amd64 (1.2.131.2-1) ... Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-2ubuntu1.3) ... Setting up libatk1.0-data (2.35.1-1ubuntu2) ... Setting up wayland-protocols (1.20-1) ... Setting up libdatrie-dev:amd64 (0.2.12-3) ... Setting up libxshmfence1:amd64 (1.3-1) ... Setting up libuchardet0:amd64 (0.0.6-3build1) ... Setting up libgtksourceview-3.0-common (3.24.11-2) ... Setting up libncurses5-dev:amd64 (6.2-0ubuntu2) ... Setting up libpam-systemd:amd64 (245.4-4ubuntu3.17) ... 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 libthai-data (0.1.28-3) ... Setting up libgirepository-1.0-1:amd64 (1.64.1-1~ubuntu20.04.1) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up libjson-glib-1.0-common (1.4.4-2ubuntu2) ... Setting up libgtk2.0-common (2.24.32-4ubuntu4) ... Setting up libatk1.0-0:amd64 (2.35.1-1ubuntu2) ... Setting up libkrb5-3:amd64 (1.17-6ubuntu4.1) ... Setting up libwayland-egl1:amd64 (1.18.0-1) ... Setting up ocaml-base-nox (4.08.1-8) ... Setting up libopengl-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up libhunspell-1.7-0:amd64 (1.7.0-2build2) ... Setting up glib-networking-common (2.64.2-1ubuntu0.1) ... Setting up libbsd0:amd64 (0.10.0-1) ... Setting up python3-lib2to3 (3.8.10-0ubuntu1~20.04) ... Setting up libdrm-common (2.4.107-8ubuntu1~20.04.2) ... Setting up libelf1:amd64 (0.176-1.1build1) ... Setting up libicu-dev:amd64 (66.1-2ubuntu2.1) ... Setting up libxml2:amd64 (2.9.10+dfsg-5ubuntu0.20.04.3) ... Setting up xdg-utils (1.1.3-2ubuntu1.20.04.2) ... Setting up libsynctex2:amd64 (2019.20190605.51237-3build2) ... Setting up libxkbcommon0:amd64 (0.10.0-1) ... Setting up libwayland-client0:amd64 (1.18.0-1) ... Setting up libjpeg8:amd64 (8c-2ubuntu8) ... Setting up python3-distutils (3.8.10-0ubuntu1~20.04) ... Setting up libgs9-common (9.50~dfsg-5ubuntu4.5) ... Setting up x11proto-dev (2019.2-1ubuntu1) ... Setting up libfile-stripnondeterminism-perl (1.7.0-1) ... Setting up libglib2.0-dev-bin (2.64.6-1~ubuntu20.04.4) ... Setting up glib-networking-services (2.64.2-1ubuntu0.1) ... Setting up libblkid-dev:amd64 (2.34-0.1ubuntu9.3) ... 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 libxcb-xfixes0:amd64 (1.14-2) ... Setting up libpdfbox-java (1:1.8.16-2) ... Setting up libxau-dev:amd64 (1:1.0.9-0ubuntu1) ... Setting up libpcre2-dev:amd64 (10.34-7) ... Setting up libice-dev:amd64 (2:1.0.10-0ubuntu1) ... Setting up dictionaries-common (1.28.1) ... Setting up libtool (2.4.6-14) ... Setting up libxcb-render0:amd64 (1.14-2) ... Setting up libselinux1-dev:amd64 (3.0-1build2) ... Setting up libpcre3-dev:amd64 (2:8.39-12ubuntu0.1) ... Setting up fontconfig-config (2.13.1-2ubuntu3) ... Setting up x11proto-randr-dev (2019.2-1ubuntu1) ... Setting up libfribidi-dev:amd64 (1.0.8-2ubuntu0.1) ... Setting up libxcb-glx0:amd64 (1.14-2) ... Setting up libxkbcommon-dev:amd64 (0.10.0-1) ... Setting up libedit2:amd64 (3.1-20191231-1) ... Setting up libpng-dev:amd64 (1.6.37-2) ... Setting up libcommons-parent-java (43-1) ... Setting up libavahi-common3:amd64 (0.7-4ubuntu7.1) ... Setting up libfindlib-ocaml (1.8.1-1build3) ... Setting up libcommons-logging-java (1.2-2) ... Setting up libglib2.0-bin (2.64.6-1~ubuntu20.04.4) ... Setting up m4 (1.4.18-4) ... Setting up libxcb-shm0:amd64 (1.14-2) ... Setting up libharfbuzz-gobject0:amd64 (2.6.4-1ubuntu4) ... Setting up libpaper-utils (1.1.28) ... Setting up x11proto-xinerama-dev (2019.2-1ubuntu1) ... Setting up libjson-glib-1.0-0:amd64 (1.4.4-2ubuntu2) ... Setting up libfreetype-dev:amd64 (2.10.1-2ubuntu0.1) ... Setting up libxcb-present0:amd64 (1.14-2) ... Setting up tex-common (6.13) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libthai0:amd64 (0.1.28-3) ... Setting up dbus-user-session (1.12.16-2ubuntu2.2) ... Setting up libxdmcp-dev:amd64 (1:1.1.3-0ubuntu1) ... Setting up libwayland-bin (1.18.0-1) ... Setting up libxml2-dev:amd64 (2.9.10+dfsg-5ubuntu0.20.04.3) ... Setting up libptexenc1:amd64 (2019.20190605.51237-3build2) ... Setting up libdbus-1-dev:amd64 (1.12.16-2ubuntu2.2) ... Setting up libxcb-sync1:amd64 (1.14-2) ... Setting up x11proto-core-dev (2019.2-1ubuntu1) ... Setting up libllvm12:amd64 (1:12.0.0-3ubuntu1~20.04.5) ... Setting up shared-mime-info (1.15-1) ... 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-1build3) ... Setting up libgssapi-krb5-2:amd64 (1.17-6ubuntu4.1) ... Setting up x11proto-input-dev (2019.2-1ubuntu1) ... Setting up libcroco3:amd64 (0.6.13-1) ... Setting up gir1.2-glib-2.0:amd64 (1.64.1-1~ubuntu20.04.1) ... Setting up autoconf (2.69-11.1) ... Setting up libthai-dev:amd64 (0.1.28-3) ... Setting up libxcb-dri2-0:amd64 (1.14-2) ... Setting up dh-strip-nondeterminism (1.7.0-1) ... Setting up libnum-ocaml (1.3-1) ... Setting up x11proto-xext-dev (2019.2-1ubuntu1) ... Setting up libdrm2:amd64 (2.4.107-8ubuntu1~20.04.2) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-4build1) ... Setting up libwayland-cursor0:amd64 (1.18.0-1) ... Setting up hunspell-en-us (1:2018.04.16-1) ... Setting up libx11-6:amd64 (2:1.6.9-2ubuntu1.2) ... Setting up libtiff5:amd64 (4.1.0+git191117-2ubuntu0.20.04.3) ... Setting up libfontconfig1:amd64 (2.13.1-2ubuntu3) ... Setting up x11proto-record-dev (2019.2-1ubuntu1) ... Setting up libxml2-utils (2.9.10+dfsg-5ubuntu0.20.04.3) ... Setting up libxcomposite1:amd64 (1:0.4.5-1) ... Setting up libsm6:amd64 (2:1.2.3-1) ... Setting up libavahi-client3:amd64 (0.7-4ubuntu7.1) ... Setting up libmount-dev:amd64 (2.34-0.1ubuntu9.3) ... Setting up libdrm-amdgpu1:amd64 (2.4.107-8ubuntu1~20.04.2) ... 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 libxcb-dri3-0:amd64 (1.14-2) ... Setting up fontconfig (2.13.1-2ubuntu3) ... Regenerating fonts cache... done. Setting up libdrm-nouveau2:amd64 (2.4.107-8ubuntu1~20.04.2) ... Setting up gettext (0.19.8.1-10build1) ... Setting up gir1.2-freedesktop:amd64 (1.64.1-1~ubuntu20.04.1) ... Setting up libxdamage1:amd64 (1:1.1.5-2) ... Setting up libxcb1-dev:amd64 (1.14-2) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libgbm1:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Setting up libenchant-2-2:amd64 (2.2.8-1ubuntu0.20.04.1) ... Setting up gir1.2-atk-1.0:amd64 (2.35.1-1ubuntu2) ... Setting up libsm-dev:amd64 (2:1.2.3-1) ... Setting up libdrm-radeon1:amd64 (2.4.107-8ubuntu1~20.04.2) ... Setting up preview-latex-style (11.91-2ubuntu2) ... Setting up libpango-1.0-0:amd64 (1.44.7-2ubuntu4) ... Setting up libdrm-intel1:amd64 (2.4.107-8ubuntu1~20.04.2) ... Setting up libgl1-mesa-dri:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Setting up libx11-dev:amd64 (2:1.6.9-2ubuntu1.2) ... Setting up libxext6:amd64 (2:1.3.4-0ubuntu1) ... Setting up dconf-service (0.36.0-1) ... Setting up libatspi2.0-0:amd64 (2.36.0-2) ... 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 libwayland-dev:amd64 (1.18.0-1) ... Setting up gir1.2-harfbuzz-0.0:amd64 (2.6.4-1ubuntu4) ... Setting up libcairo2:amd64 (1.16.0-4ubuntu1) ... Setting up libfreetype6-dev:amd64 (2.10.1-2ubuntu0.1) ... Setting up libxxf86vm1:amd64 (1:1.1.4-1build1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libatk-bridge2.0-0:amd64 (2.34.2-0ubuntu2~20.04.1) ... Setting up libxcb-shm0-dev:amd64 (1.14-2) ... Setting up libegl-mesa0:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Setting up libglib2.0-dev:amd64 (2.64.6-1~ubuntu20.04.4) ... Setting up libxfixes3:amd64 (1:5.0.3-2) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.40.0+dfsg-3ubuntu0.2) ... Setting up libxinerama1:amd64 (2:1.1.4-2) ... Setting up libxrandr2:amd64 (2:1.5.2-0ubuntu1) ... Setting up libxcb-render0-dev:amd64 (1.14-2) ... Setting up netpbm (2:10.0-15.3build1) ... Setting up libxt6:amd64 (1:1.1.5-1) ... Setting up libxext-dev:amd64 (2:1.3.4-0ubuntu1) ... Setting up libcups2:amd64 (2.3.1-9ubuntu1.2) ... Setting up libgdk-pixbuf2.0-bin (2.40.0+dfsg-3ubuntu0.2) ... Setting up libegl1:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up libcairo-gobject2:amd64 (1.16.0-4ubuntu1) ... Setting up libpangoft2-1.0-0:amd64 (1.44.7-2ubuntu4) ... Setting up libxrender-dev:amd64 (1:0.9.10-1) ... Setting up libatk1.0-dev:amd64 (2.35.1-1ubuntu2) ... Setting up libpangocairo-1.0-0:amd64 (1.44.7-2ubuntu4) ... Setting up libcairo-script-interpreter2:amd64 (1.16.0-4ubuntu1) ... Setting up gtk-update-icon-cache (3.24.20-0ubuntu1.1) ... Setting up libharfbuzz-dev:amd64 (2.6.4-1ubuntu4) ... Setting up libxft2:amd64 (2.3.3-0ubuntu1) ... Setting up libxmu6:amd64 (2:1.1.3-0ubuntu1) ... Setting up libfontconfig1-dev:amd64 (2.13.1-2ubuntu3) ... Setting up libglx-mesa0:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Setting up libgs9:amd64 (9.50~dfsg-5ubuntu4.5) ... Setting up libpangoxft-1.0-0:amd64 (1.44.7-2ubuntu4) ... Setting up libxi6:amd64 (2:1.7.10-0ubuntu1) ... Setting up libglx0:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up dconf-gsettings-backend:amd64 (0.36.0-1) ... Setting up gir1.2-gdkpixbuf-2.0:amd64 (2.40.0+dfsg-3ubuntu0.2) ... Setting up libxtst6:amd64 (2:1.2.3-1) ... Setting up po-debconf (1.0.21) ... Setting up libenchant-2-dev:amd64 (2.2.8-1ubuntu0.20.04.1) ... Setting up libxcursor1:amd64 (1:1.2.0-2) ... Setting up pango1.0-tools (1.44.7-2ubuntu4) ... Setting up libcairo2-ocaml (0.6.1+dfsg-3) ... Setting up gir1.2-atspi-2.0:amd64 (2.36.0-2) ... Setting up libxaw7:amd64 (2:1.0.13-1) ... Setting up ghostscript (9.50~dfsg-5ubuntu4.5) ... Setting up libgdk-pixbuf2.0-dev:amd64 (2.40.0+dfsg-3ubuntu0.2) ... Setting up librsvg2-2:amd64 (2.48.9-1ubuntu0.20.04.1) ... Setting up libxfixes-dev:amd64 (1:5.0.3-2) ... Setting up gir1.2-pango-1.0:amd64 (1.44.7-2ubuntu4) ... Setting up libxrandr-dev:amd64 (2:1.5.2-0ubuntu1) ... Setting up libgl1:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up libxinerama-dev:amd64 (2:1.1.4-2) ... Setting up librsvg2-common:amd64 (2.48.9-1ubuntu0.20.04.1) ... 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 libglx-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up libcairo2-dev:amd64 (1.16.0-4ubuntu1) ... Setting up libxi-dev:amd64 (2:1.7.10-0ubuntu1) ... 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 libgl-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up libgtk-3-common (3.24.20-0ubuntu1.1) ... Setting up libxft-dev:amd64 (2.3.3-0ubuntu1) ... Setting up libxtst-dev:amd64 (2:1.2.3-1) ... Setting up libxdamage-dev:amd64 (1:1.1.5-2) ... Setting up gsettings-desktop-schemas (3.36.0-1ubuntu1) ... Setting up libatspi2.0-dev:amd64 (2.36.0-2) ... Setting up libegl-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up libxcomposite-dev:amd64 (1:0.4.5-1) ... Setting up libxcursor-dev:amd64 (1:1.2.0-2) ... Setting up libatk-bridge2.0-dev:amd64 (2.34.2-0ubuntu2~20.04.1) ... Setting up texlive-latex-base (2019.20200218-1) ... Setting up libpango1.0-dev:amd64 (1.44.7-2ubuntu4) ... Setting up texlive-latex-recommended (2019.20200218-1) ... Setting up hevea (2.32-3build1) ... Setting up texlive-pictures (2019.20200218-1) ... Setting up glib-networking:amd64 (2.64.2-1ubuntu0.1) ... Setting up libgles-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up libsoup2.4-1:amd64 (2.70.0-1) ... Setting up libglvnd-dev:amd64 (1.3.2-1~ubuntu0.20.04.2) ... Setting up texlive-latex-extra (2019.202000218-1) ... Setting up libgl1-mesa-dev:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Setting up libsoup-gnome2.4-1:amd64 (2.70.0-1) ... Setting up libegl1-mesa-dev:amd64 (21.2.6-0ubuntu0.1~20.04.2) ... Setting up librest-0.7-0:amd64 (0.8.1-1) ... Setting up libepoxy-dev:amd64 (1.5.4-1) ... Setting up ocaml-interp (4.08.1-8) ... Setting up adwaita-icon-theme (3.36.1-2ubuntu0.20.04.2) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up ocaml-nox (4.08.1-8) ... Setting up libcairo2-ocaml-dev (0.6.1+dfsg-3) ... Setting up libnum-ocaml-dev (1.3-1) ... Setting up libgtk-3-0:amd64 (3.24.20-0ubuntu1.1) ... Setting up ocaml-compiler-libs (4.08.1-8) ... Setting up libgtk2.0-0:amd64 (2.24.32-4ubuntu4) ... Setting up gir1.2-gtk-3.0:amd64 (3.24.20-0ubuntu1.1) ... Setting up debhelper (12.10ubuntu1) ... Setting up libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Setting up camlp5 (7.11-1build1) ... Setting up dh-autoreconf (19) ... Setting up humanity-icon-theme (0.6.15) ... Setting up gir1.2-gtk-2.0:amd64 (2.24.32-4ubuntu4) ... Setting up liblablgtk3-ocaml (3.0~beta6-2build1) ... Setting up gir1.2-gtksource-3.0:amd64 (3.24.11-2) ... Setting up libgtk2.0-dev:amd64 (2.24.32-4ubuntu4) ... Setting up libgtkspell0:amd64 (2.0.16-1.3) ... Setting up libgtk-3-dev:amd64 (3.24.20-0ubuntu1.1) ... Setting up liblablgtksourceview3-ocaml (3.0~beta6-2build1) ... Setting up libgtksourceview-3.0-dev:amd64 (3.24.11-2) ... Setting up ubuntu-mono (19.04-0ubuntu3) ... Setting up libgtkspell-dev (2.0.16-1.3) ... Setting up liblablgtk3-ocaml-dev (3.0~beta6-2build1) ... Setting up liblablgtksourceview3-ocaml-dev (3.0~beta6-2build1) ... Processing triggers for libc-bin (2.31-0ubuntu9.9) ... Processing triggers for systemd (245.4-4ubuntu3.17) ... Processing triggers for mime-support (3.64ubuntu1) ... Processing triggers for dictionaries-common (1.28.1) ... Processing triggers for libgdk-pixbuf2.0-0:amd64 (2.40.0+dfsg-3ubuntu0.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.10~git~202206232324+20528-0~daily326-70a5e6f670~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' rm -f rm -f ide/input_method_lexer.ml rm -f ide/highlight.ml ide/config_lexer.ml ide/config_parser.mli ide/config_parser.ml rm -f ide/utf8_convert.ml rm -f ide/default.bindings rm -rf rm -f bin/coqtop bin/coqtop.opt bin/coqproofworker.opt bin/coqtacticworker.opt bin/coqqueryworker.opt rm -f bin/coqdep bin/coq_makefile bin/coq-tex bin/coqwc bin/coqdoc bin/coqc bin/coqworkmgr bin/coqpp bin/fake_ide bin/ocamllibdep bin/coqdep_boot plugins/micromega/csdpcert find . \( -name '*.cmx' -o -name '*.cmx[as]' -o -name '*.[soa]' -o -name '*.so' \) -exec rm -f {} + find theories plugins test-suite \( -name '*.vo' -o -name '*.vio' -o -name '*.glob' -o -name "*.cmxs" \ -o -name "*.native" -o -name "*.cmx" -o -name "*.cmi" -o -name "*.o" \) -exec rm -f {} + find theories plugins test-suite -name .coq-native -empty -exec rm -rf {} + make -C doc/plugin_tutorial clean make[2]: Entering directory '/home/buildd/work/tree/recipe/doc/plugin_tutorial' make[2]: Nothing to be done for 'clean'. make[2]: Leaving directory '/home/buildd/work/tree/recipe/doc/plugin_tutorial' rm -rf _build rm -f test-suite/misc/universes/all_stdlib.* rm -f tools/coqdoc/cpretty.ml tools/coqwc.ml tools/coqdep_lexer.ml tools/ocamllibdep.ml coqpp/coqpp_lex.ml ide/coq_lex.ml ide/config_lexer.ml ide/utf8_convert.ml ide/protocol/xml_lexer.ml coqpp/coqpp_parse.ml parsing/g_constr.ml parsing/g_prim.ml plugins/ssr/ssrvernac.ml plugins/ssr/ssrparser.ml plugins/rtauto/g_rtauto.ml plugins/derive/g_derive.ml plugins/nsatz/g_nsatz.ml plugins/micromega/g_micromega.ml plugins/cc/g_congruence.ml plugins/funind/g_indfun.ml plugins/firstorder/g_ground.ml plugins/setoid_ring/g_newring.ml plugins/extraction/g_extraction.ml plugins/omega/g_omega.ml plugins/ssrmatching/g_ssrmatching.ml plugins/syntax/g_string.ml plugins/syntax/g_numeral.ml plugins/btauto/g_btauto.ml plugins/ltac/g_eqdecide.ml plugins/ltac/extraargs.ml plugins/ltac/g_rewrite.ml plugins/ltac/extratactics.ml plugins/ltac/g_obligations.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/coretactics.ml plugins/ltac/g_tactic.ml plugins/ltac/g_ltac.ml plugins/ltac/g_class.ml plugins/ltac/g_auto.ml vernac/g_proofs.ml vernac/g_vernac.ml toplevel/g_toplevel.ml gramlib/.pack/gramlib__Ploc.ml gramlib/.pack/gramlib__Plexing.ml gramlib/.pack/gramlib__Gramext.ml gramlib/.pack/gramlib__Grammar.ml gramlib/.pack/gramlib.ml ide/coqide_os_specific.ml kernel/copcodes.ml kernel/uint63.ml gramlib/.pack/gramlib__Ploc.mli gramlib/.pack/gramlib__Plexing.mli gramlib/.pack/gramlib__Gramext.mli gramlib/.pack/gramlib__Grammar.mli kernel/byterun/coq_instruct.h kernel/byterun/coq_jumptbl.h rm -f bin/coqtop.byte bin/coqtop.byte bin/coqproofworker.byte bin/coqtacticworker.byte bin/coqqueryworker.byte find . \( -name '*~' -o -name '*.cm[ioat]' -o -name '*.cmti' \) -exec rm -f {} + rm -f */*.pp[iox] plugins/*/*.pp[iox] rm -rf rm -f toplevel/mltop.byteml toplevel/mltop.optml rm -f glob.dump rm -f config/revision.ml revision rm -f plugins/micromega/.micromega.ml.generated make -C test-suite clean make[2]: Entering directory '/home/buildd/work/tree/recipe/test-suite' rm -f trace .nia.cache .lia.cache output/MExtraction.out find . \( \ -name '*.stamp' -o -name '*.vo' -o -name '*.vio' -o -name '*.log' -o -name '*.glob' \ \) -exec rm -f {} + find unit-tests \( \ -name '*.cmx' -o -name '*.cmi' -o -name '*.o' -o -name '*.test' \ \) -exec rm -f {} + make[2]: Leaving directory '/home/buildd/work/tree/recipe/test-suite' rm -f parsing/g_constr.ml parsing/g_prim.ml plugins/ssr/ssrvernac.ml plugins/ssr/ssrparser.ml plugins/rtauto/g_rtauto.ml plugins/derive/g_derive.ml plugins/nsatz/g_nsatz.ml plugins/micromega/g_micromega.ml plugins/cc/g_congruence.ml plugins/funind/g_indfun.ml plugins/firstorder/g_ground.ml plugins/setoid_ring/g_newring.ml plugins/extraction/g_extraction.ml plugins/omega/g_omega.ml plugins/ssrmatching/g_ssrmatching.ml plugins/syntax/g_string.ml plugins/syntax/g_numeral.ml plugins/btauto/g_btauto.ml plugins/ltac/g_eqdecide.ml plugins/ltac/extraargs.ml plugins/ltac/g_rewrite.ml plugins/ltac/extratactics.ml plugins/ltac/g_obligations.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/coretactics.ml plugins/ltac/g_tactic.ml plugins/ltac/g_ltac.ml plugins/ltac/g_class.ml plugins/ltac/g_auto.ml vernac/g_proofs.ml vernac/g_vernac.ml toplevel/g_toplevel.ml find . \( -name '*~' -o -name '*.annot' \) -exec rm -f {} + rm -f gmon.out core find . '(' -name '{arch}' -o -name '.svn' -o -name '_darcs' -o -name '.git' -o -name '.bzr' -o -name 'debian' -o -name "${GIT_DIR}" -o -name '_build' -o -name '_build_ci' -o -name '_install_ci' -o -name 'gramlib' -o -name 'user-contrib' -o -name 'test-suite' -o -name '.opamcache' -o -name '.coq-native' -o -name 'plugin_tutorial' ')' -prune -o '(' -name '*.d' ')' -exec rm -f {} + rm -f doc/*/*.dvi doc/*/*.aux doc/*/*.log doc/*/*.bbl doc/*/*.blg doc/*/*.toc \ doc/*/*.idx doc/*/*~ doc/*/*.ilg doc/*/*.ind doc/*/*.dvi.gz doc/*/*.ps.gz doc/*/*.pdf.gz\ doc/*/*.???idx doc/*/*.???ind doc/*/*.v.tex doc/*/*.atoc doc/*/*.lof\ doc/*/*.hatoc doc/*/*.haux doc/*/*.hcomind doc/*/*.herrind doc/*/*.hidx doc/*/*.hind \ doc/*/*.htacind doc/*/*.htoc doc/*/*.v.html rm -f doc/stdlib/index-list.html doc/stdlib/index-body.html \ doc/stdlib/*Library.coqdoc.tex doc/stdlib/library.files \ doc/stdlib/library.files.ls doc/stdlib/FullLibrary.tex rm -f doc/*/*.ps doc/*/*.pdf doc/*/*.eps doc/*/*.pdf_t doc/*/*.eps_t rm -rf doc/stdlib/html doc/tutorial/tutorial.v.html rm -f doc/common/version.tex rm -f doc/coq.tex rm -rf doc/sphinx/_build rm -f kernel/.merlin .merlin plugins/.merlin ide/.merlin test-suite/unit-tests/.merlin META.coq rm -rf gramlib/.pack/ rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq config/Info-*.plist find theories plugins test-suite -name '.*.aux' -exec rm -f {} + find theories plugins 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.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1.tar.xz dpkg-source: info: building coq in coq_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1.dsc dpkg-genbuildinfo --build=source dpkg-genchanges -sa --build=source >../coq_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_source.changes dpkg-genchanges: warning: the current version (8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1) is earlier than the previous one (8.10~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-3384074 Scanning for processes to kill in build RECIPEBRANCHBUILD-3384074