RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux toyol 3.2.0-54-generic #82-Ubuntu SMP Tue Sep 10 20:08:42 UTC 2013 x86_64 Buildd toolchain package versions: launchpad-buildd_121~0.IS.08.04.0 python-lpbuildd_121~0.IS.08.04.0 bzr_2.5.1-0ubuntu2 dpkg-dev_1.16.1.2ubuntu7.2. Syncing the system clock with the buildd NTP service... 3 Feb 12:10:05 ntpdate[348]: adjust time server 10.211.37.1 offset -0.000019 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5519708', '/home/buildd/filecache-default/85437d411726979c3d865ddb70b8896a411f3906'] Unpacking chroot for build PACKAGEBUILD-5519708 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5519708'] Mounting chroot for build PACKAGEBUILD-5519708 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5519708', 'deb http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu trusty main', 'deb http://ppa.launchpad.net/ubuntu-toolchain-r/python3/ubuntu trusty main', 'deb http://ftpmaster.internal/ubuntu trusty main universe'] Overriding sources.list in build-PACKAGEBUILD-5519708 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5519708', 'i386'] Updating debian chroot for build PACKAGEBUILD-5519708 Ign http://ppa.launchpad.net trusty InRelease Ign http://ftpmaster.internal trusty InRelease Ign http://archive-team.internal trusty InRelease Ign http://ppa.launchpad.net trusty InRelease Get:1 http://ftpmaster.internal trusty Release.gpg [933 B] Get:2 http://ppa.launchpad.net trusty Release.gpg [316 B] Ign http://archive-team.internal trusty Release.gpg Get:3 http://ftpmaster.internal trusty Release [58.5 kB] Get:4 http://ppa.launchpad.net trusty Release.gpg [316 B] Get:5 http://archive-team.internal trusty Release [723 B] Get:6 http://ppa.launchpad.net trusty Release [14.0 kB] Get:7 http://ppa.launchpad.net trusty Release [14.0 kB] Ign http://ppa.launchpad.net trusty Release Get:8 http://ppa.launchpad.net trusty/main i386 Packages [21.6 kB] Get:9 http://ftpmaster.internal trusty/main i386 Packages [1319 kB] Ign http://ppa.launchpad.net trusty Release Ign http://ppa.launchpad.net trusty/main Translation-en Get:10 http://archive-team.internal trusty/main i386 Packages Get:11 http://ppa.launchpad.net trusty/main i386 Packages [5123 B] Ign http://archive-team.internal trusty/main Translation-en Ign http://ppa.launchpad.net trusty/main Translation-en Get:12 http://ftpmaster.internal trusty/universe i386 Packages [5876 kB] Get:13 http://ftpmaster.internal trusty/main Translation-en [750 kB] Get:14 http://ftpmaster.internal trusty/universe Translation-en [4048 kB] Fetched 12.1 MB in 6s (1858 kB/s) Reading package lists... W: GPG error: http://ppa.launchpad.net trusty Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 1E9377A2BA9EF27F W: GPG error: http://ppa.launchpad.net trusty Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 1E9377A2BA9EF27F Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libprocps1 Use 'apt-get autoremove' to remove it. The following NEW packages will be installed: gcc-4.9-base libdebconfclient0 libprocps3 The following packages will be upgraded: apt apt-transport-https base-files base-passwd binutils bsdutils cpp cpp-4.8 dpkg dpkg-dev e2fslibs e2fsprogs findutils g++ g++-4.8 gcc gcc-4.8 gcc-4.8-base gnupg gpgv grep gzip ifupdown libapt-pkg4.12 libasan0 libatomic1 libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcomerr2 libcurl3-gnutls libdbus-1-3 libdpkg-perl libdrm2 libffi6 libgcc-4.8-dev libgcc1 libgmp10 libgomp1 libitm1 libmount1 libncurses5 libncursesw5 libpam-modules libpam-modules-bin libpam-runtime libpam0g libquadmath0 libselinux1 libsqlite3-0 libss2 libstdc++-4.8-dev libstdc++6 libtinfo5 libudev1 libuuid1 linux-libc-dev login mount multiarch-support ncurses-base ncurses-bin passwd perl perl-base perl-modules pkgbinarymangler procps udev upstart util-linux 73 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 46.0 MB of archives. After this operation, 1898 kB disk space will be freed. WARNING: The following packages cannot be authenticated! gcc-4.9-base libgcc1 libstdc++6 libitm1 libgomp1 libatomic1 libquadmath0 Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main base-files i386 7.2ubuntu1 [45.1 kB] Get:2 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu/ trusty/main gcc-4.9-base i386 4.9-20140125-0ubuntu1 [14.7 kB] Get:3 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu/ trusty/main libgcc1 i386 1:4.9-20140125-0ubuntu1 [47.1 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main dpkg i386 1.17.5ubuntu2 [1944 kB] Get:5 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu/ trusty/main libstdc++6 i386 4.9-20140125-0ubuntu1 [276 kB] Get:6 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu/ trusty/main libitm1 i386 4.9-20140125-0ubuntu1 [31.6 kB] Get:7 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu/ trusty/main libgomp1 i386 4.9-20140125-0ubuntu1 [39.5 kB] Get:8 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu/ trusty/main libatomic1 i386 4.9-20140125-0ubuntu1 [10.1 kB] Get:9 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu/ trusty/main libquadmath0 i386 4.9-20140125-0ubuntu1 [193 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libc-bin i386 2.18-0ubuntu6 [1100 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-1-3 i386 1.6.18-0ubuntu3 [131 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libselinux1 i386 2.2.2-1 [56.6 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libpam0g i386 1.1.8-1ubuntu2 [55.1 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main libpam-modules-bin i386 1.1.8-1ubuntu2 [30.8 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libpam-modules i386 1.1.8-1ubuntu2 [232 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main passwd i386 1:4.1.5.1-1ubuntu8 [746 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main libuuid1 i386 2.20.1-5.1ubuntu14 [11.5 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libblkid1 i386 2.20.1-5.1ubuntu14 [67.4 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main util-linux i386 2.20.1-5.1ubuntu14 [450 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main libprocps3 i386 1:3.3.9-1ubuntu2 [30.0 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libncursesw5 i386 5.9+20131221-1ubuntu1 [122 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo5 i386 5.9+20131221-1ubuntu1 [70.9 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5 i386 5.9+20131221-1ubuntu1 [93.7 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main procps i386 1:3.3.9-1ubuntu2 [203 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main udev i386 204-5ubuntu10 [736 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main libudev1 i386 204-5ubuntu10 [36.2 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main ifupdown i386 0.7.47.2ubuntu1 [51.3 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main upstart i386 1.11-0ubuntu2 [364 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main libc6-dev i386 2.18-0ubuntu6 [2552 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main libc-dev-bin i386 2.18-0ubuntu6 [63.4 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main linux-libc-dev i386 3.13.0-6.23 [761 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libc6 i386 2.18-0ubuntu6 [4017 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main e2fslibs i386 1.42.9-2ubuntu1 [192 kB] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main e2fsprogs i386 1.42.9-2ubuntu1 [665 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main findutils i386 4.4.2-7 [237 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main grep i386 2.16-1 [157 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty/main gzip i386 1.6-3ubuntu1 [83.8 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty/main login i386 1:4.1.5.1-1ubuntu8 [302 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/main mount i386 2.20.1-5.1ubuntu14 [113 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty/main ncurses-bin i386 5.9+20131221-1ubuntu1 [135 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main perl i386 5.18.2-2 [2159 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main perl-base i386 5.18.2-2 [1133 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty/main perl-modules all 5.18.2-2 [2696 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty/main libapt-pkg4.12 i386 0.9.14.1ubuntu2 [623 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty/main gpgv i386 1.4.16-1ubuntu1 [152 kB] Get:46 http://ftpmaster.internal/ubuntu/ trusty/main gnupg i386 1.4.16-1ubuntu1 [593 kB] Get:47 http://ftpmaster.internal/ubuntu/ trusty/main apt i386 0.9.14.1ubuntu2 [954 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty/main libdebconfclient0 i386 0.187ubuntu1 [6594 B] Get:49 http://ftpmaster.internal/ubuntu/ trusty/main base-passwd i386 3.5.32 [45.6 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty/main bsdutils i386 1:2.20.1-5.1ubuntu14 [34.1 kB] Get:51 http://ftpmaster.internal/ubuntu/ trusty/main ncurses-base all 5.9+20131221-1ubuntu1 [16.5 kB] Get:52 http://ftpmaster.internal/ubuntu/ trusty/main libcomerr2 i386 1.42.9-2ubuntu1 [62.4 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty/main libmount1 i386 2.20.1-5.1ubuntu14 [59.7 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty/main libss2 i386 1.42.9-2ubuntu1 [66.5 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty/main libffi6 i386 3.0.13-12 [14.3 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty/main libsqlite3-0 i386 3.8.2-1ubuntu2 [344 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty/main libdrm2 i386 2.4.52-1 [23.2 kB] Get:58 http://ftpmaster.internal/ubuntu/ trusty/main libcurl3-gnutls i386 7.35.0-1ubuntu1 [166 kB] Get:59 http://ftpmaster.internal/ubuntu/ trusty/main g++-4.8 i386 4.8.2-14ubuntu4 [4811 kB] Get:60 http://ftpmaster.internal/ubuntu/ trusty/main libstdc++-4.8-dev i386 4.8.2-14ubuntu4 [1043 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty/main libgmp10 i386 2:5.1.3+dfsg-1ubuntu1 [230 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.8 i386 4.8.2-14ubuntu4 [4867 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty/main cpp-4.8 i386 4.8.2-14ubuntu4 [4448 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty/main binutils i386 2.24-2ubuntu3 [2109 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty/main libgcc-4.8-dev i386 4.8.2-14ubuntu4 [1735 kB] Get:66 http://ftpmaster.internal/ubuntu/ trusty/main libasan0 i386 4.8.2-14ubuntu4 [64.0 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.8-base i386 4.8.2-14ubuntu4 [15.1 kB] Get:68 http://ftpmaster.internal/ubuntu/ trusty/main libpam-runtime all 1.1.8-1ubuntu2 [37.7 kB] Get:69 http://ftpmaster.internal/ubuntu/ trusty/main multiarch-support i386 2.18-0ubuntu6 [4486 B] Get:70 http://ftpmaster.internal/ubuntu/ trusty/main apt-transport-https i386 0.9.14.1ubuntu2 [24.9 kB] Get:71 http://ftpmaster.internal/ubuntu/ trusty/main cpp i386 4:4.8.2-1ubuntu3 [27.7 kB] Get:72 http://ftpmaster.internal/ubuntu/ trusty/main dpkg-dev all 1.17.5ubuntu2 [726 kB] Get:73 http://ftpmaster.internal/ubuntu/ trusty/main libdpkg-perl all 1.17.5ubuntu2 [179 kB] Get:74 http://ftpmaster.internal/ubuntu/ trusty/main gcc i386 4:4.8.2-1ubuntu3 [4990 B] Get:75 http://ftpmaster.internal/ubuntu/ trusty/main g++ i386 4:4.8.2-1ubuntu3 [1492 B] Get:76 http://ftpmaster.internal/ubuntu/ trusty/main pkgbinarymangler all 119 [28.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 46.0 MB in 2s (16.6 MB/s) (Reading database ... 11989 files and directories currently installed.) Preparing to replace base-files 6.12ubuntu5 (using .../base-files_7.2ubuntu1_i386.deb) ... Unpacking replacement base-files ... Setting up base-files (7.2ubuntu1) ... Installing new version of config file /etc/debian_version ... (Reading database ... 11989 files and directories currently installed.) Preparing to replace dpkg 1.17.1ubuntu1 (using .../dpkg_1.17.5ubuntu2_i386.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.17.5ubuntu2) ... (Reading database ... 11991 files and directories currently installed.) Preparing to unpack .../libc-bin_2.18-0ubuntu6_i386.deb ... Unpacking libc-bin (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Preparing to unpack .../libc6_2.18-0ubuntu6_i386.deb ... Unpacking libc6:i386 (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Preparing to unpack .../libgcc1_1%3a4.9-20140125-0ubuntu1_i386.deb ... Unpacking libgcc1:i386 (1:4.9-20140125-0ubuntu1) over (1:4.8.2-10ubuntu2) ... Selecting previously unselected package gcc-4.9-base:i386. Preparing to unpack .../gcc-4.9-base_4.9-20140125-0ubuntu1_i386.deb ... Unpacking gcc-4.9-base:i386 (4.9-20140125-0ubuntu1) ... Setting up gcc-4.9-base:i386 (4.9-20140125-0ubuntu1) ... Setting up libgcc1:i386 (1:4.9-20140125-0ubuntu1) ... Setting up libc6:i386 (2.18-0ubuntu6) ... Setting up libc-bin (2.18-0ubuntu6) ... (Reading database ... 11998 files and directories currently installed.) Preparing to unpack .../libdbus-1-3_1.6.18-0ubuntu3_i386.deb ... Unpacking libdbus-1-3:i386 (1.6.18-0ubuntu3) over (1.6.18-0ubuntu2) ... Preparing to unpack .../libselinux1_2.2.2-1_i386.deb ... Unpacking libselinux1:i386 (2.2.2-1) over (2.2.1-1ubuntu2) ... Setting up libselinux1:i386 (2.2.2-1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11998 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-1ubuntu2_i386.deb ... Unpacking libpam0g:i386 (1.1.8-1ubuntu2) over (1.1.3-10ubuntu1) ... Setting up libpam0g:i386 (1.1.8-1ubuntu2) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11998 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-1ubuntu2_i386.deb ... Unpacking libpam-modules-bin (1.1.8-1ubuntu2) over (1.1.3-10ubuntu1) ... Setting up libpam-modules-bin (1.1.8-1ubuntu2) ... (Reading database ... 11998 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-1ubuntu2_i386.deb ... Unpacking libpam-modules:i386 (1.1.8-1ubuntu2) over (1.1.3-10ubuntu1) ... Setting up libpam-modules:i386 (1.1.8-1ubuntu2) ... Installing new version of config file /etc/security/limits.conf ... Installing new version of config file /etc/security/pam_env.conf ... Installing new version of config file /etc/security/namespace.init ... Installing new version of config file /etc/security/time.conf ... Installing new version of config file /etc/security/namespace.conf ... (Reading database ... 11999 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.1.5.1-1ubuntu8_i386.deb ... Unpacking passwd (1:4.1.5.1-1ubuntu8) over (1:4.1.5.1-1ubuntu6) ... Setting up passwd (1:4.1.5.1-1ubuntu8) ... (Reading database ... 11999 files and directories currently installed.) Preparing to unpack .../libuuid1_2.20.1-5.1ubuntu14_i386.deb ... Unpacking libuuid1:i386 (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up libuuid1:i386 (2.20.1-5.1ubuntu14) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11999 files and directories currently installed.) Preparing to unpack .../libblkid1_2.20.1-5.1ubuntu14_i386.deb ... Unpacking libblkid1:i386 (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up libblkid1:i386 (2.20.1-5.1ubuntu14) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11999 files and directories currently installed.) Preparing to unpack .../util-linux_2.20.1-5.1ubuntu14_i386.deb ... Unpacking util-linux (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up util-linux (2.20.1-5.1ubuntu14) ... Installing new version of config file /etc/cron.weekly/fstrim ... Selecting previously unselected package libprocps3:i386. (Reading database ... 11999 files and directories currently installed.) Preparing to unpack .../libprocps3_1%3a3.3.9-1ubuntu2_i386.deb ... Unpacking libprocps3:i386 (1:3.3.9-1ubuntu2) ... Preparing to unpack .../libncursesw5_5.9+20131221-1ubuntu1_i386.deb ... Unpacking libncursesw5:i386 (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Preparing to unpack .../libtinfo5_5.9+20131221-1ubuntu1_i386.deb ... Unpacking libtinfo5:i386 (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Setting up libtinfo5:i386 (5.9+20131221-1ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 12005 files and directories currently installed.) Preparing to unpack .../libncurses5_5.9+20131221-1ubuntu1_i386.deb ... Unpacking libncurses5:i386 (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Setting up libncurses5:i386 (5.9+20131221-1ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 12005 files and directories currently installed.) Preparing to unpack .../procps_1%3a3.3.9-1ubuntu2_i386.deb ... invoke-rc.d: policy-rc.d denied execution of stop. Unpacking procps (1:3.3.9-1ubuntu2) over (1:3.3.8-2ubuntu3) ... Preparing to unpack .../udev_204-5ubuntu10_i386.deb ... Adding 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' Unpacking udev (204-5ubuntu10) over (204-5ubuntu6) ... Preparing to unpack .../libudev1_204-5ubuntu10_i386.deb ... Unpacking libudev1:i386 (204-5ubuntu10) over (204-5ubuntu6) ... Preparing to unpack .../ifupdown_0.7.47.2ubuntu1_i386.deb ... Unpacking ifupdown (0.7.47.2ubuntu1) over (0.7.47.1ubuntu1) ... Preparing to unpack .../upstart_1.11-0ubuntu2_i386.deb ... Unpacking upstart (1.11-0ubuntu2) over (1.11-0ubuntu1) ... Preparing to unpack .../libc6-dev_2.18-0ubuntu6_i386.deb ... Unpacking libc6-dev:i386 (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Preparing to unpack .../libc-dev-bin_2.18-0ubuntu6_i386.deb ... Unpacking libc-dev-bin (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Preparing to unpack .../linux-libc-dev_3.13.0-6.23_i386.deb ... Unpacking linux-libc-dev:i386 (3.13.0-6.23) over (3.12.0-7.15) ... Preparing to unpack .../e2fslibs_1.42.9-2ubuntu1_i386.deb ... Unpacking e2fslibs:i386 (1.42.9-2ubuntu1) over (1.42.8-1ubuntu3) ... Setting up e2fslibs:i386 (1.42.9-2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 12022 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.42.9-2ubuntu1_i386.deb ... Unpacking e2fsprogs (1.42.9-2ubuntu1) over (1.42.8-1ubuntu3) ... Setting up e2fsprogs (1.42.9-2ubuntu1) ... (Reading database ... 12025 files and directories currently installed.) Preparing to unpack .../findutils_4.4.2-7_i386.deb ... Unpacking findutils (4.4.2-7) over (4.4.2-6ubuntu2) ... Setting up findutils (4.4.2-7) ... (Reading database ... 12025 files and directories currently installed.) Preparing to unpack .../archives/grep_2.16-1_i386.deb ... Unpacking grep (2.16-1) over (2.15-2) ... Setting up grep (2.16-1) ... (Reading database ... 12025 files and directories currently installed.) Preparing to unpack .../gzip_1.6-3ubuntu1_i386.deb ... Unpacking gzip (1.6-3ubuntu1) over (1.6-2ubuntu1) ... Setting up gzip (1.6-3ubuntu1) ... (Reading database ... 12025 files and directories currently installed.) Preparing to unpack .../login_1%3a4.1.5.1-1ubuntu8_i386.deb ... Unpacking login (1:4.1.5.1-1ubuntu8) over (1:4.1.5.1-1ubuntu6) ... Setting up login (1:4.1.5.1-1ubuntu8) ... (Reading database ... 12023 files and directories currently installed.) Preparing to unpack .../mount_2.20.1-5.1ubuntu14_i386.deb ... Unpacking mount (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up mount (2.20.1-5.1ubuntu14) ... (Reading database ... 12023 files and directories currently installed.) Preparing to unpack .../ncurses-bin_5.9+20131221-1ubuntu1_i386.deb ... Unpacking ncurses-bin (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Setting up ncurses-bin (5.9+20131221-1ubuntu1) ... (Reading database ... 12023 files and directories currently installed.) Preparing to unpack .../perl_5.18.2-2_i386.deb ... Unpacking perl (5.18.2-2) over (5.18.1-5) ... Preparing to unpack .../perl-base_5.18.2-2_i386.deb ... Unpacking perl-base (5.18.2-2) over (5.18.1-5) ... Setting up perl-base (5.18.2-2) ... (Reading database ... 12028 files and directories currently installed.) Preparing to unpack .../perl-modules_5.18.2-2_all.deb ... Unpacking perl-modules (5.18.2-2) over (5.18.1-5) ... Preparing to unpack .../libstdc++6_4.9-20140125-0ubuntu1_i386.deb ... Unpacking libstdc++6:i386 (4.9-20140125-0ubuntu1) over (4.8.2-10ubuntu2) ... Setting up libstdc++6:i386 (4.9-20140125-0ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 12022 files and directories currently installed.) Preparing to unpack .../libapt-pkg4.12_0.9.14.1ubuntu2_i386.deb ... Unpacking libapt-pkg4.12:i386 (0.9.14.1ubuntu2) over (0.9.14.1ubuntu1) ... Setting up libapt-pkg4.12:i386 (0.9.14.1ubuntu2) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 12022 files and directories currently installed.) Preparing to unpack .../gpgv_1.4.16-1ubuntu1_i386.deb ... Unpacking gpgv (1.4.16-1ubuntu1) over (1.4.15-2ubuntu1) ... Setting up gpgv (1.4.16-1ubuntu1) ... (Reading database ... 12022 files and directories currently installed.) Preparing to unpack .../gnupg_1.4.16-1ubuntu1_i386.deb ... Unpacking gnupg (1.4.16-1ubuntu1) over (1.4.15-2ubuntu1) ... Setting up gnupg (1.4.16-1ubuntu1) ... (Reading database ... 12022 files and directories currently installed.) Preparing to unpack .../apt_0.9.14.1ubuntu2_i386.deb ... Unpacking apt (0.9.14.1ubuntu2) over (0.9.14.1ubuntu1) ... Setting up apt (0.9.14.1ubuntu2) ... Selecting previously unselected package libdebconfclient0:i386. (Reading database ... 12023 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.187ubuntu1_i386.deb ... Unpacking libdebconfclient0:i386 (0.187ubuntu1) ... Setting up libdebconfclient0:i386 (0.187ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 12028 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.32_i386.deb ... Unpacking base-passwd (3.5.32) over (3.5.28) ... Setting up base-passwd (3.5.32) ... Changing shell of daemon from /bin/sh to /usr/sbin/nologin Changing shell of bin from /bin/sh to /usr/sbin/nologin Changing shell of sys from /bin/sh to /usr/sbin/nologin Changing shell of games from /bin/sh to /usr/sbin/nologin Changing shell of man from /bin/sh to /usr/sbin/nologin Changing shell of lp from /bin/sh to /usr/sbin/nologin Changing shell of mail from /bin/sh to /usr/sbin/nologin Changing shell of news from /bin/sh to /usr/sbin/nologin Changing shell of uucp from /bin/sh to /usr/sbin/nologin Changing shell of proxy from /bin/sh to /usr/sbin/nologin Changing shell of www-data from /bin/sh to /usr/sbin/nologin Changing shell of backup from /bin/sh to /usr/sbin/nologin Changing shell of list from /bin/sh to /usr/sbin/nologin Changing shell of irc from /bin/sh to /usr/sbin/nologin Changing shell of gnats from /bin/sh to /usr/sbin/nologin Changing shell of nobody from /bin/sh to /usr/sbin/nologin 16 changes have been made, rewriting files Writing passwd-file to /etc/passwd Writing shadow-file to /etc/shadow Writing group-file to /etc/group (Reading database ... 12029 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.20.1-5.1ubuntu14_i386.deb ... Unpacking bsdutils (1:2.20.1-5.1ubuntu14) over (1:2.20.1-5.1ubuntu11) ... Setting up bsdutils (1:2.20.1-5.1ubuntu14) ... (Reading database ... 12029 files and directories currently installed.) Preparing to unpack .../ncurses-base_5.9+20131221-1ubuntu1_all.deb ... Unpacking ncurses-base (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Setting up ncurses-base (5.9+20131221-1ubuntu1) ... (Reading database ... 12029 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.42.9-2ubuntu1_i386.deb ... Unpacking libcomerr2:i386 (1.42.9-2ubuntu1) over (1.42.8-1ubuntu3) ... Setting up libcomerr2:i386 (1.42.9-2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 12029 files and directories currently installed.) Preparing to unpack .../libmount1_2.20.1-5.1ubuntu14_i386.deb ... Unpacking libmount1:i386 (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up libmount1:i386 (2.20.1-5.1ubuntu14) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 12029 files and directories currently installed.) Preparing to unpack .../libss2_1.42.9-2ubuntu1_i386.deb ... Unpacking libss2:i386 (1.42.9-2ubuntu1) over (1.42.8-1ubuntu3) ... Setting up libss2:i386 (1.42.9-2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 12029 files and directories currently installed.) Preparing to unpack .../libffi6_3.0.13-12_i386.deb ... Unpacking libffi6:i386 (3.0.13-12) over (3.0.13-10build1) ... Preparing to unpack .../libsqlite3-0_3.8.2-1ubuntu2_i386.deb ... Unpacking libsqlite3-0:i386 (3.8.2-1ubuntu2) over (3.8.2-1ubuntu1) ... Preparing to unpack .../libdrm2_2.4.52-1_i386.deb ... Unpacking libdrm2:i386 (2.4.52-1) over (2.4.50-1) ... Preparing to unpack .../libcurl3-gnutls_7.35.0-1ubuntu1_i386.deb ... Unpacking libcurl3-gnutls:i386 (7.35.0-1ubuntu1) over (7.34.0-1ubuntu1) ... Preparing to unpack .../libitm1_4.9-20140125-0ubuntu1_i386.deb ... Unpacking libitm1:i386 (4.9-20140125-0ubuntu1) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libgomp1_4.9-20140125-0ubuntu1_i386.deb ... Unpacking libgomp1:i386 (4.9-20140125-0ubuntu1) over (4.8.2-10ubuntu2) ... Preparing to unpack .../g++-4.8_4.8.2-14ubuntu4_i386.deb ... Unpacking g++-4.8 (4.8.2-14ubuntu4) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libstdc++-4.8-dev_4.8.2-14ubuntu4_i386.deb ... Unpacking libstdc++-4.8-dev:i386 (4.8.2-14ubuntu4) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libgmp10_2%3a5.1.3+dfsg-1ubuntu1_i386.deb ... Unpacking libgmp10:i386 (2:5.1.3+dfsg-1ubuntu1) over (2:5.1.2+dfsg-3ubuntu3) ... Preparing to unpack .../gcc-4.8_4.8.2-14ubuntu4_i386.deb ... Unpacking gcc-4.8 (4.8.2-14ubuntu4) over (4.8.2-10ubuntu2) ... Preparing to unpack .../cpp-4.8_4.8.2-14ubuntu4_i386.deb ... Unpacking cpp-4.8 (4.8.2-14ubuntu4) over (4.8.2-10ubuntu2) ... Preparing to unpack .../binutils_2.24-2ubuntu3_i386.deb ... Unpacking binutils (2.24-2ubuntu3) over (2.24-2ubuntu2) ... Preparing to unpack .../libatomic1_4.9-20140125-0ubuntu1_i386.deb ... Unpacking libatomic1:i386 (4.9-20140125-0ubuntu1) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libquadmath0_4.9-20140125-0ubuntu1_i386.deb ... Unpacking libquadmath0:i386 (4.9-20140125-0ubuntu1) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libgcc-4.8-dev_4.8.2-14ubuntu4_i386.deb ... Unpacking libgcc-4.8-dev:i386 (4.8.2-14ubuntu4) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libasan0_4.8.2-14ubuntu4_i386.deb ... Unpacking libasan0:i386 (4.8.2-14ubuntu4) over (4.8.2-10ubuntu2) ... Preparing to unpack .../gcc-4.8-base_4.8.2-14ubuntu4_i386.deb ... Unpacking gcc-4.8-base:i386 (4.8.2-14ubuntu4) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libpam-runtime_1.1.8-1ubuntu2_all.deb ... Unpacking libpam-runtime (1.1.8-1ubuntu2) over (1.1.3-10ubuntu1) ... Setting up libpam-runtime (1.1.8-1ubuntu2) ... (Reading database ... 12011 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.18-0ubuntu6_i386.deb ... Unpacking multiarch-support (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Setting up multiarch-support (2.18-0ubuntu6) ... (Reading database ... 12011 files and directories currently installed.) Preparing to unpack .../apt-transport-https_0.9.14.1ubuntu2_i386.deb ... Unpacking apt-transport-https (0.9.14.1ubuntu2) over (0.9.14.1ubuntu1) ... Preparing to unpack .../cpp_4%3a4.8.2-1ubuntu3_i386.deb ... Unpacking cpp (4:4.8.2-1ubuntu3) over (4:4.8.2-1ubuntu2) ... Preparing to unpack .../dpkg-dev_1.17.5ubuntu2_all.deb ... Unpacking dpkg-dev (1.17.5ubuntu2) over (1.17.1ubuntu1) ... Preparing to unpack .../libdpkg-perl_1.17.5ubuntu2_all.deb ... Unpacking libdpkg-perl (1.17.5ubuntu2) over (1.17.1ubuntu1) ... Preparing to unpack .../gcc_4%3a4.8.2-1ubuntu3_i386.deb ... Removing old gcc doc directory. Unpacking gcc (4:4.8.2-1ubuntu3) over (4:4.8.2-1ubuntu2) ... Preparing to unpack .../g++_4%3a4.8.2-1ubuntu3_i386.deb ... Unpacking g++ (4:4.8.2-1ubuntu3) over (4:4.8.2-1ubuntu2) ... Preparing to unpack .../pkgbinarymangler_119_all.deb ... Unpacking pkgbinarymangler (119) over (118) ... Setting up libdbus-1-3:i386 (1.6.18-0ubuntu3) ... Setting up libprocps3:i386 (1:3.3.9-1ubuntu2) ... Setting up libncursesw5:i386 (5.9+20131221-1ubuntu1) ... Setting up procps (1:3.3.9-1ubuntu2) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libudev1:i386 (204-5ubuntu10) ... Setting up udev (204-5ubuntu10) ... invoke-rc.d: policy-rc.d denied execution of restart. Removing 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up ifupdown (0.7.47.2ubuntu1) ... Setting up upstart (1.11-0ubuntu2) ... Setting up libc-dev-bin (2.18-0ubuntu6) ... Setting up linux-libc-dev:i386 (3.13.0-6.23) ... Setting up libc6-dev:i386 (2.18-0ubuntu6) ... Setting up libffi6:i386 (3.0.13-12) ... Setting up libsqlite3-0:i386 (3.8.2-1ubuntu2) ... Setting up libdrm2:i386 (2.4.52-1) ... Setting up libcurl3-gnutls:i386 (7.35.0-1ubuntu1) ... Setting up libitm1:i386 (4.9-20140125-0ubuntu1) ... Setting up libgomp1:i386 (4.9-20140125-0ubuntu1) ... Setting up gcc-4.8-base:i386 (4.8.2-14ubuntu4) ... Setting up libgmp10:i386 (2:5.1.3+dfsg-1ubuntu1) ... Setting up cpp-4.8 (4.8.2-14ubuntu4) ... Setting up binutils (2.24-2ubuntu3) ... Setting up libatomic1:i386 (4.9-20140125-0ubuntu1) ... Setting up libasan0:i386 (4.8.2-14ubuntu4) ... Setting up libquadmath0:i386 (4.9-20140125-0ubuntu1) ... Setting up libgcc-4.8-dev:i386 (4.8.2-14ubuntu4) ... Setting up gcc-4.8 (4.8.2-14ubuntu4) ... Setting up libstdc++-4.8-dev:i386 (4.8.2-14ubuntu4) ... Setting up g++-4.8 (4.8.2-14ubuntu4) ... Setting up apt-transport-https (0.9.14.1ubuntu2) ... Setting up cpp (4:4.8.2-1ubuntu3) ... Setting up gcc (4:4.8.2-1ubuntu3) ... Setting up g++ (4:4.8.2-1ubuntu3) ... Setting up pkgbinarymangler (119) ... Setting up perl-modules (5.18.2-2) ... Setting up perl (5.18.2-2) ... Setting up libdpkg-perl (1.17.5ubuntu2) ... Setting up dpkg-dev (1.17.5ubuntu2) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... Processing triggers for initramfs-tools (0.103ubuntu3) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5519708', 'i386', 'trusty', '--nolog', '--batch', '--archive=ubuntu', '--dist=trusty', '-A', '--purpose=COPY', '--architecture=i386', '--comp=universe', 'proofgeneral_4.3~pre130510-1.dsc'] Initiating build PACKAGEBUILD-5519708 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 3.2.0-54-generic #82-Ubuntu SMP Tue Sep 10 20:08:42 UTC 2013 i686 Automatic build of proofgeneral_4.3~pre130510-1 on toyol by sbuild/i386 1.170.5 Build started at 20140203-1210 ****************************************************************************** proofgeneral_4.3~pre130510-1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texi2html, emacs23-nox | emacs23 | emacs23-lucid | emacs24-nox | emacs24 | emacs24-lucid Checking for already installed source dependencies... debhelper: missing texinfo: missing texlive-latex-recommended: missing texlive-generic-recommended: missing texi2html: missing emacs23-nox: missing emacs23: missing emacs23-lucid: missing emacs24-nox: missing emacs24: missing emacs24-lucid: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper texinfo texlive-latex-recommended texlive-generic-recommended texi2html emacs23-nox Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libprocps1 Use 'apt-get autoremove' to remove it. The following extra packages will be installed: apparmor-easyprof bsdmainutils dh-apparmor dh-python emacs23-bin-common emacs23-common emacs23-common-non-dfsg emacsen-common file fontconfig-config fonts-dejavu-core gettext gettext-base groff-base intltool-debian libasound2 libasound2-data libasprintf0c2 libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcroco3 libcups2 libcupsfilters1 libcupsimage2 libexpat1 libfontconfig1 libfreetype6 libglib2.0-0 libgpm2 libgraphite2-3 libgs9 libgs9-common libharfbuzz0b libice6 libicu52 libijs-0.35 libintl-perl libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblcms2-2 libmagic1 libmpdec2 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler43 libptexenc1 libpython3-stdlib libpython3.4-minimal libpython3.4-stdlib libsm6 libssl1.0.0 libtext-unidecode-perl libtiff5 libunistring0 libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu6 libxpm4 libxrender1 libxt6 luatex man-db mime-support po-debconf poppler-data python3 python3-minimal python3.4 python3.4-minimal tex-common texlive-base texlive-binaries texlive-latex-base ucf x11-common xdg-utils Suggested packages: wamerican wordlist whois vacation dh-make emacs23-el gettext-doc groff libasound2-plugins alsa-utils cups-common gpm fonts-droid libintl-xs-perl liblcms2-utils less www-browser libmail-box-perl poppler-utils ghostscript fonts-japanese-mincho fonts-ipafont-mincho fonts-japanese-gothic fonts-ipafont-gothic fonts-arphic-ukai fonts-arphic-uming fonts-unfonts-core python3-doc python3-tk python3.4-doc binfmt-support latex2html texinfo-doc-nonfree gv postscript-viewer xpdf-reader pdf-viewer perl-tk gvfs-bin Recommended packages: curl wget lynx-cur libasprintf-dev libgettextpo-dev libglib2.0-data shared-mime-info libxml-sax-expat-perl xml-core texlive-luatex libmail-sendmail-perl lmodern python ruby wish texlive-latex-base-doc latex-xcolor prosper latex-beamer texlive-latex-recommended-doc libfile-mimeinfo-perl x11-utils x11-xserver-utils The following NEW packages will be installed: apparmor-easyprof bsdmainutils debhelper dh-apparmor dh-python emacs23-bin-common emacs23-common emacs23-common-non-dfsg emacs23-nox emacsen-common file fontconfig-config fonts-dejavu-core gettext gettext-base groff-base intltool-debian libasound2 libasound2-data libasprintf0c2 libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcroco3 libcups2 libcupsfilters1 libcupsimage2 libexpat1 libfontconfig1 libfreetype6 libglib2.0-0 libgpm2 libgraphite2-3 libgs9 libgs9-common libharfbuzz0b libice6 libicu52 libijs-0.35 libintl-perl libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblcms2-2 libmagic1 libmpdec2 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler43 libptexenc1 libpython3-stdlib libpython3.4-minimal libpython3.4-stdlib libsm6 libssl1.0.0 libtext-unidecode-perl libtiff5 libunistring0 libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu6 libxpm4 libxrender1 libxt6 luatex man-db mime-support po-debconf poppler-data python3 python3-minimal python3.4 python3.4-minimal tex-common texi2html texinfo texlive-base texlive-binaries texlive-generic-recommended texlive-latex-base texlive-latex-recommended ucf x11-common xdg-utils 0 upgraded, 101 newly installed, 0 to remove and 0 not upgraded. Need to get 90.8 MB of archives. After this operation, 305 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! python3-minimal libpython3-stdlib dh-python python3 Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1 i386 2.1.0-4ubuntu1 [71.4 kB] Get:2 http://ppa.launchpad.net/ubuntu-toolchain-r/python3/ubuntu/ trusty/main python3-minimal i386 3.4~b2-0ubuntu1 [23.3 kB] Get:3 http://ppa.launchpad.net/ubuntu-toolchain-r/python3/ubuntu/ trusty/main libpython3-stdlib i386 3.4~b2-0ubuntu1 [7070 B] Get:4 http://ppa.launchpad.net/ubuntu-toolchain-r/python3/ubuntu/ trusty/main dh-python all 1.20131021-2ubuntu2 [49.9 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libmagic1 i386 1:5.14-2ubuntu1 [184 kB] Get:6 http://ppa.launchpad.net/ubuntu-toolchain-r/python3/ubuntu/ trusty/main python3 i386 3.4~b2-0ubuntu1 [8668 B] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libssl1.0.0 i386 1.0.1f-1ubuntu1 [780 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libasprintf0c2 i386 0.18.3.1-1ubuntu2 [6618 B] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-0 i386 2.39.3-0ubuntu4 [1018 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 i386 1.2.6-1 [23.3 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libxau6 i386 1:1.0.8-1 [8352 B] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp6 i386 1:1.1.1-1 [13.1 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1 i386 1.10-2ubuntu1 [40.6 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main libx11-data all 2:1.6.2-1ubuntu2 [111 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libx11-6 i386 2:1.6.2-1ubuntu2 [557 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libxext6 i386 2:1.3.2-1 [33.9 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main libxml2 i386 2.9.1+dfsg1-3ubuntu3 [555 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main groff-base i386 1.22.2-5 [1030 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils i386 9.0.5ubuntu1 [197 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main man-db i386 2.6.6-1 [851 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libasound2-data all 1.0.27.2-3ubuntu1 [30.5 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main libasound2 i386 1.0.27.2-3ubuntu1 [407 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common-data i386 0.6.31-4ubuntu1 [21.3 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common3 i386 0.6.31-4ubuntu1 [22.2 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-client3 i386 0.6.31-4ubuntu1 [24.5 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main fonts-dejavu-core all 2.34-1ubuntu1 [1024 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main ucf all 3.0027+nmu1 [56.3 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig-config all 2.11.0-0ubuntu4 [47.3 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6 i386 2.5.2-1ubuntu1 [300 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1 i386 2.11.0-0ubuntu4 [123 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-0 i386 0.30.2-2ubuntu1 [216 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0 i386 1.10-2ubuntu1 [11.9 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0 i386 1.10-2ubuntu1 [5622 B] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main libxrender1 i386 1:0.9.8-1 [20.3 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2 i386 1.12.16-0ubuntu2 [649 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 i386 0.6.8-2ubuntu1 [81.1 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty/main libcups2 i386 1.7.1-2git1 [178 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg-turbo8 i386 1.3.0-0ubuntu2 [107 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg8 i386 8c-2ubuntu8 [2188 B] Get:40 http://ftpmaster.internal/ubuntu/ trusty/main libjbig0 i386 2.0-2ubuntu4 [24.9 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main libtiff5 i386 4.0.3-7 [143 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main libcupsfilters1 i386 1.0.43-1 [75.5 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty/main libcupsimage2 i386 1.7.1-2git1 [15.2 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty/main libgpm2 i386 1.20.4-6.1 [16.0 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty/main libgraphite2-3 i386 1.2.4-1ubuntu1 [54.4 kB] Get:46 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz0b i386 0.9.25-1ubuntu1 [124 kB] Get:47 http://ftpmaster.internal/ubuntu/ trusty/main x11-common all 1:7.7+1ubuntu8 [49.8 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty/main libice6 i386 2:1.0.8-2 [45.9 kB] Get:49 http://ftpmaster.internal/ubuntu/ trusty/main libicu52 i386 52.1-3 [6795 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty/main liblcms2-2 i386 2.5-0ubuntu4 [129 kB] Get:51 http://ftpmaster.internal/ubuntu/ trusty/main libmpdec2 i386 2.4.0-6 [73.3 kB] Get:52 http://ftpmaster.internal/ubuntu/ trusty/main libpaper1 i386 1.1.24+nmu2ubuntu3 [13.4 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty/main libpoppler43 i386 0.24.3-0ubuntu12 [679 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.4-minimal i386 3.4~b3-1ubuntu1 [436 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty/main mime-support all 3.54ubuntu1 [31.7 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.4-stdlib i386 3.4~b3-1ubuntu1 [1965 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty/main libsm6 i386 2:1.2.1-2 [17.3 kB] Get:58 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 i386 0.9.3-5ubuntu3 [272 kB] Get:59 http://ftpmaster.internal/ubuntu/ trusty/main libxt6 i386 1:1.1.4-1 [176 kB] Get:60 http://ftpmaster.internal/ubuntu/ trusty/main libxmu6 i386 2:1.1.1-1 [52.9 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty/main libxpm4 i386 1:3.5.10-1 [38.2 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty/main libxaw7 i386 2:1.0.12-1 [164 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty/main poppler-data all 0.4.6-4 [1479 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty/main python3.4-minimal i386 3.4~b3-1ubuntu1 [1181 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty/main file i386 1:5.14-2ubuntu1 [18.4 kB] Get:66 http://ftpmaster.internal/ubuntu/ trusty/main gettext-base i386 0.18.3.1-1ubuntu2 [47.9 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty/main gettext i386 0.18.3.1-1ubuntu2 [815 kB] Get:68 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:69 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:70 http://ftpmaster.internal/ubuntu/ trusty/main python3.4 i386 3.4~b3-1ubuntu1 [155 kB] Get:71 http://ftpmaster.internal/ubuntu/ trusty/main apparmor-easyprof all 2.8.0-0ubuntu38 [20.1 kB] Get:72 http://ftpmaster.internal/ubuntu/ trusty/main dh-apparmor all 2.8.0-0ubuntu38 [7286 B] Get:73 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20131127ubuntu2 [603 kB] Get:74 http://ftpmaster.internal/ubuntu/ trusty/main emacsen-common all 2.0.7 [17.1 kB] Get:75 http://ftpmaster.internal/ubuntu/ trusty/universe emacs23-common-non-dfsg all 23.4+1-1 [4163 kB] Get:76 http://ftpmaster.internal/ubuntu/ trusty/universe emacs23-common all 23.4+1-4.1ubuntu1 [18.5 MB] Get:77 http://ftpmaster.internal/ubuntu/ trusty/universe emacs23-bin-common i386 23.4+1-4.1ubuntu1 [163 kB] Get:78 http://ftpmaster.internal/ubuntu/ trusty/universe emacs23-nox i386 23.4+1-4.1ubuntu1 [2729 kB] Get:79 http://ftpmaster.internal/ubuntu/ trusty/main libijs-0.35 i386 0.35-8build1 [17.1 kB] Get:80 http://ftpmaster.internal/ubuntu/ trusty/main libjbig2dec0 i386 0.11+20120125-1ubuntu1 [48.1 kB] Get:81 http://ftpmaster.internal/ubuntu/ trusty/main libgs9-common all 9.10~dfsg-0ubuntu7 [2068 kB] Get:82 http://ftpmaster.internal/ubuntu/ trusty/main libgs9 i386 9.10~dfsg-0ubuntu7 [1904 kB] Get:83 http://ftpmaster.internal/ubuntu/ trusty/main libintl-perl all 1.23-1build1 [1204 kB] Get:84 http://ftpmaster.internal/ubuntu/ trusty/main libkpathsea6 i386 2013.20130729.30972-2build2 [63.4 kB] Get:85 http://ftpmaster.internal/ubuntu/ trusty/main libpaper-utils i386 1.1.24+nmu2ubuntu3 [8096 B] Get:86 http://ftpmaster.internal/ubuntu/ trusty/main libptexenc1 i386 2013.20130729.30972-2build2 [33.7 kB] Get:87 http://ftpmaster.internal/ubuntu/ trusty/main libtext-unidecode-perl all 0.04-2 [115 kB] Get:88 http://ftpmaster.internal/ubuntu/ trusty/main libxml-namespacesupport-perl all 1.11-1 [13.2 kB] Get:89 http://ftpmaster.internal/ubuntu/ trusty/main libxml-sax-base-perl all 1.07-1 [21.5 kB] Get:90 http://ftpmaster.internal/ubuntu/ trusty/main libxml-sax-perl all 0.99+dfsg-2ubuntu1 [64.6 kB] Get:91 http://ftpmaster.internal/ubuntu/ trusty/main libxml-libxml-perl i386 2.0108+dfsg-1 [336 kB] Get:92 http://ftpmaster.internal/ubuntu/ trusty/main tex-common all 4.04 [621 kB] Get:93 http://ftpmaster.internal/ubuntu/ trusty/main luatex i386 0.76.0-3ubuntu1 [2646 kB] Get:94 http://ftpmaster.internal/ubuntu/ trusty/main texi2html all 1.82+dfsg1-3 [403 kB] Get:95 http://ftpmaster.internal/ubuntu/ trusty/main texinfo i386 5.2.0.dfsg.1-2 [561 kB] Get:96 http://ftpmaster.internal/ubuntu/ trusty/main xdg-utils all 1.1.0~rc1-2ubuntu7 [65.6 kB] Get:97 http://ftpmaster.internal/ubuntu/ trusty/main texlive-binaries i386 2013.20130729.30972-2build2 [3710 kB] Get:98 http://ftpmaster.internal/ubuntu/ trusty/main texlive-base all 2013.20140123-1 [16.2 MB] Get:99 http://ftpmaster.internal/ubuntu/ trusty/main texlive-generic-recommended all 2013.20140123-1 [2109 kB] Get:100 http://ftpmaster.internal/ubuntu/ trusty/main texlive-latex-base all 2013.20140123-1 [829 kB] Get:101 http://ftpmaster.internal/ubuntu/ trusty/main texlive-latex-recommended all 2013.20140123-1 [7277 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 90.8 MB in 7s (11.6 MB/s) Selecting previously unselected package libexpat1:i386. (Reading database ... 12010 files and directories currently installed.) Preparing to unpack .../libexpat1_2.1.0-4ubuntu1_i386.deb ... Unpacking libexpat1:i386 (2.1.0-4ubuntu1) ... Selecting previously unselected package libmagic1:i386. Preparing to unpack .../libmagic1_1%3a5.14-2ubuntu1_i386.deb ... Unpacking libmagic1:i386 (1:5.14-2ubuntu1) ... Selecting previously unselected package libssl1.0.0:i386. Preparing to unpack .../libssl1.0.0_1.0.1f-1ubuntu1_i386.deb ... Unpacking libssl1.0.0:i386 (1.0.1f-1ubuntu1) ... Selecting previously unselected package libasprintf0c2:i386. Preparing to unpack .../libasprintf0c2_0.18.3.1-1ubuntu2_i386.deb ... Unpacking libasprintf0c2:i386 (0.18.3.1-1ubuntu2) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../libglib2.0-0_2.39.3-0ubuntu4_i386.deb ... Unpacking libglib2.0-0:i386 (2.39.3-0ubuntu4) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../libpipeline1_1.2.6-1_i386.deb ... Unpacking libpipeline1:i386 (1.2.6-1) ... Selecting previously unselected package libxau6:i386. Preparing to unpack .../libxau6_1%3a1.0.8-1_i386.deb ... Unpacking libxau6:i386 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:i386. Preparing to unpack .../libxdmcp6_1%3a1.1.1-1_i386.deb ... Unpacking libxdmcp6:i386 (1:1.1.1-1) ... Selecting previously unselected package libxcb1:i386. Preparing to unpack .../libxcb1_1.10-2ubuntu1_i386.deb ... Unpacking libxcb1:i386 (1.10-2ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../libx11-data_2%3a1.6.2-1ubuntu2_all.deb ... Unpacking libx11-data (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libx11-6:i386. Preparing to unpack .../libx11-6_2%3a1.6.2-1ubuntu2_i386.deb ... Unpacking libx11-6:i386 (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libxext6:i386. Preparing to unpack .../libxext6_2%3a1.3.2-1_i386.deb ... Unpacking libxext6:i386 (2:1.3.2-1) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../libxml2_2.9.1+dfsg1-3ubuntu3_i386.deb ... Unpacking libxml2:i386 (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.2-5_i386.deb ... Unpacking groff-base (1.22.2-5) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.5ubuntu1_i386.deb ... Unpacking bsdmainutils (9.0.5ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.6.6-1_i386.deb ... Unpacking man-db (2.6.6-1) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../libasound2-data_1.0.27.2-3ubuntu1_all.deb ... Unpacking libasound2-data (1.0.27.2-3ubuntu1) ... Selecting previously unselected package libasound2:i386. Preparing to unpack .../libasound2_1.0.27.2-3ubuntu1_i386.deb ... Unpacking libasound2:i386 (1.0.27.2-3ubuntu1) ... Selecting previously unselected package libavahi-common-data:i386. Preparing to unpack .../libavahi-common-data_0.6.31-4ubuntu1_i386.deb ... Unpacking libavahi-common-data:i386 (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-common3:i386. Preparing to unpack .../libavahi-common3_0.6.31-4ubuntu1_i386.deb ... Unpacking libavahi-common3:i386 (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-client3:i386. Preparing to unpack .../libavahi-client3_0.6.31-4ubuntu1_i386.deb ... Unpacking libavahi-client3:i386 (0.6.31-4ubuntu1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../fonts-dejavu-core_2.34-1ubuntu1_all.deb ... Unpacking fonts-dejavu-core (2.34-1ubuntu1) ... Selecting previously unselected package ucf. Preparing to unpack .../ucf_3.0027+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0027+nmu1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../fontconfig-config_2.11.0-0ubuntu4_all.deb ... Unpacking fontconfig-config (2.11.0-0ubuntu4) ... Selecting previously unselected package libfreetype6:i386. Preparing to unpack .../libfreetype6_2.5.2-1ubuntu1_i386.deb ... Unpacking libfreetype6:i386 (2.5.2-1ubuntu1) ... Selecting previously unselected package libfontconfig1:i386. Preparing to unpack .../libfontconfig1_2.11.0-0ubuntu4_i386.deb ... Unpacking libfontconfig1:i386 (2.11.0-0ubuntu4) ... Selecting previously unselected package libpixman-1-0:i386. Preparing to unpack .../libpixman-1-0_0.30.2-2ubuntu1_i386.deb ... Unpacking libpixman-1-0:i386 (0.30.2-2ubuntu1) ... Selecting previously unselected package libxcb-render0:i386. Preparing to unpack .../libxcb-render0_1.10-2ubuntu1_i386.deb ... Unpacking libxcb-render0:i386 (1.10-2ubuntu1) ... Selecting previously unselected package libxcb-shm0:i386. Preparing to unpack .../libxcb-shm0_1.10-2ubuntu1_i386.deb ... Unpacking libxcb-shm0:i386 (1.10-2ubuntu1) ... Selecting previously unselected package libxrender1:i386. Preparing to unpack .../libxrender1_1%3a0.9.8-1_i386.deb ... Unpacking libxrender1:i386 (1:0.9.8-1) ... Selecting previously unselected package libcairo2:i386. Preparing to unpack .../libcairo2_1.12.16-0ubuntu2_i386.deb ... Unpacking libcairo2:i386 (1.12.16-0ubuntu2) ... Selecting previously unselected package libcroco3:i386. Preparing to unpack .../libcroco3_0.6.8-2ubuntu1_i386.deb ... Unpacking libcroco3:i386 (0.6.8-2ubuntu1) ... Selecting previously unselected package libcups2:i386. Preparing to unpack .../libcups2_1.7.1-2git1_i386.deb ... Unpacking libcups2:i386 (1.7.1-2git1) ... Selecting previously unselected package libjpeg-turbo8:i386. Preparing to unpack .../libjpeg-turbo8_1.3.0-0ubuntu2_i386.deb ... Unpacking libjpeg-turbo8:i386 (1.3.0-0ubuntu2) ... Selecting previously unselected package libjpeg8:i386. Preparing to unpack .../libjpeg8_8c-2ubuntu8_i386.deb ... Unpacking libjpeg8:i386 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:i386. Preparing to unpack .../libjbig0_2.0-2ubuntu4_i386.deb ... Unpacking libjbig0:i386 (2.0-2ubuntu4) ... Selecting previously unselected package libtiff5:i386. Preparing to unpack .../libtiff5_4.0.3-7_i386.deb ... Unpacking libtiff5:i386 (4.0.3-7) ... Selecting previously unselected package libcupsfilters1:i386. Preparing to unpack .../libcupsfilters1_1.0.43-1_i386.deb ... Unpacking libcupsfilters1:i386 (1.0.43-1) ... Selecting previously unselected package libcupsimage2:i386. Preparing to unpack .../libcupsimage2_1.7.1-2git1_i386.deb ... Unpacking libcupsimage2:i386 (1.7.1-2git1) ... Selecting previously unselected package libgpm2:i386. Preparing to unpack .../libgpm2_1.20.4-6.1_i386.deb ... Unpacking libgpm2:i386 (1.20.4-6.1) ... Selecting previously unselected package libgraphite2-3:i386. Preparing to unpack .../libgraphite2-3_1.2.4-1ubuntu1_i386.deb ... Unpacking libgraphite2-3:i386 (1.2.4-1ubuntu1) ... Selecting previously unselected package libharfbuzz0b:i386. Preparing to unpack .../libharfbuzz0b_0.9.25-1ubuntu1_i386.deb ... Unpacking libharfbuzz0b:i386 (0.9.25-1ubuntu1) ... Selecting previously unselected package x11-common. Preparing to unpack .../x11-common_1%3a7.7+1ubuntu8_all.deb ... Unpacking x11-common (1:7.7+1ubuntu8) ... Selecting previously unselected package libice6:i386. Preparing to unpack .../libice6_2%3a1.0.8-2_i386.deb ... Unpacking libice6:i386 (2:1.0.8-2) ... Selecting previously unselected package libicu52:i386. Preparing to unpack .../libicu52_52.1-3_i386.deb ... Unpacking libicu52:i386 (52.1-3) ... Selecting previously unselected package liblcms2-2:i386. Preparing to unpack .../liblcms2-2_2.5-0ubuntu4_i386.deb ... Unpacking liblcms2-2:i386 (2.5-0ubuntu4) ... Selecting previously unselected package libmpdec2:i386. Preparing to unpack .../libmpdec2_2.4.0-6_i386.deb ... Unpacking libmpdec2:i386 (2.4.0-6) ... Selecting previously unselected package libpaper1:i386. Preparing to unpack .../libpaper1_1.1.24+nmu2ubuntu3_i386.deb ... Unpacking libpaper1:i386 (1.1.24+nmu2ubuntu3) ... Selecting previously unselected package libpoppler43:i386. Preparing to unpack .../libpoppler43_0.24.3-0ubuntu12_i386.deb ... Unpacking libpoppler43:i386 (0.24.3-0ubuntu12) ... Selecting previously unselected package libpython3.4-minimal:i386. Preparing to unpack .../libpython3.4-minimal_3.4~b3-1ubuntu1_i386.deb ... Unpacking libpython3.4-minimal:i386 (3.4~b3-1ubuntu1) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.54ubuntu1_all.deb ... Unpacking mime-support (3.54ubuntu1) ... Selecting previously unselected package libpython3.4-stdlib:i386. Preparing to unpack .../libpython3.4-stdlib_3.4~b3-1ubuntu1_i386.deb ... Unpacking libpython3.4-stdlib:i386 (3.4~b3-1ubuntu1) ... Selecting previously unselected package libsm6:i386. Preparing to unpack .../libsm6_2%3a1.2.1-2_i386.deb ... Unpacking libsm6:i386 (2:1.2.1-2) ... Selecting previously unselected package libunistring0:i386. Preparing to unpack .../libunistring0_0.9.3-5ubuntu3_i386.deb ... Unpacking libunistring0:i386 (0.9.3-5ubuntu3) ... Selecting previously unselected package libxt6:i386. Preparing to unpack .../libxt6_1%3a1.1.4-1_i386.deb ... Unpacking libxt6:i386 (1:1.1.4-1) ... Selecting previously unselected package libxmu6:i386. Preparing to unpack .../libxmu6_2%3a1.1.1-1_i386.deb ... Unpacking libxmu6:i386 (2:1.1.1-1) ... Selecting previously unselected package libxpm4:i386. Preparing to unpack .../libxpm4_1%3a3.5.10-1_i386.deb ... Unpacking libxpm4:i386 (1:3.5.10-1) ... Selecting previously unselected package libxaw7:i386. Preparing to unpack .../libxaw7_2%3a1.0.12-1_i386.deb ... Unpacking libxaw7:i386 (2:1.0.12-1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../poppler-data_0.4.6-4_all.deb ... Unpacking poppler-data (0.4.6-4) ... Selecting previously unselected package python3.4-minimal. Preparing to unpack .../python3.4-minimal_3.4~b3-1ubuntu1_i386.deb ... Unpacking python3.4-minimal (3.4~b3-1ubuntu1) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.14-2ubuntu1_i386.deb ... Unpacking file (1:5.14-2ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.18.3.1-1ubuntu2_i386.deb ... Unpacking gettext-base (0.18.3.1-1ubuntu2) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.18.3.1-1ubuntu2_i386.deb ... Unpacking gettext (0.18.3.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu2ubuntu1_all.deb ... Unpacking po-debconf (1.0.16+nmu2ubuntu1) ... Selecting previously unselected package python3.4. Preparing to unpack .../python3.4_3.4~b3-1ubuntu1_i386.deb ... Unpacking python3.4 (3.4~b3-1ubuntu1) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../python3-minimal_3.4~b2-0ubuntu1_i386.deb ... Unpacking python3-minimal (3.4~b2-0ubuntu1) ... Selecting previously unselected package libpython3-stdlib:i386. Preparing to unpack .../libpython3-stdlib_3.4~b2-0ubuntu1_i386.deb ... Unpacking libpython3-stdlib:i386 (3.4~b2-0ubuntu1) ... Selecting previously unselected package dh-python. Preparing to unpack .../dh-python_1.20131021-2ubuntu2_all.deb ... Unpacking dh-python (1.20131021-2ubuntu2) ... Selecting previously unselected package python3. Preparing to unpack .../python3_3.4~b2-0ubuntu1_i386.deb ... Unpacking python3 (3.4~b2-0ubuntu1) ... Selecting previously unselected package apparmor-easyprof. Preparing to unpack .../apparmor-easyprof_2.8.0-0ubuntu38_all.deb ... Unpacking apparmor-easyprof (2.8.0-0ubuntu38) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.8.0-0ubuntu38_all.deb ... Unpacking dh-apparmor (2.8.0-0ubuntu38) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20131127ubuntu2_all.deb ... Unpacking debhelper (9.20131127ubuntu2) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../emacsen-common_2.0.7_all.deb ... Unpacking emacsen-common (2.0.7) ... Selecting previously unselected package emacs23-common-non-dfsg. Preparing to unpack .../emacs23-common-non-dfsg_23.4+1-1_all.deb ... Unpacking emacs23-common-non-dfsg (23.4+1-1) ... Selecting previously unselected package emacs23-common. Preparing to unpack .../emacs23-common_23.4+1-4.1ubuntu1_all.deb ... Unpacking emacs23-common (23.4+1-4.1ubuntu1) ... Selecting previously unselected package emacs23-bin-common. Preparing to unpack .../emacs23-bin-common_23.4+1-4.1ubuntu1_i386.deb ... Unpacking emacs23-bin-common (23.4+1-4.1ubuntu1) ... Selecting previously unselected package emacs23-nox. Preparing to unpack .../emacs23-nox_23.4+1-4.1ubuntu1_i386.deb ... Unpacking emacs23-nox (23.4+1-4.1ubuntu1) ... Selecting previously unselected package libijs-0.35. Preparing to unpack .../libijs-0.35_0.35-8build1_i386.deb ... Unpacking libijs-0.35 (0.35-8build1) ... Selecting previously unselected package libjbig2dec0. Preparing to unpack .../libjbig2dec0_0.11+20120125-1ubuntu1_i386.deb ... Unpacking libjbig2dec0 (0.11+20120125-1ubuntu1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../libgs9-common_9.10~dfsg-0ubuntu7_all.deb ... Unpacking libgs9-common (9.10~dfsg-0ubuntu7) ... Selecting previously unselected package libgs9. Preparing to unpack .../libgs9_9.10~dfsg-0ubuntu7_i386.deb ... Unpacking libgs9 (9.10~dfsg-0ubuntu7) ... Selecting previously unselected package libintl-perl. Preparing to unpack .../libintl-perl_1.23-1build1_all.deb ... Unpacking libintl-perl (1.23-1build1) ... Selecting previously unselected package libkpathsea6. Preparing to unpack .../libkpathsea6_2013.20130729.30972-2build2_i386.deb ... Unpacking libkpathsea6 (2013.20130729.30972-2build2) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../libpaper-utils_1.1.24+nmu2ubuntu3_i386.deb ... Unpacking libpaper-utils (1.1.24+nmu2ubuntu3) ... Selecting previously unselected package libptexenc1. Preparing to unpack .../libptexenc1_2013.20130729.30972-2build2_i386.deb ... Unpacking libptexenc1 (2013.20130729.30972-2build2) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../libtext-unidecode-perl_0.04-2_all.deb ... Unpacking libtext-unidecode-perl (0.04-2) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../libxml-namespacesupport-perl_1.11-1_all.deb ... Unpacking libxml-namespacesupport-perl (1.11-1) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../libxml-sax-base-perl_1.07-1_all.deb ... Unpacking libxml-sax-base-perl (1.07-1) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../libxml-sax-perl_0.99+dfsg-2ubuntu1_all.deb ... Unpacking libxml-sax-perl (0.99+dfsg-2ubuntu1) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../libxml-libxml-perl_2.0108+dfsg-1_i386.deb ... Unpacking libxml-libxml-perl (2.0108+dfsg-1) ... Selecting previously unselected package tex-common. Preparing to unpack .../tex-common_4.04_all.deb ... Unpacking tex-common (4.04) ... Selecting previously unselected package luatex. Preparing to unpack .../luatex_0.76.0-3ubuntu1_i386.deb ... Unpacking luatex (0.76.0-3ubuntu1) ... Selecting previously unselected package texi2html. Preparing to unpack .../texi2html_1.82+dfsg1-3_all.deb ... Unpacking texi2html (1.82+dfsg1-3) ... Selecting previously unselected package texinfo. Preparing to unpack .../texinfo_5.2.0.dfsg.1-2_i386.deb ... Unpacking texinfo (5.2.0.dfsg.1-2) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../xdg-utils_1.1.0~rc1-2ubuntu7_all.deb ... Unpacking xdg-utils (1.1.0~rc1-2ubuntu7) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../texlive-binaries_2013.20130729.30972-2build2_i386.deb ... Unpacking texlive-binaries (2013.20130729.30972-2build2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../texlive-base_2013.20140123-1_all.deb ... Unpacking texlive-base (2013.20140123-1) ... Selecting previously unselected package texlive-generic-recommended. Preparing to unpack .../texlive-generic-recommended_2013.20140123-1_all.deb ... Unpacking texlive-generic-recommended (2013.20140123-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../texlive-latex-base_2013.20140123-1_all.deb ... Unpacking texlive-latex-base (2013.20140123-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../texlive-latex-recommended_2013.20140123-1_all.deb ... Unpacking texlive-latex-recommended (2013.20140123-1) ... Setting up libexpat1:i386 (2.1.0-4ubuntu1) ... Setting up libmagic1:i386 (1:5.14-2ubuntu1) ... Setting up libssl1.0.0:i386 (1.0.1f-1ubuntu1) ... Setting up libasprintf0c2:i386 (0.18.3.1-1ubuntu2) ... Setting up libglib2.0-0:i386 (2.39.3-0ubuntu4) ... No schema files found: doing nothing. Setting up libpipeline1:i386 (1.2.6-1) ... Setting up libxau6:i386 (1:1.0.8-1) ... Setting up libxdmcp6:i386 (1:1.1.1-1) ... Setting up libxcb1:i386 (1.10-2ubuntu1) ... Setting up libx11-data (2:1.6.2-1ubuntu2) ... Setting up libx11-6:i386 (2:1.6.2-1ubuntu2) ... Setting up libxext6:i386 (2:1.3.2-1) ... Setting up libxml2:i386 (2.9.1+dfsg1-3ubuntu3) ... Setting up groff-base (1.22.2-5) ... Setting up bsdmainutils (9.0.5ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.6.6-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libasound2-data (1.0.27.2-3ubuntu1) ... Setting up libasound2:i386 (1.0.27.2-3ubuntu1) ... Setting up libavahi-common-data:i386 (0.6.31-4ubuntu1) ... Setting up libavahi-common3:i386 (0.6.31-4ubuntu1) ... Setting up libavahi-client3:i386 (0.6.31-4ubuntu1) ... Setting up fonts-dejavu-core (2.34-1ubuntu1) ... Setting up ucf (3.0027+nmu1) ... Setting up fontconfig-config (2.11.0-0ubuntu4) ... Setting up libfreetype6:i386 (2.5.2-1ubuntu1) ... Setting up libfontconfig1:i386 (2.11.0-0ubuntu4) ... Setting up libpixman-1-0:i386 (0.30.2-2ubuntu1) ... Setting up libxcb-render0:i386 (1.10-2ubuntu1) ... Setting up libxcb-shm0:i386 (1.10-2ubuntu1) ... Setting up libxrender1:i386 (1:0.9.8-1) ... Setting up libcairo2:i386 (1.12.16-0ubuntu2) ... Setting up libcroco3:i386 (0.6.8-2ubuntu1) ... Setting up libcups2:i386 (1.7.1-2git1) ... Setting up libjpeg-turbo8:i386 (1.3.0-0ubuntu2) ... Setting up libjpeg8:i386 (8c-2ubuntu8) ... Setting up libjbig0:i386 (2.0-2ubuntu4) ... Setting up libtiff5:i386 (4.0.3-7) ... Setting up libcupsfilters1:i386 (1.0.43-1) ... Setting up libcupsimage2:i386 (1.7.1-2git1) ... Setting up libgpm2:i386 (1.20.4-6.1) ... Setting up libgraphite2-3:i386 (1.2.4-1ubuntu1) ... Setting up libharfbuzz0b:i386 (0.9.25-1ubuntu1) ... Setting up x11-common (1:7.7+1ubuntu8) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:i386 (2:1.0.8-2) ... Setting up libicu52:i386 (52.1-3) ... Setting up liblcms2-2:i386 (2.5-0ubuntu4) ... Setting up libmpdec2:i386 (2.4.0-6) ... Setting up libpaper1:i386 (1.1.24+nmu2ubuntu3) ... Creating config file /etc/papersize with new version Setting up libpoppler43:i386 (0.24.3-0ubuntu12) ... Setting up libpython3.4-minimal:i386 (3.4~b3-1ubuntu1) ... Setting up mime-support (3.54ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libpython3.4-stdlib:i386 (3.4~b3-1ubuntu1) ... Setting up libsm6:i386 (2:1.2.1-2) ... Setting up libunistring0:i386 (0.9.3-5ubuntu3) ... Setting up libxt6:i386 (1:1.1.4-1) ... Setting up libxmu6:i386 (2:1.1.1-1) ... Setting up libxpm4:i386 (1:3.5.10-1) ... Setting up libxaw7:i386 (2:1.0.12-1) ... Setting up poppler-data (0.4.6-4) ... Setting up python3.4-minimal (3.4~b3-1ubuntu1) ... Setting up file (1:5.14-2ubuntu1) ... Setting up gettext-base (0.18.3.1-1ubuntu2) ... Setting up gettext (0.18.3.1-1ubuntu2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up python3.4 (3.4~b3-1ubuntu1) ... Setting up python3-minimal (3.4~b2-0ubuntu1) ... Setting up libpython3-stdlib:i386 (3.4~b2-0ubuntu1) ... Setting up emacsen-common (2.0.7) ... Setting up emacs23-common-non-dfsg (23.4+1-1) ... Setting up emacs23-common (23.4+1-4.1ubuntu1) ... Setting up emacs23-bin-common (23.4+1-4.1ubuntu1) ... update-alternatives: using /usr/bin/b2m.emacs23 to provide /usr/bin/b2m (b2m) in auto mode update-alternatives: using /usr/bin/ctags.emacs23 to provide /usr/bin/ctags (ctags) in auto mode update-alternatives: using /usr/bin/ebrowse.emacs23 to provide /usr/bin/ebrowse (ebrowse) in auto mode update-alternatives: using /usr/bin/emacsclient.emacs23 to provide /usr/bin/emacsclient (emacsclient) in auto mode update-alternatives: using /usr/bin/etags.emacs23 to provide /usr/bin/etags (etags) in auto mode update-alternatives: using /usr/bin/grep-changelog.emacs23 to provide /usr/bin/grep-changelog (grep-changelog) in auto mode update-alternatives: using /usr/bin/rcs-checkin.emacs23 to provide /usr/bin/rcs-checkin (rcs-checkin) in auto mode Setting up emacs23-nox (23.4+1-4.1ubuntu1) ... update-alternatives: using /usr/bin/emacs23-nox to provide /usr/bin/emacs (emacs) in auto mode update-alternatives: using /usr/bin/emacs23 to provide /usr/bin/editor (editor) in auto mode Install emacsen-common for emacs23 emacsen-common: Handling install of emacsen flavor emacs23 Wrote /etc/emacs23/site-start.d/00debian-vars.elc Wrote /usr/share/emacs23/site-lisp/debian-startup.elc Setting up libijs-0.35 (0.35-8build1) ... Setting up libjbig2dec0 (0.11+20120125-1ubuntu1) ... Setting up libgs9-common (9.10~dfsg-0ubuntu7) ... update-alternatives: using /usr/share/ghostscript/9.10 to provide /usr/share/ghostscript/current (ghostscript-current) in auto mode Setting up libgs9 (9.10~dfsg-0ubuntu7) ... Setting up libintl-perl (1.23-1build1) ... Setting up libkpathsea6 (2013.20130729.30972-2build2) ... Setting up libpaper-utils (1.1.24+nmu2ubuntu3) ... Setting up libptexenc1 (2013.20130729.30972-2build2) ... Setting up libtext-unidecode-perl (0.04-2) ... Setting up libxml-namespacesupport-perl (1.11-1) ... Setting up libxml-sax-base-perl (1.07-1) ... Setting up libxml-sax-perl (0.99+dfsg-2ubuntu1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::SAX::PurePerl with priority 10... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Creating config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up libxml-libxml-perl (2.0108+dfsg-1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX::Parser with priority 50... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX with priority 50... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Replacing config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up tex-common (4.04) ... 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 luatex (0.76.0-3ubuntu1) ... texlive-base is not ready, cannot create formats Setting up texi2html (1.82+dfsg1-3) ... Setting up texinfo (5.2.0.dfsg.1-2) ... Running mktexlsr. This may take some time. ... done. Setting up xdg-utils (1.1.0~rc1-2ubuntu7) ... Setting up texlive-binaries (2013.20130729.30972-2build2) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Building format(s) --refresh. This may take some time... done. Setting up texlive-base (2013.20140123-1) ... /usr/bin/tl-paper: setting paper size for dvips to a4. /usr/bin/tl-paper: setting paper size for dvipdfmx to a4. /usr/bin/tl-paper: setting paper size for xdvi to a4. /usr/bin/tl-paper: setting paper size for pdftex to a4. Running mktexlsr. This may take some time... done. Building format(s) --all. This may take some time... done. /var/lib/dpkg/info/texlive-base.postinst: 230: [: missing ] Processing triggers for tex-common (4.04) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-generic-recommended (2013.20140123-1) ... Setting up texlive-latex-base (2013.20140123-1) ... Running mktexlsr. This may take some time... done. Building format(s) --all --cnffile /etc/texmf/fmt.d/10texlive-latex-base.cnf. This may take some time... done. Processing triggers for tex-common (4.04) ... Running mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-latex-recommended (2013.20140123-1) ... Processing triggers for tex-common (4.04) ... Running mktexlsr. This may take some time... done. Setting up python3 (3.4~b2-0ubuntu1) ... running python rtupdate hooks for python3.4... Exception ignored in: > Traceback (most recent call last): File "/usr/lib/python3.4/subprocess.py", line 897, in __del__ TypeError: 'NoneType' object is not callable running python post-rtupdate hooks for python3.4... Exception ignored in: > Traceback (most recent call last): File "/usr/lib/python3.4/subprocess.py", line 897, in __del__ TypeError: 'NoneType' object is not callable Setting up apparmor-easyprof (2.8.0-0ubuntu38) ... Setting up dh-apparmor (2.8.0-0ubuntu38) ... Setting up debhelper (9.20131127ubuntu2) ... Setting up dh-python (1.20131021-2ubuntu2) ... Exception ignored in: > Traceback (most recent call last): File "/usr/lib/python3.4/subprocess.py", line 897, in __del__ TypeError: 'NoneType' object is not callable Processing triggers for libc-bin (2.18-0ubuntu6) ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.18-0ubuntu6 make_3.81-8.2ubuntu3 dpkg-dev_1.17.5ubuntu2 gcc-4.8_4.8.2-14ubuntu4 g++-4.8_4.8.2-14ubuntu4 binutils_2.24-2ubuntu3 libstdc++-4.8-dev_4.8.2-14ubuntu4 libstdc++6_4.9-20140125-0ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt gpgv: Signature made Sat May 18 08:23:41 2013 UTC using RSA key ID 49881AD3 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./proofgeneral_4.3~pre130510-1.dsc dpkg-source: info: extracting proofgeneral in proofgeneral-4.3~pre130510 dpkg-source: info: unpacking proofgeneral_4.3~pre130510.orig.tar.gz dpkg-source: info: unpacking proofgeneral_4.3~pre130510-1.debian.tar.gz dpkg-source: info: applying restrict-installed-provers.patch dpkg-source: info: applying dont-install-mmm-mode.patch dpkg-source: info: applying fix-package-name-in-install-path.patch dpkg-source: info: applying dont-install-elc.patch dpkg-source: info: applying only-install-simplified-pg-script dpkg-source: info: applying debian-specific-site-init.patch dpkg-source: info: applying prepare-user-manual dpkg-source: info: applying install-examples.patch dpkg-source: info: applying fix-texinfo-5-1-bug.patch dpkg-source: info: applying pg-image-bug.patch dpkg-source: info: applying smartly-enable-prooftree.patch dpkg-buildpackage: source package proofgeneral dpkg-buildpackage: source version 4.3~pre130510-1 dpkg-buildpackage: source distribution unstable dpkg-source --before-build proofgeneral-4.3~pre130510 dpkg-buildpackage: host architecture i386 /usr/bin/fakeroot debian/rules clean dh clean dh_testdir dh_auto_clean make -j1 distclean make[1]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510' ***** CLEANING UP INTERMEDIATE FILES **** rm -f doc/ProofGeneralPortrait.eps.gz rm -f ../web/ProofGeneral rm -rf doc/html doc/proofgeneral.pdf doc/proofgeneral.info rm -f coq/coq-abbrev.elc coq/coq-autotest.elc coq/coq-compile-common.elc coq/coq-db.elc coq/coq-indent.elc coq/coq-local-vars.elc coq/coq-mmm.elc coq/coq-par-compile.elc coq/coq-seq-compile.elc coq/coq-smie-lexer.elc coq/coq-syntax.elc coq/coq-unicode-tokens.elc coq/coq.elc generic/pg-assoc.elc generic/pg-autotest.elc generic/pg-custom.elc generic/pg-goals.elc generic/pg-movie.elc generic/pg-pamacs.elc generic/pg-pbrpm.elc generic/pg-pgip.elc generic/pg-response.elc generic/pg-user.elc generic/pg-vars.elc generic/pg-xml.elc generic/proof-autoloads.elc generic/proof-auxmodes.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-faces.elc generic/proof-indent.elc generic/proof-maths-menu.elc generic/proof-menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof-shell.elc generic/proof-site.elc generic/proof-splash.elc generic/proof-syntax.elc generic/proof-toolbar.elc generic/proof-tree.elc generic/proof-unicode-tokens.elc generic/proof-useropts.elc generic/proof-utils.elc generic/proof.elc lib/bufhist.elc lib/holes.elc lib/local-vars-list.elc lib/maths-menu.elc lib/pg-dev.elc lib/pg-fontsets.elc lib/proof-compat.elc lib/scomint.elc lib/span.elc lib/texi-docstring-magic.elc lib/unicode-chars.elc lib/unicode-tokens.elc .\#* */.\#* */.autotest.log */.profile.log (cd doc; make clean) make[2]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" clean make[3]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510/doc' rm -f ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.kys ProofGeneral.pg ProofGeneral.fns ProofGeneral.vrs ProofGeneral.cps ProofGeneral.aux ProofGeneral.log ProofGeneral.cp ProofGeneral.cp0 ProofGeneral.toc make[3]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make[2]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510/doc' ***** CLEANING UP ALL JUNK FILES **** find . \( -name '*~' -o -name '#*#' -o -name '\.\#*' -o -name '\.*\.log' \) -print | xargs rm -f (cd doc; make distclean) make[2]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" distclean make[3]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510/doc' rm -f ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.kys ProofGeneral.pg ProofGeneral.fns ProofGeneral.vrs ProofGeneral.cps ProofGeneral.aux ProofGeneral.log ProofGeneral.cp ProofGeneral.cp0 ProofGeneral.toc rm -rf ProofGeneral.info* ProofGeneral.pdf ProofGeneral rm -f *~ make[3]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make[2]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make[1]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510' dh_clean rm -f debian/proofgeneral.substvars rm -f debian/proofgeneral.*.debhelper rm -rf debian/proofgeneral/ rm -f debian/proofgeneral-doc.substvars rm -f debian/proofgeneral-doc.*.debhelper rm -rf debian/proofgeneral-doc/ rm -f debian/*.debhelper.log rm -f debian/files find . \( \( -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) rm -f *-stamp debian/rules build dh build dh_testdir dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510' make prepare-doc make[2]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510' cp doc/ProofGeneral.jpg doc/ProofGeneral-image.jpg (cd doc; make EMACS=emacs info) make[3]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" info make[4]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510/doc' makeinfo ProofGeneral.texi make[4]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make[3]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510/doc' (cd doc; make EMACS=emacs pdf) make[3]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" pdf make[4]: Entering directory `/build/buildd/proofgeneral-4.3~pre130510/doc' texi2pdf ProofGeneral.texi This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2013-09-11.11]: pdf, fonts, markup, glyphs, page headings, tables, conditionals, indexing, sectioning, toc, environments, defuns, macros, cross references, insertions, (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex This is `epsf.tex' v2.7.4 <14 February 2011> ) localization, formatting, and turning on texinfo input format.) <./ProofGener al-image.jpg> [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (Preface) Cross reference values unknown; you must run TeX again. [1] [2] Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] Underfull \hbox (badness 10000) in paragraph at lines 1683--1687 []@textsl warning[]@textrm : this com-mand risks spoil-ing syn-chro-niza-tion if the test [18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28] [29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37] [38] [39] Chapter 8 [40] [41] [42] [43] [44] [45] Underfull \hbox (badness 10000) in paragraph at lines 3654--3657 []@textrm This op-tion is com-pat-i-ble with `@texttt proof-prog-name-ask[][]@ textrm '[]. No ef-fect if [46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11 [55] [56] [57] [58] [59] [60] Underfull \hbox (badness 10000) in paragraph at lines 4656--4658 []@textrm After the sub-sti-tu-tion the com-mand can be changed in the mini-bu f-fer if Underfull \hbox (badness 10000) in paragraph at lines 4666--4668 []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings -> C onfirm External [61] [62] [63] Chapter 12 [64] [65] [66] kpathsea: Running mktextfm ecrm1095 mktextfm: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1; nonstopmode; input ecrm1095 This is METAFONT, Version 2.718281 (TeX Live 2013/Debian) kpathsea: Running mktexmf ecrm1095 ! I can't find file `ecrm1095'. <*> ...ljfour; mag:=1; nonstopmode; input ecrm1095 Please type another input file name ! Emergency stop. <*> ...ljfour; mag:=1; nonstopmode; input ecrm1095 Transcript written on mfput.log. grep: ecrm1095.log: No such file or directory mktextfm: `mf-nowin -progname=mf \mode:=ljfour; mag:=1; nonstopmode; input ecrm1095' failed to make ecrm1095.tfm. kpathsea: Appending font creation commands to missfont.log. ./ProofGeneral.texi:5154: Font @thisecfont=ecrm1095 at 11.0pt not loadable: Met ric (TFM) file not found. @thisecfont @{->{@ifmonospace @else @ecfont @fi @char 123} l.5154 Inserts "@@@{ text ""@}" (anti-quotation). ? ./ProofGeneral.texi:5154: Emergency stop. @thisecfont @{->{@ifmonospace @else @ecfont @fi @char 123} l.5154 Inserts "@@@{ text ""@}" (anti-quotation). ./ProofGeneral.texi:5154: ==> Fatal error occurred, no output PDF file produce d! Transcript written on ProofGeneral.log. /usr/bin/texi2dvi: pdfetex exited with bad status, quitting. make[4]: *** [ProofGeneral.pdf] Error 1 make[4]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make[3]: *** [pdf] Error 2 make[3]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510/doc' make[2]: *** [doc.pdf] Error 2 make[2]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510' make[1]: *** [override_dh_auto_build] Error 2 make[1]: Leaving directory `/build/buildd/proofgeneral-4.3~pre130510' make: *** [build] Error 2 dpkg-buildpackage: error: debian/rules build gave error exit status 2 ****************************************************************************** Build finished at 20140203-1211 FAILED [dpkg-buildpackage died] ****************************************************************************** Finished at 20140203-1211 Build needed 00:00:05, 6368k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5519708'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5519708/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5519708'] Unmounting chroot for build PACKAGEBUILD-5519708... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5519708'] Removing build PACKAGEBUILD-5519708