RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux kishi09 3.2.0-51-highbank #77-Ubuntu SMP PREEMPT Thu Jul 25 04:09:51 UTC 2013 armv7l Buildd toolchain package versions: launchpad-buildd_119~0.IS.08.04 python-lpbuildd_119~0.IS.08.04 bzr_2.5.1-0ubuntu2. Syncing the system clock with the buildd NTP service... 23 Dec 22:45:34 ntpdate[2743]: adjust time server 10.211.37.1 offset -0.000321 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5380206', '/home/buildd/filecache-default/5fc87fefab87aacf95979da3309a477fbb389d8a'] Unpacking chroot for build PACKAGEBUILD-5380206 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5380206'] Mounting chroot for build PACKAGEBUILD-5380206 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5380206', 'deb http://ftpmaster.internal/ubuntu trusty main universe', 'deb http://ftpmaster.internal/ubuntu trusty-security main universe', 'deb http://ftpmaster.internal/ubuntu trusty-updates main universe', 'deb http://ftpmaster.internal/ubuntu trusty-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-5380206 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5380206', 'armhf'] Updating debian chroot for build PACKAGEBUILD-5380206 Ign http://ftpmaster.internal trusty InRelease Ign http://ftpmaster.internal trusty-security InRelease Ign http://ftpmaster.internal trusty-updates InRelease Ign http://ftpmaster.internal trusty-proposed InRelease Get:1 http://ftpmaster.internal trusty Release.gpg [933 B] Get:2 http://ftpmaster.internal trusty-security Release.gpg [933 B] Get:3 http://ftpmaster.internal trusty-updates Release.gpg [933 B] Get:4 http://ftpmaster.internal trusty-proposed Release.gpg [933 B] Get:5 http://ftpmaster.internal trusty Release [58.5 kB] Get:6 http://ftpmaster.internal trusty-security Release [58.5 kB] Get:7 http://ftpmaster.internal trusty-updates Release [58.5 kB] Ign http://archive-team.internal trusty InRelease Ign http://archive-team.internal trusty Release.gpg Get:8 http://ftpmaster.internal trusty-proposed Release [58.5 kB] Get:9 http://archive-team.internal trusty Release [730 B] Get:10 http://archive-team.internal trusty/main armhf Packages Ign http://archive-team.internal trusty/main Translation-en Get:11 http://ftpmaster.internal trusty/main armhf Packages [1238 kB] Get:12 http://ftpmaster.internal trusty/universe armhf Packages [5652 kB] Get:13 http://ftpmaster.internal trusty/main Translation-en [726 kB] Get:14 http://ftpmaster.internal trusty/universe Translation-en [4007 kB] Get:15 http://ftpmaster.internal trusty-security/main armhf Packages [14 B] Get:16 http://ftpmaster.internal trusty-security/universe armhf Packages [14 B] Get:17 http://ftpmaster.internal trusty-security/main Translation-en [14 B] Get:18 http://ftpmaster.internal trusty-security/universe Translation-en [14 B] Get:19 http://ftpmaster.internal trusty-updates/main armhf Packages [14 B] Get:20 http://ftpmaster.internal trusty-updates/universe armhf Packages [14 B] Get:21 http://ftpmaster.internal trusty-updates/main Translation-en [14 B] Get:22 http://ftpmaster.internal trusty-updates/universe Translation-en [14 B] Get:23 http://ftpmaster.internal trusty-proposed/main armhf Packages [31.4 kB] Get:24 http://ftpmaster.internal trusty-proposed/universe armhf Packages [278 kB] Get:25 http://ftpmaster.internal trusty-proposed/main Translation-en [16.6 kB] Get:26 http://ftpmaster.internal trusty-proposed/universe Translation-en [185 kB] Fetched 12.4 MB in 16s (753 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: apt apt-transport-https binutils bsdutils build-essential coreutils cpp cpp-4.8 e2fslibs e2fsprogs fakeroot g++ g++-4.8 gcc gcc-4.8 gcc-4.8-base gnupg gpgv hostname klibc-utils libapt-pkg4.12 libasan0 libatomic1 libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcomerr2 libcurl3-gnutls libdb5.3 libdrm2 libfakeroot libffi6 libgcc-4.8-dev libgcc1 libgcrypt11 libgmp10 libgomp1 libklibc liblockfile-bin liblockfile1 libmount1 libplymouth2 libsqlite3-0 libss2 libstdc++-4.8-dev libstdc++6 libustr-1.0-1 libuuid1 linux-libc-dev mount multiarch-support perl perl-base perl-modules plymouth sed tar tzdata util-linux 61 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 37.3 MB of archives. After this operation, 1197 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main coreutils armhf 8.21-1ubuntu4 [1011 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libc6-dev armhf 2.18-0ubuntu2 [1576 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libc-dev-bin armhf 2.18-0ubuntu2 [60.4 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libc6 armhf 2.18-0ubuntu2 [3912 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libc-bin armhf 2.18-0ubuntu2 [992 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main linux-libc-dev armhf 3.12.0-7.15 [708 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libgomp1 armhf 4.8.2-10ubuntu2 [22.2 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libasan0 armhf 4.8.2-10ubuntu2 [56.9 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.8-base armhf 4.8.2-10ubuntu2 [15.1 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libgcc1 armhf 1:4.8.2-10ubuntu2 [40.5 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libatomic1 armhf 4.8.2-10ubuntu2 [6042 B] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main cpp-4.8 armhf 4.8.2-10ubuntu2 [3937 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libstdc++-4.8-dev armhf 4.8.2-10ubuntu2 [1096 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main g++-4.8 armhf 4.8.2-10ubuntu2 [5003 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.8 armhf 4.8.2-10ubuntu2 [4328 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libgcc-4.8-dev armhf 4.8.2-10ubuntu2 [209 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main libstdc++6 armhf 4.8.2-10ubuntu2 [221 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libgmp10 armhf 2:5.1.2+dfsg-3ubuntu3 [188 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main binutils armhf 2.24-2ubuntu2 [2002 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main e2fslibs armhf 1.42.8-1ubuntu3 [166 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main e2fsprogs armhf 1.42.8-1ubuntu3 [632 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main hostname armhf 3.15ubuntu1 [10.7 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main mount armhf 2.20.1-5.1ubuntu11 [108 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main perl armhf 5.18.1-5 [2098 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main perl-base armhf 5.18.1-5 [1065 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main perl-modules all 5.18.1-5 [2680 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main libdb5.3 armhf 5.3.28-3ubuntu1 [568 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main sed armhf 4.2.2-2ubuntu2 [133 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main tar armhf 1.27-4 [170 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main tzdata all 2013h-2 [206 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main util-linux armhf 2.20.1-5.1ubuntu11 [435 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libapt-pkg4.12 armhf 0.9.14.1ubuntu1 [583 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main gpgv armhf 1.4.15-2ubuntu1 [133 kB] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main gnupg armhf 1.4.15-2ubuntu1 [551 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main apt armhf 0.9.14.1ubuntu1 [932 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main bsdutils armhf 1:2.20.1-5.1ubuntu11 [34.5 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty/main libuuid1 armhf 2.20.1-5.1ubuntu11 [11.1 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty/main libblkid1 armhf 2.20.1-5.1ubuntu11 [56.2 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/main libcomerr2 armhf 1.42.8-1ubuntu3 [60.4 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty/main libmount1 armhf 2.20.1-5.1ubuntu11 [52.1 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main libss2 armhf 1.42.8-1ubuntu3 [63.9 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main libustr-1.0-1 armhf 1.0.4-3ubuntu2 [48.8 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty/main libffi6 armhf 3.0.13-10build1 [15.1 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty/main libgcrypt11 armhf 1.5.3-2ubuntu4 [230 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty/main liblockfile-bin armhf 1.09-6ubuntu1 [10.1 kB] Get:46 http://ftpmaster.internal/ubuntu/ trusty/main liblockfile1 armhf 1.09-6ubuntu1 [7090 B] Get:47 http://ftpmaster.internal/ubuntu/ trusty/main libsqlite3-0 armhf 3.8.2-1ubuntu1 [291 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty/main libdrm2 armhf 2.4.50-1 [19.6 kB] Get:49 http://ftpmaster.internal/ubuntu/ trusty/main plymouth armhf 0.8.8-0ubuntu13 [83.1 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty/main libplymouth2 armhf 0.8.8-0ubuntu13 [64.1 kB] Get:51 http://ftpmaster.internal/ubuntu/ trusty/main libcurl3-gnutls armhf 7.34.0-1ubuntu1 [142 kB] Get:52 http://ftpmaster.internal/ubuntu/ trusty/main multiarch-support armhf 2.18-0ubuntu2 [4482 B] Get:53 http://ftpmaster.internal/ubuntu/ trusty/main klibc-utils armhf 2.0.2-1ubuntu2 [98.0 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty/main libklibc armhf 2.0.2-1ubuntu2 [38.4 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty/main apt-transport-https armhf 0.9.14.1ubuntu1 [22.8 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty/main cpp armhf 4:4.8.2-1ubuntu2 [27.7 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty/main gcc armhf 4:4.8.2-1ubuntu2 [4994 B] Get:58 http://ftpmaster.internal/ubuntu/ trusty/main g++ armhf 4:4.8.2-1ubuntu2 [1502 B] Get:59 http://ftpmaster.internal/ubuntu/ trusty/main build-essential armhf 11.6ubuntu6 [4822 B] Get:60 http://ftpmaster.internal/ubuntu/ trusty/main libfakeroot armhf 1.20-3ubuntu1 [21.1 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty/main fakeroot armhf 1.20-3ubuntu1 [55.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 37.3 MB in 6s (6007 kB/s) (Reading database ... 11801 files and directories currently installed.) Preparing to replace coreutils 8.21-1ubuntu3 (using .../coreutils_8.21-1ubuntu4_armhf.deb) ... Unpacking replacement coreutils ... Setting up coreutils (8.21-1ubuntu4) ... (Reading database ... 11801 files and directories currently installed.) Preparing to replace libc6-dev:armhf 2.17-93ubuntu4 (using .../libc6-dev_2.18-0ubuntu2_armhf.deb) ... Unpacking replacement libc6-dev:armhf ... Preparing to replace libc-dev-bin 2.17-93ubuntu4 (using .../libc-dev-bin_2.18-0ubuntu2_armhf.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libc6:armhf 2.17-93ubuntu4 (using .../libc6_2.18-0ubuntu2_armhf.deb) ... Checking for services that may need to be restarted... Checking init scripts... Checking for services that may need to be restarted... Checking init scripts... Nothing to restart. Unpacking replacement libc6:armhf ... Preparing to replace libgcc1:armhf 1:4.8.2-1ubuntu2 (using .../libgcc1_1%3a4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement libgcc1:armhf ... Preparing to replace gcc-4.8-base:armhf 4.8.2-1ubuntu2 (using .../gcc-4.8-base_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement gcc-4.8-base:armhf ... Setting up gcc-4.8-base:armhf (4.8.2-10ubuntu2) ... Setting up libc6:armhf (2.18-0ubuntu2) ... Checking for services that may need to be restarted... Checking init scripts... Nothing to restart. Setting up libgcc1:armhf (1:4.8.2-10ubuntu2) ... Processing triggers for libc-bin ... (Reading database ... 11803 files and directories currently installed.) Preparing to replace libc-bin 2.17-93ubuntu4 (using .../libc-bin_2.18-0ubuntu2_armhf.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.18-0ubuntu2) ... (Reading database ... 11803 files and directories currently installed.) Preparing to replace linux-libc-dev:armhf 3.12.0-5.13 (using .../linux-libc-dev_3.12.0-7.15_armhf.deb) ... Unpacking replacement linux-libc-dev:armhf ... Preparing to replace libgomp1:armhf 4.8.2-1ubuntu2 (using .../libgomp1_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement libgomp1:armhf ... Preparing to replace libasan0:armhf 4.8.2-1ubuntu2 (using .../libasan0_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement libasan0:armhf ... Preparing to replace libatomic1:armhf 4.8.2-1ubuntu2 (using .../libatomic1_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement libatomic1:armhf ... Preparing to replace cpp-4.8 4.8.2-1ubuntu2 (using .../cpp-4.8_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement cpp-4.8 ... Preparing to replace libstdc++-4.8-dev:armhf 4.8.2-1ubuntu2 (using .../libstdc++-4.8-dev_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement libstdc++-4.8-dev:armhf ... Preparing to replace g++-4.8 4.8.2-1ubuntu2 (using .../g++-4.8_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement g++-4.8 ... Preparing to replace gcc-4.8 4.8.2-1ubuntu2 (using .../gcc-4.8_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement gcc-4.8 ... Preparing to replace libgcc-4.8-dev:armhf 4.8.2-1ubuntu2 (using .../libgcc-4.8-dev_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement libgcc-4.8-dev:armhf ... Preparing to replace libstdc++6:armhf 4.8.2-1ubuntu2 (using .../libstdc++6_4.8.2-10ubuntu2_armhf.deb) ... Unpacking replacement libstdc++6:armhf ... Setting up libstdc++6:armhf (4.8.2-10ubuntu2) ... Processing triggers for libc-bin ... (Reading database ... 11818 files and directories currently installed.) Preparing to replace libgmp10:armhf 2:5.1.2+dfsg-3ubuntu2 (using .../libgmp10_2%3a5.1.2+dfsg-3ubuntu3_armhf.deb) ... Unpacking replacement libgmp10:armhf ... Preparing to replace binutils 2.24-1ubuntu2 (using .../binutils_2.24-2ubuntu2_armhf.deb) ... Unpacking replacement binutils ... Preparing to replace e2fslibs:armhf 1.42.8-1ubuntu1 (using .../e2fslibs_1.42.8-1ubuntu3_armhf.deb) ... Unpacking replacement e2fslibs:armhf ... Setting up e2fslibs:armhf (1.42.8-1ubuntu3) ... Processing triggers for libc-bin ... (Reading database ... 11818 files and directories currently installed.) Preparing to replace e2fsprogs 1.42.8-1ubuntu1 (using .../e2fsprogs_1.42.8-1ubuntu3_armhf.deb) ... Unpacking replacement e2fsprogs ... Setting up e2fsprogs (1.42.8-1ubuntu3) ... (Reading database ... 11818 files and directories currently installed.) Preparing to replace hostname 3.13ubuntu1 (using .../hostname_3.15ubuntu1_armhf.deb) ... Unpacking replacement hostname ... Setting up hostname (3.15ubuntu1) ... (Reading database ... 11818 files and directories currently installed.) Preparing to replace mount 2.20.1-5.1ubuntu10 (using .../mount_2.20.1-5.1ubuntu11_armhf.deb) ... Unpacking replacement mount ... Setting up mount (2.20.1-5.1ubuntu11) ... (Reading database ... 11818 files and directories currently installed.) Preparing to replace perl 5.18.1-4build1 (using .../perl_5.18.1-5_armhf.deb) ... Unpacking replacement perl ... Preparing to replace perl-base 5.18.1-4build1 (using .../perl-base_5.18.1-5_armhf.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.18.1-5) ... (Reading database ... 11818 files and directories currently installed.) Preparing to replace perl-modules 5.18.1-4build1 (using .../perl-modules_5.18.1-5_all.deb) ... Unpacking replacement perl-modules ... Preparing to replace libdb5.3:armhf 5.3.28-3 (using .../libdb5.3_5.3.28-3ubuntu1_armhf.deb) ... Unpacking replacement libdb5.3:armhf ... Setting up libdb5.3:armhf (5.3.28-3ubuntu1) ... Processing triggers for libc-bin ... (Reading database ... 11818 files and directories currently installed.) Preparing to replace sed 4.2.2-2ubuntu1 (using .../sed_4.2.2-2ubuntu2_armhf.deb) ... Unpacking replacement sed ... Setting up sed (4.2.2-2ubuntu2) ... (Reading database ... 11818 files and directories currently installed.) Preparing to replace tar 1.27-3 (using .../archives/tar_1.27-4_armhf.deb) ... Unpacking replacement tar ... Setting up tar (1.27-4) ... (Reading database ... 11818 files and directories currently installed.) Preparing to replace tzdata 2013h-1ubuntu1 (using .../tzdata_2013h-2_all.deb) ... Unpacking replacement tzdata ... Setting up tzdata (2013h-2) ... Current default time zone: 'Etc/UTC' Local time is now: Mon Dec 23 22:46:53 UTC 2013. Universal Time is now: Mon Dec 23 22:46:53 UTC 2013. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 11818 files and directories currently installed.) Preparing to replace util-linux 2.20.1-5.1ubuntu10 (using .../util-linux_2.20.1-5.1ubuntu11_armhf.deb) ... Unpacking replacement util-linux ... Setting up util-linux (2.20.1-5.1ubuntu11) ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace libapt-pkg4.12:armhf 0.9.13.1~ubuntu1 (using .../libapt-pkg4.12_0.9.14.1ubuntu1_armhf.deb) ... Unpacking replacement libapt-pkg4.12:armhf ... Setting up libapt-pkg4.12:armhf (0.9.14.1ubuntu1) ... Processing triggers for libc-bin ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace gpgv 1.4.15-1.1ubuntu1 (using .../gpgv_1.4.15-2ubuntu1_armhf.deb) ... Unpacking replacement gpgv ... Setting up gpgv (1.4.15-2ubuntu1) ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace gnupg 1.4.15-1.1ubuntu1 (using .../gnupg_1.4.15-2ubuntu1_armhf.deb) ... Unpacking replacement gnupg ... Setting up gnupg (1.4.15-2ubuntu1) ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace apt 0.9.13.1~ubuntu1 (using .../apt_0.9.14.1ubuntu1_armhf.deb) ... Unpacking replacement apt ... Setting up apt (0.9.14.1ubuntu1) ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace bsdutils 1:2.20.1-5.1ubuntu10 (using .../bsdutils_1%3a2.20.1-5.1ubuntu11_armhf.deb) ... Unpacking replacement bsdutils ... Setting up bsdutils (1:2.20.1-5.1ubuntu11) ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace libuuid1:armhf 2.20.1-5.1ubuntu10 (using .../libuuid1_2.20.1-5.1ubuntu11_armhf.deb) ... Unpacking replacement libuuid1:armhf ... Setting up libuuid1:armhf (2.20.1-5.1ubuntu11) ... Processing triggers for libc-bin ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace libblkid1:armhf 2.20.1-5.1ubuntu10 (using .../libblkid1_2.20.1-5.1ubuntu11_armhf.deb) ... Unpacking replacement libblkid1:armhf ... Setting up libblkid1:armhf (2.20.1-5.1ubuntu11) ... Processing triggers for libc-bin ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace libcomerr2:armhf 1.42.8-1ubuntu1 (using .../libcomerr2_1.42.8-1ubuntu3_armhf.deb) ... Unpacking replacement libcomerr2:armhf ... Setting up libcomerr2:armhf (1.42.8-1ubuntu3) ... Processing triggers for libc-bin ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace libmount1:armhf 2.20.1-5.1ubuntu10 (using .../libmount1_2.20.1-5.1ubuntu11_armhf.deb) ... Unpacking replacement libmount1:armhf ... Setting up libmount1:armhf (2.20.1-5.1ubuntu11) ... Processing triggers for libc-bin ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace libss2:armhf 1.42.8-1ubuntu1 (using .../libss2_1.42.8-1ubuntu3_armhf.deb) ... Unpacking replacement libss2:armhf ... Setting up libss2:armhf (1.42.8-1ubuntu3) ... Processing triggers for libc-bin ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace libustr-1.0-1:armhf 1.0.4-3ubuntu1 (using .../libustr-1.0-1_1.0.4-3ubuntu2_armhf.deb) ... Unpacking replacement libustr-1.0-1:armhf ... Setting up libustr-1.0-1:armhf (1.0.4-3ubuntu2) ... Processing triggers for libc-bin ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace libffi6:armhf 3.0.13-10 (using .../libffi6_3.0.13-10build1_armhf.deb) ... Unpacking replacement libffi6:armhf ... Preparing to replace libgcrypt11:armhf 1.5.3-2ubuntu1 (using .../libgcrypt11_1.5.3-2ubuntu4_armhf.deb) ... Unpacking replacement libgcrypt11:armhf ... Preparing to replace liblockfile-bin 1.09-6 (using .../liblockfile-bin_1.09-6ubuntu1_armhf.deb) ... Unpacking replacement liblockfile-bin ... Preparing to replace liblockfile1:armhf 1.09-6 (using .../liblockfile1_1.09-6ubuntu1_armhf.deb) ... Unpacking replacement liblockfile1:armhf ... Preparing to replace libsqlite3-0:armhf 3.8.1-1ubuntu1 (using .../libsqlite3-0_3.8.2-1ubuntu1_armhf.deb) ... Unpacking replacement libsqlite3-0:armhf ... Preparing to replace libdrm2:armhf 2.4.49-2 (using .../libdrm2_2.4.50-1_armhf.deb) ... Unpacking replacement libdrm2:armhf ... Preparing to replace plymouth 0.8.8-0ubuntu11 (using .../plymouth_0.8.8-0ubuntu13_armhf.deb) ... Unpacking replacement plymouth ... Preparing to replace libplymouth2:armhf 0.8.8-0ubuntu11 (using .../libplymouth2_0.8.8-0ubuntu13_armhf.deb) ... Unpacking replacement libplymouth2:armhf ... Preparing to replace libcurl3-gnutls:armhf 7.33.0-1ubuntu1 (using .../libcurl3-gnutls_7.34.0-1ubuntu1_armhf.deb) ... Unpacking replacement libcurl3-gnutls:armhf ... Preparing to replace multiarch-support 2.17-93ubuntu4 (using .../multiarch-support_2.18-0ubuntu2_armhf.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.18-0ubuntu2) ... (Reading database ... 11822 files and directories currently installed.) Preparing to replace klibc-utils 2.0.2-1ubuntu1 (using .../klibc-utils_2.0.2-1ubuntu2_armhf.deb) ... Unpacking replacement klibc-utils ... Preparing to replace libklibc 2.0.2-1ubuntu1 (using .../libklibc_2.0.2-1ubuntu2_armhf.deb) ... Unpacking replacement libklibc ... Preparing to replace apt-transport-https 0.9.13.1~ubuntu1 (using .../apt-transport-https_0.9.14.1ubuntu1_armhf.deb) ... Unpacking replacement apt-transport-https ... Preparing to replace cpp 4:4.8.1-2ubuntu3 (using .../cpp_4%3a4.8.2-1ubuntu2_armhf.deb) ... Unpacking replacement cpp ... Preparing to replace gcc 4:4.8.1-2ubuntu3 (using .../gcc_4%3a4.8.2-1ubuntu2_armhf.deb) ... Removing old gcc doc directory. Unpacking replacement gcc ... Preparing to replace g++ 4:4.8.1-2ubuntu3 (using .../g++_4%3a4.8.2-1ubuntu2_armhf.deb) ... Unpacking replacement g++ ... Preparing to replace build-essential 11.6ubuntu5 (using .../build-essential_11.6ubuntu6_armhf.deb) ... Unpacking replacement build-essential ... Preparing to replace libfakeroot:armhf 1.20-3 (using .../libfakeroot_1.20-3ubuntu1_armhf.deb) ... Unpacking replacement libfakeroot:armhf ... Preparing to replace fakeroot 1.20-3 (using .../fakeroot_1.20-3ubuntu1_armhf.deb) ... Unpacking replacement fakeroot ... Setting up libc-dev-bin (2.18-0ubuntu2) ... Setting up linux-libc-dev:armhf (3.12.0-7.15) ... Setting up libc6-dev:armhf (2.18-0ubuntu2) ... Setting up libgomp1:armhf (4.8.2-10ubuntu2) ... Setting up libasan0:armhf (4.8.2-10ubuntu2) ... Setting up libatomic1:armhf (4.8.2-10ubuntu2) ... Setting up libgmp10:armhf (2:5.1.2+dfsg-3ubuntu3) ... Setting up cpp-4.8 (4.8.2-10ubuntu2) ... Setting up libgcc-4.8-dev:armhf (4.8.2-10ubuntu2) ... Setting up libstdc++-4.8-dev:armhf (4.8.2-10ubuntu2) ... Setting up binutils (2.24-2ubuntu2) ... Setting up gcc-4.8 (4.8.2-10ubuntu2) ... Setting up g++-4.8 (4.8.2-10ubuntu2) ... Setting up libffi6:armhf (3.0.13-10build1) ... Setting up libgcrypt11:armhf (1.5.3-2ubuntu4) ... Setting up liblockfile-bin (1.09-6ubuntu1) ... Setting up liblockfile1:armhf (1.09-6ubuntu1) ... Setting up libsqlite3-0:armhf (3.8.2-1ubuntu1) ... Setting up libdrm2:armhf (2.4.50-1) ... Setting up libplymouth2:armhf (0.8.8-0ubuntu13) ... Setting up plymouth (0.8.8-0ubuntu13) ... update-initramfs: deferring update (trigger activated) Setting up libcurl3-gnutls:armhf (7.34.0-1ubuntu1) ... Setting up libklibc (2.0.2-1ubuntu2) ... Setting up klibc-utils (2.0.2-1ubuntu2) ... Setting up apt-transport-https (0.9.14.1ubuntu1) ... Setting up cpp (4:4.8.2-1ubuntu2) ... Setting up gcc (4:4.8.2-1ubuntu2) ... Setting up g++ (4:4.8.2-1ubuntu2) ... Setting up build-essential (11.6ubuntu6) ... Setting up libfakeroot:armhf (1.20-3ubuntu1) ... Setting up fakeroot (1.20-3ubuntu1) ... Setting up perl-modules (5.18.1-5) ... Setting up perl (5.18.1-5) ... Processing triggers for libc-bin ... Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5380206', 'armhf', 'trusty-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=trusty-proposed', '--purpose=PRIMARY', '--architecture=armhf', '--comp=universe', 'alt-ergo_0.95.2-1build1.dsc'] Initiating build PACKAGEBUILD-5380206 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 3.2.0-51-highbank #77-Ubuntu SMP PREEMPT Thu Jul 25 04:09:51 UTC 2013 armv7l Automatic build of alt-ergo_0.95.2-1build1 on kishi09 by sbuild/armhf 1.170.5 Build started at 20131223-2247 ****************************************************************************** alt-ergo_0.95.2-1build1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), ocaml-nox (>= 3.11.1-3~), libocamlgraph-ocaml-dev (>= 1.1), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~), libzarith-ocaml-dev, dh-ocaml (>= 0.9.0~) Checking for already installed source dependencies... debhelper: missing ocaml-nox: missing libocamlgraph-ocaml-dev: missing liblablgtk2-gnome-ocaml-dev: missing liblablgtksourceview2-ocaml-dev: missing libzarith-ocaml-dev: missing dh-ocaml: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper ocaml-nox libocamlgraph-ocaml-dev liblablgtk2-gnome-ocaml-dev liblablgtksourceview2-ocaml-dev libzarith-ocaml-dev dh-ocaml Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: apparmor-easyprof aspell aspell-en bsdmainutils dbus dbus-x11 dh-apparmor dh-python dictionaries-common file fontconfig fontconfig-config fonts-dejavu-core gconf-service gconf-service-backend gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gconf-2.0 gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gnomekeyring-1.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 gir1.2-rsvg-2.0 groff-base intltool-debian libapparmor1 libart-2.0-2 libart-2.0-dev libasound2 libasound2-data libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client-dev libavahi-client3 libavahi-common-data libavahi-common-dev libavahi-common3 libavahi-glib-dev libavahi-glib1 libbonobo2-0 libbonobo2-common libbonobo2-dev libbonoboui2-0 libbonoboui2-common libbonoboui2-dev libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra-dev libcanberra0 libcroco3 libcups2 libdatrie1 libdbus-1-dev libdbus-glib-1-2 libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgail-common libgail-dev libgail18 libgconf-2-4 libgconf2-dev libgcrypt11-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnome-keyring-common libgnome-keyring-dev libgnome-keyring0 libgnome2-0 libgnome2-bin libgnome2-common libgnome2-dev libgnomecanvas2-0 libgnomecanvas2-common libgnomecanvas2-dev libgnomeui-0 libgnomeui-common libgnomeui-dev libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev libgnutls-dev libgnutls-openssl27 libgnutlsxx27 libgpg-error-dev libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.3-0 libice-dev libice6 libicu48 libidl-common libidl-dev libidl0 libjasper1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-gnome-ocaml liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml libltdl7 liblzo2-2 libmagic1 libncurses5-dev libogg0 liborbit-2-0 liborbit2 liborbit2-dev libp11-kit-dev libpango-1.0-0 libpango1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangox-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt-dev libpopt0 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib librsvg2-2 librsvg2-common librsvg2-dev libselinux1-dev libsepol1-dev libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtasn1-3-dev libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 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 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml man-db mime-support netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp orbit2 pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.3 python3.3-minimal shared-mime-info sound-theme-freedesktop 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 Suggested packages: aspell-doc spellutils wamerican wordlist whois vacation dh-make git ispell emacsen-common jed-extra gconf-defaults-service gettext-doc groff libasound2-plugins alsa-utils libbonobo2-bin libcairo2-doc libcanberra-gtk0 libcanberra-pulse cups-common libenchant-voikko libgail-doc libgcrypt11-doc glade glade-gnome libglib2.0-doc libgmp10-doc libmpfr-dev gnome-keyring desktop-base libgnome2-doc libgnomecanvas2-doc gnome-icon-theme libgnomeui-doc libgnomevfs2-bin libgnomevfs2-extra gamin fam gnome-mime-data gnutls26-doc gnutls-bin libgtk2.0-doc libgtksourceview2.0-doc libice-doc libjasper-runtime liblablgtk2-gl-ocaml-dev ncurses-doc ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp libpango1.0-doc imagemagick librsvg2-bin librsvg2-doc libsm-doc libxcb-doc libxext-doc less www-browser tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc binfmt-support python3-doc python3-tk python3.3-doc Recommended packages: libpam-systemd curl wget lynx-cur libasprintf-dev libgettextpo-dev enchant libgconf2-doc gvfs hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary liblablgtk2-ocaml-doc ocaml-findlib libx11-doc xml-core ledit readline-editor camlp4 libmail-sendmail-perl The following NEW packages will be installed: apparmor-easyprof aspell aspell-en bsdmainutils dbus dbus-x11 debhelper dh-apparmor dh-ocaml dh-python dictionaries-common file fontconfig fontconfig-config fonts-dejavu-core gconf-service gconf-service-backend gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gconf-2.0 gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gnomekeyring-1.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 gir1.2-rsvg-2.0 groff-base intltool-debian libapparmor1 libart-2.0-2 libart-2.0-dev libasound2 libasound2-data libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client-dev libavahi-client3 libavahi-common-data libavahi-common-dev libavahi-common3 libavahi-glib-dev libavahi-glib1 libbonobo2-0 libbonobo2-common libbonobo2-dev libbonoboui2-0 libbonoboui2-common libbonoboui2-dev libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra-dev libcanberra0 libcroco3 libcups2 libdatrie1 libdbus-1-dev libdbus-glib-1-2 libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgail-common libgail-dev libgail18 libgconf-2-4 libgconf2-dev libgcrypt11-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnome-keyring-common libgnome-keyring-dev libgnome-keyring0 libgnome2-0 libgnome2-bin libgnome2-common libgnome2-dev libgnomecanvas2-0 libgnomecanvas2-common libgnomecanvas2-dev libgnomeui-0 libgnomeui-common libgnomeui-dev libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev libgnutls-dev libgnutls-openssl27 libgnutlsxx27 libgpg-error-dev libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.3-0 libice-dev libice6 libicu48 libidl-common libidl-dev libidl0 libjasper1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-gnome-ocaml liblablgtk2-gnome-ocaml-dev liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev libltdl7 liblzo2-2 libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libogg0 liborbit-2-0 liborbit2 liborbit2-dev libp11-kit-dev libpango-1.0-0 libpango1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangox-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt-dev libpopt0 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib librsvg2-2 librsvg2-common librsvg2-dev libselinux1-dev libsepol1-dev libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtasn1-3-dev libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 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 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml libzarith-ocaml-dev man-db mime-support netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox orbit2 pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.3 python3.3-minimal shared-mime-info sound-theme-freedesktop 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, 269 newly installed, 0 to remove and 0 not upgraded. Need to get 53.5 MB of archives. After this operation, 259 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1 armhf 2.1.0-4ubuntu1 [52.6 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libgnutls-openssl27 armhf 2.12.23-1ubuntu5 [15.0 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libmagic1 armhf 1:5.14-2ubuntu1 [180 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libpopt0 armhf 1.16-8ubuntu1 [23.4 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libssl1.0.0 armhf 1.0.1e-4ubuntu4 [656 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-minimal armhf 3.3.3-4 [393 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main mime-support all 3.54ubuntu1 [31.7 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-stdlib armhf 3.3.3-4 [2007 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main python3.3-minimal armhf 3.3.3-4 [1135 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libasprintf0c2 armhf 0.18.3.1-1ubuntu2 [6448 B] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-0 armhf 2.39.2-0ubuntu1 [903 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-glib-1-2 armhf 0.100.2-1 [58.7 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 armhf 1.2.6-1 [19.4 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main libsystemd-login0 armhf 204-5ubuntu6 [30.3 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libxau6 armhf 1:1.0.8-1 [7324 B] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp6 armhf 1:1.1.1-1 [11.2 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1 armhf 1.9.1-3.1ubuntu1 [31.7 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libx11-data all 2:1.6.2-1ubuntu2 [111 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main libx11-6 armhf 2:1.6.2-1ubuntu2 [506 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main libxext6 armhf 2:1.3.2-1 [27.3 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libxml2 armhf 2.9.1+dfsg1-3ubuntu3 [484 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main groff-base armhf 1.22.2-3 [648 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils armhf 9.0.5ubuntu1 [195 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main man-db armhf 2.6.5-2 [684 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main libart-2.0-2 armhf 2.3.21-2 [45.8 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main libasound2-data all 1.0.27.2-3ubuntu1 [30.5 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main libasound2 armhf 1.0.27.2-3ubuntu1 [341 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-data all 2.10.0-2ubuntu1 [13.8 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-0 armhf 2.10.0-2ubuntu1 [44.1 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common-data armhf 0.6.31-3ubuntu1 [21.1 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common3 armhf 0.6.31-3ubuntu1 [19.7 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-client3 armhf 0.6.31-3ubuntu1 [21.9 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-glib1 armhf 0.6.31-3ubuntu1 [8570 B] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-common all 2.32.1-0ubuntu5 [34.2 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main libidl-common all 0.8.14-0.2ubuntu4 [8196 B] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main libidl0 armhf 0.8.14-0.2ubuntu4 [63.4 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty/main liborbit-2-0 armhf 1:2.14.19-0.3 [113 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty/main liborbit2 armhf 1:2.14.19-0.3 [15.0 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-0 armhf 2.32.1-0ubuntu5 [180 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty/main ucf all 3.0027+nmu1 [56.3 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main gconf2-common all 3.2.6-0ubuntu1 [20.7 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main libgconf-2-4 armhf 3.2.6-0ubuntu1 [70.1 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service-backend armhf 3.2.6-0ubuntu1 [48.4 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service armhf 3.2.6-0ubuntu1 [2042 B] Get:45 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg-turbo8 armhf 1.3.0-0ubuntu2 [85.2 kB] Get:46 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg8 armhf 8c-2ubuntu8 [2202 B] Get:47 http://ftpmaster.internal/ubuntu/ trusty/main libjasper1 armhf 1.900.1-14ubuntu3 [110 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty/main libjbig0 armhf 2.0-2ubuntu4 [23.2 kB] Get:49 http://ftpmaster.internal/ubuntu/ trusty/main libtiff5 armhf 4.0.3-6ubuntu1 [129 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-common all 2.30.2-0ubuntu1 [8236 B] Get:51 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-0 armhf 2.30.2-0ubuntu1 [141 kB] Get:52 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-common all 2.24.22-1ubuntu1 [121 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty/main fonts-dejavu-core all 2.33+svn2514-3ubuntu1 [1019 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig-config all 2.11.0-0ubuntu3 [47.3 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6 armhf 2.5.1-2ubuntu1 [253 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1 armhf 2.11.0-0ubuntu3 [108 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-0 armhf 0.30.2-2ubuntu1 [160 kB] Get:58 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0 armhf 1.9.1-3.1ubuntu1 [10.3 kB] Get:59 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0 armhf 1.9.1-3.1ubuntu1 [5056 B] Get:60 http://ftpmaster.internal/ubuntu/ trusty/main libxrender1 armhf 1:0.9.8-1 [17.1 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2 armhf 1.12.16-0ubuntu2 [529 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty/main libcups2 armhf 1.7.0-0ubuntu3 [154 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty/main libthai-data all 0.1.20-1 [130 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty/main libdatrie1 armhf 0.2.7.1-1 [13.2 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty/main libthai0 armhf 0.1.20-1 [14.1 kB] Get:66 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig armhf 2.11.0-0ubuntu3 [175 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty/main libpango-1.0-0 armhf 1.36.0-1ubuntu2 [133 kB] Get:68 http://ftpmaster.internal/ubuntu/ trusty/main libgraphite2-3 armhf 1.2.4-1ubuntu1 [44.4 kB] Get:69 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz0b armhf 0.9.24-2ubuntu2 [107 kB] Get:70 http://ftpmaster.internal/ubuntu/ trusty/main libpangoft2-1.0-0 armhf 1.36.0-1ubuntu2 [26.5 kB] Get:71 http://ftpmaster.internal/ubuntu/ trusty/main libpangocairo-1.0-0 armhf 1.36.0-1ubuntu2 [16.6 kB] Get:72 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite1 armhf 1:0.4.4-1 [7080 B] Get:73 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes3 armhf 1:5.0.1-1ubuntu1 [9922 B] Get:74 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor1 armhf 1:1.1.14-1 [18.8 kB] Get:75 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage1 armhf 1:1.1.4-1ubuntu1 [6920 B] Get:76 http://ftpmaster.internal/ubuntu/ trusty/main libxi6 armhf 2:1.7.1.901-1ubuntu1 [26.8 kB] Get:77 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama1 armhf 2:1.1.3-1 [7278 B] Get:78 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr2 armhf 2:1.4.1-1ubuntu1 [15.6 kB] Get:79 http://ftpmaster.internal/ubuntu/ trusty/main shared-mime-info armhf 1.2-0ubuntu1 [411 kB] Get:80 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-0 armhf 2.24.22-1ubuntu1 [1474 kB] Get:81 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-0 armhf 1:2.6.4-1ubuntu4 [40.2 kB] Get:82 http://ftpmaster.internal/ubuntu/ trusty/main libltdl7 armhf 2.4.2-1.3ubuntu2 [32.3 kB] Get:83 http://ftpmaster.internal/ubuntu/ trusty/main libtdb1 armhf 1.2.12-1 [31.8 kB] Get:84 http://ftpmaster.internal/ubuntu/ trusty/main libogg0 armhf 1.3.1-1ubuntu1 [14.4 kB] Get:85 http://ftpmaster.internal/ubuntu/ trusty/main libvorbis0a armhf 1.3.2-1.3ubuntu1 [77.4 kB] Get:86 http://ftpmaster.internal/ubuntu/ trusty/main libvorbisfile3 armhf 1.3.2-1.3ubuntu1 [14.8 kB] Get:87 http://ftpmaster.internal/ubuntu/ trusty/main sound-theme-freedesktop all 0.8-1 [385 kB] Get:88 http://ftpmaster.internal/ubuntu/ trusty/main libcanberra0 armhf 0.30-0ubuntu2 [35.3 kB] Get:89 http://ftpmaster.internal/ubuntu/ trusty/main libapparmor1 armhf 2.8.0-0ubuntu35 [34.4 kB] Get:90 http://ftpmaster.internal/ubuntu/ trusty/main netbase all 5.1 [13.9 kB] Get:91 http://ftpmaster.internal/ubuntu/ trusty/main dbus armhf 1.6.18-0ubuntu2 [185 kB] Get:92 http://ftpmaster.internal/ubuntu/ trusty/main psmisc armhf 22.20-1ubuntu2 [50.3 kB] Get:93 http://ftpmaster.internal/ubuntu/ trusty/main dbus-x11 armhf 1.6.18-0ubuntu2 [18.0 kB] Get:94 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-minimal armhf 2.7.6-3ubuntu1 [307 kB] Get:95 http://ftpmaster.internal/ubuntu/ trusty/main python2.7-minimal armhf 2.7.6-3ubuntu1 [1044 kB] Get:96 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-stdlib armhf 2.7.6-3ubuntu1 [1819 kB] Get:97 http://ftpmaster.internal/ubuntu/ trusty/main python2.7 armhf 2.7.6-3ubuntu1 [191 kB] Get:98 http://ftpmaster.internal/ubuntu/ trusty/main python-minimal armhf 2.7.5-5ubuntu3 [27.4 kB] Get:99 http://ftpmaster.internal/ubuntu/ trusty/main libpython-stdlib armhf 2.7.5-5ubuntu3 [6984 B] Get:100 http://ftpmaster.internal/ubuntu/ trusty/main python armhf 2.7.5-5ubuntu3 [134 kB] Get:101 http://ftpmaster.internal/ubuntu/ trusty/main gconf2 armhf 3.2.6-0ubuntu1 [62.6 kB] Get:102 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-common armhf 1:2.24.4-1ubuntu6 [22.8 kB] Get:103 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-0 armhf 1:2.24.4-1ubuntu6 [172 kB] Get:104 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-common all 2.32.1-4ubuntu1 [33.3 kB] Get:105 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-bin armhf 2.32.1-4ubuntu1 [14.8 kB] Get:106 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-0 armhf 2.32.1-4ubuntu1 [36.0 kB] Get:107 http://ftpmaster.internal/ubuntu/ trusty/main libgail18 armhf 2.24.22-1ubuntu1 [12.2 kB] Get:108 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-common all 2.30.3-1.2ubuntu2 [8910 B] Get:109 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-0 armhf 2.30.3-1.2ubuntu2 [69.8 kB] Get:110 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-common all 2.24.5-0ubuntu3 [11.4 kB] Get:111 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-0 armhf 2.24.5-0ubuntu3 [124 kB] Get:112 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-gobject2 armhf 1.12.16-0ubuntu2 [19.2 kB] Get:113 http://ftpmaster.internal/ubuntu/ trusty/main liblzo2-2 armhf 2.06-1.2ubuntu1 [41.1 kB] Get:114 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-script-interpreter2 armhf 1.12.16-0ubuntu2 [50.4 kB] Get:115 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 armhf 0.6.8-2ubuntu1 [69.1 kB] Get:116 http://ftpmaster.internal/ubuntu/ trusty/main libelfg0 armhf 0.8.13-5 [33.1 kB] Get:117 http://ftpmaster.internal/ubuntu/ trusty/main libaspell15 armhf 0.60.7~20110707-1ubuntu1 [285 kB] Get:118 http://ftpmaster.internal/ubuntu/ trusty/main libtext-iconv-perl armhf 1.7-5build2 [14.5 kB] Get:119 http://ftpmaster.internal/ubuntu/ trusty/main dictionaries-common all 1.20.4 [231 kB] Get:120 http://ftpmaster.internal/ubuntu/ trusty/main aspell armhf 0.60.7~20110707-1ubuntu1 [70.7 kB] Get:121 http://ftpmaster.internal/ubuntu/ trusty/main aspell-en all 7.1-0-1 [267 kB] Get:122 http://ftpmaster.internal/ubuntu/ trusty/main libhunspell-1.3-0 armhf 1.3.2-6ubuntu2 [94.8 kB] Get:123 http://ftpmaster.internal/ubuntu/ trusty/main libenchant1c2a armhf 1.6.0-10ubuntu1 [54.5 kB] Get:124 http://ftpmaster.internal/ubuntu/ trusty/main libgmpxx4ldbl armhf 2:5.1.2+dfsg-3ubuntu3 [8042 B] Get:125 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring-common all 3.8.0-2 [5536 B] Get:126 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring0 armhf 3.8.0-2 [47.4 kB] Get:127 http://ftpmaster.internal/ubuntu/ trusty/main x11-common all 1:7.7+1ubuntu7 [55.4 kB] Get:128 http://ftpmaster.internal/ubuntu/ trusty/main libice6 armhf 2:1.0.8-2 [38.2 kB] Get:129 http://ftpmaster.internal/ubuntu/ trusty/main libxft2 armhf 2.3.1-1ubuntu1 [30.7 kB] Get:130 http://ftpmaster.internal/ubuntu/ trusty/main libpangoxft-1.0-0 armhf 1.36.0-1ubuntu2 [12.1 kB] Get:131 http://ftpmaster.internal/ubuntu/ trusty/main libpangox-1.0-0 armhf 0.0.2-4ubuntu1 [37.4 kB] Get:132 http://ftpmaster.internal/ubuntu/ trusty/main libpango1.0-0 armhf 1.36.0-1ubuntu2 [2982 B] Get:133 http://ftpmaster.internal/ubuntu/ trusty/main libsm6 armhf 2:1.2.1-2 [15.4 kB] Get:134 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-common all 2.24.5-2ubuntu3 [16.6 kB] Get:135 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-0 armhf 2.24.5-2ubuntu3 [215 kB] Get:136 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-gobject0 armhf 0.9.24-2ubuntu2 [9310 B] Get:137 http://ftpmaster.internal/ubuntu/ trusty/main libicu48 armhf 4.8.1.1-13+nmu1ubuntu1 [4504 kB] Get:138 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-icu0 armhf 0.9.24-2ubuntu2 [4778 B] Get:139 http://ftpmaster.internal/ubuntu/ trusty/main libpcrecpp0 armhf 1:8.31-2ubuntu2 [12.6 kB] Get:140 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-2 armhf 2.40.0-1 [73.3 kB] Get:141 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 armhf 0.9.3-5ubuntu3 [251 kB] Get:142 http://ftpmaster.internal/ubuntu/ trusty/main libgnutlsxx27 armhf 2.12.23-1ubuntu5 [15.2 kB] Get:143 http://ftpmaster.internal/ubuntu/ trusty/main python3.3 armhf 3.3.3-4 [129 kB] Get:144 http://ftpmaster.internal/ubuntu/ trusty/main python3-minimal armhf 3.3.2-17ubuntu1 [23.5 kB] Get:145 http://ftpmaster.internal/ubuntu/ trusty/main libpython3-stdlib armhf 3.3.2-17ubuntu1 [7096 B] Get:146 http://ftpmaster.internal/ubuntu/ trusty/main python3 armhf 3.3.2-17ubuntu1 [8678 B] Get:147 http://ftpmaster.internal/ubuntu/ trusty/main dh-python all 1.20131021-1ubuntu6 [50.2 kB] Get:148 http://ftpmaster.internal/ubuntu/ trusty/main file armhf 1:5.14-2ubuntu1 [18.5 kB] Get:149 http://ftpmaster.internal/ubuntu/ trusty/main gettext-base armhf 0.18.3.1-1ubuntu2 [45.9 kB] Get:150 http://ftpmaster.internal/ubuntu/ trusty/main libgirepository-1.0-1 armhf 1.39.0-0ubuntu1 [74.2 kB] Get:151 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-glib-2.0 armhf 1.39.0-0ubuntu1 [122 kB] Get:152 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-data all 2.39.2-0ubuntu1 [113 kB] Get:153 http://ftpmaster.internal/ubuntu/ trusty/main gettext armhf 0.18.3.1-1ubuntu2 [778 kB] Get:154 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:155 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:156 http://ftpmaster.internal/ubuntu/ trusty/main apparmor-easyprof all 2.8.0-0ubuntu35 [20.1 kB] Get:157 http://ftpmaster.internal/ubuntu/ trusty/main dh-apparmor all 2.8.0-0ubuntu35 [7300 B] Get:158 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20131127ubuntu1 [604 kB] Get:159 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-atk-1.0 armhf 2.10.0-2ubuntu1 [16.3 kB] Get:160 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-freedesktop armhf 1.39.0-0ubuntu1 [5648 B] Get:161 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gconf-2.0 armhf 3.2.6-0ubuntu1 [6210 B] Get:162 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gdkpixbuf-2.0 armhf 2.30.2-0ubuntu1 [7958 B] Get:163 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gnomekeyring-1.0 armhf 3.8.0-2 [5932 B] Get:164 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-pango-1.0 armhf 1.36.0-1ubuntu2 [18.7 kB] Get:165 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gtk-2.0 armhf 2.24.22-1ubuntu1 [172 kB] Get:166 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-rsvg-2.0 armhf 2.40.0-1 [3560 B] Get:167 http://ftpmaster.internal/ubuntu/ trusty/main pkg-config armhf 0.26-1ubuntu4 [38.0 kB] Get:168 http://ftpmaster.internal/ubuntu/ trusty/main libart-2.0-dev armhf 2.3.21-2 [60.3 kB] Get:169 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-bin armhf 2.39.2-0ubuntu1 [37.9 kB] Get:170 http://ftpmaster.internal/ubuntu/ trusty/main libpcre3-dev armhf 1:8.31-2ubuntu2 [229 kB] Get:171 http://ftpmaster.internal/ubuntu/ trusty/main zlib1g-dev armhf 1:1.2.8.dfsg-1ubuntu1 [176 kB] Get:172 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-dev armhf 2.39.2-0ubuntu1 [1212 kB] Get:173 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-dev armhf 2.10.0-2ubuntu1 [67.9 kB] Get:174 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common-dev armhf 0.6.31-3ubuntu1 [33.8 kB] Get:175 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-1-dev armhf 1.6.18-0ubuntu2 [131 kB] Get:176 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-client-dev armhf 0.6.31-3ubuntu1 [28.4 kB] Get:177 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-glib-dev armhf 0.6.31-3ubuntu1 [7708 B] Get:178 http://ftpmaster.internal/ubuntu/ trusty/main libidl-dev armhf 0.8.14-0.2ubuntu4 [67.1 kB] Get:179 http://ftpmaster.internal/ubuntu/ trusty/main orbit2 armhf 1:2.14.19-0.3 [44.8 kB] Get:180 http://ftpmaster.internal/ubuntu/ trusty/main liborbit2-dev armhf 1:2.14.19-0.3 [211 kB] Get:181 http://ftpmaster.internal/ubuntu/ trusty/main libpopt-dev armhf 1.16-8ubuntu1 [37.1 kB] Get:182 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-dev armhf 2.32.1-0ubuntu5 [391 kB] Get:183 http://ftpmaster.internal/ubuntu/ trusty/main xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:184 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-core-dev all 7.0.24-1 [748 kB] Get:185 http://ftpmaster.internal/ubuntu/ trusty/main libxau-dev armhf 1:1.0.8-1 [9438 B] Get:186 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp-dev armhf 1:1.1.1-1 [25.3 kB] Get:187 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-input-dev all 2.3-1 [139 kB] Get:188 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-kb-dev all 1.0.6-2 [269 kB] Get:189 http://ftpmaster.internal/ubuntu/ trusty/main xtrans-dev all 1.3.2-1 [69.9 kB] Get:190 http://ftpmaster.internal/ubuntu/ trusty/main libpthread-stubs0-dev armhf 0.3-4 [4084 B] Get:191 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1-dev armhf 1.9.1-3.1ubuntu1 [70.8 kB] Get:192 http://ftpmaster.internal/ubuntu/ trusty/main libx11-dev armhf 2:1.6.2-1ubuntu2 [575 kB] Get:193 http://ftpmaster.internal/ubuntu/ trusty/main libpng12-dev armhf 1.2.49-5ubuntu1 [199 kB] Get:194 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-dev armhf 2.30.2-0ubuntu1 [42.4 kB] Get:195 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6-dev armhf 2.5.1-2ubuntu1 [570 kB] Get:196 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:197 http://ftpmaster.internal/ubuntu/ trusty/main libxrender-dev armhf 1:0.9.8-1 [23.9 kB] Get:198 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1-dev armhf 2.1.0-4ubuntu1 [103 kB] Get:199 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1-dev armhf 2.11.0-0ubuntu3 [650 kB] Get:200 http://ftpmaster.internal/ubuntu/ trusty/main libxft-dev armhf 2.3.1-1ubuntu1 [40.3 kB] Get:201 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-dev armhf 0.9.24-2ubuntu2 [28.5 kB] Get:202 http://ftpmaster.internal/ubuntu/ trusty/main libice-dev armhf 2:1.0.8-2 [47.8 kB] Get:203 http://ftpmaster.internal/ubuntu/ trusty/main libsm-dev armhf 2:1.2.1-2 [16.4 kB] Get:204 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-dev armhf 0.30.2-2ubuntu1 [175 kB] Get:205 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0-dev armhf 1.9.1-3.1ubuntu1 [16.0 kB] Get:206 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0-dev armhf 1.9.1-3.1ubuntu1 [6256 B] Get:207 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xext-dev all 7.2.1-1 [265 kB] Get:208 http://ftpmaster.internal/ubuntu/ trusty/main libxext-dev armhf 2:1.3.2-1 [84.4 kB] Get:209 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2-dev armhf 1.12.16-0ubuntu2 [661 kB] Get:210 http://ftpmaster.internal/ubuntu/ trusty/main libpango1.0-dev armhf 1.36.0-1ubuntu2 [245 kB] Get:211 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:212 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama-dev armhf 2:1.1.3-1 [7988 B] Get:213 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:214 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes-dev armhf 1:5.0.1-1ubuntu1 [10.8 kB] Get:215 http://ftpmaster.internal/ubuntu/ trusty/main libxi-dev armhf 2:1.7.1.901-1ubuntu1 [196 kB] Get:216 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1 [32.9 kB] Get:217 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr-dev armhf 2:1.4.1-1ubuntu1 [22.6 kB] Get:218 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor-dev armhf 1:1.1.14-1 [26.1 kB] Get:219 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:220 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite-dev armhf 1:0.4.4-1 [9562 B] Get:221 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:222 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage-dev armhf 1:1.1.4-1ubuntu1 [4966 B] Get:223 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-utils armhf 2.9.1+dfsg1-3ubuntu3 [33.6 kB] Get:224 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-dev armhf 2.24.22-1ubuntu1 [2374 kB] Get:225 http://ftpmaster.internal/ubuntu/ trusty/main libgail-common armhf 2.24.22-1ubuntu1 [85.2 kB] Get:226 http://ftpmaster.internal/ubuntu/ trusty/main libgail-dev armhf 2.24.22-1ubuntu1 [13.0 kB] Get:227 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-dev armhf 2.30.3-1.2ubuntu2 [85.5 kB] Get:228 http://ftpmaster.internal/ubuntu/ trusty/main libgconf2-dev armhf 3.2.6-0ubuntu1 [76.7 kB] Get:229 http://ftpmaster.internal/ubuntu/ trusty/main libgpg-error-dev armhf 1.12-0.2ubuntu1 [19.2 kB] Get:230 http://ftpmaster.internal/ubuntu/ trusty/main libgcrypt11-dev armhf 1.5.3-2ubuntu4 [268 kB] Get:231 http://ftpmaster.internal/ubuntu/ trusty/main libtasn1-3-dev armhf 2.14-3ubuntu1 [360 kB] Get:232 http://ftpmaster.internal/ubuntu/ trusty/main libp11-kit-dev armhf 0.20.1-2ubuntu1 [74.2 kB] Get:233 http://ftpmaster.internal/ubuntu/ trusty/main libgnutls-dev armhf 2.12.23-1ubuntu5 [349 kB] Get:234 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-dev armhf 2.9.1+dfsg1-3ubuntu3 [561 kB] Get:235 http://ftpmaster.internal/ubuntu/ trusty/main libsepol1-dev armhf 2.2-1 [178 kB] Get:236 http://ftpmaster.internal/ubuntu/ trusty/main libselinux1-dev armhf 2.2.1-1ubuntu2 [117 kB] Get:237 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-dev armhf 1:2.24.4-1ubuntu6 [291 kB] Get:238 http://ftpmaster.internal/ubuntu/ trusty/main libcanberra-dev armhf 0.30-0ubuntu2 [6828 B] Get:239 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-dev armhf 2.32.1-4ubuntu1 [40.8 kB] Get:240 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-dev armhf 2.24.5-0ubuntu3 [263 kB] Get:241 http://ftpmaster.internal/ubuntu/ trusty/main libenchant-dev armhf 1.6.0-10ubuntu1 [46.5 kB] Get:242 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-dev armhf 1:2.6.4-1ubuntu4 [70.2 kB] Get:243 http://ftpmaster.internal/ubuntu/ trusty/main libgmp-dev armhf 2:5.1.2+dfsg-3ubuntu3 [256 kB] Get:244 http://ftpmaster.internal/ubuntu/ trusty/main libgmp3-dev armhf 2:5.1.2+dfsg-3ubuntu3 [1868 B] Get:245 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring-dev armhf 3.8.0-2 [45.1 kB] Get:246 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-dev armhf 2.24.5-2ubuntu3 [300 kB] Get:247 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-common all 2.10.5-1ubuntu2 [434 kB] Get:248 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-0 armhf 2.10.5-1ubuntu2 [121 kB] Get:249 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-dev armhf 2.10.5-1ubuntu2 [149 kB] Get:250 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell0 armhf 2.0.16-1ubuntu7 [9604 B] Get:251 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell-dev armhf 2.0.16-1ubuntu7 [22.2 kB] Get:252 http://ftpmaster.internal/ubuntu/ trusty-proposed/main ocaml-base-nox armhf 4.01.0-3ubuntu2 [423 kB] Get:253 http://ftpmaster.internal/ubuntu/ trusty-proposed/universe liblablgtk2-ocaml armhf 2.16.0+dfsg-1 [692 kB] Get:254 http://ftpmaster.internal/ubuntu/ trusty-proposed/universe liblablgtk2-gnome-ocaml armhf 2.16.0+dfsg-1 [63.9 kB] Get:255 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-common armhf 2.40.0-1 [4598 B] Get:256 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-dev armhf 2.40.0-1 [85.6 kB] Get:257 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo-dev armhf 5.9+20130608-1ubuntu1 [89.8 kB] Get:258 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5-dev armhf 5.9+20130608-1ubuntu1 [200 kB] Get:259 http://ftpmaster.internal/ubuntu/ trusty-proposed/main ocaml-compiler-libs armhf 4.01.0-3ubuntu2 [1458 kB] Get:260 http://ftpmaster.internal/ubuntu/ trusty-proposed/main ocaml-interp armhf 4.01.0-3ubuntu2 [227 kB] Get:261 http://ftpmaster.internal/ubuntu/ trusty-proposed/main ocaml-nox armhf 4.01.0-3ubuntu2 [3493 kB] Get:262 http://ftpmaster.internal/ubuntu/ trusty-proposed/universe liblablgtk2-ocaml-dev armhf 2.16.0+dfsg-1 [1306 kB] Get:263 http://ftpmaster.internal/ubuntu/ trusty-proposed/universe liblablgtk2-gnome-ocaml-dev armhf 2.16.0+dfsg-1 [88.2 kB] Get:264 http://ftpmaster.internal/ubuntu/ trusty-proposed/universe liblablgtksourceview2-ocaml armhf 2.16.0+dfsg-1 [88.7 kB] Get:265 http://ftpmaster.internal/ubuntu/ trusty-proposed/universe liblablgtksourceview2-ocaml-dev armhf 2.16.0+dfsg-1 [121 kB] Get:266 http://ftpmaster.internal/ubuntu/ trusty-proposed/universe libocamlgraph-ocaml-dev armhf 1.8.3-1build1 [1082 kB] Get:267 http://ftpmaster.internal/ubuntu/ trusty-proposed/universe libzarith-ocaml armhf 1.2.1-2build1 [25.2 kB] Get:268 http://ftpmaster.internal/ubuntu/ trusty-proposed/universe libzarith-ocaml-dev armhf 1.2.1-2build1 [44.0 kB] Get:269 http://ftpmaster.internal/ubuntu/ trusty/main dh-ocaml all 1.0.7 [89.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 53.5 MB in 12s (4184 kB/s) Selecting previously unselected package libexpat1:armhf. (Reading database ... 11822 files and directories currently installed.) Unpacking libexpat1:armhf (from .../libexpat1_2.1.0-4ubuntu1_armhf.deb) ... Selecting previously unselected package libgnutls-openssl27:armhf. Unpacking libgnutls-openssl27:armhf (from .../libgnutls-openssl27_2.12.23-1ubuntu5_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_1%3a5.14-2ubuntu1_armhf.deb) ... Selecting previously unselected package libpopt0:armhf. Unpacking libpopt0:armhf (from .../libpopt0_1.16-8ubuntu1_armhf.deb) ... Selecting previously unselected package libssl1.0.0:armhf. Unpacking libssl1.0.0:armhf (from .../libssl1.0.0_1.0.1e-4ubuntu4_armhf.deb) ... Selecting previously unselected package libpython3.3-minimal:armhf. Unpacking libpython3.3-minimal:armhf (from .../libpython3.3-minimal_3.3.3-4_armhf.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.54ubuntu1_all.deb) ... Selecting previously unselected package libpython3.3-stdlib:armhf. Unpacking libpython3.3-stdlib:armhf (from .../libpython3.3-stdlib_3.3.3-4_armhf.deb) ... Selecting previously unselected package python3.3-minimal. Unpacking python3.3-minimal (from .../python3.3-minimal_3.3.3-4_armhf.deb) ... Selecting previously unselected package libasprintf0c2:armhf. Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.3.1-1ubuntu2_armhf.deb) ... Selecting previously unselected package libglib2.0-0:armhf. Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.39.2-0ubuntu1_armhf.deb) ... Selecting previously unselected package libdbus-glib-1-2:armhf. Unpacking libdbus-glib-1-2:armhf (from .../libdbus-glib-1-2_0.100.2-1_armhf.deb) ... Selecting previously unselected package libpipeline1:armhf. Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.6-1_armhf.deb) ... Selecting previously unselected package libsystemd-login0:armhf. Unpacking libsystemd-login0:armhf (from .../libsystemd-login0_204-5ubuntu6_armhf.deb) ... Selecting previously unselected package libxau6:armhf. Unpacking libxau6:armhf (from .../libxau6_1%3a1.0.8-1_armhf.deb) ... Selecting previously unselected package libxdmcp6:armhf. Unpacking libxdmcp6:armhf (from .../libxdmcp6_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libxcb1:armhf. Unpacking libxcb1:armhf (from .../libxcb1_1.9.1-3.1ubuntu1_armhf.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.6.2-1ubuntu2_all.deb) ... Selecting previously unselected package libx11-6:armhf. Unpacking libx11-6:armhf (from .../libx11-6_2%3a1.6.2-1ubuntu2_armhf.deb) ... Selecting previously unselected package libxext6:armhf. Unpacking libxext6:armhf (from .../libxext6_2%3a1.3.2-1_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.9.1+dfsg1-3ubuntu3_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.22.2-3_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.5ubuntu1_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.5-2_armhf.deb) ... Selecting previously unselected package libart-2.0-2:armhf. Unpacking libart-2.0-2:armhf (from .../libart-2.0-2_2.3.21-2_armhf.deb) ... Selecting previously unselected package libasound2-data. Unpacking libasound2-data (from .../libasound2-data_1.0.27.2-3ubuntu1_all.deb) ... Selecting previously unselected package libasound2:armhf. Unpacking libasound2:armhf (from .../libasound2_1.0.27.2-3ubuntu1_armhf.deb) ... Selecting previously unselected package libatk1.0-data. Unpacking libatk1.0-data (from .../libatk1.0-data_2.10.0-2ubuntu1_all.deb) ... Selecting previously unselected package libatk1.0-0:armhf. Unpacking libatk1.0-0:armhf (from .../libatk1.0-0_2.10.0-2ubuntu1_armhf.deb) ... Selecting previously unselected package libavahi-common-data:armhf. Unpacking libavahi-common-data:armhf (from .../libavahi-common-data_0.6.31-3ubuntu1_armhf.deb) ... Selecting previously unselected package libavahi-common3:armhf. Unpacking libavahi-common3:armhf (from .../libavahi-common3_0.6.31-3ubuntu1_armhf.deb) ... Selecting previously unselected package libavahi-client3:armhf. Unpacking libavahi-client3:armhf (from .../libavahi-client3_0.6.31-3ubuntu1_armhf.deb) ... Selecting previously unselected package libavahi-glib1:armhf. Unpacking libavahi-glib1:armhf (from .../libavahi-glib1_0.6.31-3ubuntu1_armhf.deb) ... Selecting previously unselected package libbonobo2-common. Unpacking libbonobo2-common (from .../libbonobo2-common_2.32.1-0ubuntu5_all.deb) ... Selecting previously unselected package libidl-common. Unpacking libidl-common (from .../libidl-common_0.8.14-0.2ubuntu4_all.deb) ... Selecting previously unselected package libidl0:armhf. Unpacking libidl0:armhf (from .../libidl0_0.8.14-0.2ubuntu4_armhf.deb) ... Selecting previously unselected package liborbit-2-0:armhf. Unpacking liborbit-2-0:armhf (from .../liborbit-2-0_1%3a2.14.19-0.3_armhf.deb) ... Selecting previously unselected package liborbit2:armhf. Unpacking liborbit2:armhf (from .../liborbit2_1%3a2.14.19-0.3_armhf.deb) ... Selecting previously unselected package libbonobo2-0:armhf. Unpacking libbonobo2-0:armhf (from .../libbonobo2-0_2.32.1-0ubuntu5_armhf.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0027+nmu1_all.deb) ... Moving old data out of the way Selecting previously unselected package gconf2-common. Unpacking gconf2-common (from .../gconf2-common_3.2.6-0ubuntu1_all.deb) ... Selecting previously unselected package libgconf-2-4:armhf. Unpacking libgconf-2-4:armhf (from .../libgconf-2-4_3.2.6-0ubuntu1_armhf.deb) ... Selecting previously unselected package gconf-service-backend. Unpacking gconf-service-backend (from .../gconf-service-backend_3.2.6-0ubuntu1_armhf.deb) ... Selecting previously unselected package gconf-service. Unpacking gconf-service (from .../gconf-service_3.2.6-0ubuntu1_armhf.deb) ... Selecting previously unselected package libjpeg-turbo8:armhf. Unpacking libjpeg-turbo8:armhf (from .../libjpeg-turbo8_1.3.0-0ubuntu2_armhf.deb) ... Selecting previously unselected package libjpeg8:armhf. Unpacking libjpeg8:armhf (from .../libjpeg8_8c-2ubuntu8_armhf.deb) ... Selecting previously unselected package libjasper1:armhf. Unpacking libjasper1:armhf (from .../libjasper1_1.900.1-14ubuntu3_armhf.deb) ... Selecting previously unselected package libjbig0:armhf. Unpacking libjbig0:armhf (from .../libjbig0_2.0-2ubuntu4_armhf.deb) ... Selecting previously unselected package libtiff5:armhf. Unpacking libtiff5:armhf (from .../libtiff5_4.0.3-6ubuntu1_armhf.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.30.2-0ubuntu1_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-0:armhf. Unpacking libgdk-pixbuf2.0-0:armhf (from .../libgdk-pixbuf2.0-0_2.30.2-0ubuntu1_armhf.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.22-1ubuntu1_all.deb) ... Selecting previously unselected package fonts-dejavu-core. Unpacking fonts-dejavu-core (from .../fonts-dejavu-core_2.33+svn2514-3ubuntu1_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.11.0-0ubuntu3_all.deb) ... Selecting previously unselected package libfreetype6:armhf. Unpacking libfreetype6:armhf (from .../libfreetype6_2.5.1-2ubuntu1_armhf.deb) ... Selecting previously unselected package libfontconfig1:armhf. Unpacking libfontconfig1:armhf (from .../libfontconfig1_2.11.0-0ubuntu3_armhf.deb) ... Selecting previously unselected package libpixman-1-0:armhf. Unpacking libpixman-1-0:armhf (from .../libpixman-1-0_0.30.2-2ubuntu1_armhf.deb) ... Selecting previously unselected package libxcb-render0:armhf. Unpacking libxcb-render0:armhf (from .../libxcb-render0_1.9.1-3.1ubuntu1_armhf.deb) ... Selecting previously unselected package libxcb-shm0:armhf. Unpacking libxcb-shm0:armhf (from .../libxcb-shm0_1.9.1-3.1ubuntu1_armhf.deb) ... Selecting previously unselected package libxrender1:armhf. Unpacking libxrender1:armhf (from .../libxrender1_1%3a0.9.8-1_armhf.deb) ... Selecting previously unselected package libcairo2:armhf. Unpacking libcairo2:armhf (from .../libcairo2_1.12.16-0ubuntu2_armhf.deb) ... Selecting previously unselected package libcups2:armhf. Unpacking libcups2:armhf (from .../libcups2_1.7.0-0ubuntu3_armhf.deb) ... Selecting previously unselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.20-1_all.deb) ... Selecting previously unselected package libdatrie1:armhf. Unpacking libdatrie1:armhf (from .../libdatrie1_0.2.7.1-1_armhf.deb) ... Selecting previously unselected package libthai0:armhf. Unpacking libthai0:armhf (from .../libthai0_0.1.20-1_armhf.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.11.0-0ubuntu3_armhf.deb) ... Selecting previously unselected package libpango-1.0-0:armhf. Unpacking libpango-1.0-0:armhf (from .../libpango-1.0-0_1.36.0-1ubuntu2_armhf.deb) ... Selecting previously unselected package libgraphite2-3:armhf. Unpacking libgraphite2-3:armhf (from .../libgraphite2-3_1.2.4-1ubuntu1_armhf.deb) ... Selecting previously unselected package libharfbuzz0b:armhf. Unpacking libharfbuzz0b:armhf (from .../libharfbuzz0b_0.9.24-2ubuntu2_armhf.deb) ... Selecting previously unselected package libpangoft2-1.0-0:armhf. Unpacking libpangoft2-1.0-0:armhf (from .../libpangoft2-1.0-0_1.36.0-1ubuntu2_armhf.deb) ... Selecting previously unselected package libpangocairo-1.0-0:armhf. Unpacking libpangocairo-1.0-0:armhf (from .../libpangocairo-1.0-0_1.36.0-1ubuntu2_armhf.deb) ... Selecting previously unselected package libxcomposite1:armhf. Unpacking libxcomposite1:armhf (from .../libxcomposite1_1%3a0.4.4-1_armhf.deb) ... Selecting previously unselected package libxfixes3:armhf. Unpacking libxfixes3:armhf (from .../libxfixes3_1%3a5.0.1-1ubuntu1_armhf.deb) ... Selecting previously unselected package libxcursor1:armhf. Unpacking libxcursor1:armhf (from .../libxcursor1_1%3a1.1.14-1_armhf.deb) ... Selecting previously unselected package libxdamage1:armhf. Unpacking libxdamage1:armhf (from .../libxdamage1_1%3a1.1.4-1ubuntu1_armhf.deb) ... Selecting previously unselected package libxi6:armhf. Unpacking libxi6:armhf (from .../libxi6_2%3a1.7.1.901-1ubuntu1_armhf.deb) ... Selecting previously unselected package libxinerama1:armhf. Unpacking libxinerama1:armhf (from .../libxinerama1_2%3a1.1.3-1_armhf.deb) ... Selecting previously unselected package libxrandr2:armhf. Unpacking libxrandr2:armhf (from .../libxrandr2_2%3a1.4.1-1ubuntu1_armhf.deb) ... Selecting previously unselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_1.2-0ubuntu1_armhf.deb) ... Selecting previously unselected package libgtk2.0-0:armhf. Unpacking libgtk2.0-0:armhf (from .../libgtk2.0-0_2.24.22-1ubuntu1_armhf.deb) ... Selecting previously unselected package libglade2-0:armhf. Unpacking libglade2-0:armhf (from .../libglade2-0_1%3a2.6.4-1ubuntu4_armhf.deb) ... Selecting previously unselected package libltdl7:armhf. Unpacking libltdl7:armhf (from .../libltdl7_2.4.2-1.3ubuntu2_armhf.deb) ... Selecting previously unselected package libtdb1:armhf. Unpacking libtdb1:armhf (from .../libtdb1_1.2.12-1_armhf.deb) ... Selecting previously unselected package libogg0:armhf. Unpacking libogg0:armhf (from .../libogg0_1.3.1-1ubuntu1_armhf.deb) ... Selecting previously unselected package libvorbis0a:armhf. Unpacking libvorbis0a:armhf (from .../libvorbis0a_1.3.2-1.3ubuntu1_armhf.deb) ... Selecting previously unselected package libvorbisfile3:armhf. Unpacking libvorbisfile3:armhf (from .../libvorbisfile3_1.3.2-1.3ubuntu1_armhf.deb) ... Selecting previously unselected package sound-theme-freedesktop. Unpacking sound-theme-freedesktop (from .../sound-theme-freedesktop_0.8-1_all.deb) ... Selecting previously unselected package libcanberra0:armhf. Unpacking libcanberra0:armhf (from .../libcanberra0_0.30-0ubuntu2_armhf.deb) ... Selecting previously unselected package libapparmor1:armhf. Unpacking libapparmor1:armhf (from .../libapparmor1_2.8.0-0ubuntu35_armhf.deb) ... Selecting previously unselected package netbase. Unpacking netbase (from .../archives/netbase_5.1_all.deb) ... Selecting previously unselected package dbus. Unpacking dbus (from .../dbus_1.6.18-0ubuntu2_armhf.deb) ... Selecting previously unselected package psmisc. Unpacking psmisc (from .../psmisc_22.20-1ubuntu2_armhf.deb) ... Selecting previously unselected package dbus-x11. Unpacking dbus-x11 (from .../dbus-x11_1.6.18-0ubuntu2_armhf.deb) ... Selecting previously unselected package libpython2.7-minimal:armhf. Unpacking libpython2.7-minimal:armhf (from .../libpython2.7-minimal_2.7.6-3ubuntu1_armhf.deb) ... Selecting previously unselected package python2.7-minimal. Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.6-3ubuntu1_armhf.deb) ... Selecting previously unselected package libpython2.7-stdlib:armhf. Unpacking libpython2.7-stdlib:armhf (from .../libpython2.7-stdlib_2.7.6-3ubuntu1_armhf.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.6-3ubuntu1_armhf.deb) ... Selecting previously unselected package python-minimal. Unpacking python-minimal (from .../python-minimal_2.7.5-5ubuntu3_armhf.deb) ... Selecting previously unselected package libpython-stdlib:armhf. Unpacking libpython-stdlib:armhf (from .../libpython-stdlib_2.7.5-5ubuntu3_armhf.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.5-5ubuntu3_armhf.deb) ... Selecting previously unselected package gconf2. Unpacking gconf2 (from .../gconf2_3.2.6-0ubuntu1_armhf.deb) ... Selecting previously unselected package libgnomevfs2-common. Unpacking libgnomevfs2-common (from .../libgnomevfs2-common_1%3a2.24.4-1ubuntu6_armhf.deb) ... Selecting previously unselected package libgnomevfs2-0:armhf. Unpacking libgnomevfs2-0:armhf (from .../libgnomevfs2-0_1%3a2.24.4-1ubuntu6_armhf.deb) ... Selecting previously unselected package libgnome2-common. Unpacking libgnome2-common (from .../libgnome2-common_2.32.1-4ubuntu1_all.deb) ... Selecting previously unselected package libgnome2-bin. Unpacking libgnome2-bin (from .../libgnome2-bin_2.32.1-4ubuntu1_armhf.deb) ... Selecting previously unselected package libgnome2-0:armhf. Unpacking libgnome2-0:armhf (from .../libgnome2-0_2.32.1-4ubuntu1_armhf.deb) ... Selecting previously unselected package libgail18:armhf. Unpacking libgail18:armhf (from .../libgail18_2.24.22-1ubuntu1_armhf.deb) ... Selecting previously unselected package libgnomecanvas2-common. Unpacking libgnomecanvas2-common (from .../libgnomecanvas2-common_2.30.3-1.2ubuntu2_all.deb) ... Selecting previously unselected package libgnomecanvas2-0:armhf. Unpacking libgnomecanvas2-0:armhf (from .../libgnomecanvas2-0_2.30.3-1.2ubuntu2_armhf.deb) ... Selecting previously unselected package libbonoboui2-common. Unpacking libbonoboui2-common (from .../libbonoboui2-common_2.24.5-0ubuntu3_all.deb) ... Selecting previously unselected package libbonoboui2-0:armhf. Unpacking libbonoboui2-0:armhf (from .../libbonoboui2-0_2.24.5-0ubuntu3_armhf.deb) ... Selecting previously unselected package libcairo-gobject2:armhf. Unpacking libcairo-gobject2:armhf (from .../libcairo-gobject2_1.12.16-0ubuntu2_armhf.deb) ... Selecting previously unselected package liblzo2-2:armhf. Unpacking liblzo2-2:armhf (from .../liblzo2-2_2.06-1.2ubuntu1_armhf.deb) ... Selecting previously unselected package libcairo-script-interpreter2:armhf. Unpacking libcairo-script-interpreter2:armhf (from .../libcairo-script-interpreter2_1.12.16-0ubuntu2_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.8-2ubuntu1_armhf.deb) ... Selecting previously unselected package libelfg0:armhf. Unpacking libelfg0:armhf (from .../libelfg0_0.8.13-5_armhf.deb) ... Selecting previously unselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1ubuntu1_armhf.deb) ... Selecting previously unselected package libtext-iconv-perl. Unpacking libtext-iconv-perl (from .../libtext-iconv-perl_1.7-5build2_armhf.deb) ... Selecting previously unselected package dictionaries-common. Unpacking dictionaries-common (from .../dictionaries-common_1.20.4_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-1ubuntu1_armhf.deb) ... Selecting previously unselected package aspell-en. Unpacking aspell-en (from .../aspell-en_7.1-0-1_all.deb) ... Selecting previously unselected package libhunspell-1.3-0:armhf. Unpacking libhunspell-1.3-0:armhf (from .../libhunspell-1.3-0_1.3.2-6ubuntu2_armhf.deb) ... Selecting previously unselected package libenchant1c2a:armhf. Unpacking libenchant1c2a:armhf (from .../libenchant1c2a_1.6.0-10ubuntu1_armhf.deb) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Unpacking libgmpxx4ldbl:armhf (from .../libgmpxx4ldbl_2%3a5.1.2+dfsg-3ubuntu3_armhf.deb) ... Selecting previously unselected package libgnome-keyring-common. Unpacking libgnome-keyring-common (from .../libgnome-keyring-common_3.8.0-2_all.deb) ... Selecting previously unselected package libgnome-keyring0:armhf. Unpacking libgnome-keyring0:armhf (from .../libgnome-keyring0_3.8.0-2_armhf.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.7+1ubuntu7_all.deb) ... Selecting previously unselected package libice6:armhf. Unpacking libice6:armhf (from .../libice6_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libxft2:armhf. Unpacking libxft2:armhf (from .../libxft2_2.3.1-1ubuntu1_armhf.deb) ... Selecting previously unselected package libpangoxft-1.0-0:armhf. Unpacking libpangoxft-1.0-0:armhf (from .../libpangoxft-1.0-0_1.36.0-1ubuntu2_armhf.deb) ... Selecting previously unselected package libpangox-1.0-0:armhf. Unpacking libpangox-1.0-0:armhf (from .../libpangox-1.0-0_0.0.2-4ubuntu1_armhf.deb) ... Selecting previously unselected package libpango1.0-0:armhf. Unpacking libpango1.0-0:armhf (from .../libpango1.0-0_1.36.0-1ubuntu2_armhf.deb) ... Selecting previously unselected package libsm6:armhf. Unpacking libsm6:armhf (from .../libsm6_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package libgnomeui-common. Unpacking libgnomeui-common (from .../libgnomeui-common_2.24.5-2ubuntu3_all.deb) ... Selecting previously unselected package libgnomeui-0:armhf. Unpacking libgnomeui-0:armhf (from .../libgnomeui-0_2.24.5-2ubuntu3_armhf.deb) ... Selecting previously unselected package libharfbuzz-gobject0:armhf. Unpacking libharfbuzz-gobject0:armhf (from .../libharfbuzz-gobject0_0.9.24-2ubuntu2_armhf.deb) ... Selecting previously unselected package libicu48:armhf. Unpacking libicu48:armhf (from .../libicu48_4.8.1.1-13+nmu1ubuntu1_armhf.deb) ... Selecting previously unselected package libharfbuzz-icu0:armhf. Unpacking libharfbuzz-icu0:armhf (from .../libharfbuzz-icu0_0.9.24-2ubuntu2_armhf.deb) ... Selecting previously unselected package libpcrecpp0:armhf. Unpacking libpcrecpp0:armhf (from .../libpcrecpp0_1%3a8.31-2ubuntu2_armhf.deb) ... Selecting previously unselected package librsvg2-2:armhf. Unpacking librsvg2-2:armhf (from .../librsvg2-2_2.40.0-1_armhf.deb) ... Selecting previously unselected package libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5ubuntu3_armhf.deb) ... Selecting previously unselected package libgnutlsxx27:armhf. Unpacking libgnutlsxx27:armhf (from .../libgnutlsxx27_2.12.23-1ubuntu5_armhf.deb) ... Selecting previously unselected package python3.3. Unpacking python3.3 (from .../python3.3_3.3.3-4_armhf.deb) ... Selecting previously unselected package python3-minimal. Unpacking python3-minimal (from .../python3-minimal_3.3.2-17ubuntu1_armhf.deb) ... Selecting previously unselected package libpython3-stdlib:armhf. Unpacking libpython3-stdlib:armhf (from .../libpython3-stdlib_3.3.2-17ubuntu1_armhf.deb) ... Selecting previously unselected package python3. Unpacking python3 (from .../python3_3.3.2-17ubuntu1_armhf.deb) ... Selecting previously unselected package dh-python. Unpacking dh-python (from .../dh-python_1.20131021-1ubuntu6_all.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_1%3a5.14-2ubuntu1_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.3.1-1ubuntu2_armhf.deb) ... Selecting previously unselected package libgirepository-1.0-1. Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_1.39.0-0ubuntu1_armhf.deb) ... Selecting previously unselected package gir1.2-glib-2.0. Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_1.39.0-0ubuntu1_armhf.deb) ... Selecting previously unselected package libglib2.0-data. Unpacking libglib2.0-data (from .../libglib2.0-data_2.39.2-0ubuntu1_all.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.3.1-1ubuntu2_armhf.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 apparmor-easyprof. Unpacking apparmor-easyprof (from .../apparmor-easyprof_2.8.0-0ubuntu35_all.deb) ... Selecting previously unselected package dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.8.0-0ubuntu35_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20131127ubuntu1_all.deb) ... Selecting previously unselected package gir1.2-atk-1.0. Unpacking gir1.2-atk-1.0 (from .../gir1.2-atk-1.0_2.10.0-2ubuntu1_armhf.deb) ... Selecting previously unselected package gir1.2-freedesktop. Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_1.39.0-0ubuntu1_armhf.deb) ... Selecting previously unselected package gir1.2-gconf-2.0. Unpacking gir1.2-gconf-2.0 (from .../gir1.2-gconf-2.0_3.2.6-0ubuntu1_armhf.deb) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0. Unpacking gir1.2-gdkpixbuf-2.0 (from .../gir1.2-gdkpixbuf-2.0_2.30.2-0ubuntu1_armhf.deb) ... Selecting previously unselected package gir1.2-gnomekeyring-1.0. Unpacking gir1.2-gnomekeyring-1.0 (from .../gir1.2-gnomekeyring-1.0_3.8.0-2_armhf.deb) ... Selecting previously unselected package gir1.2-pango-1.0. Unpacking gir1.2-pango-1.0 (from .../gir1.2-pango-1.0_1.36.0-1ubuntu2_armhf.deb) ... Selecting previously unselected package gir1.2-gtk-2.0. Unpacking gir1.2-gtk-2.0 (from .../gir1.2-gtk-2.0_2.24.22-1ubuntu1_armhf.deb) ... Selecting previously unselected package gir1.2-rsvg-2.0. Unpacking gir1.2-rsvg-2.0 (from .../gir1.2-rsvg-2.0_2.40.0-1_armhf.deb) ... Selecting previously unselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.26-1ubuntu4_armhf.deb) ... Selecting previously unselected package libart-2.0-dev. Unpacking libart-2.0-dev (from .../libart-2.0-dev_2.3.21-2_armhf.deb) ... Selecting previously unselected package libglib2.0-bin. Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.39.2-0ubuntu1_armhf.deb) ... Selecting previously unselected package libpcre3-dev:armhf. Unpacking libpcre3-dev:armhf (from .../libpcre3-dev_1%3a8.31-2ubuntu2_armhf.deb) ... Selecting previously unselected package zlib1g-dev:armhf. Unpacking zlib1g-dev:armhf (from .../zlib1g-dev_1%3a1.2.8.dfsg-1ubuntu1_armhf.deb) ... Selecting previously unselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.39.2-0ubuntu1_armhf.deb) ... Selecting previously unselected package libatk1.0-dev. Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.10.0-2ubuntu1_armhf.deb) ... Selecting previously unselected package libavahi-common-dev. Unpacking libavahi-common-dev (from .../libavahi-common-dev_0.6.31-3ubuntu1_armhf.deb) ... Selecting previously unselected package libdbus-1-dev:armhf. Unpacking libdbus-1-dev:armhf (from .../libdbus-1-dev_1.6.18-0ubuntu2_armhf.deb) ... Selecting previously unselected package libavahi-client-dev. Unpacking libavahi-client-dev (from .../libavahi-client-dev_0.6.31-3ubuntu1_armhf.deb) ... Selecting previously unselected package libavahi-glib-dev. Unpacking libavahi-glib-dev (from .../libavahi-glib-dev_0.6.31-3ubuntu1_armhf.deb) ... Selecting previously unselected package libidl-dev:armhf. Unpacking libidl-dev:armhf (from .../libidl-dev_0.8.14-0.2ubuntu4_armhf.deb) ... Selecting previously unselected package orbit2. Unpacking orbit2 (from .../orbit2_1%3a2.14.19-0.3_armhf.deb) ... Selecting previously unselected package liborbit2-dev. Unpacking liborbit2-dev (from .../liborbit2-dev_1%3a2.14.19-0.3_armhf.deb) ... Selecting previously unselected package libpopt-dev:armhf. Unpacking libpopt-dev:armhf (from .../libpopt-dev_1.16-8ubuntu1_armhf.deb) ... Selecting previously unselected package libbonobo2-dev:armhf. Unpacking libbonobo2-dev:armhf (from .../libbonobo2-dev_2.32.1-0ubuntu5_armhf.deb) ... Selecting previously unselected package xorg-sgml-doctools. Unpacking xorg-sgml-doctools (from .../xorg-sgml-doctools_1%3a1.11-1_all.deb) ... Selecting previously unselected package x11proto-core-dev. Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.24-1_all.deb) ... Selecting previously unselected package libxau-dev:armhf. Unpacking libxau-dev:armhf (from .../libxau-dev_1%3a1.0.8-1_armhf.deb) ... Selecting previously unselected package libxdmcp-dev:armhf. Unpacking libxdmcp-dev:armhf (from .../libxdmcp-dev_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package x11proto-input-dev. Unpacking x11proto-input-dev (from .../x11proto-input-dev_2.3-1_all.deb) ... Selecting previously unselected package x11proto-kb-dev. Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.6-2_all.deb) ... Selecting previously unselected package xtrans-dev. Unpacking xtrans-dev (from .../xtrans-dev_1.3.2-1_all.deb) ... Selecting previously unselected package libpthread-stubs0-dev:armhf. Unpacking libpthread-stubs0-dev:armhf (from .../libpthread-stubs0-dev_0.3-4_armhf.deb) ... Selecting previously unselected package libxcb1-dev:armhf. Unpacking libxcb1-dev:armhf (from .../libxcb1-dev_1.9.1-3.1ubuntu1_armhf.deb) ... Selecting previously unselected package libx11-dev:armhf. Unpacking libx11-dev:armhf (from .../libx11-dev_2%3a1.6.2-1ubuntu2_armhf.deb) ... Selecting previously unselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.49-5ubuntu1_armhf.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.30.2-0ubuntu1_armhf.deb) ... Selecting previously unselected package libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.5.1-2ubuntu1_armhf.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:armhf. Unpacking libxrender-dev:armhf (from .../libxrender-dev_1%3a0.9.8-1_armhf.deb) ... Selecting previously unselected package libexpat1-dev:armhf. Unpacking libexpat1-dev:armhf (from .../libexpat1-dev_2.1.0-4ubuntu1_armhf.deb) ... Selecting previously unselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.11.0-0ubuntu3_armhf.deb) ... Selecting previously unselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.3.1-1ubuntu1_armhf.deb) ... Selecting previously unselected package libharfbuzz-dev. Unpacking libharfbuzz-dev (from .../libharfbuzz-dev_0.9.24-2ubuntu2_armhf.deb) ... Selecting previously unselected package libice-dev:armhf. Unpacking libice-dev:armhf (from .../libice-dev_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libsm-dev:armhf. Unpacking libsm-dev:armhf (from .../libsm-dev_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package libpixman-1-dev. Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.30.2-2ubuntu1_armhf.deb) ... Selecting previously unselected package libxcb-render0-dev:armhf. Unpacking libxcb-render0-dev:armhf (from .../libxcb-render0-dev_1.9.1-3.1ubuntu1_armhf.deb) ... Selecting previously unselected package libxcb-shm0-dev:armhf. Unpacking libxcb-shm0-dev:armhf (from .../libxcb-shm0-dev_1.9.1-3.1ubuntu1_armhf.deb) ... Selecting previously unselected package x11proto-xext-dev. Unpacking x11proto-xext-dev (from .../x11proto-xext-dev_7.2.1-1_all.deb) ... Selecting previously unselected package libxext-dev:armhf. Unpacking libxext-dev:armhf (from .../libxext-dev_2%3a1.3.2-1_armhf.deb) ... Selecting previously unselected package libcairo2-dev. Unpacking libcairo2-dev (from .../libcairo2-dev_1.12.16-0ubuntu2_armhf.deb) ... Selecting previously unselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.36.0-1ubuntu2_armhf.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:armhf. Unpacking libxinerama-dev:armhf (from .../libxinerama-dev_2%3a1.1.3-1_armhf.deb) ... Selecting previously unselected package x11proto-fixes-dev. Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a5.0-2ubuntu2_all.deb) ... Selecting previously unselected package libxfixes-dev:armhf. Unpacking libxfixes-dev:armhf (from .../libxfixes-dev_1%3a5.0.1-1ubuntu1_armhf.deb) ... Selecting previously unselected package libxi-dev. Unpacking libxi-dev (from .../libxi-dev_2%3a1.7.1.901-1ubuntu1_armhf.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_all.deb) ... Selecting previously unselected package libxrandr-dev:armhf. Unpacking libxrandr-dev:armhf (from .../libxrandr-dev_2%3a1.4.1-1ubuntu1_armhf.deb) ... Selecting previously unselected package libxcursor-dev:armhf. Unpacking libxcursor-dev:armhf (from .../libxcursor-dev_1%3a1.1.14-1_armhf.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.4-1_armhf.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:armhf. Unpacking libxdamage-dev:armhf (from .../libxdamage-dev_1%3a1.1.4-1ubuntu1_armhf.deb) ... Selecting previously unselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.9.1+dfsg1-3ubuntu3_armhf.deb) ... Selecting previously unselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.22-1ubuntu1_armhf.deb) ... Selecting previously unselected package libgail-common:armhf. Unpacking libgail-common:armhf (from .../libgail-common_2.24.22-1ubuntu1_armhf.deb) ... Selecting previously unselected package libgail-dev. Unpacking libgail-dev (from .../libgail-dev_2.24.22-1ubuntu1_armhf.deb) ... Selecting previously unselected package libgnomecanvas2-dev:armhf. Unpacking libgnomecanvas2-dev:armhf (from .../libgnomecanvas2-dev_2.30.3-1.2ubuntu2_armhf.deb) ... Selecting previously unselected package libgconf2-dev. Unpacking libgconf2-dev (from .../libgconf2-dev_3.2.6-0ubuntu1_armhf.deb) ... Selecting previously unselected package libgpg-error-dev. Unpacking libgpg-error-dev (from .../libgpg-error-dev_1.12-0.2ubuntu1_armhf.deb) ... Selecting previously unselected package libgcrypt11-dev. Unpacking libgcrypt11-dev (from .../libgcrypt11-dev_1.5.3-2ubuntu4_armhf.deb) ... Selecting previously unselected package libtasn1-3-dev. Unpacking libtasn1-3-dev (from .../libtasn1-3-dev_2.14-3ubuntu1_armhf.deb) ... Selecting previously unselected package libp11-kit-dev. Unpacking libp11-kit-dev (from .../libp11-kit-dev_0.20.1-2ubuntu1_armhf.deb) ... Selecting previously unselected package libgnutls-dev. Unpacking libgnutls-dev (from .../libgnutls-dev_2.12.23-1ubuntu5_armhf.deb) ... Selecting previously unselected package libxml2-dev:armhf. Unpacking libxml2-dev:armhf (from .../libxml2-dev_2.9.1+dfsg1-3ubuntu3_armhf.deb) ... Selecting previously unselected package libsepol1-dev. Unpacking libsepol1-dev (from .../libsepol1-dev_2.2-1_armhf.deb) ... Selecting previously unselected package libselinux1-dev:armhf. Unpacking libselinux1-dev:armhf (from .../libselinux1-dev_2.2.1-1ubuntu2_armhf.deb) ... Selecting previously unselected package libgnomevfs2-dev:armhf. Unpacking libgnomevfs2-dev:armhf (from .../libgnomevfs2-dev_1%3a2.24.4-1ubuntu6_armhf.deb) ... Selecting previously unselected package libcanberra-dev:armhf. Unpacking libcanberra-dev:armhf (from .../libcanberra-dev_0.30-0ubuntu2_armhf.deb) ... Selecting previously unselected package libgnome2-dev:armhf. Unpacking libgnome2-dev:armhf (from .../libgnome2-dev_2.32.1-4ubuntu1_armhf.deb) ... Selecting previously unselected package libbonoboui2-dev:armhf. Unpacking libbonoboui2-dev:armhf (from .../libbonoboui2-dev_2.24.5-0ubuntu3_armhf.deb) ... Selecting previously unselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-10ubuntu1_armhf.deb) ... Selecting previously unselected package libglade2-dev:armhf. Unpacking libglade2-dev:armhf (from .../libglade2-dev_1%3a2.6.4-1ubuntu4_armhf.deb) ... Selecting previously unselected package libgmp-dev:armhf. Unpacking libgmp-dev:armhf (from .../libgmp-dev_2%3a5.1.2+dfsg-3ubuntu3_armhf.deb) ... Selecting previously unselected package libgmp3-dev. Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a5.1.2+dfsg-3ubuntu3_armhf.deb) ... Selecting previously unselected package libgnome-keyring-dev. Unpacking libgnome-keyring-dev (from .../libgnome-keyring-dev_3.8.0-2_armhf.deb) ... Selecting previously unselected package libgnomeui-dev:armhf. Unpacking libgnomeui-dev:armhf (from .../libgnomeui-dev_2.24.5-2ubuntu3_armhf.deb) ... Selecting previously unselected package libgtksourceview2.0-common. Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.5-1ubuntu2_all.deb) ... Selecting previously unselected package libgtksourceview2.0-0. Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.5-1ubuntu2_armhf.deb) ... Selecting previously unselected package libgtksourceview2.0-dev. Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.5-1ubuntu2_armhf.deb) ... Selecting previously unselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1ubuntu7_armhf.deb) ... Selecting previously unselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1ubuntu7_armhf.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_4.01.0-3ubuntu2_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.16.0+dfsg-1_armhf.deb) ... Selecting previously unselected package liblablgtk2-gnome-ocaml. Unpacking liblablgtk2-gnome-ocaml (from .../liblablgtk2-gnome-ocaml_2.16.0+dfsg-1_armhf.deb) ... Selecting previously unselected package librsvg2-common:armhf. Unpacking librsvg2-common:armhf (from .../librsvg2-common_2.40.0-1_armhf.deb) ... Selecting previously unselected package librsvg2-dev. Unpacking librsvg2-dev (from .../librsvg2-dev_2.40.0-1_armhf.deb) ... Selecting previously unselected package libtinfo-dev:armhf. Unpacking libtinfo-dev:armhf (from .../libtinfo-dev_5.9+20130608-1ubuntu1_armhf.deb) ... Selecting previously unselected package libncurses5-dev:armhf. Unpacking libncurses5-dev:armhf (from .../libncurses5-dev_5.9+20130608-1ubuntu1_armhf.deb) ... Selecting previously unselected package ocaml-compiler-libs. Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_4.01.0-3ubuntu2_armhf.deb) ... Selecting previously unselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_4.01.0-3ubuntu2_armhf.deb) ... Selecting previously unselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_4.01.0-3ubuntu2_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.16.0+dfsg-1_armhf.deb) ... Selecting previously unselected package liblablgtk2-gnome-ocaml-dev. Unpacking liblablgtk2-gnome-ocaml-dev (from .../liblablgtk2-gnome-ocaml-dev_2.16.0+dfsg-1_armhf.deb) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.16.0+dfsg-1_armhf.deb) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_2.16.0+dfsg-1_armhf.deb) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Unpacking libocamlgraph-ocaml-dev (from .../libocamlgraph-ocaml-dev_1.8.3-1build1_armhf.deb) ... Selecting previously unselected package libzarith-ocaml. Unpacking libzarith-ocaml (from .../libzarith-ocaml_1.2.1-2build1_armhf.deb) ... Selecting previously unselected package libzarith-ocaml-dev. Unpacking libzarith-ocaml-dev (from .../libzarith-ocaml-dev_1.2.1-2build1_armhf.deb) ... Selecting previously unselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_1.0.7_all.deb) ... Setting up libexpat1:armhf (2.1.0-4ubuntu1) ... Setting up libgnutls-openssl27:armhf (2.12.23-1ubuntu5) ... Setting up libmagic1:armhf (1:5.14-2ubuntu1) ... Setting up libpopt0:armhf (1.16-8ubuntu1) ... Setting up libssl1.0.0:armhf (1.0.1e-4ubuntu4) ... Setting up libpython3.3-minimal:armhf (3.3.3-4) ... Setting up mime-support (3.54ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libpython3.3-stdlib:armhf (3.3.3-4) ... Setting up python3.3-minimal (3.3.3-4) ... Setting up libasprintf0c2:armhf (0.18.3.1-1ubuntu2) ... Setting up libglib2.0-0:armhf (2.39.2-0ubuntu1) ... No schema files found: doing nothing. Setting up libdbus-glib-1-2:armhf (0.100.2-1) ... Setting up libpipeline1:armhf (1.2.6-1) ... Setting up libsystemd-login0:armhf (204-5ubuntu6) ... Setting up libxau6:armhf (1:1.0.8-1) ... Setting up libxdmcp6:armhf (1:1.1.1-1) ... Setting up libxcb1:armhf (1.9.1-3.1ubuntu1) ... Setting up libx11-data (2:1.6.2-1ubuntu2) ... Setting up libx11-6:armhf (2:1.6.2-1ubuntu2) ... Setting up libxext6:armhf (2:1.3.2-1) ... Setting up libxml2:armhf (2.9.1+dfsg1-3ubuntu3) ... Setting up groff-base (1.22.2-3) ... 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.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libart-2.0-2:armhf (2.3.21-2) ... Setting up libasound2-data (1.0.27.2-3ubuntu1) ... Setting up libasound2:armhf (1.0.27.2-3ubuntu1) ... Setting up libatk1.0-data (2.10.0-2ubuntu1) ... Setting up libatk1.0-0:armhf (2.10.0-2ubuntu1) ... Setting up libavahi-common-data:armhf (0.6.31-3ubuntu1) ... Setting up libavahi-common3:armhf (0.6.31-3ubuntu1) ... Setting up libavahi-client3:armhf (0.6.31-3ubuntu1) ... Setting up libavahi-glib1:armhf (0.6.31-3ubuntu1) ... Setting up libbonobo2-common (2.32.1-0ubuntu5) ... Setting up libidl-common (0.8.14-0.2ubuntu4) ... Setting up libidl0:armhf (0.8.14-0.2ubuntu4) ... Setting up liborbit-2-0:armhf (1:2.14.19-0.3) ... Setting up liborbit2:armhf (1:2.14.19-0.3) ... Setting up libbonobo2-0:armhf (2.32.1-0ubuntu5) ... Setting up ucf (3.0027+nmu1) ... Setting up gconf2-common (3.2.6-0ubuntu1) ... Creating config file /etc/gconf/2/path with new version Setting up libgconf-2-4:armhf (3.2.6-0ubuntu1) ... Setting up libjpeg-turbo8:armhf (1.3.0-0ubuntu2) ... Setting up libjpeg8:armhf (8c-2ubuntu8) ... Setting up libjasper1:armhf (1.900.1-14ubuntu3) ... Setting up libjbig0:armhf (2.0-2ubuntu4) ... Setting up libtiff5:armhf (4.0.3-6ubuntu1) ... Setting up libgdk-pixbuf2.0-common (2.30.2-0ubuntu1) ... Setting up libgdk-pixbuf2.0-0:armhf (2.30.2-0ubuntu1) ... Setting up libgtk2.0-common (2.24.22-1ubuntu1) ... Setting up fonts-dejavu-core (2.33+svn2514-3ubuntu1) ... Setting up fontconfig-config (2.11.0-0ubuntu3) ... Setting up libfreetype6:armhf (2.5.1-2ubuntu1) ... Setting up libfontconfig1:armhf (2.11.0-0ubuntu3) ... Setting up libpixman-1-0:armhf (0.30.2-2ubuntu1) ... Setting up libxcb-render0:armhf (1.9.1-3.1ubuntu1) ... Setting up libxcb-shm0:armhf (1.9.1-3.1ubuntu1) ... Setting up libxrender1:armhf (1:0.9.8-1) ... Setting up libcairo2:armhf (1.12.16-0ubuntu2) ... Setting up libcups2:armhf (1.7.0-0ubuntu3) ... Setting up libthai-data (0.1.20-1) ... Setting up libdatrie1:armhf (0.2.7.1-1) ... Setting up libthai0:armhf (0.1.20-1) ... Setting up fontconfig (2.11.0-0ubuntu3) ... Regenerating fonts cache... done. Setting up libpango-1.0-0:armhf (1.36.0-1ubuntu2) ... Setting up libgraphite2-3:armhf (1.2.4-1ubuntu1) ... Setting up libharfbuzz0b:armhf (0.9.24-2ubuntu2) ... Setting up libpangoft2-1.0-0:armhf (1.36.0-1ubuntu2) ... Setting up libpangocairo-1.0-0:armhf (1.36.0-1ubuntu2) ... Setting up libxcomposite1:armhf (1:0.4.4-1) ... Setting up libxfixes3:armhf (1:5.0.1-1ubuntu1) ... Setting up libxcursor1:armhf (1:1.1.14-1) ... Setting up libxdamage1:armhf (1:1.1.4-1ubuntu1) ... Setting up libxi6:armhf (2:1.7.1.901-1ubuntu1) ... Setting up libxinerama1:armhf (2:1.1.3-1) ... Setting up libxrandr2:armhf (2:1.4.1-1ubuntu1) ... Setting up shared-mime-info (1.2-0ubuntu1) ... Setting up libgtk2.0-0:armhf (2.24.22-1ubuntu1) ... Setting up libglade2-0:armhf (1:2.6.4-1ubuntu4) ... Setting up libltdl7:armhf (2.4.2-1.3ubuntu2) ... Setting up libtdb1:armhf (1.2.12-1) ... Setting up libogg0:armhf (1.3.1-1ubuntu1) ... Setting up libvorbis0a:armhf (1.3.2-1.3ubuntu1) ... Setting up libvorbisfile3:armhf (1.3.2-1.3ubuntu1) ... Setting up sound-theme-freedesktop (0.8-1) ... Setting up libcanberra0:armhf (0.30-0ubuntu2) ... Setting up libapparmor1:armhf (2.8.0-0ubuntu35) ... Setting up netbase (5.1) ... Setting up dbus (1.6.18-0ubuntu2) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up psmisc (22.20-1ubuntu2) ... Setting up dbus-x11 (1.6.18-0ubuntu2) ... Setting up libpython2.7-minimal:armhf (2.7.6-3ubuntu1) ... Setting up python2.7-minimal (2.7.6-3ubuntu1) ... Linking and byte-compiling packages for runtime python2.7... Setting up libpython2.7-stdlib:armhf (2.7.6-3ubuntu1) ... Setting up python2.7 (2.7.6-3ubuntu1) ... Setting up python-minimal (2.7.5-5ubuntu3) ... Setting up libpython-stdlib:armhf (2.7.5-5ubuntu3) ... Setting up python (2.7.5-5ubuntu3) ... Setting up libgail18:armhf (2.24.22-1ubuntu1) ... Setting up libgnomecanvas2-common (2.30.3-1.2ubuntu2) ... Setting up libgnomecanvas2-0:armhf (2.30.3-1.2ubuntu2) ... Setting up libbonoboui2-common (2.24.5-0ubuntu3) ... rmdir: failed to remove '/usr/share/gtk-doc/html/libbonoboui': Directory not empty Setting up libcairo-gobject2:armhf (1.12.16-0ubuntu2) ... Setting up liblzo2-2:armhf (2.06-1.2ubuntu1) ... Setting up libcairo-script-interpreter2:armhf (1.12.16-0ubuntu2) ... Setting up libcroco3:armhf (0.6.8-2ubuntu1) ... Setting up libelfg0:armhf (0.8.13-5) ... Setting up libaspell15 (0.60.7~20110707-1ubuntu1) ... Setting up libtext-iconv-perl (1.7-5build2) ... Setting up dictionaries-common (1.20.4) ... Setting up libhunspell-1.3-0:armhf (1.3.2-6ubuntu2) ... Setting up libgmpxx4ldbl:armhf (2:5.1.2+dfsg-3ubuntu3) ... Setting up libgnome-keyring-common (3.8.0-2) ... Setting up libgnome-keyring0:armhf (3.8.0-2) ... Setting up x11-common (1:7.7+1ubuntu7) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:armhf (2:1.0.8-2) ... Setting up libxft2:armhf (2.3.1-1ubuntu1) ... Setting up libpangoxft-1.0-0:armhf (1.36.0-1ubuntu2) ... Setting up libpangox-1.0-0:armhf (0.0.2-4ubuntu1) ... Setting up libpango1.0-0:armhf (1.36.0-1ubuntu2) ... Setting up libsm6:armhf (2:1.2.1-2) ... Setting up libgnomeui-common (2.24.5-2ubuntu3) ... Setting up libharfbuzz-gobject0:armhf (0.9.24-2ubuntu2) ... Setting up libicu48:armhf (4.8.1.1-13+nmu1ubuntu1) ... Setting up libharfbuzz-icu0:armhf (0.9.24-2ubuntu2) ... Setting up libpcrecpp0:armhf (1:8.31-2ubuntu2) ... Setting up librsvg2-2:armhf (2.40.0-1) ... Setting up libunistring0:armhf (0.9.3-5ubuntu3) ... Setting up libgnutlsxx27:armhf (2.12.23-1ubuntu5) ... Setting up python3.3 (3.3.3-4) ... Setting up python3-minimal (3.3.2-17ubuntu1) ... Setting up libpython3-stdlib:armhf (3.3.2-17ubuntu1) ... Setting up file (1:5.14-2ubuntu1) ... Setting up gettext-base (0.18.3.1-1ubuntu2) ... Setting up libgirepository-1.0-1 (1.39.0-0ubuntu1) ... Setting up gir1.2-glib-2.0 (1.39.0-0ubuntu1) ... Setting up libglib2.0-data (2.39.2-0ubuntu1) ... 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 gir1.2-atk-1.0 (2.10.0-2ubuntu1) ... Setting up gir1.2-freedesktop (1.39.0-0ubuntu1) ... Setting up gir1.2-gdkpixbuf-2.0 (2.30.2-0ubuntu1) ... Setting up gir1.2-gnomekeyring-1.0 (3.8.0-2) ... Setting up gir1.2-pango-1.0 (1.36.0-1ubuntu2) ... Setting up gir1.2-gtk-2.0 (2.24.22-1ubuntu1) ... Setting up gir1.2-rsvg-2.0 (2.40.0-1) ... Setting up pkg-config (0.26-1ubuntu4) ... Setting up libart-2.0-dev (2.3.21-2) ... Setting up libglib2.0-bin (2.39.2-0ubuntu1) ... Setting up libpcre3-dev:armhf (1:8.31-2ubuntu2) ... Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-1ubuntu1) ... Setting up libglib2.0-dev (2.39.2-0ubuntu1) ... Setting up libatk1.0-dev (2.10.0-2ubuntu1) ... Setting up libavahi-common-dev (0.6.31-3ubuntu1) ... Setting up libdbus-1-dev:armhf (1.6.18-0ubuntu2) ... Setting up libavahi-client-dev (0.6.31-3ubuntu1) ... Setting up libavahi-glib-dev (0.6.31-3ubuntu1) ... Setting up libidl-dev:armhf (0.8.14-0.2ubuntu4) ... Setting up orbit2 (1:2.14.19-0.3) ... Setting up liborbit2-dev (1:2.14.19-0.3) ... Setting up libpopt-dev:armhf (1.16-8ubuntu1) ... Setting up libbonobo2-dev:armhf (2.32.1-0ubuntu5) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up x11proto-core-dev (7.0.24-1) ... Setting up libxau-dev:armhf (1:1.0.8-1) ... Setting up libxdmcp-dev:armhf (1:1.1.1-1) ... Setting up x11proto-input-dev (2.3-1) ... Setting up x11proto-kb-dev (1.0.6-2) ... Setting up xtrans-dev (1.3.2-1) ... Setting up libpthread-stubs0-dev:armhf (0.3-4) ... Setting up libxcb1-dev:armhf (1.9.1-3.1ubuntu1) ... Setting up libx11-dev:armhf (2:1.6.2-1ubuntu2) ... Setting up libpng12-dev (1.2.49-5ubuntu1) ... Setting up libgdk-pixbuf2.0-dev (2.30.2-0ubuntu1) ... Setting up libfreetype6-dev (2.5.1-2ubuntu1) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:armhf (1:0.9.8-1) ... Setting up libexpat1-dev:armhf (2.1.0-4ubuntu1) ... Setting up libfontconfig1-dev (2.11.0-0ubuntu3) ... Setting up libxft-dev (2.3.1-1ubuntu1) ... Setting up libharfbuzz-dev (0.9.24-2ubuntu2) ... Setting up libice-dev:armhf (2:1.0.8-2) ... Setting up libsm-dev:armhf (2:1.2.1-2) ... Setting up libpixman-1-dev (0.30.2-2ubuntu1) ... Setting up libxcb-render0-dev:armhf (1.9.1-3.1ubuntu1) ... Setting up libxcb-shm0-dev:armhf (1.9.1-3.1ubuntu1) ... Setting up x11proto-xext-dev (7.2.1-1) ... Setting up libxext-dev:armhf (2:1.3.2-1) ... Setting up libcairo2-dev (1.12.16-0ubuntu2) ... Setting up libpango1.0-dev (1.36.0-1ubuntu2) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev:armhf (2:1.1.3-1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu2) ... Setting up libxfixes-dev:armhf (1:5.0.1-1ubuntu1) ... Setting up libxi-dev (2:1.7.1.901-1ubuntu1) ... Setting up x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1) ... Setting up libxrandr-dev:armhf (2:1.4.1-1ubuntu1) ... Setting up libxcursor-dev:armhf (1:1.1.14-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.4-1) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev:armhf (1:1.1.4-1ubuntu1) ... Setting up libxml2-utils (2.9.1+dfsg1-3ubuntu3) ... Setting up libgtk2.0-dev (2.24.22-1ubuntu1) ... Setting up libgail-common:armhf (2.24.22-1ubuntu1) ... Setting up libgail-dev (2.24.22-1ubuntu1) ... Setting up libgnomecanvas2-dev:armhf (2.30.3-1.2ubuntu2) ... Setting up libgpg-error-dev (1.12-0.2ubuntu1) ... Setting up libgcrypt11-dev (1.5.3-2ubuntu4) ... Setting up libtasn1-3-dev (2.14-3ubuntu1) ... Setting up libp11-kit-dev (0.20.1-2ubuntu1) ... Setting up libgnutls-dev (2.12.23-1ubuntu5) ... Setting up libxml2-dev:armhf (2.9.1+dfsg1-3ubuntu3) ... Setting up libsepol1-dev (2.2-1) ... Setting up libselinux1-dev:armhf (2.2.1-1ubuntu2) ... Setting up libcanberra-dev:armhf (0.30-0ubuntu2) ... Setting up libglade2-dev:armhf (1:2.6.4-1ubuntu4) ... Setting up libgmp-dev:armhf (2:5.1.2+dfsg-3ubuntu3) ... Setting up libgmp3-dev (2:5.1.2+dfsg-3ubuntu3) ... Setting up libgnome-keyring-dev (3.8.0-2) ... Setting up libgtksourceview2.0-common (2.10.5-1ubuntu2) ... Setting up libgtksourceview2.0-0 (2.10.5-1ubuntu2) ... Setting up libgtksourceview2.0-dev (2.10.5-1ubuntu2) ... Setting up ocaml-base-nox (4.01.0-3ubuntu2) ... Setting up librsvg2-common:armhf (2.40.0-1) ... Setting up librsvg2-dev (2.40.0-1) ... Setting up libtinfo-dev:armhf (5.9+20130608-1ubuntu1) ... Setting up libncurses5-dev:armhf (5.9+20130608-1ubuntu1) ... Setting up libzarith-ocaml (1.2.1-2build1) ... Setting up dh-ocaml (1.0.7) ... Processing triggers for dictionaries-common ... aspell-autobuildhash: processing: en [en-common] aspell-autobuildhash: processing: en [en-variant_0] aspell-autobuildhash: processing: en [en-variant_1] aspell-autobuildhash: processing: en [en-variant_2] aspell-autobuildhash: processing: en [en-w_accents-only] aspell-autobuildhash: processing: en [en-wo_accents-only] aspell-autobuildhash: processing: en [en_CA-variant_0] aspell-autobuildhash: processing: en [en_CA-variant_1] aspell-autobuildhash: processing: en [en_CA-w_accents-only] aspell-autobuildhash: processing: en [en_CA-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-variant_0] aspell-autobuildhash: processing: en [en_GB-variant_1] aspell-autobuildhash: processing: en [en_US-w_accents-only] aspell-autobuildhash: processing: en [en_US-wo_accents-only] Setting up aspell (0.60.7~20110707-1ubuntu1) ... Processing triggers for dictionaries-common ... Setting up aspell-en (7.1-0-1) ... Processing triggers for dictionaries-common ... Setting up libenchant1c2a:armhf (1.6.0-10ubuntu1) ... Setting up libenchant-dev (1.6.0-10ubuntu1) ... Setting up libgtkspell0 (2.0.16-1ubuntu7) ... Setting up libgtkspell-dev (2.0.16-1ubuntu7) ... Setting up liblablgtk2-ocaml (2.16.0+dfsg-1) ... Setting up liblablgtksourceview2-ocaml (2.16.0+dfsg-1) ... Setting up gconf-service (3.2.6-0ubuntu1) ... Setting up python3 (3.3.2-17ubuntu1) ... running python rtupdate hooks for python3.3... running python post-rtupdate hooks for python3.3... Setting up dh-python (1.20131021-1ubuntu6) ... Setting up apparmor-easyprof (2.8.0-0ubuntu35) ... Setting up dh-apparmor (2.8.0-0ubuntu35) ... Setting up debhelper (9.20131127ubuntu1) ... Setting up gir1.2-gconf-2.0 (3.2.6-0ubuntu1) ... Setting up ocaml-compiler-libs (4.01.0-3ubuntu2) ... Setting up ocaml-interp (4.01.0-3ubuntu2) ... Setting up gconf-service-backend (3.2.6-0ubuntu1) ... Setting up gconf2 (3.2.6-0ubuntu1) ... update-alternatives: using /usr/bin/gconftool-2 to provide /usr/bin/gconftool (gconftool) in auto mode (gconftool-2:7497): GConf-WARNING **: Client failed to connect to the D-BUS daemon: Unable to autolaunch a dbus-daemon without a $DISPLAY for X11 Setting up libgnomevfs2-common (1:2.24.4-1ubuntu6) ... Setting up libgnomevfs2-0:armhf (1:2.24.4-1ubuntu6) ... Setting up libgnome2-common (2.32.1-4ubuntu1) ... Setting up libgnome2-bin (2.32.1-4ubuntu1) ... Setting up libgnome2-0:armhf (2.32.1-4ubuntu1) ... Setting up libbonoboui2-0:armhf (2.24.5-0ubuntu3) ... Setting up libgnomeui-0:armhf (2.24.5-2ubuntu3) ... Setting up libgconf2-dev (3.2.6-0ubuntu1) ... Setting up libgnomevfs2-dev:armhf (1:2.24.4-1ubuntu6) ... Setting up libgnome2-dev:armhf (2.32.1-4ubuntu1) ... Setting up libbonoboui2-dev:armhf (2.24.5-0ubuntu3) ... Setting up libgnomeui-dev:armhf (2.24.5-2ubuntu3) ... Setting up liblablgtk2-gnome-ocaml (2.16.0+dfsg-1) ... Setting up ocaml-nox (4.01.0-3ubuntu2) ... Setting up liblablgtk2-ocaml-dev (2.16.0+dfsg-1) ... Setting up liblablgtk2-gnome-ocaml-dev (2.16.0+dfsg-1) ... Setting up liblablgtksourceview2-ocaml-dev (2.16.0+dfsg-1) ... Setting up libocamlgraph-ocaml-dev (1.8.3-1build1) ... Setting up libzarith-ocaml-dev (1.2.1-2build1) ... Processing triggers for libc-bin ... Processing triggers for libgdk-pixbuf2.0-0:armhf ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.18-0ubuntu2 make_3.81-8.2ubuntu3 dpkg-dev_1.17.1ubuntu1 gcc-4.8_4.8.2-10ubuntu2 g++-4.8_4.8.2-10ubuntu2 binutils_2.24-2ubuntu2 libstdc++-4.8-dev_4.8.2-10ubuntu2 libstdc++6_4.8.2-10ubuntu2 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt gpgv: Signature made Mon Dec 23 22:03:42 2013 UTC using DSA key ID 0F932C9C gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./alt-ergo_0.95.2-1build1.dsc dpkg-source: info: extracting alt-ergo in alt-ergo-0.95.2 dpkg-source: info: unpacking alt-ergo_0.95.2.orig.tar.gz dpkg-source: info: unpacking alt-ergo_0.95.2-1build1.debian.tar.gz dpkg-source: info: applying 0001-No-need-to-activate-debug-flag.patch dpkg-buildpackage: source package alt-ergo dpkg-buildpackage: source version 0.95.2-1build1 dpkg-buildpackage: source distribution trusty dpkg-source --before-build alt-ergo-0.95.2 dpkg-buildpackage: host architecture armhf /usr/bin/fakeroot debian/rules clean dh --with ocaml clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/alt-ergo-0.95.2' if [ -f Makefile ]; then \ /usr/bin/make dist-clean; \ fi make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.2' dh_ocamlclean dh_clean debian/rules build-arch dh --with ocaml build-arch dh_testdir -a dh_ocamlinit -a dh_auto_configure -a configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.01.0 ocaml library path is /usr/lib/ocaml checking for ocamlfind... no checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes checking for /usr/lib/ocaml/zarith/zarith.cma... yes checking for ocp-ocamlopt... no checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocp-ocamlc.opt... no checking for ocamlc.opt... no checking for ocp-ocamlopt.opt... no checking for ocamlopt.opt... no checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for ocamlyacc... ocamlyacc checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... yes checking for ocamlweb... true checking platform... checking for ocamlwizard... true configure: creating ./config.status config.status: creating Makefile config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking debian/rules override_dh_auto_build make[1]: Entering directory `/build/buildd/alt-ergo-0.95.2' /usr/bin/make all gui make[2]: Entering directory `/build/buildd/alt-ergo-0.95.2' Makefile:485: .depend: No such file or directory ocamlyacc -v src/parsing/why_parser.mly ocamllex src/parsing/why_lexer.mll > /dev/null ocamlyacc -v src/parsing/smt_parser.mly ocamllex src/parsing/smt_lex.mll > /dev/null ocamlyacc -v src/parsing/smtlib2_parse.mly ocamllex src/parsing/smtlib2_lex.mll > /dev/null ocamldep -slash -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* > .depend make[2]: Leaving directory `/build/buildd/alt-ergo-0.95.2' make[2]: Entering directory `/build/buildd/alt-ergo-0.95.2' ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/version.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/version.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numbers.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/numbers.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/timers.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/timers.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/options.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/options.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/loc.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/loc.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hashcons.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/hashcons.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hstring.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/hstring.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/ty.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/ty.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/symbols.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/symbols.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/subst.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/subst.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/term.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/term.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/literal.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/literal.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/formula.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/formula.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/explanation.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/explanation.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/exception.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/exception.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/why_ptree.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/why_ptree.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/smtlib2_ast.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/smtlib2_ast.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/errors.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/errors.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_parser.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/why_parser.ml ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/why_lexer.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/smt_ast.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smt_parser.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/smt_parser.ml ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/smt_lex.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smtlib2_parse.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/smtlib2_parse.ml ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/smtlib2_lex.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/existantial.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/existantial.ml ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/smt_to_why.ml ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/smtlib2_to_why.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/triggers.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/triggers.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/why_typing.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/why_typing.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/cnf.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/cnf.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/boxed.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sig.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/matching.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/instances/matching.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/polynome.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/polynome.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ac.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/ac.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervals.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/intervals.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/fm.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/fm.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arith.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/arith.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/records.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/records.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/bitv.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/bitv.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arrays.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/arrays.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sum.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/sum.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/combine.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/combine.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/use.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/use.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/uf.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/uf.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/incr_match.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/incr_match.ml ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/boxed.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/instantiation.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/instantiation.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/custom_theory.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/custom_theory.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/cc.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/cc.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/sat/sat.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/pruning.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/pruning.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/frontend.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/main/frontend.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/main_text.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/main/main_text.ml ocamlopt -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo -o alt-ergo.opt zarith.cmxa nums.cmxa graph.cmxa unix.cmxa src/util/version.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/subst.cmx src/structures/ty.cmx src/structures/why_ptree.cmx src/structures/smtlib2_ast.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/parsing/errors.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/parsing/smt_parser.cmx src/parsing/smt_lex.cmx src/parsing/smtlib2_parse.cmx src/parsing/smtlib2_lex.cmx src/preprocess/existantial.cmx src/preprocess/smt_to_why.cmx src/preprocess/smtlib2_to_why.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/intervals.cmx src/theories/fm.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/incr_match.cmx src/theories/boxed.cmx src/theories/instantiation.cmx src/theories/custom_theory.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/cc.cmx src/sat/sat.cmx src/preprocess/pruning.cmx src/main/frontend.cmx src/main/main_text.cmx ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/gui_session.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/gui/gui_session.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/why_annoted.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/gui/why_annoted.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/why_connected.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/gui/why_connected.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/gui_replay.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/gui/gui_replay.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/main_gui.mli ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/main/main_gui.ml ocamlopt -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo -o altgr-ergo.opt zarith.cmxa nums.cmxa graph.cmxa unix.cmxa zarith.cmxa threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.cmx src/util/version.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/subst.cmx src/structures/ty.cmx src/structures/why_ptree.cmx src/structures/smtlib2_ast.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/parsing/errors.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/parsing/smt_parser.cmx src/parsing/smt_lex.cmx src/parsing/smtlib2_parse.cmx src/parsing/smtlib2_lex.cmx src/preprocess/existantial.cmx src/preprocess/smt_to_why.cmx src/preprocess/smtlib2_to_why.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/intervals.cmx src/theories/fm.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/incr_match.cmx src/theories/boxed.cmx src/theories/instantiation.cmx src/theories/custom_theory.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/cc.cmx src/sat/sat.cmx src/preprocess/pruning.cmx src/main/frontend.cmx src/gui/gui_session.cmx src/gui/why_annoted.cmx src/gui/why_connected.cmx src/gui/gui_replay.cmx src/main/main_gui.cmx make[2]: Leaving directory `/build/buildd/alt-ergo-0.95.2' make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.2' dh_auto_test -a /usr/bin/fakeroot debian/rules binary-arch dh --with ocaml binary-arch dh_testroot -a dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory `/build/buildd/alt-ergo-0.95.2' /usr/bin/make DESTDIR=debian/tmp install install-gui install-pack make[2]: Entering directory `/build/buildd/alt-ergo-0.95.2' mkdir -p debian/tmp/usr/share/man/man1 cp -f doc/*.1 debian/tmp/usr/share/man/man1 mkdir -p debian/tmp/usr/bin cp -f alt-ergo.opt debian/tmp/usr/bin/alt-ergo cp -f altgr-ergo.opt debian/tmp/usr/bin/altgr-ergo mkdir -p debian/tmp/usr/share/gtksourceview-2.0/language-specs cp -f doc/gtk-lang/alt-ergo.lang debian/tmp/usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/version.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numbers.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/timers.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/options.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/loc.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hashcons.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hstring.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/exception.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/symbols.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/subst.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/ty.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/why_ptree.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/smtlib2_ast.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/term.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/literal.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/formula.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/explanation.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/errors.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_parser.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_lexer.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smt_parser.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smt_lex.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smtlib2_parse.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smtlib2_lex.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/existantial.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/smt_to_why.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/smtlib2_to_why.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/triggers.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/why_typing.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/cnf.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/matching.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/polynome.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ac.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervals.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/fm.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arith.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/records.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/bitv.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arrays.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sum.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/combine.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/incr_match.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/boxed.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/instantiation.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/custom_theory.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/uf.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/use.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/cc.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat.ml ocamlc -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -pack -o altErgo.cmo src/util/version.cmo src/util/numbers.cmo src/util/timers.cmo src/util/options.cmo src/util/loc.cmo src/util/hashcons.cmo src/util/hstring.cmo src/structures/exception.cmo src/structures/symbols.cmo src/structures/subst.cmo src/structures/ty.cmo src/structures/why_ptree.cmo src/structures/smtlib2_ast.cmo src/structures/term.cmo src/structures/literal.cmo src/structures/formula.cmo src/structures/explanation.cmo src/parsing/errors.cmo src/parsing/why_parser.cmo src/parsing/why_lexer.cmo src/parsing/smt_parser.cmo src/parsing/smt_lex.cmo src/parsing/smtlib2_parse.cmo src/parsing/smtlib2_lex.cmo src/preprocess/existantial.cmo src/preprocess/smt_to_why.cmo src/preprocess/smtlib2_to_why.cmo src/preprocess/triggers.cmo src/preprocess/why_typing.cmo src/preprocess/cnf.cmo src/instances/matching.cmo src/theories/polynome.cmo src/theories/ac.cmo src/theories/intervals.cmo src/theories/fm.cmo src/theories/arith.cmo src/theories/records.cmo src/theories/bitv.cmo src/theories/arrays.cmo src/theories/sum.cmo src/theories/combine.cmo src/theories/incr_match.cmo src/theories/boxed.cmo src/theories/instantiation.cmo src/theories/custom_theory.cmo src/theories/uf.cmo src/theories/use.cmo src/theories/cc.cmo src/sat/sat.cmo mkdir -p debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.cmo debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.cmi debian/tmp/usr/lib/ocaml/alt-ergo cp -f META debian/tmp/usr/lib/ocaml/alt-ergo ocamlopt -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -pack -o altErgo.cmx src/util/version.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/subst.cmx src/structures/ty.cmx src/structures/why_ptree.cmx src/structures/smtlib2_ast.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/parsing/errors.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/parsing/smt_parser.cmx src/parsing/smt_lex.cmx src/parsing/smtlib2_parse.cmx src/parsing/smtlib2_lex.cmx src/preprocess/existantial.cmx src/preprocess/smt_to_why.cmx src/preprocess/smtlib2_to_why.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/intervals.cmx src/theories/fm.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/incr_match.cmx src/theories/boxed.cmx src/theories/instantiation.cmx src/theories/custom_theory.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/cc.cmx src/sat/sat.cmx mkdir -p debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.cmx debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.o debian/tmp/usr/lib/ocaml/alt-ergo make[2]: Leaving directory `/build/buildd/alt-ergo-0.95.2' make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.2' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_installman -a dh_perl -a dh_link -a dh_compress -a dh_fixperms -a dh_strip -a dh_strip debug symbol extraction: all non-arch-all packages for this build platform armhf: alt-ergo libalt-ergo-ocaml-dev dh_strip debug symbol extraction: packages to act on: alt-ergo libalt-ergo-ocaml-dev dh_strip debug symbol extraction: ignored packages: dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-deb: building package `alt-ergo-dbgsym' in `../alt-ergo-dbgsym_0.95.2-1build1_armhf.ddeb'. libalt-ergo-ocaml-dev is already stripped, ignoring find: `/build/buildd/alt-ergo-0.95.2/debian/libalt-ergo-ocaml-dev-dbgsym': No such file or directory dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a W: libalt-ergo-ocaml-dev v0.95.2-1build1 doesn't resolve dependency on unit Sig W: libalt-ergo-ocaml-dev v0.95.2-1build1 doesn't resolve dependency on unit Smt_ast dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package alt-ergo: unknown substitution variable ${ocaml:Depends} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: Depends field of package libalt-ergo-ocaml-dev: unknown substitution variable ${shlibs:Depends} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: package libalt-ergo-ocaml-dev: unused substitution variable ${ocaml:Provides} dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 118 pkgstriptranslations: processing alt-ergo (in debian/alt-ergo); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/alt-ergo/DEBIAN/control, package alt-ergo, directory debian/alt-ergo pkgstripfiles: Truncating usr/share/doc/alt-ergo/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package alt-ergo took 0 s dpkg-deb: warning: 'debian/alt-ergo/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `alt-ergo' in `../alt-ergo_0.95.2-1build1_armhf.deb'. INFO: pkgstriptranslations version 118 pkgstriptranslations: processing libalt-ergo-ocaml-dev (in debian/libalt-ergo-ocaml-dev); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libalt-ergo-ocaml-dev/DEBIAN/control, package libalt-ergo-ocaml-dev, directory debian/libalt-ergo-ocaml-dev pkgstripfiles: Truncating usr/share/doc/libalt-ergo-ocaml-dev/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package libalt-ergo-ocaml-dev took 0 s dpkg-deb: warning: 'debian/libalt-ergo-ocaml-dev/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `libalt-ergo-ocaml-dev' in `../libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb'. dpkg-genchanges -B -mUbuntu/armhf Build Daemon >../alt-ergo_0.95.2-1build1_armhf.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build alt-ergo-0.95.2 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20131223-2256 Publishing debug debs. chroot-autobuild/build/buildd/alt-ergo_0.95.2-1build1_armhf.deb: new debian package, version 2.0. size 1608922 bytes: control archive= 1478 bytes. 1246 bytes, 24 lines control 1588 bytes, 20 lines md5sums Package: alt-ergo Version: 0.95.2-1build1 Architecture: armhf Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 6509 Depends: libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0) Suggests: why Section: math Priority: optional Homepage: http://alt-ergo.lri.fr Description: Automatic theorem prover dedicated to program verification Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic. . This package contains the prover as a command-line executable as well as the graphical interface. chroot-autobuild/build/buildd/libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb: new debian package, version 2.0. size 873386 bytes: control archive= 1158 bytes. 1238 bytes, 27 lines control 675 bytes, 9 lines md5sums Package: libalt-ergo-ocaml-dev Source: alt-ergo Version: 0.95.2-1build1 Architecture: armhf Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 5109 Depends: libzarith-ocaml-dev-kg7y3, ocaml-nox-4.01.0 Suggests: why Breaks: alt-ergo (<< 0.95.1-1) Replaces: alt-ergo (<< 0.95.1-1) Section: ocaml Priority: optional Homepage: http://alt-ergo.lri.fr Description: Theorem prover dedicated to program verification - libraries Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic. . This package contains the development libraries that are useful when writing OCaml programs linking to the alt-ergo API. chroot-autobuild/build/buildd/alt-ergo_0.95.2-1build1_armhf.deb: drwxr-xr-x root/root 0 2013-12-23 22:55 ./ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/share/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/share/doc/alt-ergo/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/share/doc/alt-ergo/examples/ drwxr-xr-x root/root 0 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/ -rw-r--r-- root/root 147 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/arrays.why -rw-r--r-- root/root 57 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/arith1.why -rw-r--r-- root/root 141 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/bitv.why -rw-r--r-- root/root 61 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/arith2.why drwxr-xr-x root/root 0 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/ -rw-r--r-- root/root 106 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith3.why -rw-r--r-- root/root 106 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/ac_arith.why -rw-r--r-- root/root 151 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arrays.why -rw-r--r-- root/root 189 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/congruence.why -rw-r--r-- root/root 195 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/quantifiers.why -rw-r--r-- root/root 120 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith1.why -rw-r--r-- root/root 87 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith4.why -rw-r--r-- root/root 183 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/enum_arrays.why -rw-r--r-- root/root 139 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/bitv.why -rw-r--r-- root/root 125 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith2.why -rw-r--r-- root/root 24060 2013-11-17 13:27 ./usr/share/doc/alt-ergo/copyright -rw-r--r-- root/root 1974 2013-12-23 22:55 ./usr/share/doc/alt-ergo/changelog.Debian.gz drwxr-xr-x root/root 0 2013-12-23 22:54 ./usr/share/man/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/share/man/man1/ -rw-r--r-- root/root 1177 2013-12-23 22:55 ./usr/share/man/man1/alt-ergo.1.gz drwxr-xr-x root/root 0 2013-12-23 22:54 ./usr/share/gtksourceview-2.0/ drwxr-xr-x root/root 0 2013-12-23 22:54 ./usr/share/gtksourceview-2.0/language-specs/ -rw-r--r-- root/root 4309 2013-12-23 22:54 ./usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/bin/ -rwxr-xr-x root/root 2509624 2013-12-23 22:55 ./usr/bin/alt-ergo -rwxr-xr-x root/root 4064220 2013-12-23 22:55 ./usr/bin/altgr-ergo chroot-autobuild/build/buildd/libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb: drwxr-xr-x root/root 0 2013-12-23 22:55 ./ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/lib/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/lib/ocaml/alt-ergo/ -rw-r--r-- root/root 209 2013-12-23 22:55 ./usr/lib/ocaml/alt-ergo/META -rw-r--r-- root/root 676430 2013-12-23 22:55 ./usr/lib/ocaml/alt-ergo/altErgo.cmo -rw-r--r-- root/root 214953 2013-12-23 22:55 ./usr/lib/ocaml/alt-ergo/altErgo.cmi -rw-r--r-- root/root 2594361 2013-12-23 22:55 ./usr/lib/ocaml/alt-ergo/altErgo.o -rw-r--r-- root/root 1661166 2013-12-23 22:55 ./usr/lib/ocaml/alt-ergo/altErgo.cmx drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/share/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./usr/share/doc/libalt-ergo-ocaml-dev/ -rw-r--r-- root/root 24060 2013-11-17 13:27 ./usr/share/doc/libalt-ergo-ocaml-dev/copyright -rw-r--r-- root/root 1975 2013-12-23 22:55 ./usr/share/doc/libalt-ergo-ocaml-dev/changelog.Debian.gz drwxr-xr-x root/root 0 2013-12-23 22:55 ./var/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./var/lib/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2013-12-23 22:55 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 172 2013-12-23 22:55 ./var/lib/ocaml/md5sums/libalt-ergo-ocaml-dev.md5sums drwxr-xr-x root/root 0 2013-12-23 22:55 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 55 2013-12-23 22:55 ./var/lib/ocaml/lintian/libalt-ergo-ocaml-dev.info alt-ergo_0.95.2-1build1_armhf.changes: Format: 1.8 Date: Mon, 23 Dec 2013 22:01:38 +0000 Source: alt-ergo Binary: alt-ergo libalt-ergo-ocaml-dev Architecture: armhf Version: 0.95.2-1build1 Distribution: trusty-proposed Urgency: medium Maintainer: Ubuntu/armhf Build Daemon Changed-By: Matthias Klose Description: alt-ergo - Automatic theorem prover dedicated to program verification libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries Changes: alt-ergo (0.95.2-1build1) trusty; urgency=medium . * Rebuild for ocaml-4.01. Checksums-Sha1: 020c1f4fee63c6bfb382e086f796c08b31e97cfa 1608922 alt-ergo_0.95.2-1build1_armhf.deb 5b9b8ee65b9779b4ce1bdccce805604a376c1d33 873386 libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb Checksums-Sha256: 4b461223833b55752c163221b3cb1bbeb67fc17b49f331f1d20cb49211a32058 1608922 alt-ergo_0.95.2-1build1_armhf.deb b9c626dcfcb63da18e82856df998248e6b671acaade722458d2ea389290a121a 873386 libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb Files: f13b3e35d6ca7e5276b95ab4c84b7a60 1608922 math optional alt-ergo_0.95.2-1build1_armhf.deb d9cb65d2d7139cc34d5c207607d613f8 873386 ocaml optional libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20131223-2256 Build needed 00:04:05, 65948k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5380206'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5380206/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5380206'] Unmounting chroot for build PACKAGEBUILD-5380206... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5380206'] Removing build PACKAGEBUILD-5380206