https://launchpad.net/~jgross-h/+archive/ubuntu/coq-master-daily/+recipebuild/2868571 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lgw01-amd64-021 4.15.0-156-generic #163-Ubuntu SMP Thu Aug 19 23:31:58 UTC 2021 x86_64 Buildd toolchain package versions: launchpad-buildd_201~498~ubuntu18.04.1 python3-lpbuildd_201~498~ubuntu18.04.1 sbuild_0.75.0-1ubuntu1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu16.04.1 bzr_2.7.0+bzr6622-10 git-build-recipe_0.3.6~git201906051340.ff11471~ubuntu18.04.1 git_1:2.17.1-1ubuntu0.9 dpkg-dev_1.19.0.5ubuntu2.3 python-debian_0.1.32 python3-debian_0.1.32. Syncing the system clock with the buildd NTP service... 15 Sep 14:02:08 ntpdate[1714]: adjust time server 10.211.37.1 offset -0.000430 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=bionic --arch=amd64 RECIPEBRANCHBUILD-2868571 --image-type chroot /home/buildd/filecache-default/540947c8a8a5222e9f34150afed945f9f01ccf43 Creating target for build RECIPEBRANCHBUILD-2868571 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=bionic --arch=amd64 RECIPEBRANCHBUILD-2868571 Starting target for build RECIPEBRANCHBUILD-2868571 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=bionic --arch=amd64 RECIPEBRANCHBUILD-2868571 'deb http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic main' 'deb http://ftpmaster.internal/ubuntu bionic main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu bionic-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu bionic-updates main restricted universe multiverse' Overriding sources.list in build-RECIPEBRANCHBUILD-2868571 RUN: /usr/share/launchpad-buildd/bin/in-target add-trusted-keys --backend=chroot --series=bionic --arch=amd64 RECIPEBRANCHBUILD-2868571 Adding trusted keys to build-RECIPEBRANCHBUILD-2868571 Warning: apt-key output should not be parsed (stdout is not a terminal) OK Warning: apt-key output should not be parsed (stdout is not a terminal) /etc/apt/trusted.gpg -------------------- pub rsa4096 2014-12-19 [SC] 017C CCC8 B006 C270 6476 BBE4 E58B 19DA A454 A7D9 uid [ unknown] Launchpad PPA for Jason Gross /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-archive.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 790B C727 7767 219C 42C8 6F93 3B4F E6AC C0B2 1F32 uid [ unknown] Ubuntu Archive Automatic Signing Key (2012) /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-cdimage.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 8439 38DF 228D 22F7 B374 2BC0 D94A A3F0 EFE2 1092 uid [ unknown] Ubuntu CD Image Automatic Signing Key (2012) RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=bionic --arch=amd64 RECIPEBRANCHBUILD-2868571 Updating target for build RECIPEBRANCHBUILD-2868571 Hit:1 http://ftpmaster.internal/ubuntu bionic InRelease Get:2 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic InRelease [15.9 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-security InRelease [88.7 kB] Get:4 http://ftpmaster.internal/ubuntu bionic-updates InRelease [88.7 kB] Get:5 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 Packages [5680 B] Get:6 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main Translation-en [4048 B] Get:7 http://ftpmaster.internal/ubuntu bionic-security/main amd64 Packages [1869 kB] Get:8 http://ftpmaster.internal/ubuntu bionic-security/main Translation-en [341 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-security/restricted amd64 Packages [438 kB] Get:10 http://ftpmaster.internal/ubuntu bionic-security/restricted Translation-en [58.8 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-security/universe amd64 Packages [1138 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-security/universe Translation-en [259 kB] Get:13 http://ftpmaster.internal/ubuntu bionic-security/multiverse amd64 Packages [20.9 kB] Get:14 http://ftpmaster.internal/ubuntu bionic-security/multiverse Translation-en [4732 B] Get:15 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 Packages [2215 kB] Get:16 http://ftpmaster.internal/ubuntu bionic-updates/main Translation-en [433 kB] Get:17 http://ftpmaster.internal/ubuntu bionic-updates/restricted amd64 Packages [462 kB] Get:18 http://ftpmaster.internal/ubuntu bionic-updates/restricted Translation-en [62.5 kB] Get:19 http://ftpmaster.internal/ubuntu bionic-updates/universe amd64 Packages [1749 kB] Get:20 http://ftpmaster.internal/ubuntu bionic-updates/universe Translation-en [375 kB] Get:21 http://ftpmaster.internal/ubuntu bionic-updates/multiverse amd64 Packages [27.3 kB] Get:22 http://ftpmaster.internal/ubuntu bionic-updates/multiverse Translation-en [6808 B] Fetched 9664 kB in 5s (1932 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: advancecomp apt base-files bash binutils binutils-common binutils-x86-64-linux-gnu bsdutils bzip2 ca-certificates cpp cpp-7 debconf dpkg dpkg-dev e2fsprogs fdisk g++ g++-7 gcc gcc-7 gcc-7-base gcc-8-base gpg gpg-agent gpgconf gpgv grep gzip libapparmor1 libapt-pkg5.0 libasan4 libatomic1 libaudit-common libaudit1 libbinutils libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcc1-0 libcilkrts5 libcom-err2 libcryptsetup12 libdb5.3 libdevmapper1.02.1 libdpkg-perl libext2fs2 libfdisk1 libgcc-7-dev libgcc1 libgcrypt20 libgnutls30 libgomp1 libhogweed4 libidn11 libidn2-0 libitm1 libjson-c3 libkmod2 liblsan0 liblz4-1 libmount1 libmpx2 libncurses5 libncursesw5 libnettle6 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libperl5.26 libpng16-16 libprocps6 libquadmath0 libseccomp2 libsmartcols1 libsqlite3-0 libss2 libssl1.1 libstdc++-7-dev libstdc++6 libsystemd0 libtinfo5 libtsan0 libubsan0 libudev1 libunistring2 libuuid1 libzstd1 linux-libc-dev login mount ncurses-base ncurses-bin openssl passwd patch perl perl-base perl-modules-5.26 pkgbinarymangler procps systemd systemd-sysv tar tzdata ubuntu-keyring util-linux 112 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 71.5 MB of archives. After this operation, 5942 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libc6-dev amd64 2.27-3ubuntu1.4 [2585 kB] Get:2 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libc-dev-bin amd64 2.27-3ubuntu1.4 [71.8 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-security/main amd64 linux-libc-dev amd64 4.15.0-156.163 [990 kB] Get:4 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libtsan0 amd64 8.4.0-1ubuntu1~18.04 [288 kB] Get:5 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libquadmath0 amd64 8.4.0-1ubuntu1~18.04 [134 kB] Get:6 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libmpx2 amd64 8.4.0-1ubuntu1~18.04 [11.6 kB] Get:7 http://ftpmaster.internal/ubuntu bionic-security/main amd64 liblsan0 amd64 8.4.0-1ubuntu1~18.04 [133 kB] Get:8 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libitm1 amd64 8.4.0-1ubuntu1~18.04 [27.9 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libgomp1 amd64 8.4.0-1ubuntu1~18.04 [76.5 kB] Get:10 http://ftpmaster.internal/ubuntu bionic-security/main amd64 gcc-8-base amd64 8.4.0-1ubuntu1~18.04 [18.7 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libgcc1 amd64 1:8.4.0-1ubuntu1~18.04 [40.6 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libcc1-0 amd64 8.4.0-1ubuntu1~18.04 [39.4 kB] Get:13 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libatomic1 amd64 8.4.0-1ubuntu1~18.04 [9192 B] Get:14 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libstdc++6 amd64 8.4.0-1ubuntu1~18.04 [400 kB] Get:15 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libc6 amd64 2.27-3ubuntu1.4 [2832 kB] Get:16 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 base-files amd64 10.1ubuntu2.11 [60.4 kB] Get:17 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 bash amd64 4.4.18-2ubuntu1.2 [614 kB] Get:18 http://ftpmaster.internal/ubuntu bionic-security/main amd64 bsdutils amd64 1:2.31.1-0.4ubuntu3.7 [60.2 kB] Get:19 http://ftpmaster.internal/ubuntu bionic-security/main amd64 tar amd64 1.29b-2ubuntu0.2 [234 kB] Get:20 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 dpkg amd64 1.19.0.5ubuntu2.3 [1136 kB] Get:21 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libext2fs2 amd64 1.44.1-1ubuntu1.3 [157 kB] Get:22 http://ftpmaster.internal/ubuntu bionic-security/main amd64 e2fsprogs amd64 1.44.1-1ubuntu1.3 [391 kB] Get:23 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 grep amd64 3.1-2build1 [159 kB] Get:24 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 gzip amd64 1.6-5ubuntu1.1 [89.8 kB] Get:25 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 login amd64 1:4.5-1ubuntu2 [308 kB] Get:26 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 ncurses-bin amd64 6.1-1ubuntu1.18.04 [163 kB] Get:27 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libperl5.26 amd64 5.26.1-6ubuntu0.5 [3534 kB] Get:28 http://ftpmaster.internal/ubuntu bionic-security/main amd64 perl amd64 5.26.1-6ubuntu0.5 [201 kB] Get:29 http://ftpmaster.internal/ubuntu bionic-security/main amd64 perl-base amd64 5.26.1-6ubuntu0.5 [1391 kB] Get:30 http://ftpmaster.internal/ubuntu bionic-security/main amd64 perl-modules-5.26 all 5.26.1-6ubuntu0.5 [2762 kB] Get:31 http://ftpmaster.internal/ubuntu bionic-security/main amd64 bzip2 amd64 1.0.6-8.1ubuntu0.2 [33.9 kB] Get:32 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libbz2-1.0 amd64 1.0.6-8.1ubuntu0.2 [31.2 kB] Get:33 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libdb5.3 amd64 5.3.28-13.1ubuntu1.1 [672 kB] Get:34 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libuuid1 amd64 2.31.1-0.4ubuntu3.7 [20.1 kB] Get:35 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libblkid1 amd64 2.31.1-0.4ubuntu3.7 [124 kB] Get:36 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libfdisk1 amd64 2.31.1-0.4ubuntu3.7 [164 kB] Get:37 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libmount1 amd64 2.31.1-0.4ubuntu3.7 [136 kB] Get:38 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libncurses5 amd64 6.1-1ubuntu1.18.04 [95.1 kB] Get:39 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libtinfo5 amd64 6.1-1ubuntu1.18.04 [80.3 kB] Get:40 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libncursesw5 amd64 6.1-1ubuntu1.18.04 [117 kB] Get:41 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libsmartcols1 amd64 2.31.1-0.4ubuntu3.7 [83.8 kB] Get:42 http://ftpmaster.internal/ubuntu bionic-security/main amd64 fdisk amd64 2.31.1-0.4ubuntu3.7 [108 kB] Get:43 http://ftpmaster.internal/ubuntu bionic-security/main amd64 util-linux amd64 2.31.1-0.4ubuntu3.7 [904 kB] Get:44 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libc-bin amd64 2.27-3ubuntu1.4 [643 kB] Get:45 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 ncurses-base all 6.1-1ubuntu1.18.04 [17.8 kB] Get:46 http://ftpmaster.internal/ubuntu bionic-security/main amd64 liblz4-1 amd64 0.0~r131-2ubuntu3.1 [48.5 kB] Get:47 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libapparmor1 amd64 2.12-4ubuntu5.1 [31.3 kB] Get:48 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libaudit-common all 1:2.8.2-1ubuntu1.1 [4068 B] Get:49 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libaudit1 amd64 1:2.8.2-1ubuntu1.1 [38.7 kB] Get:50 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libudev1 amd64 237-3ubuntu10.52 [55.8 kB] Get:51 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libdevmapper1.02.1 amd64 2:1.02.145-4.1ubuntu3.18.04.3 [127 kB] Get:52 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libgcrypt20 amd64 1.8.1-4ubuntu1.2 [417 kB] Get:53 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libjson-c3 amd64 0.12.1-1.3ubuntu0.3 [21.7 kB] Get:54 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libcryptsetup12 amd64 2:2.0.2-1ubuntu1.2 [134 kB] Get:55 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libkmod2 amd64 24-1ubuntu3.5 [40.2 kB] Get:56 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 debconf all 1.5.66ubuntu1 [124 kB] Get:57 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libpam0g amd64 1.1.8-3.6ubuntu2.18.04.3 [55.0 kB] Get:58 http://ftpmaster.internal/ubuntu bionic-security/main amd64 mount amd64 2.31.1-0.4ubuntu3.7 [107 kB] Get:59 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libprocps6 amd64 2:3.3.12-3ubuntu1.2 [31.8 kB] Get:60 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 procps amd64 2:3.3.12-3ubuntu1.2 [225 kB] Get:61 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 systemd amd64 237-3ubuntu10.52 [2913 kB] Get:62 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libsystemd0 amd64 237-3ubuntu10.52 [206 kB] Get:63 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libzstd1 amd64 1.3.3+dfsg-2ubuntu1.2 [189 kB] Get:64 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libapt-pkg5.0 amd64 1.6.14 [809 kB] Get:65 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 gpgv amd64 2.2.4-1ubuntu1.4 [198 kB] Get:66 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 ubuntu-keyring all 2018.09.18.1~18.04.2 [22.3 kB] Get:67 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libnettle6 amd64 3.4.1-0ubuntu0.18.04.1 [111 kB] Get:68 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libhogweed4 amd64 3.4.1-0ubuntu0.18.04.1 [140 kB] Get:69 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libunistring2 amd64 0.9.9-0ubuntu2 [368 kB] Get:70 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libidn2-0 amd64 2.0.4-1.1ubuntu0.2 [48.7 kB] Get:71 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libp11-kit0 amd64 0.23.9-2ubuntu0.1 [187 kB] Get:72 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libgnutls30 amd64 3.5.18-1ubuntu1.4 [645 kB] Get:73 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libseccomp2 amd64 2.5.1-1ubuntu1~18.04.1 [43.1 kB] Get:74 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 apt amd64 1.6.14 [1207 kB] Get:75 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libpam-modules-bin amd64 1.1.8-3.6ubuntu2.18.04.3 [40.3 kB] Get:76 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libpam-modules amd64 1.1.8-3.6ubuntu2.18.04.3 [252 kB] Get:77 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 systemd-sysv amd64 237-3ubuntu10.52 [13.6 kB] Get:78 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libcom-err2 amd64 1.44.1-1ubuntu1.3 [8848 B] Get:79 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libpam-runtime all 1.1.8-3.6ubuntu2.18.04.3 [37.1 kB] Get:80 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libss2 amd64 1.44.1-1ubuntu1.3 [11.1 kB] Get:81 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 passwd amd64 1:4.5-1ubuntu2 [816 kB] Get:82 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libssl1.1 amd64 1.1.1-1ubuntu2.1~18.04.13 [1302 kB] Get:83 http://ftpmaster.internal/ubuntu bionic-security/main amd64 openssl amd64 1.1.1-1ubuntu2.1~18.04.13 [614 kB] Get:84 http://ftpmaster.internal/ubuntu bionic-security/main amd64 ca-certificates all 20210119~18.04.1 [147 kB] Get:85 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libidn11 amd64 1.33-2.1ubuntu1.2 [46.6 kB] Get:86 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libsqlite3-0 amd64 3.22.0-1ubuntu0.4 [499 kB] Get:87 http://ftpmaster.internal/ubuntu bionic-security/main amd64 tzdata all 2021a-0ubuntu0.18.04 [190 kB] Get:88 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libpng16-16 amd64 1.6.34-1ubuntu0.18.04.2 [176 kB] Get:89 http://ftpmaster.internal/ubuntu bionic-security/main amd64 advancecomp amd64 2.1-1ubuntu0.18.04.1 [200 kB] Get:90 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libbinutils amd64 2.30-21ubuntu1~18.04.5 [489 kB] Get:91 http://ftpmaster.internal/ubuntu bionic-security/main amd64 binutils-common amd64 2.30-21ubuntu1~18.04.5 [197 kB] Get:92 http://ftpmaster.internal/ubuntu bionic-security/main amd64 binutils amd64 2.30-21ubuntu1~18.04.5 [3388 B] Get:93 http://ftpmaster.internal/ubuntu bionic-security/main amd64 binutils-x86-64-linux-gnu amd64 2.30-21ubuntu1~18.04.5 [1839 kB] Get:94 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libubsan0 amd64 7.5.0-3ubuntu1~18.04 [126 kB] Get:95 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libasan4 amd64 7.5.0-3ubuntu1~18.04 [358 kB] Get:96 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libcilkrts5 amd64 7.5.0-3ubuntu1~18.04 [42.5 kB] Get:97 http://ftpmaster.internal/ubuntu bionic-security/main amd64 g++-7 amd64 7.5.0-3ubuntu1~18.04 [9697 kB] Get:98 http://ftpmaster.internal/ubuntu bionic-security/main amd64 gcc-7 amd64 7.5.0-3ubuntu1~18.04 [9381 kB] Get:99 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libstdc++-7-dev amd64 7.5.0-3ubuntu1~18.04 [1471 kB] Get:100 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libgcc-7-dev amd64 7.5.0-3ubuntu1~18.04 [2378 kB] Get:101 http://ftpmaster.internal/ubuntu bionic-security/main amd64 cpp-7 amd64 7.5.0-3ubuntu1~18.04 [8591 kB] Get:102 http://ftpmaster.internal/ubuntu bionic-security/main amd64 gcc-7-base amd64 7.5.0-3ubuntu1~18.04 [18.3 kB] Get:103 http://ftpmaster.internal/ubuntu bionic-security/main amd64 cpp amd64 4:7.4.0-1ubuntu2.3 [27.7 kB] Get:104 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 dpkg-dev all 1.19.0.5ubuntu2.3 [607 kB] Get:105 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libdpkg-perl all 1.19.0.5ubuntu2.3 [211 kB] Get:106 http://ftpmaster.internal/ubuntu bionic-security/main amd64 patch amd64 2.7.6-2ubuntu1.1 [102 kB] Get:107 http://ftpmaster.internal/ubuntu bionic-security/main amd64 gcc amd64 4:7.4.0-1ubuntu2.3 [5184 B] Get:108 http://ftpmaster.internal/ubuntu bionic-security/main amd64 g++ amd64 4:7.4.0-1ubuntu2.3 [1568 B] Get:109 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 gpg amd64 2.2.4-1ubuntu1.4 [467 kB] Get:110 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 gpgconf amd64 2.2.4-1ubuntu1.4 [123 kB] Get:111 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 gpg-agent amd64 2.2.4-1ubuntu1.4 [227 kB] Get:112 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 pkgbinarymangler all 138.18.04.1 [53.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 71.5 MB in 8s (8565 kB/s) (Reading database ... 12511 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.27-3ubuntu1.4_amd64.deb ... Unpacking libc6-dev:amd64 (2.27-3ubuntu1.4) over (2.27-3ubuntu1) ... Preparing to unpack .../1-libc-dev-bin_2.27-3ubuntu1.4_amd64.deb ... Unpacking libc-dev-bin (2.27-3ubuntu1.4) over (2.27-3ubuntu1) ... Preparing to unpack .../2-linux-libc-dev_4.15.0-156.163_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.15.0-156.163) over (4.15.0-20.21) ... Preparing to unpack .../3-libtsan0_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking libtsan0:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../4-libquadmath0_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking libquadmath0:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../5-libmpx2_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking libmpx2:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../6-liblsan0_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking liblsan0:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../7-libitm1_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking libitm1:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../8-libgomp1_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking libgomp1:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../9-gcc-8-base_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking gcc-8-base:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Setting up gcc-8-base:amd64 (8.4.0-1ubuntu1~18.04) ... (Reading database ... 12511 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking libgcc1:amd64 (1:8.4.0-1ubuntu1~18.04) over (1:8-20180414-1ubuntu2) ... Setting up libgcc1:amd64 (1:8.4.0-1ubuntu1~18.04) ... (Reading database ... 12511 files and directories currently installed.) Preparing to unpack .../libcc1-0_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking libcc1-0:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libatomic1_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking libatomic1:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libstdc++6_8.4.0-1ubuntu1~18.04_amd64.deb ... Unpacking libstdc++6:amd64 (8.4.0-1ubuntu1~18.04) over (8-20180414-1ubuntu2) ... Setting up libstdc++6:amd64 (8.4.0-1ubuntu1~18.04) ... (Reading database ... 12511 files and directories currently installed.) Preparing to unpack .../libc6_2.27-3ubuntu1.4_amd64.deb ... Unpacking libc6:amd64 (2.27-3ubuntu1.4) over (2.27-3ubuntu1) ... Setting up libc6:amd64 (2.27-3ubuntu1.4) ... (Reading database ... 12511 files and directories currently installed.) Preparing to unpack .../base-files_10.1ubuntu2.11_amd64.deb ... Unpacking base-files (10.1ubuntu2.11) over (10.1ubuntu2) ... Setting up base-files (10.1ubuntu2.11) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... Installing new version of config file /etc/update-motd.d/50-motd-news ... Removing obsolete conffile /etc/default/motd-news ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../bash_4.4.18-2ubuntu1.2_amd64.deb ... Unpacking bash (4.4.18-2ubuntu1.2) over (4.4.18-2ubuntu1) ... Setting up bash (4.4.18-2ubuntu1.2) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.31.1-0.4ubuntu3.7_amd64.deb ... Unpacking bsdutils (1:2.31.1-0.4ubuntu3.7) over (1:2.31.1-0.4ubuntu3) ... Setting up bsdutils (1:2.31.1-0.4ubuntu3.7) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../tar_1.29b-2ubuntu0.2_amd64.deb ... Unpacking tar (1.29b-2ubuntu0.2) over (1.29b-2) ... Setting up tar (1.29b-2ubuntu0.2) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.0.5ubuntu2.3_amd64.deb ... Unpacking dpkg (1.19.0.5ubuntu2.3) over (1.19.0.5ubuntu2) ... Setting up dpkg (1.19.0.5ubuntu2.3) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libext2fs2_1.44.1-1ubuntu1.3_amd64.deb ... Unpacking libext2fs2:amd64 (1.44.1-1ubuntu1.3) over (1.44.1-1) ... Setting up libext2fs2:amd64 (1.44.1-1ubuntu1.3) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.44.1-1ubuntu1.3_amd64.deb ... Unpacking e2fsprogs (1.44.1-1ubuntu1.3) over (1.44.1-1) ... Setting up e2fsprogs (1.44.1-1ubuntu1.3) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../grep_3.1-2build1_amd64.deb ... Unpacking grep (3.1-2build1) over (3.1-2) ... Setting up grep (3.1-2build1) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../gzip_1.6-5ubuntu1.1_amd64.deb ... Unpacking gzip (1.6-5ubuntu1.1) over (1.6-5ubuntu1) ... Setting up gzip (1.6-5ubuntu1.1) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../login_1%3a4.5-1ubuntu2_amd64.deb ... Unpacking login (1:4.5-1ubuntu2) over (1:4.5-1ubuntu1) ... Setting up login (1:4.5-1ubuntu2) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.1-1ubuntu1.18.04_amd64.deb ... Unpacking ncurses-bin (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Setting up ncurses-bin (6.1-1ubuntu1.18.04) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libperl5.26_5.26.1-6ubuntu0.5_amd64.deb ... Unpacking libperl5.26:amd64 (5.26.1-6ubuntu0.5) over (5.26.1-6) ... Preparing to unpack .../perl_5.26.1-6ubuntu0.5_amd64.deb ... Unpacking perl (5.26.1-6ubuntu0.5) over (5.26.1-6) ... Preparing to unpack .../perl-base_5.26.1-6ubuntu0.5_amd64.deb ... Unpacking perl-base (5.26.1-6ubuntu0.5) over (5.26.1-6) ... Setting up perl-base (5.26.1-6ubuntu0.5) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../perl-modules-5.26_5.26.1-6ubuntu0.5_all.deb ... Unpacking perl-modules-5.26 (5.26.1-6ubuntu0.5) over (5.26.1-6) ... Preparing to unpack .../bzip2_1.0.6-8.1ubuntu0.2_amd64.deb ... Unpacking bzip2 (1.0.6-8.1ubuntu0.2) over (1.0.6-8.1) ... Preparing to unpack .../libbz2-1.0_1.0.6-8.1ubuntu0.2_amd64.deb ... Unpacking libbz2-1.0:amd64 (1.0.6-8.1ubuntu0.2) over (1.0.6-8.1) ... Setting up libbz2-1.0:amd64 (1.0.6-8.1ubuntu0.2) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libdb5.3_5.3.28-13.1ubuntu1.1_amd64.deb ... Unpacking libdb5.3:amd64 (5.3.28-13.1ubuntu1.1) over (5.3.28-13.1ubuntu1) ... Setting up libdb5.3:amd64 (5.3.28-13.1ubuntu1.1) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libuuid1_2.31.1-0.4ubuntu3.7_amd64.deb ... Unpacking libuuid1:amd64 (2.31.1-0.4ubuntu3.7) over (2.31.1-0.4ubuntu3) ... Setting up libuuid1:amd64 (2.31.1-0.4ubuntu3.7) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libblkid1_2.31.1-0.4ubuntu3.7_amd64.deb ... Unpacking libblkid1:amd64 (2.31.1-0.4ubuntu3.7) over (2.31.1-0.4ubuntu3) ... Setting up libblkid1:amd64 (2.31.1-0.4ubuntu3.7) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.31.1-0.4ubuntu3.7_amd64.deb ... Unpacking libfdisk1:amd64 (2.31.1-0.4ubuntu3.7) over (2.31.1-0.4ubuntu3) ... Setting up libfdisk1:amd64 (2.31.1-0.4ubuntu3.7) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libmount1_2.31.1-0.4ubuntu3.7_amd64.deb ... Unpacking libmount1:amd64 (2.31.1-0.4ubuntu3.7) over (2.31.1-0.4ubuntu3) ... Setting up libmount1:amd64 (2.31.1-0.4ubuntu3.7) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libncurses5_6.1-1ubuntu1.18.04_amd64.deb ... Unpacking libncurses5:amd64 (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Preparing to unpack .../libtinfo5_6.1-1ubuntu1.18.04_amd64.deb ... Unpacking libtinfo5:amd64 (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Setting up libtinfo5:amd64 (6.1-1ubuntu1.18.04) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libncursesw5_6.1-1ubuntu1.18.04_amd64.deb ... Unpacking libncursesw5:amd64 (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Setting up libncursesw5:amd64 (6.1-1ubuntu1.18.04) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.31.1-0.4ubuntu3.7_amd64.deb ... Unpacking libsmartcols1:amd64 (2.31.1-0.4ubuntu3.7) over (2.31.1-0.4ubuntu3) ... Setting up libsmartcols1:amd64 (2.31.1-0.4ubuntu3.7) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../fdisk_2.31.1-0.4ubuntu3.7_amd64.deb ... Unpacking fdisk (2.31.1-0.4ubuntu3.7) over (2.31.1-0.4ubuntu3) ... Setting up fdisk (2.31.1-0.4ubuntu3.7) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../util-linux_2.31.1-0.4ubuntu3.7_amd64.deb ... Unpacking util-linux (2.31.1-0.4ubuntu3.7) over (2.31.1-0.4ubuntu3) ... Setting up util-linux (2.31.1-0.4ubuntu3.7) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../libc-bin_2.27-3ubuntu1.4_amd64.deb ... Unpacking libc-bin (2.27-3ubuntu1.4) over (2.27-3ubuntu1) ... Setting up libc-bin (2.27-3ubuntu1.4) ... (Reading database ... 12512 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.1-1ubuntu1.18.04_all.deb ... Unpacking ncurses-base (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Setting up ncurses-base (6.1-1ubuntu1.18.04) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../liblz4-1_0.0~r131-2ubuntu3.1_amd64.deb ... Unpacking liblz4-1:amd64 (0.0~r131-2ubuntu3.1) over (0.0~r131-2ubuntu3) ... Setting up liblz4-1:amd64 (0.0~r131-2ubuntu3.1) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../libapparmor1_2.12-4ubuntu5.1_amd64.deb ... Unpacking libapparmor1:amd64 (2.12-4ubuntu5.1) over (2.12-4ubuntu5) ... Preparing to unpack .../libaudit-common_1%3a2.8.2-1ubuntu1.1_all.deb ... Unpacking libaudit-common (1:2.8.2-1ubuntu1.1) over (1:2.8.2-1ubuntu1) ... Setting up libaudit-common (1:2.8.2-1ubuntu1.1) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.2-1ubuntu1.1_amd64.deb ... Unpacking libaudit1:amd64 (1:2.8.2-1ubuntu1.1) over (1:2.8.2-1ubuntu1) ... Setting up libaudit1:amd64 (1:2.8.2-1ubuntu1.1) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../libudev1_237-3ubuntu10.52_amd64.deb ... Unpacking libudev1:amd64 (237-3ubuntu10.52) over (237-3ubuntu10) ... Setting up libudev1:amd64 (237-3ubuntu10.52) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../libdevmapper1.02.1_2%3a1.02.145-4.1ubuntu3.18.04.3_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.145-4.1ubuntu3.18.04.3) over (2:1.02.145-4.1ubuntu3) ... Preparing to unpack .../libgcrypt20_1.8.1-4ubuntu1.2_amd64.deb ... Unpacking libgcrypt20:amd64 (1.8.1-4ubuntu1.2) over (1.8.1-4ubuntu1) ... Setting up libgcrypt20:amd64 (1.8.1-4ubuntu1.2) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../libjson-c3_0.12.1-1.3ubuntu0.3_amd64.deb ... Unpacking libjson-c3:amd64 (0.12.1-1.3ubuntu0.3) over (0.12.1-1.3) ... Preparing to unpack .../libcryptsetup12_2%3a2.0.2-1ubuntu1.2_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.0.2-1ubuntu1.2) over (2:2.0.2-1ubuntu1) ... Preparing to unpack .../libkmod2_24-1ubuntu3.5_amd64.deb ... Unpacking libkmod2:amd64 (24-1ubuntu3.5) over (24-1ubuntu3) ... Preparing to unpack .../debconf_1.5.66ubuntu1_all.deb ... Unpacking debconf (1.5.66ubuntu1) over (1.5.66) ... Setting up debconf (1.5.66ubuntu1) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-3.6ubuntu2.18.04.3_amd64.deb ... Unpacking libpam0g:amd64 (1.1.8-3.6ubuntu2.18.04.3) over (1.1.8-3.6ubuntu2) ... Setting up libpam0g:amd64 (1.1.8-3.6ubuntu2.18.04.3) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../mount_2.31.1-0.4ubuntu3.7_amd64.deb ... Unpacking mount (2.31.1-0.4ubuntu3.7) over (2.31.1-0.4ubuntu3) ... Preparing to unpack .../libprocps6_2%3a3.3.12-3ubuntu1.2_amd64.deb ... Unpacking libprocps6:amd64 (2:3.3.12-3ubuntu1.2) over (2:3.3.12-3ubuntu1) ... Preparing to unpack .../procps_2%3a3.3.12-3ubuntu1.2_amd64.deb ... Unpacking procps (2:3.3.12-3ubuntu1.2) over (2:3.3.12-3ubuntu1) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.145-4.1ubuntu3.18.04.3) ... Setting up libjson-c3:amd64 (0.12.1-1.3ubuntu0.3) ... Setting up libcryptsetup12:amd64 (2:2.0.2-1ubuntu1.2) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../systemd_237-3ubuntu10.52_amd64.deb ... Unpacking systemd (237-3ubuntu10.52) over (237-3ubuntu10) ... Preparing to unpack .../libsystemd0_237-3ubuntu10.52_amd64.deb ... Unpacking libsystemd0:amd64 (237-3ubuntu10.52) over (237-3ubuntu10) ... Setting up libsystemd0:amd64 (237-3ubuntu10.52) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../libzstd1_1.3.3+dfsg-2ubuntu1.2_amd64.deb ... Unpacking libzstd1:amd64 (1.3.3+dfsg-2ubuntu1.2) over (1.3.3+dfsg-2ubuntu1) ... Setting up libzstd1:amd64 (1.3.3+dfsg-2ubuntu1.2) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.6.14_amd64.deb ... Unpacking libapt-pkg5.0:amd64 (1.6.14) over (1.6.1) ... Setting up libapt-pkg5.0:amd64 (1.6.14) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.4-1ubuntu1.4_amd64.deb ... Unpacking gpgv (2.2.4-1ubuntu1.4) over (2.2.4-1ubuntu1) ... Setting up gpgv (2.2.4-1ubuntu1.4) ... (Reading database ... 12514 files and directories currently installed.) Preparing to unpack .../ubuntu-keyring_2018.09.18.1~18.04.2_all.deb ... Unpacking ubuntu-keyring (2018.09.18.1~18.04.2) over (2018.02.28) ... Setting up ubuntu-keyring (2018.09.18.1~18.04.2) ... (Reading database ... 12515 files and directories currently installed.) Preparing to unpack .../libnettle6_3.4.1-0ubuntu0.18.04.1_amd64.deb ... Unpacking libnettle6:amd64 (3.4.1-0ubuntu0.18.04.1) over (3.4-1) ... Setting up libnettle6:amd64 (3.4.1-0ubuntu0.18.04.1) ... (Reading database ... 12515 files and directories currently installed.) Preparing to unpack .../libhogweed4_3.4.1-0ubuntu0.18.04.1_amd64.deb ... Unpacking libhogweed4:amd64 (3.4.1-0ubuntu0.18.04.1) over (3.4-1) ... Setting up libhogweed4:amd64 (3.4.1-0ubuntu0.18.04.1) ... (Reading database ... 12515 files and directories currently installed.) Preparing to unpack .../libunistring2_0.9.9-0ubuntu2_amd64.deb ... Unpacking libunistring2:amd64 (0.9.9-0ubuntu2) over (0.9.9-0ubuntu1) ... Setting up libunistring2:amd64 (0.9.9-0ubuntu2) ... (Reading database ... 12515 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.0.4-1.1ubuntu0.2_amd64.deb ... Unpacking libidn2-0:amd64 (2.0.4-1.1ubuntu0.2) over (2.0.4-1.1build2) ... Setting up libidn2-0:amd64 (2.0.4-1.1ubuntu0.2) ... (Reading database ... 12515 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.9-2ubuntu0.1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.9-2ubuntu0.1) over (0.23.9-2) ... Setting up libp11-kit0:amd64 (0.23.9-2ubuntu0.1) ... (Reading database ... 12515 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.5.18-1ubuntu1.4_amd64.deb ... Unpacking libgnutls30:amd64 (3.5.18-1ubuntu1.4) over (3.5.18-1ubuntu1) ... Setting up libgnutls30:amd64 (3.5.18-1ubuntu1.4) ... (Reading database ... 12515 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.1-1ubuntu1~18.04.1_amd64.deb ... Unpacking libseccomp2:amd64 (2.5.1-1ubuntu1~18.04.1) over (2.3.1-2.1ubuntu4) ... Setting up libseccomp2:amd64 (2.5.1-1ubuntu1~18.04.1) ... (Reading database ... 12515 files and directories currently installed.) Preparing to unpack .../archives/apt_1.6.14_amd64.deb ... Unpacking apt (1.6.14) over (1.6.1) ... Setting up apt (1.6.14) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... (Reading database ... 12522 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-3.6ubuntu2.18.04.3_amd64.deb ... Unpacking libpam-modules-bin (1.1.8-3.6ubuntu2.18.04.3) over (1.1.8-3.6ubuntu2) ... Setting up libpam-modules-bin (1.1.8-3.6ubuntu2.18.04.3) ... (Reading database ... 12524 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-3.6ubuntu2.18.04.3_amd64.deb ... Unpacking libpam-modules:amd64 (1.1.8-3.6ubuntu2.18.04.3) over (1.1.8-3.6ubuntu2) ... Setting up libpam-modules:amd64 (1.1.8-3.6ubuntu2.18.04.3) ... Setting up libapparmor1:amd64 (2.12-4ubuntu5.1) ... Setting up libkmod2:amd64 (24-1ubuntu3.5) ... Setting up mount (2.31.1-0.4ubuntu3.7) ... Setting up libncurses5:amd64 (6.1-1ubuntu1.18.04) ... Setting up libprocps6:amd64 (2:3.3.12-3ubuntu1.2) ... Setting up procps (2:3.3.12-3ubuntu1.2) ... Setting up systemd (237-3ubuntu10.52) ... Installing new version of config file /etc/dhcp/dhclient-enter-hooks.d/resolved ... Initializing machine ID from KVM UUID. (Reading database ... 12528 files and directories currently installed.) Preparing to unpack .../systemd-sysv_237-3ubuntu10.52_amd64.deb ... Unpacking systemd-sysv (237-3ubuntu10.52) over (237-3ubuntu10) ... Preparing to unpack .../libcom-err2_1.44.1-1ubuntu1.3_amd64.deb ... Unpacking libcom-err2:amd64 (1.44.1-1ubuntu1.3) over (1.44.1-1) ... Setting up libcom-err2:amd64 (1.44.1-1ubuntu1.3) ... (Reading database ... 12528 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.1.8-3.6ubuntu2.18.04.3_all.deb ... Unpacking libpam-runtime (1.1.8-3.6ubuntu2.18.04.3) over (1.1.8-3.6ubuntu2) ... Setting up libpam-runtime (1.1.8-3.6ubuntu2.18.04.3) ... (Reading database ... 12528 files and directories currently installed.) Preparing to unpack .../libss2_1.44.1-1ubuntu1.3_amd64.deb ... Unpacking libss2:amd64 (1.44.1-1ubuntu1.3) over (1.44.1-1) ... Setting up libss2:amd64 (1.44.1-1ubuntu1.3) ... (Reading database ... 12528 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.5-1ubuntu2_amd64.deb ... Unpacking passwd (1:4.5-1ubuntu2) over (1:4.5-1ubuntu1) ... Setting up passwd (1:4.5-1ubuntu2) ... (Reading database ... 12528 files and directories currently installed.) Preparing to unpack .../00-libssl1.1_1.1.1-1ubuntu2.1~18.04.13_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.1-1ubuntu2.1~18.04.13) over (1.1.0g-2ubuntu4) ... Preparing to unpack .../01-openssl_1.1.1-1ubuntu2.1~18.04.13_amd64.deb ... Unpacking openssl (1.1.1-1ubuntu2.1~18.04.13) over (1.1.0g-2ubuntu4) ... Preparing to unpack .../02-ca-certificates_20210119~18.04.1_all.deb ... Unpacking ca-certificates (20210119~18.04.1) over (20180409) ... Preparing to unpack .../03-libidn11_1.33-2.1ubuntu1.2_amd64.deb ... Unpacking libidn11:amd64 (1.33-2.1ubuntu1.2) over (1.33-2.1ubuntu1) ... Preparing to unpack .../04-libsqlite3-0_3.22.0-1ubuntu0.4_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.22.0-1ubuntu0.4) over (3.22.0-1) ... Preparing to unpack .../05-tzdata_2021a-0ubuntu0.18.04_all.deb ... Unpacking tzdata (2021a-0ubuntu0.18.04) over (2018d-1) ... Preparing to unpack .../06-libpng16-16_1.6.34-1ubuntu0.18.04.2_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.34-1ubuntu0.18.04.2) over (1.6.34-1) ... Preparing to unpack .../07-advancecomp_2.1-1ubuntu0.18.04.1_amd64.deb ... Unpacking advancecomp (2.1-1ubuntu0.18.04.1) over (2.1-1) ... Preparing to unpack .../08-libbinutils_2.30-21ubuntu1~18.04.5_amd64.deb ... Unpacking libbinutils:amd64 (2.30-21ubuntu1~18.04.5) over (2.30-15ubuntu1) ... Preparing to unpack .../09-binutils-common_2.30-21ubuntu1~18.04.5_amd64.deb ... Unpacking binutils-common:amd64 (2.30-21ubuntu1~18.04.5) over (2.30-15ubuntu1) ... Preparing to unpack .../10-binutils_2.30-21ubuntu1~18.04.5_amd64.deb ... Unpacking binutils (2.30-21ubuntu1~18.04.5) over (2.30-15ubuntu1) ... Preparing to unpack .../11-binutils-x86-64-linux-gnu_2.30-21ubuntu1~18.04.5_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.30-21ubuntu1~18.04.5) over (2.30-15ubuntu1) ... Preparing to unpack .../12-libubsan0_7.5.0-3ubuntu1~18.04_amd64.deb ... Unpacking libubsan0:amd64 (7.5.0-3ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../13-libasan4_7.5.0-3ubuntu1~18.04_amd64.deb ... Unpacking libasan4:amd64 (7.5.0-3ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../14-libcilkrts5_7.5.0-3ubuntu1~18.04_amd64.deb ... Unpacking libcilkrts5:amd64 (7.5.0-3ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../15-g++-7_7.5.0-3ubuntu1~18.04_amd64.deb ... Unpacking g++-7 (7.5.0-3ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../16-gcc-7_7.5.0-3ubuntu1~18.04_amd64.deb ... Unpacking gcc-7 (7.5.0-3ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../17-libstdc++-7-dev_7.5.0-3ubuntu1~18.04_amd64.deb ... Unpacking libstdc++-7-dev:amd64 (7.5.0-3ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../18-libgcc-7-dev_7.5.0-3ubuntu1~18.04_amd64.deb ... Unpacking libgcc-7-dev:amd64 (7.5.0-3ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../19-cpp-7_7.5.0-3ubuntu1~18.04_amd64.deb ... Unpacking cpp-7 (7.5.0-3ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../20-gcc-7-base_7.5.0-3ubuntu1~18.04_amd64.deb ... Unpacking gcc-7-base:amd64 (7.5.0-3ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../21-cpp_4%3a7.4.0-1ubuntu2.3_amd64.deb ... Unpacking cpp (4:7.4.0-1ubuntu2.3) over (4:7.3.0-3ubuntu2) ... Preparing to unpack .../22-dpkg-dev_1.19.0.5ubuntu2.3_all.deb ... Unpacking dpkg-dev (1.19.0.5ubuntu2.3) over (1.19.0.5ubuntu2) ... Preparing to unpack .../23-libdpkg-perl_1.19.0.5ubuntu2.3_all.deb ... Unpacking libdpkg-perl (1.19.0.5ubuntu2.3) over (1.19.0.5ubuntu2) ... Preparing to unpack .../24-patch_2.7.6-2ubuntu1.1_amd64.deb ... Unpacking patch (2.7.6-2ubuntu1.1) over (2.7.6-2ubuntu1) ... Preparing to unpack .../25-gcc_4%3a7.4.0-1ubuntu2.3_amd64.deb ... Unpacking gcc (4:7.4.0-1ubuntu2.3) over (4:7.3.0-3ubuntu2) ... Preparing to unpack .../26-g++_4%3a7.4.0-1ubuntu2.3_amd64.deb ... Unpacking g++ (4:7.4.0-1ubuntu2.3) over (4:7.3.0-3ubuntu2) ... Preparing to unpack .../27-gpg_2.2.4-1ubuntu1.4_amd64.deb ... Unpacking gpg (2.2.4-1ubuntu1.4) over (2.2.4-1ubuntu1) ... Preparing to unpack .../28-gpgconf_2.2.4-1ubuntu1.4_amd64.deb ... Unpacking gpgconf (2.2.4-1ubuntu1.4) over (2.2.4-1ubuntu1) ... Preparing to unpack .../29-gpg-agent_2.2.4-1ubuntu1.4_amd64.deb ... Unpacking gpg-agent (2.2.4-1ubuntu1.4) over (2.2.4-1ubuntu1) ... Preparing to unpack .../30-pkgbinarymangler_138.18.04.1_all.deb ... Unpacking pkgbinarymangler (138.18.04.1) over (138) ... Setting up libquadmath0:amd64 (8.4.0-1ubuntu1~18.04) ... Setting up libgomp1:amd64 (8.4.0-1ubuntu1~18.04) ... Setting up libatomic1:amd64 (8.4.0-1ubuntu1~18.04) ... Setting up libcc1-0:amd64 (8.4.0-1ubuntu1~18.04) ... Setting up libpng16-16:amd64 (1.6.34-1ubuntu0.18.04.2) ... Setting up tzdata (2021a-0ubuntu0.18.04) ... Current default time zone: 'Etc/UTC' Local time is now: Wed Sep 15 14:02:58 UTC 2021. Universal Time is now: Wed Sep 15 14:02:58 UTC 2021. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (237-3ubuntu10.52) ... Setting up libtsan0:amd64 (8.4.0-1ubuntu1~18.04) ... Setting up gpgconf (2.2.4-1ubuntu1.4) ... Setting up linux-libc-dev:amd64 (4.15.0-156.163) ... Setting up advancecomp (2.1-1ubuntu0.18.04.1) ... Setting up gpg-agent (2.2.4-1ubuntu1.4) ... Setting up perl-modules-5.26 (5.26.1-6ubuntu0.5) ... Setting up bzip2 (1.0.6-8.1ubuntu0.2) ... Setting up liblsan0:amd64 (8.4.0-1ubuntu1~18.04) ... Setting up gcc-7-base:amd64 (7.5.0-3ubuntu1~18.04) ... Setting up binutils-common:amd64 (2.30-21ubuntu1~18.04.5) ... Setting up libmpx2:amd64 (8.4.0-1ubuntu1~18.04) ... Setting up patch (2.7.6-2ubuntu1.1) ... Setting up libperl5.26:amd64 (5.26.1-6ubuntu0.5) ... Setting up libssl1.1:amd64 (1.1.1-1ubuntu2.1~18.04.13) ... Checking for services that may need to be restarted...done. Checking for services that may need to be restarted...done. Setting up openssl (1.1.1-1ubuntu2.1~18.04.13) ... Installing new version of config file /etc/ssl/openssl.cnf ... Setting up libsqlite3-0:amd64 (3.22.0-1ubuntu0.4) ... Setting up libc-dev-bin (2.27-3ubuntu1.4) ... Setting up ca-certificates (20210119~18.04.1) ... Updating certificates in /etc/ssl/certs... 23 added, 27 removed; done. Setting up libc6-dev:amd64 (2.27-3ubuntu1.4) ... Setting up libitm1:amd64 (8.4.0-1ubuntu1~18.04) ... Setting up libidn11:amd64 (1.33-2.1ubuntu1.2) ... Setting up gpg (2.2.4-1ubuntu1.4) ... Setting up pkgbinarymangler (138.18.04.1) ... Setting up libasan4:amd64 (7.5.0-3ubuntu1~18.04) ... Setting up libbinutils:amd64 (2.30-21ubuntu1~18.04.5) ... Setting up libcilkrts5:amd64 (7.5.0-3ubuntu1~18.04) ... Setting up libubsan0:amd64 (7.5.0-3ubuntu1~18.04) ... Setting up libgcc-7-dev:amd64 (7.5.0-3ubuntu1~18.04) ... Setting up cpp-7 (7.5.0-3ubuntu1~18.04) ... Setting up libstdc++-7-dev:amd64 (7.5.0-3ubuntu1~18.04) ... Setting up perl (5.26.1-6ubuntu0.5) ... Setting up binutils-x86-64-linux-gnu (2.30-21ubuntu1~18.04.5) ... Setting up cpp (4:7.4.0-1ubuntu2.3) ... Setting up libdpkg-perl (1.19.0.5ubuntu2.3) ... Setting up binutils (2.30-21ubuntu1~18.04.5) ... Setting up gcc-7 (7.5.0-3ubuntu1~18.04) ... Setting up g++-7 (7.5.0-3ubuntu1~18.04) ... Setting up gcc (4:7.4.0-1ubuntu2.3) ... Setting up dpkg-dev (1.19.0.5ubuntu2.3) ... Setting up g++ (4:7.4.0-1ubuntu2.3) ... Processing triggers for libc-bin (2.27-3ubuntu1.4) ... Processing triggers for ca-certificates (20210119~18.04.1) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/bin/buildrecipe --git RECIPEBRANCHBUILD-2868571 'Jason Gross' jgross@mit.edu bionic bionic universe PPA Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: distro-info-data libexpat1 libmpdec2 libpython3-stdlib libpython3.6-minimal libpython3.6-stdlib mime-support python3 python3-minimal python3.6 python3.6-minimal Suggested packages: lsb python3-doc python3-tk python3-venv python3.6-venv python3.6-doc binfmt-support Recommended packages: file The following NEW packages will be installed: distro-info-data libexpat1 libmpdec2 libpython3-stdlib libpython3.6-minimal libpython3.6-stdlib lsb-release mime-support python3 python3-minimal python3.6 python3.6-minimal 0 upgraded, 12 newly installed, 0 to remove and 0 not upgraded. Need to get 4347 kB of archives. After this operation, 22.7 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libpython3.6-minimal amd64 3.6.9-1~18.04ubuntu1.4 [534 kB] Get:2 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libexpat1 amd64 2.2.5-3ubuntu0.2 [80.5 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-security/main amd64 python3.6-minimal amd64 3.6.9-1~18.04ubuntu1.4 [1610 kB] Get:4 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 python3-minimal amd64 3.6.7-1~18.04 [23.7 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main amd64 mime-support all 3.60ubuntu1 [30.1 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main amd64 libmpdec2 amd64 2.4.2-1ubuntu1 [84.1 kB] Get:7 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libpython3.6-stdlib amd64 3.6.9-1~18.04ubuntu1.4 [1712 kB] Get:8 http://ftpmaster.internal/ubuntu bionic-security/main amd64 python3.6 amd64 3.6.9-1~18.04ubuntu1.4 [203 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libpython3-stdlib amd64 3.6.7-1~18.04 [7240 B] Get:10 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 python3 amd64 3.6.7-1~18.04 [47.2 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-security/main amd64 distro-info-data all 0.37ubuntu0.11 [4652 B] Get:12 http://ftpmaster.internal/ubuntu bionic/main amd64 lsb-release all 9.20170808ubuntu1 [11.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 4347 kB in 0s (9806 kB/s) Selecting previously unselected package libpython3.6-minimal:amd64. (Reading database ... 12534 files and directories currently installed.) Preparing to unpack .../libpython3.6-minimal_3.6.9-1~18.04ubuntu1.4_amd64.deb ... Unpacking libpython3.6-minimal:amd64 (3.6.9-1~18.04ubuntu1.4) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.2.5-3ubuntu0.2_amd64.deb ... Unpacking libexpat1:amd64 (2.2.5-3ubuntu0.2) ... Selecting previously unselected package python3.6-minimal. Preparing to unpack .../python3.6-minimal_3.6.9-1~18.04ubuntu1.4_amd64.deb ... Unpacking python3.6-minimal (3.6.9-1~18.04ubuntu1.4) ... Setting up libpython3.6-minimal:amd64 (3.6.9-1~18.04ubuntu1.4) ... Setting up libexpat1:amd64 (2.2.5-3ubuntu0.2) ... Setting up python3.6-minimal (3.6.9-1~18.04ubuntu1.4) ... Selecting previously unselected package python3-minimal. (Reading database ... 12781 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.6.7-1~18.04_amd64.deb ... Unpacking python3-minimal (3.6.7-1~18.04) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.60ubuntu1_all.deb ... Unpacking mime-support (3.60ubuntu1) ... Selecting previously unselected package libmpdec2:amd64. Preparing to unpack .../2-libmpdec2_2.4.2-1ubuntu1_amd64.deb ... Unpacking libmpdec2:amd64 (2.4.2-1ubuntu1) ... Selecting previously unselected package libpython3.6-stdlib:amd64. Preparing to unpack .../3-libpython3.6-stdlib_3.6.9-1~18.04ubuntu1.4_amd64.deb ... Unpacking libpython3.6-stdlib:amd64 (3.6.9-1~18.04ubuntu1.4) ... Selecting previously unselected package python3.6. Preparing to unpack .../4-python3.6_3.6.9-1~18.04ubuntu1.4_amd64.deb ... Unpacking python3.6 (3.6.9-1~18.04ubuntu1.4) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../5-libpython3-stdlib_3.6.7-1~18.04_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.6.7-1~18.04) ... Setting up python3-minimal (3.6.7-1~18.04) ... Selecting previously unselected package python3. (Reading database ... 13211 files and directories currently installed.) Preparing to unpack .../python3_3.6.7-1~18.04_amd64.deb ... Unpacking python3 (3.6.7-1~18.04) ... Selecting previously unselected package distro-info-data. Preparing to unpack .../distro-info-data_0.37ubuntu0.11_all.deb ... Unpacking distro-info-data (0.37ubuntu0.11) ... Selecting previously unselected package lsb-release. Preparing to unpack .../lsb-release_9.20170808ubuntu1_all.deb ... Unpacking lsb-release (9.20170808ubuntu1) ... Setting up mime-support (3.60ubuntu1) ... Setting up distro-info-data (0.37ubuntu0.11) ... Setting up libmpdec2:amd64 (2.4.2-1ubuntu1) ... Setting up libpython3.6-stdlib:amd64 (3.6.9-1~18.04ubuntu1.4) ... Setting up python3.6 (3.6.9-1~18.04ubuntu1.4) ... Setting up libpython3-stdlib:amd64 (3.6.7-1~18.04) ... Setting up python3 (3.6.7-1~18.04) ... running python rtupdate hooks for python3.6... running python post-rtupdate hooks for python3.6... Setting up lsb-release (9.20170808ubuntu1) ... Processing triggers for libc-bin (2.27-3ubuntu1.4) ... Git version: git version 2.17.1 git-build-recipe 0.3.6~git201906051340.ff11471~ubuntu18.04.1 Building recipe: # git-build-recipe format 0.4 deb-version {debupstream}~{time}+{revno}-0~daily{revno:packaging}-{git-commit} lp:~jgross-h/coq/+git/coq master nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian master-coqide-no RUN ['git-build-recipe', '--safe', '--no-build', '--manifest', '/home/buildd/build-RECIPEBRANCHBUILD-2868571/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'bionic', '--allow-fallback-to-native', '--append-version', '~ubuntu18.04.1', '/home/buildd/build-RECIPEBRANCHBUILD-2868571/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-2868571/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-2868571/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch patching file test-suite/success/Nsatz.v Hunk #1 succeeded at 464 (offset 3 lines). Hunk #2 succeeded at 476 (offset 3 lines). Applying patch /home/buildd/build-RECIPEBRANCHBUILD-2868571/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 132 with fuzz 2 (offset 58 lines). Now at patch /home/buildd/build-RECIPEBRANCHBUILD-2868571/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch /usr/lib/python3/dist-packages/debian/changelog.py:275: UserWarning: Found eof where expected first heading warnings.warn(message) /usr/lib/python3/dist-packages/debian/changelog.py:275: UserWarning: Found eof where expected first heading warnings.warn(message) Initialized empty Git repository in /home/buildd/build-RECIPEBRANCHBUILD-2868571/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.2 -> source/v8.2 * [new branch] v8.3 -> source/v8.3 * [new branch] v8.4 -> source/v8.4 * [new branch] v8.5 -> source/v8.5 * [new branch] v8.6 -> source/v8.6 * [new branch] v8.7 -> source/v8.7 * [new branch] v8.8 -> source/v8.8 * [new branch] v8.9 -> source/v8.9 * [new tag] V8.12.2 -> V8.12.2 * [new tag] V8.13.2 -> V8.13.2 * [new tag] V8.8.2 -> V8.8.2 * [new tag] V8.10+beta1 -> V8.10+beta1 * [new tag] V8.10+beta2 -> V8.10+beta2 * [new tag] V8.10+beta3 -> V8.10+beta3 * [new tag] V8.10.0 -> V8.10.0 * [new tag] V8.10.1 -> V8.10.1 * [new tag] V8.10.2 -> V8.10.2 * [new tag] V8.11+beta1 -> V8.11+beta1 * [new tag] V8.11.0 -> V8.11.0 * [new tag] V8.11.1 -> V8.11.1 * [new tag] V8.11.2 -> V8.11.2 * [new tag] V8.12+beta1 -> V8.12+beta1 * [new tag] V8.12.0 -> V8.12.0 * [new tag] V8.12.1 -> V8.12.1 * [new tag] V8.13+beta1 -> V8.13+beta1 * [new tag] V8.13.0 -> V8.13.0 * [new tag] V8.13.1 -> V8.13.1 * [new tag] V8.4pl3 -> V8.4pl3 * [new tag] V8.4pl4 -> V8.4pl4 * [new tag] V8.4pl5 -> V8.4pl5 * [new tag] V8.4pl6 -> V8.4pl6 * [new tag] V8.6.1 -> V8.6.1 * [new tag] V8.7+beta1 -> V8.7+beta1 * [new tag] V8.7+beta2 -> V8.7+beta2 * [new tag] V8.7.0 -> V8.7.0 * [new tag] V8.7.1 -> V8.7.1 * [new tag] V8.7.2 -> V8.7.2 * [new tag] V8.8+beta1 -> V8.8+beta1 * [new tag] V8.8.0 -> V8.8.0 * [new tag] V8.8.1 -> V8.8.1 * [new tag] V8.9+beta1 -> V8.9+beta1 * [new tag] V8.9.0 -> V8.9.0 * [new tag] V8.9.1 -> V8.9.1 Note: checking out 'dac05c8a3cdddcc961ef6648d38aa092537249ba'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by performing another checkout. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -b with the checkout command again. Example: git checkout -b HEAD is now at dac05c8a3c Merge PR #14881: [coqtop] [byte] [ocaml] Address OCaml 4.13 deprecations 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.3 -> source-packaging/v8.3 * [new branch] v8.5 -> source-packaging/v8.5 * [new branch] v8.5-coqide-no -> source-packaging/v8.5-coqide-no * [new branch] v8.5-precise -> source-packaging/v8.5-precise * [new branch] v8.6 -> source-packaging/v8.6 * [new branch] v8.6-coqide-no -> source-packaging/v8.6-coqide-no * [new branch] v8.6-precise -> source-packaging/v8.6-precise * [new branch] v8.7 -> source-packaging/v8.7 * [new branch] v8.7-coqide-no -> source-packaging/v8.7-coqide-no * [new branch] v8.7-precise -> source-packaging/v8.7-precise * [new branch] v8.8 -> source-packaging/v8.8 * [new branch] v8.8-coqide-no -> source-packaging/v8.8-coqide-no * [new branch] v8.9 -> source-packaging/v8.9 * [new branch] v8.9-coqide-no -> source-packaging/v8.9-coqide-no Get:1 file:/home/buildd/work/apt ./ InRelease Ign:1 file:/home/buildd/work/apt ./ InRelease Get:2 file:/home/buildd/work/apt ./ Release [1331 B] Get:2 file:/home/buildd/work/apt ./ Release [1331 B] Get:3 file:/home/buildd/work/apt ./ Release.gpg Ign:3 file:/home/buildd/work/apt ./ Release.gpg Get:4 file:/home/buildd/work/apt ./ Sources [271 B] Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dune file fontconfig-config fonts-dejavu-core fonts-lmodern gettext gettext-base ghostscript groff-base hevea intltool-debian libarchive-zip-perl libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcroco3 libcups2 libcupsimage2 libdbus-1-3 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libharfbuzz-icu0 libharfbuzz0b libice6 libicu60 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkpathsea6 libkrb5-3 libkrb5support0 liblcms2-2 libmagic-mgc libmagic1 libncurses5-dev libnetpbm10 libnspr4 libnss3 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler73 libpotrace0 libptexenc1 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsigsegv2 libsm6 libsynctex1 libtexlua52 libtexluajit2 libtiff5 libtimedate-perl libtinfo-dev libtool libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6 libzarith-ocaml libzarith-ocaml-dev libzzip-0-13 m4 man-db multiarch-support netpbm ocaml-base-nox ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp ocaml-nox po-debconf poppler-data preview-latex-style python python-minimal python2.7 python2.7-minimal t1utils tex-common texlive-base texlive-binaries texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ucf x11-common xdg-utils 0 upgraded, 128 newly installed, 0 to remove and 0 not upgraded. Need to get 209 MB of archives. After this operation, 838 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 multiarch-support amd64 2.27-3ubuntu1.4 [6944 B] Get:2 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 ocaml-dune amd64 2.7.0-1.1~bionic~ppa17 [1979 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libxau6 amd64 1:1.0.8-1ubuntu1 [7556 B] Get:4 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libbsd0 amd64 0.8.7-1ubuntu0.1 [41.6 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main amd64 libxdmcp6 amd64 1:1.1.2-3 [10.7 kB] Get:6 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libxcb1 amd64 1.13-2~ubuntu18.04 [45.5 kB] Get:7 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libx11-data all 2:1.6.4-3ubuntu0.4 [114 kB] Get:8 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libx11-6 amd64 2:1.6.4-3ubuntu0.4 [572 kB] Get:9 http://ftpmaster.internal/ubuntu bionic/main amd64 libxext6 amd64 2:1.3.3-1 [29.4 kB] Get:10 http://ftpmaster.internal/ubuntu bionic/main amd64 bsdmainutils amd64 11.1.2ubuntu1 [181 kB] Get:11 http://ftpmaster.internal/ubuntu bionic/main amd64 groff-base amd64 1.22.3-10 [1153 kB] Get:12 http://ftpmaster.internal/ubuntu bionic/main amd64 libpipeline1 amd64 1.5.0-1 [25.3 kB] Get:13 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 man-db amd64 2.8.3-2ubuntu0.1 [1019 kB] Get:14 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libjpeg-turbo8 amd64 1.5.2-0ubuntu5.18.04.4 [110 kB] Get:15 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 x11-common all 1:7.7+19ubuntu7.1 [22.5 kB] Get:16 http://ftpmaster.internal/ubuntu bionic/main amd64 libice6 amd64 2:1.0.9-2 [40.2 kB] Get:17 http://ftpmaster.internal/ubuntu bionic/main amd64 libsm6 amd64 2:1.2.2-1 [15.8 kB] Get:18 http://ftpmaster.internal/ubuntu bionic/main amd64 poppler-data all 0.4.8-2 [1479 kB] Get:19 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libpython2.7-minimal amd64 2.7.17-1~18.04ubuntu1.6 [335 kB] Get:20 http://ftpmaster.internal/ubuntu bionic-security/main amd64 python2.7-minimal amd64 2.7.17-1~18.04ubuntu1.6 [1291 kB] Get:21 http://ftpmaster.internal/ubuntu bionic/main amd64 python-minimal amd64 2.7.15~rc1-1 [28.1 kB] Get:22 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libpython2.7-stdlib amd64 2.7.17-1~18.04ubuntu1.6 [1917 kB] Get:23 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 dune all 2.7.0-1.1~bionic~ppa17 [4232 B] Get:24 http://ftpmaster.internal/ubuntu bionic-security/main amd64 python2.7 amd64 2.7.17-1~18.04ubuntu1.6 [248 kB] Get:25 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 ocaml-base-nox amd64 4.11.1-4.1~bionic~ppa1 [573 kB] Get:26 http://ftpmaster.internal/ubuntu bionic/main amd64 libpython-stdlib amd64 2.7.15~rc1-1 [7620 B] Get:27 http://ftpmaster.internal/ubuntu bionic/main amd64 python amd64 2.7.15~rc1-1 [140 kB] Get:28 http://ftpmaster.internal/ubuntu bionic/main amd64 ucf all 3.0038 [50.5 kB] Get:29 http://ftpmaster.internal/ubuntu bionic/main amd64 tex-common all 6.09 [33.0 kB] Get:30 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libmagic-mgc amd64 1:5.32-2ubuntu0.4 [184 kB] Get:31 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 hevea all 2.32-3build1.1~bionic~ppa17 [894 kB] Get:32 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libmagic1 amd64 1:5.32-2ubuntu0.4 [68.6 kB] Get:33 http://ftpmaster.internal/ubuntu bionic-security/main amd64 file amd64 1:5.32-2ubuntu0.4 [22.1 kB] Get:34 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libdbus-1-3 amd64 1.12.2-1ubuntu1.2 [175 kB] Get:35 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libglib2.0-0 amd64 2.56.4-0ubuntu0.18.04.8 [1171 kB] Get:36 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 libfindlib-ocaml amd64 1.8.1-2.1~bionic~ppa1 [193 kB] Get:37 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libicu60 amd64 60.2-3ubuntu3.1 [8054 kB] Get:38 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 libzarith-ocaml amd64 1.11-1.1~bionic~ppa19 [54.2 kB] Get:39 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 ocaml-compiler-libs amd64 4.11.1-4.1~bionic~ppa1 [29.7 MB] Get:40 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libxml2 amd64 2.9.4+dfsg1-6.1ubuntu1.4 [664 kB] Get:41 http://ftpmaster.internal/ubuntu bionic-security/main amd64 gettext-base amd64 0.19.8.1-6ubuntu0.3 [113 kB] Get:42 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libkrb5support0 amd64 1.16-2ubuntu0.2 [30.8 kB] Get:43 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libk5crypto3 amd64 1.16-2ubuntu0.2 [85.5 kB] Get:44 http://ftpmaster.internal/ubuntu bionic/main amd64 libkeyutils1 amd64 1.5.9-9.2ubuntu2 [8720 B] Get:45 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libkrb5-3 amd64 1.16-2ubuntu0.2 [279 kB] Get:46 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libgssapi-krb5-2 amd64 1.16-2ubuntu0.2 [122 kB] Get:47 http://ftpmaster.internal/ubuntu bionic/main amd64 libsigsegv2 amd64 2.12-1 [14.7 kB] Get:48 http://ftpmaster.internal/ubuntu bionic/main amd64 m4 amd64 1.4.18-1 [197 kB] Get:49 http://ftpmaster.internal/ubuntu bionic/main amd64 autoconf all 2.69-11 [322 kB] Get:50 http://ftpmaster.internal/ubuntu bionic/main amd64 autotools-dev all 20180224.1 [39.6 kB] Get:51 http://ftpmaster.internal/ubuntu bionic/main amd64 automake all 1:1.15.1-3ubuntu2 [509 kB] Get:52 http://ftpmaster.internal/ubuntu bionic-security/main amd64 autopoint all 0.19.8.1-6ubuntu0.3 [426 kB] Get:53 http://ftpmaster.internal/ubuntu bionic/main amd64 libtool all 2.4.6-2 [194 kB] Get:54 http://ftpmaster.internal/ubuntu bionic/main amd64 dh-autoreconf all 17 [15.8 kB] Get:55 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libarchive-zip-perl all 1.60-1ubuntu0.1 [84.6 kB] Get:56 http://ftpmaster.internal/ubuntu bionic/main amd64 libfile-stripnondeterminism-perl all 0.040-1.1~build1 [13.8 kB] Get:57 http://ftpmaster.internal/ubuntu bionic/main amd64 libtimedate-perl all 2.3000-2 [37.5 kB] Get:58 http://ftpmaster.internal/ubuntu bionic/main amd64 dh-strip-nondeterminism all 0.040-1.1~build1 [5208 B] Get:59 http://ftpmaster.internal/ubuntu bionic/main amd64 libcroco3 amd64 0.6.12-2 [81.3 kB] Get:60 http://ftpmaster.internal/ubuntu bionic-security/main amd64 gettext amd64 0.19.8.1-6ubuntu0.3 [1293 kB] Get:61 http://ftpmaster.internal/ubuntu bionic/main amd64 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:62 http://ftpmaster.internal/ubuntu bionic/main amd64 po-debconf all 1.0.20 [232 kB] Get:63 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 debhelper all 11.1.6ubuntu2 [902 kB] Get:64 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 ocaml-interp amd64 4.11.1-4.1~bionic~ppa1 [5723 kB] Get:65 http://ftpmaster.internal/ubuntu bionic/main amd64 fonts-dejavu-core all 2.37-1 [1041 kB] Get:66 http://ftpmaster.internal/ubuntu bionic/main amd64 fontconfig-config all 2.12.6-0ubuntu2 [55.8 kB] Get:67 http://ftpmaster.internal/ubuntu bionic/main amd64 fonts-lmodern all 2.004.5-3 [4551 kB] Get:68 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 ocaml-nox amd64 4.11.1-4.1~bionic~ppa1 [67.7 MB] Get:69 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libavahi-common-data amd64 0.7-3.1ubuntu1.3 [22.2 kB] Get:70 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libavahi-common3 amd64 0.7-3.1ubuntu1.3 [21.6 kB] Get:71 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libavahi-client3 amd64 0.7-3.1ubuntu1.3 [25.2 kB] Get:72 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libcups2 amd64 2.2.7-1ubuntu2.8 [211 kB] Get:73 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libcupsimage2 amd64 2.2.7-1ubuntu2.8 [18.6 kB] Get:74 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libfreetype6 amd64 2.8.1-2ubuntu2.1 [335 kB] Get:75 http://ftpmaster.internal/ubuntu bionic/main amd64 libfontconfig1 amd64 2.12.6-0ubuntu2 [137 kB] Get:76 http://ftpmaster.internal/ubuntu bionic/main amd64 libijs-0.35 amd64 0.35-13 [15.5 kB] Get:77 http://ftpmaster.internal/ubuntu bionic/main amd64 libjbig2dec0 amd64 0.13-6 [55.9 kB] Get:78 http://ftpmaster.internal/ubuntu bionic/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B] Get:79 http://ftpmaster.internal/ubuntu bionic-security/main amd64 liblcms2-2 amd64 2.9-1ubuntu0.1 [139 kB] Get:80 http://ftpmaster.internal/ubuntu bionic/main amd64 libpaper1 amd64 1.1.24+nmu5ubuntu1 [13.6 kB] Get:81 http://ftpmaster.internal/ubuntu bionic/main amd64 libjbig0 amd64 2.1-3.1build1 [26.7 kB] Get:82 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libtiff5 amd64 4.0.9-5ubuntu0.4 [153 kB] Get:83 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libgs9-common all 9.26~dfsg+0-0ubuntu0.18.04.14 [5092 kB] Get:84 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libgs9 amd64 9.26~dfsg+0-0ubuntu0.18.04.14 [2265 kB] Get:85 http://ftpmaster.internal/ubuntu bionic-security/main amd64 ghostscript amd64 9.26~dfsg+0-0ubuntu0.18.04.14 [51.3 kB] Get:86 http://ftpmaster.internal/ubuntu bionic/main amd64 libnetpbm10 amd64 2:10.0-15.3build1 [58.0 kB] Get:87 http://ftpmaster.internal/ubuntu bionic/main amd64 netpbm amd64 2:10.0-15.3build1 [1017 kB] Get:88 http://ftpmaster.internal/ubuntu bionic/main amd64 libpaper-utils amd64 1.1.24+nmu5ubuntu1 [8170 B] Get:89 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libkpathsea6 amd64 2017.20170613.44572-8ubuntu0.1 [54.9 kB] Get:90 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libptexenc1 amd64 2017.20170613.44572-8ubuntu0.1 [34.5 kB] Get:91 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libsynctex1 amd64 2017.20170613.44572-8ubuntu0.1 [41.4 kB] Get:92 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libtexlua52 amd64 2017.20170613.44572-8ubuntu0.1 [91.2 kB] Get:93 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libtexluajit2 amd64 2017.20170613.44572-8ubuntu0.1 [230 kB] Get:94 http://ftpmaster.internal/ubuntu bionic/main amd64 t1utils amd64 1.41-2 [56.0 kB] Get:95 http://ftpmaster.internal/ubuntu bionic/main amd64 libpixman-1-0 amd64 0.34.0-2 [229 kB] Get:96 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libxcb-render0 amd64 1.13-2~ubuntu18.04 [14.7 kB] Get:97 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libxcb-shm0 amd64 1.13-2~ubuntu18.04 [5600 B] Get:98 http://ftpmaster.internal/ubuntu bionic/main amd64 libxrender1 amd64 1:0.9.10-1 [18.7 kB] Get:99 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libcairo2 amd64 1.15.10-2ubuntu0.1 [580 kB] Get:100 http://ftpmaster.internal/ubuntu bionic/main amd64 libgraphite2-3 amd64 1.3.11-2 [78.7 kB] Get:101 http://ftpmaster.internal/ubuntu bionic/main amd64 libharfbuzz0b amd64 1.7.2-1ubuntu1 [232 kB] Get:102 http://ftpmaster.internal/ubuntu bionic/main amd64 libharfbuzz-icu0 amd64 1.7.2-1ubuntu1 [5604 B] Get:103 http://ftpmaster.internal/ubuntu bionic/main amd64 libnspr4 amd64 2:4.18-1ubuntu1 [112 kB] Get:104 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libnss3 amd64 2:3.35-2ubuntu2.12 [1220 kB] Get:105 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libpoppler73 amd64 0.62.0-2ubuntu2.12 [800 kB] Get:106 http://ftpmaster.internal/ubuntu bionic/main amd64 libpotrace0 amd64 1.14-2 [17.4 kB] Get:107 http://ftpmaster.internal/ubuntu bionic/main amd64 libxt6 amd64 1:1.1.5-1 [160 kB] Get:108 http://ftpmaster.internal/ubuntu bionic/main amd64 libxmu6 amd64 2:1.1.2-2 [46.0 kB] Get:109 http://ftpmaster.internal/ubuntu bionic/main amd64 libxpm4 amd64 1:3.5.12-1 [34.0 kB] Get:110 http://ftpmaster.internal/ubuntu bionic/main amd64 libxaw7 amd64 2:1.0.13-1 [173 kB] Get:111 http://ftpmaster.internal/ubuntu bionic/main amd64 libxi6 amd64 2:1.7.9-1 [29.2 kB] Get:112 http://ftpmaster.internal/ubuntu bionic-security/main amd64 libzzip-0-13 amd64 0.13.62-3.1ubuntu0.18.04.1 [26.0 kB] Get:113 http://ftpmaster.internal/ubuntu bionic-security/main amd64 texlive-binaries amd64 2017.20170613.44572-8ubuntu0.1 [8179 kB] Get:114 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 libzarith-ocaml-dev amd64 1.11-1.1~bionic~ppa19 [89.6 kB] Get:115 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu bionic/main amd64 ocaml-findlib amd64 1.8.1-2.1~bionic~ppa1 [483 kB] Get:116 http://ftpmaster.internal/ubuntu bionic-security/main amd64 xdg-utils all 1.1.2-1ubuntu2.5 [60.4 kB] Get:117 http://ftpmaster.internal/ubuntu bionic/main amd64 texlive-base all 2017.20180305-1 [18.7 MB] Get:118 http://ftpmaster.internal/ubuntu bionic/main amd64 libgmpxx4ldbl amd64 2:6.1.2+dfsg-2 [8964 B] Get:119 http://ftpmaster.internal/ubuntu bionic/main amd64 libgmp-dev amd64 2:6.1.2+dfsg-2 [316 kB] Get:120 http://ftpmaster.internal/ubuntu bionic/main amd64 libgmp3-dev amd64 2:6.1.2+dfsg-2 [1996 B] Get:121 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libtinfo-dev amd64 6.1-1ubuntu1.18.04 [81.3 kB] Get:122 http://ftpmaster.internal/ubuntu bionic-updates/main amd64 libncurses5-dev amd64 6.1-1ubuntu1.18.04 [174 kB] Get:123 http://ftpmaster.internal/ubuntu bionic/main amd64 preview-latex-style all 11.91-1ubuntu1 [185 kB] Get:124 http://ftpmaster.internal/ubuntu bionic/main amd64 texlive-latex-base all 2017.20180305-1 [951 kB] Get:125 http://ftpmaster.internal/ubuntu bionic/main amd64 texlive-latex-recommended all 2017.20180305-1 [14.9 MB] Get:126 http://ftpmaster.internal/ubuntu bionic/universe amd64 texlive-pictures all 2017.20180305-1 [4026 kB] Get:127 http://ftpmaster.internal/ubuntu bionic/universe amd64 texlive-latex-extra all 2017.20180305-2 [10.6 MB] Get:128 http://ftpmaster.internal/ubuntu bionic/universe amd64 dh-ocaml all 1.1.0 [79.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 209 MB in 9s (23.2 MB/s) Selecting previously unselected package multiarch-support. (Reading database ... 13265 files and directories currently installed.) Preparing to unpack .../0-multiarch-support_2.27-3ubuntu1.4_amd64.deb ... Unpacking multiarch-support (2.27-3ubuntu1.4) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../1-libxau6_1%3a1.0.8-1ubuntu1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1ubuntu1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../2-libbsd0_0.8.7-1ubuntu0.1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.7-1ubuntu0.1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../3-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../4-libxcb1_1.13-2~ubuntu18.04_amd64.deb ... Unpacking libxcb1:amd64 (1.13-2~ubuntu18.04) ... Selecting previously unselected package libx11-data. Preparing to unpack .../5-libx11-data_2%3a1.6.4-3ubuntu0.4_all.deb ... Unpacking libx11-data (2:1.6.4-3ubuntu0.4) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../6-libx11-6_2%3a1.6.4-3ubuntu0.4_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.4-3ubuntu0.4) ... Setting up multiarch-support (2.27-3ubuntu1.4) ... Selecting previously unselected package libxext6:amd64. (Reading database ... 13555 files and directories currently installed.) Preparing to unpack .../00-libxext6_2%3a1.3.3-1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2ubuntu1_amd64.deb ... Unpacking bsdmainutils (11.1.2ubuntu1) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.3-10_amd64.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../03-libpipeline1_1.5.0-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.0-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.8.3-2ubuntu0.1_amd64.deb ... Unpacking man-db (2.8.3-2ubuntu0.1) ... Selecting previously unselected package libjpeg-turbo8:amd64. Preparing to unpack .../05-libjpeg-turbo8_1.5.2-0ubuntu5.18.04.4_amd64.deb ... Unpacking libjpeg-turbo8:amd64 (1.5.2-0ubuntu5.18.04.4) ... Selecting previously unselected package x11-common. Preparing to unpack .../06-x11-common_1%3a7.7+19ubuntu7.1_all.deb ... dpkg-query: no packages found matching nux-tools Unpacking x11-common (1:7.7+19ubuntu7.1) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../07-libice6_2%3a1.0.9-2_amd64.deb ... Unpacking libice6:amd64 (2:1.0.9-2) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../08-libsm6_2%3a1.2.2-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.2-1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../09-poppler-data_0.4.8-2_all.deb ... Unpacking poppler-data (0.4.8-2) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../10-libpython2.7-minimal_2.7.17-1~18.04ubuntu1.6_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.17-1~18.04ubuntu1.6) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../11-python2.7-minimal_2.7.17-1~18.04ubuntu1.6_amd64.deb ... Unpacking python2.7-minimal (2.7.17-1~18.04ubuntu1.6) ... Selecting previously unselected package python-minimal. Preparing to unpack .../12-python-minimal_2.7.15~rc1-1_amd64.deb ... Unpacking python-minimal (2.7.15~rc1-1) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../13-libpython2.7-stdlib_2.7.17-1~18.04ubuntu1.6_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.17-1~18.04ubuntu1.6) ... Selecting previously unselected package python2.7. Preparing to unpack .../14-python2.7_2.7.17-1~18.04ubuntu1.6_amd64.deb ... Unpacking python2.7 (2.7.17-1~18.04ubuntu1.6) ... Selecting previously unselected package libpython-stdlib:amd64. Preparing to unpack .../15-libpython-stdlib_2.7.15~rc1-1_amd64.deb ... Unpacking libpython-stdlib:amd64 (2.7.15~rc1-1) ... Setting up libpython2.7-minimal:amd64 (2.7.17-1~18.04ubuntu1.6) ... Setting up python2.7-minimal (2.7.17-1~18.04ubuntu1.6) ... Linking and byte-compiling packages for runtime python2.7... Setting up python-minimal (2.7.15~rc1-1) ... Selecting previously unselected package python. (Reading database ... 15412 files and directories currently installed.) Preparing to unpack .../000-python_2.7.15~rc1-1_amd64.deb ... Unpacking python (2.7.15~rc1-1) ... Selecting previously unselected package ucf. Preparing to unpack .../001-ucf_3.0038_all.deb ... Moving old data out of the way Unpacking ucf (3.0038) ... Selecting previously unselected package tex-common. Preparing to unpack .../002-tex-common_6.09_all.deb ... Unpacking tex-common (6.09) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../003-libmagic-mgc_1%3a5.32-2ubuntu0.4_amd64.deb ... Unpacking libmagic-mgc (1:5.32-2ubuntu0.4) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../004-libmagic1_1%3a5.32-2ubuntu0.4_amd64.deb ... Unpacking libmagic1:amd64 (1:5.32-2ubuntu0.4) ... Selecting previously unselected package file. Preparing to unpack .../005-file_1%3a5.32-2ubuntu0.4_amd64.deb ... Unpacking file (1:5.32-2ubuntu0.4) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../006-libdbus-1-3_1.12.2-1ubuntu1.2_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.2-1ubuntu1.2) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../007-libglib2.0-0_2.56.4-0ubuntu0.18.04.8_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.56.4-0ubuntu0.18.04.8) ... Selecting previously unselected package libicu60:amd64. Preparing to unpack .../008-libicu60_60.2-3ubuntu3.1_amd64.deb ... Unpacking libicu60:amd64 (60.2-3ubuntu3.1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../009-libxml2_2.9.4+dfsg1-6.1ubuntu1.4_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-6.1ubuntu1.4) ... Selecting previously unselected package gettext-base. Preparing to unpack .../010-gettext-base_0.19.8.1-6ubuntu0.3_amd64.deb ... Unpacking gettext-base (0.19.8.1-6ubuntu0.3) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../011-libkrb5support0_1.16-2ubuntu0.2_amd64.deb ... Unpacking libkrb5support0:amd64 (1.16-2ubuntu0.2) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../012-libk5crypto3_1.16-2ubuntu0.2_amd64.deb ... Unpacking libk5crypto3:amd64 (1.16-2ubuntu0.2) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../013-libkeyutils1_1.5.9-9.2ubuntu2_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-9.2ubuntu2) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../014-libkrb5-3_1.16-2ubuntu0.2_amd64.deb ... Unpacking libkrb5-3:amd64 (1.16-2ubuntu0.2) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../015-libgssapi-krb5-2_1.16-2ubuntu0.2_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.16-2ubuntu0.2) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../016-libsigsegv2_2.12-1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-1) ... Selecting previously unselected package m4. Preparing to unpack .../017-m4_1.4.18-1_amd64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../018-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../019-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../020-automake_1%3a1.15.1-3ubuntu2_all.deb ... Unpacking automake (1:1.15.1-3ubuntu2) ... Selecting previously unselected package autopoint. Preparing to unpack .../021-autopoint_0.19.8.1-6ubuntu0.3_all.deb ... Unpacking autopoint (0.19.8.1-6ubuntu0.3) ... Selecting previously unselected package libtool. Preparing to unpack .../022-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../023-dh-autoreconf_17_all.deb ... Unpacking dh-autoreconf (17) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../024-libarchive-zip-perl_1.60-1ubuntu0.1_all.deb ... Unpacking libarchive-zip-perl (1.60-1ubuntu0.1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../025-libfile-stripnondeterminism-perl_0.040-1.1~build1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.040-1.1~build1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../026-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../027-dh-strip-nondeterminism_0.040-1.1~build1_all.deb ... Unpacking dh-strip-nondeterminism (0.040-1.1~build1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../028-libcroco3_0.6.12-2_amd64.deb ... Unpacking libcroco3:amd64 (0.6.12-2) ... Selecting previously unselected package gettext. Preparing to unpack .../029-gettext_0.19.8.1-6ubuntu0.3_amd64.deb ... Unpacking gettext (0.19.8.1-6ubuntu0.3) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../030-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../031-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../032-debhelper_11.1.6ubuntu2_all.deb ... Unpacking debhelper (11.1.6ubuntu2) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../033-ocaml-dune_2.7.0-1.1~bionic~ppa17_amd64.deb ... Unpacking ocaml-dune (2.7.0-1.1~bionic~ppa17) ... Selecting previously unselected package dune. Preparing to unpack .../034-dune_2.7.0-1.1~bionic~ppa17_all.deb ... Unpacking dune (2.7.0-1.1~bionic~ppa17) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../035-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../036-fontconfig-config_2.12.6-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.12.6-0ubuntu2) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../037-fonts-lmodern_2.004.5-3_all.deb ... Unpacking fonts-lmodern (2.004.5-3) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../038-libavahi-common-data_0.7-3.1ubuntu1.3_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.7-3.1ubuntu1.3) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../039-libavahi-common3_0.7-3.1ubuntu1.3_amd64.deb ... Unpacking libavahi-common3:amd64 (0.7-3.1ubuntu1.3) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../040-libavahi-client3_0.7-3.1ubuntu1.3_amd64.deb ... Unpacking libavahi-client3:amd64 (0.7-3.1ubuntu1.3) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../041-libcups2_2.2.7-1ubuntu2.8_amd64.deb ... Unpacking libcups2:amd64 (2.2.7-1ubuntu2.8) ... Selecting previously unselected package libcupsimage2:amd64. Preparing to unpack .../042-libcupsimage2_2.2.7-1ubuntu2.8_amd64.deb ... Unpacking libcupsimage2:amd64 (2.2.7-1ubuntu2.8) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../043-libfreetype6_2.8.1-2ubuntu2.1_amd64.deb ... Unpacking libfreetype6:amd64 (2.8.1-2ubuntu2.1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../044-libfontconfig1_2.12.6-0ubuntu2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.12.6-0ubuntu2) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../045-libijs-0.35_0.35-13_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-13) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../046-libjbig2dec0_0.13-6_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.13-6) ... Selecting previously unselected package libjpeg8:amd64. Preparing to unpack .../047-libjpeg8_8c-2ubuntu8_amd64.deb ... Unpacking libjpeg8:amd64 (8c-2ubuntu8) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../048-liblcms2-2_2.9-1ubuntu0.1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.9-1ubuntu0.1) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../049-libpaper1_1.1.24+nmu5ubuntu1_amd64.deb ... Unpacking libpaper1:amd64 (1.1.24+nmu5ubuntu1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../050-libjbig0_2.1-3.1build1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1build1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../051-libtiff5_4.0.9-5ubuntu0.4_amd64.deb ... Unpacking libtiff5:amd64 (4.0.9-5ubuntu0.4) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../052-libgs9-common_9.26~dfsg+0-0ubuntu0.18.04.14_all.deb ... Unpacking libgs9-common (9.26~dfsg+0-0ubuntu0.18.04.14) ... Selecting previously unselected package libgs9:amd64. Preparing to unpack .../053-libgs9_9.26~dfsg+0-0ubuntu0.18.04.14_amd64.deb ... Unpacking libgs9:amd64 (9.26~dfsg+0-0ubuntu0.18.04.14) ... Selecting previously unselected package ghostscript. Preparing to unpack .../054-ghostscript_9.26~dfsg+0-0ubuntu0.18.04.14_amd64.deb ... Unpacking ghostscript (9.26~dfsg+0-0ubuntu0.18.04.14) ... Selecting previously unselected package libnetpbm10. Preparing to unpack .../055-libnetpbm10_2%3a10.0-15.3build1_amd64.deb ... Unpacking libnetpbm10 (2:10.0-15.3build1) ... Selecting previously unselected package netpbm. Preparing to unpack .../056-netpbm_2%3a10.0-15.3build1_amd64.deb ... Unpacking netpbm (2:10.0-15.3build1) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../057-libpaper-utils_1.1.24+nmu5ubuntu1_amd64.deb ... Unpacking libpaper-utils (1.1.24+nmu5ubuntu1) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../058-libkpathsea6_2017.20170613.44572-8ubuntu0.1_amd64.deb ... Unpacking libkpathsea6:amd64 (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../059-libptexenc1_2017.20170613.44572-8ubuntu0.1_amd64.deb ... Unpacking libptexenc1:amd64 (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package libsynctex1:amd64. Preparing to unpack .../060-libsynctex1_2017.20170613.44572-8ubuntu0.1_amd64.deb ... Unpacking libsynctex1:amd64 (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package libtexlua52:amd64. Preparing to unpack .../061-libtexlua52_2017.20170613.44572-8ubuntu0.1_amd64.deb ... Unpacking libtexlua52:amd64 (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../062-libtexluajit2_2017.20170613.44572-8ubuntu0.1_amd64.deb ... Unpacking libtexluajit2:amd64 (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package t1utils. Preparing to unpack .../063-t1utils_1.41-2_amd64.deb ... Unpacking t1utils (1.41-2) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../064-libpixman-1-0_0.34.0-2_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.34.0-2) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../065-libxcb-render0_1.13-2~ubuntu18.04_amd64.deb ... Unpacking libxcb-render0:amd64 (1.13-2~ubuntu18.04) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../066-libxcb-shm0_1.13-2~ubuntu18.04_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.13-2~ubuntu18.04) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../067-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../068-libcairo2_1.15.10-2ubuntu0.1_amd64.deb ... Unpacking libcairo2:amd64 (1.15.10-2ubuntu0.1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../069-libgraphite2-3_1.3.11-2_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.11-2) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../070-libharfbuzz0b_1.7.2-1ubuntu1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (1.7.2-1ubuntu1) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../071-libharfbuzz-icu0_1.7.2-1ubuntu1_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (1.7.2-1ubuntu1) ... Selecting previously unselected package libnspr4:amd64. Preparing to unpack .../072-libnspr4_2%3a4.18-1ubuntu1_amd64.deb ... Unpacking libnspr4:amd64 (2:4.18-1ubuntu1) ... Selecting previously unselected package libnss3:amd64. Preparing to unpack .../073-libnss3_2%3a3.35-2ubuntu2.12_amd64.deb ... Unpacking libnss3:amd64 (2:3.35-2ubuntu2.12) ... Selecting previously unselected package libpoppler73:amd64. Preparing to unpack .../074-libpoppler73_0.62.0-2ubuntu2.12_amd64.deb ... Unpacking libpoppler73:amd64 (0.62.0-2ubuntu2.12) ... Selecting previously unselected package libpotrace0. Preparing to unpack .../075-libpotrace0_1.14-2_amd64.deb ... Unpacking libpotrace0 (1.14-2) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../076-libxt6_1%3a1.1.5-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../077-libxmu6_2%3a1.1.2-2_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.2-2) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../078-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../079-libxaw7_2%3a1.0.13-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.13-1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../080-libxi6_2%3a1.7.9-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.9-1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../081-libzzip-0-13_0.13.62-3.1ubuntu0.18.04.1_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.62-3.1ubuntu0.18.04.1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../082-texlive-binaries_2017.20170613.44572-8ubuntu0.1_amd64.deb ... Unpacking texlive-binaries (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../083-xdg-utils_1.1.2-1ubuntu2.5_all.deb ... Unpacking xdg-utils (1.1.2-1ubuntu2.5) ... Selecting previously unselected package texlive-base. Preparing to unpack .../084-texlive-base_2017.20180305-1_all.deb ... Unpacking texlive-base (2017.20180305-1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../085-ocaml-base-nox_4.11.1-4.1~bionic~ppa1_amd64.deb ... Unpacking ocaml-base-nox (4.11.1-4.1~bionic~ppa1) ... Selecting previously unselected package hevea. Preparing to unpack .../086-hevea_2.32-3build1.1~bionic~ppa17_all.deb ... Unpacking hevea (2.32-3build1.1~bionic~ppa17) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../087-libfindlib-ocaml_1.8.1-2.1~bionic~ppa1_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-2.1~bionic~ppa1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../088-libgmpxx4ldbl_2%3a6.1.2+dfsg-2_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-2) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../089-libgmp-dev_2%3a6.1.2+dfsg-2_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.1.2+dfsg-2) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../090-libgmp3-dev_2%3a6.1.2+dfsg-2_amd64.deb ... Unpacking libgmp3-dev (2:6.1.2+dfsg-2) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../091-libtinfo-dev_6.1-1ubuntu1.18.04_amd64.deb ... Unpacking libtinfo-dev:amd64 (6.1-1ubuntu1.18.04) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../092-libncurses5-dev_6.1-1ubuntu1.18.04_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.1-1ubuntu1.18.04) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../093-libzarith-ocaml_1.11-1.1~bionic~ppa19_amd64.deb ... Unpacking libzarith-ocaml (1.11-1.1~bionic~ppa19) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../094-ocaml-compiler-libs_4.11.1-4.1~bionic~ppa1_amd64.deb ... Unpacking ocaml-compiler-libs (4.11.1-4.1~bionic~ppa1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../095-ocaml-interp_4.11.1-4.1~bionic~ppa1_amd64.deb ... Unpacking ocaml-interp (4.11.1-4.1~bionic~ppa1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../096-ocaml-nox_4.11.1-4.1~bionic~ppa1_amd64.deb ... Unpacking ocaml-nox (4.11.1-4.1~bionic~ppa1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../097-libzarith-ocaml-dev_1.11-1.1~bionic~ppa19_amd64.deb ... Unpacking libzarith-ocaml-dev (1.11-1.1~bionic~ppa19) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../098-ocaml-findlib_1.8.1-2.1~bionic~ppa1_amd64.deb ... Unpacking ocaml-findlib (1.8.1-2.1~bionic~ppa1) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../099-preview-latex-style_11.91-1ubuntu1_all.deb ... Unpacking preview-latex-style (11.91-1ubuntu1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../100-texlive-latex-base_2017.20180305-1_all.deb ... Unpacking texlive-latex-base (2017.20180305-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../101-texlive-latex-recommended_2017.20180305-1_all.deb ... Unpacking texlive-latex-recommended (2017.20180305-1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../102-texlive-pictures_2017.20180305-1_all.deb ... Unpacking texlive-pictures (2017.20180305-1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../103-texlive-latex-extra_2017.20180305-2_all.deb ... Unpacking texlive-latex-extra (2017.20180305-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../104-dh-ocaml_1.1.0_all.deb ... Unpacking dh-ocaml (1.1.0) ... Setting up libgs9-common (9.26~dfsg+0-0ubuntu0.18.04.14) ... Setting up libkpathsea6:amd64 (2017.20170613.44572-8ubuntu0.1) ... Setting up libtexlua52:amd64 (2017.20170613.44572-8ubuntu0.1) ... Setting up libicu60:amd64 (60.2-3ubuntu3.1) ... Setting up libsynctex1:amd64 (2017.20170613.44572-8ubuntu0.1) ... Setting up libptexenc1:amd64 (2017.20170613.44572-8ubuntu0.1) ... Setting up libarchive-zip-perl (1.60-1ubuntu0.1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up liblcms2-2:amd64 (2.9-1ubuntu0.1) ... Setting up libjbig0:amd64 (2.1-3.1build1) ... Setting up libsigsegv2:amd64 (2.12-1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up poppler-data (0.4.8-2) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:amd64 (2.56.4-0ubuntu0.18.04.8) ... No schema files found: doing nothing. Setting up libnetpbm10 (2:10.0-15.3build1) ... Setting up ocaml-base-nox (4.11.1-4.1~bionic~ppa1) ... Setting up libtinfo-dev:amd64 (6.1-1ubuntu1.18.04) ... Setting up dh-ocaml (1.1.0) ... Setting up gettext-base (0.19.8.1-6ubuntu0.3) ... Setting up libjpeg-turbo8:amd64 (1.5.2-0ubuntu5.18.04.4) ... Setting up libpipeline1:amd64 (1.5.0-1) ... Setting up m4 (1.4.18-1) ... Setting up libbsd0:amd64 (0.8.7-1ubuntu0.1) ... Setting up libkrb5support0:amd64 (1.16-2ubuntu0.2) ... Setting up libnspr4:amd64 (2:4.18-1ubuntu1) ... Setting up ucf (3.0038) ... Setting up libxml2:amd64 (2.9.4+dfsg1-6.1ubuntu1.4) ... Setting up libfreetype6:amd64 (2.8.1-2ubuntu2.1) ... Setting up libmagic-mgc (1:5.32-2ubuntu0.4) ... Setting up libmagic1:amd64 (1:5.32-2ubuntu0.4) ... Setting up libgraphite2-3:amd64 (1.3.11-2) ... Setting up libcroco3:amd64 (0.6.12-2) ... Setting up libncurses5-dev:amd64 (6.1-1ubuntu1.18.04) ... Setting up libjbig2dec0:amd64 (0.13-6) ... Setting up libpixman-1-0:amd64 (0.34.0-2) ... Setting up autotools-dev (20180224.1) ... Setting up t1utils (1.41-2) ... Setting up ocaml-dune (2.7.0-1.1~bionic~ppa17) ... Setting up libijs-0.35:amd64 (0.35-13) ... Setting up libpotrace0 (1.14-2) ... Setting up libzarith-ocaml (1.11-1.1~bionic~ppa19) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libkeyutils1:amd64 (1.5.9-9.2ubuntu2) ... Setting up bsdmainutils (11.1.2ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-2) ... Setting up libzzip-0-13:amd64 (0.13.62-3.1ubuntu0.18.04.1) ... Setting up x11-common (1:7.7+19ubuntu7.1) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up xdg-utils (1.1.2-1ubuntu2.5) ... Setting up libfindlib-ocaml (1.8.1-2.1~bionic~ppa1) ... Setting up libtexluajit2:amd64 (2017.20170613.44572-8ubuntu0.1) ... Setting up dune (2.7.0-1.1~bionic~ppa17) ... Setting up ocaml-findlib (1.8.1-2.1~bionic~ppa1) ... Setting up libx11-data (2:1.6.4-3ubuntu0.4) ... Setting up libpython2.7-stdlib:amd64 (2.7.17-1~18.04ubuntu1.6) ... Setting up libxau6:amd64 (1:1.0.8-1ubuntu1) ... Setting up autopoint (0.19.8.1-6ubuntu0.3) ... Setting up libdbus-1-3:amd64 (1.12.2-1ubuntu1.2) ... Setting up fonts-lmodern (2.004.5-3) ... Setting up libavahi-common-data:amd64 (0.7-3.1ubuntu1.3) ... Setting up libfile-stripnondeterminism-perl (0.040-1.1~build1) ... Setting up libjpeg8:amd64 (8c-2ubuntu8) ... Setting up libgmp-dev:amd64 (2:6.1.2+dfsg-2) ... Setting up libpaper1:amd64 (1.1.24+nmu5ubuntu1) ... Creating config file /etc/papersize with new version Setting up libk5crypto3:amd64 (1.16-2ubuntu0.2) ... Setting up libpaper-utils (1.1.24+nmu5ubuntu1) ... Setting up fontconfig-config (2.12.6-0ubuntu2) ... Setting up tex-common (6.09) ... update-language: texlive-base not installed and configured, doing nothing! Setting up gettext (0.19.8.1-6ubuntu0.3) ... Setting up python2.7 (2.7.17-1~18.04ubuntu1.6) ... Setting up libnss3:amd64 (2:3.35-2ubuntu2.12) ... Setting up libharfbuzz0b:amd64 (1.7.2-1ubuntu1) ... Setting up libtiff5:amd64 (4.0.9-5ubuntu0.4) ... Setting up preview-latex-style (11.91-1ubuntu1) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.32-2ubuntu0.4) ... Setting up libpython-stdlib:amd64 (2.7.15~rc1-1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up automake (1:1.15.1-3ubuntu2) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up netpbm (2:10.0-15.3build1) ... Setting up libice6:amd64 (2:1.0.9-2) ... Setting up man-db (2.8.3-2ubuntu0.1) ... Not building database; man-db/auto-update is not 'true'. Setting up libkrb5-3:amd64 (1.16-2ubuntu0.2) ... Setting up libavahi-common3:amd64 (0.7-3.1ubuntu1.3) ... Setting up libxcb1:amd64 (1.13-2~ubuntu18.04) ... Setting up python (2.7.15~rc1-1) ... Setting up libgmp3-dev (2:6.1.2+dfsg-2) ... Setting up libtool (2.4.6-2) ... Setting up libfontconfig1:amd64 (2.12.6-0ubuntu2) ... Setting up libsm6:amd64 (2:1.2.2-1) ... Setting up libxcb-render0:amd64 (1.13-2~ubuntu18.04) ... Setting up libharfbuzz-icu0:amd64 (1.7.2-1ubuntu1) ... Setting up po-debconf (1.0.20) ... Setting up libx11-6:amd64 (2:1.6.4-3ubuntu0.4) ... Setting up libgssapi-krb5-2:amd64 (1.16-2ubuntu0.2) ... Setting up libpoppler73:amd64 (0.62.0-2ubuntu2.12) ... Setting up libxcb-shm0:amd64 (1.13-2~ubuntu18.04) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxt6:amd64 (1:1.1.5-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libavahi-client3:amd64 (0.7-3.1ubuntu1.3) ... Setting up libcups2:amd64 (2.2.7-1ubuntu2.8) ... Setting up libxext6:amd64 (2:1.3.3-1) ... Setting up libxmu6:amd64 (2:1.1.2-2) ... Setting up libcupsimage2:amd64 (2.2.7-1ubuntu2.8) ... Setting up libgs9:amd64 (9.26~dfsg+0-0ubuntu0.18.04.14) ... Setting up libxi6:amd64 (2:1.7.9-1) ... Setting up libxaw7:amd64 (2:1.0.13-1) ... Setting up libcairo2:amd64 (1.15.10-2ubuntu0.1) ... Setting up ghostscript (9.26~dfsg+0-0ubuntu0.18.04.14) ... Setting up texlive-binaries (2017.20170613.44572-8ubuntu0.1) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up texlive-base (2017.20180305-1) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/config/pdftexconfig.tex Setting up texlive-latex-base (2017.20180305-1) ... Setting up texlive-latex-recommended (2017.20180305-1) ... Setting up texlive-pictures (2017.20180305-1) ... Setting up hevea (2.32-3build1.1~bionic~ppa17) ... Setting up texlive-latex-extra (2017.20180305-2) ... Setting up ocaml-compiler-libs (4.11.1-4.1~bionic~ppa1) ... Setting up dh-autoreconf (17) ... Setting up ocaml-interp (4.11.1-4.1~bionic~ppa1) ... Setting up dh-strip-nondeterminism (0.040-1.1~build1) ... Setting up debhelper (11.1.6ubuntu2) ... Setting up ocaml-nox (4.11.1-4.1~bionic~ppa1) ... Setting up libzarith-ocaml-dev (1.11-1.1~bionic~ppa19) ... Processing triggers for libc-bin (2.27-3ubuntu1.4) ... Processing triggers for systemd (237-3ubuntu10.52) ... Processing triggers for mime-support (3.60ubuntu1) ... Processing triggers for tex-common (6.09) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. dpkg-buildpackage: info: source package coq dpkg-buildpackage: info: source version 8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1 dpkg-buildpackage: info: source distribution bionic dpkg-buildpackage: info: source changed by Jason Gross dpkg-source -i -I --before-build recipe dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches 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 fakeroot debian/rules clean dh clean --with ocaml dh_auto_clean make -j1 distclean make[1]: Entering directory '/home/buildd/work/tree/recipe' find . -not -name . '(' -name '.*' -type d -o -name 'debian' -o -name "${GIT_DIR}" -o -name '_build' -o -name '_build_ci' -o -name '_build_boot' -o -name '_install_ci' -o -name 'gramlib' -o -name 'user-contrib' -o -name 'test-suite' -o -name 'plugin_tutorial' ')' -prune -o '(' -name '*.d' ')' -exec rm -f {} + find test-suite \( -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' -o -name '*.glob' \) -exec rm -f {} + find test-suite -name .coq-native -empty -exec rm -rf {} + rm -f META.coq META.coq-core revision ide/coqide/default.bindings ide/coqide/default_bindings_src.exe \ kernel/genOpcodeFiles.exe config/coq_config.ml config/coq_config.py config/Makefile config/dune.c_flags rm -f coqpp/coqpp_parse.ml rm -f coqpp/coqpp_parse.mli coqpp/coqpp_lex.ml ide/coqide/coq_lex.ml \ ide/coqide/coqide_os_specific.ml ide/coqide/protocol/xml_lexer.ml ide/coqide/utf8_convert.ml \ ide/coqide/config_lexer.ml kernel/byterun/coq_arity.h \ kernel/byterun/coq_instruct.h kernel/byterun/coq_jumptbl.h kernel/float64.ml kernel/uint63.ml \ kernel/vmopcodes.ml parsing/g_constr.ml parsing/g_prim.ml toplevel/g_toplevel.ml \ user-contrib/Ltac2/g_ltac2.ml \ vernac/g_proofs.ml plugins/btauto/g_btauto.ml plugins/cc/g_congruence.ml \ plugins/derive/g_derive.ml plugins/extraction/g_extraction.ml plugins/firstorder/g_ground.ml \ plugins/funind/g_indfun.ml plugins/ltac/coretactics.ml plugins/ltac/extraargs.ml plugins/ltac/extratactics.ml \ plugins/ltac/g_auto.ml plugins/ltac/g_class.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_obligations.ml \ plugins/ltac/profile_ltac_tactics.ml \ plugins/micromega/g_micromega.ml plugins/micromega/g_zify.ml plugins/ltac/g_ltac.ml plugins/nsatz/g_nsatz.ml \ plugins/ring/g_ring.ml plugins/ltac/g_tactic.ml \ plugins/ltac/g_rewrite.ml plugins/rtauto/g_rtauto.ml \ plugins/ssr/ssrvernac.ml plugins/ssrmatching/g_ssrmatching.ml plugins/ssr/ssrparser.ml \ plugins/ssrsearch/g_search.ml plugins/syntax/g_number_string.ml tools/coqdep_lexer.ml \ tools/coqwc.ml tools/coqdoc/cpretty.ml tools/ocamllibdep.ml vernac/g_vernac.ml find theories \( -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' \ -o -name '*.glob' -o -name '*.aux' \) -exec rm -f {} + find . \( -name '*.cmi' -o -name '*.cmx' -o -name '*.o' -o -name '*.a' \ -o -name '*.cmxa' -o -name '*.cmxs' -o -name '*.aux' \) -exec rm -f {} + dune clean rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq find test-suite -name '.*.aux' -exec rm -f {} + find test-suite \( -name '*.v.timing' -o -name '*.v.before-timing' \ -o -name "*.v.after-timing" -o -name "*.v.timing.diff" -o -name "time-of-build.log" \ -o -name "time-of-build-before.log" -o -name "time-of-build-after.log" \ -o -name "time-of-build-pretty.log" -o -name "time-of-build-both.log" \) -exec rm -f {} + make[1]: Leaving directory '/home/buildd/work/tree/recipe' dh_ocamlclean dh_clean dpkg-source -i -I -b recipe dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches 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 source format '3.0 (native)' dpkg-source: info: building coq in coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1.tar.xz dpkg-source: info: building coq in coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1.dsc dpkg-genbuildinfo --build=source dpkg-genchanges -sa --build=source >../coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_source.changes dpkg-genchanges: warning: the current version (8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1) is earlier than the previous one (8.master~git) dpkg-genchanges: info: including full source code in upload dpkg-source -i -I --after-build recipe dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches 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-buildpackage: info: source-only upload: Debian-native package RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=bionic --arch=amd64 RECIPEBRANCHBUILD-2868571 Scanning for processes to kill in build RECIPEBRANCHBUILD-2868571