RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux lcy01-amd64-025 4.4.0-98-generic #121-Ubuntu SMP Tue Oct 10 14:24:03 UTC 2017 x86_64 Buildd toolchain package versions: launchpad-buildd_154 python-lpbuildd_154 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.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.3 dpkg-dev_1.18.4ubuntu1.2 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 3 Nov 15:01:59 ntpdate[1795]: adjust time server 10.211.37.1 offset -0.000786 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=zesty --arch=amd64 RECIPEBRANCHBUILD-1477161 /home/buildd/filecache-default/37ad34d130bf4a43faec5d8f5cf5d00fb3fbc581 Creating target for build RECIPEBRANCHBUILD-1477161 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=zesty --arch=amd64 RECIPEBRANCHBUILD-1477161 Starting target for build RECIPEBRANCHBUILD-1477161 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=zesty --arch=amd64 RECIPEBRANCHBUILD-1477161 'deb http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu zesty main' 'deb http://ftpmaster.internal/ubuntu zesty main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu zesty-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu zesty-updates main restricted universe multiverse' Overriding sources.list in build-RECIPEBRANCHBUILD-1477161 RUN: /usr/share/launchpad-buildd/slavebin/in-target add-trusted-keys --backend=chroot --series=zesty --arch=amd64 RECIPEBRANCHBUILD-1477161 Adding trusted keys to build-RECIPEBRANCHBUILD-1477161 Warning: apt-key output should not be parsed (stdout is not a terminal) OK Warning: apt-key output should not be parsed (stdout is not a terminal) /etc/apt/trusted.gpg -------------------- pub rsa4096 2014-12-19 [SC] 017C CCC8 B006 C270 6476 BBE4 E58B 19DA A454 A7D9 uid [ unknown] Launchpad PPA for Jason Gross /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-archive.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 790B C727 7767 219C 42C8 6F93 3B4F E6AC C0B2 1F32 uid [ unknown] Ubuntu Archive Automatic Signing Key (2012) /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-cdimage.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 8439 38DF 228D 22F7 B374 2BC0 D94A A3F0 EFE2 1092 uid [ unknown] Ubuntu CD Image Automatic Signing Key (2012) RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=zesty --arch=amd64 RECIPEBRANCHBUILD-1477161 Updating target for build RECIPEBRANCHBUILD-1477161 Get:1 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu zesty InRelease [15.9 kB] Get:2 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu zesty/main amd64 Packages [1456 B] Get:3 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu zesty/main Translation-en [760 B] Hit:4 http://ftpmaster.internal/ubuntu zesty InRelease Get:5 http://ftpmaster.internal/ubuntu zesty-security InRelease [89.2 kB] Get:6 http://ftpmaster.internal/ubuntu zesty-updates InRelease [89.2 kB] Get:7 http://ftpmaster.internal/ubuntu zesty-security/main amd64 Packages [155 kB] Get:8 http://ftpmaster.internal/ubuntu zesty-security/main Translation-en [72.5 kB] Get:9 http://ftpmaster.internal/ubuntu zesty-security/restricted amd64 Packages [2436 B] Get:10 http://ftpmaster.internal/ubuntu zesty-security/restricted Translation-en [1352 B] Get:11 http://ftpmaster.internal/ubuntu zesty-security/universe amd64 Packages [80.8 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-security/universe Translation-en [53.6 kB] Get:13 http://ftpmaster.internal/ubuntu zesty-security/multiverse amd64 Packages [2968 B] Get:14 http://ftpmaster.internal/ubuntu zesty-security/multiverse Translation-en [1744 B] Get:15 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 Packages [231 kB] Get:16 http://ftpmaster.internal/ubuntu zesty-updates/main Translation-en [107 kB] Get:17 http://ftpmaster.internal/ubuntu zesty-updates/restricted amd64 Packages [2764 B] Get:18 http://ftpmaster.internal/ubuntu zesty-updates/restricted Translation-en [1516 B] Get:19 http://ftpmaster.internal/ubuntu zesty-updates/universe amd64 Packages [153 kB] Get:20 http://ftpmaster.internal/ubuntu zesty-updates/universe Translation-en [85.7 kB] Get:21 http://ftpmaster.internal/ubuntu zesty-updates/multiverse amd64 Packages [11.8 kB] Get:22 http://ftpmaster.internal/ubuntu zesty-updates/multiverse Translation-en [6280 B] Fetched 1166 kB in 1s (820 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt apt-transport-https base-files bash bsdutils ca-certificates libapt-pkg5.0 libasn1-8-heimdal libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcurl3-gnutls libfdisk1 libgcrypt20 libgnutls30 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libidn11 libidn2-0 libk5crypto3 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common libmount1 libroken18-heimdal libseccomp2 libsmartcols1 libssl1.0.0 libsystemd0 libtasn1-6 libudev1 libuuid1 libwind0-heimdal linux-libc-dev login mount multiarch-support openssl passwd systemd systemd-sysv util-linux 50 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 19.0 MB of archives. After this operation, 20.5 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 base-files amd64 9.6ubuntu13.1 [59.1 kB] Get:2 http://ftpmaster.internal/ubuntu zesty-security/main amd64 bash amd64 4.4-2ubuntu1.1 [625 kB] Get:3 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 bsdutils amd64 1:2.29-1ubuntu2.1 [55.4 kB] Get:4 http://ftpmaster.internal/ubuntu zesty-security/main amd64 login amd64 1:4.2-3.2ubuntu1.17.04.2 [304 kB] Get:5 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 util-linux amd64 2.29-1ubuntu2.1 [913 kB] Get:6 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 mount amd64 2.29-1ubuntu2.1 [130 kB] Get:7 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libc6-dev amd64 2.24-9ubuntu2.2 [2276 kB] Get:8 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libc-dev-bin amd64 2.24-9ubuntu2.2 [68.6 kB] Get:9 http://ftpmaster.internal/ubuntu zesty-security/main amd64 linux-libc-dev amd64 4.10.0-38.42 [902 kB] Get:10 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libc6 amd64 2.24-9ubuntu2.2 [2590 kB] Get:11 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libc-bin amd64 2.24-9ubuntu2.2 [636 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libapt-pkg5.0 amd64 1.4.6~17.04.1 [783 kB] Get:13 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 apt amd64 1.4.6~17.04.1 [1096 kB] Get:14 http://ftpmaster.internal/ubuntu zesty-security/main amd64 passwd amd64 1:4.2-3.2ubuntu1.17.04.2 [782 kB] Get:15 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libuuid1 amd64 2.29-1ubuntu2.1 [14.8 kB] Get:16 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libblkid1 amd64 2.29-1ubuntu2.1 [110 kB] Get:17 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libgcrypt20 amd64 1.7.6-1ubuntu0.2 [400 kB] Get:18 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libidn11 amd64 1.33-1ubuntu0.1 [45.1 kB] Get:19 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libmount1 amd64 2.29-1ubuntu2.1 [119 kB] Get:20 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libseccomp2 amd64 2.3.1-2.1ubuntu2~17.04.1 [37.0 kB] Get:21 http://ftpmaster.internal/ubuntu zesty-security/main amd64 systemd amd64 232-21ubuntu7.1 [2363 kB] Get:22 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libsystemd0 amd64 232-21ubuntu7.1 [210 kB] Get:23 http://ftpmaster.internal/ubuntu zesty-security/main amd64 systemd-sysv amd64 232-21ubuntu7.1 [12.1 kB] Get:24 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libfdisk1 amd64 2.29-1ubuntu2.1 [145 kB] Get:25 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libsmartcols1 amd64 2.29-1ubuntu2.1 [69.4 kB] Get:26 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libudev1 amd64 232-21ubuntu7.1 [55.5 kB] Get:27 http://ftpmaster.internal/ubuntu zesty-security/main amd64 multiarch-support amd64 2.24-9ubuntu2.2 [6832 B] Get:28 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libroken18-heimdal amd64 7.1.0+dfsg-9ubuntu1.1 [40.9 kB] Get:29 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libasn1-8-heimdal amd64 7.1.0+dfsg-9ubuntu1.1 [176 kB] Get:30 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libtasn1-6 amd64 4.10-1ubuntu0.1 [35.5 kB] Get:31 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libgnutls30 amd64 3.5.6-4ubuntu4.3 [627 kB] Get:32 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libheimbase1-heimdal amd64 7.1.0+dfsg-9ubuntu1.1 [29.3 kB] Get:33 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libhcrypto4-heimdal amd64 7.1.0+dfsg-9ubuntu1.1 [87.3 kB] Get:34 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libwind0-heimdal amd64 7.1.0+dfsg-9ubuntu1.1 [48.1 kB] Get:35 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libhx509-5-heimdal amd64 7.1.0+dfsg-9ubuntu1.1 [107 kB] Get:36 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libkrb5-26-heimdal amd64 7.1.0+dfsg-9ubuntu1.1 [206 kB] Get:37 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libheimntlm0-heimdal amd64 7.1.0+dfsg-9ubuntu1.1 [15.1 kB] Get:38 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libgssapi3-heimdal amd64 7.1.0+dfsg-9ubuntu1.1 [96.9 kB] Get:39 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libldap-2.4-2 amd64 2.4.44+dfsg-3ubuntu2.1 [154 kB] Get:40 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libldap-common all 2.4.44+dfsg-3ubuntu2.1 [16.8 kB] Get:41 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libssl1.0.0 amd64 1.0.2g-1ubuntu11.2 [1081 kB] Get:42 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libgssapi-krb5-2 amd64 1.15-1ubuntu0.1 [120 kB] Get:43 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libkrb5-3 amd64 1.15-1ubuntu0.1 [275 kB] Get:44 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libkrb5support0 amd64 1.15-1ubuntu0.1 [31.9 kB] Get:45 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libk5crypto3 amd64 1.15-1ubuntu0.1 [84.8 kB] Get:46 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libidn2-0 amd64 0.16-1ubuntu0.1 [47.6 kB] Get:47 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libcurl3-gnutls amd64 7.52.1-4ubuntu1.3 [192 kB] Get:48 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 apt-transport-https amd64 1.4.6~17.04.1 [34.2 kB] Get:49 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 openssl amd64 1.0.2g-1ubuntu11.2 [491 kB] Get:50 http://ftpmaster.internal/ubuntu zesty-security/main amd64 ca-certificates all 20170717~17.04.1 [167 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 19.0 MB in 0s (36.3 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../base-files_9.6ubuntu13.1_amd64.deb ... Unpacking base-files (9.6ubuntu13.1) over (9.6ubuntu13) ... Setting up base-files (9.6ubuntu13.1) ... Installing new version of config file /etc/update-motd.d/50-motd-news ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../bash_4.4-2ubuntu1.1_amd64.deb ... Unpacking bash (4.4-2ubuntu1.1) over (4.4-2ubuntu1) ... Setting up bash (4.4-2ubuntu1.1) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.29-1ubuntu2.1_amd64.deb ... Unpacking bsdutils (1:2.29-1ubuntu2.1) over (1:2.29-1ubuntu2) ... Setting up bsdutils (1:2.29-1ubuntu2.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../login_1%3a4.2-3.2ubuntu1.17.04.2_amd64.deb ... Unpacking login (1:4.2-3.2ubuntu1.17.04.2) over (1:4.2-3.2ubuntu1) ... Setting up login (1:4.2-3.2ubuntu1.17.04.2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../util-linux_2.29-1ubuntu2.1_amd64.deb ... Unpacking util-linux (2.29-1ubuntu2.1) over (2.29-1ubuntu2) ... Setting up util-linux (2.29-1ubuntu2.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../mount_2.29-1ubuntu2.1_amd64.deb ... Unpacking mount (2.29-1ubuntu2.1) over (2.29-1ubuntu2) ... Setting up mount (2.29-1ubuntu2.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../libc6-dev_2.24-9ubuntu2.2_amd64.deb ... Unpacking libc6-dev:amd64 (2.24-9ubuntu2.2) over (2.24-9ubuntu2) ... Preparing to unpack .../libc-dev-bin_2.24-9ubuntu2.2_amd64.deb ... Unpacking libc-dev-bin (2.24-9ubuntu2.2) over (2.24-9ubuntu2) ... Preparing to unpack .../linux-libc-dev_4.10.0-38.42_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.10.0-38.42) over (4.10.0-19.21) ... Preparing to unpack .../libc6_2.24-9ubuntu2.2_amd64.deb ... Unpacking libc6:amd64 (2.24-9ubuntu2.2) over (2.24-9ubuntu2) ... Setting up libc6:amd64 (2.24-9ubuntu2.2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../libc-bin_2.24-9ubuntu2.2_amd64.deb ... Unpacking libc-bin (2.24-9ubuntu2.2) over (2.24-9ubuntu2) ... Setting up libc-bin (2.24-9ubuntu2.2) ... Updating /etc/nsswitch.conf to current default. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.4.6~17.04.1_amd64.deb ... Unpacking libapt-pkg5.0:amd64 (1.4.6~17.04.1) over (1.4) ... Setting up libapt-pkg5.0:amd64 (1.4.6~17.04.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12482 files and directories currently installed.) Preparing to unpack .../apt_1.4.6~17.04.1_amd64.deb ... Unpacking apt (1.4.6~17.04.1) over (1.4) ... Setting up apt (1.4.6~17.04.1) ... Created symlink /etc/systemd/system/timers.target.wants/apt-daily-upgrade.timer -> /lib/systemd/system/apt-daily-upgrade.timer. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.2-3.2ubuntu1.17.04.2_amd64.deb ... Unpacking passwd (1:4.2-3.2ubuntu1.17.04.2) over (1:4.2-3.2ubuntu1) ... Setting up passwd (1:4.2-3.2ubuntu1.17.04.2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../libuuid1_2.29-1ubuntu2.1_amd64.deb ... Unpacking libuuid1:amd64 (2.29-1ubuntu2.1) over (2.29-1ubuntu2) ... Setting up libuuid1:amd64 (2.29-1ubuntu2.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../libblkid1_2.29-1ubuntu2.1_amd64.deb ... Unpacking libblkid1:amd64 (2.29-1ubuntu2.1) over (2.29-1ubuntu2) ... Setting up libblkid1:amd64 (2.29-1ubuntu2.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.6-1ubuntu0.2_amd64.deb ... Unpacking libgcrypt20:amd64 (1.7.6-1ubuntu0.2) over (1.7.6-1) ... Setting up libgcrypt20:amd64 (1.7.6-1ubuntu0.2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../libidn11_1.33-1ubuntu0.1_amd64.deb ... Unpacking libidn11:amd64 (1.33-1ubuntu0.1) over (1.33-1) ... Preparing to unpack .../libmount1_2.29-1ubuntu2.1_amd64.deb ... Unpacking libmount1:amd64 (2.29-1ubuntu2.1) over (2.29-1ubuntu2) ... Setting up libmount1:amd64 (2.29-1ubuntu2.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.3.1-2.1ubuntu2~17.04.1_amd64.deb ... Unpacking libseccomp2:amd64 (2.3.1-2.1ubuntu2~17.04.1) over (2.3.1-2.1ubuntu1) ... Preparing to unpack .../systemd_232-21ubuntu7.1_amd64.deb ... Unpacking systemd (232-21ubuntu7.1) over (232-21ubuntu2) ... Preparing to unpack .../libsystemd0_232-21ubuntu7.1_amd64.deb ... Unpacking libsystemd0:amd64 (232-21ubuntu7.1) over (232-21ubuntu2) ... Setting up libsystemd0:amd64 (232-21ubuntu7.1) ... Setting up libidn11:amd64 (1.33-1ubuntu0.1) ... Setting up libseccomp2:amd64 (2.3.1-2.1ubuntu2~17.04.1) ... Setting up systemd (232-21ubuntu7.1) ... Installing new version of config file /etc/systemd/resolved.conf ... Created symlink /etc/systemd/system/multi-user.target.wants/systemd-resolved.service -> /lib/systemd/system/systemd-resolved.service. addgroup: The group `systemd-journal' already exists as a system group. Exiting. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../systemd-sysv_232-21ubuntu7.1_amd64.deb ... Unpacking systemd-sysv (232-21ubuntu7.1) over (232-21ubuntu2) ... Preparing to unpack .../libfdisk1_2.29-1ubuntu2.1_amd64.deb ... Unpacking libfdisk1:amd64 (2.29-1ubuntu2.1) over (2.29-1ubuntu2) ... Setting up libfdisk1:amd64 (2.29-1ubuntu2.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.29-1ubuntu2.1_amd64.deb ... Unpacking libsmartcols1:amd64 (2.29-1ubuntu2.1) over (2.29-1ubuntu2) ... Setting up libsmartcols1:amd64 (2.29-1ubuntu2.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../libudev1_232-21ubuntu7.1_amd64.deb ... Unpacking libudev1:amd64 (232-21ubuntu7.1) over (232-21ubuntu2) ... Setting up libudev1:amd64 (232-21ubuntu7.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.24-9ubuntu2.2_amd64.deb ... Unpacking multiarch-support (2.24-9ubuntu2.2) over (2.24-9ubuntu2) ... Setting up multiarch-support (2.24-9ubuntu2.2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12484 files and directories currently installed.) Preparing to unpack .../00-libroken18-heimdal_7.1.0+dfsg-9ubuntu1.1_amd64.deb ... Unpacking libroken18-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../01-libasn1-8-heimdal_7.1.0+dfsg-9ubuntu1.1_amd64.deb ... Unpacking libasn1-8-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../02-libtasn1-6_4.10-1ubuntu0.1_amd64.deb ... Unpacking libtasn1-6:amd64 (4.10-1ubuntu0.1) over (4.10-1) ... Preparing to unpack .../03-libgnutls30_3.5.6-4ubuntu4.3_amd64.deb ... Unpacking libgnutls30:amd64 (3.5.6-4ubuntu4.3) over (3.5.6-4ubuntu4) ... Preparing to unpack .../04-libheimbase1-heimdal_7.1.0+dfsg-9ubuntu1.1_amd64.deb ... Unpacking libheimbase1-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../05-libhcrypto4-heimdal_7.1.0+dfsg-9ubuntu1.1_amd64.deb ... Unpacking libhcrypto4-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../06-libwind0-heimdal_7.1.0+dfsg-9ubuntu1.1_amd64.deb ... Unpacking libwind0-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../07-libhx509-5-heimdal_7.1.0+dfsg-9ubuntu1.1_amd64.deb ... Unpacking libhx509-5-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../08-libkrb5-26-heimdal_7.1.0+dfsg-9ubuntu1.1_amd64.deb ... Unpacking libkrb5-26-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../09-libheimntlm0-heimdal_7.1.0+dfsg-9ubuntu1.1_amd64.deb ... Unpacking libheimntlm0-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../10-libgssapi3-heimdal_7.1.0+dfsg-9ubuntu1.1_amd64.deb ... Unpacking libgssapi3-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../11-libldap-2.4-2_2.4.44+dfsg-3ubuntu2.1_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.44+dfsg-3ubuntu2.1) over (2.4.44+dfsg-3ubuntu2) ... Preparing to unpack .../12-libldap-common_2.4.44+dfsg-3ubuntu2.1_all.deb ... Unpacking libldap-common (2.4.44+dfsg-3ubuntu2.1) over (2.4.44+dfsg-3ubuntu2) ... Preparing to unpack .../13-libssl1.0.0_1.0.2g-1ubuntu11.2_amd64.deb ... Unpacking libssl1.0.0:amd64 (1.0.2g-1ubuntu11.2) over (1.0.2g-1ubuntu11) ... Preparing to unpack .../14-libgssapi-krb5-2_1.15-1ubuntu0.1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.15-1ubuntu0.1) over (1.15-1) ... Preparing to unpack .../15-libkrb5-3_1.15-1ubuntu0.1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.15-1ubuntu0.1) over (1.15-1) ... Preparing to unpack .../16-libkrb5support0_1.15-1ubuntu0.1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.15-1ubuntu0.1) over (1.15-1) ... Preparing to unpack .../17-libk5crypto3_1.15-1ubuntu0.1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.15-1ubuntu0.1) over (1.15-1) ... Preparing to unpack .../18-libidn2-0_0.16-1ubuntu0.1_amd64.deb ... Unpacking libidn2-0:amd64 (0.16-1ubuntu0.1) over (0.16-1) ... Preparing to unpack .../19-libcurl3-gnutls_7.52.1-4ubuntu1.3_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.52.1-4ubuntu1.3) over (7.52.1-4ubuntu1) ... Preparing to unpack .../20-apt-transport-https_1.4.6~17.04.1_amd64.deb ... Unpacking apt-transport-https (1.4.6~17.04.1) over (1.4) ... Preparing to unpack .../21-openssl_1.0.2g-1ubuntu11.2_amd64.deb ... Unpacking openssl (1.0.2g-1ubuntu11.2) over (1.0.2g-1ubuntu11) ... Preparing to unpack .../22-ca-certificates_20170717~17.04.1_all.deb ... Unpacking ca-certificates (20170717~17.04.1) over (20161130) ... Setting up libidn2-0:amd64 (0.16-1ubuntu0.1) ... Setting up libssl1.0.0:amd64 (1.0.2g-1ubuntu11.2) ... Setting up libldap-common (2.4.44+dfsg-3ubuntu2.1) ... Setting up systemd-sysv (232-21ubuntu7.1) ... Setting up linux-libc-dev:amd64 (4.10.0-38.42) ... Setting up libroken18-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) ... Setting up libkrb5support0:amd64 (1.15-1ubuntu0.1) ... Setting up libtasn1-6:amd64 (4.10-1ubuntu0.1) ... Processing triggers for libc-bin (2.24-9ubuntu2.2) ... Setting up libheimbase1-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) ... Setting up openssl (1.0.2g-1ubuntu11.2) ... Setting up libc-dev-bin (2.24-9ubuntu2.2) ... Setting up ca-certificates (20170717~17.04.1) ... Updating certificates in /etc/ssl/certs... 7 added, 32 removed; done. Setting up libc6-dev:amd64 (2.24-9ubuntu2.2) ... Setting up libk5crypto3:amd64 (1.15-1ubuntu0.1) ... Setting up libwind0-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) ... Setting up libasn1-8-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) ... Setting up libhcrypto4-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) ... Setting up libgnutls30:amd64 (3.5.6-4ubuntu4.3) ... Setting up libhx509-5-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) ... Setting up libkrb5-3:amd64 (1.15-1ubuntu0.1) ... Setting up libkrb5-26-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) ... Setting up libheimntlm0-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) ... Setting up libgssapi-krb5-2:amd64 (1.15-1ubuntu0.1) ... Setting up libgssapi3-heimdal:amd64 (7.1.0+dfsg-9ubuntu1.1) ... Setting up libldap-2.4-2:amd64 (2.4.44+dfsg-3ubuntu2.1) ... Setting up libcurl3-gnutls:amd64 (7.52.1-4ubuntu1.3) ... Setting up apt-transport-https (1.4.6~17.04.1) ... Processing triggers for libc-bin (2.24-9ubuntu2.2) ... Processing triggers for ca-certificates (20170717~17.04.1) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/slavebin/buildrecipe --git RECIPEBRANCHBUILD-1477161 'Jason Gross' jgross@mit.edu zesty zesty 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 4829 kB of archives. After this operation, 25.4 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libpython3.5-minimal amd64 3.5.3-1ubuntu0~17.04.1 [529 kB] Get:2 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libexpat1 amd64 2.2.0-2ubuntu0.1 [72.3 kB] Get:3 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 python3.5-minimal amd64 3.5.3-1ubuntu0~17.04.1 [1635 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main amd64 python3-minimal amd64 3.5.3-1 [23.4 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main amd64 mime-support all 3.60ubuntu1 [30.1 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main amd64 libmpdec2 amd64 2.4.2-1 [82.6 kB] Get:7 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libpython3.5-stdlib amd64 3.5.3-1ubuntu0~17.04.1 [2167 kB] Get:8 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 python3.5 amd64 3.5.3-1ubuntu0~17.04.1 [175 kB] Get:9 http://ftpmaster.internal/ubuntu zesty/main amd64 libpython3-stdlib amd64 3.5.3-1 [6838 B] Get:10 http://ftpmaster.internal/ubuntu zesty/main amd64 dh-python all 2.20170125 [83.7 kB] Get:11 http://ftpmaster.internal/ubuntu zesty/main amd64 python3 amd64 3.5.3-1 [8696 B] Get:12 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 distro-info-data all 0.33ubuntu0.3 [4328 B] Get:13 http://ftpmaster.internal/ubuntu zesty/main amd64 lsb-release all 9.20160110ubuntu5 [11.1 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 4829 kB in 0s (30.8 MB/s) Selecting previously unselected package libpython3.5-minimal:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12458 files and directories currently installed.) Preparing to unpack .../0-libpython3.5-minimal_3.5.3-1ubuntu0~17.04.1_amd64.deb ... Unpacking libpython3.5-minimal:amd64 (3.5.3-1ubuntu0~17.04.1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../1-libexpat1_2.2.0-2ubuntu0.1_amd64.deb ... Unpacking libexpat1:amd64 (2.2.0-2ubuntu0.1) ... Selecting previously unselected package python3.5-minimal. Preparing to unpack .../2-python3.5-minimal_3.5.3-1ubuntu0~17.04.1_amd64.deb ... Unpacking python3.5-minimal (3.5.3-1ubuntu0~17.04.1) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../3-python3-minimal_3.5.3-1_amd64.deb ... Unpacking python3-minimal (3.5.3-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../4-mime-support_3.60ubuntu1_all.deb ... Unpacking mime-support (3.60ubuntu1) ... Selecting previously unselected package libmpdec2:amd64. Preparing to unpack .../5-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 .../6-libpython3.5-stdlib_3.5.3-1ubuntu0~17.04.1_amd64.deb ... Unpacking libpython3.5-stdlib:amd64 (3.5.3-1ubuntu0~17.04.1) ... Selecting previously unselected package python3.5. Preparing to unpack .../7-python3.5_3.5.3-1ubuntu0~17.04.1_amd64.deb ... Unpacking python3.5 (3.5.3-1ubuntu0~17.04.1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../8-libpython3-stdlib_3.5.3-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.5.3-1) ... Selecting previously unselected package dh-python. Preparing to unpack .../9-dh-python_2.20170125_all.deb ... Unpacking dh-python (2.20170125) ... Setting up libpython3.5-minimal:amd64 (3.5.3-1ubuntu0~17.04.1) ... Setting up libexpat1:amd64 (2.2.0-2ubuntu0.1) ... Setting up python3.5-minimal (3.5.3-1ubuntu0~17.04.1) ... Setting up python3-minimal (3.5.3-1) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13409 files and directories currently installed.) Preparing to unpack .../python3_3.5.3-1_amd64.deb ... Unpacking python3 (3.5.3-1) ... Selecting previously unselected package distro-info-data. Preparing to unpack .../distro-info-data_0.33ubuntu0.3_all.deb ... Unpacking distro-info-data (0.33ubuntu0.3) ... Selecting previously unselected package lsb-release. Preparing to unpack .../lsb-release_9.20160110ubuntu5_all.deb ... Unpacking lsb-release (9.20160110ubuntu5) ... Setting up mime-support (3.60ubuntu1) ... Setting up distro-info-data (0.33ubuntu0.3) ... Processing triggers for libc-bin (2.24-9ubuntu2.2) ... Setting up libmpdec2:amd64 (2.4.2-1) ... Setting up libpython3.5-stdlib:amd64 (3.5.3-1ubuntu0~17.04.1) ... Setting up python3.5 (3.5.3-1ubuntu0~17.04.1) ... Setting up libpython3-stdlib:amd64 (3.5.3-1) ... Setting up python3 (3.5.3-1) ... running python rtupdate hooks for python3.5... running python post-rtupdate hooks for python3.5... Setting up lsb-release (9.20160110ubuntu5) ... Setting up dh-python (2.20170125) ... Processing triggers for libc-bin (2.24-9ubuntu2.2) ... Git version: git version 2.7.4 git-build-recipe 0.3.4~git201611291343.dcee459~ubuntu16.04.1 Building recipe: # git-build-recipe format 0.4 deb-version {debupstream}~{time}+{revno}-0~daily{revno:packaging} lp:~jgross-h/coq/+git/coq master nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian master RUN ['git-build-recipe', '--safe', '--no-build', '--manifest', '/home/buildd/build-RECIPEBRANCHBUILD-1477161/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'zesty', '--allow-fallback-to-native', '--append-version', '~ubuntu17.04.1', '/home/buildd/build-RECIPEBRANCHBUILD-1477161/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-1477161/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-1477161/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-1477161/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 91 with fuzz 2 (offset 17 lines). Now at patch /home/buildd/build-RECIPEBRANCHBUILD-1477161/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch resource.struct_rusage(ru_utime=15.028, ru_stime=1.56, ru_maxrss=87708, ru_ixrss=0, ru_idrss=0, ru_isrss=0, ru_minflt=84729, ru_majflt=43, ru_nswap=0, ru_inblock=11968, ru_oublock=276624, ru_msgsnd=0, ru_msgrcv=0, ru_nsignals=0, ru_nvcsw=52511, ru_nivcsw=9028) 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 [289 B] Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlp5 debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core fonts-lmodern gettext gettext-base ghostscript gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base gtk-update-icon-cache hevea hicolor-icon-theme humanity-icon-theme icu-devtools intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcroco3 libcups2 libcupsimage2 libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat1-dev libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libgraphite2-3 libgraphite2-dev libgs9 libgs9-common libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.4-0 libice-dev libice6 libicu-dev libicu57 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblcms2-2 liblzo2-2 libmagic-mgc libmagic1 libncurses5-dev libnetpbm10 libnspr4 libnss3 libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpaper-utils libpaper1 libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpoppler64 libpotrace0 libptexenc1 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib librsvg2-2 librsvg2-common libsigsegv2 libsm-dev libsm6 libsynctex1 libtexlua52 libtexluajit2 libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxmu6 libxpm4 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxt6 libzzip-0-13 m4 man-db netpbm ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox pkg-config po-debconf poppler-data preview-latex-style python python-minimal python2.7 python2.7-minimal shared-mime-info t1utils tex-common texlive-base texlive-binaries texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ubuntu-mono ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xdg-utils xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 235 newly installed, 0 to remove and 0 not upgraded. Need to get 162 MB of archives. After this operation, 725 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu zesty/main amd64 libxau6 amd64 1:1.0.8-1 [8376 B] Get:2 http://ftpmaster.internal/ubuntu zesty/main amd64 libxdmcp6 amd64 1:1.1.2-1.1 [11.0 kB] Get:3 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb1 amd64 1.11.1-1ubuntu1 [40.0 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main amd64 libx11-data all 2:1.6.4-3 [114 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main amd64 libx11-6 amd64 2:1.6.4-3 [572 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main amd64 libxext6 amd64 2:1.3.3-1 [29.4 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main amd64 groff-base amd64 1.22.3-9 [1144 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/main amd64 libbsd0 amd64 0.8.3-1 [41.4 kB] Get:9 http://ftpmaster.internal/ubuntu zesty/main amd64 bsdmainutils amd64 9.0.12ubuntu1 [177 kB] Get:10 http://ftpmaster.internal/ubuntu zesty/main amd64 libpipeline1 amd64 1.4.1-2 [24.6 kB] Get:11 http://ftpmaster.internal/ubuntu zesty/main amd64 man-db amd64 2.7.6.1-2 [895 kB] Get:12 http://ftpmaster.internal/ubuntu zesty/main amd64 fonts-dejavu-core all 2.37-1 [1041 kB] Get:13 http://ftpmaster.internal/ubuntu zesty/main amd64 ucf all 3.0036 [52.9 kB] Get:14 http://ftpmaster.internal/ubuntu zesty/main amd64 fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:15 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libfreetype6 amd64 2.6.3-3ubuntu2.2 [320 kB] Get:16 http://ftpmaster.internal/ubuntu zesty/main amd64 libfontconfig1 amd64 2.11.94-0ubuntu2 [131 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main amd64 fontconfig amd64 2.11.94-0ubuntu2 [177 kB] Get:18 http://ftpmaster.internal/ubuntu zesty/main amd64 libglib2.0-0 amd64 2.52.0-1 [1144 kB] Get:19 http://ftpmaster.internal/ubuntu zesty/main amd64 libatk1.0-data all 2.22.0-1 [2844 B] Get:20 http://ftpmaster.internal/ubuntu zesty/main amd64 libatk1.0-0 amd64 2.22.0-1 [43.1 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main amd64 libjpeg-turbo8 amd64 1.5.1-0ubuntu1 [113 kB] Get:22 http://ftpmaster.internal/ubuntu zesty/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B] Get:23 http://ftpmaster.internal/ubuntu zesty/main amd64 libjbig0 amd64 2.1-3.1 [26.6 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main amd64 libtiff5 amd64 4.0.7-5 [147 kB] Get:25 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libicu57 amd64 57.1-5ubuntu0.2 [7687 kB] Get:26 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libxml2 amd64 2.9.4+dfsg1-2.2ubuntu0.1 [698 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main amd64 shared-mime-info amd64 1.8-1 [420 kB] Get:28 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libgdk-pixbuf2.0-common all 2.36.5-3ubuntu0.2 [4956 B] Get:29 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libgdk-pixbuf2.0-0 amd64 2.36.5-3ubuntu0.2 [164 kB] Get:30 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libgtk2.0-common all 2.24.31-1ubuntu1.1 [124 kB] Get:31 http://ftpmaster.internal/ubuntu zesty/main amd64 libpixman-1-0 amd64 0.34.0-1 [230 kB] Get:32 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-render0 amd64 1.11.1-1ubuntu1 [11.4 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-shm0 amd64 1.11.1-1ubuntu1 [5588 B] Get:34 http://ftpmaster.internal/ubuntu zesty/main amd64 libxrender1 amd64 1:0.9.10-1 [18.7 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main amd64 libcairo2 amd64 1.14.8-1 [556 kB] Get:36 http://ftpmaster.internal/ubuntu zesty/main amd64 libavahi-common-data amd64 0.6.32-1ubuntu1 [22.0 kB] Get:37 http://ftpmaster.internal/ubuntu zesty/main amd64 libavahi-common3 amd64 0.6.32-1ubuntu1 [21.6 kB] Get:38 http://ftpmaster.internal/ubuntu zesty/main amd64 libdbus-1-3 amd64 1.10.10-1ubuntu2 [162 kB] Get:39 http://ftpmaster.internal/ubuntu zesty/main amd64 libavahi-client3 amd64 0.6.32-1ubuntu1 [25.1 kB] Get:40 http://ftpmaster.internal/ubuntu zesty/main amd64 libcups2 amd64 2.2.2-1ubuntu1 [203 kB] Get:41 http://ftpmaster.internal/ubuntu zesty/main amd64 libthai-data all 0.1.26-1 [131 kB] Get:42 http://ftpmaster.internal/ubuntu zesty/main amd64 libdatrie1 amd64 0.2.10-4 [17.3 kB] Get:43 http://ftpmaster.internal/ubuntu zesty/main amd64 libthai0 amd64 0.1.26-1 [17.3 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main amd64 libpango-1.0-0 amd64 1.40.4-1 [148 kB] Get:45 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libgraphite2-3 amd64 1.3.10-0ubuntu0.17.04.1 [71.7 kB] Get:46 http://ftpmaster.internal/ubuntu zesty/main amd64 libharfbuzz0b amd64 1.4.2-1 [211 kB] Get:47 http://ftpmaster.internal/ubuntu zesty/main amd64 libpangoft2-1.0-0 amd64 1.40.4-1 [32.2 kB] Get:48 http://ftpmaster.internal/ubuntu zesty/main amd64 libpangocairo-1.0-0 amd64 1.40.4-1 [19.8 kB] Get:49 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcomposite1 amd64 1:0.4.4-2 [6988 B] Get:50 http://ftpmaster.internal/ubuntu zesty/main amd64 libxfixes3 amd64 1:5.0.3-1 [10.8 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcursor1 amd64 1:1.1.14-1 [22.8 kB] Get:52 http://ftpmaster.internal/ubuntu zesty/main amd64 libxdamage1 amd64 1:1.1.4-2 [6946 B] Get:53 http://ftpmaster.internal/ubuntu zesty/main amd64 libxi6 amd64 2:1.7.9-1 [29.2 kB] Get:54 http://ftpmaster.internal/ubuntu zesty/main amd64 libxinerama1 amd64 2:1.1.3-1 [7908 B] Get:55 http://ftpmaster.internal/ubuntu zesty/main amd64 libxrandr2 amd64 2:1.5.1-1 [18.1 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main amd64 hicolor-icon-theme all 0.15-1 [8378 B] Get:57 http://ftpmaster.internal/ubuntu zesty/main amd64 gtk-update-icon-cache amd64 3.22.11-0ubuntu3 [27.6 kB] Get:58 http://ftpmaster.internal/ubuntu zesty/main amd64 libcroco3 amd64 0.6.11-2 [81.1 kB] Get:59 http://ftpmaster.internal/ubuntu zesty/main amd64 librsvg2-2 amd64 2.40.16-2~svn1 [93.8 kB] Get:60 http://ftpmaster.internal/ubuntu zesty/main amd64 librsvg2-common amd64 2.40.16-2~svn1 [5106 B] Get:61 http://ftpmaster.internal/ubuntu zesty/main amd64 humanity-icon-theme all 0.6.13 [1288 kB] Get:62 http://ftpmaster.internal/ubuntu zesty/main amd64 ubuntu-mono all 16.10+17.04.20170406-0ubuntu1 [160 kB] Get:63 http://ftpmaster.internal/ubuntu zesty/main amd64 adwaita-icon-theme all 3.24.0-0ubuntu1 [3423 kB] Get:64 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libgtk2.0-0 amd64 2.24.31-1ubuntu1.1 [1769 kB] Get:65 http://ftpmaster.internal/ubuntu zesty/main amd64 libglade2-0 amd64 1:2.6.4-2 [44.6 kB] Get:66 http://ftpmaster.internal/ubuntu zesty/main amd64 x11-common all 1:7.7+16ubuntu3 [21.8 kB] Get:67 http://ftpmaster.internal/ubuntu zesty/main amd64 libice6 amd64 2:1.0.9-1 [39.2 kB] Get:68 http://ftpmaster.internal/ubuntu zesty/main amd64 liblzo2-2 amd64 2.08-1.2 [48.7 kB] Get:69 http://ftpmaster.internal/ubuntu zesty/main amd64 libpcrecpp0v5 amd64 2:8.39-3 [15.0 kB] Get:70 http://ftpmaster.internal/ubuntu zesty/main amd64 libsm6 amd64 2:1.2.2-1 [15.8 kB] Get:71 http://ftpmaster.internal/ubuntu zesty/main amd64 libxft2 amd64 2.3.2-1 [36.1 kB] Get:72 http://ftpmaster.internal/ubuntu zesty/main amd64 poppler-data all 0.4.7-8 [1449 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main amd64 libpython2.7-minimal amd64 2.7.13-2 [338 kB] Get:74 http://ftpmaster.internal/ubuntu zesty/main amd64 python2.7-minimal amd64 2.7.13-2 [1327 kB] Get:75 http://ftpmaster.internal/ubuntu zesty/main amd64 python-minimal amd64 2.7.13-2 [28.2 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main amd64 libpython2.7-stdlib amd64 2.7.13-2 [1898 kB] Get:77 http://ftpmaster.internal/ubuntu zesty/main amd64 python2.7 amd64 2.7.13-2 [229 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main amd64 libpython-stdlib amd64 2.7.13-2 [7774 B] Get:79 http://ftpmaster.internal/ubuntu zesty/main amd64 python amd64 2.7.13-2 [139 kB] Get:80 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libmagic-mgc amd64 1:5.29-3ubuntu0.1 [181 kB] Get:81 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libmagic1 amd64 1:5.29-3ubuntu0.1 [68.3 kB] Get:82 http://ftpmaster.internal/ubuntu zesty-security/main amd64 file amd64 1:5.29-3ubuntu0.1 [21.8 kB] Get:83 http://ftpmaster.internal/ubuntu zesty/main amd64 libelf1 amd64 0.166-2ubuntu1 [42.9 kB] Get:84 http://ftpmaster.internal/ubuntu zesty/main amd64 libtext-iconv-perl amd64 1.7-5build5 [12.9 kB] Get:85 http://ftpmaster.internal/ubuntu zesty/main amd64 gettext-base amd64 0.19.8.1-1ubuntu2 [48.7 kB] Get:86 http://ftpmaster.internal/ubuntu zesty/main amd64 libgirepository-1.0-1 amd64 1.52.0-0ubuntu1 [80.1 kB] Get:87 http://ftpmaster.internal/ubuntu zesty/main amd64 gir1.2-glib-2.0 amd64 1.52.0-0ubuntu1 [130 kB] Get:88 http://ftpmaster.internal/ubuntu zesty/main amd64 libglib2.0-data all 2.52.0-1 [5244 B] Get:89 http://ftpmaster.internal/ubuntu zesty/main amd64 libaspell15 amd64 0.60.7~20110707-3build1 [317 kB] Get:90 http://ftpmaster.internal/ubuntu zesty/main amd64 emacsen-common all 2.0.8 [17.6 kB] Get:91 http://ftpmaster.internal/ubuntu zesty/main amd64 dictionaries-common all 1.27.2 [186 kB] Get:92 http://ftpmaster.internal/ubuntu zesty/main amd64 aspell amd64 0.60.7~20110707-3build1 [74.0 kB] Get:93 http://ftpmaster.internal/ubuntu zesty/main amd64 aspell-en all 2016.11.20-0-0.1 [298 kB] Get:94 http://ftpmaster.internal/ubuntu zesty/main amd64 libsigsegv2 amd64 2.10-5 [14.1 kB] Get:95 http://ftpmaster.internal/ubuntu zesty/main amd64 m4 amd64 1.4.18-1 [197 kB] Get:96 http://ftpmaster.internal/ubuntu zesty/main amd64 autoconf all 2.69-10 [321 kB] Get:97 http://ftpmaster.internal/ubuntu zesty/main amd64 autotools-dev all 20161112.1 [39.5 kB] Get:98 http://ftpmaster.internal/ubuntu zesty/main amd64 automake all 1:1.15-5ubuntu1 [509 kB] Get:99 http://ftpmaster.internal/ubuntu zesty/main amd64 autopoint all 0.19.8.1-1ubuntu2 [412 kB] Get:100 http://ftpmaster.internal/ubuntu zesty/main amd64 libtool all 2.4.6-2 [194 kB] Get:101 http://ftpmaster.internal/ubuntu zesty/main amd64 dh-autoreconf all 13 [15.6 kB] Get:102 http://ftpmaster.internal/ubuntu zesty/main amd64 libarchive-zip-perl all 1.59-1 [84.0 kB] Get:103 http://ftpmaster.internal/ubuntu zesty/main amd64 libfile-stripnondeterminism-perl all 0.032-1 [12.9 kB] Get:104 http://ftpmaster.internal/ubuntu zesty/main amd64 libtimedate-perl all 2.3000-2 [37.5 kB] Get:105 http://ftpmaster.internal/ubuntu zesty/main amd64 dh-strip-nondeterminism all 0.032-1 [4894 B] Get:106 http://ftpmaster.internal/ubuntu zesty/main amd64 gettext amd64 0.19.8.1-1ubuntu2 [1083 kB] Get:107 http://ftpmaster.internal/ubuntu zesty/main amd64 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:108 http://ftpmaster.internal/ubuntu zesty/main amd64 po-debconf all 1.0.20 [232 kB] Get:109 http://ftpmaster.internal/ubuntu zesty/main amd64 debhelper all 10.2.2ubuntu1 [742 kB] Get:110 http://ftpmaster.internal/ubuntu zesty/main amd64 fonts-lmodern all 2.004.5-3 [4551 kB] Get:111 http://ftpmaster.internal/ubuntu zesty/main amd64 libcupsimage2 amd64 2.2.2-1ubuntu1 [18.1 kB] Get:112 http://ftpmaster.internal/ubuntu zesty/main amd64 libijs-0.35 amd64 0.35-12 [15.5 kB] Get:113 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libjbig2dec0 amd64 0.13-4ubuntu0.1 [55.1 kB] Get:114 http://ftpmaster.internal/ubuntu zesty/main amd64 liblcms2-2 amd64 2.7-1ubuntu1 [137 kB] Get:115 http://ftpmaster.internal/ubuntu zesty/main amd64 libpaper1 amd64 1.1.24+nmu4ubuntu1 [13.7 kB] Get:116 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libgs9-common all 9.19~dfsg+1-0ubuntu7.6 [2989 kB] Get:117 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libgs9 amd64 9.19~dfsg+1-0ubuntu7.6 [2100 kB] Get:118 http://ftpmaster.internal/ubuntu zesty-security/main amd64 ghostscript amd64 9.19~dfsg+1-0ubuntu7.6 [50.0 kB] Get:119 http://ftpmaster.internal/ubuntu zesty/main amd64 gir1.2-atk-1.0 amd64 2.22.0-1 [17.7 kB] Get:120 http://ftpmaster.internal/ubuntu zesty/main amd64 gir1.2-freedesktop amd64 1.52.0-0ubuntu1 [5656 B] Get:121 http://ftpmaster.internal/ubuntu zesty-security/main amd64 gir1.2-gdkpixbuf-2.0 amd64 2.36.5-3ubuntu0.2 [8200 B] Get:122 http://ftpmaster.internal/ubuntu zesty/main amd64 libpangoxft-1.0-0 amd64 1.40.4-1 [14.4 kB] Get:123 http://ftpmaster.internal/ubuntu zesty/main amd64 gir1.2-pango-1.0 amd64 1.40.4-1 [21.4 kB] Get:124 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 gir1.2-gtk-2.0 amd64 2.24.31-1ubuntu1.1 [172 kB] Get:125 http://ftpmaster.internal/ubuntu zesty/main amd64 libnetpbm10 amd64 2:10.0-15.3build1 [58.0 kB] Get:126 http://ftpmaster.internal/ubuntu zesty/main amd64 netpbm amd64 2:10.0-15.3build1 [1017 kB] Get:127 http://ftpmaster.internal/ubuntu zesty/main amd64 tex-common all 6.06 [545 kB] Get:128 http://ftpmaster.internal/ubuntu zesty/main amd64 libpaper-utils amd64 1.1.24+nmu4ubuntu1 [8276 B] Get:129 http://ftpmaster.internal/ubuntu zesty/main amd64 libkpathsea6 amd64 2016.20160513.41080.dfsg-1 [55.4 kB] Get:130 http://ftpmaster.internal/ubuntu zesty/main amd64 libptexenc1 amd64 2016.20160513.41080.dfsg-1 [34.5 kB] Get:131 http://ftpmaster.internal/ubuntu zesty/main amd64 libsynctex1 amd64 2016.20160513.41080.dfsg-1 [41.9 kB] Get:132 http://ftpmaster.internal/ubuntu zesty/main amd64 libtexlua52 amd64 2016.20160513.41080.dfsg-1 [90.9 kB] Get:133 http://ftpmaster.internal/ubuntu zesty/main amd64 libtexluajit2 amd64 2016.20160513.41080.dfsg-1 [230 kB] Get:134 http://ftpmaster.internal/ubuntu zesty/main amd64 t1utils amd64 1.39-2 [53.4 kB] Get:135 http://ftpmaster.internal/ubuntu zesty/main amd64 libharfbuzz-icu0 amd64 1.4.2-1 [5248 B] Get:136 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libnspr4 amd64 2:4.13.1-0ubuntu0.17.04.1 [112 kB] Get:137 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libnss3 amd64 2:3.28.4-0ubuntu0.17.04.3 [1143 kB] Get:138 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libpoppler64 amd64 0.48.0-2ubuntu2.4 [779 kB] Get:139 http://ftpmaster.internal/ubuntu zesty/main amd64 libpotrace0 amd64 1.13-3 [17.0 kB] Get:140 http://ftpmaster.internal/ubuntu zesty/main amd64 libxt6 amd64 1:1.1.5-1 [160 kB] Get:141 http://ftpmaster.internal/ubuntu zesty/main amd64 libxmu6 amd64 2:1.1.2-2 [46.0 kB] Get:142 http://ftpmaster.internal/ubuntu zesty/main amd64 libxpm4 amd64 1:3.5.12-1 [34.0 kB] Get:143 http://ftpmaster.internal/ubuntu zesty/main amd64 libxaw7 amd64 2:1.0.13-1 [173 kB] Get:144 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libzzip-0-13 amd64 0.13.62-3ubuntu0.17.04.1 [25.7 kB] Get:145 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-binaries amd64 2016.20160513.41080.dfsg-1 [7075 kB] Get:146 http://ftpmaster.internal/ubuntu zesty/main amd64 xdg-utils all 1.1.1-1ubuntu2 [59.6 kB] Get:147 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-base all 2016.20170123-5 [15.7 MB] Get:148 http://ftpmaster.internal/ubuntu zesty/universe amd64 ocaml-base-nox amd64 4.02.3-6ubuntu2 [458 kB] Get:149 http://ftpmaster.internal/ubuntu zesty/universe amd64 hevea all 2.29-1 [879 kB] Get:150 http://ftpmaster.internal/ubuntu zesty-security/main amd64 icu-devtools amd64 57.1-5ubuntu0.2 [168 kB] Get:151 http://ftpmaster.internal/ubuntu zesty/main amd64 pkg-config amd64 0.29.1-0ubuntu1 [45.0 kB] Get:152 http://ftpmaster.internal/ubuntu zesty/main amd64 libglib2.0-bin amd64 2.52.0-1 [66.5 kB] Get:153 http://ftpmaster.internal/ubuntu zesty/main amd64 libglib2.0-dev-bin amd64 2.52.0-1 [85.4 kB] Get:154 http://ftpmaster.internal/ubuntu zesty/main amd64 libpcre16-3 amd64 2:8.39-3 [149 kB] Get:155 http://ftpmaster.internal/ubuntu zesty/main amd64 libpcre32-3 amd64 2:8.39-3 [139 kB] Get:156 http://ftpmaster.internal/ubuntu zesty/main amd64 libpcre3-dev amd64 2:8.39-3 [537 kB] Get:157 http://ftpmaster.internal/ubuntu zesty/main amd64 zlib1g-dev amd64 1:1.2.11.dfsg-0ubuntu1 [173 kB] Get:158 http://ftpmaster.internal/ubuntu zesty/main amd64 libglib2.0-dev amd64 2.52.0-1 [1360 kB] Get:159 http://ftpmaster.internal/ubuntu zesty/main amd64 libatk1.0-dev amd64 2.22.0-1 [79.1 kB] Get:160 http://ftpmaster.internal/ubuntu zesty/main amd64 libcairo-gobject2 amd64 1.14.8-1 [17.2 kB] Get:161 http://ftpmaster.internal/ubuntu zesty/main amd64 libcairo-script-interpreter2 amd64 1.14.8-1 [54.2 kB] Get:162 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libexpat1-dev amd64 2.2.0-2ubuntu0.1 [122 kB] Get:163 http://ftpmaster.internal/ubuntu zesty/main amd64 libpng-dev amd64 1.6.28-1 [143 kB] Get:164 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libfreetype6-dev amd64 2.6.3-3ubuntu2.2 [5184 kB] Get:165 http://ftpmaster.internal/ubuntu zesty/main amd64 libfontconfig1-dev amd64 2.11.94-0ubuntu2 [659 kB] Get:166 http://ftpmaster.internal/ubuntu zesty/main amd64 xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:167 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-core-dev all 7.0.31-1 [700 kB] Get:168 http://ftpmaster.internal/ubuntu zesty/main amd64 libxau-dev amd64 1:1.0.8-1 [11.1 kB] Get:169 http://ftpmaster.internal/ubuntu zesty/main amd64 libxdmcp-dev amd64 1:1.1.2-1.1 [25.1 kB] Get:170 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-input-dev all 2.3.2-1 [118 kB] Get:171 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-kb-dev all 1.0.7-1 [226 kB] Get:172 http://ftpmaster.internal/ubuntu zesty/main amd64 xtrans-dev all 1.3.5-1 [70.5 kB] Get:173 http://ftpmaster.internal/ubuntu zesty/main amd64 libpthread-stubs0-dev amd64 0.3-4 [4068 B] Get:174 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb1-dev amd64 1.11.1-1ubuntu1 [74.2 kB] Get:175 http://ftpmaster.internal/ubuntu zesty/main amd64 libx11-dev amd64 2:1.6.4-3 [642 kB] Get:176 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:177 http://ftpmaster.internal/ubuntu zesty/main amd64 libxrender-dev amd64 1:0.9.10-1 [24.9 kB] Get:178 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-xext-dev all 7.3.0-1 [212 kB] Get:179 http://ftpmaster.internal/ubuntu zesty/main amd64 libxext-dev amd64 2:1.3.3-1 [82.1 kB] Get:180 http://ftpmaster.internal/ubuntu zesty/main amd64 libice-dev amd64 2:1.0.9-1 [44.9 kB] Get:181 http://ftpmaster.internal/ubuntu zesty/main amd64 libsm-dev amd64 2:1.2.2-1 [16.2 kB] Get:182 http://ftpmaster.internal/ubuntu zesty/main amd64 libpixman-1-dev amd64 0.34.0-1 [245 kB] Get:183 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-render0-dev amd64 1.11.1-1ubuntu1 [15.3 kB] Get:184 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-shm0-dev amd64 1.11.1-1ubuntu1 [6604 B] Get:185 http://ftpmaster.internal/ubuntu zesty/main amd64 libcairo2-dev amd64 1.14.8-1 [600 kB] Get:186 http://ftpmaster.internal/ubuntu zesty/main amd64 libhunspell-1.4-0 amd64 1.4.1-2build1 [138 kB] Get:187 http://ftpmaster.internal/ubuntu zesty/main amd64 libenchant1c2a amd64 1.6.0-11build1 [63.5 kB] Get:188 http://ftpmaster.internal/ubuntu zesty/main amd64 libenchant-dev amd64 1.6.0-11build1 [52.6 kB] Get:189 http://ftpmaster.internal/ubuntu zesty/universe amd64 libfindlib-ocaml amd64 1.6.2-1 [154 kB] Get:190 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libgdk-pixbuf2.0-dev amd64 2.36.5-3ubuntu0.2 [46.9 kB] Get:191 http://ftpmaster.internal/ubuntu zesty/main amd64 libharfbuzz-gobject0 amd64 1.4.2-1 [12.8 kB] Get:192 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libgraphite2-dev amd64 1.3.10-0ubuntu0.17.04.1 [14.7 kB] Get:193 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libicu-dev amd64 57.1-5ubuntu0.2 [16.5 MB] Get:194 http://ftpmaster.internal/ubuntu zesty/main amd64 libharfbuzz-dev amd64 1.4.2-1 [278 kB] Get:195 http://ftpmaster.internal/ubuntu zesty/main amd64 libxft-dev amd64 2.3.2-1 [45.7 kB] Get:196 http://ftpmaster.internal/ubuntu zesty/main amd64 libpango1.0-dev amd64 1.40.4-1 [283 kB] Get:197 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:198 http://ftpmaster.internal/ubuntu zesty/main amd64 libxinerama-dev amd64 2:1.1.3-1 [8404 B] Get:199 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:200 http://ftpmaster.internal/ubuntu zesty/main amd64 libxfixes-dev amd64 1:5.0.3-1 [11.0 kB] Get:201 http://ftpmaster.internal/ubuntu zesty/main amd64 libxi-dev amd64 2:1.7.9-1 [186 kB] Get:202 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-randr-dev all 1.5.0-1 [33.7 kB] Get:203 http://ftpmaster.internal/ubuntu zesty/main amd64 libxrandr-dev amd64 2:1.5.1-1 [24.0 kB] Get:204 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcursor-dev amd64 1:1.1.14-1 [29.8 kB] Get:205 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:206 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcomposite-dev amd64 1:0.4.4-2 [9136 B] Get:207 http://ftpmaster.internal/ubuntu zesty/main amd64 x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:208 http://ftpmaster.internal/ubuntu zesty/main amd64 libxdamage-dev amd64 1:1.1.4-2 [5028 B] Get:209 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libxml2-utils amd64 2.9.4+dfsg1-2.2ubuntu0.1 [35.2 kB] Get:210 http://ftpmaster.internal/ubuntu zesty-updates/main amd64 libgtk2.0-dev amd64 2.24.31-1ubuntu1.1 [2650 kB] Get:211 http://ftpmaster.internal/ubuntu zesty-security/main amd64 libxml2-dev amd64 2.9.4+dfsg1-2.2ubuntu0.1 [744 kB] Get:212 http://ftpmaster.internal/ubuntu zesty/main amd64 libglade2-dev amd64 1:2.6.4-2 [73.0 kB] Get:213 http://ftpmaster.internal/ubuntu zesty/universe amd64 libgtksourceview2.0-common all 2.10.5-2ubuntu3 [434 kB] Get:214 http://ftpmaster.internal/ubuntu zesty/universe amd64 libgtksourceview2.0-0 amd64 2.10.5-2ubuntu3 [147 kB] Get:215 http://ftpmaster.internal/ubuntu zesty/universe amd64 libgtksourceview2.0-dev amd64 2.10.5-2ubuntu3 [171 kB] Get:216 http://ftpmaster.internal/ubuntu zesty/main amd64 libgtkspell0 amd64 2.0.16-1.1ubuntu1 [11.1 kB] Get:217 http://ftpmaster.internal/ubuntu zesty/main amd64 libgtkspell-dev amd64 2.0.16-1.1ubuntu1 [24.3 kB] Get:218 http://ftpmaster.internal/ubuntu zesty/universe amd64 liblablgtk2-ocaml amd64 2.18.3+dfsg-2 [728 kB] Get:219 http://ftpmaster.internal/ubuntu zesty/main amd64 libtinfo-dev amd64 6.0+20160625-1ubuntu1 [78.9 kB] Get:220 http://ftpmaster.internal/ubuntu zesty/main amd64 libncurses5-dev amd64 6.0+20160625-1ubuntu1 [176 kB] Get:221 http://ftpmaster.internal/ubuntu zesty/universe amd64 ocaml-compiler-libs amd64 4.02.3-6ubuntu2 [9508 kB] Get:222 http://ftpmaster.internal/ubuntu zesty/universe amd64 ocaml-interp amd64 4.02.3-6ubuntu2 [271 kB] Get:223 http://ftpmaster.internal/ubuntu zesty/universe amd64 ocaml-nox amd64 4.02.3-6ubuntu2 [6302 kB] Get:224 http://ftpmaster.internal/ubuntu zesty/universe amd64 liblablgtk2-ocaml-dev amd64 2.18.3+dfsg-2 [1425 kB] Get:225 http://ftpmaster.internal/ubuntu zesty/universe amd64 liblablgtksourceview2-ocaml amd64 2.18.3+dfsg-2 [90.7 kB] Get:226 http://ftpmaster.internal/ubuntu zesty/universe amd64 liblablgtksourceview2-ocaml-dev amd64 2.18.3+dfsg-2 [111 kB] Get:227 http://ftpmaster.internal/ubuntu zesty/universe amd64 ocaml-findlib amd64 1.6.2-1 [294 kB] Get:228 http://ftpmaster.internal/ubuntu zesty/universe amd64 ocaml-native-compilers amd64 4.02.3-6ubuntu2 [2963 kB] Get:229 http://ftpmaster.internal/ubuntu zesty/main amd64 preview-latex-style all 11.90-1ubuntu1 [184 kB] Get:230 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-latex-base all 2016.20170123-5 [833 kB] Get:231 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-latex-recommended all 2016.20170123-5 [13.2 MB] Get:232 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-pictures all 2016.20170123-5 [3881 kB] Get:233 http://ftpmaster.internal/ubuntu zesty/universe amd64 texlive-latex-extra all 2016.20170123-5 [10.5 MB] Get:234 http://ftpmaster.internal/ubuntu zesty/universe amd64 camlp5 amd64 6.16-1 [2258 kB] Get:235 http://ftpmaster.internal/ubuntu zesty/universe amd64 dh-ocaml all 1.0.10 [80.2 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 162 MB in 6s (26.1 MB/s) Selecting previously unselected package libxau6:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13444 files and directories currently installed.) Preparing to unpack .../00-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 .../01-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 .../02-libxcb1_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb1:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../03-libx11-data_2%3a1.6.4-3_all.deb ... Unpacking libx11-data (2:1.6.4-3) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../04-libx11-6_2%3a1.6.4-3_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.4-3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../05-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 .../06-groff-base_1.22.3-9_amd64.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../07-libbsd0_0.8.3-1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../08-bsdmainutils_9.0.12ubuntu1_amd64.deb ... Unpacking bsdmainutils (9.0.12ubuntu1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.4.1-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.7.6.1-2_amd64.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../11-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package ucf. Preparing to unpack .../12-ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../13-fontconfig-config_2.11.94-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu2) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../14-libfreetype6_2.6.3-3ubuntu2.2_amd64.deb ... Unpacking libfreetype6:amd64 (2.6.3-3ubuntu2.2) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../15-libfontconfig1_2.11.94-0ubuntu2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.11.94-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../16-fontconfig_2.11.94-0ubuntu2_amd64.deb ... Unpacking fontconfig (2.11.94-0ubuntu2) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../17-libglib2.0-0_2.52.0-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.52.0-1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../18-libatk1.0-data_2.22.0-1_all.deb ... Unpacking libatk1.0-data (2.22.0-1) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../19-libatk1.0-0_2.22.0-1_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.22.0-1) ... Selecting previously unselected package libjpeg-turbo8:amd64. Preparing to unpack .../20-libjpeg-turbo8_1.5.1-0ubuntu1_amd64.deb ... Unpacking libjpeg-turbo8:amd64 (1.5.1-0ubuntu1) ... Selecting previously unselected package libjpeg8:amd64. Preparing to unpack .../21-libjpeg8_8c-2ubuntu8_amd64.deb ... Unpacking libjpeg8:amd64 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../22-libjbig0_2.1-3.1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../23-libtiff5_4.0.7-5_amd64.deb ... Unpacking libtiff5:amd64 (4.0.7-5) ... Selecting previously unselected package libicu57:amd64. Preparing to unpack .../24-libicu57_57.1-5ubuntu0.2_amd64.deb ... Unpacking libicu57:amd64 (57.1-5ubuntu0.2) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../25-libxml2_2.9.4+dfsg1-2.2ubuntu0.1_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-2.2ubuntu0.1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../26-shared-mime-info_1.8-1_amd64.deb ... Unpacking shared-mime-info (1.8-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../27-libgdk-pixbuf2.0-common_2.36.5-3ubuntu0.2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.5-3ubuntu0.2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../28-libgdk-pixbuf2.0-0_2.36.5-3ubuntu0.2_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.36.5-3ubuntu0.2) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../29-libgtk2.0-common_2.24.31-1ubuntu1.1_all.deb ... Unpacking libgtk2.0-common (2.24.31-1ubuntu1.1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../30-libpixman-1-0_0.34.0-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.34.0-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../31-libxcb-render0_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../32-libxcb-shm0_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../33-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../34-libcairo2_1.14.8-1_amd64.deb ... Unpacking libcairo2:amd64 (1.14.8-1) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../35-libavahi-common-data_0.6.32-1ubuntu1_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../36-libavahi-common3_0.6.32-1ubuntu1_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.32-1ubuntu1) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../37-libdbus-1-3_1.10.10-1ubuntu2_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.10.10-1ubuntu2) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../38-libavahi-client3_0.6.32-1ubuntu1_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.32-1ubuntu1) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../39-libcups2_2.2.2-1ubuntu1_amd64.deb ... Unpacking libcups2:amd64 (2.2.2-1ubuntu1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../40-libthai-data_0.1.26-1_all.deb ... Unpacking libthai-data (0.1.26-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../41-libdatrie1_0.2.10-4_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.10-4) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../42-libthai0_0.1.26-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.26-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../43-libpango-1.0-0_1.40.4-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.40.4-1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../44-libgraphite2-3_1.3.10-0ubuntu0.17.04.1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.10-0ubuntu0.17.04.1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../45-libharfbuzz0b_1.4.2-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (1.4.2-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../46-libpangoft2-1.0-0_1.40.4-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.40.4-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../47-libpangocairo-1.0-0_1.40.4-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.40.4-1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../48-libxcomposite1_1%3a0.4.4-2_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../49-libxfixes3_1%3a5.0.3-1_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../50-libxcursor1_1%3a1.1.14-1_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.1.14-1) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../51-libxdamage1_1%3a1.1.4-2_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.4-2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../52-libxi6_2%3a1.7.9-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.9-1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../53-libxinerama1_2%3a1.1.3-1_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.3-1) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../54-libxrandr2_2%3a1.5.1-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.1-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../55-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../56-gtk-update-icon-cache_3.22.11-0ubuntu3_amd64.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.22.11-0ubuntu3) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../57-libcroco3_0.6.11-2_amd64.deb ... Unpacking libcroco3:amd64 (0.6.11-2) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../58-librsvg2-2_2.40.16-2~svn1_amd64.deb ... Unpacking librsvg2-2:amd64 (2.40.16-2~svn1) ... Selecting previously unselected package librsvg2-common:amd64. Preparing to unpack .../59-librsvg2-common_2.40.16-2~svn1_amd64.deb ... Unpacking librsvg2-common:amd64 (2.40.16-2~svn1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../60-humanity-icon-theme_0.6.13_all.deb ... Unpacking humanity-icon-theme (0.6.13) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../61-ubuntu-mono_16.10+17.04.20170406-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+17.04.20170406-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../62-adwaita-icon-theme_3.24.0-0ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.24.0-0ubuntu1) ... Selecting previously unselected package libgtk2.0-0:amd64. Preparing to unpack .../63-libgtk2.0-0_2.24.31-1ubuntu1.1_amd64.deb ... Unpacking libgtk2.0-0:amd64 (2.24.31-1ubuntu1.1) ... Selecting previously unselected package libglade2-0:amd64. Preparing to unpack .../64-libglade2-0_1%3a2.6.4-2_amd64.deb ... Unpacking libglade2-0:amd64 (1:2.6.4-2) ... Selecting previously unselected package x11-common. Preparing to unpack .../65-x11-common_1%3a7.7+16ubuntu3_all.deb ... Unpacking x11-common (1:7.7+16ubuntu3) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../66-libice6_2%3a1.0.9-1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.9-1) ... Selecting previously unselected package liblzo2-2:amd64. Preparing to unpack .../67-liblzo2-2_2.08-1.2_amd64.deb ... Unpacking liblzo2-2:amd64 (2.08-1.2) ... Selecting previously unselected package libpcrecpp0v5:amd64. Preparing to unpack .../68-libpcrecpp0v5_2%3a8.39-3_amd64.deb ... Unpacking libpcrecpp0v5:amd64 (2:8.39-3) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../69-libsm6_2%3a1.2.2-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.2-1) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../70-libxft2_2.3.2-1_amd64.deb ... Unpacking libxft2:amd64 (2.3.2-1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../71-poppler-data_0.4.7-8_all.deb ... Unpacking poppler-data (0.4.7-8) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../72-libpython2.7-minimal_2.7.13-2_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.13-2) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../73-python2.7-minimal_2.7.13-2_amd64.deb ... Unpacking python2.7-minimal (2.7.13-2) ... Selecting previously unselected package python-minimal. Preparing to unpack .../74-python-minimal_2.7.13-2_amd64.deb ... Unpacking python-minimal (2.7.13-2) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../75-libpython2.7-stdlib_2.7.13-2_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.13-2) ... Selecting previously unselected package python2.7. Preparing to unpack .../76-python2.7_2.7.13-2_amd64.deb ... Unpacking python2.7 (2.7.13-2) ... Selecting previously unselected package libpython-stdlib:amd64. Preparing to unpack .../77-libpython-stdlib_2.7.13-2_amd64.deb ... Unpacking libpython-stdlib:amd64 (2.7.13-2) ... Setting up libpython2.7-minimal:amd64 (2.7.13-2) ... Setting up python2.7-minimal (2.7.13-2) ... Linking and byte-compiling packages for runtime python2.7... Setting up python-minimal (2.7.13-2) ... Selecting previously unselected package python. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 29033 files and directories currently installed.) Preparing to unpack .../000-python_2.7.13-2_amd64.deb ... Unpacking python (2.7.13-2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../001-libmagic-mgc_1%3a5.29-3ubuntu0.1_amd64.deb ... Unpacking libmagic-mgc (1:5.29-3ubuntu0.1) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../002-libmagic1_1%3a5.29-3ubuntu0.1_amd64.deb ... Unpacking libmagic1:amd64 (1:5.29-3ubuntu0.1) ... Selecting previously unselected package file. Preparing to unpack .../003-file_1%3a5.29-3ubuntu0.1_amd64.deb ... Unpacking file (1:5.29-3ubuntu0.1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../004-libelf1_0.166-2ubuntu1_amd64.deb ... Unpacking libelf1:amd64 (0.166-2ubuntu1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../005-libtext-iconv-perl_1.7-5build5_amd64.deb ... Unpacking libtext-iconv-perl (1.7-5build5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../006-gettext-base_0.19.8.1-1ubuntu2_amd64.deb ... Unpacking gettext-base (0.19.8.1-1ubuntu2) ... Selecting previously unselected package libgirepository-1.0-1:amd64. Preparing to unpack .../007-libgirepository-1.0-1_1.52.0-0ubuntu1_amd64.deb ... Unpacking libgirepository-1.0-1:amd64 (1.52.0-0ubuntu1) ... Selecting previously unselected package gir1.2-glib-2.0:amd64. Preparing to unpack .../008-gir1.2-glib-2.0_1.52.0-0ubuntu1_amd64.deb ... Unpacking gir1.2-glib-2.0:amd64 (1.52.0-0ubuntu1) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../009-libglib2.0-data_2.52.0-1_all.deb ... Unpacking libglib2.0-data (2.52.0-1) ... Selecting previously unselected package libaspell15:amd64. Preparing to unpack .../010-libaspell15_0.60.7~20110707-3build1_amd64.deb ... Unpacking libaspell15:amd64 (0.60.7~20110707-3build1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../011-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../012-dictionaries-common_1.27.2_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.27.2) ... Selecting previously unselected package aspell. Preparing to unpack .../013-aspell_0.60.7~20110707-3build1_amd64.deb ... Unpacking aspell (0.60.7~20110707-3build1) ... Selecting previously unselected package aspell-en. Preparing to unpack .../014-aspell-en_2016.11.20-0-0.1_all.deb ... Unpacking aspell-en (2016.11.20-0-0.1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../015-libsigsegv2_2.10-5_amd64.deb ... Unpacking libsigsegv2:amd64 (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../016-m4_1.4.18-1_amd64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../017-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../018-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../019-automake_1%3a1.15-5ubuntu1_all.deb ... Unpacking automake (1:1.15-5ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../020-autopoint_0.19.8.1-1ubuntu2_all.deb ... Unpacking autopoint (0.19.8.1-1ubuntu2) ... Selecting previously unselected package libtool. Preparing to unpack .../021-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../022-dh-autoreconf_13_all.deb ... Unpacking dh-autoreconf (13) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../023-libarchive-zip-perl_1.59-1_all.deb ... Unpacking libarchive-zip-perl (1.59-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../024-libfile-stripnondeterminism-perl_0.032-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.032-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../025-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../026-dh-strip-nondeterminism_0.032-1_all.deb ... Unpacking dh-strip-nondeterminism (0.032-1) ... Selecting previously unselected package gettext. Preparing to unpack .../027-gettext_0.19.8.1-1ubuntu2_amd64.deb ... Unpacking gettext (0.19.8.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../028-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 .../029-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../030-debhelper_10.2.2ubuntu1_all.deb ... Unpacking debhelper (10.2.2ubuntu1) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../031-fonts-lmodern_2.004.5-3_all.deb ... Unpacking fonts-lmodern (2.004.5-3) ... Selecting previously unselected package libcupsimage2:amd64. Preparing to unpack .../032-libcupsimage2_2.2.2-1ubuntu1_amd64.deb ... Unpacking libcupsimage2:amd64 (2.2.2-1ubuntu1) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../033-libijs-0.35_0.35-12_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-12) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../034-libjbig2dec0_0.13-4ubuntu0.1_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.13-4ubuntu0.1) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../035-liblcms2-2_2.7-1ubuntu1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.7-1ubuntu1) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../036-libpaper1_1.1.24+nmu4ubuntu1_amd64.deb ... Unpacking libpaper1:amd64 (1.1.24+nmu4ubuntu1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../037-libgs9-common_9.19~dfsg+1-0ubuntu7.6_all.deb ... Unpacking libgs9-common (9.19~dfsg+1-0ubuntu7.6) ... Selecting previously unselected package libgs9:amd64. Preparing to unpack .../038-libgs9_9.19~dfsg+1-0ubuntu7.6_amd64.deb ... Unpacking libgs9:amd64 (9.19~dfsg+1-0ubuntu7.6) ... Selecting previously unselected package ghostscript. Preparing to unpack .../039-ghostscript_9.19~dfsg+1-0ubuntu7.6_amd64.deb ... Unpacking ghostscript (9.19~dfsg+1-0ubuntu7.6) ... Selecting previously unselected package gir1.2-atk-1.0:amd64. Preparing to unpack .../040-gir1.2-atk-1.0_2.22.0-1_amd64.deb ... Unpacking gir1.2-atk-1.0:amd64 (2.22.0-1) ... Selecting previously unselected package gir1.2-freedesktop:amd64. Preparing to unpack .../041-gir1.2-freedesktop_1.52.0-0ubuntu1_amd64.deb ... Unpacking gir1.2-freedesktop:amd64 (1.52.0-0ubuntu1) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0:amd64. Preparing to unpack .../042-gir1.2-gdkpixbuf-2.0_2.36.5-3ubuntu0.2_amd64.deb ... Unpacking gir1.2-gdkpixbuf-2.0:amd64 (2.36.5-3ubuntu0.2) ... Selecting previously unselected package libpangoxft-1.0-0:amd64. Preparing to unpack .../043-libpangoxft-1.0-0_1.40.4-1_amd64.deb ... Unpacking libpangoxft-1.0-0:amd64 (1.40.4-1) ... Selecting previously unselected package gir1.2-pango-1.0:amd64. Preparing to unpack .../044-gir1.2-pango-1.0_1.40.4-1_amd64.deb ... Unpacking gir1.2-pango-1.0:amd64 (1.40.4-1) ... Selecting previously unselected package gir1.2-gtk-2.0. Preparing to unpack .../045-gir1.2-gtk-2.0_2.24.31-1ubuntu1.1_amd64.deb ... Unpacking gir1.2-gtk-2.0 (2.24.31-1ubuntu1.1) ... Selecting previously unselected package libnetpbm10. Preparing to unpack .../046-libnetpbm10_2%3a10.0-15.3build1_amd64.deb ... Unpacking libnetpbm10 (2:10.0-15.3build1) ... Selecting previously unselected package netpbm. Preparing to unpack .../047-netpbm_2%3a10.0-15.3build1_amd64.deb ... Unpacking netpbm (2:10.0-15.3build1) ... Selecting previously unselected package tex-common. Preparing to unpack .../048-tex-common_6.06_all.deb ... Unpacking tex-common (6.06) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../049-libpaper-utils_1.1.24+nmu4ubuntu1_amd64.deb ... Unpacking libpaper-utils (1.1.24+nmu4ubuntu1) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../050-libkpathsea6_2016.20160513.41080.dfsg-1_amd64.deb ... Unpacking libkpathsea6:amd64 (2016.20160513.41080.dfsg-1) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../051-libptexenc1_2016.20160513.41080.dfsg-1_amd64.deb ... Unpacking libptexenc1:amd64 (2016.20160513.41080.dfsg-1) ... Selecting previously unselected package libsynctex1:amd64. Preparing to unpack .../052-libsynctex1_2016.20160513.41080.dfsg-1_amd64.deb ... Unpacking libsynctex1:amd64 (2016.20160513.41080.dfsg-1) ... Selecting previously unselected package libtexlua52:amd64. Preparing to unpack .../053-libtexlua52_2016.20160513.41080.dfsg-1_amd64.deb ... Unpacking libtexlua52:amd64 (2016.20160513.41080.dfsg-1) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../054-libtexluajit2_2016.20160513.41080.dfsg-1_amd64.deb ... Unpacking libtexluajit2:amd64 (2016.20160513.41080.dfsg-1) ... Selecting previously unselected package t1utils. Preparing to unpack .../055-t1utils_1.39-2_amd64.deb ... Unpacking t1utils (1.39-2) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../056-libharfbuzz-icu0_1.4.2-1_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (1.4.2-1) ... Selecting previously unselected package libnspr4:amd64. Preparing to unpack .../057-libnspr4_2%3a4.13.1-0ubuntu0.17.04.1_amd64.deb ... Unpacking libnspr4:amd64 (2:4.13.1-0ubuntu0.17.04.1) ... Selecting previously unselected package libnss3:amd64. Preparing to unpack .../058-libnss3_2%3a3.28.4-0ubuntu0.17.04.3_amd64.deb ... Unpacking libnss3:amd64 (2:3.28.4-0ubuntu0.17.04.3) ... Selecting previously unselected package libpoppler64:amd64. Preparing to unpack .../059-libpoppler64_0.48.0-2ubuntu2.4_amd64.deb ... Unpacking libpoppler64:amd64 (0.48.0-2ubuntu2.4) ... Selecting previously unselected package libpotrace0. Preparing to unpack .../060-libpotrace0_1.13-3_amd64.deb ... Unpacking libpotrace0 (1.13-3) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../061-libxt6_1%3a1.1.5-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../062-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 .../063-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../064-libxaw7_2%3a1.0.13-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.13-1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../065-libzzip-0-13_0.13.62-3ubuntu0.17.04.1_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.62-3ubuntu0.17.04.1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../066-texlive-binaries_2016.20160513.41080.dfsg-1_amd64.deb ... Unpacking texlive-binaries (2016.20160513.41080.dfsg-1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../067-xdg-utils_1.1.1-1ubuntu2_all.deb ... Unpacking xdg-utils (1.1.1-1ubuntu2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../068-texlive-base_2016.20170123-5_all.deb ... Unpacking texlive-base (2016.20170123-5) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../069-ocaml-base-nox_4.02.3-6ubuntu2_amd64.deb ... Unpacking ocaml-base-nox (4.02.3-6ubuntu2) ... Selecting previously unselected package hevea. Preparing to unpack .../070-hevea_2.29-1_all.deb ... Unpacking hevea (2.29-1) ... Selecting previously unselected package icu-devtools. Preparing to unpack .../071-icu-devtools_57.1-5ubuntu0.2_amd64.deb ... Unpacking icu-devtools (57.1-5ubuntu0.2) ... Selecting previously unselected package pkg-config. Preparing to unpack .../072-pkg-config_0.29.1-0ubuntu1_amd64.deb ... Unpacking pkg-config (0.29.1-0ubuntu1) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../073-libglib2.0-bin_2.52.0-1_amd64.deb ... Unpacking libglib2.0-bin (2.52.0-1) ... Selecting previously unselected package libglib2.0-dev-bin. Preparing to unpack .../074-libglib2.0-dev-bin_2.52.0-1_amd64.deb ... Unpacking libglib2.0-dev-bin (2.52.0-1) ... Selecting previously unselected package libpcre16-3:amd64. Preparing to unpack .../075-libpcre16-3_2%3a8.39-3_amd64.deb ... Unpacking libpcre16-3:amd64 (2:8.39-3) ... Selecting previously unselected package libpcre32-3:amd64. Preparing to unpack .../076-libpcre32-3_2%3a8.39-3_amd64.deb ... Unpacking libpcre32-3:amd64 (2:8.39-3) ... Selecting previously unselected package libpcre3-dev:amd64. Preparing to unpack .../077-libpcre3-dev_2%3a8.39-3_amd64.deb ... Unpacking libpcre3-dev:amd64 (2:8.39-3) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../078-zlib1g-dev_1%3a1.2.11.dfsg-0ubuntu1_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-0ubuntu1) ... Selecting previously unselected package libglib2.0-dev:amd64. Preparing to unpack .../079-libglib2.0-dev_2.52.0-1_amd64.deb ... Unpacking libglib2.0-dev:amd64 (2.52.0-1) ... Selecting previously unselected package libatk1.0-dev:amd64. Preparing to unpack .../080-libatk1.0-dev_2.22.0-1_amd64.deb ... Unpacking libatk1.0-dev:amd64 (2.22.0-1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../081-libcairo-gobject2_1.14.8-1_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.14.8-1) ... Selecting previously unselected package libcairo-script-interpreter2:amd64. Preparing to unpack .../082-libcairo-script-interpreter2_1.14.8-1_amd64.deb ... Unpacking libcairo-script-interpreter2:amd64 (1.14.8-1) ... Selecting previously unselected package libexpat1-dev:amd64. Preparing to unpack .../083-libexpat1-dev_2.2.0-2ubuntu0.1_amd64.deb ... Unpacking libexpat1-dev:amd64 (2.2.0-2ubuntu0.1) ... Selecting previously unselected package libpng-dev:amd64. Preparing to unpack .../084-libpng-dev_1.6.28-1_amd64.deb ... Unpacking libpng-dev:amd64 (1.6.28-1) ... Selecting previously unselected package libfreetype6-dev:amd64. Preparing to unpack .../085-libfreetype6-dev_2.6.3-3ubuntu2.2_amd64.deb ... Unpacking libfreetype6-dev:amd64 (2.6.3-3ubuntu2.2) ... Selecting previously unselected package libfontconfig1-dev:amd64. Preparing to unpack .../086-libfontconfig1-dev_2.11.94-0ubuntu2_amd64.deb ... Unpacking libfontconfig1-dev:amd64 (2.11.94-0ubuntu2) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../087-xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../088-x11proto-core-dev_7.0.31-1_all.deb ... Unpacking x11proto-core-dev (7.0.31-1) ... Selecting previously unselected package libxau-dev:amd64. Preparing to unpack .../089-libxau-dev_1%3a1.0.8-1_amd64.deb ... Unpacking libxau-dev:amd64 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp-dev:amd64. Preparing to unpack .../090-libxdmcp-dev_1%3a1.1.2-1.1_amd64.deb ... Unpacking libxdmcp-dev:amd64 (1:1.1.2-1.1) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../091-x11proto-input-dev_2.3.2-1_all.deb ... Unpacking x11proto-input-dev (2.3.2-1) ... Selecting previously unselected package x11proto-kb-dev. Preparing to unpack .../092-x11proto-kb-dev_1.0.7-1_all.deb ... Unpacking x11proto-kb-dev (1.0.7-1) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../093-xtrans-dev_1.3.5-1_all.deb ... Unpacking xtrans-dev (1.3.5-1) ... Selecting previously unselected package libpthread-stubs0-dev:amd64. Preparing to unpack .../094-libpthread-stubs0-dev_0.3-4_amd64.deb ... Unpacking libpthread-stubs0-dev:amd64 (0.3-4) ... Selecting previously unselected package libxcb1-dev:amd64. Preparing to unpack .../095-libxcb1-dev_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb1-dev:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-dev:amd64. Preparing to unpack .../096-libx11-dev_2%3a1.6.4-3_amd64.deb ... Unpacking libx11-dev:amd64 (2:1.6.4-3) ... Selecting previously unselected package x11proto-render-dev. Preparing to unpack .../097-x11proto-render-dev_2%3a0.11.1-2_all.deb ... Unpacking x11proto-render-dev (2:0.11.1-2) ... Selecting previously unselected package libxrender-dev:amd64. Preparing to unpack .../098-libxrender-dev_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender-dev:amd64 (1:0.9.10-1) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../099-x11proto-xext-dev_7.3.0-1_all.deb ... Unpacking x11proto-xext-dev (7.3.0-1) ... Selecting previously unselected package libxext-dev:amd64. Preparing to unpack .../100-libxext-dev_2%3a1.3.3-1_amd64.deb ... Unpacking libxext-dev:amd64 (2:1.3.3-1) ... Selecting previously unselected package libice-dev:amd64. Preparing to unpack .../101-libice-dev_2%3a1.0.9-1_amd64.deb ... Unpacking libice-dev:amd64 (2:1.0.9-1) ... Selecting previously unselected package libsm-dev:amd64. Preparing to unpack .../102-libsm-dev_2%3a1.2.2-1_amd64.deb ... Unpacking libsm-dev:amd64 (2:1.2.2-1) ... Selecting previously unselected package libpixman-1-dev. Preparing to unpack .../103-libpixman-1-dev_0.34.0-1_amd64.deb ... Unpacking libpixman-1-dev (0.34.0-1) ... Selecting previously unselected package libxcb-render0-dev:amd64. Preparing to unpack .../104-libxcb-render0-dev_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-render0-dev:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0-dev:amd64. Preparing to unpack .../105-libxcb-shm0-dev_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-shm0-dev:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libcairo2-dev. Preparing to unpack .../106-libcairo2-dev_1.14.8-1_amd64.deb ... Unpacking libcairo2-dev (1.14.8-1) ... Selecting previously unselected package libhunspell-1.4-0:amd64. Preparing to unpack .../107-libhunspell-1.4-0_1.4.1-2build1_amd64.deb ... Unpacking libhunspell-1.4-0:amd64 (1.4.1-2build1) ... Selecting previously unselected package libenchant1c2a:amd64. Preparing to unpack .../108-libenchant1c2a_1.6.0-11build1_amd64.deb ... Unpacking libenchant1c2a:amd64 (1.6.0-11build1) ... Selecting previously unselected package libenchant-dev. Preparing to unpack .../109-libenchant-dev_1.6.0-11build1_amd64.deb ... Unpacking libenchant-dev (1.6.0-11build1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../110-libfindlib-ocaml_1.6.2-1_amd64.deb ... Unpacking libfindlib-ocaml (1.6.2-1) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Preparing to unpack .../111-libgdk-pixbuf2.0-dev_2.36.5-3ubuntu0.2_amd64.deb ... Unpacking libgdk-pixbuf2.0-dev (2.36.5-3ubuntu0.2) ... Selecting previously unselected package libharfbuzz-gobject0:amd64. Preparing to unpack .../112-libharfbuzz-gobject0_1.4.2-1_amd64.deb ... Unpacking libharfbuzz-gobject0:amd64 (1.4.2-1) ... Selecting previously unselected package libgraphite2-dev. Preparing to unpack .../113-libgraphite2-dev_1.3.10-0ubuntu0.17.04.1_amd64.deb ... Unpacking libgraphite2-dev (1.3.10-0ubuntu0.17.04.1) ... Selecting previously unselected package libicu-dev. Preparing to unpack .../114-libicu-dev_57.1-5ubuntu0.2_amd64.deb ... Unpacking libicu-dev (57.1-5ubuntu0.2) ... Selecting previously unselected package libharfbuzz-dev:amd64. Preparing to unpack .../115-libharfbuzz-dev_1.4.2-1_amd64.deb ... Unpacking libharfbuzz-dev:amd64 (1.4.2-1) ... Selecting previously unselected package libxft-dev. Preparing to unpack .../116-libxft-dev_2.3.2-1_amd64.deb ... Unpacking libxft-dev (2.3.2-1) ... Selecting previously unselected package libpango1.0-dev. Preparing to unpack .../117-libpango1.0-dev_1.40.4-1_amd64.deb ... Unpacking libpango1.0-dev (1.40.4-1) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../118-x11proto-xinerama-dev_1.2.1-2_all.deb ... Unpacking x11proto-xinerama-dev (1.2.1-2) ... Selecting previously unselected package libxinerama-dev:amd64. Preparing to unpack .../119-libxinerama-dev_2%3a1.1.3-1_amd64.deb ... Unpacking libxinerama-dev:amd64 (2:1.1.3-1) ... Selecting previously unselected package x11proto-fixes-dev. Preparing to unpack .../120-x11proto-fixes-dev_1%3a5.0-2ubuntu2_all.deb ... Unpacking x11proto-fixes-dev (1:5.0-2ubuntu2) ... Selecting previously unselected package libxfixes-dev:amd64. Preparing to unpack .../121-libxfixes-dev_1%3a5.0.3-1_amd64.deb ... Unpacking libxfixes-dev:amd64 (1:5.0.3-1) ... Selecting previously unselected package libxi-dev:amd64. Preparing to unpack .../122-libxi-dev_2%3a1.7.9-1_amd64.deb ... Unpacking libxi-dev:amd64 (2:1.7.9-1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../123-x11proto-randr-dev_1.5.0-1_all.deb ... Unpacking x11proto-randr-dev (1.5.0-1) ... Selecting previously unselected package libxrandr-dev:amd64. Preparing to unpack .../124-libxrandr-dev_2%3a1.5.1-1_amd64.deb ... Unpacking libxrandr-dev:amd64 (2:1.5.1-1) ... Selecting previously unselected package libxcursor-dev:amd64. Preparing to unpack .../125-libxcursor-dev_1%3a1.1.14-1_amd64.deb ... Unpacking libxcursor-dev:amd64 (1:1.1.14-1) ... Selecting previously unselected package x11proto-composite-dev. Preparing to unpack .../126-x11proto-composite-dev_1%3a0.4.2-2_all.deb ... Unpacking x11proto-composite-dev (1:0.4.2-2) ... Selecting previously unselected package libxcomposite-dev:amd64. Preparing to unpack .../127-libxcomposite-dev_1%3a0.4.4-2_amd64.deb ... Unpacking libxcomposite-dev:amd64 (1:0.4.4-2) ... Selecting previously unselected package x11proto-damage-dev. Preparing to unpack .../128-x11proto-damage-dev_1%3a1.2.1-2_all.deb ... Unpacking x11proto-damage-dev (1:1.2.1-2) ... Selecting previously unselected package libxdamage-dev:amd64. Preparing to unpack .../129-libxdamage-dev_1%3a1.1.4-2_amd64.deb ... Unpacking libxdamage-dev:amd64 (1:1.1.4-2) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../130-libxml2-utils_2.9.4+dfsg1-2.2ubuntu0.1_amd64.deb ... Unpacking libxml2-utils (2.9.4+dfsg1-2.2ubuntu0.1) ... Selecting previously unselected package libgtk2.0-dev. Preparing to unpack .../131-libgtk2.0-dev_2.24.31-1ubuntu1.1_amd64.deb ... Unpacking libgtk2.0-dev (2.24.31-1ubuntu1.1) ... Selecting previously unselected package libxml2-dev:amd64. Preparing to unpack .../132-libxml2-dev_2.9.4+dfsg1-2.2ubuntu0.1_amd64.deb ... Unpacking libxml2-dev:amd64 (2.9.4+dfsg1-2.2ubuntu0.1) ... Selecting previously unselected package libglade2-dev:amd64. Preparing to unpack .../133-libglade2-dev_1%3a2.6.4-2_amd64.deb ... Unpacking libglade2-dev:amd64 (1:2.6.4-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../134-libgtksourceview2.0-common_2.10.5-2ubuntu3_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-2ubuntu3) ... Selecting previously unselected package libgtksourceview2.0-0. Preparing to unpack .../135-libgtksourceview2.0-0_2.10.5-2ubuntu3_amd64.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-2ubuntu3) ... Selecting previously unselected package libgtksourceview2.0-dev. Preparing to unpack .../136-libgtksourceview2.0-dev_2.10.5-2ubuntu3_amd64.deb ... Unpacking libgtksourceview2.0-dev (2.10.5-2ubuntu3) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../137-libgtkspell0_2.0.16-1.1ubuntu1_amd64.deb ... Unpacking libgtkspell0 (2.0.16-1.1ubuntu1) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../138-libgtkspell-dev_2.0.16-1.1ubuntu1_amd64.deb ... Unpacking libgtkspell-dev (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../139-liblablgtk2-ocaml_2.18.3+dfsg-2_amd64.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../140-libtinfo-dev_6.0+20160625-1ubuntu1_amd64.deb ... Unpacking libtinfo-dev:amd64 (6.0+20160625-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../141-libncurses5-dev_6.0+20160625-1ubuntu1_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.0+20160625-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../142-ocaml-compiler-libs_4.02.3-6ubuntu2_amd64.deb ... Unpacking ocaml-compiler-libs (4.02.3-6ubuntu2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../143-ocaml-interp_4.02.3-6ubuntu2_amd64.deb ... Unpacking ocaml-interp (4.02.3-6ubuntu2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../144-ocaml-nox_4.02.3-6ubuntu2_amd64.deb ... Unpacking ocaml-nox (4.02.3-6ubuntu2) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Preparing to unpack .../145-liblablgtk2-ocaml-dev_2.18.3+dfsg-2_amd64.deb ... Unpacking liblablgtk2-ocaml-dev (2.18.3+dfsg-2) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../146-liblablgtksourceview2-ocaml_2.18.3+dfsg-2_amd64.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Preparing to unpack .../147-liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2_amd64.deb ... Unpacking liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../148-ocaml-findlib_1.6.2-1_amd64.deb ... Unpacking ocaml-findlib (1.6.2-1) ... Selecting previously unselected package ocaml-native-compilers. Preparing to unpack .../149-ocaml-native-compilers_4.02.3-6ubuntu2_amd64.deb ... Unpacking ocaml-native-compilers (4.02.3-6ubuntu2) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../150-preview-latex-style_11.90-1ubuntu1_all.deb ... Unpacking preview-latex-style (11.90-1ubuntu1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../151-texlive-latex-base_2016.20170123-5_all.deb ... Unpacking texlive-latex-base (2016.20170123-5) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../152-texlive-latex-recommended_2016.20170123-5_all.deb ... Unpacking texlive-latex-recommended (2016.20170123-5) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../153-texlive-pictures_2016.20170123-5_all.deb ... Unpacking texlive-pictures (2016.20170123-5) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../154-texlive-latex-extra_2016.20170123-5_all.deb ... Unpacking texlive-latex-extra (2016.20170123-5) ... Selecting previously unselected package camlp5. Preparing to unpack .../155-camlp5_6.16-1_amd64.deb ... Unpacking camlp5 (6.16-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../156-dh-ocaml_1.0.10_all.deb ... Unpacking dh-ocaml (1.0.10) ... Setting up libgs9-common (9.19~dfsg+1-0ubuntu7.6) ... Setting up libkpathsea6:amd64 (2016.20160513.41080.dfsg-1) ... Setting up libtexlua52:amd64 (2016.20160513.41080.dfsg-1) ... Setting up libgtk2.0-common (2.24.31-1ubuntu1.1) ... Setting up libsynctex1:amd64 (2016.20160513.41080.dfsg-1) ... Setting up libptexenc1:amd64 (2016.20160513.41080.dfsg-1) ... Setting up libarchive-zip-perl (1.59-1) ... Processing triggers for mime-support (3.60ubuntu1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up liblcms2-2:amd64 (2.7-1ubuntu1) ... Setting up libjbig0:amd64 (2.1-3.1) ... Setting up libsigsegv2:amd64 (2.10-5) ... Setting up libpthread-stubs0-dev:amd64 (0.3-4) ... Setting up libaspell15:amd64 (0.60.7~20110707-3build1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up poppler-data (0.4.7-8) ... Setting up libelf1:amd64 (0.166-2ubuntu1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:amd64 (2.52.0-1) ... No schema files found: doing nothing. Setting up libnetpbm10 (2:10.0-15.3build1) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up emacsen-common (2.0.8) ... Setting up ocaml-base-nox (4.02.3-6ubuntu2) ... Setting up libtinfo-dev:amd64 (6.0+20160625-1ubuntu1) ... Setting up dh-ocaml (1.0.10) ... Setting up libgdk-pixbuf2.0-common (2.36.5-3ubuntu0.2) ... Setting up libdatrie1:amd64 (0.2.10-4) ... Setting up gettext-base (0.19.8.1-1ubuntu2) ... Setting up libjpeg-turbo8:amd64 (1.5.1-0ubuntu1) ... Setting up libpipeline1:amd64 (1.4.1-2) ... Setting up x11proto-kb-dev (1.0.7-1) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:amd64 (57.1-5ubuntu0.2) ... Setting up libbsd0:amd64 (0.8.3-1) ... Setting up libnspr4:amd64 (2:4.13.1-0ubuntu0.17.04.1) ... Setting up ucf (3.0036) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Setting up libgirepository-1.0-1:amd64 (1.52.0-0ubuntu1) ... Setting up libxml2:amd64 (2.9.4+dfsg1-2.2ubuntu0.1) ... Setting up libfreetype6:amd64 (2.6.3-3ubuntu2.2) ... Setting up libmagic-mgc (1:5.29-3ubuntu0.1) ... Setting up libmagic1:amd64 (1:5.29-3ubuntu0.1) ... Setting up libgraphite2-3:amd64 (1.3.10-0ubuntu0.17.04.1) ... Setting up libcroco3:amd64 (0.6.11-2) ... Setting up libncurses5-dev:amd64 (6.0+20160625-1ubuntu1) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up pkg-config (0.29.1-0ubuntu1) ... Setting up libjbig2dec0:amd64 (0.13-4ubuntu0.1) ... Setting up libpixman-1-0:amd64 (0.34.0-1) ... Setting up xtrans-dev (1.3.5-1) ... Setting up gir1.2-glib-2.0:amd64 (1.52.0-0ubuntu1) ... Setting up libglib2.0-data (2.52.0-1) ... Setting up libgtksourceview2.0-common (2.10.5-2ubuntu3) ... Processing triggers for libc-bin (2.24-9ubuntu2.2) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up autotools-dev (20161112.1) ... Setting up libpixman-1-dev (0.34.0-1) ... Setting up t1utils (1.39-2) ... Setting up libatk1.0-0:amd64 (2.22.0-1) ... Setting up libtext-iconv-perl (1.7-5build5) ... Setting up x11proto-randr-dev (1.5.0-1) ... Processing triggers for systemd (232-21ubuntu7.1) ... Setting up libijs-0.35:amd64 (0.35-12) ... Setting up libexpat1-dev:amd64 (2.2.0-2ubuntu0.1) ... Setting up libpotrace0 (1.13-3) ... Setting up shared-mime-info (1.8-1) ... Setting up libpcrecpp0v5:amd64 (2:8.39-3) ... Setting up libpcre32-3:amd64 (2:8.39-3) ... Setting up icu-devtools (57.1-5ubuntu0.2) ... Setting up libpcre16-3:amd64 (2:8.39-3) ... Setting up libthai-data (0.1.26-1) ... Setting up libxdmcp6:amd64 (1:1.1.2-1.1) ... Setting up bsdmainutils (9.0.12ubuntu1) ... 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 libzzip-0-13:amd64 (0.13.62-3ubuntu0.17.04.1) ... Setting up x11-common (1:7.7+16ubuntu3) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up xdg-utils (1.1.1-1ubuntu2) ... Setting up hicolor-icon-theme (0.15-1) ... Setting up libglib2.0-bin (2.52.0-1) ... Setting up libgraphite2-dev (1.3.10-0ubuntu0.17.04.1) ... Setting up libfindlib-ocaml (1.6.2-1) ... Setting up libtexluajit2:amd64 (2016.20160513.41080.dfsg-1) ... Setting up libhunspell-1.4-0:amd64 (1.4.1-2build1) ... Setting up ocaml-findlib (1.6.2-1) ... Setting up libx11-data (2:1.6.4-3) ... Setting up libpython2.7-stdlib:amd64 (2.7.13-2) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-1ubuntu2) ... Setting up libdbus-1-3:amd64 (1.10.10-1ubuntu2) ... Setting up liblzo2-2:amd64 (2.08-1.2) ... Setting up fonts-lmodern (2.004.5-3) ... Setting up libavahi-common-data:amd64 (0.6.32-1ubuntu1) ... Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-0ubuntu1) ... Setting up libfile-stripnondeterminism-perl (0.032-1) ... Setting up libjpeg8:amd64 (8c-2ubuntu8) ... Setting up libpaper1:amd64 (1.1.24+nmu4ubuntu1) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Creating config file /etc/papersize with new version Setting up libpaper-utils (1.1.24+nmu4ubuntu1) ... Setting up libpcre3-dev:amd64 (2:8.39-3) ... Setting up gir1.2-atk-1.0:amd64 (2.22.0-1) ... Setting up fontconfig-config (2.11.94-0ubuntu2) ... Setting up tex-common (6.06) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory update-language: texlive-base not installed and configured, doing nothing! Setting up x11proto-core-dev (7.0.31-1) ... Setting up libglib2.0-dev-bin (2.52.0-1) ... Setting up gettext (0.19.8.1-1ubuntu2) ... Setting up dictionaries-common (1.27.2) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Setting up gir1.2-freedesktop:amd64 (1.52.0-0ubuntu1) ... Setting up libxml2-utils (2.9.4+dfsg1-2.2ubuntu0.1) ... Setting up python2.7 (2.7.13-2) ... Setting up libnss3:amd64 (2:3.28.4-0ubuntu0.17.04.3) ... Setting up libharfbuzz0b:amd64 (1.4.2-1) ... Setting up libtiff5:amd64 (4.0.7-5) ... Setting up libxau-dev:amd64 (1:1.0.8-1) ... Setting up preview-latex-style (11.90-1ubuntu1) ... Setting up autoconf (2.69-10) ... Setting up libthai0:amd64 (0.1.26-1) ... Setting up libicu-dev (57.1-5ubuntu0.2) ... Setting up file (1:5.29-3ubuntu0.1) ... Setting up libglib2.0-dev:amd64 (2.52.0-1) ... Setting up libxml2-dev:amd64 (2.9.4+dfsg1-2.2ubuntu0.1) ... Setting up libpython-stdlib:amd64 (2.7.13-2) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libxdmcp-dev:amd64 (1:1.1.2-1.1) ... Setting up automake (1:1.15-5ubuntu1) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up netpbm (2:10.0-15.3build1) ... Setting up libice6:amd64 (2:1.0.9-1) ... Setting up man-db (2.7.6.1-2) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Not building database; man-db/auto-update is not 'true'. Setting up libavahi-common3:amd64 (0.6.32-1ubuntu1) ... Setting up libpng-dev:amd64 (1.6.28-1) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up aspell (0.60.7~20110707-3build1) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Setting up libxcb1:amd64 (1.11.1-1ubuntu1) ... Setting up x11proto-input-dev (2.3.2-1) ... Setting up libharfbuzz-gobject0:amd64 (1.4.2-1) ... Setting up python (2.7.13-2) ... Setting up libtool (2.4.6-2) ... Setting up libfontconfig1:amd64 (2.11.94-0ubuntu2) ... Setting up libsm6:amd64 (2:1.2.2-1) ... Setting up libxcb-render0:amd64 (1.11.1-1ubuntu1) ... Setting up libharfbuzz-icu0:amd64 (1.4.2-1) ... Setting up po-debconf (1.0.20) ... Setting up libpoppler64:amd64 (0.48.0-2ubuntu2.4) ... Setting up libx11-6:amd64 (2:1.6.4-3) ... Setting up libatk1.0-dev:amd64 (2.22.0-1) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libfreetype6-dev:amd64 (2.6.3-3ubuntu2.2) ... Setting up libice-dev:amd64 (2:1.0.9-1) ... Setting up aspell-en (2016.11.20-0-0.1) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Setting up libxcomposite1:amd64 (1:0.4.4-2) ... Setting up libxcb-shm0:amd64 (1.11.1-1ubuntu1) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxt6:amd64 (1:1.1.5-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libxcb1-dev:amd64 (1.11.1-1ubuntu1) ... Setting up libavahi-client3:amd64 (0.6.32-1ubuntu1) ... Setting up libx11-dev:amd64 (2:1.6.4-3) ... Setting up libxft2:amd64 (2.3.2-1) ... Setting up libharfbuzz-dev:amd64 (1.4.2-1) ... Setting up fontconfig (2.11.94-0ubuntu2) ... Regenerating fonts cache... done. Setting up libcups2:amd64 (2.2.2-1ubuntu1) ... Setting up libfontconfig1-dev:amd64 (2.11.94-0ubuntu2) ... Setting up libenchant1c2a:amd64 (1.6.0-11build1) ... Setting up libsm-dev:amd64 (2:1.2.2-1) ... Setting up libxdamage1:amd64 (1:1.1.4-2) ... Setting up libxext6:amd64 (2:1.3.3-1) ... Setting up libxfixes3:amd64 (1:5.0.3-1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu2) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.36.5-3ubuntu0.2) ... Setting up libxcb-shm0-dev:amd64 (1.11.1-1ubuntu1) ... Setting up gir1.2-gdkpixbuf-2.0:amd64 (2.36.5-3ubuntu0.2) ... Setting up libxrender-dev:amd64 (1:0.9.10-1) ... Setting up libxmu6:amd64 (2:1.1.2-2) ... Setting up libxcb-render0-dev:amd64 (1.11.1-1ubuntu1) ... Setting up libcupsimage2:amd64 (2.2.2-1ubuntu1) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxft-dev (2.3.2-1) ... Setting up gtk-update-icon-cache (3.22.11-0ubuntu3) ... Setting up libgdk-pixbuf2.0-dev (2.36.5-3ubuntu0.2) ... Setting up libxcursor1:amd64 (1:1.1.14-1) ... Setting up libxext-dev:amd64 (2:1.3.3-1) ... Setting up libpango-1.0-0:amd64 (1.40.4-1) ... Setting up libenchant-dev (1.6.0-11build1) ... Setting up libxfixes-dev:amd64 (1:5.0.3-1) ... Setting up libgs9:amd64 (9.19~dfsg+1-0ubuntu7.6) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxrandr2:amd64 (2:1.5.1-1) ... Setting up libxi6:amd64 (2:1.7.9-1) ... Setting up libxaw7:amd64 (2:1.0.13-1) ... Setting up libcairo2:amd64 (1.14.8-1) ... Setting up libxinerama1:amd64 (2:1.1.3-1) ... Setting up libxcursor-dev:amd64 (1:1.1.14-1) ... Setting up libxrandr-dev:amd64 (2:1.5.1-1) ... Setting up libxcomposite-dev:amd64 (1:0.4.4-2) ... Setting up libcairo-script-interpreter2:amd64 (1.14.8-1) ... Setting up libcairo-gobject2:amd64 (1.14.8-1) ... Setting up libxdamage-dev:amd64 (1:1.1.4-2) ... Setting up ghostscript (9.19~dfsg+1-0ubuntu7.6) ... Setting up texlive-binaries (2016.20160513.41080.dfsg-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 libpangoft2-1.0-0:amd64 (1.40.4-1) ... Setting up libxinerama-dev:amd64 (2:1.1.3-1) ... Setting up libxi-dev:amd64 (2:1.7.9-1) ... Setting up libcairo2-dev (1.14.8-1) ... Setting up libpangoxft-1.0-0:amd64 (1.40.4-1) ... Setting up libpangocairo-1.0-0:amd64 (1.40.4-1) ... Setting up gir1.2-pango-1.0:amd64 (1.40.4-1) ... Setting up libpango1.0-dev (1.40.4-1) ... Setting up librsvg2-2:amd64 (2.40.16-2~svn1) ... Setting up librsvg2-common:amd64 (2.40.16-2~svn1) ... Processing triggers for tex-common (6.06) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory update-language: texlive-base not installed and configured, doing nothing! texlive-base is not ready, skipping fmtutil --all call Setting up texlive-base (2016.20170123-5) ... /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. locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Processing triggers for tex-common (6.06) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory 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. Setting up hevea (2.29-1) ... Setting up texlive-latex-base (2016.20170123-5) ... Processing triggers for tex-common (6.06) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory 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. Setting up texlive-latex-recommended (2016.20170123-5) ... Setting up texlive-pictures (2016.20170123-5) ... Processing triggers for tex-common (6.06) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-latex-extra (2016.20170123-5) ... Processing triggers for tex-common (6.06) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up adwaita-icon-theme (3.24.0-0ubuntu1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up ocaml-compiler-libs (4.02.3-6ubuntu2) ... Setting up libgtk2.0-0:amd64 (2.24.31-1ubuntu1.1) ... Setting up dh-autoreconf (13) ... Setting up libgtksourceview2.0-0 (2.10.5-2ubuntu3) ... Setting up humanity-icon-theme (0.6.13) ... Setting up ocaml-interp (4.02.3-6ubuntu2) ... Setting up libgtkspell0 (2.0.16-1.1ubuntu1) ... Setting up libglade2-0:amd64 (1:2.6.4-2) ... Setting up dh-strip-nondeterminism (0.032-1) ... Setting up gir1.2-gtk-2.0 (2.24.31-1ubuntu1.1) ... Setting up debhelper (10.2.2ubuntu1) ... Setting up liblablgtk2-ocaml (2.18.3+dfsg-2) ... Setting up ocaml-nox (4.02.3-6ubuntu2) ... Setting up ubuntu-mono (16.10+17.04.20170406-0ubuntu1) ... Setting up camlp5 (6.16-1) ... Setting up ocaml-native-compilers (4.02.3-6ubuntu2) ... Setting up libgtk2.0-dev (2.24.31-1ubuntu1.1) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Setting up libglade2-dev:amd64 (1:2.6.4-2) ... Setting up libgtkspell-dev (2.0.16-1.1ubuntu1) ... Setting up libgtksourceview2.0-dev (2.10.5-2ubuntu3) ... Setting up liblablgtk2-ocaml-dev (2.18.3+dfsg-2) ... Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2) ... Processing triggers for libc-bin (2.24-9ubuntu2.2) ... Processing triggers for systemd (232-21ubuntu7.1) ... Processing triggers for dictionaries-common (1.27.2) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory aspell-autobuildhash: processing: en [en-common]. aspell-autobuildhash: processing: en [en-variant_0]. aspell-autobuildhash: processing: en [en-variant_1]. aspell-autobuildhash: processing: en [en-variant_2]. aspell-autobuildhash: processing: en [en-w_accents-only]. aspell-autobuildhash: processing: en [en-wo_accents-only]. aspell-autobuildhash: processing: en [en_AU-variant_0]. aspell-autobuildhash: processing: en [en_AU-variant_1]. aspell-autobuildhash: processing: en [en_AU-w_accents-only]. aspell-autobuildhash: processing: en [en_AU-wo_accents-only]. aspell-autobuildhash: processing: en [en_CA-variant_0]. aspell-autobuildhash: processing: en [en_CA-variant_1]. aspell-autobuildhash: processing: en [en_CA-w_accents-only]. aspell-autobuildhash: processing: en [en_CA-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-variant_0]. aspell-autobuildhash: processing: en [en_GB-variant_1]. aspell-autobuildhash: processing: en [en_US-w_accents-only]. aspell-autobuildhash: processing: en [en_US-wo_accents-only]. Processing triggers for libgdk-pixbuf2.0-0:amd64 (2.36.5-3ubuntu0.2) ... 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: info: source package coq dpkg-buildpackage: info: source version 8.master~git~201711031504+18446-0~daily306~ubuntu17.04.1 dpkg-buildpackage: info: source distribution zesty dpkg-buildpackage: info: 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: --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"). 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/input_method_lexer.ml rm -f ide/highlight.ml ide/config_lexer.ml ide/config_parser.mli ide/config_parser.ml rm -f ide/utf8_convert.ml rm -rf rm -f bin/coqtop bin/coqmktop rm -f bin/coqdep bin/coq_makefile bin/gallina bin/coq-tex bin/coqwc bin/coqdoc bin/coqc bin/coqworkmgr bin/fake_ide bin/ocamllibdep bin/coqdep_boot plugins/micromega/csdpcert find . -name '*.cmx' -o -name '*.cmx[as]' -o -name '*.[soa]' -o -name '*.so' | xargs rm -f find theories plugins test-suite \( -name '*.vo' -o -name '*.glob' -o -name "*.cmxs" -o -name "*.native" -o -name "*.cmx" -o -name "*.cmi" -o -name "*.o" \) -delete find theories plugins test-suite -name .coq-native -empty -delete rm -rf _build rm -f test-suite/misc/universes/all_stdlib.* rm -f ide/xml_lexer.ml ide/coq_lex.ml ide/utf8_convert.ml ide/config_lexer.ml tools/coqdoc/cpretty.ml tools/coqdep_lexer.ml tools/gallina_lexer.ml tools/coqwc.ml tools/ocamllibdep.ml tools/tolink.ml kernel/copcodes.ml kernel/byterun/coq_jumptbl.h rm -f bin/coqtop.byte find . \( -name '*~' -o -name '*.cm[ioat]' -o -name '*.cmti' \) -delete rm -f */*.pp[iox] plugins/*/*.pp[iox] rm -rf rm -f toplevel/mltop.byteml toplevel/mltop.optml rm -f test-suite/check.log 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 .lia.cache find . \( \ -name '*.stamp' -o -name '*.vo' -o -name '*.vio' -o -name '*.log' \ \) -print0 | xargs -0 rm -f make[2]: Leaving directory '/home/buildd/work/tree/recipe/test-suite' rm -f parsing/cLexer.ml parsing/g_constr.ml parsing/g_vernac.ml parsing/g_prim.ml parsing/g_proofs.ml plugins/setoid_ring/g_newring.ml plugins/ssrmatching/ssrmatching.ml plugins/quote/g_quote.ml plugins/firstorder/g_ground.ml plugins/funind/g_indfun.ml plugins/romega/g_romega.ml plugins/derive/g_derive.ml plugins/cc/g_congruence.ml plugins/omega/g_omega.ml plugins/extraction/g_extraction.ml plugins/fourier/g_fourier.ml plugins/ltac/g_rewrite.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/coretactics.ml plugins/ltac/extratactics.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_obligations.ml plugins/ltac/g_class.ml plugins/ltac/extraargs.ml plugins/ltac/g_tactic.ml plugins/ltac/g_ltac.ml plugins/ltac/g_auto.ml plugins/ssr/ssrvernac.ml plugins/ssr/ssrparser.ml plugins/nsatz/g_nsatz.ml plugins/rtauto/g_rtauto.ml plugins/micromega/g_micromega.ml plugins/btauto/g_btauto.ml ide/coqide_main.ml lib/coqProject_file.ml find . -name '*~' -o -name '*.annot' | xargs rm -f rm -f gmon.out core find . '(' -name '{arch}' -o -name '.svn' -o -name '_darcs' -o -name '.git' -o -name '.bzr' -o -name 'debian' -o -name "${GIT_DIR}" -o -name '_build' -o -name '_build_ci' -o -name '_install_ci' -o -name 'user-contrib' -o -name 'coq-makefile' -o -name '.opamcache' -o -name '.coq-native' ')' -prune -o '(' -name '*.d' ')' -print | xargs 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 -f doc/faq/axioms.png rm -rf doc/refman/html doc/stdlib/html doc/faq/html doc/tutorial/tutorial.v.html rm -f doc/refman/euclid.ml doc/refman/euclid.mli rm -f doc/refman/heapsort.ml doc/refman/heapsort.mli rm -f doc/common/version.tex rm -f doc/refman/styles.hva doc/refman/cover.html doc/refman/Reference-Manual.html rm -f doc/coq.tex find . -name '*.dep.ps' -o -name '*.dot' | xargs rm -f rm -f /*.log /*.aux /*.toc rm -f /ocamldoc.sty /coq.tex rm -f /html/*.html rm -f config/Makefile config/coq_config.ml myocamlbuild_config.ml dev/ocamldebug-coq dev/camlp4.dbg config/Info-*.plist find theories plugins test-suite -name '.*.aux' -delete 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" \) -delete 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: --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~201711031504+18446-0~daily306~ubuntu17.04.1.tar.xz dpkg-source: info: building coq in coq_8.master~git~201711031504+18446-0~daily306~ubuntu17.04.1.dsc dpkg-genchanges -sa --build=source >../coq_8.master~git~201711031504+18446-0~daily306~ubuntu17.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~201711031504+18446-0~daily306~ubuntu17.04.1) is earlier than the previous one (8.master~git) dpkg-genchanges: info: including full source code in upload dpkg-source -i -I --after-build recipe 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: --abort-on-upstream-changes is not a valid option for Dpkg::Source::Package::V3::Native dpkg-source: warning: --unapply-patches is not a valid option for Dpkg::Source::Package::V3::Native dpkg-buildpackage: info: source-only upload: Debian-native package RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=zesty --arch=amd64 RECIPEBRANCHBUILD-1477161 Scanning for processes to kill in build RECIPEBRANCHBUILD-1477161 RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=zesty --arch=amd64 RECIPEBRANCHBUILD-1477161 Stopping target for build RECIPEBRANCHBUILD-1477161 RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=zesty --arch=amd64 RECIPEBRANCHBUILD-1477161 Removing build RECIPEBRANCHBUILD-1477161