https://launchpad.net/~jgross-h/+archive/ubuntu/coq-master-daily/+recipebuild/2604066 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lcy01-amd64-027 4.4.0-185-generic #215-Ubuntu SMP Mon Jun 8 21:53:19 UTC 2020 x86_64 Buildd toolchain package versions: launchpad-buildd_189 python-lpbuildd_189 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.6~git201906051340.ff11471~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.9 dpkg-dev_1.18.4ubuntu1.6 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 9 Jul 14:16:06 ntpdate[1907]: adjust time server 10.211.37.1 offset 0.001789 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=xenial --arch=amd64 RECIPEBRANCHBUILD-2604066 --image-type chroot /home/buildd/filecache-default/57532fd8192a82c776256845da52cdfc7f7eb7bf Creating target for build RECIPEBRANCHBUILD-2604066 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=xenial --arch=amd64 RECIPEBRANCHBUILD-2604066 Starting target for build RECIPEBRANCHBUILD-2604066 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=xenial --arch=amd64 RECIPEBRANCHBUILD-2604066 'deb http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial main' 'deb http://ftpmaster.internal/ubuntu xenial main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu xenial-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu xenial-updates main restricted universe multiverse' Overriding sources.list in build-RECIPEBRANCHBUILD-2604066 RUN: /usr/share/launchpad-buildd/bin/in-target add-trusted-keys --backend=chroot --series=xenial --arch=amd64 RECIPEBRANCHBUILD-2604066 Adding trusted keys to build-RECIPEBRANCHBUILD-2604066 OK /etc/apt/trusted.gpg -------------------- pub 1024D/437D05B5 2004-09-12 uid Ubuntu Archive Automatic Signing Key sub 2048g/79164387 2004-09-12 pub 4096R/C0B21F32 2012-05-11 uid Ubuntu Archive Automatic Signing Key (2012) pub 4096R/EFE21092 2012-05-11 uid Ubuntu CD Image Automatic Signing Key (2012) pub 1024D/FBB75451 2004-12-30 uid Ubuntu CD Image Automatic Signing Key pub 4096R/A454A7D9 2014-12-19 uid Launchpad PPA for Jason Gross RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=xenial --arch=amd64 RECIPEBRANCHBUILD-2604066 Updating target for build RECIPEBRANCHBUILD-2604066 Hit:1 http://ftpmaster.internal/ubuntu xenial InRelease Get:2 http://ftpmaster.internal/ubuntu xenial-security InRelease [109 kB] Get:3 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial InRelease [18.1 kB] Get:4 http://ftpmaster.internal/ubuntu xenial-updates InRelease [109 kB] Get:5 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial/main amd64 Packages [13.1 kB] Get:6 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial/main Translation-en [9768 B] Get:7 http://ftpmaster.internal/ubuntu xenial-security/main amd64 Packages [894 kB] Get:8 http://ftpmaster.internal/ubuntu xenial-security/main Translation-en [333 kB] Get:9 http://ftpmaster.internal/ubuntu xenial-security/restricted amd64 Packages [7204 B] Get:10 http://ftpmaster.internal/ubuntu xenial-security/restricted Translation-en [2152 B] Get:11 http://ftpmaster.internal/ubuntu xenial-security/universe amd64 Packages [495 kB] Get:12 http://ftpmaster.internal/ubuntu xenial-security/universe Translation-en [203 kB] Get:13 http://ftpmaster.internal/ubuntu xenial-security/multiverse amd64 Packages [6084 B] Get:14 http://ftpmaster.internal/ubuntu xenial-security/multiverse Translation-en [2888 B] Get:15 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 Packages [1170 kB] Get:16 http://ftpmaster.internal/ubuntu xenial-updates/main Translation-en [440 kB] Get:17 http://ftpmaster.internal/ubuntu xenial-updates/restricted amd64 Packages [7576 B] Get:18 http://ftpmaster.internal/ubuntu xenial-updates/restricted Translation-en [2272 B] Get:19 http://ftpmaster.internal/ubuntu xenial-updates/universe amd64 Packages [800 kB] Get:20 http://ftpmaster.internal/ubuntu xenial-updates/universe Translation-en [335 kB] Get:21 http://ftpmaster.internal/ubuntu xenial-updates/multiverse amd64 Packages [17.1 kB] Get:22 http://ftpmaster.internal/ubuntu xenial-updates/multiverse Translation-en [8632 B] Fetched 4983 kB in 2s (1739 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: advancecomp apt apt-transport-https base-files bash binutils bsdutils bzip2 ca-certificates coreutils cpp-5 debconf dpkg dpkg-dev e2fslibs e2fsprogs g++-5 gcc-5 gcc-5-base gnupg gpgv grep init init-system-helpers libapparmor1 libapt-pkg5.0 libasan2 libasn1-8-heimdal libatomic1 libaudit-common libaudit1 libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcc1-0 libcilkrts5 libcomerr2 libcryptsetup4 libcurl3-gnutls libdb5.3 libdpkg-perl libfdisk1 libgcc-5-dev libgcrypt20 libgnutls30 libgomp1 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhogweed4 libhx509-5-heimdal libidn11 libitm1 libk5crypto3 libkmod2 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 liblsan0 libmount1 libmpx0 libnettle6 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libperl5.22 libpng12-0 libprocps4 libquadmath0 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules-db libseccomp2 libsmartcols1 libsqlite3-0 libss2 libssl1.0.0 libstdc++-5-dev libstdc++6 libsystemd0 libtasn1-6 libtsan0 libubsan0 libudev1 libuuid1 libwind0-heimdal linux-libc-dev login lsb-base makedev mount multiarch-support openssl optipng passwd patch perl perl-base perl-modules-5.22 procps sensible-utils systemd systemd-sysv tar tzdata ubuntu-keyring util-linux zlib1g 117 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 68.9 MB of archives. After this operation, 357 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 base-files amd64 9.4ubuntu4.11 [67.5 kB] Get:2 http://ftpmaster.internal/ubuntu xenial-security/main amd64 bash amd64 4.3-14ubuntu1.4 [583 kB] Get:3 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 bsdutils amd64 1:2.27.1-6ubuntu3.10 [50.6 kB] Get:4 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 coreutils amd64 8.25-2ubuntu3~16.04 [1174 kB] Get:5 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 dpkg amd64 1.18.4ubuntu1.6 [2085 kB] Get:6 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libc6-dev amd64 2.23-0ubuntu11.2 [2083 kB] Get:7 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libc-dev-bin amd64 2.23-0ubuntu11.2 [68.8 kB] Get:8 http://ftpmaster.internal/ubuntu xenial-security/main amd64 linux-libc-dev amd64 4.4.0-185.215 [850 kB] Get:9 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libc6 amd64 2.23-0ubuntu11.2 [2584 kB] Get:10 http://ftpmaster.internal/ubuntu xenial-security/main amd64 e2fslibs amd64 1.42.13-1ubuntu1.2 [188 kB] Get:11 http://ftpmaster.internal/ubuntu xenial-security/main amd64 e2fsprogs amd64 1.42.13-1ubuntu1.2 [770 kB] Get:12 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 grep amd64 2.25-1~16.04.1 [153 kB] Get:13 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libperl5.22 amd64 5.22.1-9ubuntu0.6 [3405 kB] Get:14 http://ftpmaster.internal/ubuntu xenial-security/main amd64 perl amd64 5.22.1-9ubuntu0.6 [237 kB] Get:15 http://ftpmaster.internal/ubuntu xenial-security/main amd64 perl-base amd64 5.22.1-9ubuntu0.6 [1283 kB] Get:16 http://ftpmaster.internal/ubuntu xenial-security/main amd64 perl-modules-5.22 all 5.22.1-9ubuntu0.6 [2629 kB] Get:17 http://ftpmaster.internal/ubuntu xenial-security/main amd64 bzip2 amd64 1.0.6-8ubuntu0.2 [32.5 kB] Get:18 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libbz2-1.0 amd64 1.0.6-8ubuntu0.2 [30.7 kB] Get:19 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libdb5.3 amd64 5.3.28-11ubuntu0.2 [670 kB] Get:20 http://ftpmaster.internal/ubuntu xenial-security/main amd64 zlib1g amd64 1:1.2.8.dfsg-2ubuntu4.3 [51.2 kB] Get:21 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 init-system-helpers all 1.29ubuntu4 [32.3 kB] Get:22 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 init amd64 1.29ubuntu4 [4624 B] Get:23 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 login amd64 1:4.2-3.1ubuntu5.4 [304 kB] Get:24 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libsystemd0 amd64 229-4ubuntu21.28 [206 kB] Get:25 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 systemd amd64 229-4ubuntu21.28 [3639 kB] Get:26 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libapparmor1 amd64 2.10.95-0ubuntu2.11 [29.5 kB] Get:27 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libaudit-common all 1:2.4.5-1ubuntu2.1 [3924 B] Get:28 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libaudit1 amd64 1:2.4.5-1ubuntu2.1 [36.2 kB] Get:29 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 debconf all 1.5.58ubuntu2 [136 kB] Get:30 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libpam0g amd64 1.1.8-3.2ubuntu2.1 [55.6 kB] Get:31 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libpam-modules-bin amd64 1.1.8-3.2ubuntu2.1 [36.9 kB] Get:32 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libpam-modules amd64 1.1.8-3.2ubuntu2.1 [244 kB] Get:33 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 passwd amd64 1:4.2-3.1ubuntu5.4 [780 kB] Get:34 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libuuid1 amd64 2.27.1-6ubuntu3.10 [14.5 kB] Get:35 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libblkid1 amd64 2.27.1-6ubuntu3.10 [107 kB] Get:36 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libgcrypt20 amd64 1.6.5-2ubuntu0.6 [336 kB] Get:37 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libcryptsetup4 amd64 2:1.6.6-5ubuntu2.1 [73.3 kB] Get:38 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libkmod2 amd64 22-1ubuntu5.2 [39.9 kB] Get:39 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libmount1 amd64 2.27.1-6ubuntu3.10 [114 kB] Get:40 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libseccomp2 amd64 2.4.3-1ubuntu3.16.04.2 [39.8 kB] Get:41 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 lsb-base all 9.20160110ubuntu0.2 [13.7 kB] Get:42 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 util-linux amd64 2.27.1-6ubuntu3.10 [849 kB] Get:43 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 mount amd64 2.27.1-6ubuntu3.10 [121 kB] Get:44 http://ftpmaster.internal/ubuntu xenial-security/main amd64 tar amd64 1.28-2.1ubuntu0.1 [209 kB] Get:45 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libc-bin amd64 2.23-0ubuntu11.2 [625 kB] Get:46 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libubsan0 amd64 5.4.0-6ubuntu1~16.04.12 [95.3 kB] Get:47 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libtsan0 amd64 5.4.0-6ubuntu1~16.04.12 [244 kB] Get:48 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libgomp1 amd64 5.4.0-6ubuntu1~16.04.12 [55.2 kB] Get:49 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libitm1 amd64 5.4.0-6ubuntu1~16.04.12 [27.4 kB] Get:50 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libatomic1 amd64 5.4.0-6ubuntu1~16.04.12 [8892 B] Get:51 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libasan2 amd64 5.4.0-6ubuntu1~16.04.12 [265 kB] Get:52 http://ftpmaster.internal/ubuntu xenial-security/main amd64 liblsan0 amd64 5.4.0-6ubuntu1~16.04.12 [105 kB] Get:53 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libcilkrts5 amd64 5.4.0-6ubuntu1~16.04.12 [40.0 kB] Get:54 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libmpx0 amd64 5.4.0-6ubuntu1~16.04.12 [9762 B] Get:55 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libquadmath0 amd64 5.4.0-6ubuntu1~16.04.12 [131 kB] Get:56 http://ftpmaster.internal/ubuntu xenial-security/main amd64 g++-5 amd64 5.4.0-6ubuntu1~16.04.12 [8430 kB] Get:57 http://ftpmaster.internal/ubuntu xenial-security/main amd64 gcc-5 amd64 5.4.0-6ubuntu1~16.04.12 [8612 kB] Get:58 http://ftpmaster.internal/ubuntu xenial-security/main amd64 cpp-5 amd64 5.4.0-6ubuntu1~16.04.12 [7783 kB] Get:59 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libcc1-0 amd64 5.4.0-6ubuntu1~16.04.12 [38.8 kB] Get:60 http://ftpmaster.internal/ubuntu xenial-security/main amd64 binutils amd64 2.26.1-1ubuntu1~16.04.8 [2312 kB] Get:61 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libstdc++-5-dev amd64 5.4.0-6ubuntu1~16.04.12 [1428 kB] Get:62 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libgcc-5-dev amd64 5.4.0-6ubuntu1~16.04.12 [2239 kB] Get:63 http://ftpmaster.internal/ubuntu xenial-security/main amd64 gcc-5-base amd64 5.4.0-6ubuntu1~16.04.12 [17.4 kB] Get:64 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libstdc++6 amd64 5.4.0-6ubuntu1~16.04.12 [393 kB] Get:65 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libapt-pkg5.0 amd64 1.2.32ubuntu0.1 [713 kB] Get:66 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 ubuntu-keyring all 2012.05.19.1 [18.4 kB] Get:67 http://ftpmaster.internal/ubuntu xenial-security/main amd64 gpgv amd64 1.4.20-1ubuntu3.3 [165 kB] Get:68 http://ftpmaster.internal/ubuntu xenial-security/main amd64 gnupg amd64 1.4.20-1ubuntu3.3 [626 kB] Get:69 http://ftpmaster.internal/ubuntu xenial-security/main amd64 apt amd64 1.2.32ubuntu0.1 [1087 kB] Get:70 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 systemd-sysv amd64 229-4ubuntu21.28 [12.3 kB] Get:71 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libcomerr2 amd64 1.42.13-1ubuntu1.2 [65.8 kB] Get:72 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libfdisk1 amd64 2.27.1-6ubuntu3.10 [138 kB] Get:73 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libpam-runtime all 1.1.8-3.2ubuntu2.1 [37.9 kB] Get:74 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libsmartcols1 amd64 2.27.1-6ubuntu3.10 [62.1 kB] Get:75 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libss2 amd64 1.42.13-1ubuntu1.2 [70.2 kB] Get:76 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libudev1 amd64 229-4ubuntu21.28 [54.8 kB] Get:77 http://ftpmaster.internal/ubuntu xenial-security/main amd64 multiarch-support amd64 2.23-0ubuntu11.2 [6828 B] Get:78 http://ftpmaster.internal/ubuntu xenial-security/main amd64 sensible-utils all 0.0.9ubuntu0.16.04.1 [10.0 kB] Get:79 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libprocps4 amd64 2:3.3.10-4ubuntu2.5 [32.9 kB] Get:80 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 makedev all 2.3.1-93ubuntu2~ubuntu16.04.1 [24.4 kB] Get:81 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 procps amd64 2:3.3.10-4ubuntu2.5 [222 kB] Get:82 http://ftpmaster.internal/ubuntu xenial-security/main amd64 tzdata all 2020a-0ubuntu0.16.04 [168 kB] Get:83 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libhogweed4 amd64 3.2-1ubuntu0.16.04.1 [136 kB] Get:84 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libnettle6 amd64 3.2-1ubuntu0.16.04.1 [93.5 kB] Get:85 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libidn11 amd64 1.32-3ubuntu1.2 [46.5 kB] Get:86 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libp11-kit0 amd64 0.23.2-5~ubuntu16.04.1 [105 kB] Get:87 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libtasn1-6 amd64 4.7-3ubuntu0.16.04.3 [43.5 kB] Get:88 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libgnutls30 amd64 3.4.10-4ubuntu1.8 [548 kB] Get:89 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libpng12-0 amd64 1.2.54-1ubuntu1.1 [116 kB] Get:90 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libsqlite3-0 amd64 3.11.0-1ubuntu1.5 [398 kB] Get:91 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libssl1.0.0 amd64 1.0.2g-1ubuntu4.16 [1084 kB] Get:92 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libgssapi-krb5-2 amd64 1.13.2+dfsg-5ubuntu2.1 [120 kB] Get:93 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libkrb5-3 amd64 1.13.2+dfsg-5ubuntu2.1 [273 kB] Get:94 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libkrb5support0 amd64 1.13.2+dfsg-5ubuntu2.1 [31.2 kB] Get:95 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libk5crypto3 amd64 1.13.2+dfsg-5ubuntu2.1 [81.3 kB] Get:96 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libroken18-heimdal amd64 1.7~git20150920+dfsg-4ubuntu1.16.04.1 [41.4 kB] Get:97 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libasn1-8-heimdal amd64 1.7~git20150920+dfsg-4ubuntu1.16.04.1 [174 kB] Get:98 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libhcrypto4-heimdal amd64 1.7~git20150920+dfsg-4ubuntu1.16.04.1 [85.0 kB] Get:99 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libheimbase1-heimdal amd64 1.7~git20150920+dfsg-4ubuntu1.16.04.1 [29.3 kB] Get:100 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libwind0-heimdal amd64 1.7~git20150920+dfsg-4ubuntu1.16.04.1 [47.8 kB] Get:101 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libhx509-5-heimdal amd64 1.7~git20150920+dfsg-4ubuntu1.16.04.1 [107 kB] Get:102 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libkrb5-26-heimdal amd64 1.7~git20150920+dfsg-4ubuntu1.16.04.1 [202 kB] Get:103 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libheimntlm0-heimdal amd64 1.7~git20150920+dfsg-4ubuntu1.16.04.1 [15.1 kB] Get:104 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libgssapi3-heimdal amd64 1.7~git20150920+dfsg-4ubuntu1.16.04.1 [96.1 kB] Get:105 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libsasl2-modules-db amd64 2.1.26.dfsg1-14ubuntu0.2 [14.5 kB] Get:106 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libsasl2-2 amd64 2.1.26.dfsg1-14ubuntu0.2 [48.7 kB] Get:107 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libldap-2.4-2 amd64 2.4.42+dfsg-2ubuntu3.8 [159 kB] Get:108 http://ftpmaster.internal/ubuntu xenial-security/main amd64 librtmp1 amd64 2.4+20151223.gitfa8646d-1ubuntu0.1 [54.4 kB] Get:109 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libcurl3-gnutls amd64 7.47.0-1ubuntu2.15 [184 kB] Get:110 http://ftpmaster.internal/ubuntu xenial-security/main amd64 apt-transport-https amd64 1.2.32ubuntu0.1 [26.7 kB] Get:111 http://ftpmaster.internal/ubuntu xenial-security/main amd64 openssl amd64 1.0.2g-1ubuntu4.16 [492 kB] Get:112 http://ftpmaster.internal/ubuntu xenial-security/main amd64 ca-certificates all 20190110~16.04.1 [146 kB] Get:113 http://ftpmaster.internal/ubuntu xenial-security/main amd64 advancecomp amd64 1.20-1ubuntu0.2 [160 kB] Get:114 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 dpkg-dev all 1.18.4ubuntu1.6 [584 kB] Get:115 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libdpkg-perl all 1.18.4ubuntu1.6 [195 kB] Get:116 http://ftpmaster.internal/ubuntu xenial-security/main amd64 patch amd64 2.7.5-1ubuntu0.16.04.2 [90.8 kB] Get:117 http://ftpmaster.internal/ubuntu xenial-security/main amd64 optipng amd64 0.7.6-1ubuntu0.16.04.1 [82.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 68.9 MB in 2s (30.7 MB/s) (Reading database ... 12151 files and directories currently installed.) Preparing to unpack .../base-files_9.4ubuntu4.11_amd64.deb ... Unpacking base-files (9.4ubuntu4.11) over (9.4ubuntu4) ... Setting up base-files (9.4ubuntu4.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/10-help-text ... (Reading database ... 12155 files and directories currently installed.) Preparing to unpack .../bash_4.3-14ubuntu1.4_amd64.deb ... Unpacking bash (4.3-14ubuntu1.4) over (4.3-14ubuntu1) ... Setting up bash (4.3-14ubuntu1.4) ... Installing new version of config file /etc/skel/.profile ... 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 ... 12155 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.27.1-6ubuntu3.10_amd64.deb ... Unpacking bsdutils (1:2.27.1-6ubuntu3.10) over (1:2.27.1-6ubuntu3) ... Setting up bsdutils (1:2.27.1-6ubuntu3.10) ... (Reading database ... 12155 files and directories currently installed.) Preparing to unpack .../coreutils_8.25-2ubuntu3~16.04_amd64.deb ... Unpacking coreutils (8.25-2ubuntu3~16.04) over (8.25-2ubuntu2) ... Setting up coreutils (8.25-2ubuntu3~16.04) ... (Reading database ... 12155 files and directories currently installed.) Preparing to unpack .../dpkg_1.18.4ubuntu1.6_amd64.deb ... Unpacking dpkg (1.18.4ubuntu1.6) over (1.18.4ubuntu1) ... Setting up dpkg (1.18.4ubuntu1.6) ... (Reading database ... 12155 files and directories currently installed.) Preparing to unpack .../libc6-dev_2.23-0ubuntu11.2_amd64.deb ... Unpacking libc6-dev:amd64 (2.23-0ubuntu11.2) over (2.23-0ubuntu3) ... Preparing to unpack .../libc-dev-bin_2.23-0ubuntu11.2_amd64.deb ... Unpacking libc-dev-bin (2.23-0ubuntu11.2) over (2.23-0ubuntu3) ... Preparing to unpack .../linux-libc-dev_4.4.0-185.215_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.4.0-185.215) over (4.4.0-21.37) ... Preparing to unpack .../libc6_2.23-0ubuntu11.2_amd64.deb ... Unpacking libc6:amd64 (2.23-0ubuntu11.2) over (2.23-0ubuntu3) ... Setting up libc6:amd64 (2.23-0ubuntu11.2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.42.13-1ubuntu1.2_amd64.deb ... Unpacking e2fslibs:amd64 (1.42.13-1ubuntu1.2) over (1.42.13-1ubuntu1) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up e2fslibs:amd64 (1.42.13-1ubuntu1.2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.42.13-1ubuntu1.2_amd64.deb ... Unpacking e2fsprogs (1.42.13-1ubuntu1.2) over (1.42.13-1ubuntu1) ... Setting up e2fsprogs (1.42.13-1ubuntu1.2) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../grep_2.25-1~16.04.1_amd64.deb ... Unpacking grep (2.25-1~16.04.1) over (2.24-1) ... Setting up grep (2.25-1~16.04.1) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../libperl5.22_5.22.1-9ubuntu0.6_amd64.deb ... Unpacking libperl5.22:amd64 (5.22.1-9ubuntu0.6) over (5.22.1-9) ... Preparing to unpack .../perl_5.22.1-9ubuntu0.6_amd64.deb ... Unpacking perl (5.22.1-9ubuntu0.6) over (5.22.1-9) ... Preparing to unpack .../perl-base_5.22.1-9ubuntu0.6_amd64.deb ... Unpacking perl-base (5.22.1-9ubuntu0.6) over (5.22.1-9) ... Setting up perl-base (5.22.1-9ubuntu0.6) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../perl-modules-5.22_5.22.1-9ubuntu0.6_all.deb ... Unpacking perl-modules-5.22 (5.22.1-9ubuntu0.6) over (5.22.1-9) ... Preparing to unpack .../bzip2_1.0.6-8ubuntu0.2_amd64.deb ... Unpacking bzip2 (1.0.6-8ubuntu0.2) over (1.0.6-8) ... Preparing to unpack .../libbz2-1.0_1.0.6-8ubuntu0.2_amd64.deb ... Unpacking libbz2-1.0:amd64 (1.0.6-8ubuntu0.2) over (1.0.6-8) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libbz2-1.0:amd64 (1.0.6-8ubuntu0.2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../libdb5.3_5.3.28-11ubuntu0.2_amd64.deb ... Unpacking libdb5.3:amd64 (5.3.28-11ubuntu0.2) over (5.3.28-11) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libdb5.3:amd64 (5.3.28-11ubuntu0.2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.8.dfsg-2ubuntu4.3_amd64.deb ... Unpacking zlib1g:amd64 (1:1.2.8.dfsg-2ubuntu4.3) over (1:1.2.8.dfsg-2ubuntu4) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up zlib1g:amd64 (1:1.2.8.dfsg-2ubuntu4.3) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.29ubuntu4_all.deb ... Unpacking init-system-helpers (1.29ubuntu4) over (1.29ubuntu1) ... Setting up init-system-helpers (1.29ubuntu4) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../init_1.29ubuntu4_amd64.deb ... Unpacking init (1.29ubuntu4) over (1.29ubuntu1) ... Setting up init (1.29ubuntu4) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../login_1%3a4.2-3.1ubuntu5.4_amd64.deb ... Unpacking login (1:4.2-3.1ubuntu5.4) over (1:4.2-3.1ubuntu5) ... Setting up login (1:4.2-3.1ubuntu5.4) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../libsystemd0_229-4ubuntu21.28_amd64.deb ... Unpacking libsystemd0:amd64 (229-4ubuntu21.28) over (229-4ubuntu4) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libsystemd0:amd64 (229-4ubuntu21.28) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12154 files and directories currently installed.) Preparing to unpack .../systemd_229-4ubuntu21.28_amd64.deb ... Unpacking systemd (229-4ubuntu21.28) over (229-4ubuntu4) ... Setting up systemd (229-4ubuntu21.28) ... Installing new version of config file /etc/systemd/system.conf ... Initializing machine ID from KVM UUID. addgroup: The group `systemd-journal' already exists as a system group. Exiting. (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libapparmor1_2.10.95-0ubuntu2.11_amd64.deb ... Unpacking libapparmor1:amd64 (2.10.95-0ubuntu2.11) over (2.10.95-0ubuntu2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libapparmor1:amd64 (2.10.95-0ubuntu2.11) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a2.4.5-1ubuntu2.1_all.deb ... Unpacking libaudit-common (1:2.4.5-1ubuntu2.1) over (1:2.4.5-1ubuntu2) ... Setting up libaudit-common (1:2.4.5-1ubuntu2.1) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.4.5-1ubuntu2.1_amd64.deb ... Unpacking libaudit1:amd64 (1:2.4.5-1ubuntu2.1) over (1:2.4.5-1ubuntu2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libaudit1:amd64 (1:2.4.5-1ubuntu2.1) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../debconf_1.5.58ubuntu2_all.deb ... Unpacking debconf (1.5.58ubuntu2) over (1.5.58ubuntu1) ... Setting up debconf (1.5.58ubuntu2) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-3.2ubuntu2.1_amd64.deb ... Unpacking libpam0g:amd64 (1.1.8-3.2ubuntu2.1) over (1.1.8-3.2ubuntu2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libpam0g:amd64 (1.1.8-3.2ubuntu2.1) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-3.2ubuntu2.1_amd64.deb ... Unpacking libpam-modules-bin (1.1.8-3.2ubuntu2.1) over (1.1.8-3.2ubuntu2) ... Setting up libpam-modules-bin (1.1.8-3.2ubuntu2.1) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-3.2ubuntu2.1_amd64.deb ... Unpacking libpam-modules:amd64 (1.1.8-3.2ubuntu2.1) over (1.1.8-3.2ubuntu2) ... Setting up libpam-modules:amd64 (1.1.8-3.2ubuntu2.1) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.2-3.1ubuntu5.4_amd64.deb ... Unpacking passwd (1:4.2-3.1ubuntu5.4) over (1:4.2-3.1ubuntu5) ... Setting up passwd (1:4.2-3.1ubuntu5.4) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libuuid1_2.27.1-6ubuntu3.10_amd64.deb ... Unpacking libuuid1:amd64 (2.27.1-6ubuntu3.10) over (2.27.1-6ubuntu3) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libuuid1:amd64 (2.27.1-6ubuntu3.10) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libblkid1_2.27.1-6ubuntu3.10_amd64.deb ... Unpacking libblkid1:amd64 (2.27.1-6ubuntu3.10) over (2.27.1-6ubuntu3) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libblkid1:amd64 (2.27.1-6ubuntu3.10) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.6.5-2ubuntu0.6_amd64.deb ... Unpacking libgcrypt20:amd64 (1.6.5-2ubuntu0.6) over (1.6.5-2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libgcrypt20:amd64 (1.6.5-2ubuntu0.6) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libcryptsetup4_2%3a1.6.6-5ubuntu2.1_amd64.deb ... Unpacking libcryptsetup4:amd64 (2:1.6.6-5ubuntu2.1) over (2:1.6.6-5ubuntu2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libcryptsetup4:amd64 (2:1.6.6-5ubuntu2.1) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libkmod2_22-1ubuntu5.2_amd64.deb ... Unpacking libkmod2:amd64 (22-1ubuntu5.2) over (22-1ubuntu4) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libkmod2:amd64 (22-1ubuntu5.2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libmount1_2.27.1-6ubuntu3.10_amd64.deb ... Unpacking libmount1:amd64 (2.27.1-6ubuntu3.10) over (2.27.1-6ubuntu3) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libmount1:amd64 (2.27.1-6ubuntu3.10) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.4.3-1ubuntu3.16.04.2_amd64.deb ... Unpacking libseccomp2:amd64 (2.4.3-1ubuntu3.16.04.2) over (2.2.3-3ubuntu3) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... Setting up libseccomp2:amd64 (2.4.3-1ubuntu3.16.04.2) ... Processing triggers for libc-bin (2.23-0ubuntu3) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../lsb-base_9.20160110ubuntu0.2_all.deb ... Unpacking lsb-base (9.20160110ubuntu0.2) over (9.20160110) ... Setting up lsb-base (9.20160110ubuntu0.2) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../util-linux_2.27.1-6ubuntu3.10_amd64.deb ... Unpacking util-linux (2.27.1-6ubuntu3.10) over (2.27.1-6ubuntu3) ... Setting up util-linux (2.27.1-6ubuntu3.10) ... Installing new version of config file /etc/cron.weekly/fstrim ... Processing triggers for systemd (229-4ubuntu21.28) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../mount_2.27.1-6ubuntu3.10_amd64.deb ... Unpacking mount (2.27.1-6ubuntu3.10) over (2.27.1-6ubuntu3) ... Setting up mount (2.27.1-6ubuntu3.10) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../tar_1.28-2.1ubuntu0.1_amd64.deb ... Unpacking tar (1.28-2.1ubuntu0.1) over (1.28-2.1) ... Setting up tar (1.28-2.1ubuntu0.1) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libc-bin_2.23-0ubuntu11.2_amd64.deb ... Unpacking libc-bin (2.23-0ubuntu11.2) over (2.23-0ubuntu3) ... Setting up libc-bin (2.23-0ubuntu11.2) ... (Reading database ... 12147 files and directories currently installed.) Preparing to unpack .../libubsan0_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libubsan0:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libtsan0_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libtsan0:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libgomp1_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libgomp1:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libitm1_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libitm1:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libatomic1_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libatomic1:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libasan2_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libasan2:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../liblsan0_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking liblsan0:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libcilkrts5_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libcilkrts5:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libmpx0_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libmpx0:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libquadmath0_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libquadmath0:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../g++-5_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking g++-5 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../gcc-5_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking gcc-5 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../cpp-5_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking cpp-5 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libcc1-0_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libcc1-0:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../binutils_2.26.1-1ubuntu1~16.04.8_amd64.deb ... Unpacking binutils (2.26.1-1ubuntu1~16.04.8) over (2.26-8ubuntu2) ... Preparing to unpack .../libstdc++-5-dev_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libstdc++-5-dev:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../libgcc-5-dev_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libgcc-5-dev:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Preparing to unpack .../gcc-5-base_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking gcc-5-base:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up gcc-5-base:amd64 (5.4.0-6ubuntu1~16.04.12) ... (Reading database ... 12150 files and directories currently installed.) Preparing to unpack .../libstdc++6_5.4.0-6ubuntu1~16.04.12_amd64.deb ... Unpacking libstdc++6:amd64 (5.4.0-6ubuntu1~16.04.12) over (5.3.1-14ubuntu2) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up libstdc++6:amd64 (5.4.0-6ubuntu1~16.04.12) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... (Reading database ... 12150 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.2.32ubuntu0.1_amd64.deb ... Unpacking libapt-pkg5.0:amd64 (1.2.32ubuntu0.1) over (1.2.10ubuntu1) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up libapt-pkg5.0:amd64 (1.2.32ubuntu0.1) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... (Reading database ... 12150 files and directories currently installed.) Preparing to unpack .../ubuntu-keyring_2012.05.19.1_all.deb ... Unpacking ubuntu-keyring (2012.05.19.1) over (2012.05.19) ... Setting up ubuntu-keyring (2012.05.19.1) ... gpg: key 437D05B5: "Ubuntu Archive Automatic Signing Key " not changed gpg: key FBB75451: "Ubuntu CD Image Automatic Signing Key " not changed gpg: key C0B21F32: "Ubuntu Archive Automatic Signing Key (2012) " not changed gpg: key EFE21092: "Ubuntu CD Image Automatic Signing Key (2012) " not changed gpg: key 991BC93C: public key "Ubuntu Archive Automatic Signing Key (2018) " imported gpg: Total number processed: 5 gpg: imported: 1 (RSA: 1) gpg: unchanged: 4 (Reading database ... 12150 files and directories currently installed.) Preparing to unpack .../gpgv_1.4.20-1ubuntu3.3_amd64.deb ... Unpacking gpgv (1.4.20-1ubuntu3.3) over (1.4.20-1ubuntu3) ... Setting up gpgv (1.4.20-1ubuntu3.3) ... (Reading database ... 12150 files and directories currently installed.) Preparing to unpack .../gnupg_1.4.20-1ubuntu3.3_amd64.deb ... Unpacking gnupg (1.4.20-1ubuntu3.3) over (1.4.20-1ubuntu3) ... Setting up gnupg (1.4.20-1ubuntu3.3) ... (Reading database ... 12150 files and directories currently installed.) Preparing to unpack .../apt_1.2.32ubuntu0.1_amd64.deb ... Unpacking apt (1.2.32ubuntu0.1) over (1.2.10ubuntu1) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up apt (1.2.32ubuntu0.1) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... Installing new version of config file /etc/cron.daily/apt-compat ... Installing new version of config file /etc/kernel/postinst.d/apt-auto-removal ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../systemd-sysv_229-4ubuntu21.28_amd64.deb ... Unpacking systemd-sysv (229-4ubuntu21.28) over (229-4ubuntu4) ... Setting up systemd-sysv (229-4ubuntu21.28) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.42.13-1ubuntu1.2_amd64.deb ... Unpacking libcomerr2:amd64 (1.42.13-1ubuntu1.2) over (1.42.13-1ubuntu1) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up libcomerr2:amd64 (1.42.13-1ubuntu1.2) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.27.1-6ubuntu3.10_amd64.deb ... Unpacking libfdisk1:amd64 (2.27.1-6ubuntu3.10) over (2.27.1-6ubuntu3) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up libfdisk1:amd64 (2.27.1-6ubuntu3.10) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.1.8-3.2ubuntu2.1_all.deb ... Unpacking libpam-runtime (1.1.8-3.2ubuntu2.1) over (1.1.8-3.2ubuntu2) ... Setting up libpam-runtime (1.1.8-3.2ubuntu2.1) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.27.1-6ubuntu3.10_amd64.deb ... Unpacking libsmartcols1:amd64 (2.27.1-6ubuntu3.10) over (2.27.1-6ubuntu3) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up libsmartcols1:amd64 (2.27.1-6ubuntu3.10) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../libss2_1.42.13-1ubuntu1.2_amd64.deb ... Unpacking libss2:amd64 (1.42.13-1ubuntu1.2) over (1.42.13-1ubuntu1) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up libss2:amd64 (1.42.13-1ubuntu1.2) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../libudev1_229-4ubuntu21.28_amd64.deb ... Unpacking libudev1:amd64 (229-4ubuntu21.28) over (229-4ubuntu4) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up libudev1:amd64 (229-4ubuntu21.28) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.23-0ubuntu11.2_amd64.deb ... Unpacking multiarch-support (2.23-0ubuntu11.2) over (2.23-0ubuntu3) ... Setting up multiarch-support (2.23-0ubuntu11.2) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../sensible-utils_0.0.9ubuntu0.16.04.1_all.deb ... Unpacking sensible-utils (0.0.9ubuntu0.16.04.1) over (0.0.9) ... Setting up sensible-utils (0.0.9ubuntu0.16.04.1) ... (Reading database ... 12161 files and directories currently installed.) Preparing to unpack .../libprocps4_2%3a3.3.10-4ubuntu2.5_amd64.deb ... Unpacking libprocps4:amd64 (2:3.3.10-4ubuntu2.5) over (2:3.3.10-4ubuntu2) ... Preparing to unpack .../makedev_2.3.1-93ubuntu2~ubuntu16.04.1_all.deb ... Unpacking makedev (2.3.1-93ubuntu2~ubuntu16.04.1) over (2.3.1-93ubuntu1) ... Preparing to unpack .../procps_2%3a3.3.10-4ubuntu2.5_amd64.deb ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of stop. Unpacking procps (2:3.3.10-4ubuntu2.5) over (2:3.3.10-4ubuntu2) ... Preparing to unpack .../tzdata_2020a-0ubuntu0.16.04_all.deb ... Unpacking tzdata (2020a-0ubuntu0.16.04) over (2016d-0ubuntu0.16.04) ... Preparing to unpack .../libhogweed4_3.2-1ubuntu0.16.04.1_amd64.deb ... Unpacking libhogweed4:amd64 (3.2-1ubuntu0.16.04.1) over (3.2-1) ... Preparing to unpack .../libnettle6_3.2-1ubuntu0.16.04.1_amd64.deb ... Unpacking libnettle6:amd64 (3.2-1ubuntu0.16.04.1) over (3.2-1) ... Preparing to unpack .../libidn11_1.32-3ubuntu1.2_amd64.deb ... Unpacking libidn11:amd64 (1.32-3ubuntu1.2) over (1.32-3ubuntu1) ... Preparing to unpack .../libp11-kit0_0.23.2-5~ubuntu16.04.1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.2-5~ubuntu16.04.1) over (0.23.2-3) ... Preparing to unpack .../libtasn1-6_4.7-3ubuntu0.16.04.3_amd64.deb ... Unpacking libtasn1-6:amd64 (4.7-3ubuntu0.16.04.3) over (4.7-3) ... Preparing to unpack .../libgnutls30_3.4.10-4ubuntu1.8_amd64.deb ... Unpacking libgnutls30:amd64 (3.4.10-4ubuntu1.8) over (3.4.10-4ubuntu1) ... Preparing to unpack .../libpng12-0_1.2.54-1ubuntu1.1_amd64.deb ... Unpacking libpng12-0:amd64 (1.2.54-1ubuntu1.1) over (1.2.54-1ubuntu1) ... Preparing to unpack .../libsqlite3-0_3.11.0-1ubuntu1.5_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.11.0-1ubuntu1.5) over (3.11.0-1ubuntu1) ... Preparing to unpack .../libssl1.0.0_1.0.2g-1ubuntu4.16_amd64.deb ... Unpacking libssl1.0.0:amd64 (1.0.2g-1ubuntu4.16) over (1.0.2g-1ubuntu4) ... Preparing to unpack .../libgssapi-krb5-2_1.13.2+dfsg-5ubuntu2.1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.13.2+dfsg-5ubuntu2.1) over (1.13.2+dfsg-5) ... Preparing to unpack .../libkrb5-3_1.13.2+dfsg-5ubuntu2.1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.13.2+dfsg-5ubuntu2.1) over (1.13.2+dfsg-5) ... Preparing to unpack .../libkrb5support0_1.13.2+dfsg-5ubuntu2.1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.13.2+dfsg-5ubuntu2.1) over (1.13.2+dfsg-5) ... Preparing to unpack .../libk5crypto3_1.13.2+dfsg-5ubuntu2.1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.13.2+dfsg-5ubuntu2.1) over (1.13.2+dfsg-5) ... Preparing to unpack .../libroken18-heimdal_1.7~git20150920+dfsg-4ubuntu1.16.04.1_amd64.deb ... Unpacking libroken18-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../libasn1-8-heimdal_1.7~git20150920+dfsg-4ubuntu1.16.04.1_amd64.deb ... Unpacking libasn1-8-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../libhcrypto4-heimdal_1.7~git20150920+dfsg-4ubuntu1.16.04.1_amd64.deb ... Unpacking libhcrypto4-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../libheimbase1-heimdal_1.7~git20150920+dfsg-4ubuntu1.16.04.1_amd64.deb ... Unpacking libheimbase1-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../libwind0-heimdal_1.7~git20150920+dfsg-4ubuntu1.16.04.1_amd64.deb ... Unpacking libwind0-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../libhx509-5-heimdal_1.7~git20150920+dfsg-4ubuntu1.16.04.1_amd64.deb ... Unpacking libhx509-5-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../libkrb5-26-heimdal_1.7~git20150920+dfsg-4ubuntu1.16.04.1_amd64.deb ... Unpacking libkrb5-26-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../libheimntlm0-heimdal_1.7~git20150920+dfsg-4ubuntu1.16.04.1_amd64.deb ... Unpacking libheimntlm0-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../libgssapi3-heimdal_1.7~git20150920+dfsg-4ubuntu1.16.04.1_amd64.deb ... Unpacking libgssapi3-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-14ubuntu0.2_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.26.dfsg1-14ubuntu0.2) over (2.1.26.dfsg1-14build1) ... Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-14ubuntu0.2_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.26.dfsg1-14ubuntu0.2) over (2.1.26.dfsg1-14build1) ... Preparing to unpack .../libldap-2.4-2_2.4.42+dfsg-2ubuntu3.8_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.42+dfsg-2ubuntu3.8) over (2.4.42+dfsg-2ubuntu3) ... Preparing to unpack .../librtmp1_2.4+20151223.gitfa8646d-1ubuntu0.1_amd64.deb ... Unpacking librtmp1:amd64 (2.4+20151223.gitfa8646d-1ubuntu0.1) over (2.4+20151223.gitfa8646d-1build1) ... Preparing to unpack .../libcurl3-gnutls_7.47.0-1ubuntu2.15_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.47.0-1ubuntu2.15) over (7.47.0-1ubuntu2) ... Preparing to unpack .../apt-transport-https_1.2.32ubuntu0.1_amd64.deb ... Unpacking apt-transport-https (1.2.32ubuntu0.1) over (1.2.10ubuntu1) ... Preparing to unpack .../openssl_1.0.2g-1ubuntu4.16_amd64.deb ... Unpacking openssl (1.0.2g-1ubuntu4.16) over (1.0.2g-1ubuntu4) ... Preparing to unpack .../ca-certificates_20190110~16.04.1_all.deb ... Unpacking ca-certificates (20190110~16.04.1) over (20160104ubuntu1) ... Preparing to unpack .../advancecomp_1.20-1ubuntu0.2_amd64.deb ... Unpacking advancecomp (1.20-1ubuntu0.2) over (1.20-1) ... Preparing to unpack .../dpkg-dev_1.18.4ubuntu1.6_all.deb ... Unpacking dpkg-dev (1.18.4ubuntu1.6) over (1.18.4ubuntu1) ... Preparing to unpack .../libdpkg-perl_1.18.4ubuntu1.6_all.deb ... Unpacking libdpkg-perl (1.18.4ubuntu1.6) over (1.18.4ubuntu1) ... Preparing to unpack .../patch_2.7.5-1ubuntu0.16.04.2_amd64.deb ... Unpacking patch (2.7.5-1ubuntu0.16.04.2) over (2.7.5-1) ... Preparing to unpack .../optipng_0.7.6-1ubuntu0.16.04.1_amd64.deb ... Unpacking optipng (0.7.6-1ubuntu0.16.04.1) over (0.7.6-1) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Processing triggers for systemd (229-4ubuntu21.28) ... Setting up libc-dev-bin (2.23-0ubuntu11.2) ... Setting up linux-libc-dev:amd64 (4.4.0-185.215) ... Setting up libc6-dev:amd64 (2.23-0ubuntu11.2) ... Setting up perl-modules-5.22 (5.22.1-9ubuntu0.6) ... Setting up libperl5.22:amd64 (5.22.1-9ubuntu0.6) ... Setting up perl (5.22.1-9ubuntu0.6) ... Setting up bzip2 (1.0.6-8ubuntu0.2) ... Setting up libubsan0:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up libtsan0:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up libgomp1:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up libitm1:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up libatomic1:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up libasan2:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up liblsan0:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up libcilkrts5:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up libmpx0:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up libquadmath0:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up cpp-5 (5.4.0-6ubuntu1~16.04.12) ... Setting up libcc1-0:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up binutils (2.26.1-1ubuntu1~16.04.8) ... Setting up libgcc-5-dev:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up gcc-5 (5.4.0-6ubuntu1~16.04.12) ... Setting up libstdc++-5-dev:amd64 (5.4.0-6ubuntu1~16.04.12) ... Setting up g++-5 (5.4.0-6ubuntu1~16.04.12) ... Setting up libprocps4:amd64 (2:3.3.10-4ubuntu2.5) ... Setting up makedev (2.3.1-93ubuntu2~ubuntu16.04.1) ... Setting up procps (2:3.3.10-4ubuntu2.5) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Setting up tzdata (2020a-0ubuntu0.16.04) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Jul 9 14:16:48 UTC 2020. Universal Time is now: Thu Jul 9 14:16:48 UTC 2020. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libnettle6:amd64 (3.2-1ubuntu0.16.04.1) ... Setting up libhogweed4:amd64 (3.2-1ubuntu0.16.04.1) ... Setting up libidn11:amd64 (1.32-3ubuntu1.2) ... Setting up libp11-kit0:amd64 (0.23.2-5~ubuntu16.04.1) ... Setting up libtasn1-6:amd64 (4.7-3ubuntu0.16.04.3) ... Setting up libgnutls30:amd64 (3.4.10-4ubuntu1.8) ... Setting up libpng12-0:amd64 (1.2.54-1ubuntu1.1) ... Setting up libsqlite3-0:amd64 (3.11.0-1ubuntu1.5) ... Setting up libssl1.0.0:amd64 (1.0.2g-1ubuntu4.16) ... Setting up libkrb5support0:amd64 (1.13.2+dfsg-5ubuntu2.1) ... Setting up libk5crypto3:amd64 (1.13.2+dfsg-5ubuntu2.1) ... Setting up libkrb5-3:amd64 (1.13.2+dfsg-5ubuntu2.1) ... Setting up libgssapi-krb5-2:amd64 (1.13.2+dfsg-5ubuntu2.1) ... Setting up libroken18-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) ... Setting up libasn1-8-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) ... Setting up libhcrypto4-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) ... Setting up libheimbase1-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) ... Setting up libwind0-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) ... Setting up libhx509-5-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) ... Setting up libkrb5-26-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) ... Setting up libheimntlm0-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) ... Setting up libgssapi3-heimdal:amd64 (1.7~git20150920+dfsg-4ubuntu1.16.04.1) ... Setting up libsasl2-modules-db:amd64 (2.1.26.dfsg1-14ubuntu0.2) ... Setting up libsasl2-2:amd64 (2.1.26.dfsg1-14ubuntu0.2) ... Setting up libldap-2.4-2:amd64 (2.4.42+dfsg-2ubuntu3.8) ... Setting up librtmp1:amd64 (2.4+20151223.gitfa8646d-1ubuntu0.1) ... Setting up libcurl3-gnutls:amd64 (7.47.0-1ubuntu2.15) ... Setting up apt-transport-https (1.2.32ubuntu0.1) ... Setting up openssl (1.0.2g-1ubuntu4.16) ... Setting up ca-certificates (20190110~16.04.1) ... Setting up advancecomp (1.20-1ubuntu0.2) ... Setting up libdpkg-perl (1.18.4ubuntu1.6) ... Setting up patch (2.7.5-1ubuntu0.16.04.2) ... Setting up dpkg-dev (1.18.4ubuntu1.6) ... Setting up optipng (0.7.6-1ubuntu0.16.04.1) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Processing triggers for ca-certificates (20190110~16.04.1) ... Updating certificates in /etc/ssl/certs... 22 added, 68 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/bin/buildrecipe --git RECIPEBRANCHBUILD-2604066 'Jason Gross' jgross@mit.edu xenial xenial universe PPA Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: dh-python distro-info-data libexpat1 libmpdec2 libpython3-stdlib libpython3.5-minimal libpython3.5-stdlib mime-support python3 python3-minimal python3.5 python3.5-minimal Suggested packages: lsb python3-doc python3-tk python3-venv python3.5-venv python3.5-doc binfmt-support Recommended packages: file The following NEW packages will be installed: dh-python distro-info-data libexpat1 libmpdec2 libpython3-stdlib libpython3.5-minimal libpython3.5-stdlib lsb-release mime-support python3 python3-minimal python3.5 python3.5-minimal 0 upgraded, 13 newly installed, 0 to remove and 0 not upgraded. Need to get 4736 kB of archives. After this operation, 24.7 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libpython3.5-minimal amd64 3.5.2-2ubuntu0~16.04.10 [525 kB] Get:2 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libexpat1 amd64 2.1.0-7ubuntu0.16.04.5 [71.5 kB] Get:3 http://ftpmaster.internal/ubuntu xenial-security/main amd64 python3.5-minimal amd64 3.5.2-2ubuntu0~16.04.10 [1597 kB] Get:4 http://ftpmaster.internal/ubuntu xenial/main amd64 python3-minimal amd64 3.5.1-3 [23.3 kB] Get:5 http://ftpmaster.internal/ubuntu xenial/main amd64 mime-support all 3.59ubuntu1 [31.0 kB] Get:6 http://ftpmaster.internal/ubuntu xenial/main amd64 libmpdec2 amd64 2.4.2-1 [82.6 kB] Get:7 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libpython3.5-stdlib amd64 3.5.2-2ubuntu0~16.04.10 [2135 kB] Get:8 http://ftpmaster.internal/ubuntu xenial-security/main amd64 python3.5 amd64 3.5.2-2ubuntu0~16.04.10 [165 kB] Get:9 http://ftpmaster.internal/ubuntu xenial/main amd64 libpython3-stdlib amd64 3.5.1-3 [6818 B] Get:10 http://ftpmaster.internal/ubuntu xenial-security/main amd64 dh-python all 2.20151103ubuntu1.2 [73.9 kB] Get:11 http://ftpmaster.internal/ubuntu xenial/main amd64 python3 amd64 3.5.1-3 [8710 B] Get:12 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 distro-info-data all 0.28ubuntu0.14 [4674 B] Get:13 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 lsb-release all 9.20160110ubuntu0.2 [11.8 kB] perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). debconf: delaying package configuration, since apt-utils is not installed Fetched 4736 kB in 0s (27.5 MB/s) Selecting previously unselected package libpython3.5-minimal:amd64. (Reading database ... 12132 files and directories currently installed.) Preparing to unpack .../libpython3.5-minimal_3.5.2-2ubuntu0~16.04.10_amd64.deb ... Unpacking libpython3.5-minimal:amd64 (3.5.2-2ubuntu0~16.04.10) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.1.0-7ubuntu0.16.04.5_amd64.deb ... Unpacking libexpat1:amd64 (2.1.0-7ubuntu0.16.04.5) ... Selecting previously unselected package python3.5-minimal. Preparing to unpack .../python3.5-minimal_3.5.2-2ubuntu0~16.04.10_amd64.deb ... Unpacking python3.5-minimal (3.5.2-2ubuntu0~16.04.10) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../python3-minimal_3.5.1-3_amd64.deb ... Unpacking python3-minimal (3.5.1-3) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.59ubuntu1_all.deb ... Unpacking mime-support (3.59ubuntu1) ... Selecting previously unselected package libmpdec2:amd64. Preparing to unpack .../libmpdec2_2.4.2-1_amd64.deb ... Unpacking libmpdec2:amd64 (2.4.2-1) ... Selecting previously unselected package libpython3.5-stdlib:amd64. Preparing to unpack .../libpython3.5-stdlib_3.5.2-2ubuntu0~16.04.10_amd64.deb ... Unpacking libpython3.5-stdlib:amd64 (3.5.2-2ubuntu0~16.04.10) ... Selecting previously unselected package python3.5. Preparing to unpack .../python3.5_3.5.2-2ubuntu0~16.04.10_amd64.deb ... Unpacking python3.5 (3.5.2-2ubuntu0~16.04.10) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../libpython3-stdlib_3.5.1-3_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.5.1-3) ... Selecting previously unselected package dh-python. Preparing to unpack .../dh-python_2.20151103ubuntu1.2_all.deb ... Unpacking dh-python (2.20151103ubuntu1.2) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Setting up libpython3.5-minimal:amd64 (3.5.2-2ubuntu0~16.04.10) ... Setting up libexpat1:amd64 (2.1.0-7ubuntu0.16.04.5) ... Setting up python3.5-minimal (3.5.2-2ubuntu0~16.04.10) ... Setting up python3-minimal (3.5.1-3) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Selecting previously unselected package python3. (Reading database ... 13083 files and directories currently installed.) Preparing to unpack .../python3_3.5.1-3_amd64.deb ... Unpacking python3 (3.5.1-3) ... Selecting previously unselected package distro-info-data. Preparing to unpack .../distro-info-data_0.28ubuntu0.14_all.deb ... Unpacking distro-info-data (0.28ubuntu0.14) ... Selecting previously unselected package lsb-release. Preparing to unpack .../lsb-release_9.20160110ubuntu0.2_all.deb ... Unpacking lsb-release (9.20160110ubuntu0.2) ... Setting up mime-support (3.59ubuntu1) ... Setting up libmpdec2:amd64 (2.4.2-1) ... Setting up libpython3.5-stdlib:amd64 (3.5.2-2ubuntu0~16.04.10) ... Setting up python3.5 (3.5.2-2ubuntu0~16.04.10) ... Setting up libpython3-stdlib:amd64 (3.5.1-3) ... Setting up distro-info-data (0.28ubuntu0.14) ... Setting up dh-python (2.20151103ubuntu1.2) ... Setting up python3 (3.5.1-3) ... running python rtupdate hooks for python3.5... running python post-rtupdate hooks for python3.5... Setting up lsb-release (9.20160110ubuntu0.2) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Git version: git version 2.7.4 git-build-recipe 0.3.6~git201906051340.ff11471~ubuntu16.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-2604066/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'xenial', '--allow-fallback-to-native', '--append-version', '~ubuntu16.04.1', '/home/buildd/build-RECIPEBRANCHBUILD-2604066/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-2604066/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-2604066/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch patching file test-suite/success/Nsatz.v Hunk #1 succeeded at 462 (offset 1 line). Hunk #2 succeeded at 474 (offset 1 line). Applying patch /home/buildd/build-RECIPEBRANCHBUILD-2604066/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 114 with fuzz 2 (offset 40 lines). Now at patch /home/buildd/build-RECIPEBRANCHBUILD-2604066/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch Initialized empty Git repository in /home/buildd/build-RECIPEBRANCHBUILD-2604066/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.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.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.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 '577ec77f17a872d6bc36073ceeb3cf582fcf01c4'. 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 577ec77... Merge PR #11836: [obligations] Functionalize Program state 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.3 -> source-packaging/v8.3 * [new branch] v8.5 -> source-packaging/v8.5 * [new branch] v8.5-precise -> source-packaging/v8.5-precise * [new branch] v8.6 -> source-packaging/v8.6 * [new branch] v8.6-precise -> source-packaging/v8.6-precise * [new branch] v8.7 -> source-packaging/v8.7 * [new branch] v8.7-precise -> source-packaging/v8.7-precise * [new branch] v8.8 -> source-packaging/v8.8 * [new branch] v8.9 -> source-packaging/v8.9 resource.struct_rusage(ru_utime=35.48, ru_stime=5.092, ru_maxrss=103488, ru_ixrss=0, ru_idrss=0, ru_isrss=0, ru_minflt=152537, ru_majflt=43, ru_nswap=0, ru_inblock=9224, ru_oublock=365216, ru_msgsnd=0, ru_msgrcv=0, ru_nsignals=0, ru_nvcsw=105698, ru_nivcsw=8117) Get:1 file:/home/buildd/work/apt ./ InRelease Ign:1 file:/home/buildd/work/apt ./ InRelease Get:2 file:/home/buildd/work/apt ./ Release [1329 B] Get:2 file:/home/buildd/work/apt ./ Release [1329 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 [269 B] Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: autotools-dev bsdmainutils debhelper dh-ocaml dh-strip-nondeterminism file fontconfig-config fonts-dejavu-core gettext gettext-base ghostscript groff-base gsfonts hevea intltool-debian libarchive-zip-perl libasprintf0v5 libavahi-client3 libavahi-common-data libavahi-common3 libcroco3 libcups2 libcupsfilters1 libcupsimage2 libdbus-1-3 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libglib2.0-0 libgraphite2-3 libgs9 libgs9-common libharfbuzz-icu0 libharfbuzz0b libice6 libicu55 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblcms2-2 libmagic1 libncurses5-dev libnetpbm10 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler58 libpotrace0 libptexenc1 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsm6 libsynctex1 libtexlua52 libtexluajit2 libtiff5 libtimedate-perl libtinfo-dev libunistring0 libx11-6 libx11-data libxau6 libxaw7 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxt6 libzzip-0-13 man-db netpbm ocaml-base-nox ocaml-compiler-libs 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, 103 newly installed, 0 to remove and 0 not upgraded. Need to get 143 MB of archives. After this operation, 557 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libglib2.0-0 amd64 2.48.2-0ubuntu4.6 [1120 kB] Get:2 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial/main amd64 ocaml-base-nox amd64 4.05.0-10ubuntu2.1~xenial~ppa4 [561 kB] Get:3 http://ftpmaster.internal/ubuntu xenial/main amd64 libxau6 amd64 1:1.0.8-1 [8376 B] Get:4 http://ftpmaster.internal/ubuntu xenial/main amd64 libxdmcp6 amd64 1:1.1.2-1.1 [11.0 kB] Get:5 http://ftpmaster.internal/ubuntu xenial/main amd64 libxcb1 amd64 1.11.1-1ubuntu1 [40.0 kB] Get:6 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libx11-data all 2:1.6.3-1ubuntu2.1 [113 kB] Get:7 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libx11-6 amd64 2:1.6.3-1ubuntu2.1 [570 kB] Get:8 http://ftpmaster.internal/ubuntu xenial/main amd64 libxext6 amd64 2:1.3.3-1 [29.4 kB] Get:9 http://ftpmaster.internal/ubuntu xenial/main amd64 groff-base amd64 1.22.3-7 [1151 kB] Get:10 http://ftpmaster.internal/ubuntu xenial/main amd64 bsdmainutils amd64 9.0.6ubuntu3 [174 kB] Get:11 http://ftpmaster.internal/ubuntu xenial/main amd64 libpipeline1 amd64 1.4.1-2 [24.6 kB] Get:12 http://ftpmaster.internal/ubuntu xenial/main amd64 man-db amd64 2.7.5-1 [854 kB] Get:13 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial/main amd64 hevea all 2.32-1.1~xenial~ppa4 [892 kB] Get:14 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 x11-common all 1:7.7+13ubuntu3.1 [22.9 kB] Get:15 http://ftpmaster.internal/ubuntu xenial/main amd64 libice6 amd64 2:1.0.9-1 [39.2 kB] Get:16 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libjpeg-turbo8 amd64 1.4.2-0ubuntu3.4 [111 kB] Get:17 http://ftpmaster.internal/ubuntu xenial/main amd64 libsm6 amd64 2:1.2.2-1 [15.8 kB] Get:18 http://ftpmaster.internal/ubuntu xenial/main amd64 libunistring0 amd64 0.9.3-5.2ubuntu1 [279 kB] Get:19 http://ftpmaster.internal/ubuntu xenial/main amd64 poppler-data all 0.4.7-7 [1495 kB] Get:20 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libpython2.7-minimal amd64 2.7.12-1ubuntu0~16.04.11 [338 kB] Get:21 http://ftpmaster.internal/ubuntu xenial-security/main amd64 python2.7-minimal amd64 2.7.12-1ubuntu0~16.04.11 [1261 kB] Get:22 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 python-minimal amd64 2.7.12-1~16.04 [28.1 kB] Get:23 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libpython2.7-stdlib amd64 2.7.12-1ubuntu0~16.04.11 [1884 kB] Get:24 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial/main amd64 libfindlib-ocaml amd64 1.7.3-2~ubuntu16.04.1~ppa4 [166 kB] Get:25 http://ftpmaster.internal/ubuntu xenial-security/main amd64 python2.7 amd64 2.7.12-1ubuntu0~16.04.11 [224 kB] Get:26 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 libpython-stdlib amd64 2.7.12-1~16.04 [7768 B] Get:27 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 python amd64 2.7.12-1~16.04 [137 kB] Get:28 http://ftpmaster.internal/ubuntu xenial/main amd64 libjbig0 amd64 2.1-3.1 [26.6 kB] Get:29 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libmagic1 amd64 1:5.25-2ubuntu1.4 [216 kB] Get:30 http://ftpmaster.internal/ubuntu xenial-security/main amd64 file amd64 1:5.25-2ubuntu1.4 [21.2 kB] Get:31 http://ftpmaster.internal/ubuntu xenial/main amd64 ucf all 3.0036 [52.9 kB] Get:32 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libasprintf0v5 amd64 0.19.7-2ubuntu3.1 [6568 B] Get:33 http://ftpmaster.internal/ubuntu xenial-security/main amd64 gettext-base amd64 0.19.7-2ubuntu3.1 [48.0 kB] Get:34 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libdbus-1-3 amd64 1.10.6-1ubuntu3.6 [161 kB] Get:35 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial/main amd64 ocaml-interp amd64 4.05.0-10ubuntu2.1~xenial~ppa4 [3491 kB] Get:36 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libicu55 amd64 55.1-7ubuntu0.5 [7650 kB] Get:37 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libxml2 amd64 2.9.3+dfsg1-1ubuntu0.7 [698 kB] Get:38 http://ftpmaster.internal/ubuntu xenial/main amd64 autotools-dev all 20150820.1 [39.8 kB] Get:39 http://ftpmaster.internal/ubuntu xenial/main amd64 libcroco3 amd64 0.6.11-1 [81.6 kB] Get:40 http://ftpmaster.internal/ubuntu xenial-security/main amd64 gettext amd64 0.19.7-2ubuntu3.1 [1082 kB] Get:41 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial/main amd64 ocaml-nox amd64 4.05.0-10ubuntu2.1~xenial~ppa4 [26.1 MB] Get:42 http://ftpmaster.internal/ubuntu xenial/main amd64 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:43 http://ftpmaster.internal/ubuntu xenial/main amd64 po-debconf all 1.0.19 [234 kB] Get:44 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libarchive-zip-perl all 1.56-2ubuntu0.1 [84.7 kB] Get:45 http://ftpmaster.internal/ubuntu xenial/main amd64 libfile-stripnondeterminism-perl all 0.015-1 [10.3 kB] Get:46 http://ftpmaster.internal/ubuntu xenial/main amd64 libtimedate-perl all 2.3000-2 [37.5 kB] Get:47 http://ftpmaster.internal/ubuntu xenial/main amd64 dh-strip-nondeterminism all 0.015-1 [4864 B] Get:48 http://ftpmaster.internal/ubuntu xenial/main amd64 debhelper all 9.20160115ubuntu3 [739 kB] Get:49 http://ftpmaster.internal/ubuntu xenial/main amd64 fonts-dejavu-core all 2.35-1 [1039 kB] Get:50 http://ftpmaster.internal/ubuntu xenial-security/main amd64 fontconfig-config all 2.11.94-0ubuntu1.1 [49.9 kB] Get:51 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libavahi-common-data amd64 0.6.32~rc+dfsg-1ubuntu2.3 [21.5 kB] Get:52 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libavahi-common3 amd64 0.6.32~rc+dfsg-1ubuntu2.3 [21.7 kB] Get:53 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libavahi-client3 amd64 0.6.32~rc+dfsg-1ubuntu2.3 [25.3 kB] Get:54 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libcups2 amd64 2.1.3-4ubuntu0.11 [197 kB] Get:55 http://ftpmaster.internal/ubuntu xenial/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B] Get:56 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libtiff5 amd64 4.0.6-1ubuntu0.7 [149 kB] Get:57 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libcupsfilters1 amd64 1.8.3-2ubuntu3.5 [80.5 kB] Get:58 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libcupsimage2 amd64 2.1.3-4ubuntu0.11 [16.1 kB] Get:59 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libfreetype6 amd64 2.6.1-0.1ubuntu2.4 [315 kB] Get:60 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libfontconfig1 amd64 2.11.94-0ubuntu1.1 [131 kB] Get:61 http://ftpmaster.internal/ubuntu xenial/main amd64 libijs-0.35 amd64 0.35-12 [15.5 kB] Get:62 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libjbig2dec0 amd64 0.12+20150918-1ubuntu0.1 [55.3 kB] Get:63 http://ftpmaster.internal/ubuntu xenial-security/main amd64 liblcms2-2 amd64 2.6-3ubuntu2.1 [136 kB] Get:64 http://ftpmaster.internal/ubuntu xenial/main amd64 libpaper1 amd64 1.1.24+nmu4ubuntu1 [13.7 kB] Get:65 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libgs9-common all 9.26~dfsg+0-0ubuntu0.16.04.12 [5095 kB] Get:66 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libgs9 amd64 9.26~dfsg+0-0ubuntu0.16.04.12 [2274 kB] Get:67 http://ftpmaster.internal/ubuntu xenial/main amd64 gsfonts all 1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1 [3374 kB] Get:68 http://ftpmaster.internal/ubuntu xenial-security/main amd64 ghostscript amd64 9.26~dfsg+0-0ubuntu0.16.04.12 [47.1 kB] Get:69 http://ftpmaster.internal/ubuntu xenial/main amd64 libnetpbm10 amd64 2:10.0-15.3 [58.1 kB] Get:70 http://ftpmaster.internal/ubuntu xenial/main amd64 netpbm amd64 2:10.0-15.3 [997 kB] Get:71 http://ftpmaster.internal/ubuntu xenial-updates/main amd64 tex-common all 6.04ubuntu1 [545 kB] Get:72 http://ftpmaster.internal/ubuntu xenial/main amd64 libpaper-utils amd64 1.1.24+nmu4ubuntu1 [8276 B] Get:73 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libkpathsea6 amd64 2015.20160222.37495-1ubuntu0.1 [55.2 kB] Get:74 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libptexenc1 amd64 2015.20160222.37495-1ubuntu0.1 [34.4 kB] Get:75 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libsynctex1 amd64 2015.20160222.37495-1ubuntu0.1 [41.8 kB] Get:76 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libtexlua52 amd64 2015.20160222.37495-1ubuntu0.1 [90.7 kB] Get:77 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libtexluajit2 amd64 2015.20160222.37495-1ubuntu0.1 [213 kB] Get:78 http://ftpmaster.internal/ubuntu xenial/main amd64 t1utils amd64 1.39-2 [53.4 kB] Get:79 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libgraphite2-3 amd64 1.3.10-0ubuntu0.16.04.1 [71.7 kB] Get:80 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libharfbuzz0b amd64 1.0.1-1ubuntu0.1 [140 kB] Get:81 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libharfbuzz-icu0 amd64 1.0.1-1ubuntu0.1 [5198 B] Get:82 http://ftpmaster.internal/ubuntu xenial/main amd64 libpixman-1-0 amd64 0.33.6-1 [231 kB] Get:83 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libpoppler58 amd64 0.41.0-0ubuntu1.14 [757 kB] Get:84 http://ftpmaster.internal/ubuntu xenial/main amd64 libpotrace0 amd64 1.13-2 [17.7 kB] Get:85 http://ftpmaster.internal/ubuntu xenial/main amd64 libxt6 amd64 1:1.1.5-0ubuntu1 [160 kB] Get:86 http://ftpmaster.internal/ubuntu xenial/main amd64 libxmu6 amd64 2:1.1.2-2 [46.0 kB] Get:87 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libxpm4 amd64 1:3.5.11-1ubuntu0.16.04.1 [33.8 kB] Get:88 http://ftpmaster.internal/ubuntu xenial/main amd64 libxaw7 amd64 2:1.0.13-1 [173 kB] Get:89 http://ftpmaster.internal/ubuntu xenial/main amd64 libxi6 amd64 2:1.7.6-1 [28.6 kB] Get:90 http://ftpmaster.internal/ubuntu xenial-security/main amd64 libzzip-0-13 amd64 0.13.62-3ubuntu0.16.04.2 [26.1 kB] Get:91 http://ftpmaster.internal/ubuntu xenial-security/main amd64 texlive-binaries amd64 2015.20160222.37495-1ubuntu0.1 [7942 kB] Get:92 http://ftpmaster.internal/ubuntu xenial-security/main amd64 xdg-utils all 1.1.1-1ubuntu1.16.04.3 [59.6 kB] Get:93 http://ftpmaster.internal/ubuntu xenial-security/main amd64 texlive-base all 2015.20160320-1ubuntu0.1 [18.3 MB] Get:94 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial/main amd64 ocaml-compiler-libs amd64 4.05.0-10ubuntu2.1~xenial~ppa4 [19.1 MB] Get:95 http://ftpmaster.internal/ubuntu xenial/main amd64 libtinfo-dev amd64 6.0+20160213-1ubuntu1 [77.4 kB] Get:96 http://ftpmaster.internal/ubuntu xenial/main amd64 libncurses5-dev amd64 6.0+20160213-1ubuntu1 [175 kB] Get:97 http://ftpmaster.internal/ubuntu xenial/main amd64 preview-latex-style all 11.88-1.1ubuntu1 [184 kB] Get:98 http://ftpmaster.internal/ubuntu xenial-security/main amd64 texlive-latex-base all 2015.20160320-1ubuntu0.1 [851 kB] Get:99 http://ftpmaster.internal/ubuntu xenial-security/main amd64 texlive-latex-recommended all 2015.20160320-1ubuntu0.1 [12.8 MB] Get:100 http://ftpmaster.internal/ubuntu xenial-security/main amd64 texlive-pictures all 2015.20160320-1ubuntu0.1 [3743 kB] Get:101 http://ftpmaster.internal/ubuntu xenial/universe amd64 texlive-latex-extra all 2015.20160320-1 [10.3 MB] Get:102 http://ftpmaster.internal/ubuntu xenial/universe amd64 dh-ocaml all 1.0.10 [80.2 kB] Get:103 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu xenial/main amd64 ocaml-findlib amd64 1.7.3-2~ubuntu16.04.1~ppa4 [326 kB] perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). debconf: delaying package configuration, since apt-utils is not installed Fetched 143 MB in 4s (29.5 MB/s) Selecting previously unselected package libglib2.0-0:amd64. (Reading database ... 13118 files and directories currently installed.) Preparing to unpack .../libglib2.0-0_2.48.2-0ubuntu4.6_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.48.2-0ubuntu4.6) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../libxdmcp6_1%3a1.1.2-1.1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-1.1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../libxcb1_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb1:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../libx11-data_2%3a1.6.3-1ubuntu2.1_all.deb ... Unpacking libx11-data (2:1.6.3-1ubuntu2.1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../libx11-6_2%3a1.6.3-1ubuntu2.1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.3-1ubuntu2.1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../libxext6_2%3a1.3.3-1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.3-7_amd64.deb ... Unpacking groff-base (1.22.3-7) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.6ubuntu3_amd64.deb ... Unpacking bsdmainutils (9.0.6ubuntu3) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../libpipeline1_1.4.1-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.7.5-1_amd64.deb ... Unpacking man-db (2.7.5-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../x11-common_1%3a7.7+13ubuntu3.1_all.deb ... dpkg-query: no packages found matching nux-tools Unpacking x11-common (1:7.7+13ubuntu3.1) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../libice6_2%3a1.0.9-1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.9-1) ... Selecting previously unselected package libjpeg-turbo8:amd64. Preparing to unpack .../libjpeg-turbo8_1.4.2-0ubuntu3.4_amd64.deb ... Unpacking libjpeg-turbo8:amd64 (1.4.2-0ubuntu3.4) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../libsm6_2%3a1.2.2-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.2-1) ... Selecting previously unselected package libunistring0:amd64. Preparing to unpack .../libunistring0_0.9.3-5.2ubuntu1_amd64.deb ... Unpacking libunistring0:amd64 (0.9.3-5.2ubuntu1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../poppler-data_0.4.7-7_all.deb ... Unpacking poppler-data (0.4.7-7) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../libpython2.7-minimal_2.7.12-1ubuntu0~16.04.11_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.12-1ubuntu0~16.04.11) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../python2.7-minimal_2.7.12-1ubuntu0~16.04.11_amd64.deb ... Unpacking python2.7-minimal (2.7.12-1ubuntu0~16.04.11) ... Selecting previously unselected package python-minimal. Preparing to unpack .../python-minimal_2.7.12-1~16.04_amd64.deb ... Unpacking python-minimal (2.7.12-1~16.04) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../libpython2.7-stdlib_2.7.12-1ubuntu0~16.04.11_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.12-1ubuntu0~16.04.11) ... Selecting previously unselected package python2.7. Preparing to unpack .../python2.7_2.7.12-1ubuntu0~16.04.11_amd64.deb ... Unpacking python2.7 (2.7.12-1ubuntu0~16.04.11) ... Selecting previously unselected package libpython-stdlib:amd64. Preparing to unpack .../libpython-stdlib_2.7.12-1~16.04_amd64.deb ... Unpacking libpython-stdlib:amd64 (2.7.12-1~16.04) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Processing triggers for mime-support (3.59ubuntu1) ... Processing triggers for systemd (229-4ubuntu21.28) ... Setting up libpython2.7-minimal:amd64 (2.7.12-1ubuntu0~16.04.11) ... Setting up python2.7-minimal (2.7.12-1ubuntu0~16.04.11) ... Linking and byte-compiling packages for runtime python2.7... Setting up python-minimal (2.7.12-1~16.04) ... Selecting previously unselected package python. (Reading database ... 15232 files and directories currently installed.) Preparing to unpack .../python_2.7.12-1~16.04_amd64.deb ... Unpacking python (2.7.12-1~16.04) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../libjbig0_2.1-3.1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../libmagic1_1%3a5.25-2ubuntu1.4_amd64.deb ... Unpacking libmagic1:amd64 (1:5.25-2ubuntu1.4) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.25-2ubuntu1.4_amd64.deb ... Unpacking file (1:5.25-2ubuntu1.4) ... Selecting previously unselected package ucf. Preparing to unpack .../archives/ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package libasprintf0v5:amd64. Preparing to unpack .../libasprintf0v5_0.19.7-2ubuntu3.1_amd64.deb ... Unpacking libasprintf0v5:amd64 (0.19.7-2ubuntu3.1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.19.7-2ubuntu3.1_amd64.deb ... Unpacking gettext-base (0.19.7-2ubuntu3.1) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../libdbus-1-3_1.10.6-1ubuntu3.6_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.10.6-1ubuntu3.6) ... Selecting previously unselected package libicu55:amd64. Preparing to unpack .../libicu55_55.1-7ubuntu0.5_amd64.deb ... Unpacking libicu55:amd64 (55.1-7ubuntu0.5) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../libxml2_2.9.3+dfsg1-1ubuntu0.7_amd64.deb ... Unpacking libxml2:amd64 (2.9.3+dfsg1-1ubuntu0.7) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../autotools-dev_20150820.1_all.deb ... Unpacking autotools-dev (20150820.1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../libcroco3_0.6.11-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.11-1) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.19.7-2ubuntu3.1_amd64.deb ... Unpacking gettext (0.19.7-2ubuntu3.1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../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 .../po-debconf_1.0.19_all.deb ... Unpacking po-debconf (1.0.19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../libarchive-zip-perl_1.56-2ubuntu0.1_all.deb ... Unpacking libarchive-zip-perl (1.56-2ubuntu0.1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../libfile-stripnondeterminism-perl_0.015-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.015-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../dh-strip-nondeterminism_0.015-1_all.deb ... Unpacking dh-strip-nondeterminism (0.015-1) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20160115ubuntu3_all.deb ... Unpacking debhelper (9.20160115ubuntu3) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../fonts-dejavu-core_2.35-1_all.deb ... Unpacking fonts-dejavu-core (2.35-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../fontconfig-config_2.11.94-0ubuntu1.1_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu1.1) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../libavahi-common-data_0.6.32~rc+dfsg-1ubuntu2.3_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.32~rc+dfsg-1ubuntu2.3) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../libavahi-common3_0.6.32~rc+dfsg-1ubuntu2.3_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.32~rc+dfsg-1ubuntu2.3) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../libavahi-client3_0.6.32~rc+dfsg-1ubuntu2.3_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.32~rc+dfsg-1ubuntu2.3) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../libcups2_2.1.3-4ubuntu0.11_amd64.deb ... Unpacking libcups2:amd64 (2.1.3-4ubuntu0.11) ... Selecting previously unselected package libjpeg8:amd64. Preparing to unpack .../libjpeg8_8c-2ubuntu8_amd64.deb ... Unpacking libjpeg8:amd64 (8c-2ubuntu8) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../libtiff5_4.0.6-1ubuntu0.7_amd64.deb ... Unpacking libtiff5:amd64 (4.0.6-1ubuntu0.7) ... Selecting previously unselected package libcupsfilters1:amd64. Preparing to unpack .../libcupsfilters1_1.8.3-2ubuntu3.5_amd64.deb ... Unpacking libcupsfilters1:amd64 (1.8.3-2ubuntu3.5) ... Selecting previously unselected package libcupsimage2:amd64. Preparing to unpack .../libcupsimage2_2.1.3-4ubuntu0.11_amd64.deb ... Unpacking libcupsimage2:amd64 (2.1.3-4ubuntu0.11) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../libfreetype6_2.6.1-0.1ubuntu2.4_amd64.deb ... Unpacking libfreetype6:amd64 (2.6.1-0.1ubuntu2.4) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../libfontconfig1_2.11.94-0ubuntu1.1_amd64.deb ... Unpacking libfontconfig1:amd64 (2.11.94-0ubuntu1.1) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../libijs-0.35_0.35-12_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-12) ... Selecting previously unselected package libjbig2dec0. Preparing to unpack .../libjbig2dec0_0.12+20150918-1ubuntu0.1_amd64.deb ... Unpacking libjbig2dec0 (0.12+20150918-1ubuntu0.1) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../liblcms2-2_2.6-3ubuntu2.1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.6-3ubuntu2.1) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../libpaper1_1.1.24+nmu4ubuntu1_amd64.deb ... Unpacking libpaper1:amd64 (1.1.24+nmu4ubuntu1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../libgs9-common_9.26~dfsg+0-0ubuntu0.16.04.12_all.deb ... Unpacking libgs9-common (9.26~dfsg+0-0ubuntu0.16.04.12) ... Selecting previously unselected package libgs9:amd64. Preparing to unpack .../libgs9_9.26~dfsg+0-0ubuntu0.16.04.12_amd64.deb ... Unpacking libgs9:amd64 (9.26~dfsg+0-0ubuntu0.16.04.12) ... Selecting previously unselected package gsfonts. Preparing to unpack .../gsfonts_1%3a8.11+urwcyr1.0.7~pre44-4.2ubuntu1_all.deb ... Unpacking gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1) ... Selecting previously unselected package ghostscript. Preparing to unpack .../ghostscript_9.26~dfsg+0-0ubuntu0.16.04.12_amd64.deb ... Unpacking ghostscript (9.26~dfsg+0-0ubuntu0.16.04.12) ... Selecting previously unselected package libnetpbm10. Preparing to unpack .../libnetpbm10_2%3a10.0-15.3_amd64.deb ... Unpacking libnetpbm10 (2:10.0-15.3) ... Selecting previously unselected package netpbm. Preparing to unpack .../netpbm_2%3a10.0-15.3_amd64.deb ... Unpacking netpbm (2:10.0-15.3) ... Selecting previously unselected package tex-common. Preparing to unpack .../tex-common_6.04ubuntu1_all.deb ... Unpacking tex-common (6.04ubuntu1) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../libpaper-utils_1.1.24+nmu4ubuntu1_amd64.deb ... Unpacking libpaper-utils (1.1.24+nmu4ubuntu1) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../libkpathsea6_2015.20160222.37495-1ubuntu0.1_amd64.deb ... Unpacking libkpathsea6:amd64 (2015.20160222.37495-1ubuntu0.1) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../libptexenc1_2015.20160222.37495-1ubuntu0.1_amd64.deb ... Unpacking libptexenc1:amd64 (2015.20160222.37495-1ubuntu0.1) ... Selecting previously unselected package libsynctex1:amd64. Preparing to unpack .../libsynctex1_2015.20160222.37495-1ubuntu0.1_amd64.deb ... Unpacking libsynctex1:amd64 (2015.20160222.37495-1ubuntu0.1) ... Selecting previously unselected package libtexlua52:amd64. Preparing to unpack .../libtexlua52_2015.20160222.37495-1ubuntu0.1_amd64.deb ... Unpacking libtexlua52:amd64 (2015.20160222.37495-1ubuntu0.1) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../libtexluajit2_2015.20160222.37495-1ubuntu0.1_amd64.deb ... Unpacking libtexluajit2:amd64 (2015.20160222.37495-1ubuntu0.1) ... Selecting previously unselected package t1utils. Preparing to unpack .../t1utils_1.39-2_amd64.deb ... Unpacking t1utils (1.39-2) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../libgraphite2-3_1.3.10-0ubuntu0.16.04.1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.10-0ubuntu0.16.04.1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../libharfbuzz0b_1.0.1-1ubuntu0.1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (1.0.1-1ubuntu0.1) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../libharfbuzz-icu0_1.0.1-1ubuntu0.1_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (1.0.1-1ubuntu0.1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../libpixman-1-0_0.33.6-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.33.6-1) ... Selecting previously unselected package libpoppler58:amd64. Preparing to unpack .../libpoppler58_0.41.0-0ubuntu1.14_amd64.deb ... Unpacking libpoppler58:amd64 (0.41.0-0ubuntu1.14) ... Selecting previously unselected package libpotrace0. Preparing to unpack .../libpotrace0_1.13-2_amd64.deb ... Unpacking libpotrace0 (1.13-2) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../libxt6_1%3a1.1.5-0ubuntu1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.5-0ubuntu1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../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 .../libxpm4_1%3a3.5.11-1ubuntu0.16.04.1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.11-1ubuntu0.16.04.1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../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 .../libxi6_2%3a1.7.6-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.6-1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../libzzip-0-13_0.13.62-3ubuntu0.16.04.2_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.62-3ubuntu0.16.04.2) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../texlive-binaries_2015.20160222.37495-1ubuntu0.1_amd64.deb ... Unpacking texlive-binaries (2015.20160222.37495-1ubuntu0.1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../xdg-utils_1.1.1-1ubuntu1.16.04.3_all.deb ... Unpacking xdg-utils (1.1.1-1ubuntu1.16.04.3) ... Selecting previously unselected package texlive-base. Preparing to unpack .../texlive-base_2015.20160320-1ubuntu0.1_all.deb ... Unpacking texlive-base (2015.20160320-1ubuntu0.1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../ocaml-base-nox_4.05.0-10ubuntu2.1~xenial~ppa4_amd64.deb ... Unpacking ocaml-base-nox (4.05.0-10ubuntu2.1~xenial~ppa4) ... Selecting previously unselected package hevea. Preparing to unpack .../hevea_2.32-1.1~xenial~ppa4_all.deb ... Unpacking hevea (2.32-1.1~xenial~ppa4) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../libfindlib-ocaml_1.7.3-2~ubuntu16.04.1~ppa4_amd64.deb ... Unpacking libfindlib-ocaml (1.7.3-2~ubuntu16.04.1~ppa4) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../libtinfo-dev_6.0+20160213-1ubuntu1_amd64.deb ... Unpacking libtinfo-dev:amd64 (6.0+20160213-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../libncurses5-dev_6.0+20160213-1ubuntu1_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.0+20160213-1ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../ocaml-interp_4.05.0-10ubuntu2.1~xenial~ppa4_amd64.deb ... Unpacking ocaml-interp (4.05.0-10ubuntu2.1~xenial~ppa4) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../ocaml-nox_4.05.0-10ubuntu2.1~xenial~ppa4_amd64.deb ... Unpacking ocaml-nox (4.05.0-10ubuntu2.1~xenial~ppa4) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../ocaml-compiler-libs_4.05.0-10ubuntu2.1~xenial~ppa4_amd64.deb ... Unpacking ocaml-compiler-libs (4.05.0-10ubuntu2.1~xenial~ppa4) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../ocaml-findlib_1.7.3-2~ubuntu16.04.1~ppa4_amd64.deb ... Unpacking ocaml-findlib (1.7.3-2~ubuntu16.04.1~ppa4) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../preview-latex-style_11.88-1.1ubuntu1_all.deb ... Unpacking preview-latex-style (11.88-1.1ubuntu1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../texlive-latex-base_2015.20160320-1ubuntu0.1_all.deb ... Unpacking texlive-latex-base (2015.20160320-1ubuntu0.1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../texlive-latex-recommended_2015.20160320-1ubuntu0.1_all.deb ... Unpacking texlive-latex-recommended (2015.20160320-1ubuntu0.1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../texlive-pictures_2015.20160320-1ubuntu0.1_all.deb ... Unpacking texlive-pictures (2015.20160320-1ubuntu0.1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../texlive-latex-extra_2015.20160320-1_all.deb ... Unpacking texlive-latex-extra (2015.20160320-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../dh-ocaml_1.0.10_all.deb ... Unpacking dh-ocaml (1.0.10) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Processing triggers for mime-support (3.59ubuntu1) ... Setting up libglib2.0-0:amd64 (2.48.2-0ubuntu4.6) ... No schema files found: doing nothing. Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up libxdmcp6:amd64 (1:1.1.2-1.1) ... Setting up libxcb1:amd64 (1.11.1-1ubuntu1) ... Setting up libx11-data (2:1.6.3-1ubuntu2.1) ... Setting up libx11-6:amd64 (2:1.6.3-1ubuntu2.1) ... Setting up libxext6:amd64 (2:1.3.3-1) ... Setting up groff-base (1.22.3-7) ... Setting up bsdmainutils (9.0.6ubuntu3) ... 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 libpipeline1:amd64 (1.4.1-2) ... Setting up man-db (2.7.5-1) ... Not building database; man-db/auto-update is not 'true'. Setting up x11-common (1:7.7+13ubuntu3.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 libice6:amd64 (2:1.0.9-1) ... Setting up libjpeg-turbo8:amd64 (1.4.2-0ubuntu3.4) ... Setting up libsm6:amd64 (2:1.2.2-1) ... Setting up libunistring0:amd64 (0.9.3-5.2ubuntu1) ... Setting up poppler-data (0.4.7-7) ... Setting up libpython2.7-stdlib:amd64 (2.7.12-1ubuntu0~16.04.11) ... Setting up python2.7 (2.7.12-1ubuntu0~16.04.11) ... Setting up libpython-stdlib:amd64 (2.7.12-1~16.04) ... Setting up python (2.7.12-1~16.04) ... Setting up libjbig0:amd64 (2.1-3.1) ... Setting up libmagic1:amd64 (1:5.25-2ubuntu1.4) ... Setting up file (1:5.25-2ubuntu1.4) ... Setting up ucf (3.0036) ... Setting up libasprintf0v5:amd64 (0.19.7-2ubuntu3.1) ... Setting up gettext-base (0.19.7-2ubuntu3.1) ... Setting up libdbus-1-3:amd64 (1.10.6-1ubuntu3.6) ... Setting up libicu55:amd64 (55.1-7ubuntu0.5) ... Setting up libxml2:amd64 (2.9.3+dfsg1-1ubuntu0.7) ... Setting up autotools-dev (20150820.1) ... Setting up libcroco3:amd64 (0.6.11-1) ... Setting up gettext (0.19.7-2ubuntu3.1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up po-debconf (1.0.19) ... Setting up libarchive-zip-perl (1.56-2ubuntu0.1) ... Setting up libfile-stripnondeterminism-perl (0.015-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up fonts-dejavu-core (2.35-1) ... Setting up fontconfig-config (2.11.94-0ubuntu1.1) ... Setting up libavahi-common-data:amd64 (0.6.32~rc+dfsg-1ubuntu2.3) ... Setting up libavahi-common3:amd64 (0.6.32~rc+dfsg-1ubuntu2.3) ... Setting up libavahi-client3:amd64 (0.6.32~rc+dfsg-1ubuntu2.3) ... Setting up libcups2:amd64 (2.1.3-4ubuntu0.11) ... Setting up libjpeg8:amd64 (8c-2ubuntu8) ... Setting up libtiff5:amd64 (4.0.6-1ubuntu0.7) ... Setting up libcupsfilters1:amd64 (1.8.3-2ubuntu3.5) ... Setting up libcupsimage2:amd64 (2.1.3-4ubuntu0.11) ... Setting up libfreetype6:amd64 (2.6.1-0.1ubuntu2.4) ... Setting up libfontconfig1:amd64 (2.11.94-0ubuntu1.1) ... Setting up libijs-0.35:amd64 (0.35-12) ... Setting up libjbig2dec0 (0.12+20150918-1ubuntu0.1) ... Setting up liblcms2-2:amd64 (2.6-3ubuntu2.1) ... Setting up libpaper1:amd64 (1.1.24+nmu4ubuntu1) ... Creating config file /etc/papersize with new version Setting up libgs9-common (9.26~dfsg+0-0ubuntu0.16.04.12) ... update-alternatives: using /usr/share/ghostscript/9.26 to provide /usr/share/ghostscript/current (ghostscript-current) in auto mode Setting up libgs9:amd64 (9.26~dfsg+0-0ubuntu0.16.04.12) ... Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1) ... Setting up ghostscript (9.26~dfsg+0-0ubuntu0.16.04.12) ... Setting up libnetpbm10 (2:10.0-15.3) ... Setting up netpbm (2:10.0-15.3) ... Setting up tex-common (6.04ubuntu1) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libpaper-utils (1.1.24+nmu4ubuntu1) ... Setting up libkpathsea6:amd64 (2015.20160222.37495-1ubuntu0.1) ... Setting up libptexenc1:amd64 (2015.20160222.37495-1ubuntu0.1) ... Setting up libsynctex1:amd64 (2015.20160222.37495-1ubuntu0.1) ... Setting up libtexlua52:amd64 (2015.20160222.37495-1ubuntu0.1) ... Setting up libtexluajit2:amd64 (2015.20160222.37495-1ubuntu0.1) ... Setting up t1utils (1.39-2) ... Setting up libgraphite2-3:amd64 (1.3.10-0ubuntu0.16.04.1) ... Setting up libharfbuzz0b:amd64 (1.0.1-1ubuntu0.1) ... Setting up libharfbuzz-icu0:amd64 (1.0.1-1ubuntu0.1) ... Setting up libpixman-1-0:amd64 (0.33.6-1) ... Setting up libpoppler58:amd64 (0.41.0-0ubuntu1.14) ... Setting up libpotrace0 (1.13-2) ... Setting up libxt6:amd64 (1:1.1.5-0ubuntu1) ... Setting up libxmu6:amd64 (2:1.1.2-2) ... Setting up libxpm4:amd64 (1:3.5.11-1ubuntu0.16.04.1) ... Setting up libxaw7:amd64 (2:1.0.13-1) ... Setting up libxi6:amd64 (2:1.7.6-1) ... Setting up libzzip-0-13:amd64 (0.13.62-3ubuntu0.16.04.2) ... Setting up texlive-binaries (2015.20160222.37495-1ubuntu0.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 xdg-utils (1.1.1-1ubuntu1.16.04.3) ... Setting up texlive-base (2015.20160320-1ubuntu0.1) ... /usr/bin/tl-paper: setting paper size for dvips to a4. /usr/bin/tl-paper: setting paper size for dvipdfmx to a4. /usr/bin/tl-paper: setting paper size for xdvi to a4. /usr/bin/tl-paper: setting paper size for pdftex to a4. Setting up ocaml-base-nox (4.05.0-10ubuntu2.1~xenial~ppa4) ... Setting up hevea (2.32-1.1~xenial~ppa4) ... Setting up libfindlib-ocaml (1.7.3-2~ubuntu16.04.1~ppa4) ... Setting up libtinfo-dev:amd64 (6.0+20160213-1ubuntu1) ... Setting up libncurses5-dev:amd64 (6.0+20160213-1ubuntu1) ... Setting up ocaml-findlib (1.7.3-2~ubuntu16.04.1~ppa4) ... Setting up preview-latex-style (11.88-1.1ubuntu1) ... Setting up texlive-latex-base (2015.20160320-1ubuntu0.1) ... Setting up texlive-latex-recommended (2015.20160320-1ubuntu0.1) ... Setting up texlive-pictures (2015.20160320-1ubuntu0.1) ... Setting up texlive-latex-extra (2015.20160320-1) ... Setting up dh-ocaml (1.0.10) ... Setting up ocaml-interp (4.05.0-10ubuntu2.1~xenial~ppa4) ... Setting up ocaml-nox (4.05.0-10ubuntu2.1~xenial~ppa4) ... Setting up dh-strip-nondeterminism (0.015-1) ... Setting up debhelper (9.20160115ubuntu3) ... Setting up ocaml-compiler-libs (4.05.0-10ubuntu2.1~xenial~ppa4) ... Processing triggers for libc-bin (2.23-0ubuntu11.2) ... Processing triggers for systemd (229-4ubuntu21.28) ... Processing triggers for tex-common (6.04ubuntu1) ... 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. perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-buildpackage: source package coq dpkg-buildpackage: source version 8.master~git~202007091423+21537-0~daily335-577ec77~ubuntu16.04.1 dpkg-buildpackage: source distribution xenial dpkg-buildpackage: source changed by Jason Gross perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source -i -I --before-build recipe perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches dpkg-source: warning: relation < is deprecated: use << or <= 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 perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-checkbuilddeps: warning: relation < is deprecated: use << or <= fakeroot debian/rules clean perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dh clean --with ocaml perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dh_testdir perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dh_auto_clean perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). make -j1 distclean make[1]: Entering directory '/home/buildd/work/tree/recipe' rm -f rm -f ide/coqide/input_method_lexer.ml rm -f ide/coqide/highlight.ml ide/coqide/config_lexer.ml ide/coqide/config_parser.mli ide/coqide/config_parser.ml rm -f ide/coqide/utf8_convert.ml rm -f ide/coqide/default.bindings ide/coqide/default_bindings_src.exe rm -rf rm -f bin/coqtop bin/coqtop.opt bin/coqproofworker.opt bin/coqtacticworker.opt bin/coqqueryworker.opt rm -f bin/coqdep bin/coq_makefile bin/coq-tex bin/coqwc bin/coqdoc bin/coqc bin/coqworkmgr bin/coqpp bin/votour bin/ocamllibdep bin/fake_ide bin/ocamllibdep bin/coqdep_boot bin/doc_grammar plugins/micromega/csdpcert find . \( -name '*.cmx' -o -name '*.cmx[as]' -o -name '*.[soa]' -o -name '*.so' \) -exec rm -f {} + find theories plugins test-suite \( -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' -o -name '*.glob' -o -name "*.cmxs" \ -o -name "*.native" -o -name "*.cmx" -o -name "*.cmi" -o -name "*.o" \) -exec rm -f {} + find theories plugins test-suite -name .coq-native -empty -exec rm -rf {} + make -C doc/plugin_tutorial clean make[2]: Entering directory '/home/buildd/work/tree/recipe/doc/plugin_tutorial' make[2]: Nothing to be done for 'clean'. make[2]: Leaving directory '/home/buildd/work/tree/recipe/doc/plugin_tutorial' rm -rf _build _build_boot rm -f test-suite/misc/universes/all_stdlib.* rm -f coqpp/coqpp_lex.ml ide/coqide/config_lexer.ml ide/coqide/coq_lex.ml ide/coqide/utf8_convert.ml ide/coqide/protocol/xml_lexer.ml tools/coqdoc/cpretty.ml tools/ocamllibdep.ml tools/coqdep_lexer.ml tools/coqwc.ml coqpp/coqpp_parse.ml plugins/ssr/ssrvernac.ml plugins/ssr/ssrparser.ml plugins/nsatz/g_nsatz.ml plugins/extraction/g_extraction.ml plugins/ltac/g_rewrite.ml plugins/ltac/extraargs.ml plugins/ltac/g_class.ml plugins/ltac/g_auto.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/coretactics.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_tactic.ml plugins/ltac/extratactics.ml plugins/ltac/g_obligations.ml plugins/ltac/g_ltac.ml plugins/firstorder/g_ground.ml plugins/syntax/g_string.ml plugins/syntax/g_numeral.ml plugins/setoid_ring/g_newring.ml plugins/ssrsearch/g_search.ml plugins/micromega/g_zify.ml plugins/micromega/g_micromega.ml plugins/omega/g_omega.ml plugins/btauto/g_btauto.ml plugins/funind/g_indfun.ml plugins/ssrmatching/g_ssrmatching.ml plugins/cc/g_congruence.ml plugins/derive/g_derive.ml plugins/rtauto/g_rtauto.ml parsing/g_prim.ml parsing/g_constr.ml toplevel/g_toplevel.ml vernac/g_vernac.ml vernac/g_proofs.ml user-contrib/Ltac2/g_ltac2.ml gramlib/.pack/gramlib__Ploc.ml gramlib/.pack/gramlib__Plexing.ml gramlib/.pack/gramlib__Gramext.ml gramlib/.pack/gramlib__Grammar.ml gramlib/.pack/gramlib.ml ide/coqide/coqide_os_specific.ml kernel/copcodes.ml kernel/uint63.ml gramlib/.pack/gramlib__Ploc.mli gramlib/.pack/gramlib__Plexing.mli gramlib/.pack/gramlib__Gramext.mli gramlib/.pack/gramlib__Grammar.mli kernel/byterun/coq_instruct.h kernel/byterun/coq_jumptbl.h kernel/genOpcodeFiles.exe rm -f bin/coqtop.byte bin/coqtop.byte bin/coqproofworker.byte bin/coqtacticworker.byte bin/coqqueryworker.byte find . \( -name '*~' -o -name '*.cm[ioat]' -o -name '*.cmti' \) -exec rm -f {} + rm -f */*.pp[iox] plugins/*/*.pp[iox] rm -rf rm -f toplevel/mltop.byteml toplevel/mltop.optml rm -f glob.dump rm -f config/revision.ml revision rm -f plugins/micromega/.micromega.ml.generated make -C test-suite clean make[2]: Entering directory '/home/buildd/work/tree/recipe/test-suite' perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). rm -f trace .nia.cache .lia.cache output/MExtraction.out rm -f vos/Makefile vos/Makefile.conf find . \( \ -name '*.stamp' -o -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' -o -name '*.log' -o -name '*.glob' \ \) -exec rm -f {} + find unit-tests \( \ -name '*.cmx' -o -name '*.cmi' -o -name '*.o' -o -name '*.test' \ \) -exec rm -f {} + make[2]: Leaving directory '/home/buildd/work/tree/recipe/test-suite' rm -f plugins/ssr/ssrvernac.ml plugins/ssr/ssrparser.ml plugins/nsatz/g_nsatz.ml plugins/extraction/g_extraction.ml plugins/ltac/g_rewrite.ml plugins/ltac/extraargs.ml plugins/ltac/g_class.ml plugins/ltac/g_auto.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/coretactics.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_tactic.ml plugins/ltac/extratactics.ml plugins/ltac/g_obligations.ml plugins/ltac/g_ltac.ml plugins/firstorder/g_ground.ml plugins/syntax/g_string.ml plugins/syntax/g_numeral.ml plugins/setoid_ring/g_newring.ml plugins/ssrsearch/g_search.ml plugins/micromega/g_zify.ml plugins/micromega/g_micromega.ml plugins/omega/g_omega.ml plugins/btauto/g_btauto.ml plugins/funind/g_indfun.ml plugins/ssrmatching/g_ssrmatching.ml plugins/cc/g_congruence.ml plugins/derive/g_derive.ml plugins/rtauto/g_rtauto.ml parsing/g_prim.ml parsing/g_constr.ml toplevel/g_toplevel.ml vernac/g_vernac.ml vernac/g_proofs.ml user-contrib/Ltac2/g_ltac2.ml find . \( -name '*~' -o -name '*.annot' \) -exec rm -f {} + rm -f gmon.out core find . -not -name . '(' -name '{arch}' -o -name '.*' -type d -o -name '_darcs' -o -name 'debian' -o -name "${GIT_DIR}" -o -name '_build' -o -name '_build_ci' -o -name '_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 {} + rm -f doc/*/*.dvi doc/*/*.aux doc/*/*.log doc/*/*.bbl doc/*/*.blg doc/*/*.toc \ doc/*/*.idx doc/*/*~ doc/*/*.ilg doc/*/*.ind doc/*/*.dvi.gz doc/*/*.ps.gz doc/*/*.pdf.gz\ doc/*/*.???idx doc/*/*.???ind doc/*/*.v.tex doc/*/*.atoc doc/*/*.lof\ doc/*/*.hatoc doc/*/*.haux doc/*/*.hcomind doc/*/*.herrind doc/*/*.hidx doc/*/*.hind \ doc/*/*.htacind doc/*/*.htoc doc/*/*.v.html rm -f doc/stdlib/index-list.html doc/stdlib/index-body.html \ doc/stdlib/*Library.coqdoc.tex doc/stdlib/library.files \ doc/stdlib/library.files.ls doc/stdlib/FullLibrary.tex rm -f doc/*/*.ps doc/*/*.pdf doc/*/*.eps doc/*/*.pdf_t doc/*/*.eps_t rm -rf doc/stdlib/html doc/tutorial/tutorial.v.html rm -f doc/common/version.tex rm -f doc/coq.tex rm -rf doc/sphinx/_build rm -f plugins/.merlin ide/.merlin .merlin kernel/.merlin test-suite/unit-tests/.merlin META.coq rm -rf gramlib/.pack/ rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq config/Info-*.plist find theories test-suite -name '.*.aux' -exec rm -f {} + find theories plugins test-suite \( -name '*.v.timing' -o -name '*.v.before-timing' \ -o -name "*.v.after-timing" -o -name "*.v.timing.diff" -o -name "time-of-build.log" \ -o -name "time-of-build-before.log" -o -name "time-of-build-after.log" \ -o -name "time-of-build-pretty.log" -o -name "time-of-build-both.log" \) -exec rm -f {} + make[1]: Leaving directory '/home/buildd/work/tree/recipe' dh_ocamlclean perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dh_clean perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source -i -I -b recipe perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches dpkg-source: warning: relation < is deprecated: use << or <= 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~202007091423+21537-0~daily335-577ec77~ubuntu16.04.1.tar.xz dpkg-source: info: building coq in coq_8.master~git~202007091423+21537-0~daily335-577ec77~ubuntu16.04.1.dsc dpkg-genchanges -S -sa >../coq_8.master~git~202007091423+21537-0~daily335-577ec77~ubuntu16.04.1_source.changes perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-genchanges: warning: the current version (8.master~git~202007091423+21537-0~daily335-577ec77~ubuntu16.04.1) is earlier than the previous one (8.master~git) dpkg-genchanges: including full source code in upload dpkg-source -i -I --after-build recipe perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches dpkg-source: warning: relation < is deprecated: use << or <= 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: source-only upload: Debian-native package RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=xenial --arch=amd64 RECIPEBRANCHBUILD-2604066 Scanning for processes to kill in build RECIPEBRANCHBUILD-2604066