https://launchpad.net/~jgross-h/+archive/ubuntu/coq-8.11-daily/+recipebuild/3448140 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lcy02-amd64-072 5.4.0-131-generic #147-Ubuntu SMP Fri Oct 14 17:07:22 UTC 2022 x86_64 Buildd toolchain package versions: launchpad-buildd_223~593~ubuntu20.04.1 python3-lpbuildd_223~593~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git-build-recipe_0.3.6 git_1:2.25.1-1ubuntu3.6 dpkg-dev_1.19.7ubuntu3.2 python3-debian_0.1.36ubuntu1. Syncing the system clock with the buildd NTP service... 11 Nov 15:14:50 ntpdate[1776]: adjust time server 10.131.248.1 offset 0.000421 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=kinetic --arch=amd64 RECIPEBRANCHBUILD-3448140 --image-type chroot /home/buildd/filecache-default/93056656ffca866e6c2a454f453b424a388b800f Creating target for build RECIPEBRANCHBUILD-3448140 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=kinetic --arch=amd64 RECIPEBRANCHBUILD-3448140 Starting target for build RECIPEBRANCHBUILD-3448140 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=kinetic --arch=amd64 RECIPEBRANCHBUILD-3448140 'deb http://ppa.launchpadcontent.net/jgross-h/coq-8.11-daily/ubuntu kinetic main' 'deb http://ftpmaster.internal/ubuntu kinetic main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu kinetic-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu kinetic-updates main restricted universe multiverse' Overriding sources.list in build-RECIPEBRANCHBUILD-3448140 RUN: /usr/share/launchpad-buildd/bin/in-target add-trusted-keys --backend=chroot --series=kinetic --arch=amd64 RECIPEBRANCHBUILD-3448140 Adding trusted keys to build-RECIPEBRANCHBUILD-3448140 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=kinetic --arch=amd64 RECIPEBRANCHBUILD-3448140 Updating target for build RECIPEBRANCHBUILD-3448140 Get:1 http://ftpmaster.internal/ubuntu kinetic InRelease [267 kB] Get:2 http://ppa.launchpadcontent.net/jgross-h/coq-8.11-daily/ubuntu kinetic InRelease [18.1 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic-security InRelease [109 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-updates InRelease [108 kB] Get:5 http://ppa.launchpadcontent.net/jgross-h/coq-8.11-daily/ubuntu kinetic/main amd64 Packages [1532 B] Get:6 http://ppa.launchpadcontent.net/jgross-h/coq-8.11-daily/ubuntu kinetic/main Translation-en [748 B] Get:7 http://ftpmaster.internal/ubuntu kinetic/main amd64 Packages [1384 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic/main Translation-en [509 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic/restricted amd64 Packages [120 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic/restricted Translation-en [18.0 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic/universe amd64 Packages [14.5 MB] Get:12 http://ftpmaster.internal/ubuntu kinetic/universe Translation-en [5791 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic/multiverse amd64 Packages [236 kB] Get:14 http://ftpmaster.internal/ubuntu kinetic/multiverse Translation-en [112 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 Packages [74.4 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic-security/main Translation-en [20.5 kB] Get:17 http://ftpmaster.internal/ubuntu kinetic-security/restricted amd64 Packages [61.9 kB] Get:18 http://ftpmaster.internal/ubuntu kinetic-security/restricted Translation-en [11.8 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic-security/universe amd64 Packages [20.1 kB] Get:20 http://ftpmaster.internal/ubuntu kinetic-security/universe Translation-en [5984 B] Get:21 http://ftpmaster.internal/ubuntu kinetic-updates/main amd64 Packages [75.9 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic-updates/main Translation-en [21.2 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic-updates/restricted amd64 Packages [62.0 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic-updates/restricted Translation-en [11.8 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic-updates/universe amd64 Packages [20.4 kB] Get:26 http://ftpmaster.internal/ubuntu kinetic-updates/universe Translation-en [6076 B] Fetched 23.5 MB in 2s (10.9 MB/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 cpp-12 g++-12 gcc-12 gcc-12-base libapparmor1 libapt-pkg6.0 libasan8 libatomic1 libaudit-common libaudit1 libbinutils libc-bin libc-dev-bin libc6 libc6-dev libcc1-0 libctf-nobfd0 libctf0 libgcc-12-dev libgcc-s1 libgnutls30 libgomp1 libgprofng0 libitm1 liblsan0 libp11-kit0 libpng16-16 libquadmath0 libreadline8 libsqlite3-0 libssl3 libstdc++-12-dev libstdc++6 libsystemd-shared libsystemd0 libtsan2 libubsan1 libudev1 linux-libc-dev lto-disabled-list openssl readline-common systemd systemd-sysv tzdata usrmerge 52 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 82.4 MB of archives. After this operation, 361 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu kinetic/main amd64 libc6-dev amd64 2.36-0ubuntu4 [2088 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic/main amd64 libc-dev-bin amd64 2.36-0ubuntu4 [20.0 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 linux-libc-dev amd64 5.19.0-23.24 [1345 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcc1-0 amd64 12.2.0-3ubuntu1 [46.4 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic/main amd64 gcc-12-base amd64 12.2.0-3ubuntu1 [19.0 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgcc-s1 amd64 12.2.0-3ubuntu1 [54.2 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgomp1 amd64 12.2.0-3ubuntu1 [125 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic/main amd64 libitm1 amd64 12.2.0-3ubuntu1 [29.4 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic/main amd64 libatomic1 amd64 12.2.0-3ubuntu1 [10.4 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic/main amd64 libasan8 amd64 12.2.0-3ubuntu1 [2433 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic/main amd64 liblsan0 amd64 12.2.0-3ubuntu1 [1060 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic/main amd64 libtsan2 amd64 12.2.0-3ubuntu1 [2456 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic/main amd64 libubsan1 amd64 12.2.0-3ubuntu1 [969 kB] Get:14 http://ftpmaster.internal/ubuntu kinetic/main amd64 libquadmath0 amd64 12.2.0-3ubuntu1 [152 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic/main amd64 g++-12 amd64 12.2.0-3ubuntu1 [12.0 MB] Get:16 http://ftpmaster.internal/ubuntu kinetic/main amd64 libstdc++-12-dev amd64 12.2.0-3ubuntu1 [2158 kB] Get:17 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgcc-12-dev amd64 12.2.0-3ubuntu1 [2577 kB] Get:18 http://ftpmaster.internal/ubuntu kinetic/main amd64 gcc-12 amd64 12.2.0-3ubuntu1 [21.4 MB] Get:19 http://ftpmaster.internal/ubuntu kinetic/main amd64 cpp-12 amd64 12.2.0-3ubuntu1 [10.6 MB] Get:20 http://ftpmaster.internal/ubuntu kinetic/main amd64 libstdc++6 amd64 12.2.0-3ubuntu1 [678 kB] Get:21 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgprofng0 amd64 2.39-3ubuntu1 [897 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic/main amd64 libctf0 amd64 2.39-3ubuntu1 [97.3 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic/main amd64 libctf-nobfd0 amd64 2.39-3ubuntu1 [99.6 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic/main amd64 libbinutils amd64 2.39-3ubuntu1 [610 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic/main amd64 binutils-common amd64 2.39-3ubuntu1 [224 kB] Get:26 http://ftpmaster.internal/ubuntu kinetic/main amd64 binutils amd64 2.39-3ubuntu1 [3294 B] Get:27 http://ftpmaster.internal/ubuntu kinetic/main amd64 binutils-x86-64-linux-gnu amd64 2.39-3ubuntu1 [2434 kB] Get:28 http://ftpmaster.internal/ubuntu kinetic/main amd64 libc6 amd64 2.36-0ubuntu4 [3163 kB] Get:29 http://ftpmaster.internal/ubuntu kinetic/main amd64 base-files amd64 12.2ubuntu3 [73.2 kB] Get:30 http://ftpmaster.internal/ubuntu kinetic/main amd64 bash amd64 5.2-1ubuntu2 [788 kB] Get:31 http://ftpmaster.internal/ubuntu kinetic/main amd64 libc-bin amd64 2.36-0ubuntu4 [675 kB] Get:32 http://ftpmaster.internal/ubuntu kinetic/main amd64 libapparmor1 amd64 3.0.7-1ubuntu2 [36.7 kB] Get:33 http://ftpmaster.internal/ubuntu kinetic/main amd64 libaudit-common all 1:3.0.7-1ubuntu1 [5024 B] Get:34 http://ftpmaster.internal/ubuntu kinetic/main amd64 libaudit1 amd64 1:3.0.7-1ubuntu1 [45.4 kB] Get:35 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libssl3 amd64 3.0.5-2ubuntu2 [1893 kB] Get:36 http://ftpmaster.internal/ubuntu kinetic/main amd64 systemd-sysv amd64 251.4-1ubuntu7 [11.2 kB] Get:37 http://ftpmaster.internal/ubuntu kinetic/main amd64 systemd amd64 251.4-1ubuntu7 [2808 kB] Get:38 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsystemd-shared amd64 251.4-1ubuntu7 [1703 kB] Get:39 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsystemd0 amd64 251.4-1ubuntu7 [323 kB] Get:40 http://ftpmaster.internal/ubuntu kinetic/main amd64 libudev1 amd64 251.4-1ubuntu7 [79.8 kB] Get:41 http://ftpmaster.internal/ubuntu kinetic/main amd64 libapt-pkg6.0 amd64 2.5.3 [903 kB] Get:42 http://ftpmaster.internal/ubuntu kinetic/main amd64 libp11-kit0 amd64 0.24.1-1ubuntu2 [246 kB] Get:43 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgnutls30 amd64 3.7.7-2ubuntu2 [976 kB] Get:44 http://ftpmaster.internal/ubuntu kinetic/main amd64 apt amd64 2.5.3 [1377 kB] Get:45 http://ftpmaster.internal/ubuntu kinetic/main amd64 usrmerge all 29ubuntu2 [55.8 kB] Get:46 http://ftpmaster.internal/ubuntu kinetic/main amd64 readline-common all 8.2-1 [55.1 kB] Get:47 http://ftpmaster.internal/ubuntu kinetic/main amd64 libreadline8 amd64 8.2-1 [150 kB] Get:48 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsqlite3-0 amd64 3.39.3-1 [655 kB] Get:49 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 openssl amd64 3.0.5-2ubuntu2 [1178 kB] Get:50 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 tzdata all 2022f-0ubuntu0.22.10.0 [400 kB] Get:51 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpng16-16 amd64 1.6.38-2 [186 kB] Get:52 http://ftpmaster.internal/ubuntu kinetic/main amd64 lto-disabled-list all 35 [12.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 82.4 MB in 1s (158 MB/s) (Reading database ... 13569 files and directories currently installed.) Preparing to unpack .../libc6-dev_2.36-0ubuntu4_amd64.deb ... Unpacking libc6-dev:amd64 (2.36-0ubuntu4) over (2.36-0ubuntu2) ... Preparing to unpack .../libc-dev-bin_2.36-0ubuntu4_amd64.deb ... Unpacking libc-dev-bin (2.36-0ubuntu4) over (2.36-0ubuntu2) ... Preparing to unpack .../linux-libc-dev_5.19.0-23.24_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.19.0-23.24) over (5.15.0-27.28) ... Preparing to unpack .../libcc1-0_12.2.0-3ubuntu1_amd64.deb ... Unpacking libcc1-0:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../gcc-12-base_12.2.0-3ubuntu1_amd64.deb ... Unpacking gcc-12-base:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Setting up gcc-12-base:amd64 (12.2.0-3ubuntu1) ... (Reading database ... 13583 files and directories currently installed.) Preparing to unpack .../libgcc-s1_12.2.0-3ubuntu1_amd64.deb ... Unpacking libgcc-s1:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Setting up libgcc-s1:amd64 (12.2.0-3ubuntu1) ... (Reading database ... 13583 files and directories currently installed.) Preparing to unpack .../00-libgomp1_12.2.0-3ubuntu1_amd64.deb ... Unpacking libgomp1:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../01-libitm1_12.2.0-3ubuntu1_amd64.deb ... Unpacking libitm1:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../02-libatomic1_12.2.0-3ubuntu1_amd64.deb ... Unpacking libatomic1:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../03-libasan8_12.2.0-3ubuntu1_amd64.deb ... Unpacking libasan8:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../04-liblsan0_12.2.0-3ubuntu1_amd64.deb ... Unpacking liblsan0:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../05-libtsan2_12.2.0-3ubuntu1_amd64.deb ... Unpacking libtsan2:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../06-libubsan1_12.2.0-3ubuntu1_amd64.deb ... Unpacking libubsan1:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../07-libquadmath0_12.2.0-3ubuntu1_amd64.deb ... Unpacking libquadmath0:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../08-g++-12_12.2.0-3ubuntu1_amd64.deb ... Unpacking g++-12 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../09-libstdc++-12-dev_12.2.0-3ubuntu1_amd64.deb ... Unpacking libstdc++-12-dev:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../10-libgcc-12-dev_12.2.0-3ubuntu1_amd64.deb ... Unpacking libgcc-12-dev:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../11-gcc-12_12.2.0-3ubuntu1_amd64.deb ... Unpacking gcc-12 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../12-cpp-12_12.2.0-3ubuntu1_amd64.deb ... Unpacking cpp-12 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../13-libstdc++6_12.2.0-3ubuntu1_amd64.deb ... Unpacking libstdc++6:amd64 (12.2.0-3ubuntu1) over (12.2.0-1ubuntu1) ... Setting up libstdc++6:amd64 (12.2.0-3ubuntu1) ... (Reading database ... 13583 files and directories currently installed.) Preparing to unpack .../0-libgprofng0_2.39-3ubuntu1_amd64.deb ... Unpacking libgprofng0:amd64 (2.39-3ubuntu1) over (2.39-1ubuntu1) ... Preparing to unpack .../1-libctf0_2.39-3ubuntu1_amd64.deb ... Unpacking libctf0:amd64 (2.39-3ubuntu1) over (2.39-1ubuntu1) ... Preparing to unpack .../2-libctf-nobfd0_2.39-3ubuntu1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.39-3ubuntu1) over (2.39-1ubuntu1) ... Preparing to unpack .../3-libbinutils_2.39-3ubuntu1_amd64.deb ... Unpacking libbinutils:amd64 (2.39-3ubuntu1) over (2.39-1ubuntu1) ... Preparing to unpack .../4-binutils-common_2.39-3ubuntu1_amd64.deb ... Unpacking binutils-common:amd64 (2.39-3ubuntu1) over (2.39-1ubuntu1) ... Preparing to unpack .../5-binutils_2.39-3ubuntu1_amd64.deb ... Unpacking binutils (2.39-3ubuntu1) over (2.39-1ubuntu1) ... Preparing to unpack .../6-binutils-x86-64-linux-gnu_2.39-3ubuntu1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.39-3ubuntu1) over (2.39-1ubuntu1) ... Preparing to unpack .../7-libc6_2.36-0ubuntu4_amd64.deb ... Unpacking libc6:amd64 (2.36-0ubuntu4) over (2.36-0ubuntu2) ... Setting up libc6:amd64 (2.36-0ubuntu4) ... (Reading database ... 13583 files and directories currently installed.) Preparing to unpack .../base-files_12.2ubuntu3_amd64.deb ... Unpacking base-files (12.2ubuntu3) over (12.2ubuntu2) ... Setting up base-files (12.2ubuntu3) ... 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 ... (Reading database ... 13583 files and directories currently installed.) Preparing to unpack .../bash_5.2-1ubuntu2_amd64.deb ... Unpacking bash (5.2-1ubuntu2) over (5.1-6ubuntu1) ... Setting up bash (5.2-1ubuntu2) ... 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 ... 13584 files and directories currently installed.) Preparing to unpack .../libc-bin_2.36-0ubuntu4_amd64.deb ... Unpacking libc-bin (2.36-0ubuntu4) over (2.36-0ubuntu2) ... Setting up libc-bin (2.36-0ubuntu4) ... (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../libapparmor1_3.0.7-1ubuntu2_amd64.deb ... Unpacking libapparmor1:amd64 (3.0.7-1ubuntu2) over (3.0.7-1ubuntu1) ... Preparing to unpack .../libaudit-common_1%3a3.0.7-1ubuntu1_all.deb ... Unpacking libaudit-common (1:3.0.7-1ubuntu1) over (1:3.0.7-1build1) ... Setting up libaudit-common (1:3.0.7-1ubuntu1) ... (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a3.0.7-1ubuntu1_amd64.deb ... Unpacking libaudit1:amd64 (1:3.0.7-1ubuntu1) over (1:3.0.7-1build1) ... Setting up libaudit1:amd64 (1:3.0.7-1ubuntu1) ... (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../libssl3_3.0.5-2ubuntu2_amd64.deb ... Unpacking libssl3:amd64 (3.0.5-2ubuntu2) over (3.0.5-2ubuntu1) ... Preparing to unpack .../systemd-sysv_251.4-1ubuntu7_amd64.deb ... Unpacking systemd-sysv (251.4-1ubuntu7) over (251.4-1ubuntu1) ... Preparing to unpack .../systemd_251.4-1ubuntu7_amd64.deb ... Unpacking systemd (251.4-1ubuntu7) over (251.4-1ubuntu1) ... Preparing to unpack .../libsystemd-shared_251.4-1ubuntu7_amd64.deb ... Unpacking libsystemd-shared:amd64 (251.4-1ubuntu7) over (251.4-1ubuntu1) ... Preparing to unpack .../libsystemd0_251.4-1ubuntu7_amd64.deb ... Unpacking libsystemd0:amd64 (251.4-1ubuntu7) over (251.4-1ubuntu1) ... Setting up libsystemd0:amd64 (251.4-1ubuntu7) ... (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../libudev1_251.4-1ubuntu7_amd64.deb ... Unpacking libudev1:amd64 (251.4-1ubuntu7) over (251.4-1ubuntu1) ... Setting up libudev1:amd64 (251.4-1ubuntu7) ... (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.5.3_amd64.deb ... Unpacking libapt-pkg6.0:amd64 (2.5.3) over (2.5.2) ... Setting up libapt-pkg6.0:amd64 (2.5.3) ... (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.24.1-1ubuntu2_amd64.deb ... Unpacking libp11-kit0:amd64 (0.24.1-1ubuntu2) over (0.24.1-1ubuntu1) ... Setting up libp11-kit0:amd64 (0.24.1-1ubuntu2) ... (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.7.7-2ubuntu2_amd64.deb ... Unpacking libgnutls30:amd64 (3.7.7-2ubuntu2) over (3.7.7-2ubuntu1) ... Setting up libgnutls30:amd64 (3.7.7-2ubuntu2) ... (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../archives/apt_2.5.3_amd64.deb ... Unpacking apt (2.5.3) over (2.5.2) ... Setting up apt (2.5.3) ... (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../0-usrmerge_29ubuntu2_all.deb ... Unpacking usrmerge (29ubuntu2) over (29ubuntu1) ... Preparing to unpack .../1-readline-common_8.2-1_all.deb ... Unpacking readline-common (8.2-1) over (8.2~rc2-2) ... Preparing to unpack .../2-libreadline8_8.2-1_amd64.deb ... Unpacking libreadline8:amd64 (8.2-1) over (8.2~rc2-2) ... Preparing to unpack .../3-libsqlite3-0_3.39.3-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.39.3-1) over (3.39.2-1) ... Preparing to unpack .../4-openssl_3.0.5-2ubuntu2_amd64.deb ... Unpacking openssl (3.0.5-2ubuntu2) over (3.0.5-2ubuntu1) ... Preparing to unpack .../5-tzdata_2022f-0ubuntu0.22.10.0_all.deb ... Unpacking tzdata (2022f-0ubuntu0.22.10.0) over (2022c-1ubuntu3) ... Preparing to unpack .../6-libpng16-16_1.6.38-2_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.38-2) over (1.6.37-5) ... Preparing to unpack .../7-lto-disabled-list_35_all.deb ... Unpacking lto-disabled-list (35) over (33) ... Setting up lto-disabled-list (35) ... Setting up libapparmor1:amd64 (3.0.7-1ubuntu2) ... Setting up cpp-12 (12.2.0-3ubuntu1) ... Setting up libsqlite3-0:amd64 (3.39.3-1) ... Setting up binutils-common:amd64 (2.39-3ubuntu1) ... Setting up libssl3:amd64 (3.0.5-2ubuntu2) ... Setting up linux-libc-dev:amd64 (5.19.0-23.24) ... Setting up libctf-nobfd0:amd64 (2.39-3ubuntu1) ... Setting up libgomp1:amd64 (12.2.0-3ubuntu1) ... Setting up tzdata (2022f-0ubuntu0.22.10.0) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Nov 11 15:15:04 UTC 2022. Universal Time is now: Fri Nov 11 15:15:04 UTC 2022. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libquadmath0:amd64 (12.2.0-3ubuntu1) ... Setting up libpng16-16:amd64 (1.6.38-2) ... Setting up libatomic1:amd64 (12.2.0-3ubuntu1) ... Setting up libsystemd-shared:amd64 (251.4-1ubuntu7) ... Setting up usrmerge (29ubuntu2) ... Setting up libubsan1:amd64 (12.2.0-3ubuntu1) ... Setting up libasan8:amd64 (12.2.0-3ubuntu1) ... Setting up libtsan2:amd64 (12.2.0-3ubuntu1) ... Setting up libbinutils:amd64 (2.39-3ubuntu1) ... Setting up libc-dev-bin (2.36-0ubuntu4) ... Setting up openssl (3.0.5-2ubuntu2) ... Setting up readline-common (8.2-1) ... Setting up libcc1-0:amd64 (12.2.0-3ubuntu1) ... Setting up liblsan0:amd64 (12.2.0-3ubuntu1) ... Setting up libitm1:amd64 (12.2.0-3ubuntu1) ... Setting up libctf0:amd64 (2.39-3ubuntu1) ... Setting up libreadline8:amd64 (8.2-1) ... Setting up systemd (251.4-1ubuntu7) ... Initializing machine ID from random generator. Setting up libgprofng0:amd64 (2.39-3ubuntu1) ... Setting up libgcc-12-dev:amd64 (12.2.0-3ubuntu1) ... Setting up libc6-dev:amd64 (2.36-0ubuntu4) ... Setting up binutils-x86-64-linux-gnu (2.39-3ubuntu1) ... Setting up systemd-sysv (251.4-1ubuntu7) ... Setting up libstdc++-12-dev:amd64 (12.2.0-3ubuntu1) ... Setting up binutils (2.39-3ubuntu1) ... Setting up gcc-12 (12.2.0-3ubuntu1) ... Setting up g++-12 (12.2.0-3ubuntu1) ... Processing triggers for debianutils (5.7-0.3) ... Processing triggers for libc-bin (2.36-0ubuntu4) ... RUN: /usr/share/launchpad-buildd/bin/buildrecipe --git RECIPEBRANCHBUILD-3448140 'Jason Gross' jgross@mit.edu kinetic kinetic universe PPA Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: distro-info-data libexpat1 libmpdec3 libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib media-types python3 python3-minimal python3.10 python3.10-minimal Suggested packages: python3-doc python3-tk python3-venv python3.10-venv python3.10-doc binfmt-support The following NEW packages will be installed: distro-info-data libexpat1 libmpdec3 libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib lsb-release media-types python3 python3-minimal python3.10 python3.10-minimal 0 upgraded, 12 newly installed, 0 to remove and 0 not upgraded. Need to get 5465 kB of archives. After this operation, 21.2 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libpython3.10-minimal amd64 3.10.7-1ubuntu0.1 [803 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic/main amd64 libexpat1 amd64 2.4.8-2 [84.3 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 python3.10-minimal amd64 3.10.7-1ubuntu0.1 [2115 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic/main amd64 python3-minimal amd64 3.10.6-1 [24.1 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic/main amd64 media-types all 8.0.0 [24.9 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main amd64 libmpdec3 amd64 2.5.1-2build2 [86.8 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libpython3.10-stdlib amd64 3.10.7-1ubuntu0.1 [1785 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 python3.10 amd64 3.10.7-1ubuntu0.1 [497 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpython3-stdlib amd64 3.10.6-1 [6848 B] Get:10 http://ftpmaster.internal/ubuntu kinetic/main amd64 python3 amd64 3.10.6-1 [22.3 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic-updates/main amd64 distro-info-data all 0.54ubuntu0.1 [5242 B] Get:12 http://ftpmaster.internal/ubuntu kinetic/main amd64 lsb-release all 11.2ubuntu1 [11.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 5465 kB in 0s (81.1 MB/s) Selecting previously unselected package libpython3.10-minimal:amd64. (Reading database ... 13584 files and directories currently installed.) Preparing to unpack .../libpython3.10-minimal_3.10.7-1ubuntu0.1_amd64.deb ... Unpacking libpython3.10-minimal:amd64 (3.10.7-1ubuntu0.1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.4.8-2_amd64.deb ... Unpacking libexpat1:amd64 (2.4.8-2) ... Selecting previously unselected package python3.10-minimal. Preparing to unpack .../python3.10-minimal_3.10.7-1ubuntu0.1_amd64.deb ... Unpacking python3.10-minimal (3.10.7-1ubuntu0.1) ... Setting up libpython3.10-minimal:amd64 (3.10.7-1ubuntu0.1) ... Setting up libexpat1:amd64 (2.4.8-2) ... Setting up python3.10-minimal (3.10.7-1ubuntu0.1) ... Selecting previously unselected package python3-minimal. (Reading database ... 13886 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.10.6-1_amd64.deb ... Unpacking python3-minimal (3.10.6-1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_8.0.0_all.deb ... Unpacking media-types (8.0.0) ... Selecting previously unselected package libmpdec3:amd64. Preparing to unpack .../2-libmpdec3_2.5.1-2build2_amd64.deb ... Unpacking libmpdec3:amd64 (2.5.1-2build2) ... Selecting previously unselected package libpython3.10-stdlib:amd64. Preparing to unpack .../3-libpython3.10-stdlib_3.10.7-1ubuntu0.1_amd64.deb ... Unpacking libpython3.10-stdlib:amd64 (3.10.7-1ubuntu0.1) ... Selecting previously unselected package python3.10. Preparing to unpack .../4-python3.10_3.10.7-1ubuntu0.1_amd64.deb ... Unpacking python3.10 (3.10.7-1ubuntu0.1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../5-libpython3-stdlib_3.10.6-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.10.6-1) ... Setting up python3-minimal (3.10.6-1) ... Selecting previously unselected package python3. (Reading database ... 14287 files and directories currently installed.) Preparing to unpack .../python3_3.10.6-1_amd64.deb ... Unpacking python3 (3.10.6-1) ... Selecting previously unselected package distro-info-data. Preparing to unpack .../distro-info-data_0.54ubuntu0.1_all.deb ... Unpacking distro-info-data (0.54ubuntu0.1) ... Selecting previously unselected package lsb-release. Preparing to unpack .../lsb-release_11.2ubuntu1_all.deb ... Unpacking lsb-release (11.2ubuntu1) ... Setting up media-types (8.0.0) ... Setting up distro-info-data (0.54ubuntu0.1) ... Setting up libmpdec3:amd64 (2.5.1-2build2) ... Setting up libpython3.10-stdlib:amd64 (3.10.7-1ubuntu0.1) ... Setting up libpython3-stdlib:amd64 (3.10.6-1) ... Setting up python3.10 (3.10.7-1ubuntu0.1) ... Setting up python3 (3.10.6-1) ... running python rtupdate hooks for python3.10... running python post-rtupdate hooks for python3.10... Setting up lsb-release (11.2ubuntu1) ... Processing triggers for libc-bin (2.36-0ubuntu4) ... 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.11 nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian v8.11 RUN ['git-build-recipe', '--safe', '--no-build', '--manifest', '/home/buildd/build-RECIPEBRANCHBUILD-3448140/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'kinetic', '--allow-fallback-to-native', '--append-version', '~ubuntu22.10.1', '/home/buildd/build-RECIPEBRANCHBUILD-3448140/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-3448140/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-3448140/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-3448140/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 116 with fuzz 2 (offset 42 lines). Now at patch /home/buildd/build-RECIPEBRANCHBUILD-3448140/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-3448140/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.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.13.2 -> V8.13.2 * [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.16.0 -> V8.16.0 * [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 'bebc99540f5dce458c16870273ce9c24aa3a0748'. 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 bebc99540f Merge PR #16234: [v8.11] 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 [299 B] Err:4 file:/home/buildd/work/apt ./ Sources Could not open file /home/buildd/work/apt/./Sources - open (13: Permission denied) Get:4 file:/home/buildd/work/apt ./ Sources [362 B] Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: adwaita-icon-theme at-spi2-common autoconf automake autopoint autotools-dev bsdextrautils dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service debhelper debugedit dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz 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-3.0 gir1.2-gtksource-3.0 gir1.2-harfbuzz-0.0 gir1.2-pango-1.0 groff-base gtk-update-icon-cache hevea hicolor-icon-theme humanity-icon-theme icu-devtools intltool-debian libapache-pom-java libarchive-zip-perl libatk-bridge2.0-0 libatk-bridge2.0-dev libatk1.0-0 libatk1.0-dev libatspi2.0-0 libatspi2.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libblkid-dev libbrotli-dev libbrotli1 libbsd0 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcairo2-ocaml libcairo2-ocaml-dev libcolord2 libcommons-logging-java libcommons-parent-java libcups2 libdatrie-dev libdatrie1 libdbus-1-3 libdbus-1-dev libdconf1 libdebhelper-perl libdeflate-dev libdeflate0 libdrm-amdgpu1 libdrm-common libdrm-nouveau2 libdrm-radeon1 libdrm2 libdw1 libedit2 libegl-dev libegl-mesa0 libegl1 libegl1-mesa-dev libelf1 libepoxy-dev libepoxy0 libexpat1-dev libffi-dev libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java libfontconfig-dev libfontconfig1 libfontconfig1-dev libfontenc1 libfreetype-dev libfreetype6 libfreetype6-dev libfribidi-dev libfribidi0 libgbm1 libgdk-pixbuf-2.0-0 libgdk-pixbuf-2.0-dev libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libgirepository-1.0-1 libgl-dev libgl1 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-core-dev libglvnd-dev libglvnd0 libglx-dev libglx-mesa0 libglx0 libgraphite2-3 libgraphite2-dev libgs9 libgs9-common libgtk-3-0 libgtk-3-common libgtk-3-dev libgtksourceview-3.0-1 libgtksourceview-3.0-common libgtksourceview-3.0-dev libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libice-dev libice6 libicu-dev libicu71 libidn12 libijs-0.35 libjbig-dev libjbig0 libjbig2dec0 libjpeg-dev libjpeg-turbo8 libjpeg-turbo8-dev libjpeg8 libjpeg8-dev libkpathsea6 liblablgtk3-ocaml liblablgtk3-ocaml-dev liblablgtksourceview3-ocaml liblablgtksourceview3-ocaml-dev liblcms2-2 liblerc-dev liblerc3 libllvm15 liblzma-dev liblzo2-2 libmagic-mgc libmagic1 libmd0 libmount-dev libncurses-dev libncurses5-dev libnetpbm11 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 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-posix3 libpdfbox-java libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libptexenc1 libpthread-stubs0-dev libselinux1-dev libsensors-config libsensors5 libsepol-dev libsm-dev libsm6 libsub-override-perl libsynctex2 libteckit0 libtexlua53-5 libtexluajit2 libthai-data libthai-dev libthai0 libtiff-dev libtiff5 libtiffxx5 libtool libuchardet0 libwayland-bin libwayland-client0 libwayland-cursor0 libwayland-dev libwayland-egl1 libwayland-server0 libwebp7 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 libxmu6 libxpm4 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxshmfence1 libxt6 libxtst-dev libxtst6 libxxf86vm1 libzzip-0-13 m4 man-db netpbm ocaml ocaml-base 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-dev xdg-utils xfonts-encodings xfonts-utils xkb-data xml-core xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 319 newly installed, 0 to remove and 0 not upgraded. Need to get 348 MB of archives. After this operation, 1319 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu kinetic/main amd64 poppler-data all 0.4.11-1 [2171 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic/main amd64 ucf all 3.0043 [56.1 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic/universe amd64 tex-common all 6.17 [33.7 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libdbus-1-3 amd64 1.14.0-2ubuntu3 [200 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 dbus-bin amd64 1.14.0-2ubuntu3 [39.4 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 dbus-session-bus-common all 1.14.0-2ubuntu3 [73.0 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 dbus-daemon amd64 1.14.0-2ubuntu3 [118 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 dbus-system-bus-common all 1.14.0-2ubuntu3 [74.2 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 dbus amd64 1.14.0-2ubuntu3 [24.2 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpam-systemd amd64 251.4-1ubuntu7 [207 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 dbus-user-session amd64 1.14.0-2ubuntu3 [10.1 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglib2.0-0 amd64 2.74.0-3 [1471 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgirepository-1.0-1 amd64 1.74.0-2 [67.3 kB] Get:14 http://ftpmaster.internal/ubuntu kinetic/main amd64 gir1.2-glib-2.0 amd64 1.74.0-2 [178 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic/main amd64 libmd0 amd64 1.0.4-2 [22.7 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic/main amd64 libbsd0 amd64 0.11.6-1 [44.5 kB] Get:17 http://ftpmaster.internal/ubuntu kinetic/main amd64 libelf1 amd64 0.187-4 [50.9 kB] Get:18 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfribidi0 amd64 1.0.8-2.1ubuntu1 [25.9 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglib2.0-data all 2.74.0-3 [18.6 kB] Get:20 http://ftpmaster.internal/ubuntu kinetic/main amd64 libicu71 amd64 71.1-3ubuntu1 [10.6 MB] Get:21 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxml2 amd64 2.9.14+dfsg-1 [756 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic/main amd64 shared-mime-info amd64 2.2-1 [459 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic/main amd64 xkb-data all 2.35.1-1 [393 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic/main amd64 bsdextrautils amd64 2.38-4ubuntu1 [71.1 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic/main amd64 libmagic-mgc amd64 1:5.41-4 [257 kB] Get:26 http://ftpmaster.internal/ubuntu kinetic/main amd64 libmagic1 amd64 1:5.41-4 [87.3 kB] Get:27 http://ftpmaster.internal/ubuntu kinetic/main amd64 file amd64 1:5.41-4 [21.5 kB] Get:28 http://ftpmaster.internal/ubuntu kinetic/main amd64 gettext-base amd64 0.21-8 [37.8 kB] Get:29 http://ftpmaster.internal/ubuntu kinetic/main amd64 libuchardet0 amd64 0.0.7-1build2 [76.9 kB] Get:30 http://ftpmaster.internal/ubuntu kinetic/main amd64 groff-base amd64 1.22.4-8build1 [955 kB] Get:31 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdrm-common all 2.4.113-2 [5324 B] Get:32 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdrm2 amd64 2.4.113-2 [38.3 kB] Get:33 http://ftpmaster.internal/ubuntu kinetic/main amd64 libedit2 amd64 3.1-20210910-1build1 [96.8 kB] Get:34 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpipeline1 amd64 1.5.6-2 [23.3 kB] Get:35 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxau6 amd64 1:1.0.9-1build5 [7634 B] Get:36 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxdmcp6 amd64 1:1.1.3-0ubuntu5 [10.9 kB] Get:37 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb1 amd64 1.15-1 [48.0 kB] Get:38 http://ftpmaster.internal/ubuntu kinetic/main amd64 libx11-data all 2:1.8.1-2 [118 kB] Get:39 http://ftpmaster.internal/ubuntu kinetic/main amd64 libx11-6 amd64 2:1.8.1-2 [650 kB] Get:40 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxext6 amd64 2:1.3.4-1build1 [31.8 kB] Get:41 http://ftpmaster.internal/ubuntu kinetic/main amd64 man-db amd64 2.10.2-2 [1180 kB] Get:42 http://ftpmaster.internal/ubuntu kinetic/main amd64 hicolor-icon-theme all 0.17-2 [9976 B] Get:43 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgdk-pixbuf2.0-common all 2.42.9+dfsg-1 [5606 B] Get:44 http://ftpmaster.internal/ubuntu kinetic/main amd64 libjpeg-turbo8 amd64 2.1.2-0ubuntu1 [134 kB] Get:45 http://ftpmaster.internal/ubuntu kinetic/main amd64 libjpeg8 amd64 8c-2ubuntu10 [2264 B] Get:46 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdeflate0 amd64 1.12-1 [76.1 kB] Get:47 http://ftpmaster.internal/ubuntu kinetic/main amd64 libjbig0 amd64 2.1-3.1build3 [28.9 kB] Get:48 http://ftpmaster.internal/ubuntu kinetic/main amd64 liblerc3 amd64 3.0+ds-1ubuntu1 [128 kB] Get:49 http://ftpmaster.internal/ubuntu kinetic/main amd64 libwebp7 amd64 1.2.2-2 [206 kB] Get:50 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libtiff5 amd64 4.4.0-4ubuntu3.1 [190 kB] Get:51 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.9+dfsg-1 [146 kB] Get:52 http://ftpmaster.internal/ubuntu kinetic/main amd64 gtk-update-icon-cache amd64 3.24.34-3ubuntu2 [35.2 kB] Get:53 http://ftpmaster.internal/ubuntu kinetic/main amd64 humanity-icon-theme all 0.6.16 [1282 kB] Get:54 http://ftpmaster.internal/ubuntu kinetic/main amd64 ubuntu-mono all 20.10-0ubuntu2 [153 kB] Get:55 http://ftpmaster.internal/ubuntu kinetic/main amd64 adwaita-icon-theme all 41.0-1ubuntu1 [3444 kB] Get:56 http://ftpmaster.internal/ubuntu kinetic/main amd64 at-spi2-common all 2.46.0-3 [4616 B] Get:57 http://ftpmaster.internal/ubuntu kinetic/main amd64 m4 amd64 1.4.19-1 [244 kB] Get:58 http://ftpmaster.internal/ubuntu kinetic/main amd64 autoconf all 2.71-2 [338 kB] Get:59 http://ftpmaster.internal/ubuntu kinetic/main amd64 autotools-dev all 20220109.1 [44.9 kB] Get:60 http://ftpmaster.internal/ubuntu kinetic/main amd64 automake all 1:1.16.5-1.3 [558 kB] Get:61 http://ftpmaster.internal/ubuntu kinetic/main amd64 autopoint all 0.21-8 [421 kB] Get:62 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdconf1 amd64 0.40.0-3 [40.5 kB] Get:63 http://ftpmaster.internal/ubuntu kinetic/main amd64 dconf-service amd64 0.40.0-3 [28.5 kB] Get:64 http://ftpmaster.internal/ubuntu kinetic/main amd64 dconf-gsettings-backend amd64 0.40.0-3 [22.8 kB] Get:65 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdebhelper-perl all 13.9.1ubuntu1 [66.4 kB] Get:66 http://ftpmaster.internal/ubuntu kinetic/main amd64 libtool all 2.4.7-4 [166 kB] Get:67 http://ftpmaster.internal/ubuntu kinetic/main amd64 dh-autoreconf all 20 [16.1 kB] Get:68 http://ftpmaster.internal/ubuntu kinetic/main amd64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:69 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsub-override-perl all 0.09-3 [9756 B] Get:70 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfile-stripnondeterminism-perl all 1.13.0-1 [18.1 kB] Get:71 http://ftpmaster.internal/ubuntu kinetic/main amd64 dh-strip-nondeterminism all 1.13.0-1 [5344 B] Get:72 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdw1 amd64 0.187-4 [248 kB] Get:73 http://ftpmaster.internal/ubuntu kinetic/main amd64 debugedit amd64 1:5.0-5 [46.1 kB] Get:74 http://ftpmaster.internal/ubuntu kinetic/main amd64 dwz amd64 0.14-1build2 [105 kB] Get:75 http://ftpmaster.internal/ubuntu kinetic/main amd64 gettext amd64 0.21-8 [867 kB] Get:76 http://ftpmaster.internal/ubuntu kinetic/main amd64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:77 http://ftpmaster.internal/ubuntu kinetic/main amd64 po-debconf all 1.0.21+nmu1 [233 kB] Get:78 http://ftpmaster.internal/ubuntu kinetic/main amd64 debhelper all 13.9.1ubuntu1 [939 kB] Get:79 http://ftpmaster.internal/ubuntu kinetic/main amd64 libbrotli1 amd64 1.0.9-2build6 [315 kB] Get:80 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfreetype6 amd64 2.12.1+dfsg-3 [387 kB] Get:81 http://ftpmaster.internal/ubuntu kinetic/main amd64 fonts-dejavu-core all 2.37-2build1 [1041 kB] Get:82 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfontenc1 amd64 1:1.1.4-1build3 [14.7 kB] Get:83 http://ftpmaster.internal/ubuntu kinetic/main amd64 x11-common all 1:7.7+23ubuntu2 [23.4 kB] Get:84 http://ftpmaster.internal/ubuntu kinetic/main amd64 xfonts-encodings all 1:1.0.5-0ubuntu2 [578 kB] Get:85 http://ftpmaster.internal/ubuntu kinetic/main amd64 xfonts-utils amd64 1:7.7+6build2 [94.6 kB] Get:86 http://ftpmaster.internal/ubuntu kinetic/main amd64 fonts-urw-base35 all 20200910-4 [6587 kB] Get:87 http://ftpmaster.internal/ubuntu kinetic/main amd64 fontconfig-config all 2.13.1-4.4ubuntu1 [28.2 kB] Get:88 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfontconfig1 amd64 2.13.1-4.4ubuntu1 [129 kB] Get:89 http://ftpmaster.internal/ubuntu kinetic/main amd64 fontconfig amd64 2.13.1-4.4ubuntu1 [176 kB] Get:90 http://ftpmaster.internal/ubuntu kinetic/universe amd64 fonts-lmodern all 2.005-1 [4799 kB] Get:91 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgs9-common all 9.56.1~dfsg1-0ubuntu3 [749 kB] Get:92 http://ftpmaster.internal/ubuntu kinetic/main amd64 libavahi-common-data amd64 0.8-6ubuntu1 [24.0 kB] Get:93 http://ftpmaster.internal/ubuntu kinetic/main amd64 libavahi-common3 amd64 0.8-6ubuntu1 [23.4 kB] Get:94 http://ftpmaster.internal/ubuntu kinetic/main amd64 libavahi-client3 amd64 0.8-6ubuntu1 [27.6 kB] Get:95 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcups2 amd64 2.4.2-1ubuntu2 [259 kB] Get:96 http://ftpmaster.internal/ubuntu kinetic/main amd64 libidn12 amd64 1.41-1 [56.2 kB] Get:97 http://ftpmaster.internal/ubuntu kinetic/main amd64 libijs-0.35 amd64 0.35-15build2 [16.5 kB] Get:98 http://ftpmaster.internal/ubuntu kinetic/main amd64 libjbig2dec0 amd64 0.19-3build2 [64.7 kB] Get:99 http://ftpmaster.internal/ubuntu kinetic/main amd64 libopenjp2-7 amd64 2.5.0-1 [171 kB] Get:100 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpaper1 amd64 1.1.28build2 [13.8 kB] Get:101 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgs9 amd64 9.56.1~dfsg1-0ubuntu3 [5065 kB] Get:102 http://ftpmaster.internal/ubuntu kinetic/main amd64 ghostscript amd64 9.56.1~dfsg1-0ubuntu3 [49.2 kB] Get:103 http://ftpmaster.internal/ubuntu kinetic/main amd64 libatk1.0-0 amd64 2.46.0-3 [51.7 kB] Get:104 http://ftpmaster.internal/ubuntu kinetic/main amd64 gir1.2-atk-1.0 amd64 2.46.0-3 [22.8 kB] Get:105 http://ftpmaster.internal/ubuntu kinetic/main amd64 gir1.2-freedesktop amd64 1.74.0-2 [35.7 kB] Get:106 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxi6 amd64 2:1.8-1build1 [32.6 kB] Get:107 http://ftpmaster.internal/ubuntu kinetic/main amd64 libatspi2.0-0 amd64 2.46.0-3 [78.0 kB] Get:108 http://ftpmaster.internal/ubuntu kinetic/main amd64 gir1.2-atspi-2.0 amd64 2.46.0-3 [19.2 kB] Get:109 http://ftpmaster.internal/ubuntu kinetic/main amd64 gir1.2-gdkpixbuf-2.0 amd64 2.42.9+dfsg-1 [9474 B] Get:110 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgraphite2-3 amd64 1.3.14-1build2 [71.3 kB] Get:111 http://ftpmaster.internal/ubuntu kinetic/main amd64 libharfbuzz0b amd64 2.7.4-1ubuntu5 [349 kB] Get:112 http://ftpmaster.internal/ubuntu kinetic/main amd64 gir1.2-harfbuzz-0.0 amd64 2.7.4-1ubuntu5 [31.3 kB] Get:113 http://ftpmaster.internal/ubuntu kinetic/main amd64 libthai-data all 0.1.29-1build1 [162 kB] Get:114 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdatrie1 amd64 0.2.13-2 [19.9 kB] Get:115 http://ftpmaster.internal/ubuntu kinetic/main amd64 libthai0 amd64 0.1.29-1build1 [19.2 kB] Get:116 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpango-1.0-0 amd64 1.50.10+ds-1 [226 kB] Get:117 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libpixman-1-0 amd64 0.40.0-1ubuntu0.22.10.1 [268 kB] Get:118 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-render0 amd64 1.15-1 [16.3 kB] Get:119 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-shm0 amd64 1.15-1 [5740 B] Get:120 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxrender1 amd64 1:0.9.10-1.1 [20.0 kB] Get:121 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcairo2 amd64 1.16.0-5ubuntu2 [628 kB] Get:122 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpangoft2-1.0-0 amd64 1.50.10+ds-1 [50.3 kB] Get:123 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpangocairo-1.0-0 amd64 1.50.10+ds-1 [36.2 kB] Get:124 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxft2 amd64 2.3.4-1 [41.8 kB] Get:125 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpangoxft-1.0-0 amd64 1.50.10+ds-1 [28.4 kB] Get:126 http://ftpmaster.internal/ubuntu kinetic/main amd64 gir1.2-pango-1.0 amd64 1.50.10+ds-1 [41.4 kB] Get:127 http://ftpmaster.internal/ubuntu kinetic/main amd64 libatk-bridge2.0-0 amd64 2.46.0-3 [65.9 kB] Get:128 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcairo-gobject2 amd64 1.16.0-5ubuntu2 [19.4 kB] Get:129 http://ftpmaster.internal/ubuntu kinetic/main amd64 liblcms2-2 amd64 2.13.1-1 [159 kB] Get:130 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcolord2 amd64 1.4.6-1 [155 kB] Get:131 http://ftpmaster.internal/ubuntu kinetic/main amd64 libepoxy0 amd64 1.5.10-1 [237 kB] Get:132 http://ftpmaster.internal/ubuntu kinetic/main amd64 libwayland-client0 amd64 1.21.0-1 [26.0 kB] Get:133 http://ftpmaster.internal/ubuntu kinetic/main amd64 libwayland-cursor0 amd64 1.21.0-1 [10.5 kB] Get:134 http://ftpmaster.internal/ubuntu kinetic/main amd64 libwayland-egl1 amd64 1.21.0-1 [5330 B] Get:135 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcomposite1 amd64 1:0.4.5-1build2 [7192 B] Get:136 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxfixes3 amd64 1:6.0.0-1 [11.7 kB] Get:137 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcursor1 amd64 1:1.2.1-1 [21.4 kB] Get:138 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxdamage1 amd64 1:1.1.5-2build2 [7154 B] Get:139 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxinerama1 amd64 2:1.1.4-3 [7382 B] Get:140 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxkbcommon0 amd64 1.4.1-1 [119 kB] Get:141 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxrandr2 amd64 2:1.5.2-2 [20.4 kB] Get:142 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgtk-3-common all 3.24.34-3ubuntu2 [243 kB] Get:143 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgtk-3-0 amd64 3.24.34-3ubuntu2 [3075 kB] Get:144 http://ftpmaster.internal/ubuntu kinetic/main amd64 gir1.2-gtk-3.0 amd64 3.24.34-3ubuntu2 [244 kB] Get:145 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libgtksourceview-3.0-common all 3.24.11-2build1 [294 kB] Get:146 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libgtksourceview-3.0-1 amd64 3.24.11-2build1 [250 kB] Get:147 http://ftpmaster.internal/ubuntu kinetic/universe amd64 gir1.2-gtksource-3.0 amd64 3.24.11-2build1 [21.0 kB] Get:148 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libnetpbm11 amd64 2:10.97.00-2 [115 kB] Get:149 http://ftpmaster.internal/ubuntu kinetic/universe amd64 netpbm amd64 2:10.97.00-2 [2006 kB] Get:150 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpaper-utils amd64 1.1.28build2 [8674 B] Get:151 http://ftpmaster.internal/ubuntu kinetic/main amd64 libkpathsea6 amd64 2022.20220321.62855-4 [59.4 kB] Get:152 http://ftpmaster.internal/ubuntu kinetic/main amd64 libptexenc1 amd64 2022.20220321.62855-4 [38.4 kB] Get:153 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsynctex2 amd64 2022.20220321.62855-4 [54.8 kB] Get:154 http://ftpmaster.internal/ubuntu kinetic/main amd64 libtexlua53-5 amd64 2022.20220321.62855-4 [118 kB] Get:155 http://ftpmaster.internal/ubuntu kinetic/main amd64 libtexluajit2 amd64 2022.20220321.62855-4 [264 kB] Get:156 http://ftpmaster.internal/ubuntu kinetic/main amd64 t1utils amd64 1.41-4build2 [61.3 kB] Get:157 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libteckit0 amd64 2.5.11+ds1-1 [421 kB] Get:158 http://ftpmaster.internal/ubuntu kinetic/main amd64 libice6 amd64 2:1.0.10-1build2 [42.6 kB] Get:159 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsm6 amd64 2:1.2.3-1build2 [16.7 kB] Get:160 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxt6 amd64 1:1.2.1-1 [177 kB] Get:161 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxmu6 amd64 2:1.1.3-3 [49.6 kB] Get:162 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxpm4 amd64 1:3.5.12-1build2 [36.2 kB] Get:163 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxaw7 amd64 2:1.0.14-1 [191 kB] Get:164 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libzzip-0-13 amd64 0.13.72+dfsg.1-1.1 [27.0 kB] Get:165 http://ftpmaster.internal/ubuntu kinetic/universe amd64 texlive-binaries amd64 2022.20220321.62855-4 [9996 kB] Get:166 http://ftpmaster.internal/ubuntu kinetic/main amd64 xdg-utils all 1.1.3-4.1ubuntu3 [62.0 kB] Get:167 http://ftpmaster.internal/ubuntu kinetic/universe amd64 texlive-base all 2022.20220722-1 [21.7 MB] Get:168 http://ftpmaster.internal/ubuntu kinetic/universe amd64 hevea amd64 2.35-1build1 [2003 kB] Get:169 http://ftpmaster.internal/ubuntu kinetic/main amd64 icu-devtools amd64 71.1-3ubuntu1 [202 kB] Get:170 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libapache-pom-java all 18-1 [4720 B] Get:171 http://ftpmaster.internal/ubuntu kinetic/main amd64 pkg-config amd64 0.29.2-1ubuntu3 [48.2 kB] Get:172 http://ftpmaster.internal/ubuntu kinetic/main amd64 libffi-dev amd64 3.4.2-4 [63.7 kB] Get:173 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglib2.0-bin amd64 2.74.0-3 [92.8 kB] Get:174 http://ftpmaster.internal/ubuntu kinetic/main amd64 python3-lib2to3 all 3.10.7-1 [77.5 kB] Get:175 http://ftpmaster.internal/ubuntu kinetic/main amd64 python3-distutils all 3.10.7-1 [139 kB] Get:176 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglib2.0-dev-bin amd64 2.74.0-3 [128 kB] Get:177 http://ftpmaster.internal/ubuntu kinetic/main amd64 uuid-dev amd64 2.38-4ubuntu1 [32.5 kB] Get:178 http://ftpmaster.internal/ubuntu kinetic/main amd64 libblkid-dev amd64 2.38-4ubuntu1 [188 kB] Get:179 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsepol-dev amd64 3.4-2 [377 kB] Get:180 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpcre2-16-0 amd64 10.40-1ubuntu1 [210 kB] Get:181 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpcre2-32-0 amd64 10.40-1ubuntu1 [197 kB] Get:182 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpcre2-posix3 amd64 10.40-1ubuntu1 [6146 B] Get:183 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpcre2-dev amd64 10.40-1ubuntu1 [744 kB] Get:184 http://ftpmaster.internal/ubuntu kinetic/main amd64 libselinux1-dev amd64 3.4-1 [163 kB] Get:185 http://ftpmaster.internal/ubuntu kinetic/main amd64 libmount-dev amd64 2.38-4ubuntu1 [14.7 kB] Get:186 http://ftpmaster.internal/ubuntu kinetic/main amd64 zlib1g-dev amd64 1:1.2.11.dfsg-4.1ubuntu1 [164 kB] Get:187 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglib2.0-dev amd64 2.74.0-3 [1763 kB] Get:188 http://ftpmaster.internal/ubuntu kinetic/main amd64 libatk1.0-dev amd64 2.46.0-3 [98.9 kB] Get:189 http://ftpmaster.internal/ubuntu kinetic/main amd64 xml-core all 0.18+nmu1 [21.6 kB] Get:190 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libdbus-1-dev amd64 1.14.0-2ubuntu3 [191 kB] Get:191 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxtst6 amd64 2:1.2.3-1.1 [13.8 kB] Get:192 http://ftpmaster.internal/ubuntu kinetic/main amd64 xorg-sgml-doctools all 1:1.11-1.1 [10.9 kB] Get:193 http://ftpmaster.internal/ubuntu kinetic/main amd64 x11proto-dev all 2022.1-1 [605 kB] Get:194 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxau-dev amd64 1:1.0.9-1build5 [9724 B] Get:195 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxdmcp-dev amd64 1:1.1.3-0ubuntu5 [26.5 kB] Get:196 http://ftpmaster.internal/ubuntu kinetic/main amd64 xtrans-dev all 1.4.0-1 [68.9 kB] Get:197 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpthread-stubs0-dev amd64 0.4-1build2 [5516 B] Get:198 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb1-dev amd64 1.15-1 [85.8 kB] Get:199 http://ftpmaster.internal/ubuntu kinetic/main amd64 libx11-dev amd64 2:1.8.1-2 [733 kB] Get:200 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxext-dev amd64 2:1.3.4-1build1 [84.7 kB] Get:201 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxfixes-dev amd64 1:6.0.0-1 [12.2 kB] Get:202 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxi-dev amd64 2:1.8-1build1 [193 kB] Get:203 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxtst-dev amd64 2:1.2.3-1.1 [16.2 kB] Get:204 http://ftpmaster.internal/ubuntu kinetic/main amd64 libatspi2.0-dev amd64 2.46.0-3 [73.0 kB] Get:205 http://ftpmaster.internal/ubuntu kinetic/main amd64 libatk-bridge2.0-dev amd64 2.46.0-3 [4278 B] Get:206 http://ftpmaster.internal/ubuntu kinetic/main amd64 libbrotli-dev amd64 1.0.9-2build6 [337 kB] Get:207 http://ftpmaster.internal/ubuntu kinetic/main amd64 liblzo2-2 amd64 2.10-2build3 [53.7 kB] Get:208 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcairo-script-interpreter2 amd64 1.16.0-5ubuntu2 [62.0 kB] Get:209 http://ftpmaster.internal/ubuntu kinetic/main amd64 libexpat1-dev amd64 2.4.8-2 [137 kB] Get:210 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpng-dev amd64 1.6.38-2 [265 kB] Get:211 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfreetype-dev amd64 2.12.1+dfsg-3 [561 kB] Get:212 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfreetype6-dev amd64 2.12.1+dfsg-3 [8270 B] Get:213 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfontconfig-dev amd64 2.13.1-4.4ubuntu1 [149 kB] Get:214 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfontconfig1-dev amd64 2.13.1-4.4ubuntu1 [1828 B] Get:215 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxrender-dev amd64 1:0.9.10-1.1 [26.5 kB] Get:216 http://ftpmaster.internal/ubuntu kinetic/main amd64 libice-dev amd64 2:1.0.10-1build2 [51.4 kB] Get:217 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsm-dev amd64 2:1.2.3-1build2 [18.1 kB] Get:218 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libpixman-1-dev amd64 0.40.0-1ubuntu0.22.10.1 [285 kB] Get:219 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-render0-dev amd64 1.15-1 [19.5 kB] Get:220 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-shm0-dev amd64 1.15-1 [6938 B] Get:221 http://ftpmaster.internal/ubuntu kinetic/main amd64 libcairo2-dev amd64 1.16.0-5ubuntu2 [692 kB] Get:222 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-base amd64 4.13.1-3ubuntu1 [589 kB] Get:223 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcairo2-ocaml amd64 0.6.2+dfsg-1build1 [28.0 kB] Get:224 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-compiler-libs amd64 4.13.1-3ubuntu1 [36.2 MB] Get:225 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-interp amd64 4.13.1-3ubuntu1 [7488 kB] Get:226 http://ftpmaster.internal/ubuntu kinetic/main amd64 libncurses-dev amd64 6.3+20220423-2 [379 kB] Get:227 http://ftpmaster.internal/ubuntu kinetic/main amd64 libncurses5-dev amd64 6.3+20220423-2 [792 B] Get:228 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml amd64 4.13.1-3ubuntu1 [87.7 MB] Get:229 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcairo2-ocaml-dev amd64 0.6.2+dfsg-1build1 [325 kB] Get:230 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcommons-parent-java all 43-1 [10.8 kB] Get:231 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libcommons-logging-java all 1.2-3 [59.9 kB] Get:232 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdatrie-dev amd64 0.2.13-2 [19.7 kB] Get:233 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdeflate-dev amd64 1.12-1 [58.9 kB] Get:234 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdrm-amdgpu1 amd64 2.4.113-2 [20.0 kB] Get:235 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdrm-nouveau2 amd64 2.4.113-2 [17.6 kB] Get:236 http://ftpmaster.internal/ubuntu kinetic/main amd64 libdrm-radeon1 amd64 2.4.113-2 [21.0 kB] Get:237 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglvnd0 amd64 1.5.0-1 [68.1 kB] Get:238 http://ftpmaster.internal/ubuntu kinetic/main amd64 libwayland-server0 amd64 1.21.0-1 [33.4 kB] Get:239 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgbm1 amd64 22.2.1-1ubuntu1 [32.1 kB] Get:240 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglapi-mesa amd64 22.2.1-1ubuntu1 [32.3 kB] Get:241 http://ftpmaster.internal/ubuntu kinetic/main amd64 libx11-xcb1 amd64 2:1.8.1-2 [7768 B] Get:242 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-dri2-0 amd64 1.15-1 [7276 B] Get:243 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-dri3-0 amd64 1.15-1 [7174 B] Get:244 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-present0 amd64 1.15-1 [5708 B] Get:245 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-sync1 amd64 1.15-1 [9358 B] Get:246 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-xfixes0 amd64 1.15-1 [10.2 kB] Get:247 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxshmfence1 amd64 1.3-1build4 [5394 B] Get:248 http://ftpmaster.internal/ubuntu kinetic/main amd64 libegl-mesa0 amd64 22.2.1-1ubuntu1 [107 kB] Get:249 http://ftpmaster.internal/ubuntu kinetic/main amd64 libegl1 amd64 1.5.0-1 [28.3 kB] Get:250 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcb-glx0 amd64 1.15-1 [24.6 kB] Get:251 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxxf86vm1 amd64 1:1.1.4-1build3 [10.4 kB] Get:252 http://ftpmaster.internal/ubuntu kinetic/main amd64 libllvm15 amd64 1:15.0.2-1 [25.2 MB] Get:253 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsensors-config all 1:3.6.0-7ubuntu1 [5274 B] Get:254 http://ftpmaster.internal/ubuntu kinetic/main amd64 libsensors5 amd64 1:3.6.0-7ubuntu1 [26.3 kB] Get:255 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgl1-mesa-dri amd64 22.2.1-1ubuntu1 [7616 kB] Get:256 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglx-mesa0 amd64 22.2.1-1ubuntu1 [154 kB] Get:257 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglx0 amd64 1.5.0-1 [38.0 kB] Get:258 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgl1 amd64 1.5.0-1 [103 kB] Get:259 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglx-dev amd64 1.5.0-1 [14.1 kB] Get:260 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgl-dev amd64 1.5.0-1 [102 kB] Get:261 http://ftpmaster.internal/ubuntu kinetic/main amd64 libegl-dev amd64 1.5.0-1 [18.1 kB] Get:262 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglvnd-core-dev amd64 1.5.0-1 [12.7 kB] Get:263 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgles1 amd64 1.5.0-1 [11.1 kB] Get:264 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgles2 amd64 1.5.0-1 [17.1 kB] Get:265 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgles-dev amd64 1.5.0-1 [49.4 kB] Get:266 http://ftpmaster.internal/ubuntu kinetic/main amd64 libopengl0 amd64 1.5.0-1 [33.1 kB] Get:267 http://ftpmaster.internal/ubuntu kinetic/main amd64 libopengl-dev amd64 1.5.0-1 [3406 B] Get:268 http://ftpmaster.internal/ubuntu kinetic/main amd64 libglvnd-dev amd64 1.5.0-1 [3164 B] Get:269 http://ftpmaster.internal/ubuntu kinetic/main amd64 libegl1-mesa-dev amd64 22.2.1-1ubuntu1 [7938 B] Get:270 http://ftpmaster.internal/ubuntu kinetic/main amd64 libepoxy-dev amd64 1.5.10-1 [132 kB] Get:271 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libfindlib-ocaml amd64 1.9.3-1 [198 kB] Get:272 http://ftpmaster.internal/ubuntu kinetic/main amd64 libfribidi-dev amd64 1.0.8-2.1ubuntu1 [64.5 kB] Get:273 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgdk-pixbuf2.0-bin amd64 2.42.9+dfsg-1 [13.9 kB] Get:274 http://ftpmaster.internal/ubuntu kinetic/main amd64 libjpeg-turbo8-dev amd64 2.1.2-0ubuntu1 [257 kB] Get:275 http://ftpmaster.internal/ubuntu kinetic/main amd64 libjpeg8-dev amd64 8c-2ubuntu10 [1476 B] Get:276 http://ftpmaster.internal/ubuntu kinetic/main amd64 libjpeg-dev amd64 8c-2ubuntu10 [1472 B] Get:277 http://ftpmaster.internal/ubuntu kinetic/main amd64 libjbig-dev amd64 2.1-3.1build3 [27.3 kB] Get:278 http://ftpmaster.internal/ubuntu kinetic/main amd64 liblzma-dev amd64 5.2.5-2.1 [157 kB] Get:279 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libtiffxx5 amd64 4.4.0-4ubuntu3.1 [5766 B] Get:280 http://ftpmaster.internal/ubuntu kinetic/main amd64 liblerc-dev amd64 3.0+ds-1ubuntu1 [125 kB] Get:281 http://ftpmaster.internal/ubuntu kinetic-security/main amd64 libtiff-dev amd64 4.4.0-4ubuntu3.1 [324 kB] Get:282 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgdk-pixbuf-2.0-dev amd64 2.42.9+dfsg-1 [47.9 kB] Get:283 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgraphite2-dev amd64 1.3.14-1build2 [14.7 kB] Get:284 http://ftpmaster.internal/ubuntu kinetic/main amd64 libharfbuzz-icu0 amd64 2.7.4-1ubuntu5 [5872 B] Get:285 http://ftpmaster.internal/ubuntu kinetic/main amd64 libharfbuzz-gobject0 amd64 2.7.4-1ubuntu5 [24.3 kB] Get:286 http://ftpmaster.internal/ubuntu kinetic/main amd64 libicu-dev amd64 71.1-3ubuntu1 [11.6 MB] Get:287 http://ftpmaster.internal/ubuntu kinetic/main amd64 libharfbuzz-dev amd64 2.7.4-1ubuntu5 [547 kB] Get:288 http://ftpmaster.internal/ubuntu kinetic/main amd64 libthai-dev amd64 0.1.29-1build1 [26.4 kB] Get:289 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxft-dev amd64 2.3.4-1 [52.4 kB] Get:290 http://ftpmaster.internal/ubuntu kinetic/main amd64 pango1.0-tools amd64 1.50.10+ds-1 [43.1 kB] Get:291 http://ftpmaster.internal/ubuntu kinetic/main amd64 libpango1.0-dev amd64 1.50.10+ds-1 [152 kB] Get:292 http://ftpmaster.internal/ubuntu kinetic/main amd64 libwayland-bin amd64 1.21.0-1 [20.0 kB] Get:293 http://ftpmaster.internal/ubuntu kinetic/main amd64 libwayland-dev amd64 1.21.0-1 [70.0 kB] Get:294 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcomposite-dev amd64 1:0.4.5-1build2 [9326 B] Get:295 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxcursor-dev amd64 1:1.2.1-1 [31.9 kB] Get:296 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxdamage-dev amd64 1:1.1.5-2build2 [5264 B] Get:297 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxinerama-dev amd64 2:1.1.4-3 [8104 B] Get:298 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxkbcommon-dev amd64 1.4.1-1 [54.3 kB] Get:299 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxrandr-dev amd64 2:1.5.2-2 [26.7 kB] Get:300 http://ftpmaster.internal/ubuntu kinetic/main amd64 wayland-protocols all 1.26-1 [71.3 kB] Get:301 http://ftpmaster.internal/ubuntu kinetic/main amd64 libgtk-3-dev amd64 3.24.34-3ubuntu2 [1084 kB] Get:302 http://ftpmaster.internal/ubuntu kinetic/main amd64 libxml2-dev amd64 2.9.14+dfsg-1 [789 kB] Get:303 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libgtksourceview-3.0-dev amd64 3.24.11-2build1 [369 kB] Get:304 http://ftpmaster.internal/ubuntu kinetic/universe amd64 liblablgtk3-ocaml amd64 3.1.2-1 [3754 kB] Get:305 http://ftpmaster.internal/ubuntu kinetic/universe amd64 liblablgtk3-ocaml-dev amd64 3.1.2-1 [8050 kB] Get:306 http://ftpmaster.internal/ubuntu kinetic/universe amd64 liblablgtksourceview3-ocaml amd64 3.1.2-1 [333 kB] Get:307 http://ftpmaster.internal/ubuntu kinetic/universe amd64 liblablgtksourceview3-ocaml-dev amd64 3.1.2-1 [637 kB] Get:308 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libnum-ocaml amd64 1.4-2build1 [208 kB] Get:309 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libnum-ocaml-dev amd64 1.4-2build1 [123 kB] Get:310 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-findlib amd64 1.9.3-1 [539 kB] Get:311 http://ftpmaster.internal/ubuntu kinetic/universe amd64 ocaml-nox all 4.13.1-3ubuntu1 [3082 B] Get:312 http://ftpmaster.internal/ubuntu kinetic/universe amd64 preview-latex-style all 12.2-1ubuntu1 [185 kB] Get:313 http://ftpmaster.internal/ubuntu kinetic/universe amd64 texlive-latex-base all 2022.20220722-1 [1152 kB] Get:314 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libfontbox-java all 1:1.8.16-2 [207 kB] Get:315 http://ftpmaster.internal/ubuntu kinetic/universe amd64 libpdfbox-java all 1:1.8.16-2 [5199 kB] Get:316 http://ftpmaster.internal/ubuntu kinetic/universe amd64 texlive-latex-recommended all 2022.20220722-1 [8804 kB] Get:317 http://ftpmaster.internal/ubuntu kinetic/universe amd64 texlive-pictures all 2022.20220722-1 [15.2 MB] Get:318 http://ftpmaster.internal/ubuntu kinetic/universe amd64 texlive-latex-extra all 2022.20220722-2 [14.3 MB] Get:319 http://ftpmaster.internal/ubuntu kinetic/universe amd64 dh-ocaml all 1.1.3 [78.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 348 MB in 3s (133 MB/s) Selecting previously unselected package poppler-data. (Reading database ... 14322 files and directories currently installed.) Preparing to unpack .../000-poppler-data_0.4.11-1_all.deb ... Unpacking poppler-data (0.4.11-1) ... Selecting previously unselected package ucf. Preparing to unpack .../001-ucf_3.0043_all.deb ... Moving old data out of the way Unpacking ucf (3.0043) ... Selecting previously unselected package tex-common. Preparing to unpack .../002-tex-common_6.17_all.deb ... Unpacking tex-common (6.17) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../003-libdbus-1-3_1.14.0-2ubuntu3_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.14.0-2ubuntu3) ... Selecting previously unselected package dbus-bin. Preparing to unpack .../004-dbus-bin_1.14.0-2ubuntu3_amd64.deb ... Unpacking dbus-bin (1.14.0-2ubuntu3) ... Selecting previously unselected package dbus-session-bus-common. Preparing to unpack .../005-dbus-session-bus-common_1.14.0-2ubuntu3_all.deb ... Unpacking dbus-session-bus-common (1.14.0-2ubuntu3) ... Selecting previously unselected package dbus-daemon. Preparing to unpack .../006-dbus-daemon_1.14.0-2ubuntu3_amd64.deb ... Unpacking dbus-daemon (1.14.0-2ubuntu3) ... Selecting previously unselected package dbus-system-bus-common. Preparing to unpack .../007-dbus-system-bus-common_1.14.0-2ubuntu3_all.deb ... Unpacking dbus-system-bus-common (1.14.0-2ubuntu3) ... Selecting previously unselected package dbus. Preparing to unpack .../008-dbus_1.14.0-2ubuntu3_amd64.deb ... Unpacking dbus (1.14.0-2ubuntu3) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../009-libpam-systemd_251.4-1ubuntu7_amd64.deb ... Unpacking libpam-systemd:amd64 (251.4-1ubuntu7) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../010-dbus-user-session_1.14.0-2ubuntu3_amd64.deb ... Unpacking dbus-user-session (1.14.0-2ubuntu3) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../011-libglib2.0-0_2.74.0-3_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.74.0-3) ... Selecting previously unselected package libgirepository-1.0-1:amd64. Preparing to unpack .../012-libgirepository-1.0-1_1.74.0-2_amd64.deb ... Unpacking libgirepository-1.0-1:amd64 (1.74.0-2) ... Selecting previously unselected package gir1.2-glib-2.0:amd64. Preparing to unpack .../013-gir1.2-glib-2.0_1.74.0-2_amd64.deb ... Unpacking gir1.2-glib-2.0:amd64 (1.74.0-2) ... Selecting previously unselected package libmd0:amd64. Preparing to unpack .../014-libmd0_1.0.4-2_amd64.deb ... Unpacking libmd0:amd64 (1.0.4-2) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../015-libbsd0_0.11.6-1_amd64.deb ... Unpacking libbsd0:amd64 (0.11.6-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../016-libelf1_0.187-4_amd64.deb ... Unpacking libelf1:amd64 (0.187-4) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../017-libfribidi0_1.0.8-2.1ubuntu1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.8-2.1ubuntu1) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../018-libglib2.0-data_2.74.0-3_all.deb ... Unpacking libglib2.0-data (2.74.0-3) ... Selecting previously unselected package libicu71:amd64. Preparing to unpack .../019-libicu71_71.1-3ubuntu1_amd64.deb ... Unpacking libicu71:amd64 (71.1-3ubuntu1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../020-libxml2_2.9.14+dfsg-1_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../021-shared-mime-info_2.2-1_amd64.deb ... Unpacking shared-mime-info (2.2-1) ... Selecting previously unselected package xkb-data. Preparing to unpack .../022-xkb-data_2.35.1-1_all.deb ... Unpacking xkb-data (2.35.1-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../023-bsdextrautils_2.38-4ubuntu1_amd64.deb ... Unpacking bsdextrautils (2.38-4ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../024-libmagic-mgc_1%3a5.41-4_amd64.deb ... Unpacking libmagic-mgc (1:5.41-4) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../025-libmagic1_1%3a5.41-4_amd64.deb ... Unpacking libmagic1:amd64 (1:5.41-4) ... Selecting previously unselected package file. Preparing to unpack .../026-file_1%3a5.41-4_amd64.deb ... Unpacking file (1:5.41-4) ... Selecting previously unselected package gettext-base. Preparing to unpack .../027-gettext-base_0.21-8_amd64.deb ... Unpacking gettext-base (0.21-8) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../028-libuchardet0_0.0.7-1build2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1build2) ... Selecting previously unselected package groff-base. Preparing to unpack .../029-groff-base_1.22.4-8build1_amd64.deb ... Unpacking groff-base (1.22.4-8build1) ... Selecting previously unselected package libdrm-common. Preparing to unpack .../030-libdrm-common_2.4.113-2_all.deb ... Unpacking libdrm-common (2.4.113-2) ... Selecting previously unselected package libdrm2:amd64. Preparing to unpack .../031-libdrm2_2.4.113-2_amd64.deb ... Unpacking libdrm2:amd64 (2.4.113-2) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../032-libedit2_3.1-20210910-1build1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20210910-1build1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../033-libpipeline1_1.5.6-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.6-2) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../034-libxau6_1%3a1.0.9-1build5_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1build5) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../035-libxdmcp6_1%3a1.1.3-0ubuntu5_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.3-0ubuntu5) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../036-libxcb1_1.15-1_amd64.deb ... Unpacking libxcb1:amd64 (1.15-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../037-libx11-data_2%3a1.8.1-2_all.deb ... Unpacking libx11-data (2:1.8.1-2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../038-libx11-6_2%3a1.8.1-2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.1-2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../039-libxext6_2%3a1.3.4-1build1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1build1) ... Selecting previously unselected package man-db. Preparing to unpack .../040-man-db_2.10.2-2_amd64.deb ... Unpacking man-db (2.10.2-2) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../041-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../042-libgdk-pixbuf2.0-common_2.42.9+dfsg-1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.9+dfsg-1) ... Selecting previously unselected package libjpeg-turbo8:amd64. Preparing to unpack .../043-libjpeg-turbo8_2.1.2-0ubuntu1_amd64.deb ... Unpacking libjpeg-turbo8:amd64 (2.1.2-0ubuntu1) ... Selecting previously unselected package libjpeg8:amd64. Preparing to unpack .../044-libjpeg8_8c-2ubuntu10_amd64.deb ... Unpacking libjpeg8:amd64 (8c-2ubuntu10) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../045-libdeflate0_1.12-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.12-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../046-libjbig0_2.1-3.1build3_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1build3) ... Selecting previously unselected package liblerc3:amd64. Preparing to unpack .../047-liblerc3_3.0+ds-1ubuntu1_amd64.deb ... Unpacking liblerc3:amd64 (3.0+ds-1ubuntu1) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../048-libwebp7_1.2.2-2_amd64.deb ... Unpacking libwebp7:amd64 (1.2.2-2) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../049-libtiff5_4.4.0-4ubuntu3.1_amd64.deb ... Unpacking libtiff5:amd64 (4.4.0-4ubuntu3.1) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. Preparing to unpack .../050-libgdk-pixbuf-2.0-0_2.42.9+dfsg-1_amd64.deb ... Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.9+dfsg-1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../051-gtk-update-icon-cache_3.24.34-3ubuntu2_amd64.deb ... Unpacking gtk-update-icon-cache (3.24.34-3ubuntu2) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../052-humanity-icon-theme_0.6.16_all.deb ... Unpacking humanity-icon-theme (0.6.16) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../053-ubuntu-mono_20.10-0ubuntu2_all.deb ... Unpacking ubuntu-mono (20.10-0ubuntu2) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../054-adwaita-icon-theme_41.0-1ubuntu1_all.deb ... Unpacking adwaita-icon-theme (41.0-1ubuntu1) ... Selecting previously unselected package at-spi2-common. Preparing to unpack .../055-at-spi2-common_2.46.0-3_all.deb ... Unpacking at-spi2-common (2.46.0-3) ... Selecting previously unselected package m4. Preparing to unpack .../056-m4_1.4.19-1_amd64.deb ... Unpacking m4 (1.4.19-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../057-autoconf_2.71-2_all.deb ... Unpacking autoconf (2.71-2) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../058-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../059-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../060-autopoint_0.21-8_all.deb ... Unpacking autopoint (0.21-8) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../061-libdconf1_0.40.0-3_amd64.deb ... Unpacking libdconf1:amd64 (0.40.0-3) ... Selecting previously unselected package dconf-service. Preparing to unpack .../062-dconf-service_0.40.0-3_amd64.deb ... Unpacking dconf-service (0.40.0-3) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../063-dconf-gsettings-backend_0.40.0-3_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.40.0-3) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../064-libdebhelper-perl_13.9.1ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.9.1ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../065-libtool_2.4.7-4_all.deb ... Unpacking libtool (2.4.7-4) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../066-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../067-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../068-libsub-override-perl_0.09-3_all.deb ... Unpacking libsub-override-perl (0.09-3) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../069-libfile-stripnondeterminism-perl_1.13.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../070-dh-strip-nondeterminism_1.13.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.0-1) ... Selecting previously unselected package libdw1:amd64. Preparing to unpack .../071-libdw1_0.187-4_amd64.deb ... Unpacking libdw1:amd64 (0.187-4) ... Selecting previously unselected package debugedit. Preparing to unpack .../072-debugedit_1%3a5.0-5_amd64.deb ... Unpacking debugedit (1:5.0-5) ... Selecting previously unselected package dwz. Preparing to unpack .../073-dwz_0.14-1build2_amd64.deb ... Unpacking dwz (0.14-1build2) ... Selecting previously unselected package gettext. Preparing to unpack .../074-gettext_0.21-8_amd64.deb ... Unpacking gettext (0.21-8) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../075-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 .../076-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../077-debhelper_13.9.1ubuntu1_all.deb ... Unpacking debhelper (13.9.1ubuntu1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../078-libbrotli1_1.0.9-2build6_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2build6) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../079-libfreetype6_2.12.1+dfsg-3_amd64.deb ... Unpacking libfreetype6:amd64 (2.12.1+dfsg-3) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../080-fonts-dejavu-core_2.37-2build1_all.deb ... Unpacking fonts-dejavu-core (2.37-2build1) ... Selecting previously unselected package libfontenc1:amd64. Preparing to unpack .../081-libfontenc1_1%3a1.1.4-1build3_amd64.deb ... Unpacking libfontenc1:amd64 (1:1.1.4-1build3) ... Selecting previously unselected package x11-common. Preparing to unpack .../082-x11-common_1%3a7.7+23ubuntu2_all.deb ... Unpacking x11-common (1:7.7+23ubuntu2) ... Selecting previously unselected package xfonts-encodings. Preparing to unpack .../083-xfonts-encodings_1%3a1.0.5-0ubuntu2_all.deb ... Unpacking xfonts-encodings (1:1.0.5-0ubuntu2) ... Selecting previously unselected package xfonts-utils. Preparing to unpack .../084-xfonts-utils_1%3a7.7+6build2_amd64.deb ... Unpacking xfonts-utils (1:7.7+6build2) ... Selecting previously unselected package fonts-urw-base35. Preparing to unpack .../085-fonts-urw-base35_20200910-4_all.deb ... Unpacking fonts-urw-base35 (20200910-4) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../086-fontconfig-config_2.13.1-4.4ubuntu1_all.deb ... Unpacking fontconfig-config (2.13.1-4.4ubuntu1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../087-libfontconfig1_2.13.1-4.4ubuntu1_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-4.4ubuntu1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../088-fontconfig_2.13.1-4.4ubuntu1_amd64.deb ... Unpacking fontconfig (2.13.1-4.4ubuntu1) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../089-fonts-lmodern_2.005-1_all.deb ... Unpacking fonts-lmodern (2.005-1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../090-libgs9-common_9.56.1~dfsg1-0ubuntu3_all.deb ... Unpacking libgs9-common (9.56.1~dfsg1-0ubuntu3) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../091-libavahi-common-data_0.8-6ubuntu1_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-6ubuntu1) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../092-libavahi-common3_0.8-6ubuntu1_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-6ubuntu1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../093-libavahi-client3_0.8-6ubuntu1_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-6ubuntu1) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../094-libcups2_2.4.2-1ubuntu2_amd64.deb ... Unpacking libcups2:amd64 (2.4.2-1ubuntu2) ... Selecting previously unselected package libidn12:amd64. Preparing to unpack .../095-libidn12_1.41-1_amd64.deb ... Unpacking libidn12:amd64 (1.41-1) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../096-libijs-0.35_0.35-15build2_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-15build2) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../097-libjbig2dec0_0.19-3build2_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.19-3build2) ... Selecting previously unselected package libopenjp2-7:amd64. Preparing to unpack .../098-libopenjp2-7_2.5.0-1_amd64.deb ... Unpacking libopenjp2-7:amd64 (2.5.0-1) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../099-libpaper1_1.1.28build2_amd64.deb ... Unpacking libpaper1:amd64 (1.1.28build2) ... Selecting previously unselected package libgs9:amd64. Preparing to unpack .../100-libgs9_9.56.1~dfsg1-0ubuntu3_amd64.deb ... Unpacking libgs9:amd64 (9.56.1~dfsg1-0ubuntu3) ... Selecting previously unselected package ghostscript. Preparing to unpack .../101-ghostscript_9.56.1~dfsg1-0ubuntu3_amd64.deb ... Unpacking ghostscript (9.56.1~dfsg1-0ubuntu3) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../102-libatk1.0-0_2.46.0-3_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.46.0-3) ... Selecting previously unselected package gir1.2-atk-1.0:amd64. Preparing to unpack .../103-gir1.2-atk-1.0_2.46.0-3_amd64.deb ... Unpacking gir1.2-atk-1.0:amd64 (2.46.0-3) ... Selecting previously unselected package gir1.2-freedesktop:amd64. Preparing to unpack .../104-gir1.2-freedesktop_1.74.0-2_amd64.deb ... Unpacking gir1.2-freedesktop:amd64 (1.74.0-2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../105-libxi6_2%3a1.8-1build1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8-1build1) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../106-libatspi2.0-0_2.46.0-3_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.46.0-3) ... Selecting previously unselected package gir1.2-atspi-2.0:amd64. Preparing to unpack .../107-gir1.2-atspi-2.0_2.46.0-3_amd64.deb ... Unpacking gir1.2-atspi-2.0:amd64 (2.46.0-3) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0:amd64. Preparing to unpack .../108-gir1.2-gdkpixbuf-2.0_2.42.9+dfsg-1_amd64.deb ... Unpacking gir1.2-gdkpixbuf-2.0:amd64 (2.42.9+dfsg-1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../109-libgraphite2-3_1.3.14-1build2_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-1build2) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../110-libharfbuzz0b_2.7.4-1ubuntu5_amd64.deb ... Unpacking libharfbuzz0b:amd64 (2.7.4-1ubuntu5) ... Selecting previously unselected package gir1.2-harfbuzz-0.0:amd64. Preparing to unpack .../111-gir1.2-harfbuzz-0.0_2.7.4-1ubuntu5_amd64.deb ... Unpacking gir1.2-harfbuzz-0.0:amd64 (2.7.4-1ubuntu5) ... Selecting previously unselected package libthai-data. Preparing to unpack .../112-libthai-data_0.1.29-1build1_all.deb ... Unpacking libthai-data (0.1.29-1build1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../113-libdatrie1_0.2.13-2_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-2) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../114-libthai0_0.1.29-1build1_amd64.deb ... Unpacking libthai0:amd64 (0.1.29-1build1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../115-libpango-1.0-0_1.50.10+ds-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.50.10+ds-1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../116-libpixman-1-0_0.40.0-1ubuntu0.22.10.1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.40.0-1ubuntu0.22.10.1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../117-libxcb-render0_1.15-1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../118-libxcb-shm0_1.15-1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.15-1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../119-libxrender1_1%3a0.9.10-1.1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1.1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../120-libcairo2_1.16.0-5ubuntu2_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-5ubuntu2) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../121-libpangoft2-1.0-0_1.50.10+ds-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.50.10+ds-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../122-libpangocairo-1.0-0_1.50.10+ds-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.50.10+ds-1) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../123-libxft2_2.3.4-1_amd64.deb ... Unpacking libxft2:amd64 (2.3.4-1) ... Selecting previously unselected package libpangoxft-1.0-0:amd64. Preparing to unpack .../124-libpangoxft-1.0-0_1.50.10+ds-1_amd64.deb ... Unpacking libpangoxft-1.0-0:amd64 (1.50.10+ds-1) ... Selecting previously unselected package gir1.2-pango-1.0:amd64. Preparing to unpack .../125-gir1.2-pango-1.0_1.50.10+ds-1_amd64.deb ... Unpacking gir1.2-pango-1.0:amd64 (1.50.10+ds-1) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../126-libatk-bridge2.0-0_2.46.0-3_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.46.0-3) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../127-libcairo-gobject2_1.16.0-5ubuntu2_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.16.0-5ubuntu2) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../128-liblcms2-2_2.13.1-1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.13.1-1) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../129-libcolord2_1.4.6-1_amd64.deb ... Unpacking libcolord2:amd64 (1.4.6-1) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../130-libepoxy0_1.5.10-1_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.10-1) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../131-libwayland-client0_1.21.0-1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.21.0-1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../132-libwayland-cursor0_1.21.0-1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.21.0-1) ... Selecting previously unselected package libwayland-egl1:amd64. Preparing to unpack .../133-libwayland-egl1_1.21.0-1_amd64.deb ... Unpacking libwayland-egl1:amd64 (1.21.0-1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../134-libxcomposite1_1%3a0.4.5-1build2_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.5-1build2) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../135-libxfixes3_1%3a6.0.0-1_amd64.deb ... Unpacking libxfixes3:amd64 (1:6.0.0-1) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../136-libxcursor1_1%3a1.2.1-1_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.2.1-1) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../137-libxdamage1_1%3a1.1.5-2build2_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.5-2build2) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../138-libxinerama1_2%3a1.1.4-3_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.4-3) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../139-libxkbcommon0_1.4.1-1_amd64.deb ... Unpacking libxkbcommon0:amd64 (1.4.1-1) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../140-libxrandr2_2%3a1.5.2-2_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.2-2) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../141-libgtk-3-common_3.24.34-3ubuntu2_all.deb ... Unpacking libgtk-3-common (3.24.34-3ubuntu2) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../142-libgtk-3-0_3.24.34-3ubuntu2_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.24.34-3ubuntu2) ... Selecting previously unselected package gir1.2-gtk-3.0:amd64. Preparing to unpack .../143-gir1.2-gtk-3.0_3.24.34-3ubuntu2_amd64.deb ... Unpacking gir1.2-gtk-3.0:amd64 (3.24.34-3ubuntu2) ... Selecting previously unselected package libgtksourceview-3.0-common. Preparing to unpack .../144-libgtksourceview-3.0-common_3.24.11-2build1_all.deb ... Unpacking libgtksourceview-3.0-common (3.24.11-2build1) ... Selecting previously unselected package libgtksourceview-3.0-1:amd64. Preparing to unpack .../145-libgtksourceview-3.0-1_3.24.11-2build1_amd64.deb ... Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-2build1) ... Selecting previously unselected package gir1.2-gtksource-3.0:amd64. Preparing to unpack .../146-gir1.2-gtksource-3.0_3.24.11-2build1_amd64.deb ... Unpacking gir1.2-gtksource-3.0:amd64 (3.24.11-2build1) ... Selecting previously unselected package libnetpbm11:amd64. Preparing to unpack .../147-libnetpbm11_2%3a10.97.00-2_amd64.deb ... Unpacking libnetpbm11:amd64 (2:10.97.00-2) ... Selecting previously unselected package netpbm. Preparing to unpack .../148-netpbm_2%3a10.97.00-2_amd64.deb ... Unpacking netpbm (2:10.97.00-2) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../149-libpaper-utils_1.1.28build2_amd64.deb ... Unpacking libpaper-utils (1.1.28build2) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../150-libkpathsea6_2022.20220321.62855-4_amd64.deb ... Unpacking libkpathsea6:amd64 (2022.20220321.62855-4) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../151-libptexenc1_2022.20220321.62855-4_amd64.deb ... Unpacking libptexenc1:amd64 (2022.20220321.62855-4) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../152-libsynctex2_2022.20220321.62855-4_amd64.deb ... Unpacking libsynctex2:amd64 (2022.20220321.62855-4) ... Selecting previously unselected package libtexlua53-5:amd64. Preparing to unpack .../153-libtexlua53-5_2022.20220321.62855-4_amd64.deb ... Unpacking libtexlua53-5:amd64 (2022.20220321.62855-4) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../154-libtexluajit2_2022.20220321.62855-4_amd64.deb ... Unpacking libtexluajit2:amd64 (2022.20220321.62855-4) ... Selecting previously unselected package t1utils. Preparing to unpack .../155-t1utils_1.41-4build2_amd64.deb ... Unpacking t1utils (1.41-4build2) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../156-libteckit0_2.5.11+ds1-1_amd64.deb ... Unpacking libteckit0:amd64 (2.5.11+ds1-1) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../157-libice6_2%3a1.0.10-1build2_amd64.deb ... Unpacking libice6:amd64 (2:1.0.10-1build2) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../158-libsm6_2%3a1.2.3-1build2_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.3-1build2) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../159-libxt6_1%3a1.2.1-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.2.1-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../160-libxmu6_2%3a1.1.3-3_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.3-3) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../161-libxpm4_1%3a3.5.12-1build2_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1build2) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../162-libxaw7_2%3a1.0.14-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.14-1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../163-libzzip-0-13_0.13.72+dfsg.1-1.1_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.72+dfsg.1-1.1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../164-texlive-binaries_2022.20220321.62855-4_amd64.deb ... Unpacking texlive-binaries (2022.20220321.62855-4) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../165-xdg-utils_1.1.3-4.1ubuntu3_all.deb ... Unpacking xdg-utils (1.1.3-4.1ubuntu3) ... Selecting previously unselected package texlive-base. Preparing to unpack .../166-texlive-base_2022.20220722-1_all.deb ... Unpacking texlive-base (2022.20220722-1) ... Selecting previously unselected package hevea. Preparing to unpack .../167-hevea_2.35-1build1_amd64.deb ... Unpacking hevea (2.35-1build1) ... Selecting previously unselected package icu-devtools. Preparing to unpack .../168-icu-devtools_71.1-3ubuntu1_amd64.deb ... Unpacking icu-devtools (71.1-3ubuntu1) ... Selecting previously unselected package libapache-pom-java. Preparing to unpack .../169-libapache-pom-java_18-1_all.deb ... Unpacking libapache-pom-java (18-1) ... Selecting previously unselected package pkg-config. Preparing to unpack .../170-pkg-config_0.29.2-1ubuntu3_amd64.deb ... Unpacking pkg-config (0.29.2-1ubuntu3) ... Selecting previously unselected package libffi-dev:amd64. Preparing to unpack .../171-libffi-dev_3.4.2-4_amd64.deb ... Unpacking libffi-dev:amd64 (3.4.2-4) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../172-libglib2.0-bin_2.74.0-3_amd64.deb ... Unpacking libglib2.0-bin (2.74.0-3) ... Selecting previously unselected package python3-lib2to3. Preparing to unpack .../173-python3-lib2to3_3.10.7-1_all.deb ... Unpacking python3-lib2to3 (3.10.7-1) ... Selecting previously unselected package python3-distutils. Preparing to unpack .../174-python3-distutils_3.10.7-1_all.deb ... Unpacking python3-distutils (3.10.7-1) ... Selecting previously unselected package libglib2.0-dev-bin. Preparing to unpack .../175-libglib2.0-dev-bin_2.74.0-3_amd64.deb ... Unpacking libglib2.0-dev-bin (2.74.0-3) ... Selecting previously unselected package uuid-dev:amd64. Preparing to unpack .../176-uuid-dev_2.38-4ubuntu1_amd64.deb ... Unpacking uuid-dev:amd64 (2.38-4ubuntu1) ... Selecting previously unselected package libblkid-dev:amd64. Preparing to unpack .../177-libblkid-dev_2.38-4ubuntu1_amd64.deb ... Unpacking libblkid-dev:amd64 (2.38-4ubuntu1) ... Selecting previously unselected package libsepol-dev:amd64. Preparing to unpack .../178-libsepol-dev_3.4-2_amd64.deb ... Unpacking libsepol-dev:amd64 (3.4-2) ... Selecting previously unselected package libpcre2-16-0:amd64. Preparing to unpack .../179-libpcre2-16-0_10.40-1ubuntu1_amd64.deb ... Unpacking libpcre2-16-0:amd64 (10.40-1ubuntu1) ... Selecting previously unselected package libpcre2-32-0:amd64. Preparing to unpack .../180-libpcre2-32-0_10.40-1ubuntu1_amd64.deb ... Unpacking libpcre2-32-0:amd64 (10.40-1ubuntu1) ... Selecting previously unselected package libpcre2-posix3:amd64. Preparing to unpack .../181-libpcre2-posix3_10.40-1ubuntu1_amd64.deb ... Unpacking libpcre2-posix3:amd64 (10.40-1ubuntu1) ... Selecting previously unselected package libpcre2-dev:amd64. Preparing to unpack .../182-libpcre2-dev_10.40-1ubuntu1_amd64.deb ... Unpacking libpcre2-dev:amd64 (10.40-1ubuntu1) ... Selecting previously unselected package libselinux1-dev:amd64. Preparing to unpack .../183-libselinux1-dev_3.4-1_amd64.deb ... Unpacking libselinux1-dev:amd64 (3.4-1) ... Selecting previously unselected package libmount-dev:amd64. Preparing to unpack .../184-libmount-dev_2.38-4ubuntu1_amd64.deb ... Unpacking libmount-dev:amd64 (2.38-4ubuntu1) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../185-zlib1g-dev_1%3a1.2.11.dfsg-4.1ubuntu1_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-4.1ubuntu1) ... Selecting previously unselected package libglib2.0-dev:amd64. Preparing to unpack .../186-libglib2.0-dev_2.74.0-3_amd64.deb ... Unpacking libglib2.0-dev:amd64 (2.74.0-3) ... Selecting previously unselected package libatk1.0-dev:amd64. Preparing to unpack .../187-libatk1.0-dev_2.46.0-3_amd64.deb ... Unpacking libatk1.0-dev:amd64 (2.46.0-3) ... Selecting previously unselected package xml-core. Preparing to unpack .../188-xml-core_0.18+nmu1_all.deb ... Unpacking xml-core (0.18+nmu1) ... Selecting previously unselected package libdbus-1-dev:amd64. Preparing to unpack .../189-libdbus-1-dev_1.14.0-2ubuntu3_amd64.deb ... Unpacking libdbus-1-dev:amd64 (1.14.0-2ubuntu3) ... Selecting previously unselected package libxtst6:amd64. Preparing to unpack .../190-libxtst6_2%3a1.2.3-1.1_amd64.deb ... Unpacking libxtst6:amd64 (2:1.2.3-1.1) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../191-xorg-sgml-doctools_1%3a1.11-1.1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1.1) ... Selecting previously unselected package x11proto-dev. Preparing to unpack .../192-x11proto-dev_2022.1-1_all.deb ... Unpacking x11proto-dev (2022.1-1) ... Selecting previously unselected package libxau-dev:amd64. Preparing to unpack .../193-libxau-dev_1%3a1.0.9-1build5_amd64.deb ... Unpacking libxau-dev:amd64 (1:1.0.9-1build5) ... Selecting previously unselected package libxdmcp-dev:amd64. Preparing to unpack .../194-libxdmcp-dev_1%3a1.1.3-0ubuntu5_amd64.deb ... Unpacking libxdmcp-dev:amd64 (1:1.1.3-0ubuntu5) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../195-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 .../196-libpthread-stubs0-dev_0.4-1build2_amd64.deb ... Unpacking libpthread-stubs0-dev:amd64 (0.4-1build2) ... Selecting previously unselected package libxcb1-dev:amd64. Preparing to unpack .../197-libxcb1-dev_1.15-1_amd64.deb ... Unpacking libxcb1-dev:amd64 (1.15-1) ... Selecting previously unselected package libx11-dev:amd64. Preparing to unpack .../198-libx11-dev_2%3a1.8.1-2_amd64.deb ... Unpacking libx11-dev:amd64 (2:1.8.1-2) ... Selecting previously unselected package libxext-dev:amd64. Preparing to unpack .../199-libxext-dev_2%3a1.3.4-1build1_amd64.deb ... Unpacking libxext-dev:amd64 (2:1.3.4-1build1) ... Selecting previously unselected package libxfixes-dev:amd64. Preparing to unpack .../200-libxfixes-dev_1%3a6.0.0-1_amd64.deb ... Unpacking libxfixes-dev:amd64 (1:6.0.0-1) ... Selecting previously unselected package libxi-dev:amd64. Preparing to unpack .../201-libxi-dev_2%3a1.8-1build1_amd64.deb ... Unpacking libxi-dev:amd64 (2:1.8-1build1) ... Selecting previously unselected package libxtst-dev:amd64. Preparing to unpack .../202-libxtst-dev_2%3a1.2.3-1.1_amd64.deb ... Unpacking libxtst-dev:amd64 (2:1.2.3-1.1) ... Selecting previously unselected package libatspi2.0-dev:amd64. Preparing to unpack .../203-libatspi2.0-dev_2.46.0-3_amd64.deb ... Unpacking libatspi2.0-dev:amd64 (2.46.0-3) ... Selecting previously unselected package libatk-bridge2.0-dev:amd64. Preparing to unpack .../204-libatk-bridge2.0-dev_2.46.0-3_amd64.deb ... Unpacking libatk-bridge2.0-dev:amd64 (2.46.0-3) ... Selecting previously unselected package libbrotli-dev:amd64. Preparing to unpack .../205-libbrotli-dev_1.0.9-2build6_amd64.deb ... Unpacking libbrotli-dev:amd64 (1.0.9-2build6) ... Selecting previously unselected package liblzo2-2:amd64. Preparing to unpack .../206-liblzo2-2_2.10-2build3_amd64.deb ... Unpacking liblzo2-2:amd64 (2.10-2build3) ... Selecting previously unselected package libcairo-script-interpreter2:amd64. Preparing to unpack .../207-libcairo-script-interpreter2_1.16.0-5ubuntu2_amd64.deb ... Unpacking libcairo-script-interpreter2:amd64 (1.16.0-5ubuntu2) ... Selecting previously unselected package libexpat1-dev:amd64. Preparing to unpack .../208-libexpat1-dev_2.4.8-2_amd64.deb ... Unpacking libexpat1-dev:amd64 (2.4.8-2) ... Selecting previously unselected package libpng-dev:amd64. Preparing to unpack .../209-libpng-dev_1.6.38-2_amd64.deb ... Unpacking libpng-dev:amd64 (1.6.38-2) ... Selecting previously unselected package libfreetype-dev:amd64. Preparing to unpack .../210-libfreetype-dev_2.12.1+dfsg-3_amd64.deb ... Unpacking libfreetype-dev:amd64 (2.12.1+dfsg-3) ... Selecting previously unselected package libfreetype6-dev:amd64. Preparing to unpack .../211-libfreetype6-dev_2.12.1+dfsg-3_amd64.deb ... Unpacking libfreetype6-dev:amd64 (2.12.1+dfsg-3) ... Selecting previously unselected package libfontconfig-dev:amd64. Preparing to unpack .../212-libfontconfig-dev_2.13.1-4.4ubuntu1_amd64.deb ... Unpacking libfontconfig-dev:amd64 (2.13.1-4.4ubuntu1) ... Selecting previously unselected package libfontconfig1-dev:amd64. Preparing to unpack .../213-libfontconfig1-dev_2.13.1-4.4ubuntu1_amd64.deb ... Unpacking libfontconfig1-dev:amd64 (2.13.1-4.4ubuntu1) ... Selecting previously unselected package libxrender-dev:amd64. Preparing to unpack .../214-libxrender-dev_1%3a0.9.10-1.1_amd64.deb ... Unpacking libxrender-dev:amd64 (1:0.9.10-1.1) ... Selecting previously unselected package libice-dev:amd64. Preparing to unpack .../215-libice-dev_2%3a1.0.10-1build2_amd64.deb ... Unpacking libice-dev:amd64 (2:1.0.10-1build2) ... Selecting previously unselected package libsm-dev:amd64. Preparing to unpack .../216-libsm-dev_2%3a1.2.3-1build2_amd64.deb ... Unpacking libsm-dev:amd64 (2:1.2.3-1build2) ... Selecting previously unselected package libpixman-1-dev:amd64. Preparing to unpack .../217-libpixman-1-dev_0.40.0-1ubuntu0.22.10.1_amd64.deb ... Unpacking libpixman-1-dev:amd64 (0.40.0-1ubuntu0.22.10.1) ... Selecting previously unselected package libxcb-render0-dev:amd64. Preparing to unpack .../218-libxcb-render0-dev_1.15-1_amd64.deb ... Unpacking libxcb-render0-dev:amd64 (1.15-1) ... Selecting previously unselected package libxcb-shm0-dev:amd64. Preparing to unpack .../219-libxcb-shm0-dev_1.15-1_amd64.deb ... Unpacking libxcb-shm0-dev:amd64 (1.15-1) ... Selecting previously unselected package libcairo2-dev:amd64. Preparing to unpack .../220-libcairo2-dev_1.16.0-5ubuntu2_amd64.deb ... Unpacking libcairo2-dev:amd64 (1.16.0-5ubuntu2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../221-ocaml-base_4.13.1-3ubuntu1_amd64.deb ... Unpacking ocaml-base (4.13.1-3ubuntu1) ... Selecting previously unselected package libcairo2-ocaml. Preparing to unpack .../222-libcairo2-ocaml_0.6.2+dfsg-1build1_amd64.deb ... Unpacking libcairo2-ocaml (0.6.2+dfsg-1build1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../223-ocaml-compiler-libs_4.13.1-3ubuntu1_amd64.deb ... Unpacking ocaml-compiler-libs (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../224-ocaml-interp_4.13.1-3ubuntu1_amd64.deb ... Unpacking ocaml-interp (4.13.1-3ubuntu1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../225-libncurses-dev_6.3+20220423-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.3+20220423-2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../226-libncurses5-dev_6.3+20220423-2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.3+20220423-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../227-ocaml_4.13.1-3ubuntu1_amd64.deb ... Unpacking ocaml (4.13.1-3ubuntu1) ... Selecting previously unselected package libcairo2-ocaml-dev. Preparing to unpack .../228-libcairo2-ocaml-dev_0.6.2+dfsg-1build1_amd64.deb ... Unpacking libcairo2-ocaml-dev (0.6.2+dfsg-1build1) ... Selecting previously unselected package libcommons-parent-java. Preparing to unpack .../229-libcommons-parent-java_43-1_all.deb ... Unpacking libcommons-parent-java (43-1) ... Selecting previously unselected package libcommons-logging-java. Preparing to unpack .../230-libcommons-logging-java_1.2-3_all.deb ... Unpacking libcommons-logging-java (1.2-3) ... Selecting previously unselected package libdatrie-dev:amd64. Preparing to unpack .../231-libdatrie-dev_0.2.13-2_amd64.deb ... Unpacking libdatrie-dev:amd64 (0.2.13-2) ... Selecting previously unselected package libdeflate-dev:amd64. Preparing to unpack .../232-libdeflate-dev_1.12-1_amd64.deb ... Unpacking libdeflate-dev:amd64 (1.12-1) ... Selecting previously unselected package libdrm-amdgpu1:amd64. Preparing to unpack .../233-libdrm-amdgpu1_2.4.113-2_amd64.deb ... Unpacking libdrm-amdgpu1:amd64 (2.4.113-2) ... Selecting previously unselected package libdrm-nouveau2:amd64. Preparing to unpack .../234-libdrm-nouveau2_2.4.113-2_amd64.deb ... Unpacking libdrm-nouveau2:amd64 (2.4.113-2) ... Selecting previously unselected package libdrm-radeon1:amd64. Preparing to unpack .../235-libdrm-radeon1_2.4.113-2_amd64.deb ... Unpacking libdrm-radeon1:amd64 (2.4.113-2) ... Selecting previously unselected package libglvnd0:amd64. Preparing to unpack .../236-libglvnd0_1.5.0-1_amd64.deb ... Unpacking libglvnd0:amd64 (1.5.0-1) ... Selecting previously unselected package libwayland-server0:amd64. Preparing to unpack .../237-libwayland-server0_1.21.0-1_amd64.deb ... Unpacking libwayland-server0:amd64 (1.21.0-1) ... Selecting previously unselected package libgbm1:amd64. Preparing to unpack .../238-libgbm1_22.2.1-1ubuntu1_amd64.deb ... Unpacking libgbm1:amd64 (22.2.1-1ubuntu1) ... Selecting previously unselected package libglapi-mesa:amd64. Preparing to unpack .../239-libglapi-mesa_22.2.1-1ubuntu1_amd64.deb ... Unpacking libglapi-mesa:amd64 (22.2.1-1ubuntu1) ... Selecting previously unselected package libx11-xcb1:amd64. Preparing to unpack .../240-libx11-xcb1_2%3a1.8.1-2_amd64.deb ... Unpacking libx11-xcb1:amd64 (2:1.8.1-2) ... Selecting previously unselected package libxcb-dri2-0:amd64. Preparing to unpack .../241-libxcb-dri2-0_1.15-1_amd64.deb ... Unpacking libxcb-dri2-0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-dri3-0:amd64. Preparing to unpack .../242-libxcb-dri3-0_1.15-1_amd64.deb ... Unpacking libxcb-dri3-0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-present0:amd64. Preparing to unpack .../243-libxcb-present0_1.15-1_amd64.deb ... Unpacking libxcb-present0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-sync1:amd64. Preparing to unpack .../244-libxcb-sync1_1.15-1_amd64.deb ... Unpacking libxcb-sync1:amd64 (1.15-1) ... Selecting previously unselected package libxcb-xfixes0:amd64. Preparing to unpack .../245-libxcb-xfixes0_1.15-1_amd64.deb ... Unpacking libxcb-xfixes0:amd64 (1.15-1) ... Selecting previously unselected package libxshmfence1:amd64. Preparing to unpack .../246-libxshmfence1_1.3-1build4_amd64.deb ... Unpacking libxshmfence1:amd64 (1.3-1build4) ... Selecting previously unselected package libegl-mesa0:amd64. Preparing to unpack .../247-libegl-mesa0_22.2.1-1ubuntu1_amd64.deb ... Unpacking libegl-mesa0:amd64 (22.2.1-1ubuntu1) ... Selecting previously unselected package libegl1:amd64. Preparing to unpack .../248-libegl1_1.5.0-1_amd64.deb ... Unpacking libegl1:amd64 (1.5.0-1) ... Selecting previously unselected package libxcb-glx0:amd64. Preparing to unpack .../249-libxcb-glx0_1.15-1_amd64.deb ... Unpacking libxcb-glx0:amd64 (1.15-1) ... Selecting previously unselected package libxxf86vm1:amd64. Preparing to unpack .../250-libxxf86vm1_1%3a1.1.4-1build3_amd64.deb ... Unpacking libxxf86vm1:amd64 (1:1.1.4-1build3) ... Selecting previously unselected package libllvm15:amd64. Preparing to unpack .../251-libllvm15_1%3a15.0.2-1_amd64.deb ... Unpacking libllvm15:amd64 (1:15.0.2-1) ... Selecting previously unselected package libsensors-config. Preparing to unpack .../252-libsensors-config_1%3a3.6.0-7ubuntu1_all.deb ... Unpacking libsensors-config (1:3.6.0-7ubuntu1) ... Selecting previously unselected package libsensors5:amd64. Preparing to unpack .../253-libsensors5_1%3a3.6.0-7ubuntu1_amd64.deb ... Unpacking libsensors5:amd64 (1:3.6.0-7ubuntu1) ... Selecting previously unselected package libgl1-mesa-dri:amd64. Preparing to unpack .../254-libgl1-mesa-dri_22.2.1-1ubuntu1_amd64.deb ... Unpacking libgl1-mesa-dri:amd64 (22.2.1-1ubuntu1) ... Selecting previously unselected package libglx-mesa0:amd64. Preparing to unpack .../255-libglx-mesa0_22.2.1-1ubuntu1_amd64.deb ... Unpacking libglx-mesa0:amd64 (22.2.1-1ubuntu1) ... Selecting previously unselected package libglx0:amd64. Preparing to unpack .../256-libglx0_1.5.0-1_amd64.deb ... Unpacking libglx0:amd64 (1.5.0-1) ... Selecting previously unselected package libgl1:amd64. Preparing to unpack .../257-libgl1_1.5.0-1_amd64.deb ... Unpacking libgl1:amd64 (1.5.0-1) ... Selecting previously unselected package libglx-dev:amd64. Preparing to unpack .../258-libglx-dev_1.5.0-1_amd64.deb ... Unpacking libglx-dev:amd64 (1.5.0-1) ... Selecting previously unselected package libgl-dev:amd64. Preparing to unpack .../259-libgl-dev_1.5.0-1_amd64.deb ... Unpacking libgl-dev:amd64 (1.5.0-1) ... Selecting previously unselected package libegl-dev:amd64. Preparing to unpack .../260-libegl-dev_1.5.0-1_amd64.deb ... Unpacking libegl-dev:amd64 (1.5.0-1) ... Selecting previously unselected package libglvnd-core-dev:amd64. Preparing to unpack .../261-libglvnd-core-dev_1.5.0-1_amd64.deb ... Unpacking libglvnd-core-dev:amd64 (1.5.0-1) ... Selecting previously unselected package libgles1:amd64. Preparing to unpack .../262-libgles1_1.5.0-1_amd64.deb ... Unpacking libgles1:amd64 (1.5.0-1) ... Selecting previously unselected package libgles2:amd64. Preparing to unpack .../263-libgles2_1.5.0-1_amd64.deb ... Unpacking libgles2:amd64 (1.5.0-1) ... Selecting previously unselected package libgles-dev:amd64. Preparing to unpack .../264-libgles-dev_1.5.0-1_amd64.deb ... Unpacking libgles-dev:amd64 (1.5.0-1) ... Selecting previously unselected package libopengl0:amd64. Preparing to unpack .../265-libopengl0_1.5.0-1_amd64.deb ... Unpacking libopengl0:amd64 (1.5.0-1) ... Selecting previously unselected package libopengl-dev:amd64. Preparing to unpack .../266-libopengl-dev_1.5.0-1_amd64.deb ... Unpacking libopengl-dev:amd64 (1.5.0-1) ... Selecting previously unselected package libglvnd-dev:amd64. Preparing to unpack .../267-libglvnd-dev_1.5.0-1_amd64.deb ... Unpacking libglvnd-dev:amd64 (1.5.0-1) ... Selecting previously unselected package libegl1-mesa-dev:amd64. Preparing to unpack .../268-libegl1-mesa-dev_22.2.1-1ubuntu1_amd64.deb ... Unpacking libegl1-mesa-dev:amd64 (22.2.1-1ubuntu1) ... Selecting previously unselected package libepoxy-dev:amd64. Preparing to unpack .../269-libepoxy-dev_1.5.10-1_amd64.deb ... Unpacking libepoxy-dev:amd64 (1.5.10-1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../270-libfindlib-ocaml_1.9.3-1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.3-1) ... Selecting previously unselected package libfribidi-dev:amd64. Preparing to unpack .../271-libfribidi-dev_1.0.8-2.1ubuntu1_amd64.deb ... Unpacking libfribidi-dev:amd64 (1.0.8-2.1ubuntu1) ... Selecting previously unselected package libgdk-pixbuf2.0-bin. Preparing to unpack .../272-libgdk-pixbuf2.0-bin_2.42.9+dfsg-1_amd64.deb ... Unpacking libgdk-pixbuf2.0-bin (2.42.9+dfsg-1) ... Selecting previously unselected package libjpeg-turbo8-dev:amd64. Preparing to unpack .../273-libjpeg-turbo8-dev_2.1.2-0ubuntu1_amd64.deb ... Unpacking libjpeg-turbo8-dev:amd64 (2.1.2-0ubuntu1) ... Selecting previously unselected package libjpeg8-dev:amd64. Preparing to unpack .../274-libjpeg8-dev_8c-2ubuntu10_amd64.deb ... Unpacking libjpeg8-dev:amd64 (8c-2ubuntu10) ... Selecting previously unselected package libjpeg-dev:amd64. Preparing to unpack .../275-libjpeg-dev_8c-2ubuntu10_amd64.deb ... Unpacking libjpeg-dev:amd64 (8c-2ubuntu10) ... Selecting previously unselected package libjbig-dev:amd64. Preparing to unpack .../276-libjbig-dev_2.1-3.1build3_amd64.deb ... Unpacking libjbig-dev:amd64 (2.1-3.1build3) ... Selecting previously unselected package liblzma-dev:amd64. Preparing to unpack .../277-liblzma-dev_5.2.5-2.1_amd64.deb ... Unpacking liblzma-dev:amd64 (5.2.5-2.1) ... Selecting previously unselected package libtiffxx5:amd64. Preparing to unpack .../278-libtiffxx5_4.4.0-4ubuntu3.1_amd64.deb ... Unpacking libtiffxx5:amd64 (4.4.0-4ubuntu3.1) ... Selecting previously unselected package liblerc-dev:amd64. Preparing to unpack .../279-liblerc-dev_3.0+ds-1ubuntu1_amd64.deb ... Unpacking liblerc-dev:amd64 (3.0+ds-1ubuntu1) ... Selecting previously unselected package libtiff-dev:amd64. Preparing to unpack .../280-libtiff-dev_4.4.0-4ubuntu3.1_amd64.deb ... Unpacking libtiff-dev:amd64 (4.4.0-4ubuntu3.1) ... Selecting previously unselected package libgdk-pixbuf-2.0-dev:amd64. Preparing to unpack .../281-libgdk-pixbuf-2.0-dev_2.42.9+dfsg-1_amd64.deb ... Unpacking libgdk-pixbuf-2.0-dev:amd64 (2.42.9+dfsg-1) ... Selecting previously unselected package libgraphite2-dev:amd64. Preparing to unpack .../282-libgraphite2-dev_1.3.14-1build2_amd64.deb ... Unpacking libgraphite2-dev:amd64 (1.3.14-1build2) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../283-libharfbuzz-icu0_2.7.4-1ubuntu5_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (2.7.4-1ubuntu5) ... Selecting previously unselected package libharfbuzz-gobject0:amd64. Preparing to unpack .../284-libharfbuzz-gobject0_2.7.4-1ubuntu5_amd64.deb ... Unpacking libharfbuzz-gobject0:amd64 (2.7.4-1ubuntu5) ... Selecting previously unselected package libicu-dev:amd64. Preparing to unpack .../285-libicu-dev_71.1-3ubuntu1_amd64.deb ... Unpacking libicu-dev:amd64 (71.1-3ubuntu1) ... Selecting previously unselected package libharfbuzz-dev:amd64. Preparing to unpack .../286-libharfbuzz-dev_2.7.4-1ubuntu5_amd64.deb ... Unpacking libharfbuzz-dev:amd64 (2.7.4-1ubuntu5) ... Selecting previously unselected package libthai-dev:amd64. Preparing to unpack .../287-libthai-dev_0.1.29-1build1_amd64.deb ... Unpacking libthai-dev:amd64 (0.1.29-1build1) ... Selecting previously unselected package libxft-dev:amd64. Preparing to unpack .../288-libxft-dev_2.3.4-1_amd64.deb ... Unpacking libxft-dev:amd64 (2.3.4-1) ... Selecting previously unselected package pango1.0-tools. Preparing to unpack .../289-pango1.0-tools_1.50.10+ds-1_amd64.deb ... Unpacking pango1.0-tools (1.50.10+ds-1) ... Selecting previously unselected package libpango1.0-dev:amd64. Preparing to unpack .../290-libpango1.0-dev_1.50.10+ds-1_amd64.deb ... Unpacking libpango1.0-dev:amd64 (1.50.10+ds-1) ... Selecting previously unselected package libwayland-bin. Preparing to unpack .../291-libwayland-bin_1.21.0-1_amd64.deb ... Unpacking libwayland-bin (1.21.0-1) ... Selecting previously unselected package libwayland-dev:amd64. Preparing to unpack .../292-libwayland-dev_1.21.0-1_amd64.deb ... Unpacking libwayland-dev:amd64 (1.21.0-1) ... Selecting previously unselected package libxcomposite-dev:amd64. Preparing to unpack .../293-libxcomposite-dev_1%3a0.4.5-1build2_amd64.deb ... Unpacking libxcomposite-dev:amd64 (1:0.4.5-1build2) ... Selecting previously unselected package libxcursor-dev:amd64. Preparing to unpack .../294-libxcursor-dev_1%3a1.2.1-1_amd64.deb ... Unpacking libxcursor-dev:amd64 (1:1.2.1-1) ... Selecting previously unselected package libxdamage-dev:amd64. Preparing to unpack .../295-libxdamage-dev_1%3a1.1.5-2build2_amd64.deb ... Unpacking libxdamage-dev:amd64 (1:1.1.5-2build2) ... Selecting previously unselected package libxinerama-dev:amd64. Preparing to unpack .../296-libxinerama-dev_2%3a1.1.4-3_amd64.deb ... Unpacking libxinerama-dev:amd64 (2:1.1.4-3) ... Selecting previously unselected package libxkbcommon-dev:amd64. Preparing to unpack .../297-libxkbcommon-dev_1.4.1-1_amd64.deb ... Unpacking libxkbcommon-dev:amd64 (1.4.1-1) ... Selecting previously unselected package libxrandr-dev:amd64. Preparing to unpack .../298-libxrandr-dev_2%3a1.5.2-2_amd64.deb ... Unpacking libxrandr-dev:amd64 (2:1.5.2-2) ... Selecting previously unselected package wayland-protocols. Preparing to unpack .../299-wayland-protocols_1.26-1_all.deb ... Unpacking wayland-protocols (1.26-1) ... Selecting previously unselected package libgtk-3-dev:amd64. Preparing to unpack .../300-libgtk-3-dev_3.24.34-3ubuntu2_amd64.deb ... Unpacking libgtk-3-dev:amd64 (3.24.34-3ubuntu2) ... Selecting previously unselected package libxml2-dev:amd64. Preparing to unpack .../301-libxml2-dev_2.9.14+dfsg-1_amd64.deb ... Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1) ... Selecting previously unselected package libgtksourceview-3.0-dev:amd64. Preparing to unpack .../302-libgtksourceview-3.0-dev_3.24.11-2build1_amd64.deb ... Unpacking libgtksourceview-3.0-dev:amd64 (3.24.11-2build1) ... Selecting previously unselected package liblablgtk3-ocaml. Preparing to unpack .../303-liblablgtk3-ocaml_3.1.2-1_amd64.deb ... Unpacking liblablgtk3-ocaml (3.1.2-1) ... Selecting previously unselected package liblablgtk3-ocaml-dev. Preparing to unpack .../304-liblablgtk3-ocaml-dev_3.1.2-1_amd64.deb ... Unpacking liblablgtk3-ocaml-dev (3.1.2-1) ... Selecting previously unselected package liblablgtksourceview3-ocaml. Preparing to unpack .../305-liblablgtksourceview3-ocaml_3.1.2-1_amd64.deb ... Unpacking liblablgtksourceview3-ocaml (3.1.2-1) ... Selecting previously unselected package liblablgtksourceview3-ocaml-dev. Preparing to unpack .../306-liblablgtksourceview3-ocaml-dev_3.1.2-1_amd64.deb ... Unpacking liblablgtksourceview3-ocaml-dev (3.1.2-1) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../307-libnum-ocaml_1.4-2build1_amd64.deb ... Unpacking libnum-ocaml (1.4-2build1) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../308-libnum-ocaml-dev_1.4-2build1_amd64.deb ... Unpacking libnum-ocaml-dev (1.4-2build1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../309-ocaml-findlib_1.9.3-1_amd64.deb ... Unpacking ocaml-findlib (1.9.3-1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../310-ocaml-nox_4.13.1-3ubuntu1_all.deb ... Unpacking ocaml-nox (4.13.1-3ubuntu1) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../311-preview-latex-style_12.2-1ubuntu1_all.deb ... Unpacking preview-latex-style (12.2-1ubuntu1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../312-texlive-latex-base_2022.20220722-1_all.deb ... Unpacking texlive-latex-base (2022.20220722-1) ... Selecting previously unselected package libfontbox-java. Preparing to unpack .../313-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 .../314-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 .../315-texlive-latex-recommended_2022.20220722-1_all.deb ... Unpacking texlive-latex-recommended (2022.20220722-1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../316-texlive-pictures_2022.20220722-1_all.deb ... Unpacking texlive-pictures (2022.20220722-1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../317-texlive-latex-extra_2022.20220722-2_all.deb ... Unpacking texlive-latex-extra (2022.20220722-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../318-dh-ocaml_1.1.3_all.deb ... Unpacking dh-ocaml (1.1.3) ... Setting up libpipeline1:amd64 (1.5.6-2) ... Setting up libgraphite2-3:amd64 (1.3.14-1build2) ... Setting up liblcms2-2:amd64 (2.13.1-1) ... Setting up libpixman-1-0:amd64 (0.40.0-1ubuntu0.22.10.1) ... Setting up libicu71:amd64 (71.1-3ubuntu1) ... Setting up libwayland-server0:amd64 (1.21.0-1) ... Setting up libxau6:amd64 (1:1.0.9-1build5) ... Setting up libncurses-dev:amd64 (6.3+20220423-2) ... Setting up libpixman-1-dev:amd64 (0.40.0-1ubuntu0.22.10.1) ... Setting up bsdextrautils (2.38-4ubuntu1) ... Setting up libglvnd-core-dev:amd64 (1.5.0-1) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libdatrie1:amd64 (0.2.13-2) ... Setting up libmagic-mgc (1:5.41-4) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:amd64 (2.74.0-3) ... Setting up libglvnd0:amd64 (1.5.0-1) ... Setting up libijs-0.35:amd64 (0.35-15build2) ... Setting up libtexluajit2:amd64 (2022.20220321.62855-4) ... Setting up libdebhelper-perl (13.9.1ubuntu1) ... Setting up libbrotli1:amd64 (1.0.9-2build6) ... Setting up libfontbox-java (1:1.8.16-2) ... Setting up libgdk-pixbuf2.0-common (2.42.9+dfsg-1) ... Setting up x11-common (1:7.7+23ubuntu2) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up dh-ocaml (1.1.3) ... Setting up libsensors-config (1:3.6.0-7ubuntu1) ... Setting up libmagic1:amd64 (1:5.41-4) ... Setting up libnetpbm11:amd64 (2:10.97.00-2) ... Setting up libdeflate0:amd64 (1.12-1) ... Setting up gettext-base (0.21-8) ... Setting up m4 (1.4.19-1) ... Setting up xkb-data (2.35.1-1) ... Setting up liblzo2-2:amd64 (2.10-2build3) ... Setting up libzzip-0-13:amd64 (0.13.72+dfsg.1-1.1) ... Setting up file (1:5.41-4) ... Setting up libffi-dev:amd64 (3.4.2-4) ... Setting up libpthread-stubs0-dev:amd64 (0.4-1build2) ... Setting up libjbig0:amd64 (2.1-3.1build3) ... Setting up libpcre2-16-0:amd64 (10.40-1ubuntu1) ... Setting up libcolord2:amd64 (1.4.6-1) ... Setting up libopengl0:amd64 (1.5.0-1) ... Setting up poppler-data (0.4.11-1) ... Setting up libdconf1:amd64 (0.40.0-3) ... Setting up xtrans-dev (1.4.0-1) ... Setting up libgraphite2-dev:amd64 (1.3.14-1build2) ... Setting up libfontenc1:amd64 (1:1.1.4-1build3) ... Setting up autotools-dev (20220109.1) ... Setting up libpcre2-32-0:amd64 (10.40-1ubuntu1) ... Setting up libglib2.0-data (2.74.0-3) ... Setting up libgles2:amd64 (1.5.0-1) ... Setting up libexpat1-dev:amd64 (2.4.8-2) ... Setting up libfreetype6:amd64 (2.12.1+dfsg-3) ... Setting up libx11-data (2:1.8.1-2) ... Setting up libepoxy0:amd64 (1.5.10-1) ... Setting up libjbig2dec0:amd64 (0.19-3build2) ... Setting up liblerc3:amd64 (3.0+ds-1ubuntu1) ... Setting up libteckit0:amd64 (2.5.11+ds1-1) ... Setting up uuid-dev:amd64 (2.38-4ubuntu1) ... Setting up libapache-pom-java (18-1) ... Setting up libavahi-common-data:amd64 (0.8-6ubuntu1) ... Setting up libgles1:amd64 (1.5.0-1) ... Setting up libdbus-1-3:amd64 (1.14.0-2ubuntu3) ... Setting up xfonts-encodings (1:1.0.5-0ubuntu2) ... Setting up libfribidi0:amd64 (1.0.8-2.1ubuntu1) ... Setting up t1utils (1.41-4build2) ... Setting up libtexlua53-5:amd64 (2022.20220321.62855-4) ... Setting up libidn12:amd64 (1.41-1) ... Setting up autopoint (0.21-8) ... Setting up icu-devtools (71.1-3ubuntu1) ... Setting up ocaml-base (4.13.1-3ubuntu1) ... Setting up pkg-config (0.29.2-1ubuntu3) ... Setting up fonts-dejavu-core (2.37-2build1) ... Setting up libsepol-dev:amd64 (3.4-2) ... Setting up ucf (3.0043) ... Setting up libsensors5:amd64 (1:3.6.0-7ubuntu1) ... Setting up liblerc-dev:amd64 (3.0+ds-1ubuntu1) ... Setting up libjpeg-turbo8:amd64 (2.1.2-0ubuntu1) ... Setting up libglapi-mesa:amd64 (22.2.1-1ubuntu1) ... Setting up libkpathsea6:amd64 (2022.20220321.62855-4) ... Setting up autoconf (2.71-2) ... Setting up libwebp7:amd64 (1.2.2-2) ... Setting up liblzma-dev:amd64 (5.2.5-2.1) ... Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-4.1ubuntu1) ... Setting up libnum-ocaml (1.4-2build1) ... Setting up libpcre2-posix3:amd64 (10.40-1ubuntu1) ... Setting up libmd0:amd64 (1.0.4-2) ... Setting up wayland-protocols (1.26-1) ... Setting up libdatrie-dev:amd64 (0.2.13-2) ... Setting up libxshmfence1:amd64 (1.3-1build4) ... Setting up at-spi2-common (2.46.0-3) ... Setting up dbus-session-bus-common (1.14.0-2ubuntu3) ... Setting up xml-core (0.18+nmu1) ... Setting up libuchardet0:amd64 (0.0.7-1build2) ... Setting up libgtksourceview-3.0-common (3.24.11-2build1) ... Setting up libncurses5-dev:amd64 (6.3+20220423-2) ... Setting up fonts-lmodern (2.005-1) ... Setting up libopenjp2-7:amd64 (2.5.0-1) ... Setting up libsub-override-perl (0.09-3) ... Setting up libharfbuzz0b:amd64 (2.7.4-1ubuntu5) ... Setting up libthai-data (0.1.29-1build1) ... Setting up libgirepository-1.0-1:amd64 (1.74.0-2) ... Setting up xorg-sgml-doctools (1:1.11-1.1) ... Setting up libatk1.0-0:amd64 (2.46.0-3) ... Setting up libwayland-egl1:amd64 (1.21.0-1) ... Setting up libopengl-dev:amd64 (1.5.0-1) ... Setting up dbus-system-bus-common (1.14.0-2ubuntu3) ... Setting up libbsd0:amd64 (0.11.6-1) ... Setting up python3-lib2to3 (3.10.7-1) ... Setting up libdeflate-dev:amd64 (1.12-1) ... Setting up libdrm-common (2.4.113-2) ... Setting up libelf1:amd64 (0.187-4) ... Setting up libicu-dev:amd64 (71.1-3ubuntu1) ... Setting up libxml2:amd64 (2.9.14+dfsg-1) ... Setting up xdg-utils (1.1.3-4.1ubuntu3) ... update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode Setting up dbus-bin (1.14.0-2ubuntu3) ... Setting up libbrotli-dev:amd64 (1.0.9-2build6) ... Setting up libsynctex2:amd64 (2022.20220321.62855-4) ... Setting up libxkbcommon0:amd64 (1.4.1-1) ... Setting up libwayland-client0:amd64 (1.21.0-1) ... Setting up libjpeg8:amd64 (8c-2ubuntu10) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up python3-distutils (3.10.7-1) ... Setting up libfile-stripnondeterminism-perl (1.13.0-1) ... Setting up libglib2.0-dev-bin (2.74.0-3) ... Setting up libblkid-dev:amd64 (2.38-4ubuntu1) ... Setting up libpaper1:amd64 (1.1.28build2) ... Creating config file /etc/papersize with new version Setting up libice6:amd64 (2:1.0.10-1build2) ... Setting up libdw1:amd64 (0.187-4) ... Setting up libjpeg-turbo8-dev:amd64 (2.1.2-0ubuntu1) ... Setting up libxdmcp6:amd64 (1:1.1.3-0ubuntu5) ... Setting up libxcb1:amd64 (1.15-1) ... Setting up gettext (0.21-8) ... Setting up libharfbuzz-icu0:amd64 (2.7.4-1ubuntu5) ... Setting up libxcb-xfixes0:amd64 (1.15-1) ... Setting up libpdfbox-java (1:1.8.16-2) ... Setting up libpcre2-dev:amd64 (10.40-1ubuntu1) ... Setting up libtool (2.4.7-4) ... Setting up libxcb-render0:amd64 (1.15-1) ... Setting up libselinux1-dev:amd64 (3.4-1) ... Setting up fontconfig-config (2.13.1-4.4ubuntu1) ... Setting up libfribidi-dev:amd64 (1.0.8-2.1ubuntu1) ... Setting up libxcb-glx0:amd64 (1.15-1) ... Setting up libxkbcommon-dev:amd64 (1.4.1-1) ... Setting up libedit2:amd64 (3.1-20210910-1build1) ... Setting up libpng-dev:amd64 (1.6.38-2) ... Setting up libcommons-parent-java (43-1) ... Setting up libavahi-common3:amd64 (0.8-6ubuntu1) ... Setting up libjbig-dev:amd64 (2.1-3.1build3) ... Setting up libfindlib-ocaml (1.9.3-1) ... Setting up libcommons-logging-java (1.2-3) ... Setting up libglib2.0-bin (2.74.0-3) ... Setting up libxcb-shm0:amd64 (1.15-1) ... Setting up dbus-daemon (1.14.0-2ubuntu3) ... Setting up libharfbuzz-gobject0:amd64 (2.7.4-1ubuntu5) ... Setting up libpaper-utils (1.1.28build2) ... Setting up xfonts-utils (1:7.7+6build2) ... Setting up libfreetype-dev:amd64 (2.12.1+dfsg-3) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libxcb-present0:amd64 (1.15-1) ... Setting up dh-autoreconf (20) ... Setting up tex-common (6.17) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libthai0:amd64 (0.1.29-1build1) ... Setting up libwayland-bin (1.21.0-1) ... Setting up libxml2-dev:amd64 (2.9.14+dfsg-1) ... Setting up libptexenc1:amd64 (2022.20220321.62855-4) ... Setting up libxcb-sync1:amd64 (1.15-1) ... Setting up dbus (1.14.0-2ubuntu3) ... Setting up shared-mime-info (2.2-1) ... Setting up ocaml-findlib (1.9.3-1) ... Setting up gir1.2-glib-2.0:amd64 (1.74.0-2) ... Setting up libthai-dev:amd64 (0.1.29-1build1) ... Setting up libxcb-dri2-0:amd64 (1.15-1) ... Setting up dh-strip-nondeterminism (1.13.0-1) ... Setting up libdrm2:amd64 (2.4.113-2) ... Setting up dwz (0.14-1build2) ... Setting up groff-base (1.22.4-8build1) ... Setting up libwayland-cursor0:amd64 (1.21.0-1) ... Setting up libllvm15:amd64 (1:15.0.2-1) ... Setting up libpam-systemd:amd64 (251.4-1ubuntu7) ... Setting up debugedit (1:5.0-5) ... Setting up libx11-6:amd64 (2:1.8.1-2) ... Setting up libtiff5:amd64 (4.4.0-4ubuntu3.1) ... Setting up libjpeg8-dev:amd64 (8c-2ubuntu10) ... Setting up libxcomposite1:amd64 (1:0.4.5-1build2) ... Setting up libsm6:amd64 (2:1.2.3-1build2) ... Setting up libavahi-client3:amd64 (0.8-6ubuntu1) ... Setting up libmount-dev:amd64 (2.38-4ubuntu1) ... Setting up libtiffxx5:amd64 (4.4.0-4ubuntu3.1) ... Setting up libdrm-amdgpu1:amd64 (2.4.113-2) ... Setting up libxcb-dri3-0:amd64 (1.15-1) ... Setting up libx11-xcb1:amd64 (2:1.8.1-2) ... Setting up libdrm-nouveau2:amd64 (2.4.113-2) ... Setting up gir1.2-freedesktop:amd64 (1.74.0-2) ... Setting up libxdamage1:amd64 (1:1.1.5-2build2) ... Setting up libxpm4:amd64 (1:3.5.12-1build2) ... Setting up libxrender1:amd64 (1:0.9.10-1.1) ... Setting up libgbm1:amd64 (22.2.1-1ubuntu1) ... Setting up gir1.2-atk-1.0:amd64 (2.46.0-3) ... Setting up libdrm-radeon1:amd64 (2.4.113-2) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up preview-latex-style (12.2-1ubuntu1) ... Setting up libgl1-mesa-dri:amd64 (22.2.1-1ubuntu1) ... Setting up libjpeg-dev:amd64 (8c-2ubuntu10) ... Setting up libxext6:amd64 (2:1.3.4-1build1) ... Setting up fonts-urw-base35 (20200910-4) ... Setting up man-db (2.10.2-2) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer. Setting up libwayland-dev:amd64 (1.21.0-1) ... Setting up gir1.2-harfbuzz-0.0:amd64 (2.7.4-1ubuntu5) ... Setting up libfreetype6-dev:amd64 (2.12.1+dfsg-3) ... Setting up libxxf86vm1:amd64 (1:1.1.4-1build3) ... Setting up dbus-user-session (1.14.0-2ubuntu3) ... Setting up libegl-mesa0:amd64 (22.2.1-1ubuntu1) ... Setting up libglib2.0-dev:amd64 (2.74.0-3) ... Setting up libtiff-dev:amd64 (4.4.0-4ubuntu3.1) ... Setting up libxfixes3:amd64 (1:6.0.0-1) ... Setting up libxinerama1:amd64 (2:1.1.4-3) ... Setting up libxrandr2:amd64 (2:1.5.2-2) ... Setting up netpbm (2:10.97.00-2) ... Setting up libxt6:amd64 (1:1.2.1-1) ... Setting up libcups2:amd64 (2.4.2-1ubuntu2) ... Setting up libegl1:amd64 (1.5.0-1) ... Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.9+dfsg-1) ... Setting up libatk1.0-dev:amd64 (2.46.0-3) ... Setting up libgs9-common (9.56.1~dfsg1-0ubuntu3) ... Setting up gtk-update-icon-cache (3.24.34-3ubuntu2) ... Setting up libharfbuzz-dev:amd64 (2.7.4-1ubuntu5) ... Setting up libxmu6:amd64 (2:1.1.3-3) ... Setting up libglx-mesa0:amd64 (22.2.1-1ubuntu1) ... Setting up libxi6:amd64 (2:1.8-1build1) ... Setting up libglx0:amd64 (1.5.0-1) ... Setting up gir1.2-gdkpixbuf-2.0:amd64 (2.42.9+dfsg-1) ... Setting up libxtst6:amd64 (2:1.2.3-1.1) ... Setting up libxcursor1:amd64 (1:1.2.1-1) ... Setting up debhelper (13.9.1ubuntu1) ... Setting up dconf-service (0.40.0-3) ... Setting up libxaw7:amd64 (2:1.0.14-1) ... Setting up libatspi2.0-0:amd64 (2.46.0-3) ... Setting up libatk-bridge2.0-0:amd64 (2.46.0-3) ... Setting up libgl1:amd64 (1.5.0-1) ... Setting up libgdk-pixbuf2.0-bin (2.42.9+dfsg-1) ... Setting up libgdk-pixbuf-2.0-dev:amd64 (2.42.9+dfsg-1) ... Setting up dconf-gsettings-backend:amd64 (0.40.0-3) ... Setting up gir1.2-atspi-2.0:amd64 (2.46.0-3) ... Setting up libgtk-3-common (3.24.34-3ubuntu2) ... Setting up ocaml-compiler-libs (4.13.1-3ubuntu1) ... Setting up ocaml-interp (4.13.1-3ubuntu1) ... Setting up adwaita-icon-theme (41.0-1ubuntu1) ... 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 (4.13.1-3ubuntu1) ... Setting up humanity-icon-theme (0.6.16) ... Setting up ocaml-nox (4.13.1-3ubuntu1) ... Setting up libnum-ocaml-dev (1.4-2build1) ... Setting up ubuntu-mono (20.10-0ubuntu2) ... Processing triggers for sgml-base (1.30) ... Setting up libfontconfig1:amd64 (2.13.1-4.4ubuntu1) ... Setting up x11proto-dev (2022.1-1) ... Setting up fontconfig (2.13.1-4.4ubuntu1) ... Regenerating fonts cache... done. Setting up libxft2:amd64 (2.3.4-1) ... Setting up libxau-dev:amd64 (1:1.0.9-1build5) ... Setting up libgs9:amd64 (9.56.1~dfsg1-0ubuntu3) ... Setting up libice-dev:amd64 (2:1.0.10-1build2) ... Setting up libfontconfig-dev:amd64 (2.13.1-4.4ubuntu1) ... Setting up libsm-dev:amd64 (2:1.2.3-1build2) ... Processing triggers for libc-bin (2.36-0ubuntu4) ... Setting up libpango-1.0-0:amd64 (1.50.10+ds-1) ... Setting up ghostscript (9.56.1~dfsg1-0ubuntu3) ... Setting up libcairo2:amd64 (1.16.0-5ubuntu2) ... Setting up libxdmcp-dev:amd64 (1:1.1.3-0ubuntu5) ... Setting up libdbus-1-dev:amd64 (1.14.0-2ubuntu3) ... Setting up texlive-binaries (2022.20220321.62855-4) ... 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 libcairo-gobject2:amd64 (1.16.0-5ubuntu2) ... Setting up libpangoft2-1.0-0:amd64 (1.50.10+ds-1) ... Setting up texlive-base (2022.20220722-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/tex-ini-files/pdftexconfig.tex Setting up libpangocairo-1.0-0:amd64 (1.50.10+ds-1) ... Setting up libcairo-script-interpreter2:amd64 (1.16.0-5ubuntu2) ... Setting up libfontconfig1-dev:amd64 (2.13.1-4.4ubuntu1) ... Setting up libxcb1-dev:amd64 (1.15-1) ... Setting up libpangoxft-1.0-0:amd64 (1.50.10+ds-1) ... Setting up libgtk-3-0:amd64 (3.24.34-3ubuntu2) ... Setting up pango1.0-tools (1.50.10+ds-1) ... Setting up libx11-dev:amd64 (2:1.8.1-2) ... Setting up libcairo2-ocaml (0.6.2+dfsg-1build1) ... Setting up libgtksourceview-3.0-1:amd64 (3.24.11-2build1) ... Setting up libxfixes-dev:amd64 (1:6.0.0-1) ... Setting up libxcb-shm0-dev:amd64 (1.15-1) ... Setting up gir1.2-pango-1.0:amd64 (1.50.10+ds-1) ... Setting up texlive-latex-base (2022.20220722-1) ... Setting up texlive-latex-recommended (2022.20220722-1) ... Setting up liblablgtk3-ocaml (3.1.2-1) ... Setting up libxcb-render0-dev:amd64 (1.15-1) ... Setting up hevea (2.35-1build1) ... Setting up texlive-pictures (2022.20220722-1) ... Setting up libxext-dev:amd64 (2:1.3.4-1build1) ... Setting up libglx-dev:amd64 (1.5.0-1) ... Setting up libxi-dev:amd64 (2:1.8-1build1) ... Setting up libxrender-dev:amd64 (1:0.9.10-1.1) ... Setting up libgl-dev:amd64 (1.5.0-1) ... Setting up libcairo2-ocaml-dev (0.6.2+dfsg-1build1) ... Setting up libxft-dev:amd64 (2.3.4-1) ... Setting up libxtst-dev:amd64 (2:1.2.3-1.1) ... Setting up libxdamage-dev:amd64 (1:1.1.5-2build2) ... Setting up libatspi2.0-dev:amd64 (2.46.0-3) ... Setting up liblablgtksourceview3-ocaml (3.1.2-1) ... Setting up libegl-dev:amd64 (1.5.0-1) ... Setting up libxcomposite-dev:amd64 (1:0.4.5-1build2) ... Setting up libxcursor-dev:amd64 (1:1.2.1-1) ... Setting up libepoxy-dev:amd64 (1.5.10-1) ... Setting up gir1.2-gtk-3.0:amd64 (3.24.34-3ubuntu2) ... Setting up texlive-latex-extra (2022.20220722-2) ... Setting up libatk-bridge2.0-dev:amd64 (2.46.0-3) ... Setting up libxrandr-dev:amd64 (2:1.5.2-2) ... Setting up libxinerama-dev:amd64 (2:1.1.4-3) ... Setting up gir1.2-gtksource-3.0:amd64 (3.24.11-2build1) ... Setting up libcairo2-dev:amd64 (1.16.0-5ubuntu2) ... Setting up libgles-dev:amd64 (1.5.0-1) ... Setting up libglvnd-dev:amd64 (1.5.0-1) ... Setting up libpango1.0-dev:amd64 (1.50.10+ds-1) ... Setting up libegl1-mesa-dev:amd64 (22.2.1-1ubuntu1) ... Setting up libgtk-3-dev:amd64 (3.24.34-3ubuntu2) ... Setting up liblablgtk3-ocaml-dev (3.1.2-1) ... Setting up libgtksourceview-3.0-dev:amd64 (3.24.11-2build1) ... Setting up liblablgtksourceview3-ocaml-dev (3.1.2-1) ... Processing triggers for libc-bin (2.36-0ubuntu4) ... Processing triggers for tex-common (6.17) ... 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.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1 dpkg-buildpackage: info: source distribution kinetic 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: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_auto_clean dh_auto_clean: warning: Compatibility levels before 10 are deprecated (level 9 in use) 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 ide/default_bindings_src.exe 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/votour bin/fake_ide bin/ocamllibdep bin/coqdep_boot bin/doc_grammar 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 '*.vos' -o -name '*.vok' -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 ide/coq_lex.ml ide/protocol/xml_lexer.ml ide/utf8_convert.ml ide/config_lexer.ml tools/coqdoc/cpretty.ml tools/coqwc.ml tools/ocamllibdep.ml tools/coqdep_lexer.ml coqpp/coqpp_lex.ml coqpp/coqpp_parse.ml parsing/g_constr.ml parsing/g_prim.ml toplevel/g_toplevel.ml plugins/ssrmatching/g_ssrmatching.ml plugins/funind/g_indfun.ml plugins/ltac/g_rewrite.ml plugins/ltac/g_obligations.ml plugins/ltac/g_ltac.ml plugins/ltac/g_tactic.ml plugins/ltac/g_auto.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_class.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/extratactics.ml plugins/ltac/coretactics.ml plugins/ltac/extraargs.ml plugins/rtauto/g_rtauto.ml plugins/extraction/g_extraction.ml plugins/setoid_ring/g_newring.ml plugins/micromega/g_zify.ml plugins/micromega/g_micromega.ml plugins/cc/g_congruence.ml plugins/btauto/g_btauto.ml plugins/omega/g_omega.ml plugins/ssr/ssrvernac.ml plugins/ssr/ssrparser.ml plugins/syntax/g_numeral.ml plugins/syntax/g_string.ml plugins/firstorder/g_ground.ml plugins/derive/g_derive.ml plugins/nsatz/g_nsatz.ml vernac/g_proofs.ml vernac/g_vernac.ml user-contrib/Ltac2/g_ltac2.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 kernel/genOpcodeFiles.exe 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 rm -f vos/Makefile vos/Makefile.conf find . \( \ -name '*.stamp' -o -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' -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 toplevel/g_toplevel.ml plugins/ssrmatching/g_ssrmatching.ml plugins/funind/g_indfun.ml plugins/ltac/g_rewrite.ml plugins/ltac/g_obligations.ml plugins/ltac/g_ltac.ml plugins/ltac/g_tactic.ml plugins/ltac/g_auto.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_class.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/extratactics.ml plugins/ltac/coretactics.ml plugins/ltac/extraargs.ml plugins/rtauto/g_rtauto.ml plugins/extraction/g_extraction.ml plugins/setoid_ring/g_newring.ml plugins/micromega/g_zify.ml plugins/micromega/g_micromega.ml plugins/cc/g_congruence.ml plugins/btauto/g_btauto.ml plugins/omega/g_omega.ml plugins/ssr/ssrvernac.ml plugins/ssr/ssrparser.ml plugins/syntax/g_numeral.ml plugins/syntax/g_string.ml plugins/firstorder/g_ground.ml plugins/derive/g_derive.ml plugins/nsatz/g_nsatz.ml vernac/g_proofs.ml vernac/g_vernac.ml user-contrib/Ltac2/g_ltac2.ml find . \( -name '*~' -o -name '*.annot' \) -exec rm -f {} + rm -f gmon.out core find . -not -name . '(' -name '{arch}' -o -name '.*' -type d -o -name '_darcs' -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 '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 ide/.merlin kernel/.merlin plugins/.merlin .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 dh_clean: warning: Compatibility levels before 10 are deprecated (level 9 in use) 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.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1.tar.xz dpkg-source: info: building coq in coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1.dsc dpkg-genbuildinfo --build=source -O../coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_source.buildinfo dpkg-genchanges -sa --build=source -O../coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_source.changes dpkg-genchanges: warning: the current version (8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1) is earlier than the previous one (8.11~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=kinetic --arch=amd64 RECIPEBRANCHBUILD-3448140 Scanning for processes to kill in build RECIPEBRANCHBUILD-3448140