RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux lcy01-34 4.4.0-97-generic #120-Ubuntu SMP Tue Sep 19 17:28:18 UTC 2017 x86_64 Buildd toolchain package versions: launchpad-buildd_154 python-lpbuildd_154 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.3 dpkg-dev_1.18.4ubuntu1.2 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 27 Oct 20:45:58 ntpdate[1807]: adjust time server 10.211.37.1 offset 0.001630 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-1474143 /home/buildd/filecache-default/bcd5dc063ce51e1147d70d5a7a54c6f9cc3d3ea4 Creating target for build RECIPEBRANCHBUILD-1474143 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-1474143 Starting target for build RECIPEBRANCHBUILD-1474143 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-1474143 'deb http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu trusty main' 'deb http://ftpmaster.internal/ubuntu trusty main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu trusty-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu trusty-updates main restricted universe multiverse' Overriding sources.list in build-RECIPEBRANCHBUILD-1474143 RUN: /usr/share/launchpad-buildd/slavebin/in-target add-trusted-keys --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-1474143 Adding trusted keys to build-RECIPEBRANCHBUILD-1474143 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=trusty --arch=amd64 RECIPEBRANCHBUILD-1474143 Updating target for build RECIPEBRANCHBUILD-1474143 Ign http://ftpmaster.internal trusty InRelease Get:1 http://ftpmaster.internal trusty-security InRelease [65.9 kB] Get:2 http://ftpmaster.internal trusty-updates InRelease [65.9 kB] Get:3 http://ftpmaster.internal trusty Release.gpg [933 B] Get:4 http://ftpmaster.internal trusty-security/main amd64 Packages [684 kB] Get:5 http://ppa.launchpad.net trusty InRelease [16.0 kB] Get:6 http://ftpmaster.internal trusty-security/restricted amd64 Packages [14.1 kB] Get:7 http://ftpmaster.internal trusty-security/universe amd64 Packages [191 kB] Get:8 http://ftpmaster.internal trusty-security/multiverse amd64 Packages [4793 B] Get:9 http://ftpmaster.internal trusty-security/main Translation-en [368 kB] Get:10 http://ppa.launchpad.net trusty/main amd64 Packages [7394 B] Get:11 http://ppa.launchpad.net trusty/main Translation-en [5708 B] Get:12 http://ftpmaster.internal trusty-security/multiverse Translation-en [2564 B] Get:13 http://ftpmaster.internal trusty-security/restricted Translation-en [3542 B] Get:14 http://ftpmaster.internal trusty-security/universe Translation-en [110 kB] Get:15 http://ftpmaster.internal trusty Release [58.5 kB] Get:16 http://ftpmaster.internal trusty-updates/main amd64 Packages [1030 kB] Get:17 http://ftpmaster.internal trusty-updates/restricted amd64 Packages [17.2 kB] Get:18 http://ftpmaster.internal trusty-updates/universe amd64 Packages [430 kB] Get:19 http://ftpmaster.internal trusty-updates/multiverse amd64 Packages [14.9 kB] Get:20 http://ftpmaster.internal trusty-updates/main Translation-en [509 kB] Get:21 http://ftpmaster.internal trusty-updates/multiverse Translation-en [7760 B] Get:22 http://ftpmaster.internal trusty-updates/restricted Translation-en [4031 B] Get:23 http://ftpmaster.internal trusty-updates/universe Translation-en [233 kB] Get:24 http://ftpmaster.internal trusty/main amd64 Packages [1350 kB] Get:25 http://ftpmaster.internal trusty/restricted amd64 Packages [13.0 kB] Get:26 http://ftpmaster.internal trusty/universe amd64 Packages [5859 kB] Get:27 http://ftpmaster.internal trusty/multiverse amd64 Packages [132 kB] Get:28 http://ftpmaster.internal trusty/main Translation-en [762 kB] Get:29 http://ftpmaster.internal trusty/multiverse Translation-en [102 kB] Get:30 http://ftpmaster.internal trusty/restricted Translation-en [3457 B] Get:31 http://ftpmaster.internal trusty/universe Translation-en [4089 kB] Fetched 16.2 MB in 8s (1920 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: apt apt-transport-https base-files bash binutils bsdutils ca-certificates coreutils cpio cpp-4.8 dpkg dpkg-dev e2fslibs e2fsprogs g++-4.8 gcc-4.8 gcc-4.8-base gcc-4.9-base gnupg gpgv ifupdown initramfs-tools initramfs-tools-bin initscripts iproute2 klibc-utils libapt-pkg4.12 libasan0 libasn1-8-heimdal libatomic1 libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcgmanager0 libcomerr2 libcurl3-gnutls libdbus-1-3 libdpkg-perl libdrm2 libffi6 libgcc-4.8-dev libgcc1 libgcrypt11 libgnutls26 libgomp1 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libidn11 libitm1 libjson-c2 libjson0 libk5crypto3 libklibc libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libmount1 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre3 libplymouth2 libpng12-0 libprocps3 libquadmath0 libroken18-heimdal librtmp0 libselinux1 libsepol1 libsqlite3-0 libss2 libssl1.0.0 libstdc++-4.8-dev libstdc++6 libtasn1-6 libtsan0 libudev1 libuuid1 libwind0-heimdal linux-libc-dev login lsb-base makedev mount multiarch-support openssl optipng passwd patch perl perl-base perl-modules pkg-create-dbgsym plymouth procps sysv-rc sysvinit-utils tar tzdata udev upstart util-linux 110 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 66.4 MB of archives. After this operation, 10.8 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty-updates/main base-files amd64 7.2ubuntu5.5 [67.5 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty-security/main bash amd64 4.3-7ubuntu1.7 [575 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty-updates/main coreutils amd64 8.21-1ubuntu5.4 [1091 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty-updates/main dpkg amd64 1.17.5ubuntu5.7 [1956 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty-updates/main libpcre3 amd64 1:8.31-2ubuntu2.3 [144 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty-updates/main libselinux1 amd64 2.2.2-1ubuntu0.1 [58.7 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty-updates/main sysv-rc all 2.88dsf-41ubuntu6.3 [36.6 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty-updates/main sysvinit-utils amd64 2.88dsf-41ubuntu6.3 [52.9 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty-updates/main mount amd64 2.20.1-5.1ubuntu20.9 [115 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty-updates/main lsb-base all 4.1+Debian11ubuntu6.2 [13.3 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty-security/main libpam0g amd64 1.1.8-1ubuntu2.2 [56.1 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty-security/main libpam-modules-bin amd64 1.1.8-1ubuntu2.2 [31.2 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty-security/main libpam-modules amd64 1.1.8-1ubuntu2.2 [234 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty-security/main passwd amd64 1:4.1.5.1-1ubuntu9.5 [759 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty-updates/main initscripts amd64 2.88dsf-41ubuntu6.3 [27.7 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty-updates/main libdbus-1-3 amd64 1.6.18-0ubuntu4.5 [132 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty-security/main libjson-c2 amd64 0.11-3ubuntu1.2 [22.0 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty-updates/main libuuid1 amd64 2.20.1-5.1ubuntu20.9 [10.8 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty-updates/main libblkid1 amd64 2.20.1-5.1ubuntu20.9 [62.6 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcgmanager0 amd64 0.24-0ubuntu7.5 [28.9 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty-security/main tzdata all 2016j-0ubuntu0.14.04 [166 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty-updates/main util-linux amd64 2.20.1-5.1ubuntu20.9 [458 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty-updates/main libprocps3 amd64 1:3.3.9-1ubuntu2.2 [31.4 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty-updates/main procps amd64 1:3.3.9-1ubuntu2.2 [209 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty-updates/main udev amd64 204-5ubuntu20.25 [736 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty-updates/main libudev1 amd64 204-5ubuntu20.25 [34.6 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty-updates/main iproute2 amd64 3.12.0-2ubuntu1 [401 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty-updates/main ifupdown amd64 0.7.47.2ubuntu4.4 [53.1 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty-security/main libjson0 amd64 0.11-3ubuntu1.2 [1080 B] Get:30 http://ftpmaster.internal/ubuntu/ trusty-updates/main upstart amd64 1.12.1-0ubuntu4.2 [390 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty-security/main libc6-dev amd64 2.19-0ubuntu6.13 [1914 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty-security/main libc-dev-bin amd64 2.19-0ubuntu6.13 [69.0 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty-security/main linux-libc-dev amd64 3.13.0-133.182 [769 kB] Get:34 http://ftpmaster.internal/ubuntu/ trusty-security/main libc-bin amd64 2.19-0ubuntu6.13 [1166 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty-updates/main gcc-4.9-base amd64 4.9.3-0ubuntu4 [15.1 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty-updates/main libgcc1 amd64 1:4.9.3-0ubuntu4 [39.2 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty-security/main libc6 amd64 2.19-0ubuntu6.13 [4735 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty-updates/main e2fslibs amd64 1.42.9-3ubuntu1.3 [182 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty-updates/main e2fsprogs amd64 1.42.9-3ubuntu1.3 [667 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty-security/main login amd64 1:4.1.5.1-1ubuntu9.5 [302 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty-security/main perl amd64 5.18.2-2ubuntu1.1 [2648 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty-security/main perl-base amd64 5.18.2-2ubuntu1.1 [1146 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty-security/main perl-modules all 5.18.2-2ubuntu1.1 [2673 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty-security/main tar amd64 1.27.1-1ubuntu0.1 [196 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty-security/main libtsan0 amd64 4.8.4-2ubuntu1~14.04.3 [94.9 kB] Get:46 http://ftpmaster.internal/ubuntu/ trusty-security/main libgomp1 amd64 4.8.4-2ubuntu1~14.04.3 [23.1 kB] Get:47 http://ftpmaster.internal/ubuntu/ trusty-security/main libitm1 amd64 4.8.4-2ubuntu1~14.04.3 [28.5 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty-security/main libatomic1 amd64 4.8.4-2ubuntu1~14.04.3 [8636 B] Get:49 http://ftpmaster.internal/ubuntu/ trusty-security/main libasan0 amd64 4.8.4-2ubuntu1~14.04.3 [63.1 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty-security/main libquadmath0 amd64 4.8.4-2ubuntu1~14.04.3 [126 kB] Get:51 http://ftpmaster.internal/ubuntu/ trusty-security/main g++-4.8 amd64 4.8.4-2ubuntu1~14.04.3 [18.1 MB] Get:52 http://ftpmaster.internal/ubuntu/ trusty-security/main gcc-4.8 amd64 4.8.4-2ubuntu1~14.04.3 [5047 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty-security/main cpp-4.8 amd64 4.8.4-2ubuntu1~14.04.3 [4595 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty-security/main binutils amd64 2.24-5ubuntu14.2 [2076 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty-security/main libstdc++-4.8-dev amd64 4.8.4-2ubuntu1~14.04.3 [1053 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty-security/main libgcc-4.8-dev amd64 4.8.4-2ubuntu1~14.04.3 [1688 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty-security/main gcc-4.8-base amd64 4.8.4-2ubuntu1~14.04.3 [16.2 kB] Get:58 http://ftpmaster.internal/ubuntu/ trusty-security/main libstdc++6 amd64 4.8.4-2ubuntu1~14.04.3 [259 kB] Get:59 http://ftpmaster.internal/ubuntu/ trusty-security/main libapt-pkg4.12 amd64 1.0.1ubuntu2.17 [639 kB] Get:60 http://ftpmaster.internal/ubuntu/ trusty-security/main gpgv amd64 1.4.16-1ubuntu2.4 [161 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty-security/main gnupg amd64 1.4.16-1ubuntu2.4 [611 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty-security/main apt amd64 1.0.1ubuntu2.17 [953 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty-updates/main bsdutils amd64 1:2.20.1-5.1ubuntu20.9 [33.9 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcomerr2 amd64 1.42.9-3ubuntu1.3 [62.9 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty-updates/main libmount1 amd64 2.20.1-5.1ubuntu20.9 [60.3 kB] Get:66 http://ftpmaster.internal/ubuntu/ trusty-updates/main libsepol1 amd64 2.2-1ubuntu0.1 [107 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty-updates/main libss2 amd64 1.42.9-3ubuntu1.3 [67.1 kB] Get:68 http://ftpmaster.internal/ubuntu/ trusty-security/main libffi6 amd64 3.1~rc1+r3.0.13-12ubuntu0.2 [17.9 kB] Get:69 http://ftpmaster.internal/ubuntu/ trusty-security/main libgcrypt11 amd64 1.5.3-2ubuntu4.5 [238 kB] Get:70 http://ftpmaster.internal/ubuntu/ trusty-security/main libtasn1-6 amd64 3.4-3ubuntu0.5 [43.6 kB] Get:71 http://ftpmaster.internal/ubuntu/ trusty-security/main libgnutls26 amd64 2.12.23-12ubuntu2.8 [395 kB] Get:72 http://ftpmaster.internal/ubuntu/ trusty-security/main libsqlite3-0 amd64 3.8.2-1ubuntu2.1 [342 kB] Get:73 http://ftpmaster.internal/ubuntu/ trusty-security/main libssl1.0.0 amd64 1.0.1f-1ubuntu2.22 [828 kB] Get:74 http://ftpmaster.internal/ubuntu/ trusty-security/main libdrm2 amd64 2.4.67-1ubuntu0.14.04.2 [27.2 kB] Get:75 http://ftpmaster.internal/ubuntu/ trusty-updates/main klibc-utils amd64 2.0.3-0ubuntu1.14.04.3 [107 kB] Get:76 http://ftpmaster.internal/ubuntu/ trusty-updates/main libklibc amd64 2.0.3-0ubuntu1.14.04.3 [40.6 kB] Get:77 http://ftpmaster.internal/ubuntu/ trusty-updates/main initramfs-tools all 0.103ubuntu4.9 [44.5 kB] Get:78 http://ftpmaster.internal/ubuntu/ trusty-updates/main initramfs-tools-bin amd64 0.103ubuntu4.9 [8760 B] Get:79 http://ftpmaster.internal/ubuntu/ trusty-security/main cpio amd64 2.11+dfsg-1ubuntu1.2 [73.8 kB] Get:80 http://ftpmaster.internal/ubuntu/ trusty-updates/main plymouth amd64 0.8.8-0ubuntu17.1 [98.6 kB] Get:81 http://ftpmaster.internal/ubuntu/ trusty-security/main libpng12-0 amd64 1.2.50-1ubuntu2.14.04.2 [118 kB] Get:82 http://ftpmaster.internal/ubuntu/ trusty-updates/main libplymouth2 amd64 0.8.8-0ubuntu17.1 [76.8 kB] Get:83 http://ftpmaster.internal/ubuntu/ trusty-security/main libroken18-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [39.9 kB] Get:84 http://ftpmaster.internal/ubuntu/ trusty-security/main libasn1-8-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [160 kB] Get:85 http://ftpmaster.internal/ubuntu/ trusty-updates/main libk5crypto3 amd64 1.12+dfsg-2ubuntu5.3 [79.6 kB] Get:86 http://ftpmaster.internal/ubuntu/ trusty-updates/main libgssapi-krb5-2 amd64 1.12+dfsg-2ubuntu5.3 [114 kB] Get:87 http://ftpmaster.internal/ubuntu/ trusty-updates/main libkrb5-3 amd64 1.12+dfsg-2ubuntu5.3 [262 kB] Get:88 http://ftpmaster.internal/ubuntu/ trusty-updates/main libkrb5support0 amd64 1.12+dfsg-2ubuntu5.3 [30.7 kB] Get:89 http://ftpmaster.internal/ubuntu/ trusty-security/main libidn11 amd64 1.28-1ubuntu2.2 [94.6 kB] Get:90 http://ftpmaster.internal/ubuntu/ trusty-security/main libhcrypto4-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [84.1 kB] Get:91 http://ftpmaster.internal/ubuntu/ trusty-security/main libheimbase1-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [29.0 kB] Get:92 http://ftpmaster.internal/ubuntu/ trusty-security/main libwind0-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [47.9 kB] Get:93 http://ftpmaster.internal/ubuntu/ trusty-security/main libhx509-5-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [104 kB] Get:94 http://ftpmaster.internal/ubuntu/ trusty-security/main libkrb5-26-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [196 kB] Get:95 http://ftpmaster.internal/ubuntu/ trusty-security/main libheimntlm0-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [15.2 kB] Get:96 http://ftpmaster.internal/ubuntu/ trusty-security/main libgssapi3-heimdal amd64 1.6~git20131207+dfsg-1ubuntu1.2 [89.7 kB] Get:97 http://ftpmaster.internal/ubuntu/ trusty-security/main libldap-2.4-2 amd64 2.4.31-1+nmu2ubuntu8.4 [153 kB] Get:98 http://ftpmaster.internal/ubuntu/ trusty-security/main librtmp0 amd64 2.4+20121230.gitdf6c518-1ubuntu0.1 [50.4 kB] Get:99 http://ftpmaster.internal/ubuntu/ trusty-security/main libcurl3-gnutls amd64 7.35.0-1ubuntu2.12 [166 kB] Get:100 http://ftpmaster.internal/ubuntu/ trusty-security/main libpam-runtime all 1.1.8-1ubuntu2.2 [37.8 kB] Get:101 http://ftpmaster.internal/ubuntu/ trusty-security/main multiarch-support amd64 2.19-0ubuntu6.13 [4488 B] Get:102 http://ftpmaster.internal/ubuntu/ trusty-updates/main makedev all 2.3.1-93ubuntu2~ubuntu14.04.1 [24.5 kB] Get:103 http://ftpmaster.internal/ubuntu/ trusty-security/main apt-transport-https amd64 1.0.1ubuntu2.17 [25.0 kB] Get:104 http://ftpmaster.internal/ubuntu/ trusty-security/main openssl amd64 1.0.1f-1ubuntu2.22 [489 kB] Get:105 http://ftpmaster.internal/ubuntu/ trusty-security/main ca-certificates all 20170717~14.04.1 [167 kB] Get:106 http://ftpmaster.internal/ubuntu/ trusty-updates/main dpkg-dev all 1.17.5ubuntu5.7 [726 kB] Get:107 http://ftpmaster.internal/ubuntu/ trusty-updates/main libdpkg-perl all 1.17.5ubuntu5.7 [179 kB] Get:108 http://ftpmaster.internal/ubuntu/ trusty-security/main patch amd64 2.7.1-4ubuntu2.3 [86.4 kB] Get:109 http://ftpmaster.internal/ubuntu/ trusty-security/main optipng amd64 0.6.4-1ubuntu0.14.04.1 [79.8 kB] Get:110 http://ftpmaster.internal/ubuntu/ trusty-security/main pkg-create-dbgsym all 0.67~trusty [8844 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 66.4 MB in 3s (21.4 MB/s) (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../base-files_7.2ubuntu5.5_amd64.deb ... Unpacking base-files (7.2ubuntu5.5) over (7.2ubuntu5) ... Setting up base-files (7.2ubuntu5.5) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... Installing new version of config file /etc/os-release ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../bash_4.3-7ubuntu1.7_amd64.deb ... Unpacking bash (4.3-7ubuntu1.7) over (4.3-6ubuntu1) ... Setting up bash (4.3-7ubuntu1.7) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../coreutils_8.21-1ubuntu5.4_amd64.deb ... Unpacking coreutils (8.21-1ubuntu5.4) over (8.21-1ubuntu5) ... Setting up coreutils (8.21-1ubuntu5.4) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../dpkg_1.17.5ubuntu5.7_amd64.deb ... Unpacking dpkg (1.17.5ubuntu5.7) over (1.17.5ubuntu5) ... Setting up dpkg (1.17.5ubuntu5.7) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libpcre3_1%3a8.31-2ubuntu2.3_amd64.deb ... Unpacking libpcre3:amd64 (1:8.31-2ubuntu2.3) over (1:8.31-2ubuntu2) ... Preparing to unpack .../libc6_2.19-0ubuntu6.13_amd64.deb ... Unpacking libc6:amd64 (2.19-0ubuntu6.13) over (2.19-0ubuntu6) ... Preparing to unpack .../libgcc1_1%3a4.9.3-0ubuntu4_amd64.deb ... Unpacking libgcc1:amd64 (1:4.9.3-0ubuntu4) over (1:4.9-20140406-0ubuntu1) ... Preparing to unpack .../gcc-4.9-base_4.9.3-0ubuntu4_amd64.deb ... Unpacking gcc-4.9-base:amd64 (4.9.3-0ubuntu4) over (4.9-20140406-0ubuntu1) ... Setting up gcc-4.9-base:amd64 (4.9.3-0ubuntu4) ... Setting up libgcc1:amd64 (1:4.9.3-0ubuntu4) ... Setting up libc6:amd64 (2.19-0ubuntu6.13) ... Setting up libpcre3:amd64 (1:8.31-2ubuntu2.3) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../libselinux1_2.2.2-1ubuntu0.1_amd64.deb ... Unpacking libselinux1:amd64 (2.2.2-1ubuntu0.1) over (2.2.2-1) ... Setting up libselinux1:amd64 (2.2.2-1ubuntu0.1) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../sysv-rc_2.88dsf-41ubuntu6.3_all.deb ... Unpacking sysv-rc (2.88dsf-41ubuntu6.3) over (2.88dsf-41ubuntu6) ... Preparing to unpack .../sysvinit-utils_2.88dsf-41ubuntu6.3_amd64.deb ... Unpacking sysvinit-utils (2.88dsf-41ubuntu6.3) over (2.88dsf-41ubuntu6) ... Setting up sysvinit-utils (2.88dsf-41ubuntu6.3) ... Setting up sysv-rc (2.88dsf-41ubuntu6.3) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../mount_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking mount (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up mount (2.20.1-5.1ubuntu20.9) ... (Reading database ... 11788 files and directories currently installed.) Preparing to unpack .../lsb-base_4.1+Debian11ubuntu6.2_all.deb ... Unpacking lsb-base (4.1+Debian11ubuntu6.2) over (4.1+Debian11ubuntu6) ... Setting up lsb-base (4.1+Debian11ubuntu6.2) ... (Reading database ... 11789 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-1ubuntu2.2_amd64.deb ... Unpacking libpam0g:amd64 (1.1.8-1ubuntu2.2) over (1.1.8-1ubuntu2) ... Setting up libpam0g:amd64 (1.1.8-1ubuntu2.2) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11789 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-1ubuntu2.2_amd64.deb ... Unpacking libpam-modules-bin (1.1.8-1ubuntu2.2) over (1.1.8-1ubuntu2) ... Setting up libpam-modules-bin (1.1.8-1ubuntu2.2) ... (Reading database ... 11789 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-1ubuntu2.2_amd64.deb ... Unpacking libpam-modules:amd64 (1.1.8-1ubuntu2.2) over (1.1.8-1ubuntu2) ... Setting up libpam-modules:amd64 (1.1.8-1ubuntu2.2) ... (Reading database ... 11789 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.1.5.1-1ubuntu9.5_amd64.deb ... Unpacking passwd (1:4.1.5.1-1ubuntu9.5) over (1:4.1.5.1-1ubuntu9) ... Setting up passwd (1:4.1.5.1-1ubuntu9.5) ... (Reading database ... 11789 files and directories currently installed.) Preparing to unpack .../initscripts_2.88dsf-41ubuntu6.3_amd64.deb ... Unpacking initscripts (2.88dsf-41ubuntu6.3) over (2.88dsf-41ubuntu6) ... Preparing to unpack .../libdbus-1-3_1.6.18-0ubuntu4.5_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.6.18-0ubuntu4.5) over (1.6.18-0ubuntu4) ... Preparing to unpack .../libjson-c2_0.11-3ubuntu1.2_amd64.deb ... Unpacking libjson-c2:amd64 (0.11-3ubuntu1.2) over (0.11-3ubuntu1) ... Preparing to unpack .../libuuid1_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking libuuid1:amd64 (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up libuuid1:amd64 (2.20.1-5.1ubuntu20.9) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11789 files and directories currently installed.) Preparing to unpack .../libblkid1_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking libblkid1:amd64 (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up libblkid1:amd64 (2.20.1-5.1ubuntu20.9) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11789 files and directories currently installed.) Preparing to unpack .../libcgmanager0_0.24-0ubuntu7.5_amd64.deb ... Unpacking libcgmanager0:amd64 (0.24-0ubuntu7.5) over (0.24-0ubuntu5) ... Preparing to unpack .../tzdata_2016j-0ubuntu0.14.04_all.deb ... Unpacking tzdata (2016j-0ubuntu0.14.04) over (2014b-1) ... Setting up tzdata (2016j-0ubuntu0.14.04) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Oct 27 20:46:26 UTC 2017. Universal Time is now: Fri Oct 27 20:46:26 UTC 2017. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 11829 files and directories currently installed.) Preparing to unpack .../util-linux_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking util-linux (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up util-linux (2.20.1-5.1ubuntu20.9) ... (Reading database ... 11829 files and directories currently installed.) Preparing to unpack .../libprocps3_1%3a3.3.9-1ubuntu2.2_amd64.deb ... Unpacking libprocps3:amd64 (1:3.3.9-1ubuntu2.2) over (1:3.3.9-1ubuntu2) ... Preparing to unpack .../procps_1%3a3.3.9-1ubuntu2.2_amd64.deb ... invoke-rc.d: policy-rc.d denied execution of stop. Unpacking procps (1:3.3.9-1ubuntu2.2) over (1:3.3.9-1ubuntu2) ... Preparing to unpack .../udev_204-5ubuntu20.25_amd64.deb ... Adding 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' Unpacking udev (204-5ubuntu20.25) over (204-5ubuntu20) ... Preparing to unpack .../libudev1_204-5ubuntu20.25_amd64.deb ... Unpacking libudev1:amd64 (204-5ubuntu20.25) over (204-5ubuntu20) ... Preparing to unpack .../iproute2_3.12.0-2ubuntu1_amd64.deb ... Unpacking iproute2 (3.12.0-2ubuntu1) over (3.12.0-2) ... Preparing to unpack .../ifupdown_0.7.47.2ubuntu4.4_amd64.deb ... Unpacking ifupdown (0.7.47.2ubuntu4.4) over (0.7.47.2ubuntu4) ... Preparing to unpack .../libjson0_0.11-3ubuntu1.2_amd64.deb ... Unpacking libjson0:amd64 (0.11-3ubuntu1.2) over (0.11-3ubuntu1) ... Preparing to unpack .../upstart_1.12.1-0ubuntu4.2_amd64.deb ... Unpacking upstart (1.12.1-0ubuntu4.2) over (1.12.1-0ubuntu4) ... Preparing to unpack .../libc6-dev_2.19-0ubuntu6.13_amd64.deb ... Unpacking libc6-dev:amd64 (2.19-0ubuntu6.13) over (2.19-0ubuntu6) ... Preparing to unpack .../libc-dev-bin_2.19-0ubuntu6.13_amd64.deb ... Unpacking libc-dev-bin (2.19-0ubuntu6.13) over (2.19-0ubuntu6) ... Preparing to unpack .../linux-libc-dev_3.13.0-133.182_amd64.deb ... Unpacking linux-libc-dev:amd64 (3.13.0-133.182) over (3.13.0-24.46) ... Preparing to unpack .../libc-bin_2.19-0ubuntu6.13_amd64.deb ... Unpacking libc-bin (2.19-0ubuntu6.13) over (2.19-0ubuntu6) ... Setting up libc-bin (2.19-0ubuntu6.13) ... (Reading database ... 11831 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.42.9-3ubuntu1.3_amd64.deb ... Unpacking e2fslibs:amd64 (1.42.9-3ubuntu1.3) over (1.42.9-3ubuntu1) ... Setting up e2fslibs:amd64 (1.42.9-3ubuntu1.3) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... (Reading database ... 11831 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.42.9-3ubuntu1.3_amd64.deb ... Unpacking e2fsprogs (1.42.9-3ubuntu1.3) over (1.42.9-3ubuntu1) ... Setting up e2fsprogs (1.42.9-3ubuntu1.3) ... (Reading database ... 11831 files and directories currently installed.) Preparing to unpack .../login_1%3a4.1.5.1-1ubuntu9.5_amd64.deb ... Unpacking login (1:4.1.5.1-1ubuntu9.5) over (1:4.1.5.1-1ubuntu9) ... Setting up login (1:4.1.5.1-1ubuntu9.5) ... (Reading database ... 11831 files and directories currently installed.) Preparing to unpack .../perl_5.18.2-2ubuntu1.1_amd64.deb ... Unpacking perl (5.18.2-2ubuntu1.1) over (5.18.2-2ubuntu1) ... Preparing to unpack .../perl-base_5.18.2-2ubuntu1.1_amd64.deb ... Unpacking perl-base (5.18.2-2ubuntu1.1) over (5.18.2-2ubuntu1) ... Setting up perl-base (5.18.2-2ubuntu1.1) ... (Reading database ... 11831 files and directories currently installed.) Preparing to unpack .../perl-modules_5.18.2-2ubuntu1.1_all.deb ... Unpacking perl-modules (5.18.2-2ubuntu1.1) over (5.18.2-2ubuntu1) ... Preparing to unpack .../tar_1.27.1-1ubuntu0.1_amd64.deb ... Unpacking tar (1.27.1-1ubuntu0.1) over (1.27.1-1) ... Setting up tar (1.27.1-1ubuntu0.1) ... (Reading database ... 11831 files and directories currently installed.) Preparing to unpack .../libtsan0_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking libtsan0:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libgomp1_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking libgomp1:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libitm1_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking libitm1:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libatomic1_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking libatomic1:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libasan0_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking libasan0:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libquadmath0_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking libquadmath0:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../g++-4.8_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking g++-4.8 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../gcc-4.8_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking gcc-4.8 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../cpp-4.8_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking cpp-4.8 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../binutils_2.24-5ubuntu14.2_amd64.deb ... Unpacking binutils (2.24-5ubuntu14.2) over (2.24-5ubuntu3) ... Preparing to unpack .../libstdc++-4.8-dev_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking libstdc++-4.8-dev:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libgcc-4.8-dev_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking libgcc-4.8-dev:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../gcc-4.8-base_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking gcc-4.8-base:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Setting up gcc-4.8-base:amd64 (4.8.4-2ubuntu1~14.04.3) ... (Reading database ... 11845 files and directories currently installed.) Preparing to unpack .../libstdc++6_4.8.4-2ubuntu1~14.04.3_amd64.deb ... Unpacking libstdc++6:amd64 (4.8.4-2ubuntu1~14.04.3) over (4.8.2-19ubuntu1) ... Setting up libstdc++6:amd64 (4.8.4-2ubuntu1~14.04.3) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../libapt-pkg4.12_1.0.1ubuntu2.17_amd64.deb ... Unpacking libapt-pkg4.12:amd64 (1.0.1ubuntu2.17) over (1.0.1ubuntu2) ... Setting up libapt-pkg4.12:amd64 (1.0.1ubuntu2.17) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../gpgv_1.4.16-1ubuntu2.4_amd64.deb ... Unpacking gpgv (1.4.16-1ubuntu2.4) over (1.4.16-1ubuntu2) ... Setting up gpgv (1.4.16-1ubuntu2.4) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../gnupg_1.4.16-1ubuntu2.4_amd64.deb ... Unpacking gnupg (1.4.16-1ubuntu2.4) over (1.4.16-1ubuntu2) ... Setting up gnupg (1.4.16-1ubuntu2.4) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../apt_1.0.1ubuntu2.17_amd64.deb ... Unpacking apt (1.0.1ubuntu2.17) over (1.0.1ubuntu2) ... Setting up apt (1.0.1ubuntu2.17) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking bsdutils (1:2.20.1-5.1ubuntu20.9) over (1:2.20.1-5.1ubuntu20) ... Setting up bsdutils (1:2.20.1-5.1ubuntu20.9) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.42.9-3ubuntu1.3_amd64.deb ... Unpacking libcomerr2:amd64 (1.42.9-3ubuntu1.3) over (1.42.9-3ubuntu1) ... Setting up libcomerr2:amd64 (1.42.9-3ubuntu1.3) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../libmount1_2.20.1-5.1ubuntu20.9_amd64.deb ... Unpacking libmount1:amd64 (2.20.1-5.1ubuntu20.9) over (2.20.1-5.1ubuntu20) ... Setting up libmount1:amd64 (2.20.1-5.1ubuntu20.9) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../libsepol1_2.2-1ubuntu0.1_amd64.deb ... Unpacking libsepol1:amd64 (2.2-1ubuntu0.1) over (2.2-1) ... Setting up libsepol1:amd64 (2.2-1ubuntu0.1) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../libss2_1.42.9-3ubuntu1.3_amd64.deb ... Unpacking libss2:amd64 (1.42.9-3ubuntu1.3) over (1.42.9-3ubuntu1) ... Setting up libss2:amd64 (1.42.9-3ubuntu1.3) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../libffi6_3.1~rc1+r3.0.13-12ubuntu0.2_amd64.deb ... Unpacking libffi6:amd64 (3.1~rc1+r3.0.13-12ubuntu0.2) over (3.1~rc1+r3.0.13-12) ... Preparing to unpack .../libgcrypt11_1.5.3-2ubuntu4.5_amd64.deb ... Unpacking libgcrypt11:amd64 (1.5.3-2ubuntu4.5) over (1.5.3-2ubuntu4) ... Preparing to unpack .../libtasn1-6_3.4-3ubuntu0.5_amd64.deb ... Unpacking libtasn1-6:amd64 (3.4-3ubuntu0.5) over (3.4-3) ... Preparing to unpack .../libgnutls26_2.12.23-12ubuntu2.8_amd64.deb ... Unpacking libgnutls26:amd64 (2.12.23-12ubuntu2.8) over (2.12.23-12ubuntu2) ... Preparing to unpack .../libsqlite3-0_3.8.2-1ubuntu2.1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.8.2-1ubuntu2.1) over (3.8.2-1ubuntu2) ... Preparing to unpack .../libssl1.0.0_1.0.1f-1ubuntu2.22_amd64.deb ... Unpacking libssl1.0.0:amd64 (1.0.1f-1ubuntu2.22) over (1.0.1f-1ubuntu2) ... Preparing to unpack .../libdrm2_2.4.67-1ubuntu0.14.04.2_amd64.deb ... Unpacking libdrm2:amd64 (2.4.67-1ubuntu0.14.04.2) over (2.4.52-1) ... Preparing to unpack .../klibc-utils_2.0.3-0ubuntu1.14.04.3_amd64.deb ... Unpacking klibc-utils (2.0.3-0ubuntu1.14.04.3) over (2.0.3-0ubuntu1) ... Preparing to unpack .../libklibc_2.0.3-0ubuntu1.14.04.3_amd64.deb ... Unpacking libklibc (2.0.3-0ubuntu1.14.04.3) over (2.0.3-0ubuntu1) ... Preparing to unpack .../initramfs-tools_0.103ubuntu4.9_all.deb ... Unpacking initramfs-tools (0.103ubuntu4.9) over (0.103ubuntu4) ... Preparing to unpack .../initramfs-tools-bin_0.103ubuntu4.9_amd64.deb ... Unpacking initramfs-tools-bin (0.103ubuntu4.9) over (0.103ubuntu4) ... Preparing to unpack .../cpio_2.11+dfsg-1ubuntu1.2_amd64.deb ... Unpacking cpio (2.11+dfsg-1ubuntu1.2) over (2.11+dfsg-1ubuntu1) ... Preparing to unpack .../plymouth_0.8.8-0ubuntu17.1_amd64.deb ... Unpacking plymouth (0.8.8-0ubuntu17.1) over (0.8.8-0ubuntu17) ... Preparing to unpack .../libpng12-0_1.2.50-1ubuntu2.14.04.2_amd64.deb ... Unpacking libpng12-0:amd64 (1.2.50-1ubuntu2.14.04.2) over (1.2.50-1ubuntu2) ... Preparing to unpack .../libplymouth2_0.8.8-0ubuntu17.1_amd64.deb ... Unpacking libplymouth2:amd64 (0.8.8-0ubuntu17.1) over (0.8.8-0ubuntu17) ... Preparing to unpack .../libroken18-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libroken18-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libasn1-8-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libasn1-8-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libk5crypto3_1.12+dfsg-2ubuntu5.3_amd64.deb ... Unpacking libk5crypto3:amd64 (1.12+dfsg-2ubuntu5.3) over (1.12+dfsg-2ubuntu4) ... Preparing to unpack .../libgssapi-krb5-2_1.12+dfsg-2ubuntu5.3_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.12+dfsg-2ubuntu5.3) over (1.12+dfsg-2ubuntu4) ... Preparing to unpack .../libkrb5-3_1.12+dfsg-2ubuntu5.3_amd64.deb ... Unpacking libkrb5-3:amd64 (1.12+dfsg-2ubuntu5.3) over (1.12+dfsg-2ubuntu4) ... Preparing to unpack .../libkrb5support0_1.12+dfsg-2ubuntu5.3_amd64.deb ... Unpacking libkrb5support0:amd64 (1.12+dfsg-2ubuntu5.3) over (1.12+dfsg-2ubuntu4) ... Preparing to unpack .../libidn11_1.28-1ubuntu2.2_amd64.deb ... Unpacking libidn11:amd64 (1.28-1ubuntu2.2) over (1.28-1ubuntu2) ... Preparing to unpack .../libhcrypto4-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libhcrypto4-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libheimbase1-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libheimbase1-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libwind0-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libwind0-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libhx509-5-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libhx509-5-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libkrb5-26-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libkrb5-26-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libheimntlm0-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libheimntlm0-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libgssapi3-heimdal_1.6~git20131207+dfsg-1ubuntu1.2_amd64.deb ... Unpacking libgssapi3-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) over (1.6~git20131207+dfsg-1ubuntu1) ... Preparing to unpack .../libldap-2.4-2_2.4.31-1+nmu2ubuntu8.4_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.31-1+nmu2ubuntu8.4) over (2.4.31-1+nmu2ubuntu8) ... Preparing to unpack .../librtmp0_2.4+20121230.gitdf6c518-1ubuntu0.1_amd64.deb ... Unpacking librtmp0:amd64 (2.4+20121230.gitdf6c518-1ubuntu0.1) over (2.4+20121230.gitdf6c518-1) ... Preparing to unpack .../libcurl3-gnutls_7.35.0-1ubuntu2.12_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.35.0-1ubuntu2.12) over (7.35.0-1ubuntu2) ... Preparing to unpack .../libpam-runtime_1.1.8-1ubuntu2.2_all.deb ... Unpacking libpam-runtime (1.1.8-1ubuntu2.2) over (1.1.8-1ubuntu2) ... Setting up libpam-runtime (1.1.8-1ubuntu2.2) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.19-0ubuntu6.13_amd64.deb ... Unpacking multiarch-support (2.19-0ubuntu6.13) over (2.19-0ubuntu6) ... Setting up multiarch-support (2.19-0ubuntu6.13) ... (Reading database ... 11858 files and directories currently installed.) Preparing to unpack .../makedev_2.3.1-93ubuntu2~ubuntu14.04.1_all.deb ... Unpacking makedev (2.3.1-93ubuntu2~ubuntu14.04.1) over (2.3.1-93ubuntu1) ... Preparing to unpack .../apt-transport-https_1.0.1ubuntu2.17_amd64.deb ... Unpacking apt-transport-https (1.0.1ubuntu2.17) over (1.0.1ubuntu2) ... Preparing to unpack .../openssl_1.0.1f-1ubuntu2.22_amd64.deb ... Unpacking openssl (1.0.1f-1ubuntu2.22) over (1.0.1f-1ubuntu2) ... Preparing to unpack .../ca-certificates_20170717~14.04.1_all.deb ... Unpacking ca-certificates (20170717~14.04.1) over (20130906ubuntu2) ... Preparing to unpack .../dpkg-dev_1.17.5ubuntu5.7_all.deb ... Unpacking dpkg-dev (1.17.5ubuntu5.7) over (1.17.5ubuntu5) ... Preparing to unpack .../libdpkg-perl_1.17.5ubuntu5.7_all.deb ... Unpacking libdpkg-perl (1.17.5ubuntu5.7) over (1.17.5ubuntu5) ... Preparing to unpack .../patch_2.7.1-4ubuntu2.3_amd64.deb ... Unpacking patch (2.7.1-4ubuntu2.3) over (2.7.1-4) ... Preparing to unpack .../optipng_0.6.4-1ubuntu0.14.04.1_amd64.deb ... Unpacking optipng (0.6.4-1ubuntu0.14.04.1) over (0.6.4-1build1) ... Preparing to unpack .../pkg-create-dbgsym_0.67~trusty_all.deb ... Unpacking pkg-create-dbgsym (0.67~trusty) over (0.64) ... Setting up initscripts (2.88dsf-41ubuntu6.3) ... Installing new version of config file /etc/init.d/ondemand ... Setting up libdbus-1-3:amd64 (1.6.18-0ubuntu4.5) ... Setting up libjson-c2:amd64 (0.11-3ubuntu1.2) ... Setting up libcgmanager0:amd64 (0.24-0ubuntu7.5) ... Setting up libprocps3:amd64 (1:3.3.9-1ubuntu2.2) ... Setting up procps (1:3.3.9-1ubuntu2.2) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libudev1:amd64 (204-5ubuntu20.25) ... Setting up udev (204-5ubuntu20.25) ... Installing new version of config file /etc/init/udev-fallback-graphics.conf ... invoke-rc.d: policy-rc.d denied execution of restart. Removing 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up iproute2 (3.12.0-2ubuntu1) ... Setting up ifupdown (0.7.47.2ubuntu4.4) ... Installing new version of config file /etc/init/network-interface.conf ... Setting up libjson0:amd64 (0.11-3ubuntu1.2) ... Setting up upstart (1.12.1-0ubuntu4.2) ... Installing new version of config file /etc/cron.daily/upstart ... Setting up libc-dev-bin (2.19-0ubuntu6.13) ... Setting up linux-libc-dev:amd64 (3.13.0-133.182) ... Setting up libc6-dev:amd64 (2.19-0ubuntu6.13) ... Setting up libtsan0:amd64 (4.8.4-2ubuntu1~14.04.3) ... Setting up libgomp1:amd64 (4.8.4-2ubuntu1~14.04.3) ... Setting up libitm1:amd64 (4.8.4-2ubuntu1~14.04.3) ... Setting up libatomic1:amd64 (4.8.4-2ubuntu1~14.04.3) ... Setting up libasan0:amd64 (4.8.4-2ubuntu1~14.04.3) ... Setting up libquadmath0:amd64 (4.8.4-2ubuntu1~14.04.3) ... Setting up cpp-4.8 (4.8.4-2ubuntu1~14.04.3) ... Setting up binutils (2.24-5ubuntu14.2) ... Setting up libgcc-4.8-dev:amd64 (4.8.4-2ubuntu1~14.04.3) ... Setting up gcc-4.8 (4.8.4-2ubuntu1~14.04.3) ... Setting up libstdc++-4.8-dev:amd64 (4.8.4-2ubuntu1~14.04.3) ... Setting up g++-4.8 (4.8.4-2ubuntu1~14.04.3) ... Setting up libffi6:amd64 (3.1~rc1+r3.0.13-12ubuntu0.2) ... Setting up libgcrypt11:amd64 (1.5.3-2ubuntu4.5) ... Setting up libtasn1-6:amd64 (3.4-3ubuntu0.5) ... Setting up libgnutls26:amd64 (2.12.23-12ubuntu2.8) ... Setting up libsqlite3-0:amd64 (3.8.2-1ubuntu2.1) ... Setting up libssl1.0.0:amd64 (1.0.1f-1ubuntu2.22) ... Setting up libdrm2:amd64 (2.4.67-1ubuntu0.14.04.2) ... Setting up libklibc (2.0.3-0ubuntu1.14.04.3) ... Setting up klibc-utils (2.0.3-0ubuntu1.14.04.3) ... Setting up initramfs-tools-bin (0.103ubuntu4.9) ... Setting up cpio (2.11+dfsg-1ubuntu1.2) ... Setting up initramfs-tools (0.103ubuntu4.9) ... update-initramfs: deferring update (trigger activated) Setting up libpng12-0:amd64 (1.2.50-1ubuntu2.14.04.2) ... Setting up libplymouth2:amd64 (0.8.8-0ubuntu17.1) ... Setting up plymouth (0.8.8-0ubuntu17.1) ... update-initramfs: deferring update (trigger activated) Setting up libroken18-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libasn1-8-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libkrb5support0:amd64 (1.12+dfsg-2ubuntu5.3) ... Setting up libk5crypto3:amd64 (1.12+dfsg-2ubuntu5.3) ... Setting up libkrb5-3:amd64 (1.12+dfsg-2ubuntu5.3) ... Setting up libgssapi-krb5-2:amd64 (1.12+dfsg-2ubuntu5.3) ... Setting up libidn11:amd64 (1.28-1ubuntu2.2) ... Setting up libhcrypto4-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libheimbase1-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libwind0-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libhx509-5-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libkrb5-26-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libheimntlm0-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libgssapi3-heimdal:amd64 (1.6~git20131207+dfsg-1ubuntu1.2) ... Setting up libldap-2.4-2:amd64 (2.4.31-1+nmu2ubuntu8.4) ... Setting up librtmp0:amd64 (2.4+20121230.gitdf6c518-1ubuntu0.1) ... Setting up libcurl3-gnutls:amd64 (7.35.0-1ubuntu2.12) ... Setting up makedev (2.3.1-93ubuntu2~ubuntu14.04.1) ... Setting up apt-transport-https (1.0.1ubuntu2.17) ... Setting up openssl (1.0.1f-1ubuntu2.22) ... Setting up ca-certificates (20170717~14.04.1) ... Setting up patch (2.7.1-4ubuntu2.3) ... Setting up optipng (0.6.4-1ubuntu0.14.04.1) ... Setting up pkg-create-dbgsym (0.67~trusty) ... Setting up perl-modules (5.18.2-2ubuntu1.1) ... Setting up perl (5.18.2-2ubuntu1.1) ... Setting up libdpkg-perl (1.17.5ubuntu5.7) ... Setting up dpkg-dev (1.17.5ubuntu5.7) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... Processing triggers for initramfs-tools (0.103ubuntu4.9) ... Processing triggers for ca-certificates (20170717~14.04.1) ... Updating certificates in /etc/ssl/certs... 46 added, 62 removed; done. Running hooks in /etc/ca-certificates/update.d....done. RUN: /usr/share/launchpad-buildd/slavebin/buildrecipe --git RECIPEBRANCHBUILD-1474143 'Jason Gross' jgross@mit.edu trusty trusty universe PPA Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: dh-python libexpat1 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.4-venv python3.4-doc binfmt-support Recommended packages: file The following NEW packages will be installed: dh-python libexpat1 libpython3-stdlib libpython3.4-minimal libpython3.4-stdlib lsb-release mime-support python3 python3-minimal python3.4 python3.4-minimal 0 upgraded, 11 newly installed, 0 to remove and 0 not upgraded. Need to get 4046 kB of archives. After this operation, 18.3 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty-security/main libexpat1 amd64 2.1.0-4ubuntu1.4 [70.9 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty-security/main libpython3.4-minimal amd64 3.4.3-1ubuntu1~14.04.5 [462 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty-security/main mime-support all 3.54ubuntu1.1 [29.3 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty-security/main libpython3.4-stdlib amd64 3.4.3-1ubuntu1~14.04.5 [1985 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty-security/main python3.4-minimal amd64 3.4.3-1ubuntu1~14.04.5 [1220 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty-security/main python3.4 amd64 3.4.3-1ubuntu1~14.04.5 [178 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main python3-minimal amd64 3.4.0-0ubuntu2 [23.2 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libpython3-stdlib amd64 3.4.0-0ubuntu2 [6912 B] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main python3 amd64 3.4.0-0ubuntu2 [8666 B] Get:10 http://ftpmaster.internal/ubuntu/ trusty-updates/main dh-python all 1.20140128-1ubuntu8.2 [51.1 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty-updates/main lsb-release all 4.1+Debian11ubuntu6.2 [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 4046 kB in 0s (24.4 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 11841 files and directories currently installed.) Preparing to unpack .../libexpat1_2.1.0-4ubuntu1.4_amd64.deb ... Unpacking libexpat1:amd64 (2.1.0-4ubuntu1.4) ... Selecting previously unselected package libpython3.4-minimal:amd64. Preparing to unpack .../libpython3.4-minimal_3.4.3-1ubuntu1~14.04.5_amd64.deb ... Unpacking libpython3.4-minimal:amd64 (3.4.3-1ubuntu1~14.04.5) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.54ubuntu1.1_all.deb ... Unpacking mime-support (3.54ubuntu1.1) ... Selecting previously unselected package libpython3.4-stdlib:amd64. Preparing to unpack .../libpython3.4-stdlib_3.4.3-1ubuntu1~14.04.5_amd64.deb ... Unpacking libpython3.4-stdlib:amd64 (3.4.3-1ubuntu1~14.04.5) ... Selecting previously unselected package python3.4-minimal. Preparing to unpack .../python3.4-minimal_3.4.3-1ubuntu1~14.04.5_amd64.deb ... Unpacking python3.4-minimal (3.4.3-1ubuntu1~14.04.5) ... Selecting previously unselected package python3.4. Preparing to unpack .../python3.4_3.4.3-1ubuntu1~14.04.5_amd64.deb ... Unpacking python3.4 (3.4.3-1ubuntu1~14.04.5) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../python3-minimal_3.4.0-0ubuntu2_amd64.deb ... Unpacking python3-minimal (3.4.0-0ubuntu2) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../libpython3-stdlib_3.4.0-0ubuntu2_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.4.0-0ubuntu2) ... Selecting previously unselected package python3. Preparing to unpack .../python3_3.4.0-0ubuntu2_amd64.deb ... Unpacking python3 (3.4.0-0ubuntu2) ... Selecting previously unselected package dh-python. Preparing to unpack .../dh-python_1.20140128-1ubuntu8.2_all.deb ... Unpacking dh-python (1.20140128-1ubuntu8.2) ... Selecting previously unselected package lsb-release. Preparing to unpack .../lsb-release_4.1+Debian11ubuntu6.2_all.deb ... Unpacking lsb-release (4.1+Debian11ubuntu6.2) ... Setting up libexpat1:amd64 (2.1.0-4ubuntu1.4) ... Setting up libpython3.4-minimal:amd64 (3.4.3-1ubuntu1~14.04.5) ... Setting up mime-support (3.54ubuntu1.1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libpython3.4-stdlib:amd64 (3.4.3-1ubuntu1~14.04.5) ... Setting up python3.4-minimal (3.4.3-1ubuntu1~14.04.5) ... Setting up python3.4 (3.4.3-1ubuntu1~14.04.5) ... Setting up python3-minimal (3.4.0-0ubuntu2) ... Setting up libpython3-stdlib:amd64 (3.4.0-0ubuntu2) ... Setting up dh-python (1.20140128-1ubuntu8.2) ... Setting up python3 (3.4.0-0ubuntu2) ... running python rtupdate hooks for python3.4... running python post-rtupdate hooks for python3.4... Setting up lsb-release (4.1+Debian11ubuntu6.2) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... Git version: git version 2.7.4 git-build-recipe 0.3.4~git201611291343.dcee459~ubuntu16.04.1 Building recipe: # git-build-recipe format 0.4 deb-version {debupstream}~{time}+{revno}-0~daily{revno:packaging} lp:~jgross-h/coq/+git/coq master nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian master RUN ['git-build-recipe', '--safe', '--no-build', '--manifest', '/home/buildd/build-RECIPEBRANCHBUILD-1474143/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'trusty', '--allow-fallback-to-native', '--append-version', '~ubuntu14.04.1', '/home/buildd/build-RECIPEBRANCHBUILD-1474143/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-1474143/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-1474143/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-1474143/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-1474143/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch resource.struct_rusage(ru_utime=23.576, ru_stime=3.616, ru_maxrss=87772, ru_ixrss=0, ru_idrss=0, ru_isrss=0, ru_minflt=84156, ru_majflt=43, ru_nswap=0, ru_inblock=12208, ru_oublock=276400, ru_msgsnd=0, ru_msgrcv=0, ru_nsignals=0, ru_nvcsw=62339, ru_nivcsw=5343) 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 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 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 libelfg0 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 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 libpoppler44 libpopt0 libptexenc1 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsm-dev libsm6 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 luatex 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, 205 newly installed, 0 to remove and 0 not upgraded. Need to get 116 MB of archives. After this operation, 516 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty-security/main libmagic1 amd64 1:5.14-2ubuntu3.3 [185 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libpopt0 amd64 1.16-8ubuntu1 [25.5 kB] Get:3 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-base-nox amd64 4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 [475 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty-updates/main libasprintf0c2 amd64 0.18.3.1-1ubuntu3 [6712 B] Get:5 http://ftpmaster.internal/ubuntu/ trusty-updates/main libglib2.0-0 amd64 2.40.2-0ubuntu1 [1058 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 amd64 1.3.0-1 [24.0 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libxau6 amd64 1:1.0.8-1 [8376 B] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp6 amd64 1:1.1.1-1 [12.8 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1 amd64 1.10-2ubuntu1 [38.0 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libx11-data all 2:1.6.2-1ubuntu2 [111 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libx11-6 amd64 2:1.6.2-1ubuntu2 [560 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty-security/main libxext6 amd64 2:1.3.2-1ubuntu0.0.14.04.1 [28.8 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty-security/main libxml2 amd64 2.9.1+dfsg1-3ubuntu4.10 [573 kB] Get:14 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main hevea all 2.28-1~ubuntu14.04.1~ppa1 [885 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main groff-base amd64 1.22.2-5 [1053 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils amd64 9.0.5ubuntu1 [203 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty-updates/main man-db amd64 2.6.7.1-1ubuntu1 [857 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-data all 2.10.0-2ubuntu2 [13.7 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-0 amd64 2.10.0-2ubuntu2 [50.9 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty-updates/main libavahi-common-data amd64 0.6.31-4ubuntu1.1 [21.2 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty-updates/main libavahi-common3 amd64 0.6.31-4ubuntu1.1 [21.7 kB] Get:22 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main libfindlib-ocaml amd64 1.6.2-1~ubuntu14.04.1~ppa1 [160 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty-updates/main libavahi-client3 amd64 0.6.31-4ubuntu1.1 [25.1 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main fonts-dejavu-core all 2.34-1ubuntu1 [1024 kB] Get:25 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main liblablgtk2-ocaml amd64 2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1 [731 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main ucf all 3.0027+nmu1 [56.3 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty-security/main fontconfig-config all 2.11.0-0ubuntu4.2 [47.4 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty-security/main libfreetype6 amd64 2.5.2-1ubuntu2.8 [304 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty-security/main libfontconfig1 amd64 2.11.0-0ubuntu4.2 [123 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty-security/main libpixman-1-0 amd64 0.30.2-2ubuntu1.1 [225 kB] Get:31 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-compiler-libs amd64 4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 [9531 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0 amd64 1.10-2ubuntu1 [11.0 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0 amd64 1.10-2ubuntu1 [5432 B] Get:34 http://ftpmaster.internal/ubuntu/ trusty-security/main libxrender1 amd64 1:0.9.8-1build0.14.04.1 [17.9 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcairo2 amd64 1.13.0~20140204-0ubuntu1.1 [535 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcairo-gobject2 amd64 1.13.0~20140204-0ubuntu1.1 [17.2 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty-security/main liblzo2-2 amd64 2.06-1.2ubuntu1.1 [46.1 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcairo-script-interpreter2 amd64 1.13.0~20140204-0ubuntu1.1 [53.2 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 amd64 0.6.8-2ubuntu1 [82.4 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcups2 amd64 1.7.2-0ubuntu1.8 [179 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg-turbo8 amd64 1.3.0-0ubuntu2 [104 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg8 amd64 8c-2ubuntu8 [2194 B] Get:43 http://ftpmaster.internal/ubuntu/ trusty-security/main libjbig0 amd64 2.0-2ubuntu4.1 [26.1 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty-security/main libtiff5 amd64 4.0.3-7ubuntu0.7 [144 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty-security/main libcupsfilters1 amd64 1.0.52-0ubuntu1.7 [73.8 kB] Get:46 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcupsimage2 amd64 1.7.2-0ubuntu1.8 [15.4 kB] Get:47 http://ftpmaster.internal/ubuntu/ trusty/main libdatrie1 amd64 0.2.8-1 [16.7 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty/main libelfg0 amd64 0.8.13-5 [37.6 kB] Get:49 http://ftpmaster.internal/ubuntu/ trusty/main libaspell15 amd64 0.60.7~20110707-1ubuntu1 [335 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty/main libtext-iconv-perl amd64 1.7-5build2 [15.3 kB] Get:51 http://ftpmaster.internal/ubuntu/ trusty/main dictionaries-common all 1.20.5 [232 kB] Get:52 http://ftpmaster.internal/ubuntu/ trusty/main aspell amd64 0.60.7~20110707-1ubuntu1 [78.4 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty/main aspell-en all 7.1-0-1 [267 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty-updates/main libhunspell-1.3-0 amd64 1.3.2-6ubuntu2.1 [108 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty/main libenchant1c2a amd64 1.6.0-10ubuntu1 [64.7 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty-security/main libjasper1 amd64 1.900.1-14ubuntu3.4 [130 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty-security/main libgdk-pixbuf2.0-common all 2.30.7-0ubuntu1.7 [9276 B] Get:58 http://ftpmaster.internal/ubuntu/ trusty-security/main libgdk-pixbuf2.0-0 amd64 2.30.7-0ubuntu1.7 [161 kB] Get:59 http://ftpmaster.internal/ubuntu/ trusty-security/main libgtk2.0-common all 2.24.23-0ubuntu1.4 [121 kB] Get:60 http://ftpmaster.internal/ubuntu/ trusty/main libthai-data all 0.1.20-3 [130 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty/main libthai0 amd64 0.1.20-3 [16.9 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty-security/main fontconfig amd64 2.11.0-0ubuntu4.2 [176 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty-updates/main libpango-1.0-0 amd64 1.36.3-1ubuntu1.1 [149 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty-security/main libgraphite2-3 amd64 1.3.10-0ubuntu0.14.04.1 [72.3 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty-security/main libharfbuzz0b amd64 0.9.27-1ubuntu1.1 [127 kB] Get:66 http://ftpmaster.internal/ubuntu/ trusty-updates/main libpangoft2-1.0-0 amd64 1.36.3-1ubuntu1.1 [32.7 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty-updates/main libpangocairo-1.0-0 amd64 1.36.3-1ubuntu1.1 [20.0 kB] Get:68 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite1 amd64 1:0.4.4-1 [7714 B] Get:69 http://ftpmaster.internal/ubuntu/ trusty-security/main libxfixes3 amd64 1:5.0.1-1ubuntu1.1 [10.4 kB] Get:70 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor1 amd64 1:1.1.14-1 [22.8 kB] Get:71 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage1 amd64 1:1.1.4-1ubuntu1 [7612 B] Get:72 http://ftpmaster.internal/ubuntu/ trusty-security/main libxi6 amd64 2:1.7.1.901-1ubuntu1.1 [27.9 kB] Get:73 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama1 amd64 2:1.1.3-1 [7908 B] Get:74 http://ftpmaster.internal/ubuntu/ trusty-updates/main libxrandr2 amd64 2:1.5.0-1~trusty1 [17.5 kB] Get:75 http://ftpmaster.internal/ubuntu/ trusty/main shared-mime-info amd64 1.2-0ubuntu3 [415 kB] Get:76 http://ftpmaster.internal/ubuntu/ trusty-security/main libgtk2.0-0 amd64 2.24.23-0ubuntu1.4 [1739 kB] Get:77 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-0 amd64 1:2.6.4-2 [44.6 kB] Get:78 http://ftpmaster.internal/ubuntu/ trusty-security/main libharfbuzz-gobject0 amd64 0.9.27-1ubuntu1.1 [10.4 kB] Get:79 http://ftpmaster.internal/ubuntu/ trusty-security/main libicu52 amd64 52.1-3ubuntu0.7 [6748 kB] Get:80 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-interp amd64 4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 [295 kB] Get:81 http://ftpmaster.internal/ubuntu/ trusty-security/main libharfbuzz-icu0 amd64 0.9.27-1ubuntu1.1 [5116 B] Get:82 http://ftpmaster.internal/ubuntu/ trusty-updates/main x11-common all 1:7.7+1ubuntu8.1 [49.5 kB] Get:83 http://ftpmaster.internal/ubuntu/ trusty/main libice6 amd64 2:1.0.8-2 [47.0 kB] Get:84 http://ftpmaster.internal/ubuntu/ trusty-security/main liblcms2-2 amd64 2.5-0ubuntu4.1 [131 kB] Get:85 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-nox amd64 4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 [6231 kB] Get:86 http://ftpmaster.internal/ubuntu/ trusty/main libxft2 amd64 2.3.1-2 [36.2 kB] Get:87 http://ftpmaster.internal/ubuntu/ trusty-updates/main libpangoxft-1.0-0 amd64 1.36.3-1ubuntu1.1 [14.8 kB] Get:88 http://ftpmaster.internal/ubuntu/ trusty/main libpaper1 amd64 1.1.24+nmu2ubuntu3 [13.4 kB] Get:89 http://ftpmaster.internal/ubuntu/ trusty-updates/main libpcrecpp0 amd64 1:8.31-2ubuntu2.3 [14.5 kB] Get:90 http://ftpmaster.internal/ubuntu/ trusty-security/main libpoppler44 amd64 0.24.5-2ubuntu4.7 [705 kB] Get:91 http://ftpmaster.internal/ubuntu/ trusty/main libsm6 amd64 2:1.2.1-2 [18.1 kB] Get:92 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 amd64 0.9.3-5ubuntu3 [271 kB] Get:93 http://ftpmaster.internal/ubuntu/ trusty/main libxt6 amd64 1:1.1.4-1 [185 kB] Get:94 http://ftpmaster.internal/ubuntu/ trusty/main libxmu6 amd64 2:1.1.1-1 [53.8 kB] Get:95 http://ftpmaster.internal/ubuntu/ trusty-security/main libxpm4 amd64 1:3.5.10-1ubuntu0.1 [33.2 kB] Get:96 http://ftpmaster.internal/ubuntu/ trusty/main libxaw7 amd64 2:1.0.12-1 [168 kB] Get:97 http://ftpmaster.internal/ubuntu/ trusty/main poppler-data all 0.4.6-4 [1479 kB] Get:98 http://ftpmaster.internal/ubuntu/ trusty-security/main libpython2.7-minimal amd64 2.7.6-8ubuntu0.3 [307 kB] Get:99 http://ftpmaster.internal/ubuntu/ trusty-security/main python2.7-minimal amd64 2.7.6-8ubuntu0.3 [1187 kB] Get:100 http://ftpmaster.internal/ubuntu/ trusty-security/main file amd64 1:5.14-2ubuntu3.3 [18.9 kB] Get:101 http://ftpmaster.internal/ubuntu/ trusty-updates/main gettext-base amd64 0.18.3.1-1ubuntu3 [48.8 kB] Get:102 http://ftpmaster.internal/ubuntu/ trusty-updates/main libgirepository-1.0-1 amd64 1.40.0-1ubuntu0.2 [85.6 kB] Get:103 http://ftpmaster.internal/ubuntu/ trusty-updates/main gir1.2-glib-2.0 amd64 1.40.0-1ubuntu0.2 [124 kB] Get:104 http://ftpmaster.internal/ubuntu/ trusty-updates/main libglib2.0-data all 2.40.2-0ubuntu1 [116 kB] Get:105 http://ftpmaster.internal/ubuntu/ trusty-updates/main gettext amd64 0.18.3.1-1ubuntu3 [829 kB] Get:106 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:107 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:108 http://ftpmaster.internal/ubuntu/ trusty-security/main dh-apparmor all 2.10.95-0ubuntu2.6~14.04.1 [13.0 kB] Get:109 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20131227ubuntu1 [604 kB] Get:110 http://ftpmaster.internal/ubuntu/ trusty/main libijs-0.35 amd64 0.35-8build1 [16.8 kB] Get:111 http://ftpmaster.internal/ubuntu/ trusty-security/main libjbig2dec0 amd64 0.11+20120125-1ubuntu1.1 [43.0 kB] Get:112 http://ftpmaster.internal/ubuntu/ trusty-security/main libgs9-common all 9.10~dfsg-0ubuntu10.10 [2068 kB] Get:113 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main liblablgtk2-ocaml-dev amd64 2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1 [1426 kB] Get:114 http://ftpmaster.internal/ubuntu/ trusty-security/main libgs9 amd64 9.10~dfsg-0ubuntu10.10 [1941 kB] Get:115 http://ftpmaster.internal/ubuntu/ trusty/main gsfonts all 1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1 [3374 kB] Get:116 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main liblablgtksourceview2-ocaml amd64 2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1 [94.9 kB] Get:117 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main liblablgtksourceview2-ocaml-dev amd64 2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1 [116 kB] Get:118 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-findlib amd64 1.6.2-1~ubuntu14.04.1~ppa1 [275 kB] Get:119 http://ftpmaster.internal/ubuntu/ trusty-security/main ghostscript amd64 9.10~dfsg-0ubuntu10.10 [40.8 kB] Get:120 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-atk-1.0 amd64 2.10.0-2ubuntu2 [16.3 kB] Get:121 http://ftpmaster.internal/ubuntu/ trusty-updates/main gir1.2-freedesktop amd64 1.40.0-1ubuntu0.2 [5652 B] Get:122 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main ocaml-native-compilers amd64 4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 [2503 kB] Get:123 http://ftpmaster.internal/ubuntu/ trusty-security/main gir1.2-gdkpixbuf-2.0 amd64 2.30.7-0ubuntu1.7 [7968 B] Get:124 http://ftpmaster.internal/ubuntu/ trusty-updates/main gir1.2-pango-1.0 amd64 1.36.3-1ubuntu1.1 [19.1 kB] Get:125 http://ftpmaster.internal/ubuntu/ trusty-security/main gir1.2-gtk-2.0 amd64 2.24.23-0ubuntu1.4 [172 kB] Get:126 http://ftpmaster.internal/ubuntu/ trusty/main libnetpbm10 amd64 2:10.0-15ubuntu2 [69.0 kB] Get:127 http://ftpmaster.internal/ubuntu/ trusty/main netpbm amd64 2:10.0-15ubuntu2 [1341 kB] Get:128 http://ftpmaster.internal/ubuntu/ trusty/main tex-common all 4.04 [621 kB] Get:129 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ trusty/main camlp5 amd64 6.16-1~ubuntu14.04.1~ppa1 [2311 kB] Get:130 http://ftpmaster.internal/ubuntu/ trusty-updates/main xdg-utils all 1.1.0~rc1-2ubuntu7.1 [54.1 kB] Get:131 http://ftpmaster.internal/ubuntu/ trusty/main libkpathsea6 amd64 2013.20130729.30972-2build3 [63.5 kB] Get:132 http://ftpmaster.internal/ubuntu/ trusty/main luatex amd64 0.76.0-3ubuntu1 [2776 kB] Get:133 http://ftpmaster.internal/ubuntu/ trusty/main libptexenc1 amd64 2013.20130729.30972-2build3 [33.9 kB] Get:134 http://ftpmaster.internal/ubuntu/ trusty/main texlive-binaries amd64 2013.20130729.30972-2build3 [4059 kB] Get:135 http://ftpmaster.internal/ubuntu/ trusty/main libpaper-utils amd64 1.1.24+nmu2ubuntu3 [8244 B] Get:136 http://ftpmaster.internal/ubuntu/ trusty-security/main texlive-base all 2013.20140215-1ubuntu0.1 [16.2 MB] Get:137 http://ftpmaster.internal/ubuntu/ trusty/main pkg-config amd64 0.26-1ubuntu4 [40.9 kB] Get:138 http://ftpmaster.internal/ubuntu/ trusty-security/main libpython2.7-stdlib amd64 2.7.6-8ubuntu0.3 [1873 kB] Get:139 http://ftpmaster.internal/ubuntu/ trusty-security/main python2.7 amd64 2.7.6-8ubuntu0.3 [197 kB] Get:140 http://ftpmaster.internal/ubuntu/ trusty/main python-minimal amd64 2.7.5-5ubuntu3 [27.5 kB] Get:141 http://ftpmaster.internal/ubuntu/ trusty/main libpython-stdlib amd64 2.7.5-5ubuntu3 [7012 B] Get:142 http://ftpmaster.internal/ubuntu/ trusty/main python amd64 2.7.5-5ubuntu3 [134 kB] Get:143 http://ftpmaster.internal/ubuntu/ trusty-updates/main libglib2.0-bin amd64 2.40.2-0ubuntu1 [34.9 kB] Get:144 http://ftpmaster.internal/ubuntu/ trusty-updates/main libpcre3-dev amd64 1:8.31-2ubuntu2.3 [237 kB] Get:145 http://ftpmaster.internal/ubuntu/ trusty/main zlib1g-dev amd64 1:1.2.8.dfsg-1ubuntu1 [183 kB] Get:146 http://ftpmaster.internal/ubuntu/ trusty-updates/main libglib2.0-dev amd64 2.40.2-0ubuntu1 [1322 kB] Get:147 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-dev amd64 2.10.0-2ubuntu2 [67.8 kB] Get:148 http://ftpmaster.internal/ubuntu/ trusty-security/main libexpat1-dev amd64 2.1.0-4ubuntu1.4 [115 kB] Get:149 http://ftpmaster.internal/ubuntu/ trusty-security/main libpng12-dev amd64 1.2.50-1ubuntu2.14.04.2 [206 kB] Get:150 http://ftpmaster.internal/ubuntu/ trusty-security/main libfreetype6-dev amd64 2.5.2-1ubuntu2.8 [623 kB] Get:151 http://ftpmaster.internal/ubuntu/ trusty-security/main libfontconfig1-dev amd64 2.11.0-0ubuntu4.2 [665 kB] Get:152 http://ftpmaster.internal/ubuntu/ trusty/main xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:153 http://ftpmaster.internal/ubuntu/ trusty-security/main x11proto-core-dev all 7.0.26-1~ubuntu2 [700 kB] Get:154 http://ftpmaster.internal/ubuntu/ trusty/main libxau-dev amd64 1:1.0.8-1 [11.1 kB] Get:155 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp-dev amd64 1:1.1.1-1 [26.9 kB] Get:156 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-input-dev all 2.3-1 [139 kB] Get:157 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-kb-dev all 1.0.6-2 [269 kB] Get:158 http://ftpmaster.internal/ubuntu/ trusty-security/main xtrans-dev all 1.3.5-1~ubuntu14.04.2 [70.7 kB] Get:159 http://ftpmaster.internal/ubuntu/ trusty/main libpthread-stubs0-dev amd64 0.3-4 [4068 B] Get:160 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1-dev amd64 1.10-2ubuntu1 [76.6 kB] Get:161 http://ftpmaster.internal/ubuntu/ trusty/main libx11-dev amd64 2:1.6.2-1ubuntu2 [629 kB] Get:162 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:163 http://ftpmaster.internal/ubuntu/ trusty-security/main libxrender-dev amd64 1:0.9.8-1build0.14.04.1 [23.8 kB] Get:164 http://ftpmaster.internal/ubuntu/ trusty/main libice-dev amd64 2:1.0.8-2 [57.6 kB] Get:165 http://ftpmaster.internal/ubuntu/ trusty/main libsm-dev amd64 2:1.2.1-2 [19.9 kB] Get:166 http://ftpmaster.internal/ubuntu/ trusty-security/main libpixman-1-dev amd64 0.30.2-2ubuntu1.1 [240 kB] Get:167 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0-dev amd64 1.10-2ubuntu1 [16.7 kB] Get:168 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0-dev amd64 1.10-2ubuntu1 [6868 B] Get:169 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xext-dev all 7.3.0-1 [212 kB] Get:170 http://ftpmaster.internal/ubuntu/ trusty-security/main libxext-dev amd64 2:1.3.2-1ubuntu0.0.14.04.1 [81.2 kB] Get:171 http://ftpmaster.internal/ubuntu/ trusty-updates/main libcairo2-dev amd64 1.13.0~20140204-0ubuntu1.1 [574 kB] Get:172 http://ftpmaster.internal/ubuntu/ trusty/main libenchant-dev amd64 1.6.0-10ubuntu1 [51.9 kB] Get:173 http://ftpmaster.internal/ubuntu/ trusty-security/main libgdk-pixbuf2.0-dev amd64 2.30.7-0ubuntu1.7 [42.9 kB] Get:174 http://ftpmaster.internal/ubuntu/ trusty/main libxft-dev amd64 2.3.1-2 [45.8 kB] Get:175 http://ftpmaster.internal/ubuntu/ trusty-security/main libharfbuzz-dev amd64 0.9.27-1ubuntu1.1 [29.1 kB] Get:176 http://ftpmaster.internal/ubuntu/ trusty-updates/main libpango1.0-dev amd64 1.36.3-1ubuntu1.1 [278 kB] Get:177 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:178 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama-dev amd64 2:1.1.3-1 [8404 B] Get:179 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:180 http://ftpmaster.internal/ubuntu/ trusty-security/main libxfixes-dev amd64 1:5.0.1-1ubuntu1.1 [10.8 kB] Get:181 http://ftpmaster.internal/ubuntu/ trusty-security/main libxi-dev amd64 2:1.7.1.901-1ubuntu1.1 [184 kB] Get:182 http://ftpmaster.internal/ubuntu/ trusty-security/main x11proto-randr-dev all 1.5.0-1~trusty2 [33.6 kB] Get:183 http://ftpmaster.internal/ubuntu/ trusty-updates/main libxrandr-dev amd64 2:1.5.0-1~trusty1 [23.5 kB] Get:184 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor-dev amd64 1:1.1.14-1 [29.8 kB] Get:185 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:186 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite-dev amd64 1:0.4.4-1 [9954 B] Get:187 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:188 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage-dev amd64 1:1.1.4-1ubuntu1 [5450 B] Get:189 http://ftpmaster.internal/ubuntu/ trusty-security/main libxml2-utils amd64 2.9.1+dfsg1-3ubuntu4.10 [34.7 kB] Get:190 http://ftpmaster.internal/ubuntu/ trusty-security/main libgtk2.0-dev amd64 2.24.23-0ubuntu1.4 [2563 kB] Get:191 http://ftpmaster.internal/ubuntu/ trusty-security/main libxml2-dev amd64 2.9.1+dfsg1-3ubuntu4.10 [631 kB] Get:192 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-dev amd64 1:2.6.4-2 [73.0 kB] Get:193 http://ftpmaster.internal/ubuntu/ trusty-updates/universe libgtksourceview2.0-common all 2.10.5-1ubuntu2.14.04.1 [434 kB] Get:194 http://ftpmaster.internal/ubuntu/ trusty-updates/universe libgtksourceview2.0-0 amd64 2.10.5-1ubuntu2.14.04.1 [144 kB] Get:195 http://ftpmaster.internal/ubuntu/ trusty-updates/universe libgtksourceview2.0-dev amd64 2.10.5-1ubuntu2.14.04.1 [164 kB] Get:196 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell0 amd64 2.0.16-1ubuntu7 [11.0 kB] Get:197 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell-dev amd64 2.0.16-1ubuntu7 [22.9 kB] Get:198 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo-dev amd64 5.9+20140118-1ubuntu1 [76.3 kB] Get:199 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5-dev amd64 5.9+20140118-1ubuntu1 [170 kB] Get:200 http://ftpmaster.internal/ubuntu/ trusty/main preview-latex-style all 11.87-1ubuntu2 [187 kB] Get:201 http://ftpmaster.internal/ubuntu/ trusty-security/main texlive-latex-base all 2013.20140215-1ubuntu0.1 [829 kB] Get:202 http://ftpmaster.internal/ubuntu/ trusty-security/main texlive-latex-recommended all 2013.20140215-1ubuntu0.1 [7293 kB] Get:203 http://ftpmaster.internal/ubuntu/ trusty-security/main texlive-pictures all 2013.20140215-1ubuntu0.1 [2413 kB] Get:204 http://ftpmaster.internal/ubuntu/ trusty/main texlive-latex-extra all 2013.20140215-2 [7286 kB] Get:205 http://ftpmaster.internal/ubuntu/ trusty/main dh-ocaml all 1.0.8 [80.5 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 116 MB in 8s (13.1 MB/s) Selecting previously unselected package libmagic1:amd64. (Reading database ... 12799 files and directories currently installed.) Preparing to unpack .../libmagic1_1%3a5.14-2ubuntu3.3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.14-2ubuntu3.3) ... Selecting previously unselected package libpopt0:amd64. Preparing to unpack .../libpopt0_1.16-8ubuntu1_amd64.deb ... Unpacking libpopt0:amd64 (1.16-8ubuntu1) ... Selecting previously unselected package libasprintf0c2:amd64. Preparing to unpack .../libasprintf0c2_0.18.3.1-1ubuntu3_amd64.deb ... Unpacking libasprintf0c2:amd64 (0.18.3.1-1ubuntu3) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../libglib2.0-0_2.40.2-0ubuntu1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.40.2-0ubuntu1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../libpipeline1_1.3.0-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.3.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-1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.1-1) ... 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-1ubuntu2_all.deb ... Unpacking libx11-data (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../libx11-6_2%3a1.6.2-1ubuntu2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../libxext6_2%3a1.3.2-1ubuntu0.0.14.04.1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.2-1ubuntu0.0.14.04.1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../libxml2_2.9.1+dfsg1-3ubuntu4.10_amd64.deb ... Unpacking libxml2:amd64 (2.9.1+dfsg1-3ubuntu4.10) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.2-5_amd64.deb ... Unpacking groff-base (1.22.2-5) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.5ubuntu1_amd64.deb ... Unpacking bsdmainutils (9.0.5ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.6.7.1-1ubuntu1_amd64.deb ... Unpacking man-db (2.6.7.1-1ubuntu1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../libatk1.0-data_2.10.0-2ubuntu2_all.deb ... Unpacking libatk1.0-data (2.10.0-2ubuntu2) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../libatk1.0-0_2.10.0-2ubuntu2_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.10.0-2ubuntu2) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../libavahi-common-data_0.6.31-4ubuntu1.1_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.31-4ubuntu1.1) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../libavahi-common3_0.6.31-4ubuntu1.1_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.31-4ubuntu1.1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../libavahi-client3_0.6.31-4ubuntu1.1_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.31-4ubuntu1.1) ... 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 .../ucf_3.0027+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0027+nmu1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../fontconfig-config_2.11.0-0ubuntu4.2_all.deb ... Unpacking fontconfig-config (2.11.0-0ubuntu4.2) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../libfreetype6_2.5.2-1ubuntu2.8_amd64.deb ... Unpacking libfreetype6:amd64 (2.5.2-1ubuntu2.8) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../libfontconfig1_2.11.0-0ubuntu4.2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.11.0-0ubuntu4.2) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../libpixman-1-0_0.30.2-2ubuntu1.1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.30.2-2ubuntu1.1) ... 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-1build0.14.04.1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.8-1build0.14.04.1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../libcairo2_1.13.0~20140204-0ubuntu1.1_amd64.deb ... Unpacking libcairo2:amd64 (1.13.0~20140204-0ubuntu1.1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../libcairo-gobject2_1.13.0~20140204-0ubuntu1.1_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.13.0~20140204-0ubuntu1.1) ... Selecting previously unselected package liblzo2-2:amd64. Preparing to unpack .../liblzo2-2_2.06-1.2ubuntu1.1_amd64.deb ... Unpacking liblzo2-2:amd64 (2.06-1.2ubuntu1.1) ... Selecting previously unselected package libcairo-script-interpreter2:amd64. Preparing to unpack .../libcairo-script-interpreter2_1.13.0~20140204-0ubuntu1.1_amd64.deb ... Unpacking libcairo-script-interpreter2:amd64 (1.13.0~20140204-0ubuntu1.1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../libcroco3_0.6.8-2ubuntu1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.8-2ubuntu1) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../libcups2_1.7.2-0ubuntu1.8_amd64.deb ... Unpacking libcups2:amd64 (1.7.2-0ubuntu1.8) ... 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.0-2ubuntu4.1_amd64.deb ... Unpacking libjbig0:amd64 (2.0-2ubuntu4.1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../libtiff5_4.0.3-7ubuntu0.7_amd64.deb ... Unpacking libtiff5:amd64 (4.0.3-7ubuntu0.7) ... Selecting previously unselected package libcupsfilters1:amd64. Preparing to unpack .../libcupsfilters1_1.0.52-0ubuntu1.7_amd64.deb ... Unpacking libcupsfilters1:amd64 (1.0.52-0ubuntu1.7) ... Selecting previously unselected package libcupsimage2:amd64. Preparing to unpack .../libcupsimage2_1.7.2-0ubuntu1.8_amd64.deb ... Unpacking libcupsimage2:amd64 (1.7.2-0ubuntu1.8) ... 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 libelfg0:amd64. Preparing to unpack .../libelfg0_0.8.13-5_amd64.deb ... Unpacking libelfg0:amd64 (0.8.13-5) ... Selecting previously unselected package libaspell15. Preparing to unpack .../libaspell15_0.60.7~20110707-1ubuntu1_amd64.deb ... Unpacking libaspell15 (0.60.7~20110707-1ubuntu1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../libtext-iconv-perl_1.7-5build2_amd64.deb ... Unpacking libtext-iconv-perl (1.7-5build2) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../dictionaries-common_1.20.5_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.20.5) ... Selecting previously unselected package aspell. Preparing to unpack .../aspell_0.60.7~20110707-1ubuntu1_amd64.deb ... Unpacking aspell (0.60.7~20110707-1ubuntu1) ... Selecting previously unselected package aspell-en. Preparing to unpack .../aspell-en_7.1-0-1_all.deb ... Unpacking aspell-en (7.1-0-1) ... Selecting previously unselected package libhunspell-1.3-0:amd64. Preparing to unpack .../libhunspell-1.3-0_1.3.2-6ubuntu2.1_amd64.deb ... Unpacking libhunspell-1.3-0:amd64 (1.3.2-6ubuntu2.1) ... Selecting previously unselected package libenchant1c2a:amd64. Preparing to unpack .../libenchant1c2a_1.6.0-10ubuntu1_amd64.deb ... Unpacking libenchant1c2a:amd64 (1.6.0-10ubuntu1) ... Selecting previously unselected package libjasper1:amd64. Preparing to unpack .../libjasper1_1.900.1-14ubuntu3.4_amd64.deb ... Unpacking libjasper1:amd64 (1.900.1-14ubuntu3.4) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../libgdk-pixbuf2.0-common_2.30.7-0ubuntu1.7_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.30.7-0ubuntu1.7) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../libgdk-pixbuf2.0-0_2.30.7-0ubuntu1.7_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.30.7-0ubuntu1.7) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../libgtk2.0-common_2.24.23-0ubuntu1.4_all.deb ... Unpacking libgtk2.0-common (2.24.23-0ubuntu1.4) ... Selecting previously unselected package libthai-data. Preparing to unpack .../libthai-data_0.1.20-3_all.deb ... Unpacking libthai-data (0.1.20-3) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../libthai0_0.1.20-3_amd64.deb ... Unpacking libthai0:amd64 (0.1.20-3) ... Selecting previously unselected package fontconfig. Preparing to unpack .../fontconfig_2.11.0-0ubuntu4.2_amd64.deb ... Unpacking fontconfig (2.11.0-0ubuntu4.2) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../libpango-1.0-0_1.36.3-1ubuntu1.1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.36.3-1ubuntu1.1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../libgraphite2-3_1.3.10-0ubuntu0.14.04.1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.10-0ubuntu0.14.04.1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../libharfbuzz0b_0.9.27-1ubuntu1.1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (0.9.27-1ubuntu1.1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../libpangoft2-1.0-0_1.36.3-1ubuntu1.1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.36.3-1ubuntu1.1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../libpangocairo-1.0-0_1.36.3-1ubuntu1.1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.36.3-1ubuntu1.1) ... 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-1ubuntu1.1_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.1-1ubuntu1.1) ... 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-1ubuntu1_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.4-1ubuntu1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../libxi6_2%3a1.7.1.901-1ubuntu1.1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.1.901-1ubuntu1.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.5.0-1~trusty1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.0-1~trusty1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../shared-mime-info_1.2-0ubuntu3_amd64.deb ... Unpacking shared-mime-info (1.2-0ubuntu3) ... Selecting previously unselected package libgtk2.0-0:amd64. Preparing to unpack .../libgtk2.0-0_2.24.23-0ubuntu1.4_amd64.deb ... Unpacking libgtk2.0-0:amd64 (2.24.23-0ubuntu1.4) ... 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.27-1ubuntu1.1_amd64.deb ... Unpacking libharfbuzz-gobject0:amd64 (0.9.27-1ubuntu1.1) ... Selecting previously unselected package libicu52:amd64. Preparing to unpack .../libicu52_52.1-3ubuntu0.7_amd64.deb ... Unpacking libicu52:amd64 (52.1-3ubuntu0.7) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../libharfbuzz-icu0_0.9.27-1ubuntu1.1_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (0.9.27-1ubuntu1.1) ... Selecting previously unselected package x11-common. Preparing to unpack .../x11-common_1%3a7.7+1ubuntu8.1_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+1ubuntu8.1) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../libice6_2%3a1.0.8-2_amd64.deb ... Unpacking libice6:amd64 (2:1.0.8-2) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../liblcms2-2_2.5-0ubuntu4.1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.5-0ubuntu4.1) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../libxft2_2.3.1-2_amd64.deb ... Unpacking libxft2:amd64 (2.3.1-2) ... Selecting previously unselected package libpangoxft-1.0-0:amd64. Preparing to unpack .../libpangoxft-1.0-0_1.36.3-1ubuntu1.1_amd64.deb ... Unpacking libpangoxft-1.0-0:amd64 (1.36.3-1ubuntu1.1) ... 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_1%3a8.31-2ubuntu2.3_amd64.deb ... Unpacking libpcrecpp0:amd64 (1:8.31-2ubuntu2.3) ... Selecting previously unselected package libpoppler44:amd64. Preparing to unpack .../libpoppler44_0.24.5-2ubuntu4.7_amd64.deb ... Unpacking libpoppler44:amd64 (0.24.5-2ubuntu4.7) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../libsm6_2%3a1.2.1-2_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.1-2) ... Selecting previously unselected package libunistring0:amd64. Preparing to unpack .../libunistring0_0.9.3-5ubuntu3_amd64.deb ... Unpacking libunistring0:amd64 (0.9.3-5ubuntu3) ... 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.1-1_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.1-1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../libxpm4_1%3a3.5.10-1ubuntu0.1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.10-1ubuntu0.1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../libxaw7_2%3a1.0.12-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.12-1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../poppler-data_0.4.6-4_all.deb ... Unpacking poppler-data (0.4.6-4) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../libpython2.7-minimal_2.7.6-8ubuntu0.3_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.6-8ubuntu0.3) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../python2.7-minimal_2.7.6-8ubuntu0.3_amd64.deb ... Unpacking python2.7-minimal (2.7.6-8ubuntu0.3) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.14-2ubuntu3.3_amd64.deb ... Unpacking file (1:5.14-2ubuntu3.3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.18.3.1-1ubuntu3_amd64.deb ... Unpacking gettext-base (0.18.3.1-1ubuntu3) ... Selecting previously unselected package libgirepository-1.0-1. Preparing to unpack .../libgirepository-1.0-1_1.40.0-1ubuntu0.2_amd64.deb ... Unpacking libgirepository-1.0-1 (1.40.0-1ubuntu0.2) ... Selecting previously unselected package gir1.2-glib-2.0. Preparing to unpack .../gir1.2-glib-2.0_1.40.0-1ubuntu0.2_amd64.deb ... Unpacking gir1.2-glib-2.0 (1.40.0-1ubuntu0.2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../libglib2.0-data_2.40.2-0ubuntu1_all.deb ... Unpacking libglib2.0-data (2.40.2-0ubuntu1) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.18.3.1-1ubuntu3_amd64.deb ... Unpacking gettext (0.18.3.1-1ubuntu3) ... 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+nmu2ubuntu1_all.deb ... Unpacking po-debconf (1.0.16+nmu2ubuntu1) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.10.95-0ubuntu2.6~14.04.1_all.deb ... Unpacking dh-apparmor (2.10.95-0ubuntu2.6~14.04.1) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20131227ubuntu1_all.deb ... Unpacking debhelper (9.20131227ubuntu1) ... Selecting previously unselected package libijs-0.35. Preparing to unpack .../libijs-0.35_0.35-8build1_amd64.deb ... Unpacking libijs-0.35 (0.35-8build1) ... Selecting previously unselected package libjbig2dec0. Preparing to unpack .../libjbig2dec0_0.11+20120125-1ubuntu1.1_amd64.deb ... Unpacking libjbig2dec0 (0.11+20120125-1ubuntu1.1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../libgs9-common_9.10~dfsg-0ubuntu10.10_all.deb ... Unpacking libgs9-common (9.10~dfsg-0ubuntu10.10) ... Selecting previously unselected package libgs9. Preparing to unpack .../libgs9_9.10~dfsg-0ubuntu10.10_amd64.deb ... Unpacking libgs9 (9.10~dfsg-0ubuntu10.10) ... 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.10~dfsg-0ubuntu10.10_amd64.deb ... Unpacking ghostscript (9.10~dfsg-0ubuntu10.10) ... Selecting previously unselected package gir1.2-atk-1.0. Preparing to unpack .../gir1.2-atk-1.0_2.10.0-2ubuntu2_amd64.deb ... Unpacking gir1.2-atk-1.0 (2.10.0-2ubuntu2) ... Selecting previously unselected package gir1.2-freedesktop. Preparing to unpack .../gir1.2-freedesktop_1.40.0-1ubuntu0.2_amd64.deb ... Unpacking gir1.2-freedesktop (1.40.0-1ubuntu0.2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0. Preparing to unpack .../gir1.2-gdkpixbuf-2.0_2.30.7-0ubuntu1.7_amd64.deb ... Unpacking gir1.2-gdkpixbuf-2.0 (2.30.7-0ubuntu1.7) ... Selecting previously unselected package gir1.2-pango-1.0. Preparing to unpack .../gir1.2-pango-1.0_1.36.3-1ubuntu1.1_amd64.deb ... Unpacking gir1.2-pango-1.0 (1.36.3-1ubuntu1.1) ... Selecting previously unselected package gir1.2-gtk-2.0. Preparing to unpack .../gir1.2-gtk-2.0_2.24.23-0ubuntu1.4_amd64.deb ... Unpacking gir1.2-gtk-2.0 (2.24.23-0ubuntu1.4) ... Selecting previously unselected package libnetpbm10. Preparing to unpack .../libnetpbm10_2%3a10.0-15ubuntu2_amd64.deb ... Unpacking libnetpbm10 (2:10.0-15ubuntu2) ... Selecting previously unselected package netpbm. Preparing to unpack .../netpbm_2%3a10.0-15ubuntu2_amd64.deb ... Unpacking netpbm (2:10.0-15ubuntu2) ... Selecting previously unselected package tex-common. Preparing to unpack .../tex-common_4.04_all.deb ... Unpacking tex-common (4.04) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../xdg-utils_1.1.0~rc1-2ubuntu7.1_all.deb ... Unpacking xdg-utils (1.1.0~rc1-2ubuntu7.1) ... Selecting previously unselected package libkpathsea6. Preparing to unpack .../libkpathsea6_2013.20130729.30972-2build3_amd64.deb ... Unpacking libkpathsea6 (2013.20130729.30972-2build3) ... Selecting previously unselected package luatex. Preparing to unpack .../luatex_0.76.0-3ubuntu1_amd64.deb ... Unpacking luatex (0.76.0-3ubuntu1) ... Selecting previously unselected package libptexenc1. Preparing to unpack .../libptexenc1_2013.20130729.30972-2build3_amd64.deb ... Unpacking libptexenc1 (2013.20130729.30972-2build3) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../texlive-binaries_2013.20130729.30972-2build3_amd64.deb ... Unpacking texlive-binaries (2013.20130729.30972-2build3) ... 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_2013.20140215-1ubuntu0.1_all.deb ... Unpacking texlive-base (2013.20140215-1ubuntu0.1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../ocaml-base-nox_4.02.3-6ubuntu2~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking ocaml-base-nox (4.02.3-6ubuntu2~ubuntu14.04.1~ppa1) ... Selecting previously unselected package hevea. Preparing to unpack .../hevea_2.28-1~ubuntu14.04.1~ppa1_all.deb ... Unpacking hevea (2.28-1~ubuntu14.04.1~ppa1) ... Selecting previously unselected package pkg-config. Preparing to unpack .../pkg-config_0.26-1ubuntu4_amd64.deb ... Unpacking pkg-config (0.26-1ubuntu4) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../libpython2.7-stdlib_2.7.6-8ubuntu0.3_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.6-8ubuntu0.3) ... Selecting previously unselected package python2.7. Preparing to unpack .../python2.7_2.7.6-8ubuntu0.3_amd64.deb ... Unpacking python2.7 (2.7.6-8ubuntu0.3) ... Selecting previously unselected package python-minimal. Preparing to unpack .../python-minimal_2.7.5-5ubuntu3_amd64.deb ... Unpacking python-minimal (2.7.5-5ubuntu3) ... Selecting previously unselected package libpython-stdlib:amd64. Preparing to unpack .../libpython-stdlib_2.7.5-5ubuntu3_amd64.deb ... Unpacking libpython-stdlib:amd64 (2.7.5-5ubuntu3) ... Selecting previously unselected package python. Preparing to unpack .../python_2.7.5-5ubuntu3_amd64.deb ... Unpacking python (2.7.5-5ubuntu3) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../libglib2.0-bin_2.40.2-0ubuntu1_amd64.deb ... Unpacking libglib2.0-bin (2.40.2-0ubuntu1) ... Selecting previously unselected package libpcre3-dev:amd64. Preparing to unpack .../libpcre3-dev_1%3a8.31-2ubuntu2.3_amd64.deb ... Unpacking libpcre3-dev:amd64 (1:8.31-2ubuntu2.3) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-1ubuntu1_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.8.dfsg-1ubuntu1) ... Selecting previously unselected package libglib2.0-dev. Preparing to unpack .../libglib2.0-dev_2.40.2-0ubuntu1_amd64.deb ... Unpacking libglib2.0-dev (2.40.2-0ubuntu1) ... Selecting previously unselected package libatk1.0-dev. Preparing to unpack .../libatk1.0-dev_2.10.0-2ubuntu2_amd64.deb ... Unpacking libatk1.0-dev (2.10.0-2ubuntu2) ... Selecting previously unselected package libexpat1-dev:amd64. Preparing to unpack .../libexpat1-dev_2.1.0-4ubuntu1.4_amd64.deb ... Unpacking libexpat1-dev:amd64 (2.1.0-4ubuntu1.4) ... Selecting previously unselected package libpng12-dev. Preparing to unpack .../libpng12-dev_1.2.50-1ubuntu2.14.04.2_amd64.deb ... Unpacking libpng12-dev (1.2.50-1ubuntu2.14.04.2) ... Selecting previously unselected package libfreetype6-dev. Preparing to unpack .../libfreetype6-dev_2.5.2-1ubuntu2.8_amd64.deb ... Unpacking libfreetype6-dev (2.5.2-1ubuntu2.8) ... Selecting previously unselected package libfontconfig1-dev. Preparing to unpack .../libfontconfig1-dev_2.11.0-0ubuntu4.2_amd64.deb ... Unpacking libfontconfig1-dev (2.11.0-0ubuntu4.2) ... 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~ubuntu2_all.deb ... Unpacking x11proto-core-dev (7.0.26-1~ubuntu2) ... 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-1_amd64.deb ... Unpacking libxdmcp-dev:amd64 (1:1.1.1-1) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../x11proto-input-dev_2.3-1_all.deb ... Unpacking x11proto-input-dev (2.3-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~ubuntu14.04.2_all.deb ... Unpacking xtrans-dev (1.3.5-1~ubuntu14.04.2) ... 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-1ubuntu2_amd64.deb ... Unpacking libx11-dev:amd64 (2:1.6.2-1ubuntu2) ... 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-1build0.14.04.1_amd64.deb ... Unpacking libxrender-dev:amd64 (1:0.9.8-1build0.14.04.1) ... Selecting previously unselected package libice-dev:amd64. Preparing to unpack .../libice-dev_2%3a1.0.8-2_amd64.deb ... Unpacking libice-dev:amd64 (2:1.0.8-2) ... Selecting previously unselected package libsm-dev:amd64. Preparing to unpack .../libsm-dev_2%3a1.2.1-2_amd64.deb ... Unpacking libsm-dev:amd64 (2:1.2.1-2) ... Selecting previously unselected package libpixman-1-dev. Preparing to unpack .../libpixman-1-dev_0.30.2-2ubuntu1.1_amd64.deb ... Unpacking libpixman-1-dev (0.30.2-2ubuntu1.1) ... 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 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.2-1ubuntu0.0.14.04.1_amd64.deb ... Unpacking libxext-dev:amd64 (2:1.3.2-1ubuntu0.0.14.04.1) ... Selecting previously unselected package libcairo2-dev. Preparing to unpack .../libcairo2-dev_1.13.0~20140204-0ubuntu1.1_amd64.deb ... Unpacking libcairo2-dev (1.13.0~20140204-0ubuntu1.1) ... Selecting previously unselected package libenchant-dev. Preparing to unpack .../libenchant-dev_1.6.0-10ubuntu1_amd64.deb ... Unpacking libenchant-dev (1.6.0-10ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../libfindlib-ocaml_1.6.2-1~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking libfindlib-ocaml (1.6.2-1~ubuntu14.04.1~ppa1) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Preparing to unpack .../libgdk-pixbuf2.0-dev_2.30.7-0ubuntu1.7_amd64.deb ... Unpacking libgdk-pixbuf2.0-dev (2.30.7-0ubuntu1.7) ... Selecting previously unselected package libxft-dev. Preparing to unpack .../libxft-dev_2.3.1-2_amd64.deb ... Unpacking libxft-dev (2.3.1-2) ... Selecting previously unselected package libharfbuzz-dev. Preparing to unpack .../libharfbuzz-dev_0.9.27-1ubuntu1.1_amd64.deb ... Unpacking libharfbuzz-dev (0.9.27-1ubuntu1.1) ... Selecting previously unselected package libpango1.0-dev. Preparing to unpack .../libpango1.0-dev_1.36.3-1ubuntu1.1_amd64.deb ... Unpacking libpango1.0-dev (1.36.3-1ubuntu1.1) ... 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-1ubuntu1.1_amd64.deb ... Unpacking libxfixes-dev:amd64 (1:5.0.1-1ubuntu1.1) ... Selecting previously unselected package libxi-dev. Preparing to unpack .../libxi-dev_2%3a1.7.1.901-1ubuntu1.1_amd64.deb ... Unpacking libxi-dev (2:1.7.1.901-1ubuntu1.1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../x11proto-randr-dev_1.5.0-1~trusty2_all.deb ... Unpacking x11proto-randr-dev (1.5.0-1~trusty2) ... Selecting previously unselected package libxrandr-dev:amd64. Preparing to unpack .../libxrandr-dev_2%3a1.5.0-1~trusty1_amd64.deb ... Unpacking libxrandr-dev:amd64 (2:1.5.0-1~trusty1) ... 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-1ubuntu1_amd64.deb ... Unpacking libxdamage-dev:amd64 (1:1.1.4-1ubuntu1) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../libxml2-utils_2.9.1+dfsg1-3ubuntu4.10_amd64.deb ... Unpacking libxml2-utils (2.9.1+dfsg1-3ubuntu4.10) ... Selecting previously unselected package libgtk2.0-dev. Preparing to unpack .../libgtk2.0-dev_2.24.23-0ubuntu1.4_amd64.deb ... Unpacking libgtk2.0-dev (2.24.23-0ubuntu1.4) ... Selecting previously unselected package libxml2-dev:amd64. Preparing to unpack .../libxml2-dev_2.9.1+dfsg1-3ubuntu4.10_amd64.deb ... Unpacking libxml2-dev:amd64 (2.9.1+dfsg1-3ubuntu4.10) ... 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-1ubuntu2.14.04.1_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-1ubuntu2.14.04.1) ... Selecting previously unselected package libgtksourceview2.0-0. Preparing to unpack .../libgtksourceview2.0-0_2.10.5-1ubuntu2.14.04.1_amd64.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-1ubuntu2.14.04.1) ... Selecting previously unselected package libgtksourceview2.0-dev. Preparing to unpack .../libgtksourceview2.0-dev_2.10.5-1ubuntu2.14.04.1_amd64.deb ... Unpacking libgtksourceview2.0-dev (2.10.5-1ubuntu2.14.04.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-1build1~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../libtinfo-dev_5.9+20140118-1ubuntu1_amd64.deb ... Unpacking libtinfo-dev:amd64 (5.9+20140118-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../libncurses5-dev_5.9+20140118-1ubuntu1_amd64.deb ... Unpacking libncurses5-dev:amd64 (5.9+20140118-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../ocaml-compiler-libs_4.02.3-6ubuntu2~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking ocaml-compiler-libs (4.02.3-6ubuntu2~ubuntu14.04.1~ppa1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../ocaml-interp_4.02.3-6ubuntu2~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking ocaml-interp (4.02.3-6ubuntu2~ubuntu14.04.1~ppa1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../ocaml-nox_4.02.3-6ubuntu2~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking ocaml-nox (4.02.3-6ubuntu2~ubuntu14.04.1~ppa1) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Preparing to unpack .../liblablgtk2-ocaml-dev_2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking liblablgtk2-ocaml-dev (2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../liblablgtksourceview2-ocaml_2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Preparing to unpack .../liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../ocaml-findlib_1.6.2-1~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking ocaml-findlib (1.6.2-1~ubuntu14.04.1~ppa1) ... Selecting previously unselected package ocaml-native-compilers. Preparing to unpack .../ocaml-native-compilers_4.02.3-6ubuntu2~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking ocaml-native-compilers (4.02.3-6ubuntu2~ubuntu14.04.1~ppa1) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../preview-latex-style_11.87-1ubuntu2_all.deb ... Unpacking preview-latex-style (11.87-1ubuntu2) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../texlive-latex-base_2013.20140215-1ubuntu0.1_all.deb ... Unpacking texlive-latex-base (2013.20140215-1ubuntu0.1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../texlive-latex-recommended_2013.20140215-1ubuntu0.1_all.deb ... Unpacking texlive-latex-recommended (2013.20140215-1ubuntu0.1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../texlive-pictures_2013.20140215-1ubuntu0.1_all.deb ... Unpacking texlive-pictures (2013.20140215-1ubuntu0.1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../texlive-latex-extra_2013.20140215-2_all.deb ... Unpacking texlive-latex-extra (2013.20140215-2) ... Selecting previously unselected package camlp5. Preparing to unpack .../camlp5_6.16-1~ubuntu14.04.1~ppa1_amd64.deb ... Unpacking camlp5 (6.16-1~ubuntu14.04.1~ppa1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../dh-ocaml_1.0.8_all.deb ... Unpacking dh-ocaml (1.0.8) ... Processing triggers for mime-support (3.54ubuntu1.1) ... Setting up libmagic1:amd64 (1:5.14-2ubuntu3.3) ... Setting up libpopt0:amd64 (1.16-8ubuntu1) ... Setting up libasprintf0c2:amd64 (0.18.3.1-1ubuntu3) ... Setting up libglib2.0-0:amd64 (2.40.2-0ubuntu1) ... No schema files found: doing nothing. Setting up libpipeline1:amd64 (1.3.0-1) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up libxdmcp6:amd64 (1:1.1.1-1) ... Setting up libxcb1:amd64 (1.10-2ubuntu1) ... Setting up libx11-data (2:1.6.2-1ubuntu2) ... Setting up libx11-6:amd64 (2:1.6.2-1ubuntu2) ... Setting up libxext6:amd64 (2:1.3.2-1ubuntu0.0.14.04.1) ... Setting up libxml2:amd64 (2.9.1+dfsg1-3ubuntu4.10) ... Setting up groff-base (1.22.2-5) ... Setting up bsdmainutils (9.0.5ubuntu1) ... 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.6.7.1-1ubuntu1) ... 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 libatk1.0-data (2.10.0-2ubuntu2) ... Setting up libatk1.0-0:amd64 (2.10.0-2ubuntu2) ... Setting up libavahi-common-data:amd64 (0.6.31-4ubuntu1.1) ... Setting up libavahi-common3:amd64 (0.6.31-4ubuntu1.1) ... Setting up libavahi-client3:amd64 (0.6.31-4ubuntu1.1) ... Setting up fonts-dejavu-core (2.34-1ubuntu1) ... Setting up ucf (3.0027+nmu1) ... 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.0-0ubuntu4.2) ... Setting up libfreetype6:amd64 (2.5.2-1ubuntu2.8) ... Setting up libfontconfig1:amd64 (2.11.0-0ubuntu4.2) ... Setting up libpixman-1-0:amd64 (0.30.2-2ubuntu1.1) ... Setting up libxcb-render0:amd64 (1.10-2ubuntu1) ... Setting up libxcb-shm0:amd64 (1.10-2ubuntu1) ... Setting up libxrender1:amd64 (1:0.9.8-1build0.14.04.1) ... Setting up libcairo2:amd64 (1.13.0~20140204-0ubuntu1.1) ... Setting up libcairo-gobject2:amd64 (1.13.0~20140204-0ubuntu1.1) ... Setting up liblzo2-2:amd64 (2.06-1.2ubuntu1.1) ... Setting up libcairo-script-interpreter2:amd64 (1.13.0~20140204-0ubuntu1.1) ... Setting up libcroco3:amd64 (0.6.8-2ubuntu1) ... Setting up libcups2:amd64 (1.7.2-0ubuntu1.8) ... Setting up libjpeg-turbo8:amd64 (1.3.0-0ubuntu2) ... Setting up libjpeg8:amd64 (8c-2ubuntu8) ... Setting up libjbig0:amd64 (2.0-2ubuntu4.1) ... Setting up libtiff5:amd64 (4.0.3-7ubuntu0.7) ... Setting up libcupsfilters1:amd64 (1.0.52-0ubuntu1.7) ... Setting up libcupsimage2:amd64 (1.7.2-0ubuntu1.8) ... Setting up libdatrie1:amd64 (0.2.8-1) ... Setting up libelfg0:amd64 (0.8.13-5) ... Setting up libaspell15 (0.60.7~20110707-1ubuntu1) ... Setting up libtext-iconv-perl (1.7-5build2) ... Setting up dictionaries-common (1.20.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 Setting up libhunspell-1.3-0:amd64 (1.3.2-6ubuntu2.1) ... Setting up libjasper1:amd64 (1.900.1-14ubuntu3.4) ... Setting up libgdk-pixbuf2.0-common (2.30.7-0ubuntu1.7) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.30.7-0ubuntu1.7) ... Setting up libgtk2.0-common (2.24.23-0ubuntu1.4) ... Setting up libthai-data (0.1.20-3) ... Setting up libthai0:amd64 (0.1.20-3) ... Setting up fontconfig (2.11.0-0ubuntu4.2) ... Regenerating fonts cache... done. Setting up libpango-1.0-0:amd64 (1.36.3-1ubuntu1.1) ... Setting up libgraphite2-3:amd64 (1.3.10-0ubuntu0.14.04.1) ... Setting up libharfbuzz0b:amd64 (0.9.27-1ubuntu1.1) ... Setting up libpangoft2-1.0-0:amd64 (1.36.3-1ubuntu1.1) ... Setting up libpangocairo-1.0-0:amd64 (1.36.3-1ubuntu1.1) ... Setting up libxcomposite1:amd64 (1:0.4.4-1) ... Setting up libxfixes3:amd64 (1:5.0.1-1ubuntu1.1) ... Setting up libxcursor1:amd64 (1:1.1.14-1) ... Setting up libxdamage1:amd64 (1:1.1.4-1ubuntu1) ... Setting up libxi6:amd64 (2:1.7.1.901-1ubuntu1.1) ... Setting up libxinerama1:amd64 (2:1.1.3-1) ... Setting up libxrandr2:amd64 (2:1.5.0-1~trusty1) ... Setting up shared-mime-info (1.2-0ubuntu3) ... Setting up libgtk2.0-0:amd64 (2.24.23-0ubuntu1.4) ... Setting up libglade2-0:amd64 (1:2.6.4-2) ... Setting up libharfbuzz-gobject0:amd64 (0.9.27-1ubuntu1.1) ... Setting up libicu52:amd64 (52.1-3ubuntu0.7) ... Setting up libharfbuzz-icu0:amd64 (0.9.27-1ubuntu1.1) ... Setting up x11-common (1:7.7+1ubuntu8.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 invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:amd64 (2:1.0.8-2) ... Setting up liblcms2-2:amd64 (2.5-0ubuntu4.1) ... Setting up libxft2:amd64 (2.3.1-2) ... Setting up libpangoxft-1.0-0:amd64 (1.36.3-1ubuntu1.1) ... 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 (1:8.31-2ubuntu2.3) ... Setting up libpoppler44:amd64 (0.24.5-2ubuntu4.7) ... Setting up libsm6:amd64 (2:1.2.1-2) ... Setting up libunistring0:amd64 (0.9.3-5ubuntu3) ... Setting up libxt6:amd64 (1:1.1.4-1) ... Setting up libxmu6:amd64 (2:1.1.1-1) ... Setting up libxpm4:amd64 (1:3.5.10-1ubuntu0.1) ... Setting up libxaw7:amd64 (2:1.0.12-1) ... Setting up poppler-data (0.4.6-4) ... Setting up libpython2.7-minimal:amd64 (2.7.6-8ubuntu0.3) ... Setting up python2.7-minimal (2.7.6-8ubuntu0.3) ... Linking and byte-compiling packages for runtime python2.7... Setting up file (1:5.14-2ubuntu3.3) ... Setting up gettext-base (0.18.3.1-1ubuntu3) ... Setting up libgirepository-1.0-1 (1.40.0-1ubuntu0.2) ... Setting up gir1.2-glib-2.0 (1.40.0-1ubuntu0.2) ... Setting up libglib2.0-data (2.40.2-0ubuntu1) ... Setting up gettext (0.18.3.1-1ubuntu3) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.10.95-0ubuntu2.6~14.04.1) ... Setting up debhelper (9.20131227ubuntu1) ... Setting up libijs-0.35 (0.35-8build1) ... Setting up libjbig2dec0 (0.11+20120125-1ubuntu1.1) ... Setting up libgs9-common (9.10~dfsg-0ubuntu10.10) ... update-alternatives: using /usr/share/ghostscript/9.10 to provide /usr/share/ghostscript/current (ghostscript-current) in auto mode Setting up libgs9 (9.10~dfsg-0ubuntu10.10) ... Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1) ... Setting up ghostscript (9.10~dfsg-0ubuntu10.10) ... Setting up gir1.2-atk-1.0 (2.10.0-2ubuntu2) ... Setting up gir1.2-freedesktop (1.40.0-1ubuntu0.2) ... Setting up gir1.2-gdkpixbuf-2.0 (2.30.7-0ubuntu1.7) ... Setting up gir1.2-pango-1.0 (1.36.3-1ubuntu1.1) ... Setting up gir1.2-gtk-2.0 (2.24.23-0ubuntu1.4) ... Setting up libnetpbm10 (2:10.0-15ubuntu2) ... Setting up netpbm (2:10.0-15ubuntu2) ... Setting up tex-common (4.04) ... 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. texlive-base is not ready, delaying updmap-sys call texlive-base is not ready, skipping fmtutil-sys --all call Setting up xdg-utils (1.1.0~rc1-2ubuntu7.1) ... Setting up libkpathsea6 (2013.20130729.30972-2build3) ... Setting up luatex (0.76.0-3ubuntu1) ... texlive-base is not ready, cannot create formats Setting up libptexenc1 (2013.20130729.30972-2build3) ... Setting up texlive-binaries (2013.20130729.30972-2build3) ... 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 (2013.20140215-1ubuntu0.1) ... /usr/bin/tl-paper: setting paper size for dvips to a4. /usr/bin/tl-paper: setting paper size for dvipdfmx to a4. /usr/bin/tl-paper: setting paper size for xdvi to a4. /usr/bin/tl-paper: setting paper size for pdftex to a4. 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~ubuntu14.04.1~ppa1) ... Setting up pkg-config (0.26-1ubuntu4) ... Setting up libpython2.7-stdlib:amd64 (2.7.6-8ubuntu0.3) ... Setting up python2.7 (2.7.6-8ubuntu0.3) ... Setting up python-minimal (2.7.5-5ubuntu3) ... Setting up libpython-stdlib:amd64 (2.7.5-5ubuntu3) ... Setting up python (2.7.5-5ubuntu3) ... Setting up libglib2.0-bin (2.40.2-0ubuntu1) ... Setting up libpcre3-dev:amd64 (1:8.31-2ubuntu2.3) ... Setting up zlib1g-dev:amd64 (1:1.2.8.dfsg-1ubuntu1) ... Setting up libglib2.0-dev (2.40.2-0ubuntu1) ... Setting up libatk1.0-dev (2.10.0-2ubuntu2) ... Setting up libexpat1-dev:amd64 (2.1.0-4ubuntu1.4) ... Setting up libpng12-dev (1.2.50-1ubuntu2.14.04.2) ... Setting up libfreetype6-dev (2.5.2-1ubuntu2.8) ... Setting up libfontconfig1-dev (2.11.0-0ubuntu4.2) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up x11proto-core-dev (7.0.26-1~ubuntu2) ... Setting up libxau-dev:amd64 (1:1.0.8-1) ... Setting up libxdmcp-dev:amd64 (1:1.1.1-1) ... Setting up x11proto-input-dev (2.3-1) ... Setting up x11proto-kb-dev (1.0.6-2) ... Setting up xtrans-dev (1.3.5-1~ubuntu14.04.2) ... 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-1ubuntu2) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:amd64 (1:0.9.8-1build0.14.04.1) ... Setting up libice-dev:amd64 (2:1.0.8-2) ... Setting up libsm-dev:amd64 (2:1.2.1-2) ... Setting up libpixman-1-dev (0.30.2-2ubuntu1.1) ... Setting up libxcb-render0-dev:amd64 (1.10-2ubuntu1) ... Setting up libxcb-shm0-dev:amd64 (1.10-2ubuntu1) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libxext-dev:amd64 (2:1.3.2-1ubuntu0.0.14.04.1) ... Setting up libcairo2-dev (1.13.0~20140204-0ubuntu1.1) ... Setting up libfindlib-ocaml (1.6.2-1~ubuntu14.04.1~ppa1) ... Setting up libgdk-pixbuf2.0-dev (2.30.7-0ubuntu1.7) ... Setting up libxft-dev (2.3.1-2) ... Setting up libharfbuzz-dev (0.9.27-1ubuntu1.1) ... Setting up libpango1.0-dev (1.36.3-1ubuntu1.1) ... 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-1ubuntu1.1) ... Setting up libxi-dev (2:1.7.1.901-1ubuntu1.1) ... Setting up x11proto-randr-dev (1.5.0-1~trusty2) ... Setting up libxrandr-dev:amd64 (2:1.5.0-1~trusty1) ... 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-1ubuntu1) ... Setting up libxml2-utils (2.9.1+dfsg1-3ubuntu4.10) ... Setting up libgtk2.0-dev (2.24.23-0ubuntu1.4) ... Setting up libxml2-dev:amd64 (2.9.1+dfsg1-3ubuntu4.10) ... Setting up libglade2-dev:amd64 (1:2.6.4-2) ... Setting up libgtksourceview2.0-common (2.10.5-1ubuntu2.14.04.1) ... Setting up libgtksourceview2.0-0 (2.10.5-1ubuntu2.14.04.1) ... Setting up libgtksourceview2.0-dev (2.10.5-1ubuntu2.14.04.1) ... Setting up libtinfo-dev:amd64 (5.9+20140118-1ubuntu1) ... Setting up libncurses5-dev:amd64 (5.9+20140118-1ubuntu1) ... Setting up ocaml-findlib (1.6.2-1~ubuntu14.04.1~ppa1) ... Setting up preview-latex-style (11.87-1ubuntu2) ... Setting up dh-ocaml (1.0.8) ... Processing triggers for dictionaries-common (1.20.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 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] Setting up aspell (0.60.7~20110707-1ubuntu1) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Processing triggers for dictionaries-common (1.20.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 Setting up aspell-en (7.1-0-1) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Processing triggers for dictionaries-common (1.20.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 Setting up libenchant1c2a:amd64 (1.6.0-10ubuntu1) ... Setting up libenchant-dev (1.6.0-10ubuntu1) ... Setting up libgtkspell0 (2.0.16-1ubuntu7) ... Setting up libgtkspell-dev (2.0.16-1ubuntu7) ... Setting up liblablgtk2-ocaml (2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1) ... Processing triggers for tex-common (4.04) ... 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 (2013.20140215-1ubuntu0.1) ... 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 texlive-pictures (2013.20140215-1ubuntu0.1) ... Setting up hevea (2.28-1~ubuntu14.04.1~ppa1) ... Processing triggers for tex-common (4.04) ... 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 (2013.20140215-1ubuntu0.1) ... Processing triggers for tex-common (4.04) ... 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-latex-extra (2013.20140215-2) ... Processing triggers for tex-common (4.04) ... 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~ubuntu14.04.1~ppa1) ... Setting up ocaml-interp (4.02.3-6ubuntu2~ubuntu14.04.1~ppa1) ... Setting up ocaml-nox (4.02.3-6ubuntu2~ubuntu14.04.1~ppa1) ... Setting up liblablgtk2-ocaml-dev (2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1) ... Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1) ... Setting up ocaml-native-compilers (4.02.3-6ubuntu2~ubuntu14.04.1~ppa1) ... Setting up camlp5 (6.16-1~ubuntu14.04.1~ppa1) ... Processing triggers for libc-bin (2.19-0ubuntu6.13) ... 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.master~git~201710272047+18435-0~daily306~ubuntu14.04.1 dpkg-buildpackage: source distribution trusty 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 '*.cmx[as]' -o -name '*.[soa]' -o -name '*.so' | xargs rm -f find theories plugins test-suite \( -name '*.vo' -o -name '*.glob' -o -name "*.cmxs" -o -name "*.native" -o -name "*.cmx" -o -name "*.cmi" -o -name "*.o" \) -delete find theories plugins test-suite -name .coq-native -empty -delete rm -rf _build rm -f test-suite/misc/universes/all_stdlib.* rm -f ide/coq_lex.ml ide/config_lexer.ml ide/utf8_convert.ml ide/xml_lexer.ml tools/coqdoc/cpretty.ml tools/coqdep_lexer.ml tools/coqwc.ml tools/gallina_lexer.ml tools/ocamllibdep.ml tools/tolink.ml kernel/copcodes.ml kernel/byterun/coq_jumptbl.h rm -f bin/coqtop.byte find . \( -name '*~' -o -name '*.cm[ioat]' -o -name '*.cmti' \) -delete rm -f */*.pp[iox] plugins/*/*.pp[iox] rm -rf rm -f toplevel/mltop.byteml toplevel/mltop.optml rm -f test-suite/check.log rm -f glob.dump rm -f config/revision.ml revision rm -f plugins/micromega/.micromega.ml.generated make -C test-suite clean 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[2]: Entering directory `/home/buildd/work/tree/recipe/test-suite' 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 ide/coqide_main.ml lib/coqProject_file.ml parsing/g_proofs.ml parsing/g_vernac.ml parsing/cLexer.ml parsing/g_constr.ml parsing/g_prim.ml plugins/setoid_ring/g_newring.ml plugins/nsatz/g_nsatz.ml plugins/fourier/g_fourier.ml plugins/cc/g_congruence.ml plugins/extraction/g_extraction.ml plugins/micromega/g_micromega.ml plugins/romega/g_romega.ml plugins/rtauto/g_rtauto.ml plugins/ltac/g_eqdecide.ml plugins/ltac/extraargs.ml plugins/ltac/g_class.ml plugins/ltac/g_rewrite.ml plugins/ltac/g_obligations.ml plugins/ltac/coretactics.ml plugins/ltac/g_auto.ml plugins/ltac/g_ltac.ml plugins/ltac/g_tactic.ml plugins/ltac/extratactics.ml plugins/ltac/profile_ltac_tactics.ml plugins/firstorder/g_ground.ml plugins/omega/g_omega.ml plugins/quote/g_quote.ml plugins/ssrmatching/ssrmatching.ml plugins/funind/g_indfun.ml plugins/btauto/g_btauto.ml plugins/ssr/ssrparser.ml plugins/ssr/ssrvernac.ml plugins/derive/g_derive.ml find . -name '*~' -o -name '*.annot' | xargs rm -f rm -f gmon.out core find . '(' -name '{arch}' -o -name '.svn' -o -name '_darcs' -o -name '.git' -o -name '.bzr' -o -name 'debian' -o -name "${GIT_DIR}" -o -name '_build' -o -name '_build_ci' -o -name '_install_ci' -o -name 'user-contrib' -o -name 'coq-makefile' -o -name '.opamcache' -o -name '.coq-native' ')' -prune -o '(' -name '*.d' ')' -print | xargs rm -f rm -f doc/*/*.dvi doc/*/*.aux doc/*/*.log doc/*/*.bbl doc/*/*.blg doc/*/*.toc \ doc/*/*.idx doc/*/*~ doc/*/*.ilg doc/*/*.ind doc/*/*.dvi.gz doc/*/*.ps.gz doc/*/*.pdf.gz\ doc/*/*.???idx doc/*/*.???ind doc/*/*.v.tex doc/*/*.atoc doc/*/*.lof\ doc/*/*.hatoc doc/*/*.haux doc/*/*.hcomind doc/*/*.herrind doc/*/*.hidx doc/*/*.hind \ doc/*/*.htacind doc/*/*.htoc doc/*/*.v.html rm -f doc/stdlib/index-list.html doc/stdlib/index-body.html \ doc/stdlib/*Library.coqdoc.tex doc/stdlib/library.files \ doc/stdlib/library.files.ls doc/stdlib/FullLibrary.tex rm -f doc/*/*.ps doc/*/*.pdf doc/*/*.eps doc/*/*.pdf_t doc/*/*.eps_t rm -f doc/faq/axioms.png rm -rf doc/refman/html doc/stdlib/html doc/faq/html doc/tutorial/tutorial.v.html rm -f doc/refman/euclid.ml doc/refman/euclid.mli rm -f doc/refman/heapsort.ml doc/refman/heapsort.mli rm -f doc/common/version.tex rm -f doc/refman/styles.hva doc/refman/cover.html doc/refman/Reference-Manual.html rm -f doc/coq.tex find . -name '*.dep.ps' -o -name '*.dot' | xargs rm -f rm -f /*.log /*.aux /*.toc rm -f /ocamldoc.sty /coq.tex rm -f /html/*.html rm -f config/Makefile config/coq_config.ml myocamlbuild_config.ml dev/ocamldebug-coq dev/camlp4.dbg config/Info-*.plist find theories plugins test-suite -name '.*.aux' -delete find theories plugins test-suite \( -name '*.v.timing' -o -name '*.v.before-timing' -o -name "*.v.after-timing" -o -name "*.v.timing.diff" -o -name "time-of-build.log" -o -name "time-of-build-before.log" -o -name "time-of-build-after.log" -o -name "time-of-build-pretty.log" -o -name "time-of-build-both.log" \) -delete make[1]: Leaving directory `/home/buildd/work/tree/recipe' dh_ocamlclean perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dh_clean perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source -i -I -b recipe perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches 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.master~git~201710272047+18435-0~daily306~ubuntu14.04.1.tar.gz dpkg-source: info: building coq in coq_8.master~git~201710272047+18435-0~daily306~ubuntu14.04.1.dsc dpkg-genchanges -S -sa >../coq_8.master~git~201710272047+18435-0~daily306~ubuntu14.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.master~git~201710272047+18435-0~daily306~ubuntu14.04.1) is earlier than the previous one (8.master~git) dpkg-genchanges: including full source code in upload dpkg-source -i -I --after-build recipe perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LANG = "en_US.UTF-8" are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). dpkg-source: info: using options from recipe/debian/source/local-options: --abort-on-upstream-changes --unapply-patches 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=trusty --arch=amd64 RECIPEBRANCHBUILD-1474143 Scanning for processes to kill in build RECIPEBRANCHBUILD-1474143 RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-1474143 Stopping target for build RECIPEBRANCHBUILD-1474143 RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=trusty --arch=amd64 RECIPEBRANCHBUILD-1474143 Removing build RECIPEBRANCHBUILD-1474143