RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux lcy01-amd64-011 4.4.0-101-generic #124-Ubuntu SMP Fri Nov 10 18:29:59 UTC 2017 x86_64 Buildd toolchain package versions: launchpad-buildd_157 python-lpbuildd_157 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.3 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 16 Feb 15:15:44 ntpdate[1796]: adjust time server 10.211.37.1 offset 0.002174 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=precise --arch=amd64 RECIPEBRANCHBUILD-1533172 /home/buildd/filecache-default/575690328fa1961d2fcee6c342de2e8e84a88778 Creating target for build RECIPEBRANCHBUILD-1533172 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=precise --arch=amd64 RECIPEBRANCHBUILD-1533172 Starting target for build RECIPEBRANCHBUILD-1533172 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=precise --arch=amd64 RECIPEBRANCHBUILD-1533172 'deb http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu precise main' 'deb http://ftpmaster.internal/ubuntu precise main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu precise-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu precise-updates main restricted universe multiverse' Overriding sources.list in build-RECIPEBRANCHBUILD-1533172 RUN: /usr/share/launchpad-buildd/slavebin/in-target add-trusted-keys --backend=chroot --series=precise --arch=amd64 RECIPEBRANCHBUILD-1533172 Adding trusted keys to build-RECIPEBRANCHBUILD-1533172 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/A454A7D9 2014-12-19 uid Launchpad PPA for Jason Gross RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=precise --arch=amd64 RECIPEBRANCHBUILD-1533172 Updating target for build RECIPEBRANCHBUILD-1533172 Ign http://ftpmaster.internal precise InRelease Get:1 http://ftpmaster.internal precise-security InRelease [55.7 kB] Get:2 http://ftpmaster.internal precise-updates InRelease [55.7 kB] Get:3 http://ftpmaster.internal precise Release.gpg [198 B] Get:4 http://ftpmaster.internal precise-security/main amd64 Packages [375 kB] Get:5 http://ppa.launchpad.net precise InRelease [13.8 kB] Get:6 http://ftpmaster.internal precise-security/restricted amd64 Packages [10.9 kB] Get:7 http://ftpmaster.internal precise-security/universe amd64 Packages [145 kB] Get:8 http://ppa.launchpad.net precise/main amd64 Packages [7570 B] Get:9 http://ftpmaster.internal precise-security/multiverse amd64 Packages [3367 B] Get:10 http://ftpmaster.internal precise-security/main TranslationIndex [208 B] Get:11 http://ftpmaster.internal precise-security/multiverse TranslationIndex [199 B] Get:12 http://ftpmaster.internal precise-security/restricted TranslationIndex [202 B] Get:13 http://ftpmaster.internal precise-security/universe TranslationIndex [205 B] Get:14 http://ftpmaster.internal precise Release [49.6 kB] Get:15 http://ftpmaster.internal precise-updates/main amd64 Packages [741 kB] Get:16 http://ppa.launchpad.net precise/main TranslationIndex [202 B] Get:17 http://ppa.launchpad.net precise/main Translation-en [5864 B] Get:18 http://ftpmaster.internal precise-updates/restricted amd64 Packages [15.4 kB] Get:19 http://ftpmaster.internal precise-updates/universe amd64 Packages [288 kB] Get:20 http://ftpmaster.internal precise-updates/multiverse amd64 Packages [17.1 kB] Get:21 http://ftpmaster.internal precise-updates/main TranslationIndex [208 B] Get:22 http://ftpmaster.internal precise-updates/multiverse TranslationIndex [202 B] Get:23 http://ftpmaster.internal precise-updates/restricted TranslationIndex [202 B] Get:24 http://ftpmaster.internal precise-updates/universe TranslationIndex [205 B] Get:25 http://ftpmaster.internal precise-security/main Translation-en [188 kB] Get:26 http://ftpmaster.internal precise-security/multiverse Translation-en [1993 B] Get:27 http://ftpmaster.internal precise-security/restricted Translation-en [2802 B] Get:28 http://ftpmaster.internal precise-security/universe Translation-en [93.2 kB] Get:29 http://ftpmaster.internal precise/main amd64 Packages [1273 kB] Get:30 http://ftpmaster.internal precise/restricted amd64 Packages [8452 B] Get:31 http://ftpmaster.internal precise/universe amd64 Packages [4786 kB] Get:32 http://ftpmaster.internal precise/multiverse amd64 Packages [119 kB] Get:33 http://ftpmaster.internal precise/main TranslationIndex [3706 B] Get:34 http://ftpmaster.internal precise/multiverse TranslationIndex [2676 B] Get:35 http://ftpmaster.internal precise/restricted TranslationIndex [2596 B] Get:36 http://ftpmaster.internal precise/universe TranslationIndex [2922 B] Get:37 http://ftpmaster.internal precise-updates/main Translation-en [344 kB] Get:38 http://ftpmaster.internal precise-updates/multiverse Translation-en [10.1 kB] Get:39 http://ftpmaster.internal precise-updates/restricted Translation-en [3686 B] Get:40 http://ftpmaster.internal precise-updates/universe Translation-en [174 kB] Get:41 http://ftpmaster.internal precise/main Translation-en [726 kB] Get:42 http://ftpmaster.internal precise/multiverse Translation-en [93.4 kB] Get:43 http://ftpmaster.internal precise/restricted Translation-en [2395 B] Get:44 http://ftpmaster.internal precise/universe Translation-en [3341 kB] Fetched 13.0 MB in 4s (2761 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 build-essential busybox-initramfs ca-certificates coreutils cpio dpkg dpkg-dev e2fslibs e2fsprogs gnupg gpgv ifupdown initramfs-tools initramfs-tools-bin initscripts iproute libapt-pkg4.12 libasn1-8-heimdal libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcomerr2 libcurl3-gnutls libdbus-1-3 libdpkg-perl libdrm-intel1 libdrm-nouveau1a libdrm-radeon1 libdrm2 libelf1 libgcrypt11 libglib2.0-0 libgnutls26 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libidn11 libk5crypto3 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 liblockfile-bin liblockfile1 libmount1 libnih-dbus1 libnih1 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpciaccess0 libpcre3 libplymouth2 libpng12-0 libroken18-heimdal libsasl2-2 libsqlite3-0 libss2 libssl1.0.0 libtasn1-3 libudev0 libuuid1 libwind0-heimdal linux-libc-dev login lsb-base make makedev mount mountall multiarch-support openssl optipng passwd patch perl perl-base perl-modules pkg-create-dbgsym plymouth procps python-minimal python2.7-minimal sysv-rc sysvinit-utils tar tzdata ubuntu-keyring udev upstart util-linux 103 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 46.0 MB of archives. After this operation, 249 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! base-files bash dpkg coreutils sysv-rc plymouth libplymouth2 initramfs-tools-bin initramfs-tools mountall initscripts upstart libc-dev-bin libc6-dev libc-bin libc6 sysvinit-utils libdbus-1-3 libdrm2 libpciaccess0 libdrm-intel1 libdrm-nouveau1a libdrm-radeon1 libpcre3 libglib2.0-0 libudev0 busybox-initramfs cpio lsb-base tzdata util-linux procps udev libpng12-0 makedev libnih-dbus1 libnih1 mount libpam0g libpam-modules-bin libpam-modules passwd iproute ifupdown linux-libc-dev e2fslibs e2fsprogs login perl perl-base perl-modules tar bsdutils libssl1.0.0 python2.7-minimal python-minimal libapt-pkg4.12 ubuntu-keyring gpgv gnupg apt libuuid1 libblkid1 libcomerr2 libmount1 libss2 liblockfile-bin liblockfile1 libsqlite3-0 libelf1 libroken18-heimdal libasn1-8-heimdal libgcrypt11 libtasn1-3 libgnutls26 libk5crypto3 libgssapi-krb5-2 libkrb5-3 libkrb5support0 libidn11 libhcrypto4-heimdal libheimbase1-heimdal libwind0-heimdal libhx509-5-heimdal libkrb5-26-heimdal libheimntlm0-heimdal libgssapi3-heimdal libsasl2-2 libldap-2.4-2 openssl ca-certificates libcurl3-gnutls libpam-runtime multiarch-support apt-transport-https binutils make dpkg-dev libdpkg-perl patch build-essential optipng pkg-create-dbgsym Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ precise-updates/main base-files amd64 6.5ubuntu6.8 [68.2 kB] Get:2 http://ftpmaster.internal/ubuntu/ precise-security/main bash amd64 4.2-2ubuntu2.6 [641 kB] Get:3 http://ftpmaster.internal/ubuntu/ precise-updates/main dpkg amd64 1.16.1.2ubuntu7.8 [1828 kB] Get:4 http://ftpmaster.internal/ubuntu/ precise-security/main coreutils amd64 8.13-3ubuntu3.3 [2234 kB] Get:5 http://ftpmaster.internal/ubuntu/ precise-updates/main sysv-rc all 2.88dsf-13.10ubuntu11.1 [44.6 kB] Get:6 http://ftpmaster.internal/ubuntu/ precise-updates/main plymouth amd64 0.8.2-2ubuntu31.1 [123 kB] Get:7 http://ftpmaster.internal/ubuntu/ precise-updates/main libplymouth2 amd64 0.8.2-2ubuntu31.1 [92.0 kB] Get:8 http://ftpmaster.internal/ubuntu/ precise-security/main initramfs-tools-bin amd64 0.99ubuntu13.5 [9782 B] Get:9 http://ftpmaster.internal/ubuntu/ precise-security/main initramfs-tools all 0.99ubuntu13.5 [49.0 kB] Get:10 http://ftpmaster.internal/ubuntu/ precise-updates/main mountall amd64 2.36.4ubuntu0.1 [67.5 kB] Get:11 http://ftpmaster.internal/ubuntu/ precise-updates/main initscripts amd64 2.88dsf-13.10ubuntu11.1 [28.1 kB] Get:12 http://ftpmaster.internal/ubuntu/ precise-updates/main upstart amd64 1.5-0ubuntu7.3 [309 kB] Get:13 http://ftpmaster.internal/ubuntu/ precise-security/main libc-dev-bin amd64 2.15-0ubuntu10.18 [84.5 kB] Get:14 http://ftpmaster.internal/ubuntu/ precise-security/main libc6-dev amd64 2.15-0ubuntu10.18 [2948 kB] Get:15 http://ftpmaster.internal/ubuntu/ precise-security/main libc-bin amd64 2.15-0ubuntu10.18 [1178 kB] Get:16 http://ftpmaster.internal/ubuntu/ precise-security/main libc6 amd64 2.15-0ubuntu10.18 [4646 kB] Get:17 http://ftpmaster.internal/ubuntu/ precise-updates/main sysvinit-utils amd64 2.88dsf-13.10ubuntu11.1 [60.2 kB] Get:18 http://ftpmaster.internal/ubuntu/ precise-security/main libdbus-1-3 amd64 1.4.18-1ubuntu1.8 [146 kB] Get:19 http://ftpmaster.internal/ubuntu/ precise-security/main libdrm2 amd64 2.4.52-1~precise2 [26.1 kB] Get:20 http://ftpmaster.internal/ubuntu/ precise-updates/main libpciaccess0 amd64 0.12.902-1ubuntu0.2 [20.8 kB] Get:21 http://ftpmaster.internal/ubuntu/ precise-security/main libdrm-intel1 amd64 2.4.52-1~precise2 [65.6 kB] Get:22 http://ftpmaster.internal/ubuntu/ precise-security/main libdrm-nouveau1a amd64 2.4.52-1~precise2 [14.0 kB] Get:23 http://ftpmaster.internal/ubuntu/ precise-security/main libdrm-radeon1 amd64 2.4.52-1~precise2 [27.8 kB] Get:24 http://ftpmaster.internal/ubuntu/ precise-security/main libpcre3 amd64 8.12-4ubuntu0.2 [149 kB] Get:25 http://ftpmaster.internal/ubuntu/ precise-updates/main libglib2.0-0 amd64 2.32.4-0ubuntu1 [1200 kB] Get:26 http://ftpmaster.internal/ubuntu/ precise-updates/main libudev0 amd64 175-0ubuntu9.10 [27.8 kB] Get:27 http://ftpmaster.internal/ubuntu/ precise-updates/main busybox-initramfs amd64 1:1.18.5-1ubuntu4.1 [183 kB] Get:28 http://ftpmaster.internal/ubuntu/ precise-security/main cpio amd64 2.11-7ubuntu3.2 [116 kB] Get:29 http://ftpmaster.internal/ubuntu/ precise-updates/main lsb-base all 4.0-0ubuntu20.3 [10.5 kB] Get:30 http://ftpmaster.internal/ubuntu/ precise-security/main tzdata all 2016j-0ubuntu0.12.04 [434 kB] Get:31 http://ftpmaster.internal/ubuntu/ precise-updates/main util-linux amd64 2.20.1-1ubuntu3.1 [596 kB] Get:32 http://ftpmaster.internal/ubuntu/ precise-updates/main procps amd64 1:3.2.8-11ubuntu6.4 [233 kB] Get:33 http://ftpmaster.internal/ubuntu/ precise-updates/main udev amd64 175-0ubuntu9.10 [324 kB] Get:34 http://ftpmaster.internal/ubuntu/ precise-security/main libpng12-0 amd64 1.2.46-3ubuntu4.2 [133 kB] Get:35 http://ftpmaster.internal/ubuntu/ precise-updates/main makedev all 2.3.1-89ubuntu3 [27.7 kB] Get:36 http://ftpmaster.internal/ubuntu/ precise-updates/main libnih-dbus1 amd64 1.0.3-4ubuntu9.1 [16.0 kB] Get:37 http://ftpmaster.internal/ubuntu/ precise-updates/main libnih1 amd64 1.0.3-4ubuntu9.1 [54.8 kB] Get:38 http://ftpmaster.internal/ubuntu/ precise-updates/main mount amd64 2.20.1-1ubuntu3.1 [166 kB] Get:39 http://ftpmaster.internal/ubuntu/ precise-security/main libpam0g amd64 1.1.3-7ubuntu2.3 [61.8 kB] Get:40 http://ftpmaster.internal/ubuntu/ precise-security/main libpam-modules-bin amd64 1.1.3-7ubuntu2.3 [42.4 kB] Get:41 http://ftpmaster.internal/ubuntu/ precise-security/main libpam-modules amd64 1.1.3-7ubuntu2.3 [276 kB] Get:42 http://ftpmaster.internal/ubuntu/ precise-updates/main passwd amd64 1:4.1.4.2+svn3283-3ubuntu5.1 [959 kB] Get:43 http://ftpmaster.internal/ubuntu/ precise-updates/main iproute amd64 20111117-1ubuntu2.3 [444 kB] Get:44 http://ftpmaster.internal/ubuntu/ precise-updates/main ifupdown amd64 0.7~beta2ubuntu11.1 [48.3 kB] Get:45 http://ftpmaster.internal/ubuntu/ precise-security/main linux-libc-dev amd64 3.2.0-126.169 [848 kB] Get:46 http://ftpmaster.internal/ubuntu/ precise-updates/main e2fslibs amd64 1.42-1ubuntu2.3 [188 kB] Get:47 http://ftpmaster.internal/ubuntu/ precise-updates/main e2fsprogs amd64 1.42-1ubuntu2.3 [965 kB] Get:48 http://ftpmaster.internal/ubuntu/ precise-updates/main login amd64 1:4.1.4.2+svn3283-3ubuntu5.1 [291 kB] Get:49 http://ftpmaster.internal/ubuntu/ precise-security/main perl amd64 5.14.2-6ubuntu2.5 [4412 kB] Get:50 http://ftpmaster.internal/ubuntu/ precise-security/main perl-base amd64 5.14.2-6ubuntu2.5 [1513 kB] Get:51 http://ftpmaster.internal/ubuntu/ precise-security/main perl-modules all 5.14.2-6ubuntu2.5 [3397 kB] Get:52 http://ftpmaster.internal/ubuntu/ precise-security/main tar amd64 1.26-4ubuntu1.1 [218 kB] Get:53 http://ftpmaster.internal/ubuntu/ precise-updates/main bsdutils amd64 1:2.20.1-1ubuntu3.1 [39.7 kB] Get:54 http://ftpmaster.internal/ubuntu/ precise-security/main libssl1.0.0 amd64 1.0.1-4ubuntu5.39 [1054 kB] Get:55 http://ftpmaster.internal/ubuntu/ precise-security/main python2.7-minimal amd64 2.7.3-0ubuntu3.9 [1745 kB] Get:56 http://ftpmaster.internal/ubuntu/ precise-updates/main python-minimal amd64 2.7.3-0ubuntu2.2 [29.7 kB] Get:57 http://ftpmaster.internal/ubuntu/ precise-updates/main libapt-pkg4.12 amd64 0.8.16~exp12ubuntu10.27 [934 kB] Get:58 http://ftpmaster.internal/ubuntu/ precise-updates/main ubuntu-keyring all 2011.11.21.1 [16.7 kB] Get:59 http://ftpmaster.internal/ubuntu/ precise-security/main gpgv amd64 1.4.11-3ubuntu2.10 [186 kB] Get:60 http://ftpmaster.internal/ubuntu/ precise-security/main gnupg amd64 1.4.11-3ubuntu2.10 [809 kB] Get:61 http://ftpmaster.internal/ubuntu/ precise-updates/main apt amd64 0.8.16~exp12ubuntu10.27 [1098 kB] Get:62 http://ftpmaster.internal/ubuntu/ precise-updates/main libuuid1 amd64 2.20.1-1ubuntu3.1 [12.8 kB] Get:63 http://ftpmaster.internal/ubuntu/ precise-updates/main libblkid1 amd64 2.20.1-1ubuntu3.1 [73.7 kB] Get:64 http://ftpmaster.internal/ubuntu/ precise-updates/main libcomerr2 amd64 1.42-1ubuntu2.3 [57.2 kB] Get:65 http://ftpmaster.internal/ubuntu/ precise-updates/main libmount1 amd64 2.20.1-1ubuntu3.1 [71.5 kB] Get:66 http://ftpmaster.internal/ubuntu/ precise-updates/main libss2 amd64 1.42-1ubuntu2.3 [62.3 kB] Get:67 http://ftpmaster.internal/ubuntu/ precise-updates/main liblockfile-bin amd64 1.09-3ubuntu0.1 [12.3 kB] Get:68 http://ftpmaster.internal/ubuntu/ precise-updates/main liblockfile1 amd64 1.09-3ubuntu0.1 [9232 B] Get:69 http://ftpmaster.internal/ubuntu/ precise-security/main libsqlite3-0 amd64 3.7.9-2ubuntu1.2 [349 kB] Get:70 http://ftpmaster.internal/ubuntu/ precise-security/main libelf1 amd64 0.152-1ubuntu3.1 [42.8 kB] Get:71 http://ftpmaster.internal/ubuntu/ precise-updates/main libroken18-heimdal amd64 1.6~git20120311.dfsg.1-2ubuntu0.1 [46.0 kB] Get:72 http://ftpmaster.internal/ubuntu/ precise-updates/main libasn1-8-heimdal amd64 1.6~git20120311.dfsg.1-2ubuntu0.1 [220 kB] Get:73 http://ftpmaster.internal/ubuntu/ precise-security/main libgcrypt11 amd64 1.5.0-3ubuntu0.6 [282 kB] Get:74 http://ftpmaster.internal/ubuntu/ precise-security/main libtasn1-3 amd64 2.10-1ubuntu1.5 [43.6 kB] Get:75 http://ftpmaster.internal/ubuntu/ precise-security/main libgnutls26 amd64 2.12.14-5ubuntu3.14 [461 kB] Get:76 http://ftpmaster.internal/ubuntu/ precise-security/main libk5crypto3 amd64 1.10+dfsg~beta1-2ubuntu0.7 [80.1 kB] Get:77 http://ftpmaster.internal/ubuntu/ precise-security/main libgssapi-krb5-2 amd64 1.10+dfsg~beta1-2ubuntu0.7 [119 kB] Get:78 http://ftpmaster.internal/ubuntu/ precise-security/main libkrb5-3 amd64 1.10+dfsg~beta1-2ubuntu0.7 [355 kB] Get:79 http://ftpmaster.internal/ubuntu/ precise-security/main libkrb5support0 amd64 1.10+dfsg~beta1-2ubuntu0.7 [24.9 kB] Get:80 http://ftpmaster.internal/ubuntu/ precise-security/main libidn11 amd64 1.23-2ubuntu0.1 [112 kB] Get:81 http://ftpmaster.internal/ubuntu/ precise-updates/main libhcrypto4-heimdal amd64 1.6~git20120311.dfsg.1-2ubuntu0.1 [103 kB] Get:82 http://ftpmaster.internal/ubuntu/ precise-updates/main libheimbase1-heimdal amd64 1.6~git20120311.dfsg.1-2ubuntu0.1 [33.1 kB] Get:83 http://ftpmaster.internal/ubuntu/ precise-updates/main libwind0-heimdal amd64 1.6~git20120311.dfsg.1-2ubuntu0.1 [77.8 kB] Get:84 http://ftpmaster.internal/ubuntu/ precise-updates/main libhx509-5-heimdal amd64 1.6~git20120311.dfsg.1-2ubuntu0.1 [125 kB] Get:85 http://ftpmaster.internal/ubuntu/ precise-updates/main libkrb5-26-heimdal amd64 1.6~git20120311.dfsg.1-2ubuntu0.1 [234 kB] Get:86 http://ftpmaster.internal/ubuntu/ precise-updates/main libheimntlm0-heimdal amd64 1.6~git20120311.dfsg.1-2ubuntu0.1 [16.0 kB] Get:87 http://ftpmaster.internal/ubuntu/ precise-updates/main libgssapi3-heimdal amd64 1.6~git20120311.dfsg.1-2ubuntu0.1 [108 kB] Get:88 http://ftpmaster.internal/ubuntu/ precise-updates/main libsasl2-2 amd64 2.1.25.dfsg1-3ubuntu0.1 [69.1 kB] Get:89 http://ftpmaster.internal/ubuntu/ precise-security/main libldap-2.4-2 amd64 2.4.28-1.1ubuntu4.6 [185 kB] Get:90 http://ftpmaster.internal/ubuntu/ precise-security/main openssl amd64 1.0.1-4ubuntu5.39 [524 kB] Get:91 http://ftpmaster.internal/ubuntu/ precise-security/main ca-certificates all 20160104ubuntu0.12.04.1 [208 kB] Get:92 http://ftpmaster.internal/ubuntu/ precise-security/main libcurl3-gnutls amd64 7.22.0-3ubuntu4.17 [228 kB] Get:93 http://ftpmaster.internal/ubuntu/ precise-security/main libpam-runtime all 1.1.3-7ubuntu2.3 [40.6 kB] Get:94 http://ftpmaster.internal/ubuntu/ precise-security/main multiarch-support amd64 2.15-0ubuntu10.18 [4482 B] Get:95 http://ftpmaster.internal/ubuntu/ precise-updates/main apt-transport-https amd64 0.8.16~exp12ubuntu10.27 [16.4 kB] Get:96 http://ftpmaster.internal/ubuntu/ precise-security/main binutils amd64 2.22-6ubuntu1.4 [2653 kB] Get:97 http://ftpmaster.internal/ubuntu/ precise-updates/main make amd64 3.81-8.1ubuntu1.1 [119 kB] Get:98 http://ftpmaster.internal/ubuntu/ precise-updates/main dpkg-dev all 1.16.1.2ubuntu7.8 [468 kB] Get:99 http://ftpmaster.internal/ubuntu/ precise-updates/main libdpkg-perl all 1.16.1.2ubuntu7.8 [181 kB] Get:100 http://ftpmaster.internal/ubuntu/ precise-security/main patch amd64 2.6.1-3ubuntu0.1 [80.0 kB] Get:101 http://ftpmaster.internal/ubuntu/ precise-updates/main build-essential amd64 11.5ubuntu2.1 [5816 B] Get:102 http://ftpmaster.internal/ubuntu/ precise-security/main optipng amd64 0.6.4-1ubuntu0.12.04.1 [89.2 kB] Get:103 http://ftpmaster.internal/ubuntu/ precise-security/main pkg-create-dbgsym all 0.50.2 [9520 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 46.0 MB in 3s (11.9 MB/s) (Reading database ... 12243 files and directories currently installed.) Preparing to replace base-files 6.5ubuntu6 (using .../base-files_6.5ubuntu6.8_amd64.deb) ... Unpacking replacement base-files ... Setting up base-files (6.5ubuntu6.8) ... 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 ... (Reading database ... 12244 files and directories currently installed.) Preparing to replace bash 4.2-2ubuntu2 (using .../bash_4.2-2ubuntu2.6_amd64.deb) ... Unpacking replacement bash ... Setting up bash (4.2-2ubuntu2.6) ... 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 ... 12244 files and directories currently installed.) Preparing to replace dpkg 1.16.1.2ubuntu7 (using .../dpkg_1.16.1.2ubuntu7.8_amd64.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.16.1.2ubuntu7.8) ... (Reading database ... 12245 files and directories currently installed.) Preparing to replace coreutils 8.13-3ubuntu3 (using .../coreutils_8.13-3ubuntu3.3_amd64.deb) ... Unpacking replacement coreutils ... Setting up coreutils (8.13-3ubuntu3.3) ... (Reading database ... 12245 files and directories currently installed.) Preparing to replace sysv-rc 2.88dsf-13.10ubuntu11 (using .../sysv-rc_2.88dsf-13.10ubuntu11.1_all.deb) ... Unpacking replacement sysv-rc ... Preparing to replace plymouth 0.8.2-2ubuntu30 (using .../plymouth_0.8.2-2ubuntu31.1_amd64.deb) ... Unpacking replacement plymouth ... Preparing to replace libplymouth2 0.8.2-2ubuntu30 (using .../libplymouth2_0.8.2-2ubuntu31.1_amd64.deb) ... Unpacking replacement libplymouth2 ... Preparing to replace initramfs-tools-bin 0.99ubuntu13 (using .../initramfs-tools-bin_0.99ubuntu13.5_amd64.deb) ... Unpacking replacement initramfs-tools-bin ... Preparing to replace initramfs-tools 0.99ubuntu13 (using .../initramfs-tools_0.99ubuntu13.5_all.deb) ... Unpacking replacement initramfs-tools ... Preparing to replace mountall 2.36 (using .../mountall_2.36.4ubuntu0.1_amd64.deb) ... Unpacking replacement mountall ... Preparing to replace initscripts 2.88dsf-13.10ubuntu11 (using .../initscripts_2.88dsf-13.10ubuntu11.1_amd64.deb) ... Unpacking replacement initscripts ... Preparing to replace upstart 1.5-0ubuntu5 (using .../upstart_1.5-0ubuntu7.3_amd64.deb) ... Unpacking replacement upstart ... Preparing to replace libc-dev-bin 2.15-0ubuntu10 (using .../libc-dev-bin_2.15-0ubuntu10.18_amd64.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libc6-dev 2.15-0ubuntu10 (using .../libc6-dev_2.15-0ubuntu10.18_amd64.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-bin 2.15-0ubuntu10 (using .../libc-bin_2.15-0ubuntu10.18_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.15-0ubuntu10.18) ... (Reading database ... 12245 files and directories currently installed.) Preparing to replace libc6 2.15-0ubuntu10 (using .../libc6_2.15-0ubuntu10.18_amd64.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.15-0ubuntu10.18) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12245 files and directories currently installed.) Preparing to replace sysvinit-utils 2.88dsf-13.10ubuntu11 (using .../sysvinit-utils_2.88dsf-13.10ubuntu11.1_amd64.deb) ... Unpacking replacement sysvinit-utils ... Preparing to replace libdbus-1-3 1.4.18-1ubuntu1 (using .../libdbus-1-3_1.4.18-1ubuntu1.8_amd64.deb) ... Unpacking replacement libdbus-1-3 ... Preparing to replace libdrm2 2.4.32-1ubuntu1 (using .../libdrm2_2.4.52-1~precise2_amd64.deb) ... Unpacking replacement libdrm2 ... Preparing to replace libpciaccess0 0.12.902-1 (using .../libpciaccess0_0.12.902-1ubuntu0.2_amd64.deb) ... Unpacking replacement libpciaccess0 ... Preparing to replace libdrm-intel1 2.4.32-1ubuntu1 (using .../libdrm-intel1_2.4.52-1~precise2_amd64.deb) ... Unpacking replacement libdrm-intel1 ... Preparing to replace libdrm-nouveau1a 2.4.32-1ubuntu1 (using .../libdrm-nouveau1a_2.4.52-1~precise2_amd64.deb) ... Unpacking replacement libdrm-nouveau1a ... Preparing to replace libdrm-radeon1 2.4.32-1ubuntu1 (using .../libdrm-radeon1_2.4.52-1~precise2_amd64.deb) ... Unpacking replacement libdrm-radeon1 ... Preparing to replace libpcre3 8.12-4 (using .../libpcre3_8.12-4ubuntu0.2_amd64.deb) ... Unpacking replacement libpcre3 ... Preparing to replace libglib2.0-0 2.32.1-0ubuntu2 (using .../libglib2.0-0_2.32.4-0ubuntu1_amd64.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace libudev0 175-0ubuntu9 (using .../libudev0_175-0ubuntu9.10_amd64.deb) ... Unpacking replacement libudev0 ... Preparing to replace busybox-initramfs 1:1.18.5-1ubuntu4 (using .../busybox-initramfs_1%3a1.18.5-1ubuntu4.1_amd64.deb) ... Unpacking replacement busybox-initramfs ... Preparing to replace cpio 2.11-7ubuntu3 (using .../cpio_2.11-7ubuntu3.2_amd64.deb) ... Unpacking replacement cpio ... Preparing to replace lsb-base 4.0-0ubuntu20 (using .../lsb-base_4.0-0ubuntu20.3_all.deb) ... Unpacking replacement lsb-base ... Setting up lsb-base (4.0-0ubuntu20.3) ... (Reading database ... 12245 files and directories currently installed.) Preparing to replace tzdata 2012b-1 (using .../tzdata_2016j-0ubuntu0.12.04_all.deb) ... Unpacking replacement tzdata ... Setting up tzdata (2016j-0ubuntu0.12.04) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Feb 16 15:16:03 UTC 2018. Universal Time is now: Fri Feb 16 15:16:03 UTC 2018. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 12276 files and directories currently installed.) Preparing to replace util-linux 2.20.1-1ubuntu3 (using .../util-linux_2.20.1-1ubuntu3.1_amd64.deb) ... Unpacking replacement util-linux ... Setting up libdbus-1-3 (1.4.18-1ubuntu1.8) ... Setting up libudev0 (175-0ubuntu9.10) ... Setting up sysvinit-utils (2.88dsf-13.10ubuntu11.1) ... Setting up sysv-rc (2.88dsf-13.10ubuntu11.1) ... Setting up libdrm2 (2.4.52-1~precise2) ... Setting up libpciaccess0 (0.12.902-1ubuntu0.2) ... Setting up libdrm-intel1 (2.4.52-1~precise2) ... Setting up libdrm-nouveau1a (2.4.52-1~precise2) ... Setting up libdrm-radeon1 (2.4.52-1~precise2) ... Setting up libplymouth2 (0.8.2-2ubuntu31.1) ... Setting up initramfs-tools-bin (0.99ubuntu13.5) ... Setting up busybox-initramfs (1:1.18.5-1ubuntu4.1) ... Setting up cpio (2.11-7ubuntu3.2) ... Setting up upstart (1.5-0ubuntu7.3) ... Installing new version of config file /etc/logrotate.d/upstart ... Setting up util-linux (2.20.1-1ubuntu3.1) ... Setting up initramfs-tools (0.99ubuntu13.5) ... update-initramfs: deferring update (trigger activated) Setting up mountall (2.36.4ubuntu0.1) ... Installing new version of config file /etc/init/mounted-dev.conf ... Setting up initscripts (2.88dsf-13.10ubuntu11.1) ... Setting up plymouth (0.8.2-2ubuntu31.1) ... update-initramfs: deferring update (trigger activated) Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for initramfs-tools ... (Reading database ... 12276 files and directories currently installed.) Preparing to replace procps 1:3.2.8-11ubuntu6 (using .../procps_1%3a3.2.8-11ubuntu6.4_amd64.deb) ... invoke-rc.d: policy-rc.d denied execution of stop. Unpacking replacement procps ... Preparing to replace udev 175-0ubuntu9 (using .../udev_175-0ubuntu9.10_amd64.deb) ... Adding 'diversion of /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' Unpacking replacement udev ... Preparing to replace libpng12-0 1.2.46-3ubuntu4 (using .../libpng12-0_1.2.46-3ubuntu4.2_amd64.deb) ... Unpacking replacement libpng12-0 ... Preparing to replace makedev 2.3.1-89ubuntu2 (using .../makedev_2.3.1-89ubuntu3_all.deb) ... Unpacking replacement makedev ... Preparing to replace libnih-dbus1 1.0.3-4ubuntu9 (using .../libnih-dbus1_1.0.3-4ubuntu9.1_amd64.deb) ... Unpacking replacement libnih-dbus1 ... Preparing to replace libnih1 1.0.3-4ubuntu9 (using .../libnih1_1.0.3-4ubuntu9.1_amd64.deb) ... Unpacking replacement libnih1 ... Preparing to replace mount 2.20.1-1ubuntu3 (using .../mount_2.20.1-1ubuntu3.1_amd64.deb) ... Unpacking replacement mount ... Setting up mount (2.20.1-1ubuntu3.1) ... (Reading database ... 12284 files and directories currently installed.) Preparing to replace libpam0g 1.1.3-7ubuntu2 (using .../libpam0g_1.1.3-7ubuntu2.3_amd64.deb) ... Unpacking replacement libpam0g ... Setting up libpam0g (1.1.3-7ubuntu2.3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12284 files and directories currently installed.) Preparing to replace libpam-modules-bin 1.1.3-7ubuntu2 (using .../libpam-modules-bin_1.1.3-7ubuntu2.3_amd64.deb) ... Unpacking replacement libpam-modules-bin ... Setting up libpam-modules-bin (1.1.3-7ubuntu2.3) ... (Reading database ... 12284 files and directories currently installed.) Preparing to replace libpam-modules 1.1.3-7ubuntu2 (using .../libpam-modules_1.1.3-7ubuntu2.3_amd64.deb) ... Unpacking replacement libpam-modules ... Setting up libpam-modules (1.1.3-7ubuntu2.3) ... (Reading database ... 12284 files and directories currently installed.) Preparing to replace passwd 1:4.1.4.2+svn3283-3ubuntu5 (using .../passwd_1%3a4.1.4.2+svn3283-3ubuntu5.1_amd64.deb) ... Unpacking replacement passwd ... Setting up passwd (1:4.1.4.2+svn3283-3ubuntu5.1) ... (Reading database ... 12286 files and directories currently installed.) Preparing to replace iproute 20111117-1ubuntu2 (using .../iproute_20111117-1ubuntu2.3_amd64.deb) ... Unpacking replacement iproute ... Preparing to replace ifupdown 0.7~beta2ubuntu8 (using .../ifupdown_0.7~beta2ubuntu11.1_amd64.deb) ... Unpacking replacement ifupdown ... Preparing to replace linux-libc-dev 3.2.0-23.36 (using .../linux-libc-dev_3.2.0-126.169_amd64.deb) ... Unpacking replacement linux-libc-dev ... Preparing to replace e2fslibs 1.42-1ubuntu2 (using .../e2fslibs_1.42-1ubuntu2.3_amd64.deb) ... Unpacking replacement e2fslibs ... Setting up e2fslibs (1.42-1ubuntu2.3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12290 files and directories currently installed.) Preparing to replace e2fsprogs 1.42-1ubuntu2 (using .../e2fsprogs_1.42-1ubuntu2.3_amd64.deb) ... Unpacking replacement e2fsprogs ... Setting up e2fsprogs (1.42-1ubuntu2.3) ... (Reading database ... 12290 files and directories currently installed.) Preparing to replace login 1:4.1.4.2+svn3283-3ubuntu5 (using .../login_1%3a4.1.4.2+svn3283-3ubuntu5.1_amd64.deb) ... Unpacking replacement login ... Setting up login (1:4.1.4.2+svn3283-3ubuntu5.1) ... (Reading database ... 12290 files and directories currently installed.) Preparing to replace perl 5.14.2-6ubuntu2 (using .../perl_5.14.2-6ubuntu2.5_amd64.deb) ... Unpacking replacement perl ... Preparing to replace perl-base 5.14.2-6ubuntu2 (using .../perl-base_5.14.2-6ubuntu2.5_amd64.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.14.2-6ubuntu2.5) ... (Reading database ... 12290 files and directories currently installed.) Preparing to replace perl-modules 5.14.2-6ubuntu2 (using .../perl-modules_5.14.2-6ubuntu2.5_all.deb) ... Unpacking replacement perl-modules ... Preparing to replace tar 1.26-4ubuntu1 (using .../tar_1.26-4ubuntu1.1_amd64.deb) ... Unpacking replacement tar ... Setting up tar (1.26-4ubuntu1.1) ... (Reading database ... 12290 files and directories currently installed.) Preparing to replace bsdutils 1:2.20.1-1ubuntu3 (using .../bsdutils_1%3a2.20.1-1ubuntu3.1_amd64.deb) ... Unpacking replacement bsdutils ... Setting up bsdutils (1:2.20.1-1ubuntu3.1) ... (Reading database ... 12290 files and directories currently installed.) Preparing to replace libssl1.0.0 1.0.1-4ubuntu3 (using .../libssl1.0.0_1.0.1-4ubuntu5.39_amd64.deb) ... Unpacking replacement libssl1.0.0 ... Setting up libssl1.0.0 (1.0.1-4ubuntu5.39) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12290 files and directories currently installed.) Preparing to replace python2.7-minimal 2.7.3-0ubuntu3 (using .../python2.7-minimal_2.7.3-0ubuntu3.9_amd64.deb) ... Unpacking replacement python2.7-minimal ... Setting up python2.7-minimal (2.7.3-0ubuntu3.9) ... (Reading database ... 12290 files and directories currently installed.) Preparing to replace python-minimal 2.7.3-0ubuntu2 (using .../python-minimal_2.7.3-0ubuntu2.2_amd64.deb) ... Unpacking replacement python-minimal ... Setting up python-minimal (2.7.3-0ubuntu2.2) ... (Reading database ... 12290 files and directories currently installed.) Preparing to replace libapt-pkg4.12 0.8.16~exp12ubuntu10 (using .../libapt-pkg4.12_0.8.16~exp12ubuntu10.27_amd64.deb) ... Unpacking replacement libapt-pkg4.12 ... Setting up libapt-pkg4.12 (0.8.16~exp12ubuntu10.27) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12290 files and directories currently installed.) Preparing to replace ubuntu-keyring 2011.11.21 (using .../ubuntu-keyring_2011.11.21.1_all.deb) ... Unpacking replacement ubuntu-keyring ... Setting up ubuntu-keyring (2011.11.21.1) ... gpg: key 437D05B5: "Ubuntu Archive Automatic Signing Key " not changed gpg: key FBB75451: "Ubuntu CD Image Automatic Signing Key " not changed gpg: key C0B21F32: public key "Ubuntu Archive Automatic Signing Key (2012) " imported gpg: key EFE21092: public key "Ubuntu CD Image Automatic Signing Key (2012) " imported gpg: Total number processed: 4 gpg: imported: 2 (RSA: 2) gpg: unchanged: 2 gpg: no ultimately trusted keys found (Reading database ... 12290 files and directories currently installed.) Preparing to replace gpgv 1.4.11-3ubuntu2 (using .../gpgv_1.4.11-3ubuntu2.10_amd64.deb) ... Unpacking replacement gpgv ... Setting up gpgv (1.4.11-3ubuntu2.10) ... (Reading database ... 12290 files and directories currently installed.) Preparing to replace gnupg 1.4.11-3ubuntu2 (using .../gnupg_1.4.11-3ubuntu2.10_amd64.deb) ... Unpacking replacement gnupg ... Setting up gnupg (1.4.11-3ubuntu2.10) ... (Reading database ... 12290 files and directories currently installed.) Preparing to replace apt 0.8.16~exp12ubuntu10 (using .../apt_0.8.16~exp12ubuntu10.27_amd64.deb) ... Unpacking replacement apt ... Setting up apt (0.8.16~exp12ubuntu10.27) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... gpg: key 437D05B5: "Ubuntu Archive Automatic Signing Key " not changed gpg: key FBB75451: "Ubuntu CD Image Automatic Signing Key " not changed gpg: key C0B21F32: "Ubuntu Archive Automatic Signing Key (2012) " not changed gpg: key EFE21092: "Ubuntu CD Image Automatic Signing Key (2012) " not changed gpg: Total number processed: 4 gpg: unchanged: 4 No packages found matching linux-image-[0-9]*. (Reading database ... 12291 files and directories currently installed.) Preparing to replace libuuid1 2.20.1-1ubuntu3 (using .../libuuid1_2.20.1-1ubuntu3.1_amd64.deb) ... Unpacking replacement libuuid1 ... Setting up libuuid1 (2.20.1-1ubuntu3.1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12291 files and directories currently installed.) Preparing to replace libblkid1 2.20.1-1ubuntu3 (using .../libblkid1_2.20.1-1ubuntu3.1_amd64.deb) ... Unpacking replacement libblkid1 ... Setting up libblkid1 (2.20.1-1ubuntu3.1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12291 files and directories currently installed.) Preparing to replace libcomerr2 1.42-1ubuntu2 (using .../libcomerr2_1.42-1ubuntu2.3_amd64.deb) ... Unpacking replacement libcomerr2 ... Setting up libcomerr2 (1.42-1ubuntu2.3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12291 files and directories currently installed.) Preparing to replace libmount1 2.20.1-1ubuntu3 (using .../libmount1_2.20.1-1ubuntu3.1_amd64.deb) ... Unpacking replacement libmount1 ... Setting up libmount1 (2.20.1-1ubuntu3.1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12291 files and directories currently installed.) Preparing to replace libss2 1.42-1ubuntu2 (using .../libss2_1.42-1ubuntu2.3_amd64.deb) ... Unpacking replacement libss2 ... Setting up libss2 (1.42-1ubuntu2.3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12291 files and directories currently installed.) Preparing to replace liblockfile-bin 1.09-3 (using .../liblockfile-bin_1.09-3ubuntu0.1_amd64.deb) ... Unpacking replacement liblockfile-bin ... Preparing to replace liblockfile1 1.09-3 (using .../liblockfile1_1.09-3ubuntu0.1_amd64.deb) ... Unpacking replacement liblockfile1 ... Preparing to replace libsqlite3-0 3.7.9-2ubuntu1 (using .../libsqlite3-0_3.7.9-2ubuntu1.2_amd64.deb) ... Unpacking replacement libsqlite3-0 ... Preparing to replace libelf1 0.152-1ubuntu3 (using .../libelf1_0.152-1ubuntu3.1_amd64.deb) ... Unpacking replacement libelf1 ... Preparing to replace libroken18-heimdal 1.6~git20120311.dfsg.1-2 (using .../libroken18-heimdal_1.6~git20120311.dfsg.1-2ubuntu0.1_amd64.deb) ... Unpacking replacement libroken18-heimdal ... Preparing to replace libasn1-8-heimdal 1.6~git20120311.dfsg.1-2 (using .../libasn1-8-heimdal_1.6~git20120311.dfsg.1-2ubuntu0.1_amd64.deb) ... Unpacking replacement libasn1-8-heimdal ... Preparing to replace libgcrypt11 1.5.0-3 (using .../libgcrypt11_1.5.0-3ubuntu0.6_amd64.deb) ... Unpacking replacement libgcrypt11 ... Preparing to replace libtasn1-3 2.10-1ubuntu1 (using .../libtasn1-3_2.10-1ubuntu1.5_amd64.deb) ... Unpacking replacement libtasn1-3 ... Preparing to replace libgnutls26 2.12.14-5ubuntu3 (using .../libgnutls26_2.12.14-5ubuntu3.14_amd64.deb) ... Unpacking replacement libgnutls26 ... Preparing to replace libk5crypto3 1.10+dfsg~beta1-2 (using .../libk5crypto3_1.10+dfsg~beta1-2ubuntu0.7_amd64.deb) ... Unpacking replacement libk5crypto3 ... Preparing to replace libgssapi-krb5-2 1.10+dfsg~beta1-2 (using .../libgssapi-krb5-2_1.10+dfsg~beta1-2ubuntu0.7_amd64.deb) ... Unpacking replacement libgssapi-krb5-2 ... Preparing to replace libkrb5-3 1.10+dfsg~beta1-2 (using .../libkrb5-3_1.10+dfsg~beta1-2ubuntu0.7_amd64.deb) ... Unpacking replacement libkrb5-3 ... Preparing to replace libkrb5support0 1.10+dfsg~beta1-2 (using .../libkrb5support0_1.10+dfsg~beta1-2ubuntu0.7_amd64.deb) ... Unpacking replacement libkrb5support0 ... Preparing to replace libidn11 1.23-2 (using .../libidn11_1.23-2ubuntu0.1_amd64.deb) ... Unpacking replacement libidn11 ... Preparing to replace libhcrypto4-heimdal 1.6~git20120311.dfsg.1-2 (using .../libhcrypto4-heimdal_1.6~git20120311.dfsg.1-2ubuntu0.1_amd64.deb) ... Unpacking replacement libhcrypto4-heimdal ... Preparing to replace libheimbase1-heimdal 1.6~git20120311.dfsg.1-2 (using .../libheimbase1-heimdal_1.6~git20120311.dfsg.1-2ubuntu0.1_amd64.deb) ... Unpacking replacement libheimbase1-heimdal ... Preparing to replace libwind0-heimdal 1.6~git20120311.dfsg.1-2 (using .../libwind0-heimdal_1.6~git20120311.dfsg.1-2ubuntu0.1_amd64.deb) ... Unpacking replacement libwind0-heimdal ... Preparing to replace libhx509-5-heimdal 1.6~git20120311.dfsg.1-2 (using .../libhx509-5-heimdal_1.6~git20120311.dfsg.1-2ubuntu0.1_amd64.deb) ... Unpacking replacement libhx509-5-heimdal ... Preparing to replace libkrb5-26-heimdal 1.6~git20120311.dfsg.1-2 (using .../libkrb5-26-heimdal_1.6~git20120311.dfsg.1-2ubuntu0.1_amd64.deb) ... Unpacking replacement libkrb5-26-heimdal ... Preparing to replace libheimntlm0-heimdal 1.6~git20120311.dfsg.1-2 (using .../libheimntlm0-heimdal_1.6~git20120311.dfsg.1-2ubuntu0.1_amd64.deb) ... Unpacking replacement libheimntlm0-heimdal ... Preparing to replace libgssapi3-heimdal 1.6~git20120311.dfsg.1-2 (using .../libgssapi3-heimdal_1.6~git20120311.dfsg.1-2ubuntu0.1_amd64.deb) ... Unpacking replacement libgssapi3-heimdal ... Preparing to replace libsasl2-2 2.1.25.dfsg1-3 (using .../libsasl2-2_2.1.25.dfsg1-3ubuntu0.1_amd64.deb) ... Unpacking replacement libsasl2-2 ... Preparing to replace libldap-2.4-2 2.4.28-1.1ubuntu4 (using .../libldap-2.4-2_2.4.28-1.1ubuntu4.6_amd64.deb) ... Unpacking replacement libldap-2.4-2 ... Preparing to replace openssl 1.0.1-4ubuntu3 (using .../openssl_1.0.1-4ubuntu5.39_amd64.deb) ... Unpacking replacement openssl ... Preparing to replace ca-certificates 20111211 (using .../ca-certificates_20160104ubuntu0.12.04.1_all.deb) ... Unpacking replacement ca-certificates ... Preparing to replace libcurl3-gnutls 7.22.0-3ubuntu4 (using .../libcurl3-gnutls_7.22.0-3ubuntu4.17_amd64.deb) ... Unpacking replacement libcurl3-gnutls ... Preparing to replace libpam-runtime 1.1.3-7ubuntu2 (using .../libpam-runtime_1.1.3-7ubuntu2.3_all.deb) ... Unpacking replacement libpam-runtime ... Setting up libpam-runtime (1.1.3-7ubuntu2.3) ... (Reading database ... 12309 files and directories currently installed.) Preparing to replace multiarch-support 2.15-0ubuntu10 (using .../multiarch-support_2.15-0ubuntu10.18_amd64.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.15-0ubuntu10.18) ... (Reading database ... 12309 files and directories currently installed.) Preparing to replace apt-transport-https 0.8.16~exp12ubuntu10 (using .../apt-transport-https_0.8.16~exp12ubuntu10.27_amd64.deb) ... Unpacking replacement apt-transport-https ... Preparing to replace binutils 2.22-6ubuntu1 (using .../binutils_2.22-6ubuntu1.4_amd64.deb) ... Unpacking replacement binutils ... Preparing to replace make 3.81-8.1ubuntu1 (using .../make_3.81-8.1ubuntu1.1_amd64.deb) ... Unpacking replacement make ... Preparing to replace dpkg-dev 1.16.1.2ubuntu7 (using .../dpkg-dev_1.16.1.2ubuntu7.8_all.deb) ... Unpacking replacement dpkg-dev ... Preparing to replace libdpkg-perl 1.16.1.2ubuntu7 (using .../libdpkg-perl_1.16.1.2ubuntu7.8_all.deb) ... Unpacking replacement libdpkg-perl ... Preparing to replace patch 2.6.1-3 (using .../patch_2.6.1-3ubuntu0.1_amd64.deb) ... Unpacking replacement patch ... Preparing to replace build-essential 11.5ubuntu2 (using .../build-essential_11.5ubuntu2.1_amd64.deb) ... Unpacking replacement build-essential ... Preparing to replace optipng 0.6.4-1 (using .../optipng_0.6.4-1ubuntu0.12.04.1_amd64.deb) ... Unpacking replacement optipng ... Preparing to replace pkg-create-dbgsym 0.50 (using .../pkg-create-dbgsym_0.50.2_all.deb) ... Unpacking replacement pkg-create-dbgsym ... Setting up libc-dev-bin (2.15-0ubuntu10.18) ... Setting up linux-libc-dev (3.2.0-126.169) ... Setting up libc6-dev (2.15-0ubuntu10.18) ... Setting up libpcre3 (8.12-4ubuntu0.2) ... Setting up libglib2.0-0 (2.32.4-0ubuntu1) ... No schema files found: doing nothing. Setting up procps (1:3.2.8-11ubuntu6.4) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up udev (175-0ubuntu9.10) ... 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 /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up libpng12-0 (1.2.46-3ubuntu4.2) ... Setting up makedev (2.3.1-89ubuntu3) ... Setting up libnih1 (1.0.3-4ubuntu9.1) ... Setting up libnih-dbus1 (1.0.3-4ubuntu9.1) ... Setting up iproute (20111117-1ubuntu2.3) ... Setting up ifupdown (0.7~beta2ubuntu11.1) ... Installing new version of config file /etc/init/network-interface.conf ... Setting up liblockfile-bin (1.09-3ubuntu0.1) ... Setting up liblockfile1 (1.09-3ubuntu0.1) ... Setting up libsqlite3-0 (3.7.9-2ubuntu1.2) ... Setting up libelf1 (0.152-1ubuntu3.1) ... Setting up libroken18-heimdal (1.6~git20120311.dfsg.1-2ubuntu0.1) ... Setting up libasn1-8-heimdal (1.6~git20120311.dfsg.1-2ubuntu0.1) ... Setting up libgcrypt11 (1.5.0-3ubuntu0.6) ... Setting up libtasn1-3 (2.10-1ubuntu1.5) ... Setting up libgnutls26 (2.12.14-5ubuntu3.14) ... Setting up libkrb5support0 (1.10+dfsg~beta1-2ubuntu0.7) ... Setting up libk5crypto3 (1.10+dfsg~beta1-2ubuntu0.7) ... Setting up libkrb5-3 (1.10+dfsg~beta1-2ubuntu0.7) ... Setting up libgssapi-krb5-2 (1.10+dfsg~beta1-2ubuntu0.7) ... Setting up libidn11 (1.23-2ubuntu0.1) ... Setting up libhcrypto4-heimdal (1.6~git20120311.dfsg.1-2ubuntu0.1) ... Setting up libheimbase1-heimdal (1.6~git20120311.dfsg.1-2ubuntu0.1) ... Setting up libwind0-heimdal (1.6~git20120311.dfsg.1-2ubuntu0.1) ... Setting up libhx509-5-heimdal (1.6~git20120311.dfsg.1-2ubuntu0.1) ... Setting up libkrb5-26-heimdal (1.6~git20120311.dfsg.1-2ubuntu0.1) ... Setting up libheimntlm0-heimdal (1.6~git20120311.dfsg.1-2ubuntu0.1) ... Setting up libgssapi3-heimdal (1.6~git20120311.dfsg.1-2ubuntu0.1) ... Setting up libsasl2-2 (2.1.25.dfsg1-3ubuntu0.1) ... Setting up libldap-2.4-2 (2.4.28-1.1ubuntu4.6) ... Setting up openssl (1.0.1-4ubuntu5.39) ... Setting up ca-certificates (20160104ubuntu0.12.04.1) ... Updating certificates in /etc/ssl/certs... 56 added, 35 removed; done. Running hooks in /etc/ca-certificates/update.d....done. Setting up libcurl3-gnutls (7.22.0-3ubuntu4.17) ... Setting up apt-transport-https (0.8.16~exp12ubuntu10.27) ... Setting up binutils (2.22-6ubuntu1.4) ... Setting up make (3.81-8.1ubuntu1.1) ... Setting up patch (2.6.1-3ubuntu0.1) ... Setting up optipng (0.6.4-1ubuntu0.12.04.1) ... Setting up pkg-create-dbgsym (0.50.2) ... Setting up perl-modules (5.14.2-6ubuntu2.5) ... Setting up perl (5.14.2-6ubuntu2.5) ... Setting up libdpkg-perl (1.16.1.2ubuntu7.8) ... Setting up dpkg-dev (1.16.1.2ubuntu7.8) ... Setting up build-essential (11.5ubuntu2.1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/buildrecipe --git RECIPEBRANCHBUILD-1533172 'Jason Gross' jgross@mit.edu precise precise universe PPA Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: libexpat1 mime-support python python2.7 Suggested packages: lsb python-doc python-tk python2.7-doc Recommended packages: file The following NEW packages will be installed: libexpat1 lsb-release mime-support python python2.7 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 3018 kB of archives. After this operation, 10.3 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libexpat1 mime-support python2.7 python lsb-release Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ precise-security/main libexpat1 amd64 2.0.1-7.2ubuntu1.4 [131 kB] Get:2 http://ftpmaster.internal/ubuntu/ precise-security/main mime-support all 3.51-1ubuntu1.1 [30.4 kB] Get:3 http://ftpmaster.internal/ubuntu/ precise-security/main python2.7 amd64 2.7.3-0ubuntu3.9 [2678 kB] Get:4 http://ftpmaster.internal/ubuntu/ precise-updates/main python amd64 2.7.3-0ubuntu2.2 [168 kB] Get:5 http://ftpmaster.internal/ubuntu/ precise-updates/main lsb-release all 4.0-0ubuntu20.3 [11.0 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 3018 kB in 0s (12.3 MB/s) Selecting previously unselected package libexpat1. (Reading database ... 12310 files and directories currently installed.) Unpacking libexpat1 (from .../libexpat1_2.0.1-7.2ubuntu1.4_amd64.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.51-1ubuntu1.1_all.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.3-0ubuntu3.9_amd64.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.3-0ubuntu2.2_amd64.deb) ... Selecting previously unselected package lsb-release. Unpacking lsb-release (from .../lsb-release_4.0-0ubuntu20.3_all.deb) ... Setting up libexpat1 (2.0.1-7.2ubuntu1.4) ... Setting up mime-support (3.51-1ubuntu1.1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.7 (2.7.3-0ubuntu3.9) ... Setting up python (2.7.3-0ubuntu2.2) ... Setting up lsb-release (4.0-0ubuntu20.3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place 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-precise RUN ['git-build-recipe', '--safe', '--no-build', '--manifest', '/home/buildd/build-RECIPEBRANCHBUILD-1533172/chroot-autobuild/home/buildd/work/tree/manifest', '--distribution', 'precise', '--allow-fallback-to-native', '--append-version', '~ubuntu12.04.1', '/home/buildd/build-RECIPEBRANCHBUILD-1533172/chroot-autobuild/home/buildd/work/recipe', '/home/buildd/build-RECIPEBRANCHBUILD-1533172/chroot-autobuild/home/buildd/work/tree'] Applying patch /home/buildd/build-RECIPEBRANCHBUILD-1533172/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). Now at patch /home/buildd/build-RECIPEBRANCHBUILD-1533172/chroot-autobuild/home/buildd/work/tree/recipe/debian/patches/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch resource.struct_rusage(ru_utime=22.456, ru_stime=3.212, ru_maxrss=85168, ru_ixrss=0, ru_idrss=0, ru_isrss=0, ru_minflt=80635, ru_majflt=43, ru_nswap=0, ru_inblock=12464, ru_oublock=281056, ru_msgsnd=0, ru_msgrcv=0, ru_nsignals=0, ru_nvcsw=62668, ru_nivcsw=7941) 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 ed file fontconfig fontconfig-config 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 gs-cjk-resource gsfonts hevea html2text intltool-debian libaspell15 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 libcupsimage2 libdatrie1 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 libgettextpo0 libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-bin libglib2.0-data libglib2.0-dev libgs9 libgs9-common libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libhunspell-1.3-0 libice-dev libice6 libijs-0.35 libjasper1 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea5 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblcms2-2 libmagic1 libncurses5-dev libnetpbm10 libpango1.0-0 libpango1.0-dev libpaper-utils libpaper1 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpoppler19 libpopt0 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libtext-iconv-perl libthai-data libthai0 libtiff4 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 preview-latex-style shared-mime-info tex-common texlive-base texlive-binaries texlive-common texlive-doc-base texlive-latex-base texlive-latex-extra texlive-pictures ttf-dejavu-core 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 xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 186 newly installed, 0 to remove and 0 not upgraded. Need to get 127 MB of archives. After this operation, 407 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpopt0 libpipeline1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 libxml2 libatk1.0-data libatk1.0-0 libavahi-common-data libavahi-common3 libavahi-client3 libfreetype6 ucf ttf-dejavu-core fontconfig-config libfontconfig1 libpixman-1-0 libxcb-render0 libxcb-shm0 libxrender1 libcairo2 libcairo-gobject2 libcairo-script-interpreter2 libcroco3 libcups2 libjpeg-turbo8 libjpeg8 libtiff4 libcupsimage2 libdatrie1 libjasper1 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-0 libunistring0 libgettextpo0 libgtk2.0-common libthai-data libthai0 libxft2 fontconfig libpango1.0-0 libxcomposite1 libxfixes3 libxcursor1 libxdamage1 libxi6 libxinerama1 libxrandr2 shared-mime-info libgtk2.0-0 libglade2-0 libglib2.0-data libglib2.0-bin libhunspell-1.3-0 x11-common libice6 liblcms2-2 libpcrecpp0 libpoppler19 libsm6 libxt6 libxmu6 libxpm4 libxaw7 libmagic1 file libtext-iconv-perl bsdmainutils ed gettext-base libgirepository-1.0-1 gir1.2-glib-2.0 groff-base man-db libaspell15 dictionaries-common aspell aspell-en html2text gettext intltool-debian po-debconf dh-apparmor debhelper libijs-0.35 libjbig2dec0 libpaper1 gs-cjk-resource libgs9-common libgs9 gsfonts ghostscript gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-pango-1.0 gir1.2-gtk-2.0 libnetpbm10 netpbm tex-common texlive-common texlive-doc-base libpaper-utils luatex libkpathsea5 texlive-binaries texlive-base ocaml-base-nox hevea pkg-config libpcre3-dev zlib1g-dev libglib2.0-dev libatk1.0-dev libexpat1-dev libfreetype6-dev libfontconfig1-dev xorg-sgml-doctools x11proto-core-dev libxau-dev libxdmcp-dev x11proto-input-dev x11proto-kb-dev xtrans-dev libpthread-stubs0 libpthread-stubs0-dev libxcb1-dev libx11-dev x11proto-render-dev libxrender-dev libpng12-dev libice-dev libsm-dev libpixman-1-dev libxcb-render0-dev libxcb-shm0-dev libcairo2-dev libenchant1c2a libenchant-dev libfindlib-ocaml libgdk-pixbuf2.0-dev libxft-dev libpango1.0-dev x11proto-xext-dev libxext-dev x11proto-xinerama-dev libxinerama-dev x11proto-fixes-dev libxfixes-dev libxi-dev x11proto-randr-dev libxrandr-dev libxcursor-dev x11proto-composite-dev libxcomposite-dev x11proto-damage-dev libxdamage-dev libxml2-utils libgtk2.0-dev libxml2-dev libglade2-dev libgtksourceview2.0-common libgtksourceview2.0-0 libgtksourceview2.0-dev libgtkspell0 libgtkspell-dev liblablgtk2-ocaml libtinfo-dev libncurses5-dev ocaml-compiler-libs ocaml-interp ocaml-nox liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev ocaml-findlib ocaml-native-compilers preview-latex-style texlive-latex-base texlive-pictures texlive-latex-extra camlp5 dh-ocaml Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ precise/main libpopt0 amd64 1.16-3ubuntu1 [28.7 kB] Get:2 http://ftpmaster.internal/ubuntu/ precise/main libpipeline1 amd64 1.2.1-1 [26.5 kB] Get:3 http://ftpmaster.internal/ubuntu/ precise/main libxau6 amd64 1:1.0.6-4 [8392 B] Get:4 http://ftpmaster.internal/ubuntu/ precise/main libxdmcp6 amd64 1:1.1.0-4 [12.7 kB] Get:5 http://ftpmaster.internal/ubuntu/ precise-security/main libxcb1 amd64 1.8.1-1ubuntu0.2 [44.8 kB] Get:6 http://ftpmaster.internal/ubuntu/ precise-security/main libx11-data all 2:1.4.99.1-0ubuntu2.3 [171 kB] Get:7 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main ocaml-base-nox amd64 4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 [697 kB] Get:8 http://ftpmaster.internal/ubuntu/ precise-security/main libx11-6 amd64 2:1.4.99.1-0ubuntu2.3 [764 kB] Get:9 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main hevea all 2.28-1~ubuntu12.04.1~ppa1 [1116 kB] Get:10 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main libfindlib-ocaml amd64 1.6.2-1~ubuntu12.04.1~ppa1 [220 kB] Get:11 http://ftpmaster.internal/ubuntu/ precise-security/main libxext6 amd64 2:1.3.0-3ubuntu0.2 [33.8 kB] Get:12 http://ftpmaster.internal/ubuntu/ precise-security/main libxml2 amd64 2.7.8.dfsg-5.1ubuntu4.17 [678 kB] Get:13 http://ftpmaster.internal/ubuntu/ precise/main libatk1.0-data all 2.4.0-0ubuntu1 [12.7 kB] Get:14 http://ftpmaster.internal/ubuntu/ precise/main libatk1.0-0 amd64 2.4.0-0ubuntu1 [60.1 kB] Get:15 http://ftpmaster.internal/ubuntu/ precise-updates/main libavahi-common-data amd64 0.6.30-5ubuntu2.2 [21.4 kB] Get:16 http://ftpmaster.internal/ubuntu/ precise-updates/main libavahi-common3 amd64 0.6.30-5ubuntu2.2 [25.5 kB] Get:17 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main liblablgtk2-ocaml amd64 2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1 [1144 kB] Get:18 http://ftpmaster.internal/ubuntu/ precise-updates/main libavahi-client3 amd64 0.6.30-5ubuntu2.2 [30.3 kB] Get:19 http://ftpmaster.internal/ubuntu/ precise-security/main libfreetype6 amd64 2.4.8-1ubuntu2.6 [345 kB] Get:20 http://ftpmaster.internal/ubuntu/ precise/main ucf all 3.0025+nmu2ubuntu1 [54.4 kB] Get:21 http://ftpmaster.internal/ubuntu/ precise/main ttf-dejavu-core all 2.33-2ubuntu1 [1552 kB] Get:22 http://ftpmaster.internal/ubuntu/ precise-security/main fontconfig-config all 2.8.0-3ubuntu9.2 [43.8 kB] Get:23 http://ftpmaster.internal/ubuntu/ precise-security/main libfontconfig1 amd64 2.8.0-3ubuntu9.2 [124 kB] Get:24 http://ftpmaster.internal/ubuntu/ precise-security/main libpixman-1-0 amd64 0.30.2-1ubuntu0.0.0.0.3 [256 kB] Get:25 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main ocaml-compiler-libs amd64 4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 [14.4 MB] Get:26 http://ftpmaster.internal/ubuntu/ precise-security/main libxcb-render0 amd64 1.8.1-1ubuntu0.2 [13.3 kB] Get:27 http://ftpmaster.internal/ubuntu/ precise-security/main libxcb-shm0 amd64 1.8.1-1ubuntu0.2 [5516 B] Get:28 http://ftpmaster.internal/ubuntu/ precise-security/main libxrender1 amd64 1:0.9.6-2ubuntu0.2 [20.7 kB] Get:29 http://ftpmaster.internal/ubuntu/ precise-updates/main libcairo2 amd64 1.10.2-6.1ubuntu3 [467 kB] Get:30 http://ftpmaster.internal/ubuntu/ precise-updates/main libcairo-gobject2 amd64 1.10.2-6.1ubuntu3 [20.5 kB] Get:31 http://ftpmaster.internal/ubuntu/ precise-updates/main libcairo-script-interpreter2 amd64 1.10.2-6.1ubuntu3 [62.2 kB] Get:32 http://ftpmaster.internal/ubuntu/ precise-updates/main libcroco3 amd64 0.6.5-1ubuntu0.1 [99.8 kB] Get:33 http://ftpmaster.internal/ubuntu/ precise-security/main libcups2 amd64 1.5.3-0ubuntu8.7 [169 kB] Get:34 http://ftpmaster.internal/ubuntu/ precise-updates/main libjpeg-turbo8 amd64 1.1.90+svn733-0ubuntu4.4 [112 kB] Get:35 http://ftpmaster.internal/ubuntu/ precise/main libjpeg8 amd64 8c-2ubuntu7 [2112 B] Get:36 http://ftpmaster.internal/ubuntu/ precise-security/main libtiff4 amd64 3.9.5-2ubuntu1.9 [145 kB] Get:37 http://ftpmaster.internal/ubuntu/ precise-security/main libcupsimage2 amd64 1.5.3-0ubuntu8.7 [51.8 kB] Get:38 http://ftpmaster.internal/ubuntu/ precise/main libdatrie1 amd64 0.2.5-3 [16.4 kB] Get:39 http://ftpmaster.internal/ubuntu/ precise-security/main libjasper1 amd64 1.900.1-13ubuntu0.3 [155 kB] Get:40 http://ftpmaster.internal/ubuntu/ precise-security/main libgdk-pixbuf2.0-common all 2.26.1-1ubuntu1.5 [8078 B] Get:41 http://ftpmaster.internal/ubuntu/ precise-security/main libgdk-pixbuf2.0-0 amd64 2.26.1-1ubuntu1.5 [200 kB] Get:42 http://ftpmaster.internal/ubuntu/ precise/main libunistring0 amd64 0.9.3-5 [427 kB] Get:43 http://ftpmaster.internal/ubuntu/ precise/main libgettextpo0 amd64 0.18.1.1-5ubuntu3 [120 kB] Get:44 http://ftpmaster.internal/ubuntu/ precise-security/main libgtk2.0-common all 2.24.10-0ubuntu6.3 [117 kB] Get:45 http://ftpmaster.internal/ubuntu/ precise/main libthai-data all 0.1.16-3 [179 kB] Get:46 http://ftpmaster.internal/ubuntu/ precise/main libthai0 amd64 0.1.16-3 [19.7 kB] Get:47 http://ftpmaster.internal/ubuntu/ precise/main libxft2 amd64 2.2.0-3ubuntu2 [42.3 kB] Get:48 http://ftpmaster.internal/ubuntu/ precise-security/main fontconfig amd64 2.8.0-3ubuntu9.2 [155 kB] Get:49 http://ftpmaster.internal/ubuntu/ precise-updates/main libpango1.0-0 amd64 1.30.0-0ubuntu3.1 [363 kB] Get:50 http://ftpmaster.internal/ubuntu/ precise/main libxcomposite1 amd64 1:0.4.3-2build1 [7708 B] Get:51 http://ftpmaster.internal/ubuntu/ precise-security/main libxfixes3 amd64 1:5.0-4ubuntu4.4 [12.1 kB] Get:52 http://ftpmaster.internal/ubuntu/ precise-security/main libxcursor1 amd64 1:1.1.12-1ubuntu0.1 [22.7 kB] Get:53 http://ftpmaster.internal/ubuntu/ precise/main libxdamage1 amd64 1:1.1.3-2build1 [7560 B] Get:54 http://ftpmaster.internal/ubuntu/ precise-security/main libxi6 amd64 2:1.7.1.901-1ubuntu1~precise3 [31.6 kB] Get:55 http://ftpmaster.internal/ubuntu/ precise-security/main libxinerama1 amd64 2:1.1.1-3ubuntu0.1 [8072 B] Get:56 http://ftpmaster.internal/ubuntu/ precise-security/main libxrandr2 amd64 2:1.3.2-2ubuntu0.3 [17.6 kB] Get:57 http://ftpmaster.internal/ubuntu/ precise-updates/main shared-mime-info amd64 1.0-0ubuntu4.1 [496 kB] Get:58 http://ftpmaster.internal/ubuntu/ precise-security/main libgtk2.0-0 amd64 2.24.10-0ubuntu6.3 [2676 kB] Get:59 http://ftpmaster.internal/ubuntu/ precise-updates/main libglade2-0 amd64 1:2.6.4-1ubuntu1.1 [53.0 kB] Get:60 http://ftpmaster.internal/ubuntu/ precise-updates/main libglib2.0-data all 2.32.4-0ubuntu1 [89.2 kB] Get:61 http://ftpmaster.internal/ubuntu/ precise-updates/main libglib2.0-bin amd64 2.32.4-0ubuntu1 [40.0 kB] Get:62 http://ftpmaster.internal/ubuntu/ precise/main libhunspell-1.3-0 amd64 1.3.2-4 [142 kB] Get:63 http://ftpmaster.internal/ubuntu/ precise-updates/main x11-common all 1:7.6+12ubuntu2 [52.0 kB] Get:64 http://ftpmaster.internal/ubuntu/ precise/main libice6 amd64 2:1.0.7-2build1 [46.1 kB] Get:65 http://ftpmaster.internal/ubuntu/ precise-security/main liblcms2-2 amd64 2.2+git20110628-2ubuntu3.1 [143 kB] Get:66 http://ftpmaster.internal/ubuntu/ precise-security/main libpcrecpp0 amd64 8.12-4ubuntu0.2 [16.2 kB] Get:67 http://ftpmaster.internal/ubuntu/ precise-security/main libpoppler19 amd64 0.18.4-1ubuntu3.2 [773 kB] Get:68 http://ftpmaster.internal/ubuntu/ precise/main libsm6 amd64 2:1.2.0-2build1 [18.1 kB] Get:69 http://ftpmaster.internal/ubuntu/ precise-security/main libxt6 amd64 1:1.1.1-2ubuntu0.1 [186 kB] Get:70 http://ftpmaster.internal/ubuntu/ precise/main libxmu6 amd64 2:1.1.0-3 [52.7 kB] Get:71 http://ftpmaster.internal/ubuntu/ precise-security/main libxpm4 amd64 1:3.5.9-4ubuntu0.1 [37.1 kB] Get:72 http://ftpmaster.internal/ubuntu/ precise/main libxaw7 amd64 2:1.0.9-3ubuntu1 [201 kB] Get:73 http://ftpmaster.internal/ubuntu/ precise-security/main libmagic1 amd64 5.09-2ubuntu0.6 [218 kB] Get:74 http://ftpmaster.internal/ubuntu/ precise-security/main file amd64 5.09-2ubuntu0.6 [20.0 kB] Get:75 http://ftpmaster.internal/ubuntu/ precise/main libtext-iconv-perl amd64 1.7-5 [15.6 kB] Get:76 http://ftpmaster.internal/ubuntu/ precise/main bsdmainutils amd64 8.2.3ubuntu1 [200 kB] Get:77 http://ftpmaster.internal/ubuntu/ precise/main ed amd64 1.5-3 [57.9 kB] Get:78 http://ftpmaster.internal/ubuntu/ precise/main gettext-base amd64 0.18.1.1-5ubuntu3 [80.0 kB] Get:79 http://ftpmaster.internal/ubuntu/ precise/main libgirepository-1.0-1 amd64 1.32.0-1 [101 kB] Get:80 http://ftpmaster.internal/ubuntu/ precise/main gir1.2-glib-2.0 amd64 1.32.0-1 [157 kB] Get:81 http://ftpmaster.internal/ubuntu/ precise/main groff-base amd64 1.21-7 [1046 kB] Get:82 http://ftpmaster.internal/ubuntu/ precise-updates/main man-db amd64 2.6.1-2ubuntu2 [755 kB] Get:83 http://ftpmaster.internal/ubuntu/ precise/main libaspell15 amd64 0.60.7~20110707-1 [639 kB] Get:84 http://ftpmaster.internal/ubuntu/ precise/main dictionaries-common all 1.12.1ubuntu2 [246 kB] Get:85 http://ftpmaster.internal/ubuntu/ precise/main aspell amd64 0.60.7~20110707-1 [92.5 kB] Get:86 http://ftpmaster.internal/ubuntu/ precise/main aspell-en all 6.0-0-6ubuntu2 [250 kB] Get:87 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main ocaml-interp amd64 4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 [410 kB] Get:88 http://ftpmaster.internal/ubuntu/ precise/main html2text amd64 1.3.2a-15 [104 kB] Get:89 http://ftpmaster.internal/ubuntu/ precise/main gettext amd64 0.18.1.1-5ubuntu3 [1188 kB] Get:90 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main ocaml-nox amd64 4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 [13.9 MB] Get:91 http://ftpmaster.internal/ubuntu/ precise/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:92 http://ftpmaster.internal/ubuntu/ precise/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:93 http://ftpmaster.internal/ubuntu/ precise-security/main dh-apparmor all 2.7.102-0ubuntu3.11 [8866 B] Get:94 http://ftpmaster.internal/ubuntu/ precise/main debhelper all 9.20120115ubuntu3 [616 kB] Get:95 http://ftpmaster.internal/ubuntu/ precise/main libijs-0.35 amd64 0.35-8 [16.7 kB] Get:96 http://ftpmaster.internal/ubuntu/ precise/main libjbig2dec0 amd64 0.11-1ubuntu1 [41.2 kB] Get:97 http://ftpmaster.internal/ubuntu/ precise/main libpaper1 amd64 1.1.24+nmu1build1 [14.2 kB] Get:98 http://ftpmaster.internal/ubuntu/ precise/main gs-cjk-resource all 1.20100103-3 [1477 kB] Get:99 http://ftpmaster.internal/ubuntu/ precise-security/main libgs9-common all 9.05~dfsg-0ubuntu4.5 [3942 kB] Get:100 http://ftpmaster.internal/ubuntu/ precise-security/main libgs9 amd64 9.05~dfsg-0ubuntu4.5 [2255 kB] Get:101 http://ftpmaster.internal/ubuntu/ precise/main gsfonts all 1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1 [3374 kB] Get:102 http://ftpmaster.internal/ubuntu/ precise-security/main ghostscript amd64 9.05~dfsg-0ubuntu4.5 [43.9 kB] Get:103 http://ftpmaster.internal/ubuntu/ precise/main gir1.2-atk-1.0 amd64 2.4.0-0ubuntu1 [20.5 kB] Get:104 http://ftpmaster.internal/ubuntu/ precise/main gir1.2-freedesktop amd64 1.32.0-1 [6638 B] Get:105 http://ftpmaster.internal/ubuntu/ precise-security/main gir1.2-gdkpixbuf-2.0 amd64 2.26.1-1ubuntu1.5 [8850 B] Get:106 http://ftpmaster.internal/ubuntu/ precise-updates/main gir1.2-pango-1.0 amd64 1.30.0-0ubuntu3.1 [22.9 kB] Get:107 http://ftpmaster.internal/ubuntu/ precise-security/main gir1.2-gtk-2.0 amd64 2.24.10-0ubuntu6.3 [243 kB] Get:108 http://ftpmaster.internal/ubuntu/ precise/main libnetpbm10 amd64 2:10.0-15 [67.5 kB] Get:109 http://ftpmaster.internal/ubuntu/ precise/main netpbm amd64 2:10.0-15 [1312 kB] Get:110 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main liblablgtk2-ocaml-dev amd64 2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1 [2671 kB] Get:111 http://ftpmaster.internal/ubuntu/ precise/main tex-common all 2.10 [709 kB] Get:112 http://ftpmaster.internal/ubuntu/ precise/main texlive-common all 2009-15 [94.4 kB] Get:113 http://ftpmaster.internal/ubuntu/ precise/main texlive-doc-base all 2009-2 [1339 kB] Get:114 http://ftpmaster.internal/ubuntu/ precise/main libpaper-utils amd64 1.1.24+nmu1build1 [9040 B] Get:115 http://ftpmaster.internal/ubuntu/ precise/main luatex amd64 0.70.1-1ubuntu1 [2458 kB] Get:116 http://ftpmaster.internal/ubuntu/ precise/main libkpathsea5 amd64 2009-11ubuntu2 [56.7 kB] Get:117 http://ftpmaster.internal/ubuntu/ precise/main texlive-binaries amd64 2009-11ubuntu2 [8054 kB] Get:118 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main liblablgtksourceview2-ocaml amd64 2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1 [135 kB] Get:119 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main liblablgtksourceview2-ocaml-dev amd64 2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1 [184 kB] Get:120 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main ocaml-findlib amd64 1.6.2-1~ubuntu12.04.1~ppa1 [378 kB] Get:121 http://ftpmaster.internal/ubuntu/ precise/main texlive-base all 2009-15 [14.7 MB] Get:122 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main ocaml-native-compilers amd64 4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 [5345 kB] Get:123 http://ppa.launchpad.net/jgross-h/coq-master-daily/ubuntu/ precise/main camlp5 amd64 6.16-1~ubuntu12.04.1~ppa1 [5273 kB] Get:124 http://ftpmaster.internal/ubuntu/ precise/main pkg-config amd64 0.26-1ubuntu1 [40.9 kB] Get:125 http://ftpmaster.internal/ubuntu/ precise-security/main libpcre3-dev amd64 8.12-4ubuntu0.2 [231 kB] Get:126 http://ftpmaster.internal/ubuntu/ precise/main zlib1g-dev amd64 1:1.2.3.4.dfsg-3ubuntu4 [165 kB] Get:127 http://ftpmaster.internal/ubuntu/ precise-updates/main libglib2.0-dev amd64 2.32.4-0ubuntu1 [1812 kB] Get:128 http://ftpmaster.internal/ubuntu/ precise/main libatk1.0-dev amd64 2.4.0-0ubuntu1 [71.4 kB] Get:129 http://ftpmaster.internal/ubuntu/ precise-security/main libexpat1-dev amd64 2.0.1-7.2ubuntu1.4 [216 kB] Get:130 http://ftpmaster.internal/ubuntu/ precise-security/main libfreetype6-dev amd64 2.4.8-1ubuntu2.6 [796 kB] Get:131 http://ftpmaster.internal/ubuntu/ precise-security/main libfontconfig1-dev amd64 2.8.0-3ubuntu9.2 [661 kB] Get:132 http://ftpmaster.internal/ubuntu/ precise/main xorg-sgml-doctools all 1:1.10-1 [12.0 kB] Get:133 http://ftpmaster.internal/ubuntu/ precise-security/main x11proto-core-dev all 7.0.22-1ubuntu0.2 [301 kB] Get:134 http://ftpmaster.internal/ubuntu/ precise/main libxau-dev amd64 1:1.0.6-4 [10.5 kB] Get:135 http://ftpmaster.internal/ubuntu/ precise/main libxdmcp-dev amd64 1:1.1.0-4 [26.9 kB] Get:136 http://ftpmaster.internal/ubuntu/ precise-security/main x11proto-input-dev all 2.3-1~precise2 [137 kB] Get:137 http://ftpmaster.internal/ubuntu/ precise/main x11proto-kb-dev all 1.0.5-2 [27.6 kB] Get:138 http://ftpmaster.internal/ubuntu/ precise/main xtrans-dev all 1.2.6-2 [82.9 kB] Get:139 http://ftpmaster.internal/ubuntu/ precise/main libpthread-stubs0 amd64 0.3-3 [3258 B] Get:140 http://ftpmaster.internal/ubuntu/ precise/main libpthread-stubs0-dev amd64 0.3-3 [2866 B] Get:141 http://ftpmaster.internal/ubuntu/ precise-security/main libxcb1-dev amd64 1.8.1-1ubuntu0.2 [82.5 kB] Get:142 http://ftpmaster.internal/ubuntu/ precise-security/main libx11-dev amd64 2:1.4.99.1-0ubuntu2.3 [910 kB] Get:143 http://ftpmaster.internal/ubuntu/ precise/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:144 http://ftpmaster.internal/ubuntu/ precise-security/main libxrender-dev amd64 1:0.9.6-2ubuntu0.2 [27.7 kB] Get:145 http://ftpmaster.internal/ubuntu/ precise-security/main libpng12-dev amd64 1.2.46-3ubuntu4.2 [207 kB] Get:146 http://ftpmaster.internal/ubuntu/ precise/main libice-dev amd64 2:1.0.7-2build1 [133 kB] Get:147 http://ftpmaster.internal/ubuntu/ precise/main libsm-dev amd64 2:1.2.0-2build1 [89.5 kB] Get:148 http://ftpmaster.internal/ubuntu/ precise-security/main libpixman-1-dev amd64 0.30.2-1ubuntu0.0.0.0.3 [294 kB] Get:149 http://ftpmaster.internal/ubuntu/ precise-security/main libxcb-render0-dev amd64 1.8.1-1ubuntu0.2 [21.0 kB] Get:150 http://ftpmaster.internal/ubuntu/ precise-security/main libxcb-shm0-dev amd64 1.8.1-1ubuntu0.2 [6954 B] Get:151 http://ftpmaster.internal/ubuntu/ precise-updates/main libcairo2-dev amd64 1.10.2-6.1ubuntu3 [587 kB] Get:152 http://ftpmaster.internal/ubuntu/ precise/main libenchant1c2a amd64 1.6.0-7 [79.4 kB] Get:153 http://ftpmaster.internal/ubuntu/ precise/main libenchant-dev amd64 1.6.0-7 [64.7 kB] Get:154 http://ftpmaster.internal/ubuntu/ precise-security/main libgdk-pixbuf2.0-dev amd64 2.26.1-1ubuntu1.5 [51.1 kB] Get:155 http://ftpmaster.internal/ubuntu/ precise/main libxft-dev amd64 2.2.0-3ubuntu2 [55.0 kB] Get:156 http://ftpmaster.internal/ubuntu/ precise-updates/main libpango1.0-dev amd64 1.30.0-0ubuntu3.1 [493 kB] Get:157 http://ftpmaster.internal/ubuntu/ precise-security/main x11proto-xext-dev all 7.3.0-1~precise2 [277 kB] Get:158 http://ftpmaster.internal/ubuntu/ precise-security/main libxext-dev amd64 2:1.3.0-3ubuntu0.2 [156 kB] Get:159 http://ftpmaster.internal/ubuntu/ precise/main x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:160 http://ftpmaster.internal/ubuntu/ precise-security/main libxinerama-dev amd64 2:1.1.1-3ubuntu0.1 [8360 B] Get:161 http://ftpmaster.internal/ubuntu/ precise/main x11proto-fixes-dev all 1:5.0-2ubuntu1 [15.5 kB] Get:162 http://ftpmaster.internal/ubuntu/ precise-security/main libxfixes-dev amd64 1:5.0-4ubuntu4.4 [12.9 kB] Get:163 http://ftpmaster.internal/ubuntu/ precise-security/main libxi-dev amd64 2:1.7.1.901-1ubuntu1~precise3 [205 kB] Get:164 http://ftpmaster.internal/ubuntu/ precise-security/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1~precise2 [33.5 kB] Get:165 http://ftpmaster.internal/ubuntu/ precise-security/main libxrandr-dev amd64 2:1.3.2-2ubuntu0.3 [24.4 kB] Get:166 http://ftpmaster.internal/ubuntu/ precise-security/main libxcursor-dev amd64 1:1.1.12-1ubuntu0.1 [29.8 kB] Get:167 http://ftpmaster.internal/ubuntu/ precise/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:168 http://ftpmaster.internal/ubuntu/ precise/main libxcomposite-dev amd64 1:0.4.3-2build1 [9578 B] Get:169 http://ftpmaster.internal/ubuntu/ precise/main x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:170 http://ftpmaster.internal/ubuntu/ precise/main libxdamage-dev amd64 1:1.1.3-2build1 [5514 B] Get:171 http://ftpmaster.internal/ubuntu/ precise-security/main libxml2-utils amd64 2.7.8.dfsg-5.1ubuntu4.17 [40.2 kB] Get:172 http://ftpmaster.internal/ubuntu/ precise-security/main libgtk2.0-dev amd64 2.24.10-0ubuntu6.3 [3866 kB] Get:173 http://ftpmaster.internal/ubuntu/ precise-security/main libxml2-dev amd64 2.7.8.dfsg-5.1ubuntu4.17 [806 kB] Get:174 http://ftpmaster.internal/ubuntu/ precise-updates/main libglade2-dev amd64 1:2.6.4-1ubuntu1.1 [93.4 kB] Get:175 http://ftpmaster.internal/ubuntu/ precise-updates/universe libgtksourceview2.0-common all 2.10.5-0ubuntu3.1 [924 kB] Get:176 http://ftpmaster.internal/ubuntu/ precise-updates/universe libgtksourceview2.0-0 amd64 2.10.5-0ubuntu3.1 [179 kB] Get:177 http://ftpmaster.internal/ubuntu/ precise-updates/universe libgtksourceview2.0-dev amd64 2.10.5-0ubuntu3.1 [240 kB] Get:178 http://ftpmaster.internal/ubuntu/ precise/main libgtkspell0 amd64 2.0.16-1ubuntu5 [13.3 kB] Get:179 http://ftpmaster.internal/ubuntu/ precise/main libgtkspell-dev amd64 2.0.16-1ubuntu5 [26.7 kB] Get:180 http://ftpmaster.internal/ubuntu/ precise/main libtinfo-dev amd64 5.9-4 [103 kB] Get:181 http://ftpmaster.internal/ubuntu/ precise/main libncurses5-dev amd64 5.9-4 [222 kB] Get:182 http://ftpmaster.internal/ubuntu/ precise/main preview-latex-style all 11.86-2ubuntu1 [108 kB] Get:183 http://ftpmaster.internal/ubuntu/ precise/main texlive-latex-base all 2009-15 [1406 kB] Get:184 http://ftpmaster.internal/ubuntu/ precise/main texlive-pictures all 2009-15 [856 kB] Get:185 http://ftpmaster.internal/ubuntu/ precise/main texlive-latex-extra all 2009-10ubuntu1 [4717 kB] Get:186 http://ftpmaster.internal/ubuntu/ precise/main dh-ocaml all 1.0.3 [89.4 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 127 MB in 6s (19.4 MB/s) Selecting previously unselected package libpopt0. (Reading database ... 12945 files and directories currently installed.) Unpacking libpopt0 (from .../libpopt0_1.16-3ubuntu1_amd64.deb) ... Selecting previously unselected package libpipeline1. Unpacking libpipeline1 (from .../libpipeline1_1.2.1-1_amd64.deb) ... Selecting previously unselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.6-4_amd64.deb) ... Selecting previously unselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.1.0-4_amd64.deb) ... Selecting previously unselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.8.1-1ubuntu0.2_amd64.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.4.99.1-0ubuntu2.3_all.deb) ... Selecting previously unselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.4.99.1-0ubuntu2.3_amd64.deb) ... Selecting previously unselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.3.0-3ubuntu0.2_amd64.deb) ... Selecting previously unselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-5.1ubuntu4.17_amd64.deb) ... Selecting previously unselected package libatk1.0-data. Unpacking libatk1.0-data (from .../libatk1.0-data_2.4.0-0ubuntu1_all.deb) ... Selecting previously unselected package libatk1.0-0. Unpacking libatk1.0-0 (from .../libatk1.0-0_2.4.0-0ubuntu1_amd64.deb) ... Selecting previously unselected package libavahi-common-data. Unpacking libavahi-common-data (from .../libavahi-common-data_0.6.30-5ubuntu2.2_amd64.deb) ... Selecting previously unselected package libavahi-common3. Unpacking libavahi-common3 (from .../libavahi-common3_0.6.30-5ubuntu2.2_amd64.deb) ... Selecting previously unselected package libavahi-client3. Unpacking libavahi-client3 (from .../libavahi-client3_0.6.30-5ubuntu2.2_amd64.deb) ... Selecting previously unselected package libfreetype6. Unpacking libfreetype6 (from .../libfreetype6_2.4.8-1ubuntu2.6_amd64.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu2ubuntu1_all.deb) ... Moving old data out of the way Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2ubuntu1_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-3ubuntu9.2_all.deb) ... Selecting previously unselected package libfontconfig1. Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-3ubuntu9.2_amd64.deb) ... Selecting previously unselected package libpixman-1-0. Unpacking libpixman-1-0 (from .../libpixman-1-0_0.30.2-1ubuntu0.0.0.0.3_amd64.deb) ... Selecting previously unselected package libxcb-render0. Unpacking libxcb-render0 (from .../libxcb-render0_1.8.1-1ubuntu0.2_amd64.deb) ... Selecting previously unselected package libxcb-shm0. Unpacking libxcb-shm0 (from .../libxcb-shm0_1.8.1-1ubuntu0.2_amd64.deb) ... Selecting previously unselected package libxrender1. Unpacking libxrender1 (from .../libxrender1_1%3a0.9.6-2ubuntu0.2_amd64.deb) ... Selecting previously unselected package libcairo2. Unpacking libcairo2 (from .../libcairo2_1.10.2-6.1ubuntu3_amd64.deb) ... Selecting previously unselected package libcairo-gobject2. Unpacking libcairo-gobject2 (from .../libcairo-gobject2_1.10.2-6.1ubuntu3_amd64.deb) ... Selecting previously unselected package libcairo-script-interpreter2. Unpacking libcairo-script-interpreter2 (from .../libcairo-script-interpreter2_1.10.2-6.1ubuntu3_amd64.deb) ... Selecting previously unselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.5-1ubuntu0.1_amd64.deb) ... Selecting previously unselected package libcups2. Unpacking libcups2 (from .../libcups2_1.5.3-0ubuntu8.7_amd64.deb) ... Selecting previously unselected package libjpeg-turbo8. Unpacking libjpeg-turbo8 (from .../libjpeg-turbo8_1.1.90+svn733-0ubuntu4.4_amd64.deb) ... Selecting previously unselected package libjpeg8. Unpacking libjpeg8 (from .../libjpeg8_8c-2ubuntu7_amd64.deb) ... Selecting previously unselected package libtiff4. Unpacking libtiff4 (from .../libtiff4_3.9.5-2ubuntu1.9_amd64.deb) ... Selecting previously unselected package libcupsimage2. Unpacking libcupsimage2 (from .../libcupsimage2_1.5.3-0ubuntu8.7_amd64.deb) ... Selecting previously unselected package libdatrie1. Unpacking libdatrie1 (from .../libdatrie1_0.2.5-3_amd64.deb) ... Selecting previously unselected package libjasper1. Unpacking libjasper1 (from .../libjasper1_1.900.1-13ubuntu0.3_amd64.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.26.1-1ubuntu1.5_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-0. Unpacking libgdk-pixbuf2.0-0 (from .../libgdk-pixbuf2.0-0_2.26.1-1ubuntu1.5_amd64.deb) ... Selecting previously unselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-5_amd64.deb) ... Selecting previously unselected package libgettextpo0. Unpacking libgettextpo0 (from .../libgettextpo0_0.18.1.1-5ubuntu3_amd64.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.10-0ubuntu6.3_all.deb) ... Selecting previously unselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.16-3_all.deb) ... Selecting previously unselected package libthai0. Unpacking libthai0 (from .../libthai0_0.1.16-3_amd64.deb) ... Selecting previously unselected package libxft2. Unpacking libxft2 (from .../libxft2_2.2.0-3ubuntu2_amd64.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.8.0-3ubuntu9.2_amd64.deb) ... Selecting previously unselected package libpango1.0-0. Unpacking libpango1.0-0 (from .../libpango1.0-0_1.30.0-0ubuntu3.1_amd64.deb) ... Selecting previously unselected package libxcomposite1. Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.3-2build1_amd64.deb) ... Selecting previously unselected package libxfixes3. Unpacking libxfixes3 (from .../libxfixes3_1%3a5.0-4ubuntu4.4_amd64.deb) ... Selecting previously unselected package libxcursor1. Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.12-1ubuntu0.1_amd64.deb) ... Selecting previously unselected package libxdamage1. Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.3-2build1_amd64.deb) ... Selecting previously unselected package libxi6. Unpacking libxi6 (from .../libxi6_2%3a1.7.1.901-1ubuntu1~precise3_amd64.deb) ... Selecting previously unselected package libxinerama1. Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1.1-3ubuntu0.1_amd64.deb) ... Selecting previously unselected package libxrandr2. Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.2-2ubuntu0.3_amd64.deb) ... Selecting previously unselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_1.0-0ubuntu4.1_amd64.deb) ... Selecting previously unselected package libgtk2.0-0. Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.24.10-0ubuntu6.3_amd64.deb) ... Selecting previously unselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1ubuntu1.1_amd64.deb) ... Selecting previously unselected package libglib2.0-data. Unpacking libglib2.0-data (from .../libglib2.0-data_2.32.4-0ubuntu1_all.deb) ... Selecting previously unselected package libglib2.0-bin. Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.32.4-0ubuntu1_amd64.deb) ... Selecting previously unselected package libhunspell-1.3-0. Unpacking libhunspell-1.3-0 (from .../libhunspell-1.3-0_1.3.2-4_amd64.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.6+12ubuntu2_all.deb) ... Selecting previously unselected package libice6. Unpacking libice6 (from .../libice6_2%3a1.0.7-2build1_amd64.deb) ... Selecting previously unselected package liblcms2-2. Unpacking liblcms2-2 (from .../liblcms2-2_2.2+git20110628-2ubuntu3.1_amd64.deb) ... Selecting previously unselected package libpcrecpp0. Unpacking libpcrecpp0 (from .../libpcrecpp0_8.12-4ubuntu0.2_amd64.deb) ... Selecting previously unselected package libpoppler19. Unpacking libpoppler19 (from .../libpoppler19_0.18.4-1ubuntu3.2_amd64.deb) ... Selecting previously unselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.2.0-2build1_amd64.deb) ... Selecting previously unselected package libxt6. Unpacking libxt6 (from .../libxt6_1%3a1.1.1-2ubuntu0.1_amd64.deb) ... Selecting previously unselected package libxmu6. Unpacking libxmu6 (from .../libxmu6_2%3a1.1.0-3_amd64.deb) ... Selecting previously unselected package libxpm4. Unpacking libxpm4 (from .../libxpm4_1%3a3.5.9-4ubuntu0.1_amd64.deb) ... Selecting previously unselected package libxaw7. Unpacking libxaw7 (from .../libxaw7_2%3a1.0.9-3ubuntu1_amd64.deb) ... Selecting previously unselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.09-2ubuntu0.6_amd64.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_5.09-2ubuntu0.6_amd64.deb) ... Selecting previously unselected package libtext-iconv-perl. Unpacking libtext-iconv-perl (from .../libtext-iconv-perl_1.7-5_amd64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3ubuntu1_amd64.deb) ... Selecting previously unselected package ed. Unpacking ed (from .../archives/ed_1.5-3_amd64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5ubuntu3_amd64.deb) ... Selecting previously unselected package libgirepository-1.0-1. Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_1.32.0-1_amd64.deb) ... Selecting previously unselected package gir1.2-glib-2.0. Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_1.32.0-1_amd64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-7_amd64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.1-2ubuntu2_amd64.deb) ... Selecting previously unselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1_amd64.deb) ... Selecting previously unselected package dictionaries-common. Unpacking dictionaries-common (from .../dictionaries-common_1.12.1ubuntu2_all.deb) ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Selecting previously unselected package aspell. Unpacking aspell (from .../aspell_0.60.7~20110707-1_amd64.deb) ... Selecting previously unselected package aspell-en. Unpacking aspell-en (from .../aspell-en_6.0-0-6ubuntu2_all.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_amd64.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-5ubuntu3_amd64.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2ubuntu1_all.deb) ... Selecting previously unselected package dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.7.102-0ubuntu3.11_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120115ubuntu3_all.deb) ... Selecting previously unselected package libijs-0.35. Unpacking libijs-0.35 (from .../libijs-0.35_0.35-8_amd64.deb) ... Selecting previously unselected package libjbig2dec0. Unpacking libjbig2dec0 (from .../libjbig2dec0_0.11-1ubuntu1_amd64.deb) ... Selecting previously unselected package libpaper1. Unpacking libpaper1 (from .../libpaper1_1.1.24+nmu1build1_amd64.deb) ... Selecting previously unselected package gs-cjk-resource. Unpacking gs-cjk-resource (from .../gs-cjk-resource_1.20100103-3_all.deb) ... Selecting previously unselected package libgs9-common. Unpacking libgs9-common (from .../libgs9-common_9.05~dfsg-0ubuntu4.5_all.deb) ... Selecting previously unselected package libgs9. Unpacking libgs9 (from .../libgs9_9.05~dfsg-0ubuntu4.5_amd64.deb) ... Selecting previously unselected package gsfonts. Unpacking gsfonts (from .../gsfonts_1%3a8.11+urwcyr1.0.7~pre44-4.2ubuntu1_all.deb) ... Selecting previously unselected package ghostscript. Unpacking ghostscript (from .../ghostscript_9.05~dfsg-0ubuntu4.5_amd64.deb) ... Selecting previously unselected package gir1.2-atk-1.0. Unpacking gir1.2-atk-1.0 (from .../gir1.2-atk-1.0_2.4.0-0ubuntu1_amd64.deb) ... Selecting previously unselected package gir1.2-freedesktop. Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_1.32.0-1_amd64.deb) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0. Unpacking gir1.2-gdkpixbuf-2.0 (from .../gir1.2-gdkpixbuf-2.0_2.26.1-1ubuntu1.5_amd64.deb) ... Selecting previously unselected package gir1.2-pango-1.0. Unpacking gir1.2-pango-1.0 (from .../gir1.2-pango-1.0_1.30.0-0ubuntu3.1_amd64.deb) ... Selecting previously unselected package gir1.2-gtk-2.0. Unpacking gir1.2-gtk-2.0 (from .../gir1.2-gtk-2.0_2.24.10-0ubuntu6.3_amd64.deb) ... Selecting previously unselected package libnetpbm10. Unpacking libnetpbm10 (from .../libnetpbm10_2%3a10.0-15_amd64.deb) ... Selecting previously unselected package netpbm. Unpacking netpbm (from .../netpbm_2%3a10.0-15_amd64.deb) ... Selecting previously unselected package tex-common. Unpacking tex-common (from .../tex-common_2.10_all.deb) ... Selecting previously unselected package texlive-common. Unpacking texlive-common (from .../texlive-common_2009-15_all.deb) ... Selecting previously unselected package texlive-doc-base. Unpacking texlive-doc-base (from .../texlive-doc-base_2009-2_all.deb) ... Selecting previously unselected package libpaper-utils. Unpacking libpaper-utils (from .../libpaper-utils_1.1.24+nmu1build1_amd64.deb) ... Selecting previously unselected package luatex. Unpacking luatex (from .../luatex_0.70.1-1ubuntu1_amd64.deb) ... Selecting previously unselected package libkpathsea5. Unpacking libkpathsea5 (from .../libkpathsea5_2009-11ubuntu2_amd64.deb) ... Selecting previously unselected package texlive-binaries. Unpacking texlive-binaries (from .../texlive-binaries_2009-11ubuntu2_amd64.deb) ... Selecting previously unselected package texlive-base. Unpacking texlive-base (from .../texlive-base_2009-15_all.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package hevea. Unpacking hevea (from .../hevea_2.28-1~ubuntu12.04.1~ppa1_all.deb) ... Selecting previously unselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.26-1ubuntu1_amd64.deb) ... Selecting previously unselected package libpcre3-dev. Unpacking libpcre3-dev (from .../libpcre3-dev_8.12-4ubuntu0.2_amd64.deb) ... Selecting previously unselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3ubuntu4_amd64.deb) ... Selecting previously unselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.32.4-0ubuntu1_amd64.deb) ... Selecting previously unselected package libatk1.0-dev. Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.4.0-0ubuntu1_amd64.deb) ... Selecting previously unselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.0.1-7.2ubuntu1.4_amd64.deb) ... Selecting previously unselected package libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.8-1ubuntu2.6_amd64.deb) ... Selecting previously unselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.8.0-3ubuntu9.2_amd64.deb) ... Selecting previously unselected package xorg-sgml-doctools. Unpacking xorg-sgml-doctools (from .../xorg-sgml-doctools_1%3a1.10-1_all.deb) ... Selecting previously unselected package x11proto-core-dev. Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.22-1ubuntu0.2_all.deb) ... Selecting previously unselected package libxau-dev. Unpacking libxau-dev (from .../libxau-dev_1%3a1.0.6-4_amd64.deb) ... Selecting previously unselected package libxdmcp-dev. Unpacking libxdmcp-dev (from .../libxdmcp-dev_1%3a1.1.0-4_amd64.deb) ... Selecting previously unselected package x11proto-input-dev. Unpacking x11proto-input-dev (from .../x11proto-input-dev_2.3-1~precise2_all.deb) ... Selecting previously unselected package x11proto-kb-dev. Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.5-2_all.deb) ... Selecting previously unselected package xtrans-dev. Unpacking xtrans-dev (from .../xtrans-dev_1.2.6-2_all.deb) ... Selecting previously unselected package libpthread-stubs0. Unpacking libpthread-stubs0 (from .../libpthread-stubs0_0.3-3_amd64.deb) ... Selecting previously unselected package libpthread-stubs0-dev. Unpacking libpthread-stubs0-dev (from .../libpthread-stubs0-dev_0.3-3_amd64.deb) ... Selecting previously unselected package libxcb1-dev. Unpacking libxcb1-dev (from .../libxcb1-dev_1.8.1-1ubuntu0.2_amd64.deb) ... Selecting previously unselected package libx11-dev. Unpacking libx11-dev (from .../libx11-dev_2%3a1.4.99.1-0ubuntu2.3_amd64.deb) ... Selecting previously unselected package x11proto-render-dev. Unpacking x11proto-render-dev (from .../x11proto-render-dev_2%3a0.11.1-2_all.deb) ... Selecting previously unselected package libxrender-dev. Unpacking libxrender-dev (from .../libxrender-dev_1%3a0.9.6-2ubuntu0.2_amd64.deb) ... Selecting previously unselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.46-3ubuntu4.2_amd64.deb) ... Selecting previously unselected package libice-dev. Unpacking libice-dev (from .../libice-dev_2%3a1.0.7-2build1_amd64.deb) ... Selecting previously unselected package libsm-dev. Unpacking libsm-dev (from .../libsm-dev_2%3a1.2.0-2build1_amd64.deb) ... Selecting previously unselected package libpixman-1-dev. Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.30.2-1ubuntu0.0.0.0.3_amd64.deb) ... Selecting previously unselected package libxcb-render0-dev. Unpacking libxcb-render0-dev (from .../libxcb-render0-dev_1.8.1-1ubuntu0.2_amd64.deb) ... Selecting previously unselected package libxcb-shm0-dev. Unpacking libxcb-shm0-dev (from .../libxcb-shm0-dev_1.8.1-1ubuntu0.2_amd64.deb) ... Selecting previously unselected package libcairo2-dev. Unpacking libcairo2-dev (from .../libcairo2-dev_1.10.2-6.1ubuntu3_amd64.deb) ... Selecting previously unselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7_amd64.deb) ... Selecting previously unselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-7_amd64.deb) ... Selecting previously unselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.6.2-1~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.26.1-1ubuntu1.5_amd64.deb) ... Selecting previously unselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.2.0-3ubuntu2_amd64.deb) ... Selecting previously unselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.30.0-0ubuntu3.1_amd64.deb) ... Selecting previously unselected package x11proto-xext-dev. Unpacking x11proto-xext-dev (from .../x11proto-xext-dev_7.3.0-1~precise2_all.deb) ... Selecting previously unselected package libxext-dev. Unpacking libxext-dev (from .../libxext-dev_2%3a1.3.0-3ubuntu0.2_amd64.deb) ... Selecting previously unselected package x11proto-xinerama-dev. Unpacking x11proto-xinerama-dev (from .../x11proto-xinerama-dev_1.2.1-2_all.deb) ... Selecting previously unselected package libxinerama-dev. Unpacking libxinerama-dev (from .../libxinerama-dev_2%3a1.1.1-3ubuntu0.1_amd64.deb) ... Selecting previously unselected package x11proto-fixes-dev. Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a5.0-2ubuntu1_all.deb) ... Selecting previously unselected package libxfixes-dev. Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a5.0-4ubuntu4.4_amd64.deb) ... Selecting previously unselected package libxi-dev. Unpacking libxi-dev (from .../libxi-dev_2%3a1.7.1.901-1ubuntu1~precise3_amd64.deb) ... Selecting previously unselected package x11proto-randr-dev. Unpacking x11proto-randr-dev (from .../x11proto-randr-dev_1.4.0+git20120101.is.really.1.4.0-0ubuntu1~precise2_all.deb) ... Selecting previously unselected package libxrandr-dev. Unpacking libxrandr-dev (from .../libxrandr-dev_2%3a1.3.2-2ubuntu0.3_amd64.deb) ... Selecting previously unselected package libxcursor-dev. Unpacking libxcursor-dev (from .../libxcursor-dev_1%3a1.1.12-1ubuntu0.1_amd64.deb) ... Selecting previously unselected package x11proto-composite-dev. Unpacking x11proto-composite-dev (from .../x11proto-composite-dev_1%3a0.4.2-2_all.deb) ... Selecting previously unselected package libxcomposite-dev. Unpacking libxcomposite-dev (from .../libxcomposite-dev_1%3a0.4.3-2build1_amd64.deb) ... Selecting previously unselected package x11proto-damage-dev. Unpacking x11proto-damage-dev (from .../x11proto-damage-dev_1%3a1.2.1-2_all.deb) ... Selecting previously unselected package libxdamage-dev. Unpacking libxdamage-dev (from .../libxdamage-dev_1%3a1.1.3-2build1_amd64.deb) ... Selecting previously unselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.7.8.dfsg-5.1ubuntu4.17_amd64.deb) ... Selecting previously unselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.10-0ubuntu6.3_amd64.deb) ... Selecting previously unselected package libxml2-dev. Unpacking libxml2-dev (from .../libxml2-dev_2.7.8.dfsg-5.1ubuntu4.17_amd64.deb) ... Selecting previously unselected package libglade2-dev. Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1ubuntu1.1_amd64.deb) ... Selecting previously unselected package libgtksourceview2.0-common. Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.5-0ubuntu3.1_all.deb) ... Selecting previously unselected package libgtksourceview2.0-0. Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.5-0ubuntu3.1_amd64.deb) ... Selecting previously unselected package libgtksourceview2.0-dev. Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.5-0ubuntu3.1_amd64.deb) ... Selecting previously unselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1ubuntu5_amd64.deb) ... Selecting previously unselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1ubuntu5_amd64.deb) ... Selecting previously unselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package libtinfo-dev. Unpacking libtinfo-dev (from .../libtinfo-dev_5.9-4_amd64.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-4_amd64.deb) ... Selecting previously unselected package ocaml-compiler-libs. Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.6.2-1~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package ocaml-native-compilers. Unpacking ocaml-native-compilers (from .../ocaml-native-compilers_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package preview-latex-style. Unpacking preview-latex-style (from .../preview-latex-style_11.86-2ubuntu1_all.deb) ... Selecting previously unselected package texlive-latex-base. Unpacking texlive-latex-base (from .../texlive-latex-base_2009-15_all.deb) ... Selecting previously unselected package texlive-pictures. Unpacking texlive-pictures (from .../texlive-pictures_2009-15_all.deb) ... Selecting previously unselected package texlive-latex-extra. Unpacking texlive-latex-extra (from .../texlive-latex-extra_2009-10ubuntu1_all.deb) ... Selecting previously unselected package camlp5. Unpacking camlp5 (from .../camlp5_6.16-1~ubuntu12.04.1~ppa1_amd64.deb) ... Selecting previously unselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_1.0.3_all.deb) ... Processing triggers for libglib2.0-0 ... No schema files found: doing nothing. Setting up libpopt0 (1.16-3ubuntu1) ... Setting up libpipeline1 (1.2.1-1) ... Setting up libxau6 (1:1.0.6-4) ... Setting up libxdmcp6 (1:1.1.0-4) ... Setting up libxcb1 (1.8.1-1ubuntu0.2) ... Setting up libx11-data (2:1.4.99.1-0ubuntu2.3) ... Setting up libx11-6 (2:1.4.99.1-0ubuntu2.3) ... Setting up libxext6 (2:1.3.0-3ubuntu0.2) ... Setting up libxml2 (2.7.8.dfsg-5.1ubuntu4.17) ... Setting up libatk1.0-data (2.4.0-0ubuntu1) ... Setting up libatk1.0-0 (2.4.0-0ubuntu1) ... Setting up libavahi-common-data (0.6.30-5ubuntu2.2) ... Setting up libavahi-common3 (0.6.30-5ubuntu2.2) ... Setting up libavahi-client3 (0.6.30-5ubuntu2.2) ... Setting up libfreetype6 (2.4.8-1ubuntu2.6) ... Setting up ucf (3.0025+nmu2ubuntu1) ... 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 ttf-dejavu-core (2.33-2ubuntu1) ... Setting up fontconfig-config (2.8.0-3ubuntu9.2) ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Setting up libfontconfig1 (2.8.0-3ubuntu9.2) ... Setting up libpixman-1-0 (0.30.2-1ubuntu0.0.0.0.3) ... Setting up libxcb-render0 (1.8.1-1ubuntu0.2) ... Setting up libxcb-shm0 (1.8.1-1ubuntu0.2) ... Setting up libxrender1 (1:0.9.6-2ubuntu0.2) ... Setting up libcairo2 (1.10.2-6.1ubuntu3) ... Setting up libcairo-gobject2 (1.10.2-6.1ubuntu3) ... Setting up libcairo-script-interpreter2 (1.10.2-6.1ubuntu3) ... Setting up libcroco3 (0.6.5-1ubuntu0.1) ... Setting up libcups2 (1.5.3-0ubuntu8.7) ... Setting up libjpeg-turbo8 (1.1.90+svn733-0ubuntu4.4) ... Setting up libjpeg8 (8c-2ubuntu7) ... Setting up libtiff4 (3.9.5-2ubuntu1.9) ... Setting up libcupsimage2 (1.5.3-0ubuntu8.7) ... Setting up libdatrie1 (0.2.5-3) ... Setting up libjasper1 (1.900.1-13ubuntu0.3) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1ubuntu1.5) ... Setting up libgdk-pixbuf2.0-0 (2.26.1-1ubuntu1.5) ... Setting up libunistring0 (0.9.3-5) ... Setting up libgettextpo0 (0.18.1.1-5ubuntu3) ... Setting up libgtk2.0-common (2.24.10-0ubuntu6.3) ... Setting up libthai-data (0.1.16-3) ... Setting up libthai0 (0.1.16-3) ... Setting up libxft2 (2.2.0-3ubuntu2) ... Setting up fontconfig (2.8.0-3ubuntu9.2) ... Cleaning up old fontconfig caches... done. Regenerating fonts cache... done. Setting up libpango1.0-0 (1.30.0-0ubuntu3.1) ... Setting up libxcomposite1 (1:0.4.3-2build1) ... Setting up libxfixes3 (1:5.0-4ubuntu4.4) ... Setting up libxcursor1 (1:1.1.12-1ubuntu0.1) ... Setting up libxdamage1 (1:1.1.3-2build1) ... Setting up libxi6 (2:1.7.1.901-1ubuntu1~precise3) ... Setting up libxinerama1 (2:1.1.1-3ubuntu0.1) ... Setting up libxrandr2 (2:1.3.2-2ubuntu0.3) ... Setting up shared-mime-info (1.0-0ubuntu4.1) ... Setting up libgtk2.0-0 (2.24.10-0ubuntu6.3) ... Setting up libglade2-0 (1:2.6.4-1ubuntu1.1) ... Setting up libglib2.0-data (2.32.4-0ubuntu1) ... Setting up libglib2.0-bin (2.32.4-0ubuntu1) ... Setting up libhunspell-1.3-0 (1.3.2-4) ... Setting up x11-common (1:7.6+12ubuntu2) ... 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 (2:1.0.7-2build1) ... Setting up liblcms2-2 (2.2+git20110628-2ubuntu3.1) ... Setting up libpcrecpp0 (8.12-4ubuntu0.2) ... Setting up libpoppler19 (0.18.4-1ubuntu3.2) ... Setting up libsm6 (2:1.2.0-2build1) ... Setting up libxt6 (1:1.1.1-2ubuntu0.1) ... Setting up libxmu6 (2:1.1.0-3) ... Setting up libxpm4 (1:3.5.9-4ubuntu0.1) ... Setting up libxaw7 (2:1.0.9-3ubuntu1) ... Setting up libmagic1 (5.09-2ubuntu0.6) ... Setting up file (5.09-2ubuntu0.6) ... Setting up libtext-iconv-perl (1.7-5) ... Setting up bsdmainutils (8.2.3ubuntu1) ... 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 ed (1.5-3) ... Setting up gettext-base (0.18.1.1-5ubuntu3) ... Setting up libgirepository-1.0-1 (1.32.0-1) ... Setting up gir1.2-glib-2.0 (1.32.0-1) ... Setting up groff-base (1.21-7) ... Setting up man-db (2.6.1-2ubuntu2) ... 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 Building database of manual pages ... Setting up libaspell15 (0.60.7~20110707-1) ... Setting up dictionaries-common (1.12.1ubuntu2) ... 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 html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5ubuntu3) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.7.102-0ubuntu3.11) ... Setting up debhelper (9.20120115ubuntu3) ... Setting up libijs-0.35 (0.35-8) ... Setting up libjbig2dec0 (0.11-1ubuntu1) ... Setting up libpaper1 (1.1.24+nmu1build1) ... 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 libgs9-common (9.05~dfsg-0ubuntu4.5) ... update-alternatives: using /usr/share/ghostscript/9.05 to provide /usr/share/ghostscript/current (ghostscript-current) in auto mode. Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1) ... Setting up gir1.2-atk-1.0 (2.4.0-0ubuntu1) ... Setting up gir1.2-freedesktop (1.32.0-1) ... Setting up gir1.2-gdkpixbuf-2.0 (2.26.1-1ubuntu1.5) ... Setting up gir1.2-pango-1.0 (1.30.0-0ubuntu3.1) ... Setting up gir1.2-gtk-2.0 (2.24.10-0ubuntu6.3) ... Setting up libnetpbm10 (2:10.0-15) ... Setting up netpbm (2:10.0-15) ... Setting up tex-common (2.10) ... 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/texmf/texmf.d/05TeXMF.cnf with new version Creating config file /etc/texmf/texmf.d/15Plain.cnf with new version Creating config file /etc/texmf/texmf.d/45TeXinputs.cnf with new version Creating config file /etc/texmf/texmf.d/55Fonts.cnf with new version Creating config file /etc/texmf/texmf.d/65BibTeX.cnf with new version Creating config file /etc/texmf/texmf.d/75DviPS.cnf with new version Creating config file /etc/texmf/texmf.d/80DVIPDFMx.cnf with new version Creating config file /etc/texmf/texmf.d/85Misc.cnf with new version Creating config file /etc/texmf/texmf.d/90TeXDoc.cnf with new version Creating config file /etc/texmf/texmf.d/95NonPath.cnf with new version Creating config file /etc/texmf/updmap.d/00updmap.cfg with new version Creating config file /etc/texmf/texmf.cnf with new version 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 texlive-common (2009-15) ... Setting up texlive-doc-base (2009-2) ... Setting up libpaper-utils (1.1.24+nmu1build1) ... Setting up luatex (0.70.1-1ubuntu1) ... texlive-base is not ready, cannot create formats Setting up libkpathsea5 (2009-11ubuntu2) ... Setting up texlive-binaries (2009-11ubuntu2) ... 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. 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 Building format(s) --refresh. This may take some time... done. Setting up ocaml-base-nox (4.02.3-6ubuntu2~ubuntu12.04.1~ppa1) ... Setting up pkg-config (0.26-1ubuntu1) ... Setting up libpcre3-dev (8.12-4ubuntu0.2) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3ubuntu4) ... Setting up libglib2.0-dev (2.32.4-0ubuntu1) ... Setting up libatk1.0-dev (2.4.0-0ubuntu1) ... Setting up libexpat1-dev (2.0.1-7.2ubuntu1.4) ... Setting up libfreetype6-dev (2.4.8-1ubuntu2.6) ... Setting up libfontconfig1-dev (2.8.0-3ubuntu9.2) ... Setting up xorg-sgml-doctools (1:1.10-1) ... Setting up x11proto-core-dev (7.0.22-1ubuntu0.2) ... Setting up libxau-dev (1:1.0.6-4) ... Setting up libxdmcp-dev (1:1.1.0-4) ... Setting up x11proto-input-dev (2.3-1~precise2) ... Setting up x11proto-kb-dev (1.0.5-2) ... Setting up xtrans-dev (1.2.6-2) ... Setting up libpthread-stubs0 (0.3-3) ... Setting up libpthread-stubs0-dev (0.3-3) ... Setting up libxcb1-dev (1.8.1-1ubuntu0.2) ... Setting up libx11-dev (2:1.4.99.1-0ubuntu2.3) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev (1:0.9.6-2ubuntu0.2) ... Setting up libpng12-dev (1.2.46-3ubuntu4.2) ... Setting up libice-dev (2:1.0.7-2build1) ... Setting up libsm-dev (2:1.2.0-2build1) ... Setting up libpixman-1-dev (0.30.2-1ubuntu0.0.0.0.3) ... Setting up libxcb-render0-dev (1.8.1-1ubuntu0.2) ... Setting up libxcb-shm0-dev (1.8.1-1ubuntu0.2) ... Setting up libcairo2-dev (1.10.2-6.1ubuntu3) ... Setting up libfindlib-ocaml (1.6.2-1~ubuntu12.04.1~ppa1) ... Setting up libgdk-pixbuf2.0-dev (2.26.1-1ubuntu1.5) ... Setting up libxft-dev (2.2.0-3ubuntu2) ... Setting up libpango1.0-dev (1.30.0-0ubuntu3.1) ... Setting up x11proto-xext-dev (7.3.0-1~precise2) ... Setting up libxext-dev (2:1.3.0-3ubuntu0.2) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev (2:1.1.1-3ubuntu0.1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu1) ... Setting up libxfixes-dev (1:5.0-4ubuntu4.4) ... Setting up libxi-dev (2:1.7.1.901-1ubuntu1~precise3) ... Setting up x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1~precise2) ... Setting up libxrandr-dev (2:1.3.2-2ubuntu0.3) ... Setting up libxcursor-dev (1:1.1.12-1ubuntu0.1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.3-2build1) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev (1:1.1.3-2build1) ... Setting up libxml2-utils (2.7.8.dfsg-5.1ubuntu4.17) ... Setting up libgtk2.0-dev (2.24.10-0ubuntu6.3) ... Setting up libxml2-dev (2.7.8.dfsg-5.1ubuntu4.17) ... Setting up libglade2-dev (1:2.6.4-1ubuntu1.1) ... Setting up libgtksourceview2.0-common (2.10.5-0ubuntu3.1) ... Setting up libgtksourceview2.0-0 (2.10.5-0ubuntu3.1) ... Setting up libgtksourceview2.0-dev (2.10.5-0ubuntu3.1) ... Setting up libtinfo-dev (5.9-4) ... Setting up libncurses5-dev (5.9-4) ... Setting up ocaml-findlib (1.6.2-1~ubuntu12.04.1~ppa1) ... Setting up preview-latex-style (11.86-2ubuntu1) ... Setting up dh-ocaml (1.0.3) ... Processing triggers for dictionaries-common ... 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_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_US-w_accents-only] aspell-autobuildhash: processing: en [en_US-wo_accents-only] Setting up aspell (0.60.7~20110707-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 ... 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 (6.0-0-6ubuntu2) ... 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 ... 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 (1.6.0-7) ... Setting up libenchant-dev (1.6.0-7) ... Setting up libgtkspell0 (2.0.16-1ubuntu5) ... Setting up libgtkspell-dev (2.0.16-1ubuntu5) ... Setting up liblablgtk2-ocaml (2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1) ... Processing triggers for tex-common ... 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-base (2009-15) ... 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/texmf/dvips/config/config.ps with new version 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/texmf/tex/generic/config/pdftexconfig.tex with new version 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/texmf/dvipdfmx/dvipdfmx.cfg with new version 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/texmf/xdvi/XDvi with new version 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 --cnffile /etc/texmf/fmt.d/10texlive-base.cnf. This may take some time... done. Processing triggers for tex-common ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building e-tex based formats --byhyphen /var/lib/texmf/tex/generic/config/language.def. This may take some time... done. Setting up texlive-latex-base (2009-15) ... 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 (2009-15) ... Processing triggers for tex-common ... locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory Running mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-latex-extra (2009-10ubuntu1) ... Processing triggers for tex-common ... 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 ghostscript (9.05~dfsg-0ubuntu4.5) ... Setting up gs-cjk-resource (1.20100103-3) ... Setting up libgs9 (9.05~dfsg-0ubuntu4.5) ... Setting up hevea (2.28-1~ubuntu12.04.1~ppa1) ... Setting up ocaml-compiler-libs (4.02.3-6ubuntu2~ubuntu12.04.1~ppa1) ... Setting up ocaml-interp (4.02.3-6ubuntu2~ubuntu12.04.1~ppa1) ... Setting up ocaml-nox (4.02.3-6ubuntu2~ubuntu12.04.1~ppa1) ... Setting up liblablgtk2-ocaml-dev (2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1) ... Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1) ... Setting up ocaml-native-compilers (4.02.3-6ubuntu2~ubuntu12.04.1~ppa1) ... Setting up camlp5 (6.16-1~ubuntu12.04.1~ppa1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for tex-common ... 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. 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: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Wformat-security dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): -D_FORTIFY_SOURCE=2 dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Wformat-security dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): -Wl,-Bsymbolic-functions -Wl,-z,relro 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~201802161517+18738-0~daily305~ubuntu12.04.1 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 --with ocaml 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"). 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 rm -f bin/coqdep bin/coq_makefile bin/gallina bin/coq-tex bin/coqwc bin/coqdoc bin/coqc bin/coqworkmgr bin/fake_ide bin/ocamllibdep bin/coqdep_boot plugins/micromega/csdpcert find . -name '*.cmx' -o -name '*.cmx[as]' -o -name '*.[soa]' -o -name '*.so' | xargs rm -f find theories plugins test-suite \( -name '*.vo' -o -name '*.glob' -o -name "*.cmxs" -o -name "*.native" -o -name "*.cmx" -o -name "*.cmi" -o -name "*.o" \) -delete find theories plugins test-suite -name .coq-native -empty -delete rm -rf _build rm -f test-suite/misc/universes/all_stdlib.* rm -f ide/xml_lexer.ml ide/config_lexer.ml ide/utf8_convert.ml ide/coq_lex.ml tools/ocamllibdep.ml tools/gallina_lexer.ml tools/coqdep_lexer.ml tools/coqdoc/cpretty.ml tools/coqwc.ml kernel/copcodes.ml kernel/byterun/coq_jumptbl.h rm -f bin/coqtop.byte find . \( -name '*~' -o -name '*.cm[ioat]' -o -name '*.cmti' \) -delete rm -f */*.pp[iox] plugins/*/*.pp[iox] rm -rf rm -f toplevel/mltop.byteml toplevel/mltop.optml rm -f test-suite/check.log rm -f glob.dump rm -f config/revision.ml revision rm -f plugins/micromega/.micromega.ml.generated make -C test-suite clean make[2]: Entering directory `/home/buildd/work/tree/recipe/test-suite' 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_vernac.ml parsing/cLexer.ml parsing/g_prim.ml parsing/g_proofs.ml parsing/g_constr.ml plugins/setoid_ring/g_newring.ml plugins/ssr/ssrparser.ml plugins/ssr/ssrvernac.ml plugins/nsatz/g_nsatz.ml plugins/extraction/g_extraction.ml plugins/romega/g_romega.ml plugins/derive/g_derive.ml plugins/ltac/g_rewrite.ml plugins/ltac/g_ltac.ml plugins/ltac/g_obligations.ml plugins/ltac/g_eqdecide.ml plugins/ltac/coretactics.ml plugins/ltac/extraargs.ml plugins/ltac/extratactics.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/g_class.ml plugins/ltac/g_tactic.ml plugins/ltac/g_auto.ml plugins/micromega/g_micromega.ml plugins/ssrmatching/ssrmatching.ml plugins/fourier/g_fourier.ml plugins/quote/g_quote.ml plugins/firstorder/g_ground.ml plugins/rtauto/g_rtauto.ml plugins/omega/g_omega.ml plugins/funind/g_indfun.ml plugins/btauto/g_btauto.ml plugins/cc/g_congruence.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 -rf doc/refman/html doc/stdlib/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: 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~201802161517+18738-0~daily305~ubuntu12.04.1.tar.gz dpkg-source: info: building coq in coq_8.master~git~201802161517+18738-0~daily305~ubuntu12.04.1.dsc dpkg-genchanges -S -sa >../coq_8.master~git~201802161517+18738-0~daily305~ubuntu12.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~201802161517+18738-0~daily305~ubuntu12.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=precise --arch=amd64 RECIPEBRANCHBUILD-1533172 Scanning for processes to kill in build RECIPEBRANCHBUILD-1533172 RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=precise --arch=amd64 RECIPEBRANCHBUILD-1533172 Stopping target for build RECIPEBRANCHBUILD-1533172 RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=precise --arch=amd64 RECIPEBRANCHBUILD-1533172 Removing build RECIPEBRANCHBUILD-1533172