RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux lgw01-32 4.4.0-93-generic #116-Ubuntu SMP Fri Aug 11 21:17:51 UTC 2017 x86_64 Buildd toolchain package versions: launchpad-buildd_151 python-lpbuildd_151 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.2 dpkg-dev_1.18.4ubuntu1.2 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 12 Sep 03:26:22 ntpdate[1770]: adjust time server 10.211.37.1 offset -0.004909 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=vivid --arch=amd64 RECIPEBRANCHBUILD-1446841 /home/buildd/filecache-default/e932d6a8ef5222a86281ff9bcc6696f79f9ecaa4 Creating target for build RECIPEBRANCHBUILD-1446841 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=vivid --arch=amd64 RECIPEBRANCHBUILD-1446841 Starting target for build RECIPEBRANCHBUILD-1446841 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=vivid --arch=amd64 RECIPEBRANCHBUILD-1446841 'deb http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu vivid main' 'deb http://ftpmaster.internal/ubuntu vivid main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu vivid-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu vivid-updates main restricted universe multiverse' Overriding sources.list in build-RECIPEBRANCHBUILD-1446841 RUN: /usr/share/launchpad-buildd/slavebin/in-target add-trusted-keys --backend=chroot --series=vivid --arch=amd64 RECIPEBRANCHBUILD-1446841 Adding trusted keys to build-RECIPEBRANCHBUILD-1446841 OK /etc/apt/trusted.gpg -------------------- pub 1024D/437D05B5 2004-09-12 uid Ubuntu Archive Automatic Signing Key sub 2048g/79164387 2004-09-12 pub 1024D/FBB75451 2004-12-30 uid Ubuntu CD Image Automatic Signing Key pub 4096R/C0B21F32 2012-05-11 uid Ubuntu Archive Automatic Signing Key (2012) pub 4096R/EFE21092 2012-05-11 uid Ubuntu CD Image Automatic Signing Key (2012) pub 4096R/A454A7D9 2014-12-19 uid Launchpad PPA for Jason Gross RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=vivid --arch=amd64 RECIPEBRANCHBUILD-1446841 Updating target for build RECIPEBRANCHBUILD-1446841 Get:1 http://ftpmaster.internal vivid InRelease [218 kB] Get:2 http://ftpmaster.internal vivid-security InRelease [65.9 kB] Get:3 http://ppa.launchpad.net vivid InRelease [16.0 kB] Get:4 http://ftpmaster.internal vivid-updates InRelease [65.9 kB] Get:5 http://ftpmaster.internal vivid/main amd64 Packages [1364 kB] Get:6 http://ppa.launchpad.net vivid/main amd64 Packages [7360 B] Get:7 http://ppa.launchpad.net vivid/main Translation-en [5708 B] Get:8 http://ftpmaster.internal vivid/restricted amd64 Packages [15.4 kB] Get:9 http://ftpmaster.internal vivid/universe amd64 Packages [6485 kB] Get:10 http://ftpmaster.internal vivid/multiverse amd64 Packages [134 kB] Get:11 http://ftpmaster.internal vivid/main Translation-en [793 kB] Get:12 http://ftpmaster.internal vivid/multiverse Translation-en [103 kB] Get:13 http://ftpmaster.internal vivid/restricted Translation-en [4228 B] Get:14 http://ftpmaster.internal vivid/universe Translation-en [4456 kB] Get:15 http://ftpmaster.internal vivid-security/main amd64 Packages [157 kB] Get:16 http://ftpmaster.internal vivid-security/restricted amd64 Packages [11.2 kB] Get:17 http://ftpmaster.internal vivid-security/universe amd64 Packages [77.0 kB] Get:18 http://ftpmaster.internal vivid-security/multiverse amd64 Packages [6028 B] Get:19 http://ftpmaster.internal vivid-security/main Translation-en [74.9 kB] Get:20 http://ftpmaster.internal vivid-security/multiverse Translation-en [2743 B] Get:21 http://ftpmaster.internal vivid-security/restricted Translation-en [2774 B] Get:22 http://ftpmaster.internal vivid-security/universe Translation-en [48.1 kB] Get:23 http://ftpmaster.internal vivid-updates/main amd64 Packages [246 kB] Get:24 http://ftpmaster.internal vivid-updates/restricted amd64 Packages [13.6 kB] Get:25 http://ftpmaster.internal vivid-updates/universe amd64 Packages [138 kB] Get:26 http://ftpmaster.internal vivid-updates/multiverse amd64 Packages [6028 B] Get:27 http://ftpmaster.internal vivid-updates/main Translation-en [115 kB] Get:28 http://ftpmaster.internal vivid-updates/multiverse Translation-en [3120 B] Get:29 http://ftpmaster.internal vivid-updates/restricted Translation-en [3112 B] Get:30 http://ftpmaster.internal vivid-updates/universe Translation-en [82.3 kB] Fetched 14.7 MB in 10s (1451 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: apt apt-transport-https bsdutils ca-certificates coreutils dpkg dpkg-dev gcc-5-base libapt-pkg4.12 libblkid1 libcurl3-gnutls libdpkg-perl libgcc1 libgnutls-deb0-28 libgssapi-krb5-2 libk5crypto3 libkrb5-3 libkrb5support0 libldap-2.4-2 libmount1 libpcre3 libpng12-0 libsasl2-2 libsasl2-modules-db libsmartcols1 libsqlite3-0 libssl1.0.0 libsystemd0 libtasn1-6 libudev1 libuuid1 linux-libc-dev login mount openssl passwd perl perl-base perl-modules pkg-create-dbgsym systemd systemd-sysv tzdata udev util-linux 45 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 24.0 MB of archives. After this operation, 117 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ vivid-updates/main bsdutils amd64 1:2.25.2-4ubuntu3 [44.7 kB] Get:2 http://ftpmaster.internal/ubuntu/ vivid-updates/main coreutils amd64 8.23-3ubuntu1.1 [1138 kB] Get:3 http://ftpmaster.internal/ubuntu/ vivid-security/main dpkg amd64 1.17.25ubuntu1.1 [2218 kB] Get:4 http://ftpmaster.internal/ubuntu/ vivid-updates/main login amd64 1:4.1.5.1-1.1ubuntu4.1 [302 kB] Get:5 http://ftpmaster.internal/ubuntu/ vivid-updates/main mount amd64 2.25.2-4ubuntu3 [118 kB] Get:6 http://ftpmaster.internal/ubuntu/ vivid-security/main perl amd64 5.20.2-2ubuntu0.1 [2634 kB] Get:7 http://ftpmaster.internal/ubuntu/ vivid-security/main perl-base amd64 5.20.2-2ubuntu0.1 [1223 kB] Get:8 http://ftpmaster.internal/ubuntu/ vivid-security/main perl-modules all 5.20.2-2ubuntu0.1 [2493 kB] Get:9 http://ftpmaster.internal/ubuntu/ vivid-security/main tzdata all 2015g-0ubuntu0.15.04 [170 kB] Get:10 http://ftpmaster.internal/ubuntu/ vivid-updates/main util-linux amd64 2.25.2-4ubuntu3 [796 kB] Get:11 http://ftpmaster.internal/ubuntu/ vivid-updates/main gcc-5-base amd64 5.1~rc1-0ubuntu1.1 [14.4 kB] Get:12 http://ftpmaster.internal/ubuntu/ vivid-updates/main libgcc1 amd64 1:5.1~rc1-0ubuntu1.1 [39.1 kB] Get:13 http://ftpmaster.internal/ubuntu/ vivid-updates/main libapt-pkg4.12 amd64 1.0.9.7ubuntu4.2 [682 kB] Get:14 http://ftpmaster.internal/ubuntu/ vivid-updates/main apt amd64 1.0.9.7ubuntu4.2 [1005 kB] Get:15 http://ftpmaster.internal/ubuntu/ vivid-updates/main passwd amd64 1:4.1.5.1-1.1ubuntu4.1 [759 kB] Get:16 http://ftpmaster.internal/ubuntu/ vivid-updates/main libuuid1 amd64 2.25.2-4ubuntu3 [15.3 kB] Get:17 http://ftpmaster.internal/ubuntu/ vivid-updates/main libblkid1 amd64 2.25.2-4ubuntu3 [104 kB] Get:18 http://ftpmaster.internal/ubuntu/ vivid-updates/main libmount1 amd64 2.25.2-4ubuntu3 [111 kB] Get:19 http://ftpmaster.internal/ubuntu/ vivid-security/main libpcre3 amd64 2:8.35-3.3ubuntu1.1 [222 kB] Get:20 http://ftpmaster.internal/ubuntu/ vivid-updates/main libsmartcols1 amd64 2.25.2-4ubuntu3 [60.5 kB] Get:21 http://ftpmaster.internal/ubuntu/ vivid-updates/main libudev1 amd64 219-7ubuntu6 [40.9 kB] Get:22 http://ftpmaster.internal/ubuntu/ vivid-updates/main udev amd64 219-7ubuntu6 [929 kB] Get:23 http://ftpmaster.internal/ubuntu/ vivid-updates/main libsystemd0 amd64 219-7ubuntu6 [73.8 kB] Get:24 http://ftpmaster.internal/ubuntu/ vivid-updates/main systemd amd64 219-7ubuntu6 [3530 kB] Get:25 http://ftpmaster.internal/ubuntu/ vivid-updates/main systemd-sysv amd64 219-7ubuntu6 [14.0 kB] Get:26 http://ftpmaster.internal/ubuntu/ vivid-security/main libtasn1-6 amd64 4.2-2ubuntu1.1 [42.4 kB] Get:27 http://ftpmaster.internal/ubuntu/ vivid-security/main libgnutls-deb0-28 amd64 3.3.8-3ubuntu3.2 [516 kB] Get:28 http://ftpmaster.internal/ubuntu/ vivid-security/main libsqlite3-0 amd64 3.8.7.4-1ubuntu0.1 [371 kB] Get:29 http://ftpmaster.internal/ubuntu/ vivid-security/main libssl1.0.0 amd64 1.0.1f-1ubuntu11.5 [850 kB] Get:30 http://ftpmaster.internal/ubuntu/ vivid-security/main libgssapi-krb5-2 amd64 1.12.1+dfsg-18ubuntu0.1 [120 kB] Get:31 http://ftpmaster.internal/ubuntu/ vivid-security/main libkrb5-3 amd64 1.12.1+dfsg-18ubuntu0.1 [270 kB] Get:32 http://ftpmaster.internal/ubuntu/ vivid-security/main libkrb5support0 amd64 1.12.1+dfsg-18ubuntu0.1 [30.6 kB] Get:33 http://ftpmaster.internal/ubuntu/ vivid-security/main libk5crypto3 amd64 1.12.1+dfsg-18ubuntu0.1 [83.2 kB] Get:34 http://ftpmaster.internal/ubuntu/ vivid-security/main libsasl2-modules-db amd64 2.1.26.dfsg1-13ubuntu0.1 [14.8 kB] Get:35 http://ftpmaster.internal/ubuntu/ vivid-security/main libsasl2-2 amd64 2.1.26.dfsg1-13ubuntu0.1 [49.5 kB] Get:36 http://ftpmaster.internal/ubuntu/ vivid-security/main libldap-2.4-2 amd64 2.4.31-1+nmu2ubuntu12.3 [155 kB] Get:37 http://ftpmaster.internal/ubuntu/ vivid-security/main libcurl3-gnutls amd64 7.38.0-3ubuntu2.3 [172 kB] Get:38 http://ftpmaster.internal/ubuntu/ vivid-security/main libpng12-0 amd64 1.2.51-0ubuntu3.15.04.2 [119 kB] Get:39 http://ftpmaster.internal/ubuntu/ vivid-updates/main apt-transport-https amd64 1.0.9.7ubuntu4.2 [27.4 kB] Get:40 http://ftpmaster.internal/ubuntu/ vivid-security/main openssl amd64 1.0.1f-1ubuntu11.5 [492 kB] Get:41 http://ftpmaster.internal/ubuntu/ vivid-security/main ca-certificates all 20141019ubuntu0.15.04.1 [191 kB] Get:42 http://ftpmaster.internal/ubuntu/ vivid-security/main dpkg-dev all 1.17.25ubuntu1.1 [763 kB] Get:43 http://ftpmaster.internal/ubuntu/ vivid-security/main libdpkg-perl all 1.17.25ubuntu1.1 [189 kB] Get:44 http://ftpmaster.internal/ubuntu/ vivid-security/main linux-libc-dev amd64 3.19.0-84.92 [786 kB] Get:45 http://ftpmaster.internal/ubuntu/ vivid-security/main pkg-create-dbgsym all 0.67 [8956 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 24.0 MB in 1s (16.2 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 ... 11669 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.25.2-4ubuntu3_amd64.deb ... Unpacking bsdutils (1:2.25.2-4ubuntu3) over (1:2.25.2-4ubuntu2) ... Setting up bsdutils (1:2.25.2-4ubuntu3) ... (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 ... 11669 files and directories currently installed.) Preparing to unpack .../coreutils_8.23-3ubuntu1.1_amd64.deb ... Unpacking coreutils (8.23-3ubuntu1.1) over (8.23-3ubuntu1) ... Setting up coreutils (8.23-3ubuntu1.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 ... 11669 files and directories currently installed.) Preparing to unpack .../dpkg_1.17.25ubuntu1.1_amd64.deb ... Unpacking dpkg (1.17.25ubuntu1.1) over (1.17.25ubuntu1) ... Setting up dpkg (1.17.25ubuntu1.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 ... 11669 files and directories currently installed.) Preparing to unpack .../login_1%3a4.1.5.1-1.1ubuntu4.1_amd64.deb ... Unpacking login (1:4.1.5.1-1.1ubuntu4.1) over (1:4.1.5.1-1.1ubuntu4) ... Setting up login (1:4.1.5.1-1.1ubuntu4.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 ... 11669 files and directories currently installed.) Preparing to unpack .../mount_2.25.2-4ubuntu3_amd64.deb ... Unpacking mount (2.25.2-4ubuntu3) over (2.25.2-4ubuntu2) ... Setting up mount (2.25.2-4ubuntu3) ... (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 ... 11669 files and directories currently installed.) Preparing to unpack .../perl_5.20.2-2ubuntu0.1_amd64.deb ... Unpacking perl (5.20.2-2ubuntu0.1) over (5.20.2-2) ... Preparing to unpack .../perl-base_5.20.2-2ubuntu0.1_amd64.deb ... Unpacking perl-base (5.20.2-2ubuntu0.1) over (5.20.2-2) ... Setting up perl-base (5.20.2-2ubuntu0.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 ... 11669 files and directories currently installed.) Preparing to unpack .../perl-modules_5.20.2-2ubuntu0.1_all.deb ... Unpacking perl-modules (5.20.2-2ubuntu0.1) over (5.20.2-2) ... Preparing to unpack .../tzdata_2015g-0ubuntu0.15.04_all.deb ... Unpacking tzdata (2015g-0ubuntu0.15.04) over (2015c-1) ... Setting up tzdata (2015g-0ubuntu0.15.04) ... Current default time zone: 'Etc/UTC' Local time is now: Tue Sep 12 03:27:25 UTC 2017. Universal Time is now: Tue Sep 12 03:27:25 UTC 2017. Run 'dpkg-reconfigure tzdata' if you wish to change it. (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 ... 11672 files and directories currently installed.) Preparing to unpack .../util-linux_2.25.2-4ubuntu3_amd64.deb ... Unpacking util-linux (2.25.2-4ubuntu3) over (2.25.2-4ubuntu2) ... Processing triggers for systemd (219-7ubuntu3) ... Setting up util-linux (2.25.2-4ubuntu3) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../gcc-5-base_5.1~rc1-0ubuntu1.1_amd64.deb ... Unpacking gcc-5-base:amd64 (5.1~rc1-0ubuntu1.1) over (5.1~rc1-0ubuntu1) ... Setting up gcc-5-base:amd64 (5.1~rc1-0ubuntu1.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 ... 11672 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a5.1~rc1-0ubuntu1.1_amd64.deb ... Unpacking libgcc1:amd64 (1:5.1~rc1-0ubuntu1.1) over (1:5.1~rc1-0ubuntu1) ... Setting up libgcc1:amd64 (1:5.1~rc1-0ubuntu1.1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../libapt-pkg4.12_1.0.9.7ubuntu4.2_amd64.deb ... Unpacking libapt-pkg4.12:amd64 (1.0.9.7ubuntu4.2) over (1.0.9.7ubuntu4) ... Setting up libapt-pkg4.12:amd64 (1.0.9.7ubuntu4.2) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../apt_1.0.9.7ubuntu4.2_amd64.deb ... Unpacking apt (1.0.9.7ubuntu4.2) over (1.0.9.7ubuntu4) ... Setting up apt (1.0.9.7ubuntu4.2) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.1.5.1-1.1ubuntu4.1_amd64.deb ... Unpacking passwd (1:4.1.5.1-1.1ubuntu4.1) over (1:4.1.5.1-1.1ubuntu4) ... Setting up passwd (1:4.1.5.1-1.1ubuntu4.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 ... 11672 files and directories currently installed.) Preparing to unpack .../libuuid1_2.25.2-4ubuntu3_amd64.deb ... Unpacking libuuid1:amd64 (2.25.2-4ubuntu3) over (2.25.2-4ubuntu2) ... Setting up libuuid1:amd64 (2.25.2-4ubuntu3) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../libblkid1_2.25.2-4ubuntu3_amd64.deb ... Unpacking libblkid1:amd64 (2.25.2-4ubuntu3) over (2.25.2-4ubuntu2) ... Setting up libblkid1:amd64 (2.25.2-4ubuntu3) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../libmount1_2.25.2-4ubuntu3_amd64.deb ... Unpacking libmount1:amd64 (2.25.2-4ubuntu3) over (2.25.2-4ubuntu2) ... Setting up libmount1:amd64 (2.25.2-4ubuntu3) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../libpcre3_2%3a8.35-3.3ubuntu1.1_amd64.deb ... Unpacking libpcre3:amd64 (2:8.35-3.3ubuntu1.1) over (2:8.35-3.3ubuntu1) ... Setting up libpcre3:amd64 (2:8.35-3.3ubuntu1.1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.25.2-4ubuntu3_amd64.deb ... Unpacking libsmartcols1:amd64 (2.25.2-4ubuntu3) over (2.25.2-4ubuntu2) ... Setting up libsmartcols1:amd64 (2.25.2-4ubuntu3) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../libudev1_219-7ubuntu6_amd64.deb ... Unpacking libudev1:amd64 (219-7ubuntu6) over (219-7ubuntu3) ... Setting up libudev1:amd64 (219-7ubuntu6) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../udev_219-7ubuntu6_amd64.deb ... Unpacking udev (219-7ubuntu6) over (219-7ubuntu3) ... Processing triggers for systemd (219-7ubuntu3) ... Setting up udev (219-7ubuntu6) ... A chroot environment has been detected, udev not started. (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 ... 11672 files and directories currently installed.) Preparing to unpack .../libsystemd0_219-7ubuntu6_amd64.deb ... Unpacking libsystemd0:amd64 (219-7ubuntu6) over (219-7ubuntu3) ... Setting up libsystemd0:amd64 (219-7ubuntu6) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (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 ... 11672 files and directories currently installed.) Preparing to unpack .../systemd_219-7ubuntu6_amd64.deb ... Unpacking systemd (219-7ubuntu6) over (219-7ubuntu3) ... Setting up systemd (219-7ubuntu6) ... (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 ... 11675 files and directories currently installed.) Preparing to unpack .../systemd-sysv_219-7ubuntu6_amd64.deb ... Unpacking systemd-sysv (219-7ubuntu6) over (219-7ubuntu3) ... Setting up systemd-sysv (219-7ubuntu6) ... (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 ... 11675 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.2-2ubuntu1.1_amd64.deb ... Unpacking libtasn1-6:amd64 (4.2-2ubuntu1.1) over (4.2-2ubuntu1) ... Preparing to unpack .../libgnutls-deb0-28_3.3.8-3ubuntu3.2_amd64.deb ... Unpacking libgnutls-deb0-28:amd64 (3.3.8-3ubuntu3.2) over (3.3.8-3ubuntu3) ... Preparing to unpack .../libsqlite3-0_3.8.7.4-1ubuntu0.1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.8.7.4-1ubuntu0.1) over (3.8.7.4-1) ... Preparing to unpack .../libssl1.0.0_1.0.1f-1ubuntu11.5_amd64.deb ... Unpacking libssl1.0.0:amd64 (1.0.1f-1ubuntu11.5) over (1.0.1f-1ubuntu11) ... Preparing to unpack .../libgssapi-krb5-2_1.12.1+dfsg-18ubuntu0.1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.12.1+dfsg-18ubuntu0.1) over (1.12.1+dfsg-18) ... Preparing to unpack .../libkrb5-3_1.12.1+dfsg-18ubuntu0.1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.12.1+dfsg-18ubuntu0.1) over (1.12.1+dfsg-18) ... Preparing to unpack .../libkrb5support0_1.12.1+dfsg-18ubuntu0.1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.12.1+dfsg-18ubuntu0.1) over (1.12.1+dfsg-18) ... Preparing to unpack .../libk5crypto3_1.12.1+dfsg-18ubuntu0.1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.12.1+dfsg-18ubuntu0.1) over (1.12.1+dfsg-18) ... Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-13ubuntu0.1_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.26.dfsg1-13ubuntu0.1) over (2.1.26.dfsg1-13) ... Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-13ubuntu0.1_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.26.dfsg1-13ubuntu0.1) over (2.1.26.dfsg1-13) ... Preparing to unpack .../libldap-2.4-2_2.4.31-1+nmu2ubuntu12.3_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.31-1+nmu2ubuntu12.3) over (2.4.31-1+nmu2ubuntu12) ... Preparing to unpack .../libcurl3-gnutls_7.38.0-3ubuntu2.3_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.38.0-3ubuntu2.3) over (7.38.0-3ubuntu2) ... Preparing to unpack .../libpng12-0_1.2.51-0ubuntu3.15.04.2_amd64.deb ... Unpacking libpng12-0:amd64 (1.2.51-0ubuntu3.15.04.2) over (1.2.51-0ubuntu3) ... Preparing to unpack .../apt-transport-https_1.0.9.7ubuntu4.2_amd64.deb ... Unpacking apt-transport-https (1.0.9.7ubuntu4.2) over (1.0.9.7ubuntu4) ... Preparing to unpack .../openssl_1.0.1f-1ubuntu11.5_amd64.deb ... Unpacking openssl (1.0.1f-1ubuntu11.5) over (1.0.1f-1ubuntu11) ... Preparing to unpack .../ca-certificates_20141019ubuntu0.15.04.1_all.deb ... Unpacking ca-certificates (20141019ubuntu0.15.04.1) over (20141019) ... Preparing to unpack .../dpkg-dev_1.17.25ubuntu1.1_all.deb ... Unpacking dpkg-dev (1.17.25ubuntu1.1) over (1.17.25ubuntu1) ... Preparing to unpack .../libdpkg-perl_1.17.25ubuntu1.1_all.deb ... Unpacking libdpkg-perl (1.17.25ubuntu1.1) over (1.17.25ubuntu1) ... Preparing to unpack .../linux-libc-dev_3.19.0-84.92_amd64.deb ... Unpacking linux-libc-dev:amd64 (3.19.0-84.92) over (3.19.0-15.15) ... Preparing to unpack .../pkg-create-dbgsym_0.67_all.deb ... Unpacking pkg-create-dbgsym (0.67) over (0.65) ... Setting up perl-modules (5.20.2-2ubuntu0.1) ... Setting up perl (5.20.2-2ubuntu0.1) ... Setting up libtasn1-6:amd64 (4.2-2ubuntu1.1) ... Setting up libgnutls-deb0-28:amd64 (3.3.8-3ubuntu3.2) ... Setting up libsqlite3-0:amd64 (3.8.7.4-1ubuntu0.1) ... Setting up libssl1.0.0:amd64 (1.0.1f-1ubuntu11.5) ... Setting up libkrb5support0:amd64 (1.12.1+dfsg-18ubuntu0.1) ... Setting up libk5crypto3:amd64 (1.12.1+dfsg-18ubuntu0.1) ... Setting up libkrb5-3:amd64 (1.12.1+dfsg-18ubuntu0.1) ... Setting up libgssapi-krb5-2:amd64 (1.12.1+dfsg-18ubuntu0.1) ... Setting up libsasl2-modules-db:amd64 (2.1.26.dfsg1-13ubuntu0.1) ... Setting up libsasl2-2:amd64 (2.1.26.dfsg1-13ubuntu0.1) ... Setting up libldap-2.4-2:amd64 (2.4.31-1+nmu2ubuntu12.3) ... Setting up libcurl3-gnutls:amd64 (7.38.0-3ubuntu2.3) ... Setting up libpng12-0:amd64 (1.2.51-0ubuntu3.15.04.2) ... Setting up apt-transport-https (1.0.9.7ubuntu4.2) ... Setting up openssl (1.0.1f-1ubuntu11.5) ... Setting up ca-certificates (20141019ubuntu0.15.04.1) ... Setting up libdpkg-perl (1.17.25ubuntu1.1) ... Setting up dpkg-dev (1.17.25ubuntu1.1) ... Setting up linux-libc-dev:amd64 (3.19.0-84.92) ... Setting up pkg-create-dbgsym (0.67) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Processing triggers for ca-certificates (20141019ubuntu0.15.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-1446841 'Jason Gross' jgross@mit.edu vivid vivid universe PPA Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: dh-python libexpat1 libmpdec2 libpython3-stdlib libpython3.4-minimal libpython3.4-stdlib mime-support python3 python3-minimal python3.4 python3.4-minimal Suggested packages: lsb python3-doc python3-tk python3-venv python3.4-venv python3.4-doc binfmt-support Recommended packages: file The following NEW packages will be installed: dh-python libexpat1 libmpdec2 libpython3-stdlib libpython3.4-minimal libpython3.4-stdlib lsb-release mime-support python3 python3-minimal python3.4 python3.4-minimal 0 upgraded, 12 newly installed, 0 to remove and 0 not upgraded. Need to get 4359 kB of archives. After this operation, 19.3 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ vivid-security/main libexpat1 amd64 2.1.0-6ubuntu1.1 [70.8 kB] Get:2 http://ftpmaster.internal/ubuntu/ vivid/main libmpdec2 amd64 2.4.1-1 [82.7 kB] Get:3 http://ftpmaster.internal/ubuntu/ vivid/main libpython3.4-minimal amd64 3.4.3-3 [466 kB] Get:4 http://ftpmaster.internal/ubuntu/ vivid/main mime-support all 3.58ubuntu1 [31.6 kB] Get:5 http://ftpmaster.internal/ubuntu/ vivid/main libpython3.4-stdlib amd64 3.4.3-3 [2053 kB] Get:6 http://ftpmaster.internal/ubuntu/ vivid/main python3.4-minimal amd64 3.4.3-3 [1361 kB] Get:7 http://ftpmaster.internal/ubuntu/ vivid/main python3-minimal amd64 3.4.3-1 [23.4 kB] Get:8 http://ftpmaster.internal/ubuntu/ vivid/main python3.4 amd64 3.4.3-3 [178 kB] Get:9 http://ftpmaster.internal/ubuntu/ vivid/main libpython3-stdlib amd64 3.4.3-1 [6986 B] Get:10 http://ftpmaster.internal/ubuntu/ vivid/main dh-python all 1.20141111-2ubuntu1 [65.1 kB] Get:11 http://ftpmaster.internal/ubuntu/ vivid/main python3 amd64 3.4.3-1 [8830 B] Get:12 http://ftpmaster.internal/ubuntu/ vivid/main lsb-release all 4.1+Debian11ubuntu8 [11.6 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 4359 kB in 0s (12.9 MB/s) Selecting previously unselected package libexpat1: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 ... 11677 files and directories currently installed.) Preparing to unpack .../libexpat1_2.1.0-6ubuntu1.1_amd64.deb ... Unpacking libexpat1:amd64 (2.1.0-6ubuntu1.1) ... Selecting previously unselected package libmpdec2:amd64. Preparing to unpack .../libmpdec2_2.4.1-1_amd64.deb ... Unpacking libmpdec2:amd64 (2.4.1-1) ... Selecting previously unselected package libpython3.4-minimal:amd64. Preparing to unpack .../libpython3.4-minimal_3.4.3-3_amd64.deb ... Unpacking libpython3.4-minimal:amd64 (3.4.3-3) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.58ubuntu1_all.deb ... Unpacking mime-support (3.58ubuntu1) ... Selecting previously unselected package libpython3.4-stdlib:amd64. Preparing to unpack .../libpython3.4-stdlib_3.4.3-3_amd64.deb ... Unpacking libpython3.4-stdlib:amd64 (3.4.3-3) ... Selecting previously unselected package python3.4-minimal. Preparing to unpack .../python3.4-minimal_3.4.3-3_amd64.deb ... Unpacking python3.4-minimal (3.4.3-3) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../python3-minimal_3.4.3-1_amd64.deb ... Unpacking python3-minimal (3.4.3-1) ... Selecting previously unselected package python3.4. Preparing to unpack .../python3.4_3.4.3-3_amd64.deb ... Unpacking python3.4 (3.4.3-3) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../libpython3-stdlib_3.4.3-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.4.3-1) ... Selecting previously unselected package dh-python. Preparing to unpack .../dh-python_1.20141111-2ubuntu1_all.deb ... Unpacking dh-python (1.20141111-2ubuntu1) ... Setting up libpython3.4-minimal:amd64 (3.4.3-3) ... Setting up libexpat1:amd64 (2.1.0-6ubuntu1.1) ... Setting up python3.4-minimal (3.4.3-3) ... Setting up python3-minimal (3.4.3-1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... 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 ... 12615 files and directories currently installed.) Preparing to unpack .../python3_3.4.3-1_amd64.deb ... Unpacking python3 (3.4.3-1) ... Selecting previously unselected package lsb-release. Preparing to unpack .../lsb-release_4.1+Debian11ubuntu8_all.deb ... Unpacking lsb-release (4.1+Debian11ubuntu8) ... Setting up libmpdec2:amd64 (2.4.1-1) ... Setting up mime-support (3.58ubuntu1) ... Setting up libpython3.4-stdlib:amd64 (3.4.3-3) ... Setting up python3.4 (3.4.3-3) ... Setting up libpython3-stdlib:amd64 (3.4.3-1) ... Setting up python3 (3.4.3-1) ... running python rtupdate hooks for python3.4... running python post-rtupdate hooks for python3.4... Setting up lsb-release (4.1+Debian11ubuntu8) ... Setting up dh-python (1.20141111-2ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... 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 v8.7 nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian v8.7 RUN ['git-build-recipe', '--safe', '--no-build', '--manifest', '/home/buildd/build-RECIPEBRANCHBUILD-1446841/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'vivid', '--allow-fallback-to-native', '--append-version', '~ubuntu15.04.1', '/home/buildd/build-RECIPEBRANCHBUILD-1446841/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-1446841/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-1446841/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-1446841/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-1446841/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch resource.struct_rusage(ru_utime=23.028, ru_stime=3.86, ru_maxrss=85536, ru_ixrss=0, ru_idrss=0, ru_isrss=0, ru_minflt=87288, ru_majflt=43, ru_nswap=0, ru_inblock=13056, ru_oublock=273600, ru_msgsnd=0, ru_msgrcv=0, ru_nsignals=0, ru_nvcsw=69047, ru_nivcsw=3287) Ign file: ./ InRelease Ign file: ./ Release.gpg Get:1 file: ./ Release [1329 B] Reading package lists... Reading package lists... Building dependency tree... Reading state information... Note, selecting 'ocaml-native-compilers' instead of 'ocaml-best-compilers' The following NEW packages will be installed: aspell aspell-en bsdmainutils camlp5 debhelper dh-apparmor dh-ocaml dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core 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 gsfonts hevea icu-devtools intltool-debian libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcroco3 libcups2 libcupsfilters1 libcupsimage2 libdatrie1 libelf1 libenchant-dev libenchant1c2a libexpat1-dev 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 libgraphite2-3 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.3-0 libice-dev libice6 libicu-dev libicu52 libijs-0.35 libjasper1 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblcms2-2 liblzo2-2 libmagic1 libncurses5-dev libnetpbm10 libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpaper-utils libpaper1 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpoppler49 libpotrace0 libptexenc1 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsm-dev libsm6 libsynctex1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 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 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 tex-common texlive-base texlive-binaries texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures 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, 209 newly installed, 0 to remove and 0 not upgraded. Need to get 130 MB of archives. After this operation, 587 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ vivid/main libmagic1 amd64 1:5.20-1ubuntu2 [208 kB] Get:2 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main ocaml-base-nox amd64 4.02.3-6ubuntu2~ubuntu15.04.1~ppa1 [478 kB] Get:3 http://ftpmaster.internal/ubuntu/ vivid/main libasprintf0c2 amd64 0.19.2-2ubuntu1 [6296 B] Get:4 http://ftpmaster.internal/ubuntu/ vivid/main libelf1 amd64 0.160-0ubuntu3 [38.5 kB] Get:5 http://ftpmaster.internal/ubuntu/ vivid-updates/main libglib2.0-0 amd64 2.44.1-1ubuntu1 [1104 kB] Get:6 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main hevea all 2.29-1~ubuntu15.04.1~ppa2 [887 kB] Get:7 http://ftpmaster.internal/ubuntu/ vivid-security/main libicu52 amd64 52.1-8ubuntu0.2 [6788 kB] Get:8 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main libfindlib-ocaml amd64 1.6.2-1~ubuntu15.04.1~ppa1 [160 kB] Get:9 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main liblablgtk2-ocaml amd64 2.18.3+dfsg-2~ubuntu15.04.1~ppa1 [734 kB] Get:10 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main ocaml-compiler-libs amd64 4.02.3-6ubuntu2~ubuntu15.04.1~ppa1 [9571 kB] Get:11 http://ftpmaster.internal/ubuntu/ vivid/main libpipeline1 amd64 1.4.0-1 [25.2 kB] Get:12 http://ftpmaster.internal/ubuntu/ vivid/main libxau6 amd64 1:1.0.8-1 [8376 B] Get:13 http://ftpmaster.internal/ubuntu/ vivid/main libxdmcp6 amd64 1:1.1.1-1build1 [11.0 kB] Get:14 http://ftpmaster.internal/ubuntu/ vivid/main libxcb1 amd64 1.10-2ubuntu1 [38.0 kB] Get:15 http://ftpmaster.internal/ubuntu/ vivid/main libx11-data all 2:1.6.2-2ubuntu2 [112 kB] Get:16 http://ftpmaster.internal/ubuntu/ vivid/main libx11-6 amd64 2:1.6.2-2ubuntu2 [571 kB] Get:17 http://ftpmaster.internal/ubuntu/ vivid/main libxext6 amd64 2:1.3.3-1 [29.4 kB] Get:18 http://ftpmaster.internal/ubuntu/ vivid-security/main libxml2 amd64 2.9.2+dfsg1-3ubuntu0.3 [718 kB] Get:19 http://ftpmaster.internal/ubuntu/ vivid/main groff-base amd64 1.22.3-1 [1183 kB] Get:20 http://ftpmaster.internal/ubuntu/ vivid/main bsdmainutils amd64 9.0.6ubuntu1 [175 kB] Get:21 http://ftpmaster.internal/ubuntu/ vivid/main man-db amd64 2.7.0.2-5 [863 kB] Get:22 http://ftpmaster.internal/ubuntu/ vivid/main fonts-dejavu-core all 2.34-1ubuntu1 [1024 kB] Get:23 http://ftpmaster.internal/ubuntu/ vivid/main ucf all 3.0030 [55.5 kB] Get:24 http://ftpmaster.internal/ubuntu/ vivid/main fontconfig-config all 2.11.1-0ubuntu6 [48.7 kB] Get:25 http://ftpmaster.internal/ubuntu/ vivid-security/main libfreetype6 amd64 2.5.2-2ubuntu3.1 [315 kB] Get:26 http://ftpmaster.internal/ubuntu/ vivid/main libfontconfig1 amd64 2.11.1-0ubuntu6 [127 kB] Get:27 http://ftpmaster.internal/ubuntu/ vivid/main fontconfig amd64 2.11.1-0ubuntu6 [176 kB] Get:28 http://ftpmaster.internal/ubuntu/ vivid/main libaspell15 amd64 0.60.7~20110707-1.3 [336 kB] Get:29 http://ftpmaster.internal/ubuntu/ vivid/main libatk1.0-data all 2.14.0-1ubuntu1 [16.4 kB] Get:30 http://ftpmaster.internal/ubuntu/ vivid/main libatk1.0-0 amd64 2.14.0-1ubuntu1 [56.9 kB] Get:31 http://ftpmaster.internal/ubuntu/ vivid/main libavahi-common-data amd64 0.6.31-4ubuntu4 [21.1 kB] Get:32 http://ftpmaster.internal/ubuntu/ vivid/main libavahi-common3 amd64 0.6.31-4ubuntu4 [22.0 kB] Get:33 http://ftpmaster.internal/ubuntu/ vivid/main libavahi-client3 amd64 0.6.31-4ubuntu4 [25.7 kB] Get:34 http://ftpmaster.internal/ubuntu/ vivid/main libpixman-1-0 amd64 0.32.6-3 [237 kB] Get:35 http://ftpmaster.internal/ubuntu/ vivid/main libxcb-render0 amd64 1.10-2ubuntu1 [11.0 kB] Get:36 http://ftpmaster.internal/ubuntu/ vivid/main libxcb-shm0 amd64 1.10-2ubuntu1 [5432 B] Get:37 http://ftpmaster.internal/ubuntu/ vivid/main libxrender1 amd64 1:0.9.8-1build1 [18.5 kB] Get:38 http://ftpmaster.internal/ubuntu/ vivid/main libcairo2 amd64 1.14.2-1ubuntu1 [559 kB] Get:39 http://ftpmaster.internal/ubuntu/ vivid/main libcairo-gobject2 amd64 1.14.2-1ubuntu1 [17.4 kB] Get:40 http://ftpmaster.internal/ubuntu/ vivid/main liblzo2-2 amd64 2.08-1.2 [48.7 kB] Get:41 http://ftpmaster.internal/ubuntu/ vivid/main libcairo-script-interpreter2 amd64 1.14.2-1ubuntu1 [54.4 kB] Get:42 http://ftpmaster.internal/ubuntu/ vivid/main libcroco3 amd64 0.6.8-3 [83.2 kB] Get:43 http://ftpmaster.internal/ubuntu/ vivid-updates/main libcups2 amd64 2.0.2-1ubuntu3.2 [195 kB] Get:44 http://ftpmaster.internal/ubuntu/ vivid/main libjpeg-turbo8 amd64 1.3.0-0ubuntu2 [104 kB] Get:45 http://ftpmaster.internal/ubuntu/ vivid/main libjpeg8 amd64 8c-2ubuntu8 [2194 B] Get:46 http://ftpmaster.internal/ubuntu/ vivid/main libjbig0 amd64 2.1-3.1 [26.6 kB] Get:47 http://ftpmaster.internal/ubuntu/ vivid/main libtiff5 amd64 4.0.3-12.3ubuntu2 [146 kB] Get:48 http://ftpmaster.internal/ubuntu/ vivid-security/main libcupsfilters1 amd64 1.0.67-0ubuntu2.6 [80.3 kB] Get:49 http://ftpmaster.internal/ubuntu/ vivid-updates/main libcupsimage2 amd64 2.0.2-1ubuntu3.2 [15.4 kB] Get:50 http://ftpmaster.internal/ubuntu/ vivid/main libdatrie1 amd64 0.2.8-1 [16.7 kB] Get:51 http://ftpmaster.internal/ubuntu/ vivid/main libtext-iconv-perl amd64 1.7-5build3 [14.0 kB] Get:52 http://ftpmaster.internal/ubuntu/ vivid/main emacsen-common all 2.0.8 [17.6 kB] Get:53 http://ftpmaster.internal/ubuntu/ vivid/main dictionaries-common all 1.23.17 [191 kB] Get:54 http://ftpmaster.internal/ubuntu/ vivid/main aspell amd64 0.60.7~20110707-1.3 [80.1 kB] Get:55 http://ftpmaster.internal/ubuntu/ vivid/main aspell-en all 7.1-0-1.1 [265 kB] Get:56 http://ftpmaster.internal/ubuntu/ vivid/main libhunspell-1.3-0 amd64 1.3.3-3 [110 kB] Get:57 http://ftpmaster.internal/ubuntu/ vivid/main libenchant1c2a amd64 1.6.0-10.1 [65.7 kB] Get:58 http://ftpmaster.internal/ubuntu/ vivid/main libjasper1 amd64 1.900.1-debian1-2.4 [131 kB] Get:59 http://ftpmaster.internal/ubuntu/ vivid-security/main libgdk-pixbuf2.0-common all 2.31.3-1ubuntu0.2 [10.2 kB] Get:60 http://ftpmaster.internal/ubuntu/ vivid-security/main libgdk-pixbuf2.0-0 amd64 2.31.3-1ubuntu0.2 [168 kB] Get:61 http://ftpmaster.internal/ubuntu/ vivid/main libgtk2.0-common all 2.24.27-0ubuntu1 [121 kB] Get:62 http://ftpmaster.internal/ubuntu/ vivid/main libthai-data all 0.1.21-1 [131 kB] Get:63 http://ftpmaster.internal/ubuntu/ vivid/main libthai0 amd64 0.1.21-1 [17.2 kB] Get:64 http://ftpmaster.internal/ubuntu/ vivid/main libpango-1.0-0 amd64 1.36.8-3 [152 kB] Get:65 http://ftpmaster.internal/ubuntu/ vivid/main libgraphite2-3 amd64 1.2.4-3ubuntu1 [54.6 kB] Get:66 http://ftpmaster.internal/ubuntu/ vivid/main libharfbuzz0b amd64 0.9.37-1 [132 kB] Get:67 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main ocaml-interp amd64 4.02.3-6ubuntu2~ubuntu15.04.1~ppa1 [295 kB] Get:68 http://ftpmaster.internal/ubuntu/ vivid/main libpangoft2-1.0-0 amd64 1.36.8-3 [33.4 kB] Get:69 http://ftpmaster.internal/ubuntu/ vivid/main libpangocairo-1.0-0 amd64 1.36.8-3 [20.6 kB] Get:70 http://ftpmaster.internal/ubuntu/ vivid/main libxcomposite1 amd64 1:0.4.4-1 [7714 B] Get:71 http://ftpmaster.internal/ubuntu/ vivid/main libxfixes3 amd64 1:5.0.1-2 [11.1 kB] Get:72 http://ftpmaster.internal/ubuntu/ vivid/main libxcursor1 amd64 1:1.1.14-1 [22.8 kB] Get:73 http://ftpmaster.internal/ubuntu/ vivid/main libxdamage1 amd64 1:1.1.4-2 [6946 B] Get:74 http://ftpmaster.internal/ubuntu/ vivid/main libxi6 amd64 2:1.7.4-1 [28.5 kB] Get:75 http://ftpmaster.internal/ubuntu/ vivid/main libxinerama1 amd64 2:1.1.3-1 [7908 B] Get:76 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main ocaml-nox amd64 4.02.3-6ubuntu2~ubuntu15.04.1~ppa1 [6005 kB] Get:77 http://ftpmaster.internal/ubuntu/ vivid/main libxrandr2 amd64 2:1.4.2-1 [16.6 kB] Get:78 http://ftpmaster.internal/ubuntu/ vivid/main shared-mime-info amd64 1.3-1 [389 kB] Get:79 http://ftpmaster.internal/ubuntu/ vivid/main libgtk2.0-0 amd64 2.24.27-0ubuntu1 [1784 kB] Get:80 http://ftpmaster.internal/ubuntu/ vivid/main libglade2-0 amd64 1:2.6.4-2 [44.6 kB] Get:81 http://ftpmaster.internal/ubuntu/ vivid/main libharfbuzz-gobject0 amd64 0.9.37-1 [11.1 kB] Get:82 http://ftpmaster.internal/ubuntu/ vivid/main libharfbuzz-icu0 amd64 0.9.37-1 [5446 B] Get:83 http://ftpmaster.internal/ubuntu/ vivid/main x11-common all 1:7.7+7ubuntu4 [58.6 kB] Get:84 http://ftpmaster.internal/ubuntu/ vivid/main libice6 amd64 2:1.0.9-1 [39.2 kB] Get:85 http://ftpmaster.internal/ubuntu/ vivid/main libijs-0.35 amd64 0.35-10build1 [15.6 kB] Get:86 http://ftpmaster.internal/ubuntu/ vivid/main liblcms2-2 amd64 2.6-3ubuntu2 [137 kB] Get:87 http://ftpmaster.internal/ubuntu/ vivid/main libxft2 amd64 2.3.2-1 [36.1 kB] Get:88 http://ftpmaster.internal/ubuntu/ vivid/main libpangoxft-1.0-0 amd64 1.36.8-3 [15.3 kB] Get:89 http://ftpmaster.internal/ubuntu/ vivid/main libpaper1 amd64 1.1.24+nmu2ubuntu3 [13.4 kB] Get:90 http://ftpmaster.internal/ubuntu/ vivid-security/main libpcrecpp0 amd64 2:8.35-3.3ubuntu1.1 [15.3 kB] Get:91 http://ftpmaster.internal/ubuntu/ vivid/main libpoppler49 amd64 0.30.0-0ubuntu1 [756 kB] Get:92 http://ftpmaster.internal/ubuntu/ vivid/main libsm6 amd64 2:1.2.2-1 [15.8 kB] Get:93 http://ftpmaster.internal/ubuntu/ vivid/main libunistring0 amd64 0.9.3-5.2ubuntu1 [279 kB] Get:94 http://ftpmaster.internal/ubuntu/ vivid/main libxt6 amd64 1:1.1.4-1 [185 kB] Get:95 http://ftpmaster.internal/ubuntu/ vivid/main libxmu6 amd64 2:1.1.2-1 [45.3 kB] Get:96 http://ftpmaster.internal/ubuntu/ vivid/main libxpm4 amd64 1:3.5.11-1 [33.1 kB] Get:97 http://ftpmaster.internal/ubuntu/ vivid/main libxaw7 amd64 2:1.0.12-2 [168 kB] Get:98 http://ftpmaster.internal/ubuntu/ vivid/main libzzip-0-13 amd64 0.13.62-3 [26.1 kB] Get:99 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main liblablgtk2-ocaml-dev amd64 2.18.3+dfsg-2~ubuntu15.04.1~ppa1 [1427 kB] Get:100 http://ftpmaster.internal/ubuntu/ vivid/main poppler-data all 0.4.7-1 [1476 kB] Get:101 http://ftpmaster.internal/ubuntu/ vivid/main libpython2.7-minimal amd64 2.7.9-2ubuntu3 [338 kB] Get:102 http://ftpmaster.internal/ubuntu/ vivid/main python2.7-minimal amd64 2.7.9-2ubuntu3 [1353 kB] Get:103 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main liblablgtksourceview2-ocaml amd64 2.18.3+dfsg-2~ubuntu15.04.1~ppa1 [95.0 kB] Get:104 http://ftpmaster.internal/ubuntu/ vivid/main python-minimal amd64 2.7.9-1 [28.2 kB] Get:105 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main liblablgtksourceview2-ocaml-dev amd64 2.18.3+dfsg-2~ubuntu15.04.1~ppa1 [116 kB] Get:106 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main ocaml-findlib amd64 1.6.2-1~ubuntu15.04.1~ppa1 [276 kB] Get:107 http://ftpmaster.internal/ubuntu/ vivid/main libpython2.7-stdlib amd64 2.7.9-2ubuntu3 [1850 kB] Get:108 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main ocaml-native-compilers amd64 4.02.3-6ubuntu2~ubuntu15.04.1~ppa1 [2557 kB] Get:109 http://ftpmaster.internal/ubuntu/ vivid/main python2.7 amd64 2.7.9-2ubuntu3 [210 kB] Get:110 http://ftpmaster.internal/ubuntu/ vivid/main libpython-stdlib amd64 2.7.9-1 [7754 B] Get:111 http://ftpmaster.internal/ubuntu/ vivid/main python amd64 2.7.9-1 [137 kB] Get:112 http://ftpmaster.internal/ubuntu/ vivid/main file amd64 1:5.20-1ubuntu2 [20.1 kB] Get:113 http://ftpmaster.internal/ubuntu/ vivid/main gettext-base amd64 0.19.2-2ubuntu1 [48.3 kB] Get:114 http://ftpmaster.internal/ubuntu/ vivid/main libgirepository-1.0-1 amd64 1.42.0-2.2 [88.3 kB] Get:115 http://ftpmaster.internal/ubuntu/ vivid/main gir1.2-glib-2.0 amd64 1.42.0-2.2 [124 kB] Get:116 http://ftpmaster.internal/ubuntu/ vivid-updates/main libglib2.0-data all 2.44.1-1ubuntu1 [123 kB] Get:117 http://ftpmaster.internal/ubuntu/ vivid/main gettext amd64 0.19.2-2ubuntu1 [851 kB] Get:118 http://ftpmaster.internal/ubuntu/ vivid/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:119 http://ftpmaster.internal/ubuntu/ vivid/main po-debconf all 1.0.16+nmu3 [207 kB] Get:120 http://ftpmaster.internal/ubuntu/ vivid/main dh-apparmor all 2.9.1-0ubuntu9 [11.1 kB] Get:121 http://ftpmaster.internal/ubuntu/ vivid/main debhelper all 9.20150101ubuntu1 [727 kB] Get:122 http://ppa.launchpad.net/jgross-h/coq-8.7-daily/ubuntu/ vivid/main camlp5 amd64 6.16-1~ubuntu15.04.1~ppa1 [2363 kB] Get:123 http://ftpmaster.internal/ubuntu/ vivid/main libjbig2dec0 amd64 0.11+20120125-1ubuntu1 [48.6 kB] Get:124 http://ftpmaster.internal/ubuntu/ vivid-security/main libgs9-common all 9.15+dfsg-0ubuntu2.1 [2092 kB] Get:125 http://ftpmaster.internal/ubuntu/ vivid-security/main libgs9 amd64 9.15+dfsg-0ubuntu2.1 [2060 kB] Get:126 http://ftpmaster.internal/ubuntu/ vivid/main gsfonts all 1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1 [3374 kB] Get:127 http://ftpmaster.internal/ubuntu/ vivid-security/main ghostscript amd64 9.15+dfsg-0ubuntu2.1 [41.2 kB] Get:128 http://ftpmaster.internal/ubuntu/ vivid/main gir1.2-atk-1.0 amd64 2.14.0-1ubuntu1 [17.6 kB] Get:129 http://ftpmaster.internal/ubuntu/ vivid/main gir1.2-freedesktop amd64 1.42.0-2.2 [5798 B] Get:130 http://ftpmaster.internal/ubuntu/ vivid-security/main gir1.2-gdkpixbuf-2.0 amd64 2.31.3-1ubuntu0.2 [8120 B] Get:131 http://ftpmaster.internal/ubuntu/ vivid/main gir1.2-pango-1.0 amd64 1.36.8-3 [20.9 kB] Get:132 http://ftpmaster.internal/ubuntu/ vivid/main gir1.2-gtk-2.0 amd64 2.24.27-0ubuntu1 [172 kB] Get:133 http://ftpmaster.internal/ubuntu/ vivid/main libnetpbm10 amd64 2:10.0-15.2 [58.1 kB] Get:134 http://ftpmaster.internal/ubuntu/ vivid/main netpbm amd64 2:10.0-15.2 [989 kB] Get:135 http://ftpmaster.internal/ubuntu/ vivid/main xdg-utils all 1.1.0~rc1-2ubuntu10 [53.8 kB] Get:136 http://ftpmaster.internal/ubuntu/ vivid/main libkpathsea6 amd64 2014.20140926.35254-6build1 [54.3 kB] Get:137 http://ftpmaster.internal/ubuntu/ vivid/main libptexenc1 amd64 2014.20140926.35254-6build1 [33.9 kB] Get:138 http://ftpmaster.internal/ubuntu/ vivid/main libpotrace0 amd64 1.12-1 [17.8 kB] Get:139 http://ftpmaster.internal/ubuntu/ vivid/main libsynctex1 amd64 2014.20140926.35254-6build1 [40.8 kB] Get:140 http://ftpmaster.internal/ubuntu/ vivid/main tex-common all 5.03 [606 kB] Get:141 http://ftpmaster.internal/ubuntu/ vivid/main texlive-binaries amd64 2014.20140926.35254-6build1 [9199 kB] Get:142 http://ftpmaster.internal/ubuntu/ vivid/main libpaper-utils amd64 1.1.24+nmu2ubuntu3 [8244 B] Get:143 http://ftpmaster.internal/ubuntu/ vivid/main texlive-base all 2014.20141024-2ubuntu1 [17.7 MB] Get:144 http://ftpmaster.internal/ubuntu/ vivid-security/main icu-devtools amd64 52.1-8ubuntu0.2 [164 kB] Get:145 http://ftpmaster.internal/ubuntu/ vivid/main pkg-config amd64 0.28-1ubuntu1 [40.0 kB] Get:146 http://ftpmaster.internal/ubuntu/ vivid-updates/main libglib2.0-bin amd64 2.44.1-1ubuntu1 [39.0 kB] Get:147 http://ftpmaster.internal/ubuntu/ vivid-security/main libpcre3-dev amd64 2:8.35-3.3ubuntu1.1 [338 kB] Get:148 http://ftpmaster.internal/ubuntu/ vivid/main zlib1g-dev amd64 1:1.2.8.dfsg-2ubuntu1 [169 kB] Get:149 http://ftpmaster.internal/ubuntu/ vivid-updates/main libglib2.0-dev amd64 2.44.1-1ubuntu1 [1363 kB] Get:150 http://ftpmaster.internal/ubuntu/ vivid/main libatk1.0-dev amd64 2.14.0-1ubuntu1 [78.4 kB] Get:151 http://ftpmaster.internal/ubuntu/ vivid-security/main libexpat1-dev amd64 2.1.0-6ubuntu1.1 [115 kB] Get:152 http://ftpmaster.internal/ubuntu/ vivid-security/main libpng12-dev amd64 1.2.51-0ubuntu3.15.04.2 [208 kB] Get:153 http://ftpmaster.internal/ubuntu/ vivid-security/main libfreetype6-dev amd64 2.5.2-2ubuntu3.1 [633 kB] Get:154 http://ftpmaster.internal/ubuntu/ vivid/main libfontconfig1-dev amd64 2.11.1-0ubuntu6 [641 kB] Get:155 http://ftpmaster.internal/ubuntu/ vivid/main xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:156 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-core-dev all 7.0.26-1 [700 kB] Get:157 http://ftpmaster.internal/ubuntu/ vivid/main libxau-dev amd64 1:1.0.8-1 [11.1 kB] Get:158 http://ftpmaster.internal/ubuntu/ vivid/main libxdmcp-dev amd64 1:1.1.1-1build1 [24.6 kB] Get:159 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-input-dev all 2.3.1-1 [118 kB] Get:160 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-kb-dev all 1.0.6-2 [269 kB] Get:161 http://ftpmaster.internal/ubuntu/ vivid/main xtrans-dev all 1.3.5-1 [70.5 kB] Get:162 http://ftpmaster.internal/ubuntu/ vivid/main libpthread-stubs0-dev amd64 0.3-4 [4068 B] Get:163 http://ftpmaster.internal/ubuntu/ vivid/main libxcb1-dev amd64 1.10-2ubuntu1 [76.6 kB] Get:164 http://ftpmaster.internal/ubuntu/ vivid/main libx11-dev amd64 2:1.6.2-2ubuntu2 [640 kB] Get:165 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:166 http://ftpmaster.internal/ubuntu/ vivid/main libxrender-dev amd64 1:0.9.8-1build1 [24.5 kB] Get:167 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-xext-dev all 7.3.0-1 [212 kB] Get:168 http://ftpmaster.internal/ubuntu/ vivid/main libxext-dev amd64 2:1.3.3-1 [82.1 kB] Get:169 http://ftpmaster.internal/ubuntu/ vivid/main libice-dev amd64 2:1.0.9-1 [44.9 kB] Get:170 http://ftpmaster.internal/ubuntu/ vivid/main libsm-dev amd64 2:1.2.2-1 [16.2 kB] Get:171 http://ftpmaster.internal/ubuntu/ vivid/main libpixman-1-dev amd64 0.32.6-3 [253 kB] Get:172 http://ftpmaster.internal/ubuntu/ vivid/main libxcb-render0-dev amd64 1.10-2ubuntu1 [16.7 kB] Get:173 http://ftpmaster.internal/ubuntu/ vivid/main libxcb-shm0-dev amd64 1.10-2ubuntu1 [6868 B] Get:174 http://ftpmaster.internal/ubuntu/ vivid/main libcairo2-dev amd64 1.14.2-1ubuntu1 [594 kB] Get:175 http://ftpmaster.internal/ubuntu/ vivid/main libenchant-dev amd64 1.6.0-10.1 [53.1 kB] Get:176 http://ftpmaster.internal/ubuntu/ vivid-security/main libgdk-pixbuf2.0-dev amd64 2.31.3-1ubuntu0.2 [44.4 kB] Get:177 http://ftpmaster.internal/ubuntu/ vivid/main libharfbuzz-dev amd64 0.9.37-1 [179 kB] Get:178 http://ftpmaster.internal/ubuntu/ vivid/main libxft-dev amd64 2.3.2-1 [45.7 kB] Get:179 http://ftpmaster.internal/ubuntu/ vivid/main libpango1.0-dev amd64 1.36.8-3 [288 kB] Get:180 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:181 http://ftpmaster.internal/ubuntu/ vivid/main libxinerama-dev amd64 2:1.1.3-1 [8404 B] Get:182 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:183 http://ftpmaster.internal/ubuntu/ vivid/main libxfixes-dev amd64 1:5.0.1-2 [10.9 kB] Get:184 http://ftpmaster.internal/ubuntu/ vivid/main libxi-dev amd64 2:1.7.4-1 [185 kB] Get:185 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1 [32.9 kB] Get:186 http://ftpmaster.internal/ubuntu/ vivid/main libxrandr-dev amd64 2:1.4.2-1 [22.6 kB] Get:187 http://ftpmaster.internal/ubuntu/ vivid/main libxcursor-dev amd64 1:1.1.14-1 [29.8 kB] Get:188 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:189 http://ftpmaster.internal/ubuntu/ vivid/main libxcomposite-dev amd64 1:0.4.4-1 [9954 B] Get:190 http://ftpmaster.internal/ubuntu/ vivid/main x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:191 http://ftpmaster.internal/ubuntu/ vivid/main libxdamage-dev amd64 1:1.1.4-2 [5028 B] Get:192 http://ftpmaster.internal/ubuntu/ vivid-security/main libxml2-utils amd64 2.9.2+dfsg1-3ubuntu0.3 [35.8 kB] Get:193 http://ftpmaster.internal/ubuntu/ vivid/main libgtk2.0-dev amd64 2.24.27-0ubuntu1 [2602 kB] Get:194 http://ftpmaster.internal/ubuntu/ vivid-security/main libicu-dev amd64 52.1-8ubuntu0.2 [7638 kB] Get:195 http://ftpmaster.internal/ubuntu/ vivid-security/main libxml2-dev amd64 2.9.2+dfsg1-3ubuntu0.3 [764 kB] Get:196 http://ftpmaster.internal/ubuntu/ vivid/main libglade2-dev amd64 1:2.6.4-2 [73.0 kB] Get:197 http://ftpmaster.internal/ubuntu/ vivid-updates/universe libgtksourceview2.0-common all 2.10.5-2ubuntu1.1 [434 kB] Get:198 http://ftpmaster.internal/ubuntu/ vivid-updates/universe libgtksourceview2.0-0 amd64 2.10.5-2ubuntu1.1 [147 kB] Get:199 http://ftpmaster.internal/ubuntu/ vivid-updates/universe libgtksourceview2.0-dev amd64 2.10.5-2ubuntu1.1 [166 kB] Get:200 http://ftpmaster.internal/ubuntu/ vivid/main libgtkspell0 amd64 2.0.16-1ubuntu7 [11.0 kB] Get:201 http://ftpmaster.internal/ubuntu/ vivid/main libgtkspell-dev amd64 2.0.16-1ubuntu7 [22.9 kB] Get:202 http://ftpmaster.internal/ubuntu/ vivid/main libtinfo-dev amd64 5.9+20140712-2ubuntu2 [77.1 kB] Get:203 http://ftpmaster.internal/ubuntu/ vivid/main libncurses5-dev amd64 5.9+20140712-2ubuntu2 [175 kB] Get:204 http://ftpmaster.internal/ubuntu/ vivid/main preview-latex-style all 11.88-1ubuntu1 [186 kB] Get:205 http://ftpmaster.internal/ubuntu/ vivid/main texlive-latex-base all 2014.20141024-2ubuntu1 [839 kB] Get:206 http://ftpmaster.internal/ubuntu/ vivid/main texlive-latex-recommended all 2014.20141024-2ubuntu1 [7601 kB] Get:207 http://ftpmaster.internal/ubuntu/ vivid/main texlive-pictures all 2014.20141024-2ubuntu1 [3017 kB] Get:208 http://ftpmaster.internal/ubuntu/ vivid/main texlive-latex-extra all 2014.20141024-1 [7573 kB] Get:209 http://ftpmaster.internal/ubuntu/ vivid/main dh-ocaml all 1.0.9 [80.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 130 MB in 11s (11.7 MB/s) Selecting previously unselected package libmagic1: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 ... 12641 files and directories currently installed.) Preparing to unpack .../libmagic1_1%3a5.20-1ubuntu2_amd64.deb ... Unpacking libmagic1:amd64 (1:5.20-1ubuntu2) ... Selecting previously unselected package libasprintf0c2:amd64. Preparing to unpack .../libasprintf0c2_0.19.2-2ubuntu1_amd64.deb ... Unpacking libasprintf0c2:amd64 (0.19.2-2ubuntu1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../libelf1_0.160-0ubuntu3_amd64.deb ... Unpacking libelf1:amd64 (0.160-0ubuntu3) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../libglib2.0-0_2.44.1-1ubuntu1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.44.1-1ubuntu1) ... Selecting previously unselected package libicu52:amd64. Preparing to unpack .../libicu52_52.1-8ubuntu0.2_amd64.deb ... Unpacking libicu52:amd64 (52.1-8ubuntu0.2) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../libpipeline1_1.4.0-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.0-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../libxdmcp6_1%3a1.1.1-1build1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.1-1build1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../libxcb1_1.10-2ubuntu1_amd64.deb ... Unpacking libxcb1:amd64 (1.10-2ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../libx11-data_2%3a1.6.2-2ubuntu2_all.deb ... Unpacking libx11-data (2:1.6.2-2ubuntu2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../libx11-6_2%3a1.6.2-2ubuntu2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.2-2ubuntu2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../libxext6_2%3a1.3.3-1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../libxml2_2.9.2+dfsg1-3ubuntu0.3_amd64.deb ... Unpacking libxml2:amd64 (2.9.2+dfsg1-3ubuntu0.3) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.3-1_amd64.deb ... Unpacking groff-base (1.22.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.6ubuntu1_amd64.deb ... Unpacking bsdmainutils (9.0.6ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.7.0.2-5_amd64.deb ... Unpacking man-db (2.7.0.2-5) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../fonts-dejavu-core_2.34-1ubuntu1_all.deb ... Unpacking fonts-dejavu-core (2.34-1ubuntu1) ... Selecting previously unselected package ucf. Preparing to unpack .../archives/ucf_3.0030_all.deb ... Moving old data out of the way Unpacking ucf (3.0030) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../fontconfig-config_2.11.1-0ubuntu6_all.deb ... Unpacking fontconfig-config (2.11.1-0ubuntu6) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../libfreetype6_2.5.2-2ubuntu3.1_amd64.deb ... Unpacking libfreetype6:amd64 (2.5.2-2ubuntu3.1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../libfontconfig1_2.11.1-0ubuntu6_amd64.deb ... Unpacking libfontconfig1:amd64 (2.11.1-0ubuntu6) ... Selecting previously unselected package fontconfig. Preparing to unpack .../fontconfig_2.11.1-0ubuntu6_amd64.deb ... Unpacking fontconfig (2.11.1-0ubuntu6) ... Selecting previously unselected package libaspell15:amd64. Preparing to unpack .../libaspell15_0.60.7~20110707-1.3_amd64.deb ... Unpacking libaspell15:amd64 (0.60.7~20110707-1.3) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../libatk1.0-data_2.14.0-1ubuntu1_all.deb ... Unpacking libatk1.0-data (2.14.0-1ubuntu1) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../libatk1.0-0_2.14.0-1ubuntu1_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.14.0-1ubuntu1) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../libavahi-common-data_0.6.31-4ubuntu4_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.31-4ubuntu4) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../libavahi-common3_0.6.31-4ubuntu4_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.31-4ubuntu4) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../libavahi-client3_0.6.31-4ubuntu4_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.31-4ubuntu4) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../libpixman-1-0_0.32.6-3_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.32.6-3) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../libxcb-render0_1.10-2ubuntu1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.10-2ubuntu1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../libxcb-shm0_1.10-2ubuntu1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.10-2ubuntu1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../libxrender1_1%3a0.9.8-1build1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.8-1build1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../libcairo2_1.14.2-1ubuntu1_amd64.deb ... Unpacking libcairo2:amd64 (1.14.2-1ubuntu1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../libcairo-gobject2_1.14.2-1ubuntu1_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.14.2-1ubuntu1) ... Selecting previously unselected package liblzo2-2:amd64. Preparing to unpack .../liblzo2-2_2.08-1.2_amd64.deb ... Unpacking liblzo2-2:amd64 (2.08-1.2) ... Selecting previously unselected package libcairo-script-interpreter2:amd64. Preparing to unpack .../libcairo-script-interpreter2_1.14.2-1ubuntu1_amd64.deb ... Unpacking libcairo-script-interpreter2:amd64 (1.14.2-1ubuntu1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../libcroco3_0.6.8-3_amd64.deb ... Unpacking libcroco3:amd64 (0.6.8-3) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../libcups2_2.0.2-1ubuntu3.2_amd64.deb ... Unpacking libcups2:amd64 (2.0.2-1ubuntu3.2) ... Selecting previously unselected package libjpeg-turbo8:amd64. Preparing to unpack .../libjpeg-turbo8_1.3.0-0ubuntu2_amd64.deb ... Unpacking libjpeg-turbo8:amd64 (1.3.0-0ubuntu2) ... Selecting previously unselected package libjpeg8:amd64. Preparing to unpack .../libjpeg8_8c-2ubuntu8_amd64.deb ... Unpacking libjpeg8:amd64 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../libjbig0_2.1-3.1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../libtiff5_4.0.3-12.3ubuntu2_amd64.deb ... Unpacking libtiff5:amd64 (4.0.3-12.3ubuntu2) ... Selecting previously unselected package libcupsfilters1:amd64. Preparing to unpack .../libcupsfilters1_1.0.67-0ubuntu2.6_amd64.deb ... Unpacking libcupsfilters1:amd64 (1.0.67-0ubuntu2.6) ... Selecting previously unselected package libcupsimage2:amd64. Preparing to unpack .../libcupsimage2_2.0.2-1ubuntu3.2_amd64.deb ... Unpacking libcupsimage2:amd64 (2.0.2-1ubuntu3.2) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../libdatrie1_0.2.8-1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.8-1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../libtext-iconv-perl_1.7-5build3_amd64.deb ... Unpacking libtext-iconv-perl (1.7-5build3) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../dictionaries-common_1.23.17_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.23.17) ... Selecting previously unselected package aspell. Preparing to unpack .../aspell_0.60.7~20110707-1.3_amd64.deb ... Unpacking aspell (0.60.7~20110707-1.3) ... Selecting previously unselected package aspell-en. Preparing to unpack .../aspell-en_7.1-0-1.1_all.deb ... Unpacking aspell-en (7.1-0-1.1) ... Selecting previously unselected package libhunspell-1.3-0:amd64. Preparing to unpack .../libhunspell-1.3-0_1.3.3-3_amd64.deb ... Unpacking libhunspell-1.3-0:amd64 (1.3.3-3) ... Selecting previously unselected package libenchant1c2a:amd64. Preparing to unpack .../libenchant1c2a_1.6.0-10.1_amd64.deb ... Unpacking libenchant1c2a:amd64 (1.6.0-10.1) ... Selecting previously unselected package libjasper1:amd64. Preparing to unpack .../libjasper1_1.900.1-debian1-2.4_amd64.deb ... Unpacking libjasper1:amd64 (1.900.1-debian1-2.4) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../libgdk-pixbuf2.0-common_2.31.3-1ubuntu0.2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.31.3-1ubuntu0.2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../libgdk-pixbuf2.0-0_2.31.3-1ubuntu0.2_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.31.3-1ubuntu0.2) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../libgtk2.0-common_2.24.27-0ubuntu1_all.deb ... Unpacking libgtk2.0-common (2.24.27-0ubuntu1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../libthai-data_0.1.21-1_all.deb ... Unpacking libthai-data (0.1.21-1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../libthai0_0.1.21-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.21-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../libpango-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../libgraphite2-3_1.2.4-3ubuntu1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.2.4-3ubuntu1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../libharfbuzz0b_0.9.37-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (0.9.37-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../libpangoft2-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../libpangocairo-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.4-1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../libxfixes3_1%3a5.0.1-2_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.1-2) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../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 .../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 .../libxi6_2%3a1.7.4-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.4-1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../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 .../libxrandr2_2%3a1.4.2-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.4.2-1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../shared-mime-info_1.3-1_amd64.deb ... Unpacking shared-mime-info (1.3-1) ... Selecting previously unselected package libgtk2.0-0:amd64. Preparing to unpack .../libgtk2.0-0_2.24.27-0ubuntu1_amd64.deb ... Unpacking libgtk2.0-0:amd64 (2.24.27-0ubuntu1) ... Selecting previously unselected package libglade2-0:amd64. Preparing to unpack .../libglade2-0_1%3a2.6.4-2_amd64.deb ... Unpacking libglade2-0:amd64 (1:2.6.4-2) ... Selecting previously unselected package libharfbuzz-gobject0:amd64. Preparing to unpack .../libharfbuzz-gobject0_0.9.37-1_amd64.deb ... Unpacking libharfbuzz-gobject0:amd64 (0.9.37-1) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../libharfbuzz-icu0_0.9.37-1_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (0.9.37-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../x11-common_1%3a7.7+7ubuntu4_all.deb ... 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 Unpacking x11-common (1:7.7+7ubuntu4) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../libice6_2%3a1.0.9-1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.9-1) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../libijs-0.35_0.35-10build1_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-10build1) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../liblcms2-2_2.6-3ubuntu2_amd64.deb ... Unpacking liblcms2-2:amd64 (2.6-3ubuntu2) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../libxft2_2.3.2-1_amd64.deb ... Unpacking libxft2:amd64 (2.3.2-1) ... Selecting previously unselected package libpangoxft-1.0-0:amd64. Preparing to unpack .../libpangoxft-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpangoxft-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../libpaper1_1.1.24+nmu2ubuntu3_amd64.deb ... Unpacking libpaper1:amd64 (1.1.24+nmu2ubuntu3) ... Selecting previously unselected package libpcrecpp0:amd64. Preparing to unpack .../libpcrecpp0_2%3a8.35-3.3ubuntu1.1_amd64.deb ... Unpacking libpcrecpp0:amd64 (2:8.35-3.3ubuntu1.1) ... Selecting previously unselected package libpoppler49:amd64. Preparing to unpack .../libpoppler49_0.30.0-0ubuntu1_amd64.deb ... Unpacking libpoppler49:amd64 (0.30.0-0ubuntu1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../libsm6_2%3a1.2.2-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.2-1) ... Selecting previously unselected package libunistring0:amd64. Preparing to unpack .../libunistring0_0.9.3-5.2ubuntu1_amd64.deb ... Unpacking libunistring0:amd64 (0.9.3-5.2ubuntu1) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../libxt6_1%3a1.1.4-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.4-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../libxmu6_2%3a1.1.2-1_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.2-1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../libxpm4_1%3a3.5.11-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.11-1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../libxaw7_2%3a1.0.12-2_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.12-2) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../libzzip-0-13_0.13.62-3_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.62-3) ... Selecting previously unselected package poppler-data. Preparing to unpack .../poppler-data_0.4.7-1_all.deb ... Unpacking poppler-data (0.4.7-1) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../libpython2.7-minimal_2.7.9-2ubuntu3_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.9-2ubuntu3) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../python2.7-minimal_2.7.9-2ubuntu3_amd64.deb ... Unpacking python2.7-minimal (2.7.9-2ubuntu3) ... Selecting previously unselected package python-minimal. Preparing to unpack .../python-minimal_2.7.9-1_amd64.deb ... Unpacking python-minimal (2.7.9-1) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../libpython2.7-stdlib_2.7.9-2ubuntu3_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.9-2ubuntu3) ... Selecting previously unselected package python2.7. Preparing to unpack .../python2.7_2.7.9-2ubuntu3_amd64.deb ... Unpacking python2.7 (2.7.9-2ubuntu3) ... Selecting previously unselected package libpython-stdlib:amd64. Preparing to unpack .../libpython-stdlib_2.7.9-1_amd64.deb ... Unpacking libpython-stdlib:amd64 (2.7.9-1) ... Processing triggers for mime-support (3.58ubuntu1) ... Processing triggers for systemd (219-7ubuntu6) ... Setting up libpython2.7-minimal:amd64 (2.7.9-2ubuntu3) ... Setting up python2.7-minimal (2.7.9-2ubuntu3) ... Linking and byte-compiling packages for runtime python2.7... Setting up python-minimal (2.7.9-1) ... 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 ... 15817 files and directories currently installed.) Preparing to unpack .../python_2.7.9-1_amd64.deb ... Unpacking python (2.7.9-1) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.20-1ubuntu2_amd64.deb ... Unpacking file (1:5.20-1ubuntu2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.19.2-2ubuntu1_amd64.deb ... Unpacking gettext-base (0.19.2-2ubuntu1) ... Selecting previously unselected package libgirepository-1.0-1:amd64. Preparing to unpack .../libgirepository-1.0-1_1.42.0-2.2_amd64.deb ... Unpacking libgirepository-1.0-1:amd64 (1.42.0-2.2) ... Selecting previously unselected package gir1.2-glib-2.0:amd64. Preparing to unpack .../gir1.2-glib-2.0_1.42.0-2.2_amd64.deb ... Unpacking gir1.2-glib-2.0:amd64 (1.42.0-2.2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../libglib2.0-data_2.44.1-1ubuntu1_all.deb ... Unpacking libglib2.0-data (2.44.1-1ubuntu1) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.19.2-2ubuntu1_amd64.deb ... Unpacking gettext (0.19.2-2ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu3_all.deb ... Unpacking po-debconf (1.0.16+nmu3) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.9.1-0ubuntu9_all.deb ... Unpacking dh-apparmor (2.9.1-0ubuntu9) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20150101ubuntu1_all.deb ... Unpacking debhelper (9.20150101ubuntu1) ... Selecting previously unselected package libjbig2dec0. Preparing to unpack .../libjbig2dec0_0.11+20120125-1ubuntu1_amd64.deb ... Unpacking libjbig2dec0 (0.11+20120125-1ubuntu1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../libgs9-common_9.15+dfsg-0ubuntu2.1_all.deb ... Unpacking libgs9-common (9.15+dfsg-0ubuntu2.1) ... Selecting previously unselected package libgs9. Preparing to unpack .../libgs9_9.15+dfsg-0ubuntu2.1_amd64.deb ... Unpacking libgs9 (9.15+dfsg-0ubuntu2.1) ... Selecting previously unselected package gsfonts. Preparing to unpack .../gsfonts_1%3a8.11+urwcyr1.0.7~pre44-4.2ubuntu1_all.deb ... Unpacking gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1) ... Selecting previously unselected package ghostscript. Preparing to unpack .../ghostscript_9.15+dfsg-0ubuntu2.1_amd64.deb ... Unpacking ghostscript (9.15+dfsg-0ubuntu2.1) ... Selecting previously unselected package gir1.2-atk-1.0. Preparing to unpack .../gir1.2-atk-1.0_2.14.0-1ubuntu1_amd64.deb ... Unpacking gir1.2-atk-1.0 (2.14.0-1ubuntu1) ... Selecting previously unselected package gir1.2-freedesktop:amd64. Preparing to unpack .../gir1.2-freedesktop_1.42.0-2.2_amd64.deb ... Unpacking gir1.2-freedesktop:amd64 (1.42.0-2.2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0. Preparing to unpack .../gir1.2-gdkpixbuf-2.0_2.31.3-1ubuntu0.2_amd64.deb ... Unpacking gir1.2-gdkpixbuf-2.0 (2.31.3-1ubuntu0.2) ... Selecting previously unselected package gir1.2-pango-1.0:amd64. Preparing to unpack .../gir1.2-pango-1.0_1.36.8-3_amd64.deb ... Unpacking gir1.2-pango-1.0:amd64 (1.36.8-3) ... Selecting previously unselected package gir1.2-gtk-2.0. Preparing to unpack .../gir1.2-gtk-2.0_2.24.27-0ubuntu1_amd64.deb ... Unpacking gir1.2-gtk-2.0 (2.24.27-0ubuntu1) ... Selecting previously unselected package libnetpbm10. Preparing to unpack .../libnetpbm10_2%3a10.0-15.2_amd64.deb ... Unpacking libnetpbm10 (2:10.0-15.2) ... Selecting previously unselected package netpbm. Preparing to unpack .../netpbm_2%3a10.0-15.2_amd64.deb ... Unpacking netpbm (2:10.0-15.2) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../xdg-utils_1.1.0~rc1-2ubuntu10_all.deb ... Unpacking xdg-utils (1.1.0~rc1-2ubuntu10) ... Selecting previously unselected package libkpathsea6. Preparing to unpack .../libkpathsea6_2014.20140926.35254-6build1_amd64.deb ... Unpacking libkpathsea6 (2014.20140926.35254-6build1) ... Selecting previously unselected package libptexenc1. Preparing to unpack .../libptexenc1_2014.20140926.35254-6build1_amd64.deb ... Unpacking libptexenc1 (2014.20140926.35254-6build1) ... Selecting previously unselected package libpotrace0. Preparing to unpack .../libpotrace0_1.12-1_amd64.deb ... Unpacking libpotrace0 (1.12-1) ... Selecting previously unselected package libsynctex1. Preparing to unpack .../libsynctex1_2014.20140926.35254-6build1_amd64.deb ... Unpacking libsynctex1 (2014.20140926.35254-6build1) ... Selecting previously unselected package tex-common. Preparing to unpack .../tex-common_5.03_all.deb ... Unpacking tex-common (5.03) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../texlive-binaries_2014.20140926.35254-6build1_amd64.deb ... Unpacking texlive-binaries (2014.20140926.35254-6build1) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../libpaper-utils_1.1.24+nmu2ubuntu3_amd64.deb ... Unpacking libpaper-utils (1.1.24+nmu2ubuntu3) ... Selecting previously unselected package texlive-base. Preparing to unpack .../texlive-base_2014.20141024-2ubuntu1_all.deb ... Unpacking texlive-base (2014.20141024-2ubuntu1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../ocaml-base-nox_4.02.3-6ubuntu2~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking ocaml-base-nox (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Selecting previously unselected package hevea. Preparing to unpack .../hevea_2.29-1~ubuntu15.04.1~ppa2_all.deb ... Unpacking hevea (2.29-1~ubuntu15.04.1~ppa2) ... Selecting previously unselected package icu-devtools. Preparing to unpack .../icu-devtools_52.1-8ubuntu0.2_amd64.deb ... Unpacking icu-devtools (52.1-8ubuntu0.2) ... Selecting previously unselected package pkg-config. Preparing to unpack .../pkg-config_0.28-1ubuntu1_amd64.deb ... Unpacking pkg-config (0.28-1ubuntu1) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../libglib2.0-bin_2.44.1-1ubuntu1_amd64.deb ... Unpacking libglib2.0-bin (2.44.1-1ubuntu1) ... Selecting previously unselected package libpcre3-dev:amd64. Preparing to unpack .../libpcre3-dev_2%3a8.35-3.3ubuntu1.1_amd64.deb ... Unpacking libpcre3-dev:amd64 (2:8.35-3.3ubuntu1.1) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-2ubuntu1_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.8.dfsg-2ubuntu1) ... Selecting previously unselected package libglib2.0-dev. Preparing to unpack .../libglib2.0-dev_2.44.1-1ubuntu1_amd64.deb ... Unpacking libglib2.0-dev (2.44.1-1ubuntu1) ... Selecting previously unselected package libatk1.0-dev. Preparing to unpack .../libatk1.0-dev_2.14.0-1ubuntu1_amd64.deb ... Unpacking libatk1.0-dev (2.14.0-1ubuntu1) ... Selecting previously unselected package libexpat1-dev:amd64. Preparing to unpack .../libexpat1-dev_2.1.0-6ubuntu1.1_amd64.deb ... Unpacking libexpat1-dev:amd64 (2.1.0-6ubuntu1.1) ... Selecting previously unselected package libpng12-dev:amd64. Preparing to unpack .../libpng12-dev_1.2.51-0ubuntu3.15.04.2_amd64.deb ... Unpacking libpng12-dev:amd64 (1.2.51-0ubuntu3.15.04.2) ... Selecting previously unselected package libfreetype6-dev:amd64. Preparing to unpack .../libfreetype6-dev_2.5.2-2ubuntu3.1_amd64.deb ... Unpacking libfreetype6-dev:amd64 (2.5.2-2ubuntu3.1) ... Selecting previously unselected package libfontconfig1-dev:amd64. Preparing to unpack .../libfontconfig1-dev_2.11.1-0ubuntu6_amd64.deb ... Unpacking libfontconfig1-dev:amd64 (2.11.1-0ubuntu6) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../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 .../x11proto-core-dev_7.0.26-1_all.deb ... Unpacking x11proto-core-dev (7.0.26-1) ... Selecting previously unselected package libxau-dev:amd64. Preparing to unpack .../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 .../libxdmcp-dev_1%3a1.1.1-1build1_amd64.deb ... Unpacking libxdmcp-dev:amd64 (1:1.1.1-1build1) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../x11proto-input-dev_2.3.1-1_all.deb ... Unpacking x11proto-input-dev (2.3.1-1) ... Selecting previously unselected package x11proto-kb-dev. Preparing to unpack .../x11proto-kb-dev_1.0.6-2_all.deb ... Unpacking x11proto-kb-dev (1.0.6-2) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../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 .../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 .../libxcb1-dev_1.10-2ubuntu1_amd64.deb ... Unpacking libxcb1-dev:amd64 (1.10-2ubuntu1) ... Selecting previously unselected package libx11-dev:amd64. Preparing to unpack .../libx11-dev_2%3a1.6.2-2ubuntu2_amd64.deb ... Unpacking libx11-dev:amd64 (2:1.6.2-2ubuntu2) ... Selecting previously unselected package x11proto-render-dev. Preparing to unpack .../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 .../libxrender-dev_1%3a0.9.8-1build1_amd64.deb ... Unpacking libxrender-dev:amd64 (1:0.9.8-1build1) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../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 .../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 .../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 .../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 .../libpixman-1-dev_0.32.6-3_amd64.deb ... Unpacking libpixman-1-dev (0.32.6-3) ... Selecting previously unselected package libxcb-render0-dev:amd64. Preparing to unpack .../libxcb-render0-dev_1.10-2ubuntu1_amd64.deb ... Unpacking libxcb-render0-dev:amd64 (1.10-2ubuntu1) ... Selecting previously unselected package libxcb-shm0-dev:amd64. Preparing to unpack .../libxcb-shm0-dev_1.10-2ubuntu1_amd64.deb ... Unpacking libxcb-shm0-dev:amd64 (1.10-2ubuntu1) ... Selecting previously unselected package libcairo2-dev. Preparing to unpack .../libcairo2-dev_1.14.2-1ubuntu1_amd64.deb ... Unpacking libcairo2-dev (1.14.2-1ubuntu1) ... Selecting previously unselected package libenchant-dev. Preparing to unpack .../libenchant-dev_1.6.0-10.1_amd64.deb ... Unpacking libenchant-dev (1.6.0-10.1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../libfindlib-ocaml_1.6.2-1~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking libfindlib-ocaml (1.6.2-1~ubuntu15.04.1~ppa1) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Preparing to unpack .../libgdk-pixbuf2.0-dev_2.31.3-1ubuntu0.2_amd64.deb ... Unpacking libgdk-pixbuf2.0-dev (2.31.3-1ubuntu0.2) ... Selecting previously unselected package libharfbuzz-dev. Preparing to unpack .../libharfbuzz-dev_0.9.37-1_amd64.deb ... Unpacking libharfbuzz-dev (0.9.37-1) ... Selecting previously unselected package libxft-dev. Preparing to unpack .../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 .../libpango1.0-dev_1.36.8-3_amd64.deb ... Unpacking libpango1.0-dev (1.36.8-3) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../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 .../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 .../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 .../libxfixes-dev_1%3a5.0.1-2_amd64.deb ... Unpacking libxfixes-dev:amd64 (1:5.0.1-2) ... Selecting previously unselected package libxi-dev. Preparing to unpack .../libxi-dev_2%3a1.7.4-1_amd64.deb ... Unpacking libxi-dev (2:1.7.4-1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../x11proto-randr-dev_1.4.0+git20120101.is.really.1.4.0-0ubuntu1_all.deb ... Unpacking x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1) ... Selecting previously unselected package libxrandr-dev:amd64. Preparing to unpack .../libxrandr-dev_2%3a1.4.2-1_amd64.deb ... Unpacking libxrandr-dev:amd64 (2:1.4.2-1) ... Selecting previously unselected package libxcursor-dev:amd64. Preparing to unpack .../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 .../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. Preparing to unpack .../libxcomposite-dev_1%3a0.4.4-1_amd64.deb ... Unpacking libxcomposite-dev (1:0.4.4-1) ... Selecting previously unselected package x11proto-damage-dev. Preparing to unpack .../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 .../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 .../libxml2-utils_2.9.2+dfsg1-3ubuntu0.3_amd64.deb ... Unpacking libxml2-utils (2.9.2+dfsg1-3ubuntu0.3) ... Selecting previously unselected package libgtk2.0-dev. Preparing to unpack .../libgtk2.0-dev_2.24.27-0ubuntu1_amd64.deb ... Unpacking libgtk2.0-dev (2.24.27-0ubuntu1) ... Selecting previously unselected package libicu-dev:amd64. Preparing to unpack .../libicu-dev_52.1-8ubuntu0.2_amd64.deb ... Unpacking libicu-dev:amd64 (52.1-8ubuntu0.2) ... Selecting previously unselected package libxml2-dev:amd64. Preparing to unpack .../libxml2-dev_2.9.2+dfsg1-3ubuntu0.3_amd64.deb ... Unpacking libxml2-dev:amd64 (2.9.2+dfsg1-3ubuntu0.3) ... Selecting previously unselected package libglade2-dev:amd64. Preparing to unpack .../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 .../libgtksourceview2.0-common_2.10.5-2ubuntu1.1_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-2ubuntu1.1) ... Selecting previously unselected package libgtksourceview2.0-0. Preparing to unpack .../libgtksourceview2.0-0_2.10.5-2ubuntu1.1_amd64.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-2ubuntu1.1) ... Selecting previously unselected package libgtksourceview2.0-dev. Preparing to unpack .../libgtksourceview2.0-dev_2.10.5-2ubuntu1.1_amd64.deb ... Unpacking libgtksourceview2.0-dev (2.10.5-2ubuntu1.1) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../libgtkspell0_2.0.16-1ubuntu7_amd64.deb ... Unpacking libgtkspell0 (2.0.16-1ubuntu7) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../libgtkspell-dev_2.0.16-1ubuntu7_amd64.deb ... Unpacking libgtkspell-dev (2.0.16-1ubuntu7) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../liblablgtk2-ocaml_2.18.3+dfsg-2~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2~ubuntu15.04.1~ppa1) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../libtinfo-dev_5.9+20140712-2ubuntu2_amd64.deb ... Unpacking libtinfo-dev:amd64 (5.9+20140712-2ubuntu2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../libncurses5-dev_5.9+20140712-2ubuntu2_amd64.deb ... Unpacking libncurses5-dev:amd64 (5.9+20140712-2ubuntu2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../ocaml-compiler-libs_4.02.3-6ubuntu2~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking ocaml-compiler-libs (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../ocaml-interp_4.02.3-6ubuntu2~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking ocaml-interp (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../ocaml-nox_4.02.3-6ubuntu2~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking ocaml-nox (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Preparing to unpack .../liblablgtk2-ocaml-dev_2.18.3+dfsg-2~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking liblablgtk2-ocaml-dev (2.18.3+dfsg-2~ubuntu15.04.1~ppa1) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../liblablgtksourceview2-ocaml_2.18.3+dfsg-2~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2~ubuntu15.04.1~ppa1) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Preparing to unpack .../liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2~ubuntu15.04.1~ppa1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../ocaml-findlib_1.6.2-1~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking ocaml-findlib (1.6.2-1~ubuntu15.04.1~ppa1) ... Selecting previously unselected package ocaml-native-compilers. Preparing to unpack .../ocaml-native-compilers_4.02.3-6ubuntu2~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking ocaml-native-compilers (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../preview-latex-style_11.88-1ubuntu1_all.deb ... Unpacking preview-latex-style (11.88-1ubuntu1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../texlive-latex-base_2014.20141024-2ubuntu1_all.deb ... Unpacking texlive-latex-base (2014.20141024-2ubuntu1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../texlive-latex-recommended_2014.20141024-2ubuntu1_all.deb ... Unpacking texlive-latex-recommended (2014.20141024-2ubuntu1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../texlive-pictures_2014.20141024-2ubuntu1_all.deb ... Unpacking texlive-pictures (2014.20141024-2ubuntu1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../texlive-latex-extra_2014.20141024-1_all.deb ... Unpacking texlive-latex-extra (2014.20141024-1) ... Selecting previously unselected package camlp5. Preparing to unpack .../camlp5_6.16-1~ubuntu15.04.1~ppa1_amd64.deb ... Unpacking camlp5 (6.16-1~ubuntu15.04.1~ppa1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../dh-ocaml_1.0.9_all.deb ... Unpacking dh-ocaml (1.0.9) ... Processing triggers for mime-support (3.58ubuntu1) ... Setting up libmagic1:amd64 (1:5.20-1ubuntu2) ... Setting up libasprintf0c2:amd64 (0.19.2-2ubuntu1) ... Setting up libelf1:amd64 (0.160-0ubuntu3) ... Setting up libglib2.0-0:amd64 (2.44.1-1ubuntu1) ... No schema files found: doing nothing. Setting up libicu52:amd64 (52.1-8ubuntu0.2) ... Setting up libpipeline1:amd64 (1.4.0-1) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up libxdmcp6:amd64 (1:1.1.1-1build1) ... Setting up libxcb1:amd64 (1.10-2ubuntu1) ... Setting up libx11-data (2:1.6.2-2ubuntu2) ... Setting up libx11-6:amd64 (2:1.6.2-2ubuntu2) ... Setting up libxext6:amd64 (2:1.3.3-1) ... Setting up libxml2:amd64 (2.9.2+dfsg1-3ubuntu0.3) ... Setting up groff-base (1.22.3-1) ... Setting up bsdmainutils (9.0.6ubuntu1) ... 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 man-db (2.7.0.2-5) ... 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 fonts-dejavu-core (2.34-1ubuntu1) ... Setting up ucf (3.0030) ... 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 fontconfig-config (2.11.1-0ubuntu6) ... Setting up libfreetype6:amd64 (2.5.2-2ubuntu3.1) ... Setting up libfontconfig1:amd64 (2.11.1-0ubuntu6) ... Setting up fontconfig (2.11.1-0ubuntu6) ... Regenerating fonts cache... done. Setting up libaspell15:amd64 (0.60.7~20110707-1.3) ... Setting up libatk1.0-data (2.14.0-1ubuntu1) ... Setting up libatk1.0-0:amd64 (2.14.0-1ubuntu1) ... Setting up libavahi-common-data:amd64 (0.6.31-4ubuntu4) ... Setting up libavahi-common3:amd64 (0.6.31-4ubuntu4) ... Setting up libavahi-client3:amd64 (0.6.31-4ubuntu4) ... Setting up libpixman-1-0:amd64 (0.32.6-3) ... Setting up libxcb-render0:amd64 (1.10-2ubuntu1) ... Setting up libxcb-shm0:amd64 (1.10-2ubuntu1) ... Setting up libxrender1:amd64 (1:0.9.8-1build1) ... Setting up libcairo2:amd64 (1.14.2-1ubuntu1) ... Setting up libcairo-gobject2:amd64 (1.14.2-1ubuntu1) ... Setting up liblzo2-2:amd64 (2.08-1.2) ... Setting up libcairo-script-interpreter2:amd64 (1.14.2-1ubuntu1) ... Setting up libcroco3:amd64 (0.6.8-3) ... Setting up libcups2:amd64 (2.0.2-1ubuntu3.2) ... Setting up libjpeg-turbo8:amd64 (1.3.0-0ubuntu2) ... Setting up libjpeg8:amd64 (8c-2ubuntu8) ... Setting up libjbig0:amd64 (2.1-3.1) ... Setting up libtiff5:amd64 (4.0.3-12.3ubuntu2) ... Setting up libcupsfilters1:amd64 (1.0.67-0ubuntu2.6) ... Setting up libcupsimage2:amd64 (2.0.2-1ubuntu3.2) ... Setting up libdatrie1:amd64 (0.2.8-1) ... Setting up libtext-iconv-perl (1.7-5build3) ... Setting up emacsen-common (2.0.8) ... Setting up dictionaries-common (1.23.17) ... 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 aspell (0.60.7~20110707-1.3) ... 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 aspell-en (7.1-0-1.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 libhunspell-1.3-0:amd64 (1.3.3-3) ... Setting up libenchant1c2a:amd64 (1.6.0-10.1) ... Setting up libjasper1:amd64 (1.900.1-debian1-2.4) ... Setting up libgdk-pixbuf2.0-common (2.31.3-1ubuntu0.2) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.31.3-1ubuntu0.2) ... Setting up libgtk2.0-common (2.24.27-0ubuntu1) ... Setting up libthai-data (0.1.21-1) ... Setting up libthai0:amd64 (0.1.21-1) ... Setting up libpango-1.0-0:amd64 (1.36.8-3) ... Setting up libgraphite2-3:amd64 (1.2.4-3ubuntu1) ... Setting up libharfbuzz0b:amd64 (0.9.37-1) ... Setting up libpangoft2-1.0-0:amd64 (1.36.8-3) ... Setting up libpangocairo-1.0-0:amd64 (1.36.8-3) ... Setting up libxcomposite1:amd64 (1:0.4.4-1) ... Setting up libxfixes3:amd64 (1:5.0.1-2) ... Setting up libxcursor1:amd64 (1:1.1.14-1) ... Setting up libxdamage1:amd64 (1:1.1.4-2) ... Setting up libxi6:amd64 (2:1.7.4-1) ... Setting up libxinerama1:amd64 (2:1.1.3-1) ... Setting up libxrandr2:amd64 (2:1.4.2-1) ... Setting up shared-mime-info (1.3-1) ... Setting up libgtk2.0-0:amd64 (2.24.27-0ubuntu1) ... Setting up libglade2-0:amd64 (1:2.6.4-2) ... Setting up libharfbuzz-gobject0:amd64 (0.9.37-1) ... Setting up libharfbuzz-icu0:amd64 (0.9.37-1) ... Setting up x11-common (1:7.7+7ubuntu4) ... 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 invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:amd64 (2:1.0.9-1) ... Setting up libijs-0.35:amd64 (0.35-10build1) ... Setting up liblcms2-2:amd64 (2.6-3ubuntu2) ... Setting up libxft2:amd64 (2.3.2-1) ... Setting up libpangoxft-1.0-0:amd64 (1.36.8-3) ... Setting up libpaper1:amd64 (1.1.24+nmu2ubuntu3) ... 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 libpcrecpp0:amd64 (2:8.35-3.3ubuntu1.1) ... Setting up libpoppler49:amd64 (0.30.0-0ubuntu1) ... Setting up libsm6:amd64 (2:1.2.2-1) ... Setting up libunistring0:amd64 (0.9.3-5.2ubuntu1) ... Setting up libxt6:amd64 (1:1.1.4-1) ... Setting up libxmu6:amd64 (2:1.1.2-1) ... Setting up libxpm4:amd64 (1:3.5.11-1) ... Setting up libxaw7:amd64 (2:1.0.12-2) ... Setting up libzzip-0-13:amd64 (0.13.62-3) ... Setting up poppler-data (0.4.7-1) ... Setting up libpython2.7-stdlib:amd64 (2.7.9-2ubuntu3) ... Setting up python2.7 (2.7.9-2ubuntu3) ... Setting up libpython-stdlib:amd64 (2.7.9-1) ... Setting up python (2.7.9-1) ... Setting up file (1:5.20-1ubuntu2) ... Setting up gettext-base (0.19.2-2ubuntu1) ... Setting up libgirepository-1.0-1:amd64 (1.42.0-2.2) ... Setting up gir1.2-glib-2.0:amd64 (1.42.0-2.2) ... Setting up libglib2.0-data (2.44.1-1ubuntu1) ... Setting up gettext (0.19.2-2ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu3) ... Setting up dh-apparmor (2.9.1-0ubuntu9) ... Setting up debhelper (9.20150101ubuntu1) ... Setting up libjbig2dec0 (0.11+20120125-1ubuntu1) ... Setting up libgs9-common (9.15+dfsg-0ubuntu2.1) ... update-alternatives: using /usr/share/ghostscript/9.15 to provide /usr/share/ghostscript/current (ghostscript-current) in auto mode Setting up libgs9 (9.15+dfsg-0ubuntu2.1) ... Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1) ... Setting up ghostscript (9.15+dfsg-0ubuntu2.1) ... Setting up gir1.2-atk-1.0 (2.14.0-1ubuntu1) ... Setting up gir1.2-freedesktop:amd64 (1.42.0-2.2) ... Setting up gir1.2-gdkpixbuf-2.0 (2.31.3-1ubuntu0.2) ... Setting up gir1.2-pango-1.0:amd64 (1.36.8-3) ... Setting up gir1.2-gtk-2.0 (2.24.27-0ubuntu1) ... Setting up libnetpbm10 (2:10.0-15.2) ... Setting up netpbm (2:10.0-15.2) ... Setting up xdg-utils (1.1.0~rc1-2ubuntu10) ... Setting up libkpathsea6 (2014.20140926.35254-6build1) ... Setting up libptexenc1 (2014.20140926.35254-6build1) ... Setting up libpotrace0 (1.12-1) ... Setting up libsynctex1 (2014.20140926.35254-6build1) ... Setting up tex-common (5.03) ... 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 texlive-binaries (2014.20140926.35254-6build1) ... 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 Building format(s) --refresh. This may take some time... done. Setting up libpaper-utils (1.1.24+nmu2ubuntu3) ... Setting up texlive-base (2014.20141024-2ubuntu1) ... /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 Running mktexlsr. This may take some time... done. Building format(s) --all. This may take some time... done. Setting up ocaml-base-nox (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Setting up icu-devtools (52.1-8ubuntu0.2) ... Setting up pkg-config (0.28-1ubuntu1) ... Setting up libglib2.0-bin (2.44.1-1ubuntu1) ... Setting up libpcre3-dev:amd64 (2:8.35-3.3ubuntu1.1) ... Setting up zlib1g-dev:amd64 (1:1.2.8.dfsg-2ubuntu1) ... Setting up libglib2.0-dev (2.44.1-1ubuntu1) ... Setting up libatk1.0-dev (2.14.0-1ubuntu1) ... Setting up libexpat1-dev:amd64 (2.1.0-6ubuntu1.1) ... Setting up libpng12-dev:amd64 (1.2.51-0ubuntu3.15.04.2) ... Setting up libfreetype6-dev:amd64 (2.5.2-2ubuntu3.1) ... Setting up libfontconfig1-dev:amd64 (2.11.1-0ubuntu6) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up x11proto-core-dev (7.0.26-1) ... Setting up libxau-dev:amd64 (1:1.0.8-1) ... Setting up libxdmcp-dev:amd64 (1:1.1.1-1build1) ... Setting up x11proto-input-dev (2.3.1-1) ... Setting up x11proto-kb-dev (1.0.6-2) ... Setting up xtrans-dev (1.3.5-1) ... Setting up libpthread-stubs0-dev:amd64 (0.3-4) ... Setting up libxcb1-dev:amd64 (1.10-2ubuntu1) ... Setting up libx11-dev:amd64 (2:1.6.2-2ubuntu2) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:amd64 (1:0.9.8-1build1) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libxext-dev:amd64 (2:1.3.3-1) ... Setting up libice-dev:amd64 (2:1.0.9-1) ... Setting up libsm-dev:amd64 (2:1.2.2-1) ... Setting up libpixman-1-dev (0.32.6-3) ... Setting up libxcb-render0-dev:amd64 (1.10-2ubuntu1) ... Setting up libxcb-shm0-dev:amd64 (1.10-2ubuntu1) ... Setting up libcairo2-dev (1.14.2-1ubuntu1) ... Setting up libenchant-dev (1.6.0-10.1) ... Setting up libfindlib-ocaml (1.6.2-1~ubuntu15.04.1~ppa1) ... Setting up libgdk-pixbuf2.0-dev (2.31.3-1ubuntu0.2) ... Setting up libharfbuzz-dev (0.9.37-1) ... Setting up libxft-dev (2.3.2-1) ... Setting up libpango1.0-dev (1.36.8-3) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev:amd64 (2:1.1.3-1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu2) ... Setting up libxfixes-dev:amd64 (1:5.0.1-2) ... Setting up libxi-dev (2:1.7.4-1) ... Setting up x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1) ... Setting up libxrandr-dev:amd64 (2:1.4.2-1) ... Setting up libxcursor-dev:amd64 (1:1.1.14-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.4-1) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev:amd64 (1:1.1.4-2) ... Setting up libxml2-utils (2.9.2+dfsg1-3ubuntu0.3) ... Setting up libgtk2.0-dev (2.24.27-0ubuntu1) ... Setting up libicu-dev:amd64 (52.1-8ubuntu0.2) ... Setting up libxml2-dev:amd64 (2.9.2+dfsg1-3ubuntu0.3) ... Setting up libglade2-dev:amd64 (1:2.6.4-2) ... Setting up libgtksourceview2.0-common (2.10.5-2ubuntu1.1) ... Setting up libgtksourceview2.0-0 (2.10.5-2ubuntu1.1) ... Setting up libgtksourceview2.0-dev (2.10.5-2ubuntu1.1) ... Setting up libgtkspell0 (2.0.16-1ubuntu7) ... Setting up libgtkspell-dev (2.0.16-1ubuntu7) ... Setting up liblablgtk2-ocaml (2.18.3+dfsg-2~ubuntu15.04.1~ppa1) ... Setting up libtinfo-dev:amd64 (5.9+20140712-2ubuntu2) ... Setting up libncurses5-dev:amd64 (5.9+20140712-2ubuntu2) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2~ubuntu15.04.1~ppa1) ... Setting up ocaml-findlib (1.6.2-1~ubuntu15.04.1~ppa1) ... Setting up preview-latex-style (11.88-1ubuntu1) ... Setting up dh-ocaml (1.0.9) ... Processing triggers for tex-common (5.03) ... 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 mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-latex-base (2014.20141024-2ubuntu1) ... Running mktexlsr. This may take some time... done. Building format(s) --all --cnffile /etc/texmf/fmt.d/10texlive-latex-base.cnf. This may take some time... done. Setting up hevea (2.29-1~ubuntu15.04.1~ppa2) ... Processing triggers for tex-common (5.03) ... 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 mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-latex-recommended (2014.20141024-2ubuntu1) ... Processing triggers for tex-common (5.03) ... 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 mktexlsr. This may take some time... done. Setting up texlive-pictures (2014.20141024-2ubuntu1) ... Processing triggers for tex-common (5.03) ... 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 mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-latex-extra (2014.20141024-1) ... Processing triggers for tex-common (5.03) ... 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 mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up ocaml-compiler-libs (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Setting up ocaml-interp (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Setting up ocaml-nox (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Setting up liblablgtk2-ocaml-dev (2.18.3+dfsg-2~ubuntu15.04.1~ppa1) ... Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2~ubuntu15.04.1~ppa1) ... Setting up ocaml-native-compilers (4.02.3-6ubuntu2~ubuntu15.04.1~ppa1) ... Setting up camlp5 (6.16-1~ubuntu15.04.1~ppa1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Processing triggers for dictionaries-common (1.23.17) ... 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_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 systemd (219-7ubuntu6) ... 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"). perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-buildpackage: source package coq dpkg-buildpackage: source version 8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1 dpkg-buildpackage: source distribution vivid dpkg-buildpackage: source changed by Jason Gross perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source -i -I --before-build recipe perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches 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: 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"). 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"). 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[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 '*.cmxs' -o -name '*.cmxa' -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 tools/coqdoc/cpretty.ml tools/ocamllibdep.ml tools/coqdep_lexer.ml tools/gallina_lexer.ml tools/coqwc.ml ide/xml_lexer.ml ide/coq_lex.ml ide/utf8_convert.ml ide/config_lexer.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 lib/coqProject_file.ml plugins/funind/g_indfun.ml plugins/nsatz/g_nsatz.ml plugins/ssr/ssrvernac.ml plugins/ssr/ssrparser.ml plugins/fourier/g_fourier.ml plugins/micromega/g_micromega.ml plugins/rtauto/g_rtauto.ml plugins/quote/g_quote.ml plugins/firstorder/g_ground.ml plugins/ltac/g_class.ml plugins/ltac/coretactics.ml plugins/ltac/g_rewrite.ml plugins/ltac/extratactics.ml plugins/ltac/g_ltac.ml plugins/ltac/g_tactic.ml plugins/ltac/g_obligations.ml plugins/ltac/extraargs.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_auto.ml plugins/setoid_ring/g_newring.ml plugins/cc/g_congruence.ml plugins/romega/g_romega.ml plugins/extraction/g_extraction.ml plugins/omega/g_omega.ml plugins/derive/g_derive.ml plugins/btauto/g_btauto.ml plugins/ssrmatching/ssrmatching.ml parsing/cLexer.ml parsing/g_constr.ml parsing/g_proofs.ml parsing/g_prim.ml parsing/g_vernac.ml ide/coqide_main.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 'coq-makefile' -o -name '.opamcache' ')' -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 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: 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.7~git~201709120328+18276-0~daily306~ubuntu15.04.1.tar.xz dpkg-source: info: building coq in coq_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1.dsc dpkg-genchanges -S -sa >../coq_8.7~git~201709120328+18276-0~daily306~ubuntu15.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"). 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"). 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.7~git~201709120328+18276-0~daily306~ubuntu15.04.1) is earlier than the previous one (8.7~git) dpkg-genchanges: including full source code in upload dpkg-source -i -I --after-build recipe perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches 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: warning: --abort-on-upstream-changes is not a valid option for Dpkg::Source::Package::V3::Native dpkg-source: warning: --unapply-patches is not a valid option for Dpkg::Source::Package::V3::Native dpkg-buildpackage: source-only upload: Debian-native package RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=vivid --arch=amd64 RECIPEBRANCHBUILD-1446841 Scanning for processes to kill in build RECIPEBRANCHBUILD-1446841 RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=vivid --arch=amd64 RECIPEBRANCHBUILD-1446841 Stopping target for build RECIPEBRANCHBUILD-1446841 RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=vivid --arch=amd64 RECIPEBRANCHBUILD-1446841 Removing build RECIPEBRANCHBUILD-1446841