RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep']
Forking launchpad-buildd slave process...
Kernel version: Linux akateko 3.2.0-37-generic #58-Ubuntu SMP Thu Jan 24 15:28:10 UTC 2013 x86_64
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...
17 Nov 23:13:24 ntpdate[26674]: adjust time server 10.211.37.1 offset -0.000019 sec
RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5240044', '/home/buildd/filecache-default/8cabf0d27c46c059cfb33227b40152ef510fbe4f']
Unpacking chroot for build PACKAGEBUILD-5240044
RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5240044']
Mounting chroot for build PACKAGEBUILD-5240044
RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5240044', '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-5240044
RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5240044', 'i386']
Updating debian chroot for build PACKAGEBUILD-5240044
Ign http://ftpmaster.internal trusty InRelease
Ign http://archive-team.internal trusty InRelease
Ign http://ftpmaster.internal trusty-security InRelease
Ign http://archive-team.internal trusty Release.gpg
Ign http://ftpmaster.internal trusty-updates InRelease
Get:1 http://archive-team.internal trusty Release [723 B]
Ign http://ftpmaster.internal trusty-proposed InRelease
Get:2 http://ftpmaster.internal trusty Release.gpg [933 B]
Get:3 http://ftpmaster.internal trusty-security Release.gpg [933 B]
Get:4 http://ftpmaster.internal trusty-updates Release.gpg [933 B]
Get:5 http://ftpmaster.internal trusty-proposed Release.gpg [933 B]
Get:6 http://ftpmaster.internal trusty Release [49.6 kB]
Get:7 http://ftpmaster.internal trusty-security Release [49.6 kB]
Get:8 http://ftpmaster.internal trusty-updates Release [49.6 kB]
Get:9 http://archive-team.internal trusty/main i386 Packages
Get:10 http://ftpmaster.internal trusty-proposed Release [49.6 kB]
Ign http://archive-team.internal trusty/main Translation-en
Get:11 http://ftpmaster.internal trusty/main i386 Packages [1257 kB]
Get:12 http://ftpmaster.internal trusty/universe i386 Packages [5770 kB]
Get:13 http://ftpmaster.internal trusty/main Translation-en [726 kB]
Get:14 http://ftpmaster.internal trusty/universe Translation-en [3964 kB]
Get:15 http://ftpmaster.internal trusty-security/main i386 Packages [14 B]
Get:16 http://ftpmaster.internal trusty-security/universe i386 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 i386 Packages [14 B]
Get:20 http://ftpmaster.internal trusty-updates/universe i386 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 i386 Packages [32.2 kB]
Get:24 http://ftpmaster.internal trusty-proposed/universe i386 Packages [162 kB]
Get:25 http://ftpmaster.internal trusty-proposed/main Translation-en [17.4 kB]
Get:26 http://ftpmaster.internal trusty-proposed/universe Translation-en [94.5 kB]
Fetched 12.2 MB in 6s (1922 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
  libdb5.3 libffi6 libprocps1
The following packages will be upgraded:
  adduser apt apt-transport-https base-files base-passwd binutils
  busybox-initramfs bzip2 coreutils cpp-4.8 debconf diffutils dpkg dpkg-dev
  g++-4.8 gcc-4.8 gcc-4.8-base gnupg gpgv grep ifupdown initramfs-tools
  initramfs-tools-bin iproute iproute2 kmod libapt-pkg4.12 libasan0
  libasn1-8-heimdal libatomic1 libbz2-1.0 libcloog-isl4 libcurl3-gnutls
  libdbus-1-3 libdpkg-perl libdrm2 libgcc-4.8-dev libgcc1 libgmp10 libgomp1
  libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal
  libheimntlm0-heimdal libhx509-5-heimdal libisl10 libitm1 libjson-c2 libjson0
  libk5crypto3 libkeyutils1 libkmod2 libkrb5-26-heimdal libkrb5-3
  libkrb5support0 libldap-2.4-2 libmpfr4 libnih-dbus1 libnih1 libp11-kit0
  libpam-modules libpam-modules-bin libpam-runtime libpam0g libpng12-0
  libprocps0 libquadmath0 libroken18-heimdal libsasl2-2 libsasl2-modules
  libsasl2-modules-db libselinux1 libsemanage-common libsemanage1 libsepol1
  libsqlite3-0 libstdc++-4.8-dev libstdc++6 libudev1 libwind0-heimdal
  linux-libc-dev module-init-tools patch perl perl-base perl-modules procps
  sed tar udev upstart
92 upgraded, 3 newly installed, 0 to remove and 0 not upgraded.
Need to get 58.0 MB of archives.
After this operation, 4774 kB of additional disk space will be used.
WARNING: The following packages cannot be authenticated!
  base-files coreutils diffutils dpkg grep libdb5.3 perl perl-base
  perl-modules bzip2 libbz2-1.0 sed tar libitm1 libgomp1 libasan0 gcc-4.8-base
  libgcc1 libatomic1 libquadmath0 libmpfr4 cpp-4.8 binutils libstdc++-4.8-dev
  g++-4.8 gcc-4.8 libgcc-4.8-dev libstdc++6 libgmp10 libcloog-isl4 libisl10
  libapt-pkg4.12 gpgv gnupg apt base-passwd debconf libpam0g libselinux1
  libpam-modules-bin libpam-modules libsemanage-common libsemanage1 libsepol1
  libffi6 libp11-kit0 libsqlite3-0 libdbus-1-3 libdrm2 libjson-c2 libkmod2
  libnih-dbus1 libnih1 libpng12-0 libprocps1 procps udev libudev1 kmod
  module-init-tools libroken18-heimdal libasn1-8-heimdal libkeyutils1
  libk5crypto3 libgssapi-krb5-2 libkrb5-3 libkrb5support0 libhcrypto4-heimdal
  libheimbase1-heimdal libwind0-heimdal libhx509-5-heimdal libkrb5-26-heimdal
  libheimntlm0-heimdal libgssapi3-heimdal libsasl2-modules-db libsasl2-2
  libldap-2.4-2 libcurl3-gnutls libprocps0 libpam-runtime adduser
  busybox-initramfs iproute2 ifupdown initramfs-tools initramfs-tools-bin
  libjson0 upstart apt-transport-https libsasl2-modules dpkg-dev libdpkg-perl
  patch iproute linux-libc-dev
Authentication warning overridden.
Get:1 http://ftpmaster.internal/ubuntu/ trusty/main base-files i386 6.12ubuntu5 [62.1 kB]
Get:2 http://ftpmaster.internal/ubuntu/ trusty/main coreutils i386 8.21-1ubuntu3 [2438 kB]
Get:3 http://ftpmaster.internal/ubuntu/ trusty/main diffutils i386 1:3.3-1 [202 kB]
Get:4 http://ftpmaster.internal/ubuntu/ trusty/main dpkg i386 1.17.1ubuntu1 [1999 kB]
Get:5 http://ftpmaster.internal/ubuntu/ trusty/main grep i386 2.14-4 [285 kB]
Get:6 http://ftpmaster.internal/ubuntu/ trusty/main libdb5.3 i386 5.3.28-3 [795 kB]
Get:7 http://ftpmaster.internal/ubuntu/ trusty/main perl i386 5.18.1-4build1 [3735 kB]
Get:8 http://ftpmaster.internal/ubuntu/ trusty/main perl-base i386 5.18.1-4build1 [1544 kB]
Get:9 http://ftpmaster.internal/ubuntu/ trusty/main perl-modules all 5.18.1-4build1 [3921 kB]
Get:10 http://ftpmaster.internal/ubuntu/ trusty/main bzip2 i386 1.0.6-5 [37.4 kB]
Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libbz2-1.0 i386 1.0.6-5 [33.9 kB]
Get:12 http://ftpmaster.internal/ubuntu/ trusty/main sed i386 4.2.2-2ubuntu1 [141 kB]
Get:13 http://ftpmaster.internal/ubuntu/ trusty/main tar i386 1.27-3 [231 kB]
Get:14 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libitm1 i386 4.8.2-4ubuntu1 [36.7 kB]
Get:15 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libgomp1 i386 4.8.2-4ubuntu1 [29.0 kB]
Get:16 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libasan0 i386 4.8.2-4ubuntu1 [76.1 kB]
Get:17 http://ftpmaster.internal/ubuntu/ trusty-proposed/main gcc-4.8-base i386 4.8.2-4ubuntu1 [15.9 kB]
Get:18 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libgcc1 i386 1:4.8.2-4ubuntu1 [53.7 kB]
Get:19 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libatomic1 i386 4.8.2-4ubuntu1 [9702 B]
Get:20 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libquadmath0 i386 4.8.2-4ubuntu1 [218 kB]
Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libmpfr4 i386 3.1.2-1 [197 kB]
Get:22 http://ftpmaster.internal/ubuntu/ trusty-proposed/main cpp-4.8 i386 4.8.2-4ubuntu1 [5655 kB]
Get:23 http://ftpmaster.internal/ubuntu/ trusty/main binutils i386 2.23.90.20131116-1ubuntu1 [3644 kB]
Get:24 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libstdc++-4.8-dev i386 4.8.2-4ubuntu1 [1749 kB]
Get:25 http://ftpmaster.internal/ubuntu/ trusty-proposed/main g++-4.8 i386 4.8.2-4ubuntu1 [8415 kB]
Get:26 http://ftpmaster.internal/ubuntu/ trusty-proposed/main gcc-4.8 i386 4.8.2-4ubuntu1 [6462 kB]
Get:27 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libgcc-4.8-dev i386 4.8.2-4ubuntu1 [2795 kB]
Get:28 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libstdc++6 i386 4.8.2-4ubuntu1 [335 kB]
Get:29 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libgmp10 i386 2:5.1.2+dfsg-3ubuntu1 [265 kB]
Get:30 http://ftpmaster.internal/ubuntu/ trusty/main libcloog-isl4 i386 0.18.1-1 [68.1 kB]
Get:31 http://ftpmaster.internal/ubuntu/ trusty/main libisl10 i386 0.12.1-1 [540 kB]
Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libapt-pkg4.12 i386 0.9.9.1~ubuntu4 [832 kB]
Get:33 http://ftpmaster.internal/ubuntu/ trusty/main gpgv i386 1.4.15-1.1ubuntu1 [177 kB]
Get:34 http://ftpmaster.internal/ubuntu/ trusty/main gnupg i386 1.4.15-1.1ubuntu1 [762 kB]
Get:35 http://ftpmaster.internal/ubuntu/ trusty/main apt i386 0.9.9.1~ubuntu4 [1234 kB]
Get:36 http://ftpmaster.internal/ubuntu/ trusty/main base-passwd i386 3.5.28 [39.1 kB]
Get:37 http://ftpmaster.internal/ubuntu/ trusty/main debconf all 1.5.51ubuntu1 [148 kB]
Get:38 http://ftpmaster.internal/ubuntu/ trusty/main libpam0g i386 1.1.3-10ubuntu1 [61.0 kB]
Get:39 http://ftpmaster.internal/ubuntu/ trusty/main libselinux1 i386 2.2.1-1ubuntu1 [66.3 kB]
Get:40 http://ftpmaster.internal/ubuntu/ trusty/main libpam-modules-bin i386 1.1.3-10ubuntu1 [37.4 kB]
Get:41 http://ftpmaster.internal/ubuntu/ trusty/main libpam-modules i386 1.1.3-10ubuntu1 [274 kB]
Get:42 http://ftpmaster.internal/ubuntu/ trusty/main libsemanage-common all 2.2-1 [6488 B]
Get:43 http://ftpmaster.internal/ubuntu/ trusty/main libsemanage1 i386 2.2-1 [84.2 kB]
Get:44 http://ftpmaster.internal/ubuntu/ trusty/main libsepol1 i386 2.2-1 [118 kB]
Get:45 http://ftpmaster.internal/ubuntu/ trusty/main libffi6 i386 3.0.13-4 [15.9 kB]
Get:46 http://ftpmaster.internal/ubuntu/ trusty/main libp11-kit0 i386 0.20.1-2ubuntu1 [90.1 kB]
Get:47 http://ftpmaster.internal/ubuntu/ trusty/main libsqlite3-0 i386 3.8.1-1ubuntu1 [391 kB]
Get:48 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-1-3 i386 1.6.18-0ubuntu1 [153 kB]
Get:49 http://ftpmaster.internal/ubuntu/ trusty/main libdrm2 i386 2.4.46-4 [27.4 kB]
Get:50 http://ftpmaster.internal/ubuntu/ trusty/main libjson-c2 i386 0.11-3ubuntu1 [24.3 kB]
Get:51 http://ftpmaster.internal/ubuntu/ trusty/main libkmod2 i386 15-0ubuntu2 [46.6 kB]
Get:52 http://ftpmaster.internal/ubuntu/ trusty/main libnih-dbus1 i386 1.0.3-4ubuntu24 [16.0 kB]
Get:53 http://ftpmaster.internal/ubuntu/ trusty/main libnih1 i386 1.0.3-4ubuntu24 [54.1 kB]
Get:54 http://ftpmaster.internal/ubuntu/ trusty/main libpng12-0 i386 1.2.49-5ubuntu1 [130 kB]
Get:55 http://ftpmaster.internal/ubuntu/ trusty/main libprocps1 i386 1:3.3.8-2ubuntu1 [34.2 kB]
Get:56 http://ftpmaster.internal/ubuntu/ trusty/main procps i386 1:3.3.8-2ubuntu1 [241 kB]
Get:57 http://ftpmaster.internal/ubuntu/ trusty/main udev i386 204-5ubuntu6 [1045 kB]
Get:58 http://ftpmaster.internal/ubuntu/ trusty/main libudev1 i386 204-5ubuntu6 [42.5 kB]
Get:59 http://ftpmaster.internal/ubuntu/ trusty/main kmod i386 15-0ubuntu2 [96.1 kB]
Get:60 http://ftpmaster.internal/ubuntu/ trusty/main module-init-tools all 15-0ubuntu2 [1874 B]
Get:61 http://ftpmaster.internal/ubuntu/ trusty/main libroken18-heimdal i386 1.6~git20120403+dfsg1-3ubuntu0.2 [46.3 kB]
Get:62 http://ftpmaster.internal/ubuntu/ trusty/main libasn1-8-heimdal i386 1.6~git20120403+dfsg1-3ubuntu0.2 [227 kB]
Get:63 http://ftpmaster.internal/ubuntu/ trusty/main libkeyutils1 i386 1.5.6-1 [7266 B]
Get:64 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libk5crypto3 i386 1.11.3+dfsg-3ubuntu2 [99.2 kB]
Get:65 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libgssapi-krb5-2 i386 1.11.3+dfsg-3ubuntu2 [132 kB]
Get:66 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libkrb5-3 i386 1.11.3+dfsg-3ubuntu2 [349 kB]
Get:67 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libkrb5support0 i386 1.11.3+dfsg-3ubuntu2 [33.7 kB]
Get:68 http://ftpmaster.internal/ubuntu/ trusty/main libhcrypto4-heimdal i386 1.6~git20120403+dfsg1-3ubuntu0.2 [102 kB]
Get:69 http://ftpmaster.internal/ubuntu/ trusty/main libheimbase1-heimdal i386 1.6~git20120403+dfsg1-3ubuntu0.2 [32.2 kB]
Get:70 http://ftpmaster.internal/ubuntu/ trusty/main libwind0-heimdal i386 1.6~git20120403+dfsg1-3ubuntu0.2 [77.3 kB]
Get:71 http://ftpmaster.internal/ubuntu/ trusty/main libhx509-5-heimdal i386 1.6~git20120403+dfsg1-3ubuntu0.2 [123 kB]
Get:72 http://ftpmaster.internal/ubuntu/ trusty/main libkrb5-26-heimdal i386 1.6~git20120403+dfsg1-3ubuntu0.2 [230 kB]
Get:73 http://ftpmaster.internal/ubuntu/ trusty/main libheimntlm0-heimdal i386 1.6~git20120403+dfsg1-3ubuntu0.2 [16.2 kB]
Get:74 http://ftpmaster.internal/ubuntu/ trusty/main libgssapi3-heimdal i386 1.6~git20120403+dfsg1-3ubuntu0.2 [107 kB]
Get:75 http://ftpmaster.internal/ubuntu/ trusty/main libsasl2-modules-db i386 2.1.25.dfsg1-17build1 [14.7 kB]
Get:76 http://ftpmaster.internal/ubuntu/ trusty/main libsasl2-2 i386 2.1.25.dfsg1-17build1 [55.0 kB]
Get:77 http://ftpmaster.internal/ubuntu/ trusty/main libldap-2.4-2 i386 2.4.31-1+nmu2ubuntu5 [182 kB]
Get:78 http://ftpmaster.internal/ubuntu/ trusty/main libcurl3-gnutls i386 7.33.0-1ubuntu1 [192 kB]
Get:79 http://ftpmaster.internal/ubuntu/ trusty/main libprocps0 i386 1:3.3.3-2ubuntu8 [34.0 kB]
Get:80 http://ftpmaster.internal/ubuntu/ trusty/main libpam-runtime all 1.1.3-10ubuntu1 [40.9 kB]
Get:81 http://ftpmaster.internal/ubuntu/ trusty/main adduser all 3.113+nmu3ubuntu3 [169 kB]
Get:82 http://ftpmaster.internal/ubuntu/ trusty/main busybox-initramfs i386 1:1.21.0-1ubuntu1 [172 kB]
Get:83 http://ftpmaster.internal/ubuntu/ trusty/main iproute2 i386 3.11.0-1 [523 kB]
Get:84 http://ftpmaster.internal/ubuntu/ trusty/main ifupdown i386 0.7.46.1ubuntu1 [57.2 kB]
Get:85 http://ftpmaster.internal/ubuntu/ trusty/main initramfs-tools all 0.103ubuntu2 [49.2 kB]
Get:86 http://ftpmaster.internal/ubuntu/ trusty/main initramfs-tools-bin i386 0.103ubuntu2 [9796 B]
Get:87 http://ftpmaster.internal/ubuntu/ trusty/main libjson0 i386 0.11-3ubuntu1 [1010 B]
Get:88 http://ftpmaster.internal/ubuntu/ trusty/main upstart i386 1.11-0ubuntu1 [579 kB]
Get:89 http://ftpmaster.internal/ubuntu/ trusty/main apt-transport-https i386 0.9.9.1~ubuntu4 [16.6 kB]
Get:90 http://ftpmaster.internal/ubuntu/ trusty/main libsasl2-modules i386 2.1.25.dfsg1-17build1 [59.3 kB]
Get:91 http://ftpmaster.internal/ubuntu/ trusty/main dpkg-dev all 1.17.1ubuntu1 [726 kB]
Get:92 http://ftpmaster.internal/ubuntu/ trusty/main libdpkg-perl all 1.17.1ubuntu1 [195 kB]
Get:93 http://ftpmaster.internal/ubuntu/ trusty/main patch i386 2.7.1-4 [99.2 kB]
Get:94 http://ftpmaster.internal/ubuntu/ trusty/main iproute all 1:3.11.0-1 [2324 B]
Get:95 http://ftpmaster.internal/ubuntu/ trusty/main linux-libc-dev i386 3.12.0-2.7 [960 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 58.0 MB in 5s (10.8 MB/s)
(Reading database ... 12107 files and directories currently installed.)
Preparing to replace base-files 6.12ubuntu4 (using .../base-files_6.12ubuntu5_i386.deb) ...
Unpacking replacement base-files ...
Setting up base-files (6.12ubuntu5) ...
Installing new version of config file /etc/issue ...
Installing new version of config file /etc/issue.net ...
Installing new version of config file /etc/lsb-release ...
Installing new version of config file /etc/os-release ...
(Reading database ... 12107 files and directories currently installed.)
Preparing to replace coreutils 8.20-3ubuntu5 (using .../coreutils_8.21-1ubuntu3_i386.deb) ...
Unpacking replacement coreutils ...
Setting up coreutils (8.21-1ubuntu3) ...
(Reading database ... 12109 files and directories currently installed.)
Preparing to replace diffutils 1:3.2-8 (using .../diffutils_1%3a3.3-1_i386.deb) ...
Unpacking replacement diffutils ...
Setting up diffutils (1:3.3-1) ...
(Reading database ... 12109 files and directories currently installed.)
Preparing to replace dpkg 1.16.12ubuntu1 (using .../dpkg_1.17.1ubuntu1_i386.deb) ...
Unpacking replacement dpkg ...
Setting up dpkg (1.17.1ubuntu1) ...
(Reading database ... 12092 files and directories currently installed.)
Preparing to replace grep 2.14-3 (using .../archives/grep_2.14-4_i386.deb) ...
Unpacking replacement grep ...
Setting up grep (2.14-4) ...
Selecting previously unselected package libdb5.3:i386.
(Reading database ... 12092 files and directories currently installed.)
Unpacking libdb5.3:i386 (from .../libdb5.3_5.3.28-3_i386.deb) ...
Setting up libdb5.3:i386 (5.3.28-3) ...
Processing triggers for libc-bin ...
(Reading database ... 12098 files and directories currently installed.)
Preparing to replace perl 5.14.2-21build1 (using .../perl_5.18.1-4build1_i386.deb) ...
Unpacking replacement perl ...
Preparing to replace perl-base 5.14.2-21build1 (using .../perl-base_5.18.1-4build1_i386.deb) ...
Unpacking replacement perl-base ...
Setting up perl-base (5.18.1-4build1) ...
(Reading database ... 12000 files and directories currently installed.)
Preparing to replace perl-modules 5.14.2-21build1 (using .../perl-modules_5.18.1-4build1_all.deb) ...
Unpacking replacement perl-modules ...
Preparing to replace bzip2 1.0.6-4 (using .../bzip2_1.0.6-5_i386.deb) ...
Unpacking replacement bzip2 ...
Preparing to replace libbz2-1.0:i386 1.0.6-4 (using .../libbz2-1.0_1.0.6-5_i386.deb) ...
Unpacking replacement libbz2-1.0:i386 ...
Setting up libbz2-1.0:i386 (1.0.6-5) ...
Processing triggers for libc-bin ...
(Reading database ... 12037 files and directories currently installed.)
Preparing to replace sed 4.2.2-1ubuntu1 (using .../sed_4.2.2-2ubuntu1_i386.deb) ...
Unpacking replacement sed ...
Setting up sed (4.2.2-2ubuntu1) ...
(Reading database ... 12037 files and directories currently installed.)
Preparing to replace tar 1.26+dfsg-8 (using .../archives/tar_1.27-3_i386.deb) ...
Unpacking replacement tar ...
Setting up tar (1.27-3) ...
(Reading database ... 12038 files and directories currently installed.)
Preparing to replace libitm1:i386 4.8.1-10ubuntu8 (using .../libitm1_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement libitm1:i386 ...
Preparing to replace libgomp1:i386 4.8.1-10ubuntu8 (using .../libgomp1_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement libgomp1:i386 ...
Preparing to replace libasan0:i386 4.8.1-10ubuntu8 (using .../libasan0_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement libasan0:i386 ...
Preparing to replace gcc-4.8-base:i386 4.8.1-10ubuntu8 (using .../gcc-4.8-base_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement gcc-4.8-base:i386 ...
Setting up gcc-4.8-base:i386 (4.8.2-4ubuntu1) ...
(Reading database ... 12038 files and directories currently installed.)
Preparing to replace libgcc1:i386 1:4.8.1-10ubuntu8 (using .../libgcc1_1%3a4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement libgcc1:i386 ...
Setting up libgcc1:i386 (1:4.8.2-4ubuntu1) ...
Processing triggers for libc-bin ...
(Reading database ... 12038 files and directories currently installed.)
Preparing to replace libatomic1:i386 4.8.1-10ubuntu8 (using .../libatomic1_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement libatomic1:i386 ...
Preparing to replace libquadmath0:i386 4.8.1-10ubuntu8 (using .../libquadmath0_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement libquadmath0:i386 ...
Preparing to replace libmpfr4:i386 3.1.1-2 (using .../libmpfr4_3.1.2-1_i386.deb) ...
Unpacking replacement libmpfr4:i386 ...
Preparing to replace cpp-4.8 4.8.1-10ubuntu8 (using .../cpp-4.8_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement cpp-4.8 ...
Preparing to replace binutils 2.23.52.20130913-0ubuntu1 (using .../binutils_2.23.90.20131116-1ubuntu1_i386.deb) ...
Unpacking replacement binutils ...
Preparing to replace libstdc++-4.8-dev:i386 4.8.1-10ubuntu8 (using .../libstdc++-4.8-dev_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement libstdc++-4.8-dev:i386 ...
Preparing to replace g++-4.8 4.8.1-10ubuntu8 (using .../g++-4.8_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement g++-4.8 ...
Preparing to replace gcc-4.8 4.8.1-10ubuntu8 (using .../gcc-4.8_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement gcc-4.8 ...
Preparing to replace libgcc-4.8-dev:i386 4.8.1-10ubuntu8 (using .../libgcc-4.8-dev_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement libgcc-4.8-dev:i386 ...
Preparing to replace libstdc++6:i386 4.8.1-10ubuntu8 (using .../libstdc++6_4.8.2-4ubuntu1_i386.deb) ...
Unpacking replacement libstdc++6:i386 ...
Setting up libstdc++6:i386 (4.8.2-4ubuntu1) ...
Processing triggers for libc-bin ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace libgmp10:i386 2:5.1.2+dfsg-2ubuntu1 (using .../libgmp10_2%3a5.1.2+dfsg-3ubuntu1_i386.deb) ...
Unpacking replacement libgmp10:i386 ...
Preparing to replace libcloog-isl4:i386 0.18.0-2 (using .../libcloog-isl4_0.18.1-1_i386.deb) ...
Unpacking replacement libcloog-isl4:i386 ...
Preparing to replace libisl10:i386 0.11.2-1 (using .../libisl10_0.12.1-1_i386.deb) ...
Unpacking replacement libisl10:i386 ...
Preparing to replace libapt-pkg4.12:i386 0.9.9.1~ubuntu3 (using .../libapt-pkg4.12_0.9.9.1~ubuntu4_i386.deb) ...
Unpacking replacement libapt-pkg4.12:i386 ...
Setting up libapt-pkg4.12:i386 (0.9.9.1~ubuntu4) ...
Processing triggers for libc-bin ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace gpgv 1.4.14-1ubuntu2 (using .../gpgv_1.4.15-1.1ubuntu1_i386.deb) ...
Unpacking replacement gpgv ...
Setting up gpgv (1.4.15-1.1ubuntu1) ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace gnupg 1.4.14-1ubuntu2 (using .../gnupg_1.4.15-1.1ubuntu1_i386.deb) ...
Unpacking replacement gnupg ...
Setting up gnupg (1.4.15-1.1ubuntu1) ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace apt 0.9.9.1~ubuntu3 (using .../apt_0.9.9.1~ubuntu4_i386.deb) ...
Unpacking replacement apt ...
Setting up apt (0.9.9.1~ubuntu4) ...
gpg: key 437D05B5: "Ubuntu Archive Automatic Signing Key <ftpmaster@ubuntu.com>" not changed
gpg: key FBB75451: "Ubuntu CD Image Automatic Signing Key <cdimage@ubuntu.com>" not changed
gpg: key C0B21F32: "Ubuntu Archive Automatic Signing Key (2012) <ftpmaster@ubuntu.com>" not changed
gpg: key EFE21092: "Ubuntu CD Image Automatic Signing Key (2012) <cdimage@ubuntu.com>" not changed
gpg: Total number processed: 4
gpg:              unchanged: 4
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace base-passwd 3.5.26 (using .../base-passwd_3.5.28_i386.deb) ...
Unpacking replacement base-passwd ...
Setting up base-passwd (3.5.28) ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace debconf 1.5.50ubuntu1 (using .../debconf_1.5.51ubuntu1_all.deb) ...
Unpacking replacement debconf ...
Setting up debconf (1.5.51ubuntu1) ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace libpam0g:i386 1.1.3-8ubuntu3 (using .../libpam0g_1.1.3-10ubuntu1_i386.deb) ...
Unpacking replacement libpam0g:i386 ...
Setting up libpam0g:i386 (1.1.3-10ubuntu1) ...
Processing triggers for libc-bin ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace libselinux1:i386 2.1.13-2 (using .../libselinux1_2.2.1-1ubuntu1_i386.deb) ...
Unpacking replacement libselinux1:i386 ...
Setting up libselinux1:i386 (2.2.1-1ubuntu1) ...
Processing triggers for libc-bin ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace libpam-modules-bin 1.1.3-8ubuntu3 (using .../libpam-modules-bin_1.1.3-10ubuntu1_i386.deb) ...
Unpacking replacement libpam-modules-bin ...
Setting up libpam-modules-bin (1.1.3-10ubuntu1) ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace libpam-modules:i386 1.1.3-8ubuntu3 (using .../libpam-modules_1.1.3-10ubuntu1_i386.deb) ...
Unpacking replacement libpam-modules:i386 ...
Setting up libpam-modules:i386 (1.1.3-10ubuntu1) ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace libsemanage-common 2.1.10-2 (using .../libsemanage-common_2.2-1_all.deb) ...
Unpacking replacement libsemanage-common ...
Setting up libsemanage-common (2.2-1) ...
Installing new version of config file /etc/selinux/semanage.conf ...
(Reading database ... 12036 files and directories currently installed.)
Preparing to replace libsemanage1:i386 2.1.10-2 (using .../libsemanage1_2.2-1_i386.deb) ...
Unpacking replacement libsemanage1:i386 ...
Preparing to replace libsepol1:i386 2.1.9-2 (using .../libsepol1_2.2-1_i386.deb) ...
Unpacking replacement libsepol1:i386 ...
Setting up libsepol1:i386 (2.2-1) ...
Setting up libsemanage1:i386 (2.2-1) ...
Processing triggers for libc-bin ...
Selecting previously unselected package libffi6:i386.
(Reading database ... 12036 files and directories currently installed.)
Unpacking libffi6:i386 (from .../libffi6_3.0.13-4_i386.deb) ...
Preparing to replace libp11-kit0:i386 0.18.3-2ubuntu1 (using .../libp11-kit0_0.20.1-2ubuntu1_i386.deb) ...
Unpacking replacement libp11-kit0:i386 ...
Preparing to replace libsqlite3-0:i386 3.7.17-1ubuntu1 (using .../libsqlite3-0_3.8.1-1ubuntu1_i386.deb) ...
Unpacking replacement libsqlite3-0:i386 ...
Preparing to replace libdbus-1-3:i386 1.6.12-0ubuntu10 (using .../libdbus-1-3_1.6.18-0ubuntu1_i386.deb) ...
Unpacking replacement libdbus-1-3:i386 ...
Preparing to replace libdrm2:i386 2.4.46-1 (using .../libdrm2_2.4.46-4_i386.deb) ...
Unpacking replacement libdrm2:i386 ...
Preparing to replace libjson-c2:i386 0.11-2ubuntu1 (using .../libjson-c2_0.11-3ubuntu1_i386.deb) ...
Unpacking replacement libjson-c2:i386 ...
Preparing to replace libkmod2:i386 9-3ubuntu1 (using .../libkmod2_15-0ubuntu2_i386.deb) ...
Unpacking replacement libkmod2:i386 ...
Preparing to replace libnih-dbus1:i386 1.0.3-4ubuntu16 (using .../libnih-dbus1_1.0.3-4ubuntu24_i386.deb) ...
Unpacking replacement libnih-dbus1:i386 ...
Preparing to replace libnih1:i386 1.0.3-4ubuntu16 (using .../libnih1_1.0.3-4ubuntu24_i386.deb) ...
Unpacking replacement libnih1:i386 ...
Preparing to replace libpng12-0:i386 1.2.49-4ubuntu1 (using .../libpng12-0_1.2.49-5ubuntu1_i386.deb) ...
Unpacking replacement libpng12-0:i386 ...
Selecting previously unselected package libprocps1:i386.
Unpacking libprocps1:i386 (from .../libprocps1_1%3a3.3.8-2ubuntu1_i386.deb) ...
Preparing to replace procps 1:3.3.3-2ubuntu7 (using .../procps_1%3a3.3.8-2ubuntu1_i386.deb) ...
invoke-rc.d: policy-rc.d denied execution of stop.
Unpacking replacement procps ...
Preparing to replace udev 204-0ubuntu18 (using .../udev_204-5ubuntu6_i386.deb) ...
Adding 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev'
Unpacking replacement udev ...
Preparing to replace libudev1:i386 204-0ubuntu18 (using .../libudev1_204-5ubuntu6_i386.deb) ...
Unpacking replacement libudev1:i386 ...
Preparing to replace kmod 9-3ubuntu1 (using .../kmod_15-0ubuntu2_i386.deb) ...
Unpacking replacement kmod ...
Preparing to replace module-init-tools 9-3ubuntu1 (using .../module-init-tools_15-0ubuntu2_all.deb) ...
Unpacking replacement module-init-tools ...
Preparing to replace libroken18-heimdal:i386 1.6~git20120403+dfsg1-3ubuntu0.1 (using .../libroken18-heimdal_1.6~git20120403+dfsg1-3ubuntu0.2_i386.deb) ...
Unpacking replacement libroken18-heimdal:i386 ...
Preparing to replace libasn1-8-heimdal:i386 1.6~git20120403+dfsg1-3ubuntu0.1 (using .../libasn1-8-heimdal_1.6~git20120403+dfsg1-3ubuntu0.2_i386.deb) ...
Unpacking replacement libasn1-8-heimdal:i386 ...
Preparing to replace libkeyutils1:i386 1.5.5-7 (using .../libkeyutils1_1.5.6-1_i386.deb) ...
Unpacking replacement libkeyutils1:i386 ...
Preparing to replace libk5crypto3:i386 1.10.1+dfsg-6.1ubuntu1 (using .../libk5crypto3_1.11.3+dfsg-3ubuntu2_i386.deb) ...
Unpacking replacement libk5crypto3:i386 ...
Preparing to replace libgssapi-krb5-2:i386 1.10.1+dfsg-6.1ubuntu1 (using .../libgssapi-krb5-2_1.11.3+dfsg-3ubuntu2_i386.deb) ...
Unpacking replacement libgssapi-krb5-2:i386 ...
Preparing to replace libkrb5-3:i386 1.10.1+dfsg-6.1ubuntu1 (using .../libkrb5-3_1.11.3+dfsg-3ubuntu2_i386.deb) ...
Unpacking replacement libkrb5-3:i386 ...
Preparing to replace libkrb5support0:i386 1.10.1+dfsg-6.1ubuntu1 (using .../libkrb5support0_1.11.3+dfsg-3ubuntu2_i386.deb) ...
Unpacking replacement libkrb5support0:i386 ...
Preparing to replace libhcrypto4-heimdal:i386 1.6~git20120403+dfsg1-3ubuntu0.1 (using .../libhcrypto4-heimdal_1.6~git20120403+dfsg1-3ubuntu0.2_i386.deb) ...
Unpacking replacement libhcrypto4-heimdal:i386 ...
Preparing to replace libheimbase1-heimdal:i386 1.6~git20120403+dfsg1-3ubuntu0.1 (using .../libheimbase1-heimdal_1.6~git20120403+dfsg1-3ubuntu0.2_i386.deb) ...
Unpacking replacement libheimbase1-heimdal:i386 ...
Preparing to replace libwind0-heimdal:i386 1.6~git20120403+dfsg1-3ubuntu0.1 (using .../libwind0-heimdal_1.6~git20120403+dfsg1-3ubuntu0.2_i386.deb) ...
Unpacking replacement libwind0-heimdal:i386 ...
Preparing to replace libhx509-5-heimdal:i386 1.6~git20120403+dfsg1-3ubuntu0.1 (using .../libhx509-5-heimdal_1.6~git20120403+dfsg1-3ubuntu0.2_i386.deb) ...
Unpacking replacement libhx509-5-heimdal:i386 ...
Preparing to replace libkrb5-26-heimdal:i386 1.6~git20120403+dfsg1-3ubuntu0.1 (using .../libkrb5-26-heimdal_1.6~git20120403+dfsg1-3ubuntu0.2_i386.deb) ...
Unpacking replacement libkrb5-26-heimdal:i386 ...
Preparing to replace libheimntlm0-heimdal:i386 1.6~git20120403+dfsg1-3ubuntu0.1 (using .../libheimntlm0-heimdal_1.6~git20120403+dfsg1-3ubuntu0.2_i386.deb) ...
Unpacking replacement libheimntlm0-heimdal:i386 ...
Preparing to replace libgssapi3-heimdal:i386 1.6~git20120403+dfsg1-3ubuntu0.1 (using .../libgssapi3-heimdal_1.6~git20120403+dfsg1-3ubuntu0.2_i386.deb) ...
Unpacking replacement libgssapi3-heimdal:i386 ...
Preparing to replace libsasl2-modules-db:i386 2.1.25.dfsg1-17 (using .../libsasl2-modules-db_2.1.25.dfsg1-17build1_i386.deb) ...
Unpacking replacement libsasl2-modules-db:i386 ...
Preparing to replace libsasl2-2:i386 2.1.25.dfsg1-17 (using .../libsasl2-2_2.1.25.dfsg1-17build1_i386.deb) ...
Unpacking replacement libsasl2-2:i386 ...
Preparing to replace libldap-2.4-2:i386 2.4.31-1+nmu2ubuntu3 (using .../libldap-2.4-2_2.4.31-1+nmu2ubuntu5_i386.deb) ...
Unpacking replacement libldap-2.4-2:i386 ...
Preparing to replace libcurl3-gnutls:i386 7.32.0-1ubuntu1 (using .../libcurl3-gnutls_7.33.0-1ubuntu1_i386.deb) ...
Unpacking replacement libcurl3-gnutls:i386 ...
Preparing to replace libprocps0:i386 1:3.3.3-2ubuntu7 (using .../libprocps0_1%3a3.3.3-2ubuntu8_i386.deb) ...
Unpacking replacement libprocps0:i386 ...
Preparing to replace libpam-runtime 1.1.3-8ubuntu3 (using .../libpam-runtime_1.1.3-10ubuntu1_all.deb) ...
Unpacking replacement libpam-runtime ...
Setting up libpam-runtime (1.1.3-10ubuntu1) ...
(Reading database ... 12058 files and directories currently installed.)
Preparing to replace adduser 3.113+nmu3ubuntu2 (using .../adduser_3.113+nmu3ubuntu3_all.deb) ...
Unpacking replacement adduser ...
Preparing to replace busybox-initramfs 1:1.20.0-8.1ubuntu1 (using .../busybox-initramfs_1%3a1.21.0-1ubuntu1_i386.deb) ...
Unpacking replacement busybox-initramfs ...
Preparing to replace iproute2 3.10.0-1ubuntu1 (using .../iproute2_3.11.0-1_i386.deb) ...
Unpacking replacement iproute2 ...
Preparing to replace ifupdown 0.7.44ubuntu3 (using .../ifupdown_0.7.46.1ubuntu1_i386.deb) ...
Unpacking replacement ifupdown ...
Preparing to replace initramfs-tools 0.103ubuntu1 (using .../initramfs-tools_0.103ubuntu2_all.deb) ...
Unpacking replacement initramfs-tools ...
Preparing to replace initramfs-tools-bin 0.103ubuntu1 (using .../initramfs-tools-bin_0.103ubuntu2_i386.deb) ...
Unpacking replacement initramfs-tools-bin ...
Preparing to replace libjson0:i386 0.11-2ubuntu1 (using .../libjson0_0.11-3ubuntu1_i386.deb) ...
Unpacking replacement libjson0:i386 ...
Preparing to replace upstart 1.10-0ubuntu7 (using .../upstart_1.11-0ubuntu1_i386.deb) ...
Unpacking replacement upstart ...
Preparing to replace apt-transport-https 0.9.9.1~ubuntu3 (using .../apt-transport-https_0.9.9.1~ubuntu4_i386.deb) ...
Unpacking replacement apt-transport-https ...
Preparing to replace libsasl2-modules:i386 2.1.25.dfsg1-17 (using .../libsasl2-modules_2.1.25.dfsg1-17build1_i386.deb) ...
Unpacking replacement libsasl2-modules:i386 ...
Preparing to replace dpkg-dev 1.16.12ubuntu1 (using .../dpkg-dev_1.17.1ubuntu1_all.deb) ...
Unpacking replacement dpkg-dev ...
Preparing to replace libdpkg-perl 1.16.12ubuntu1 (using .../libdpkg-perl_1.17.1ubuntu1_all.deb) ...
Unpacking replacement libdpkg-perl ...
Preparing to replace patch 2.7.1-3 (using .../patch_2.7.1-4_i386.deb) ...
Unpacking replacement patch ...
Preparing to replace iproute 1:3.10.0-1ubuntu1 (using .../iproute_1%3a3.11.0-1_all.deb) ...
Unpacking replacement iproute ...
Preparing to replace linux-libc-dev:i386 3.11.0-12.19 (using .../linux-libc-dev_3.12.0-2.7_i386.deb) ...
Unpacking replacement linux-libc-dev:i386 ...
Setting up bzip2 (1.0.6-5) ...
Setting up libitm1:i386 (4.8.2-4ubuntu1) ...
Setting up libgomp1:i386 (4.8.2-4ubuntu1) ...
Setting up libasan0:i386 (4.8.2-4ubuntu1) ...
Setting up libatomic1:i386 (4.8.2-4ubuntu1) ...
Setting up libquadmath0:i386 (4.8.2-4ubuntu1) ...
Setting up libgmp10:i386 (2:5.1.2+dfsg-3ubuntu1) ...
Setting up libmpfr4:i386 (3.1.2-1) ...
Setting up libisl10:i386 (0.12.1-1) ...
Setting up libcloog-isl4:i386 (0.18.1-1) ...
Setting up cpp-4.8 (4.8.2-4ubuntu1) ...
Setting up binutils (2.23.90.20131116-1ubuntu1) ...
Setting up libgcc-4.8-dev:i386 (4.8.2-4ubuntu1) ...
Setting up libstdc++-4.8-dev:i386 (4.8.2-4ubuntu1) ...
Setting up gcc-4.8 (4.8.2-4ubuntu1) ...
Setting up g++-4.8 (4.8.2-4ubuntu1) ...
Setting up libffi6:i386 (3.0.13-4) ...
Setting up libp11-kit0:i386 (0.20.1-2ubuntu1) ...
Setting up libsqlite3-0:i386 (3.8.1-1ubuntu1) ...
Setting up libdbus-1-3:i386 (1.6.18-0ubuntu1) ...
Setting up libdrm2:i386 (2.4.46-4) ...
Setting up libjson-c2:i386 (0.11-3ubuntu1) ...
Setting up libkmod2:i386 (15-0ubuntu2) ...
Setting up libnih1:i386 (1.0.3-4ubuntu24) ...
Setting up libnih-dbus1:i386 (1.0.3-4ubuntu24) ...
Setting up libpng12-0:i386 (1.2.49-5ubuntu1) ...
Setting up libprocps1:i386 (1:3.3.8-2ubuntu1) ...
Setting up procps (1:3.3.8-2ubuntu1) ...
Installing new version of config file /etc/init.d/procps ...
Installing new version of config file /etc/sysctl.conf ...
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libudev1:i386 (204-5ubuntu6) ...
Setting up udev (204-5ubuntu6) ...
Installing new version of config file /etc/udev/udev.conf ...
Installing new version of config file /etc/init/udevmonitor.conf ...
Installing new version of config file /etc/init.d/udev ...
invoke-rc.d: policy-rc.d denied execution of restart.
Removing 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev'
update-initramfs: deferring update (trigger activated)
Setting up kmod (15-0ubuntu2) ...
Setting up module-init-tools (15-0ubuntu2) ...
Setting up libroken18-heimdal:i386 (1.6~git20120403+dfsg1-3ubuntu0.2) ...
Setting up libasn1-8-heimdal:i386 (1.6~git20120403+dfsg1-3ubuntu0.2) ...
Setting up libkeyutils1:i386 (1.5.6-1) ...
Setting up libkrb5support0:i386 (1.11.3+dfsg-3ubuntu2) ...
Setting up libk5crypto3:i386 (1.11.3+dfsg-3ubuntu2) ...
Setting up libkrb5-3:i386 (1.11.3+dfsg-3ubuntu2) ...
Setting up libgssapi-krb5-2:i386 (1.11.3+dfsg-3ubuntu2) ...
Setting up libhcrypto4-heimdal:i386 (1.6~git20120403+dfsg1-3ubuntu0.2) ...
Setting up libheimbase1-heimdal:i386 (1.6~git20120403+dfsg1-3ubuntu0.2) ...
Setting up libwind0-heimdal:i386 (1.6~git20120403+dfsg1-3ubuntu0.2) ...
Setting up libhx509-5-heimdal:i386 (1.6~git20120403+dfsg1-3ubuntu0.2) ...
Setting up libkrb5-26-heimdal:i386 (1.6~git20120403+dfsg1-3ubuntu0.2) ...
Setting up libheimntlm0-heimdal:i386 (1.6~git20120403+dfsg1-3ubuntu0.2) ...
Setting up libgssapi3-heimdal:i386 (1.6~git20120403+dfsg1-3ubuntu0.2) ...
Setting up libsasl2-modules-db:i386 (2.1.25.dfsg1-17build1) ...
Setting up libsasl2-2:i386 (2.1.25.dfsg1-17build1) ...
Setting up libldap-2.4-2:i386 (2.4.31-1+nmu2ubuntu5) ...
Setting up libcurl3-gnutls:i386 (7.33.0-1ubuntu1) ...
Setting up libprocps0:i386 (1:3.3.3-2ubuntu8) ...
Setting up adduser (3.113+nmu3ubuntu3) ...
Setting up busybox-initramfs (1:1.21.0-1ubuntu1) ...
Setting up iproute2 (3.11.0-1) ...
Setting up ifupdown (0.7.46.1ubuntu1) ...
Installing new version of config file /etc/init.d/networking ...
Setting up initramfs-tools-bin (0.103ubuntu2) ...
Setting up initramfs-tools (0.103ubuntu2) ...
update-initramfs: deferring update (trigger activated)
Setting up libjson0:i386 (0.11-3ubuntu1) ...
Setting up upstart (1.11-0ubuntu1) ...
Setting up apt-transport-https (0.9.9.1~ubuntu4) ...
Setting up libsasl2-modules:i386 (2.1.25.dfsg1-17build1) ...
Setting up patch (2.7.1-4) ...
Setting up iproute (1:3.11.0-1) ...
Setting up linux-libc-dev:i386 (3.12.0-2.7) ...
Setting up perl-modules (5.18.1-4build1) ...
Setting up perl (5.18.1-4build1) ...
Setting up libdpkg-perl (1.17.1ubuntu1) ...
Setting up dpkg-dev (1.17.1ubuntu1) ...
Processing triggers for libc-bin ...
Processing triggers for initramfs-tools ...
RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5240044', 'i386', 'trusty-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=trusty-proposed', '-A', '--purpose=PRIMARY', '--architecture=i386', '--comp=universe', 'alt-ergo_0.95.2-1.dsc']
Initiating build PACKAGEBUILD-5240044 with 8 jobs across 8 processor cores.
Kernel reported to sbuild: 3.2.0-37-generic #58-Ubuntu SMP Thu Jan 24 15:28:10 UTC 2013 i686
Automatic build of alt-ergo_0.95.2-1 on akateko by sbuild/i386 1.170.5
Build started at 20131117-2315
******************************************************************************
alt-ergo_0.95.2-1.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 package was automatically installed and is no longer required:
  libprocps0
Use 'apt-get autoremove' to remove it.
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-icu0 libharfbuzz0a
  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 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
  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-interp 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 ttf-dejavu-core ucf x11-common
  x11proto-composite-dev x11proto-core-dev x11proto-damage-dev
  x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev
  x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev
  xorg-sgml-doctools xtrans-dev zlib1g-dev
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 libgdbm-dev 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
  orbit2 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-icu0 libharfbuzz0a
  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
  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
  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-interp ocaml-nox 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 ttf-dejavu-core
  ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev
  x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev
  x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev
  xorg-sgml-doctools xtrans-dev zlib1g-dev
0 upgraded, 265 newly installed, 0 to remove and 0 not upgraded.
Need to get 66.0 MB of archives.
After this operation, 265 MB of additional disk space will be used.
WARNING: The following packages cannot be authenticated!
  libexpat1 libgnutls-openssl27 libmagic1 libpopt0 libpython3.3-minimal
  mime-support libpython3.3-stdlib python3.3-minimal libasprintf0c2
  libglib2.0-0 libdbus-glib-1-2 libpipeline1 libsystemd-login0 libxau6
  libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 libxml2 groff-base
  bsdmainutils man-db libart-2.0-2 libasound2-data libasound2 libatk1.0-data
  libatk1.0-0 libavahi-common-data libavahi-common3 libavahi-client3
  libavahi-glib1 libbonobo2-common libidl-common libidl0 liborbit2
  libbonobo2-0 ucf gconf2-common libgconf-2-4 gconf-service-backend
  gconf-service libjpeg-turbo8 libjpeg8 libjasper1 libjbig0 libtiff5
  libgdk-pixbuf2.0-common libgdk-pixbuf2.0-0 libgtk2.0-common libfreetype6
  fonts-dejavu-core ttf-dejavu-core fontconfig-config libfontconfig1
  libpixman-1-0 libxcb-render0 libxcb-shm0 libxrender1 libcairo2 libcups2
  libthai-data libdatrie1 libthai0 fontconfig libpango-1.0-0 libgraphite2-3
  libharfbuzz0a libpangoft2-1.0-0 libpangocairo-1.0-0 libxcomposite1
  libxfixes3 libxcursor1 libxdamage1 libxi6 libxinerama1 libxrandr2
  shared-mime-info libgtk2.0-0 libglade2-0 libltdl7 libtdb1 libogg0
  libvorbis0a libvorbisfile3 sound-theme-freedesktop libcanberra0 libapparmor1
  netbase dbus psmisc dbus-x11 libpython2.7-minimal python2.7-minimal
  libpython2.7-stdlib python2.7 python-minimal libpython-stdlib python gconf2
  libgnomevfs2-common libgnomevfs2-0 libgnome2-common libgnome2-bin
  libgnome2-0 libgail18 libgnomecanvas2-common libgnomecanvas2-0
  libbonoboui2-common libbonoboui2-0 libcairo-gobject2 liblzo2-2
  libcairo-script-interpreter2 libcroco3 libelfg0 libaspell15
  libtext-iconv-perl dictionaries-common aspell aspell-en libhunspell-1.3-0
  libenchant1c2a libgmpxx4ldbl libgnome-keyring-common libgnome-keyring0
  x11-common libice6 libxft2 libpangoxft-1.0-0 libpangox-1.0-0 libpango1.0-0
  libsm6 libgnomeui-common libgnomeui-0 libicu48 libharfbuzz-icu0 libpcrecpp0
  librsvg2-2 libunistring0 libgnutlsxx27 python3.3 python3-minimal
  libpython3-stdlib python3 dh-python file gettext-base libgirepository-1.0-1
  gir1.2-glib-2.0 libglib2.0-data gettext intltool-debian po-debconf
  apparmor-easyprof dh-apparmor debhelper gir1.2-atk-1.0 gir1.2-freedesktop
  gir1.2-gconf-2.0 gir1.2-gdkpixbuf-2.0 gir1.2-gnomekeyring-1.0
  gir1.2-pango-1.0 gir1.2-gtk-2.0 gir1.2-rsvg-2.0 pkg-config libart-2.0-dev
  libglib2.0-bin libpcre3-dev zlib1g-dev libglib2.0-dev libatk1.0-dev
  libavahi-common-dev libdbus-1-dev libavahi-client-dev libavahi-glib-dev
  libidl-dev liborbit2-dev libpopt-dev libbonobo2-dev xorg-sgml-doctools
  x11proto-core-dev libxau-dev libxdmcp-dev x11proto-input-dev x11proto-kb-dev
  xtrans-dev libpthread-stubs0-dev libxcb1-dev libx11-dev libpng12-dev
  libgdk-pixbuf2.0-dev libfreetype6-dev x11proto-render-dev libxrender-dev
  libexpat1-dev libfontconfig1-dev libxft-dev libharfbuzz-dev libice-dev
  libsm-dev libpixman-1-dev libxcb-render0-dev libxcb-shm0-dev
  x11proto-xext-dev libxext-dev libcairo2-dev libpango1.0-dev
  x11proto-xinerama-dev libxinerama-dev x11proto-fixes-dev libxfixes-dev
  libxi-dev x11proto-randr-dev libxrandr-dev libxcursor-dev
  x11proto-composite-dev libxcomposite-dev x11proto-damage-dev libxdamage-dev
  libxml2-utils libgtk2.0-dev libgail-common libgail-dev libgnomecanvas2-dev
  libgconf2-dev libgpg-error-dev libgcrypt11-dev libtasn1-3-dev libp11-kit-dev
  libgnutls-dev libxml2-dev libsepol1-dev libselinux1-dev libgnomevfs2-dev
  libcanberra-dev libgnome2-dev libbonoboui2-dev libenchant-dev libglade2-dev
  libgmp-dev libgmp3-dev libgnome-keyring-dev libgnomeui-dev
  libgtksourceview2.0-common libgtksourceview2.0-0 libgtksourceview2.0-dev
  libgtkspell0 libgtkspell-dev ocaml-base-nox liblablgtk2-ocaml
  liblablgtk2-gnome-ocaml librsvg2-common librsvg2-dev libtinfo-dev
  libncurses5-dev ocaml-interp ocaml-nox liblablgtk2-ocaml-dev
  liblablgtk2-gnome-ocaml-dev liblablgtksourceview2-ocaml
  liblablgtksourceview2-ocaml-dev libocamlgraph-ocaml-dev libzarith-ocaml
  libzarith-ocaml-dev dh-ocaml
Authentication warning overridden.
Get:1 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1 i386 2.1.0-4 [127 kB]
Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libgnutls-openssl27 i386 2.12.23-1ubuntu4 [21.8 kB]
Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libmagic1 i386 5.11-2ubuntu4 [172 kB]
Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libpopt0 i386 1.16-8 [29.0 kB]
Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-minimal i386 3.3.2-7ubuntu4 [615 kB]
Get:6 http://ftpmaster.internal/ubuntu/ trusty/main mime-support all 3.54ubuntu1 [31.7 kB]
Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-stdlib i386 3.3.2-7ubuntu4 [2655 kB]
Get:8 http://ftpmaster.internal/ubuntu/ trusty/main python3.3-minimal i386 3.3.2-7ubuntu4 [1650 kB]
Get:9 http://ftpmaster.internal/ubuntu/ trusty/main libasprintf0c2 i386 0.18.3.1-1ubuntu1 [7120 B]
Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-0 i386 2.38.1-1 [988 kB]
Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-glib-1-2 i386 0.100.2-1 [74.2 kB]
Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 i386 1.2.4-1 [26.5 kB]
Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libsystemd-login0 i386 204-5ubuntu6 [33.2 kB]
Get:14 http://ftpmaster.internal/ubuntu/ trusty/main libxau6 i386 1:1.0.8-1 [8352 B]
Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp6 i386 1:1.1.1-1 [13.1 kB]
Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1 i386 1.9.1-3ubuntu1 [48.2 kB]
Get:17 http://ftpmaster.internal/ubuntu/ trusty/main libx11-data all 2:1.6.2-1ubuntu1 [180 kB]
Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libx11-6 i386 2:1.6.2-1ubuntu1 [763 kB]
Get:19 http://ftpmaster.internal/ubuntu/ trusty/main libxext6 i386 2:1.3.2-1 [33.9 kB]
Get:20 http://ftpmaster.internal/ubuntu/ trusty/main libxml2 i386 2.9.1+dfsg1-3ubuntu2 [672 kB]
Get:21 http://ftpmaster.internal/ubuntu/ trusty/main groff-base i386 1.22.2-3 [705 kB]
Get:22 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils i386 9.0.5ubuntu1 [197 kB]
Get:23 http://ftpmaster.internal/ubuntu/ trusty/main man-db i386 2.6.5-2 [704 kB]
Get:24 http://ftpmaster.internal/ubuntu/ trusty/main libart-2.0-2 i386 2.3.21-2 [57.5 kB]
Get:25 http://ftpmaster.internal/ubuntu/ trusty/main libasound2-data all 1.0.27.2-3ubuntu1 [30.5 kB]
Get:26 http://ftpmaster.internal/ubuntu/ trusty/main libasound2 i386 1.0.27.2-3ubuntu1 [407 kB]
Get:27 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-data all 2.10.0-2 [13.7 kB]
Get:28 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-0 i386 2.10.0-2 [49.5 kB]
Get:29 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common-data i386 0.6.31-2ubuntu4 [22.3 kB]
Get:30 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common3 i386 0.6.31-2ubuntu4 [25.8 kB]
Get:31 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-client3 i386 0.6.31-2ubuntu4 [29.5 kB]
Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-glib1 i386 0.6.31-2ubuntu4 [9042 B]
Get:33 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-common all 2.32.1-0ubuntu4 [34.1 kB]
Get:34 http://ftpmaster.internal/ubuntu/ trusty/main libidl-common all 0.8.14-0.2ubuntu3 [8536 B]
Get:35 http://ftpmaster.internal/ubuntu/ trusty/main libidl0 i386 0.8.14-0.2ubuntu3 [76.9 kB]
Get:36 http://ftpmaster.internal/ubuntu/ trusty/main liborbit2 i386 1:2.14.19-0.2 [142 kB]
Get:37 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-0 i386 2.32.1-0ubuntu4 [201 kB]
Get:38 http://ftpmaster.internal/ubuntu/ trusty/main ucf all 3.0027+nmu1 [56.3 kB]
Get:39 http://ftpmaster.internal/ubuntu/ trusty/main gconf2-common all 3.2.6-0ubuntu1 [20.7 kB]
Get:40 http://ftpmaster.internal/ubuntu/ trusty/main libgconf-2-4 i386 3.2.6-0ubuntu1 [78.8 kB]
Get:41 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service-backend i386 3.2.6-0ubuntu1 [55.9 kB]
Get:42 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service i386 3.2.6-0ubuntu1 [2040 B]
Get:43 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg-turbo8 i386 1.3.0-0ubuntu1 [128 kB]
Get:44 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg8 i386 8c-2ubuntu8 [2188 B]
Get:45 http://ftpmaster.internal/ubuntu/ trusty/main libjasper1 i386 1.900.1-14 [154 kB]
Get:46 http://ftpmaster.internal/ubuntu/ trusty/main libjbig0 i386 2.0-2ubuntu1 [28.0 kB]
Get:47 http://ftpmaster.internal/ubuntu/ trusty/main libtiff5 i386 4.0.3-5ubuntu1 [169 kB]
Get:48 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-common all 2.30.0-0ubuntu2 [8258 B]
Get:49 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-0 i386 2.30.0-0ubuntu2 [155 kB]
Get:50 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-common all 2.24.21-1ubuntu1 [121 kB]
Get:51 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6 i386 2.5.0.1-0ubuntu2 [349 kB]
Get:52 http://ftpmaster.internal/ubuntu/ trusty/main fonts-dejavu-core all 2.33+svn2514-3ubuntu1 [1019 kB]
Get:53 http://ftpmaster.internal/ubuntu/ trusty/main ttf-dejavu-core all 2.33+svn2514-3ubuntu1 [2964 B]
Get:54 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig-config all 2.11.0-0ubuntu1 [51.7 kB]
Get:55 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1 i386 2.11.0-0ubuntu1 [143 kB]
Get:56 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-0 i386 0.30.2-1 [270 kB]
Get:57 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0 i386 1.9.1-3ubuntu1 [14.2 kB]
Get:58 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0 i386 1.9.1-3ubuntu1 [5764 B]
Get:59 http://ftpmaster.internal/ubuntu/ trusty/main libxrender1 i386 1:0.9.8-1 [20.3 kB]
Get:60 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2 i386 1.12.16-0ubuntu2 [649 kB]
Get:61 http://ftpmaster.internal/ubuntu/ trusty/main libcups2 i386 1.7.0-0ubuntu2 [211 kB]
Get:62 http://ftpmaster.internal/ubuntu/ trusty/main libthai-data all 0.1.20-1 [130 kB]
Get:63 http://ftpmaster.internal/ubuntu/ trusty/main libdatrie1 i386 0.2.7.1-1 [16.9 kB]
Get:64 http://ftpmaster.internal/ubuntu/ trusty/main libthai0 i386 0.1.20-1 [17.1 kB]
Get:65 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig i386 2.11.0-0ubuntu1 [181 kB]
Get:66 http://ftpmaster.internal/ubuntu/ trusty/main libpango-1.0-0 i386 1.36.0-1ubuntu1 [147 kB]
Get:67 http://ftpmaster.internal/ubuntu/ trusty/main libgraphite2-3 i386 1.2.3-1 [58.5 kB]
Get:68 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz0a i386 0.9.19-1 [146 kB]
Get:69 http://ftpmaster.internal/ubuntu/ trusty/main libpangoft2-1.0-0 i386 1.36.0-1ubuntu1 [32.2 kB]
Get:70 http://ftpmaster.internal/ubuntu/ trusty/main libpangocairo-1.0-0 i386 1.36.0-1ubuntu1 [19.6 kB]
Get:71 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite1 i386 1:0.4.4-1 [7594 B]
Get:72 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes3 i386 1:5.0.1-1ubuntu1 [11.5 kB]
Get:73 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor1 i386 1:1.1.14-1 [22.8 kB]
Get:74 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage1 i386 1:1.1.4-1ubuntu1 [7406 B]
Get:75 http://ftpmaster.internal/ubuntu/ trusty/main libxi6 i386 2:1.7.1.901-1ubuntu1 [32.0 kB]
Get:76 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama1 i386 2:1.1.3-1 [7900 B]
Get:77 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr2 i386 2:1.4.1-1ubuntu1 [19.0 kB]
Get:78 http://ftpmaster.internal/ubuntu/ trusty/main shared-mime-info i386 1.1-0ubuntu5 [411 kB]
Get:79 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-0 i386 2.24.21-1ubuntu1 [1696 kB]
Get:80 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-0 i386 1:2.6.4-1ubuntu3 [43.7 kB]
Get:81 http://ftpmaster.internal/ubuntu/ trusty/main libltdl7 i386 2.4.2-1.3ubuntu1 [38.4 kB]
Get:82 http://ftpmaster.internal/ubuntu/ trusty/main libtdb1 i386 1.2.12-1 [38.6 kB]
Get:83 http://ftpmaster.internal/ubuntu/ trusty/main libogg0 i386 1.3.1-1 [18.2 kB]
Get:84 http://ftpmaster.internal/ubuntu/ trusty/main libvorbis0a i386 1.3.2-1.3 [101 kB]
Get:85 http://ftpmaster.internal/ubuntu/ trusty/main libvorbisfile3 i386 1.3.2-1.3 [20.0 kB]
Get:86 http://ftpmaster.internal/ubuntu/ trusty/main sound-theme-freedesktop all 0.8-1 [385 kB]
Get:87 http://ftpmaster.internal/ubuntu/ trusty/main libcanberra0 i386 0.30-0ubuntu2 [35.5 kB]
Get:88 http://ftpmaster.internal/ubuntu/ trusty/main libapparmor1 i386 2.8.0-0ubuntu34 [41.4 kB]
Get:89 http://ftpmaster.internal/ubuntu/ trusty/main netbase all 5.1 [13.9 kB]
Get:90 http://ftpmaster.internal/ubuntu/ trusty/main dbus i386 1.6.18-0ubuntu1 [363 kB]
Get:91 http://ftpmaster.internal/ubuntu/ trusty/main psmisc i386 22.20-1ubuntu2 [52.0 kB]
Get:92 http://ftpmaster.internal/ubuntu/ trusty/main dbus-x11 i386 1.6.18-0ubuntu1 [20.9 kB]
Get:93 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-minimal i386 2.7.5-8ubuntu4 [502 kB]
Get:94 http://ftpmaster.internal/ubuntu/ trusty/main python2.7-minimal i386 2.7.5-8ubuntu4 [1419 kB]
Get:95 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-stdlib i386 2.7.5-8ubuntu4 [2458 kB]
Get:96 http://ftpmaster.internal/ubuntu/ trusty/main python2.7 i386 2.7.5-8ubuntu4 [191 kB]
Get:97 http://ftpmaster.internal/ubuntu/ trusty/main python-minimal i386 2.7.5-5ubuntu1 [31.0 kB]
Get:98 http://ftpmaster.internal/ubuntu/ trusty/main libpython-stdlib i386 2.7.5-5ubuntu1 [7770 B]
Get:99 http://ftpmaster.internal/ubuntu/ trusty/main python i386 2.7.5-5ubuntu1 [168 kB]
Get:100 http://ftpmaster.internal/ubuntu/ trusty/main gconf2 i386 3.2.6-0ubuntu1 [64.2 kB]
Get:101 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-common i386 1:2.24.4-1ubuntu6 [22.7 kB]
Get:102 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-0 i386 1:2.24.4-1ubuntu6 [207 kB]
Get:103 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-common all 2.32.1-2ubuntu4 [33.3 kB]
Get:104 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-bin i386 2.32.1-2ubuntu4 [14.9 kB]
Get:105 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-0 i386 2.32.1-2ubuntu4 [42.0 kB]
Get:106 http://ftpmaster.internal/ubuntu/ trusty/main libgail18 i386 2.24.21-1ubuntu1 [13.9 kB]
Get:107 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-common all 2.30.3-1.2ubuntu1 [8844 B]
Get:108 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-0 i386 2.30.3-1.2ubuntu1 [80.8 kB]
Get:109 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-common all 2.24.5-0ubuntu2 [11.7 kB]
Get:110 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-0 i386 2.24.5-0ubuntu2 [187 kB]
Get:111 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-gobject2 i386 1.12.16-0ubuntu2 [19.7 kB]
Get:112 http://ftpmaster.internal/ubuntu/ trusty/main liblzo2-2 i386 2.06-1.2 [59.0 kB]
Get:113 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-script-interpreter2 i386 1.12.16-0ubuntu2 [63.7 kB]
Get:114 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 i386 0.6.8-2 [81.2 kB]
Get:115 http://ftpmaster.internal/ubuntu/ trusty/main libelfg0 i386 0.8.13-4~1 [46.9 kB]
Get:116 http://ftpmaster.internal/ubuntu/ trusty/main libaspell15 i386 0.60.7~20110707-1build1 [619 kB]
Get:117 http://ftpmaster.internal/ubuntu/ trusty/main libtext-iconv-perl i386 1.7-5build2 [15.2 kB]
Get:118 http://ftpmaster.internal/ubuntu/ trusty/main dictionaries-common all 1.20.3 [253 kB]
Get:119 http://ftpmaster.internal/ubuntu/ trusty/main aspell i386 0.60.7~20110707-1build1 [91.1 kB]
Get:120 http://ftpmaster.internal/ubuntu/ trusty/main aspell-en all 7.1-0-1 [267 kB]
Get:121 http://ftpmaster.internal/ubuntu/ trusty/main libhunspell-1.3-0 i386 1.3.2-4ubuntu1 [148 kB]
Get:122 http://ftpmaster.internal/ubuntu/ trusty/main libenchant1c2a i386 1.6.0-10 [78.5 kB]
Get:123 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libgmpxx4ldbl i386 2:5.1.2+dfsg-3ubuntu1 [9946 B]
Get:124 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring-common all 3.8.0-2 [5536 B]
Get:125 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring0 i386 3.8.0-2 [52.8 kB]
Get:126 http://ftpmaster.internal/ubuntu/ trusty/main x11-common all 1:7.7+1ubuntu6 [58.6 kB]
Get:127 http://ftpmaster.internal/ubuntu/ trusty/main libice6 i386 2:1.0.8-2 [45.9 kB]
Get:128 http://ftpmaster.internal/ubuntu/ trusty/main libxft2 i386 2.3.1-1 [43.2 kB]
Get:129 http://ftpmaster.internal/ubuntu/ trusty/main libpangoxft-1.0-0 i386 1.36.0-1ubuntu1 [14.4 kB]
Get:130 http://ftpmaster.internal/ubuntu/ trusty/main libpangox-1.0-0 i386 0.0.2-4 [40.6 kB]
Get:131 http://ftpmaster.internal/ubuntu/ trusty/main libpango1.0-0 i386 1.36.0-1ubuntu1 [2978 B]
Get:132 http://ftpmaster.internal/ubuntu/ trusty/main libsm6 i386 2:1.2.1-2 [17.3 kB]
Get:133 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-common all 2.24.5-2ubuntu3 [16.6 kB]
Get:134 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-0 i386 2.24.5-2ubuntu3 [252 kB]
Get:135 http://ftpmaster.internal/ubuntu/ trusty/main libicu48 i386 4.8.1.1-13+nmu1ubuntu1 [4753 kB]
Get:136 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-icu0 i386 0.9.19-1 [5890 B]
Get:137 http://ftpmaster.internal/ubuntu/ trusty/main libpcrecpp0 i386 1:8.31-2 [17.1 kB]
Get:138 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-2 i386 2.40.0-1 [90.1 kB]
Get:139 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 i386 0.9.3-5ubuntu1 [429 kB]
Get:140 http://ftpmaster.internal/ubuntu/ trusty/main libgnutlsxx27 i386 2.12.23-1ubuntu4 [23.0 kB]
Get:141 http://ftpmaster.internal/ubuntu/ trusty/main python3.3 i386 3.3.2-7ubuntu4 [128 kB]
Get:142 http://ftpmaster.internal/ubuntu/ trusty-proposed/main python3-minimal i386 3.3.2-17 [26.1 kB]
Get:143 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libpython3-stdlib i386 3.3.2-17 [7862 B]
Get:144 http://ftpmaster.internal/ubuntu/ trusty-proposed/main python3 i386 3.3.2-17 [9156 B]
Get:145 http://ftpmaster.internal/ubuntu/ trusty-proposed/main dh-python all 1.20131021-1ubuntu2 [60.9 kB]
Get:146 http://ftpmaster.internal/ubuntu/ trusty/main file i386 5.11-2ubuntu4 [18.0 kB]
Get:147 http://ftpmaster.internal/ubuntu/ trusty/main gettext-base i386 0.18.3.1-1ubuntu1 [55.2 kB]
Get:148 http://ftpmaster.internal/ubuntu/ trusty/main libgirepository-1.0-1 i386 1.38.0-0ubuntu1 [101 kB]
Get:149 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-glib-2.0 i386 1.38.0-0ubuntu1 [165 kB]
Get:150 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-data all 2.38.1-1 [106 kB]
Get:151 http://ftpmaster.internal/ubuntu/ trusty/main gettext i386 0.18.3.1-1ubuntu1 [1007 kB]
Get:152 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB]
Get:153 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB]
Get:154 http://ftpmaster.internal/ubuntu/ trusty/main apparmor-easyprof all 2.8.0-0ubuntu34 [23.3 kB]
Get:155 http://ftpmaster.internal/ubuntu/ trusty/main dh-apparmor all 2.8.0-0ubuntu34 [7772 B]
Get:156 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20130921ubuntu1 [635 kB]
Get:157 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-atk-1.0 i386 2.10.0-2 [16.3 kB]
Get:158 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-freedesktop i386 1.38.0-0ubuntu1 [6218 B]
Get:159 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gconf-2.0 i386 3.2.6-0ubuntu1 [6190 B]
Get:160 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gdkpixbuf-2.0 i386 2.30.0-0ubuntu2 [7954 B]
Get:161 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gnomekeyring-1.0 i386 3.8.0-2 [5922 B]
Get:162 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-pango-1.0 i386 1.36.0-1ubuntu1 [18.7 kB]
Get:163 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gtk-2.0 i386 2.24.21-1ubuntu1 [171 kB]
Get:164 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-rsvg-2.0 i386 2.40.0-1 [3556 B]
Get:165 http://ftpmaster.internal/ubuntu/ trusty/main pkg-config i386 0.26-1ubuntu4 [40.5 kB]
Get:166 http://ftpmaster.internal/ubuntu/ trusty/main libart-2.0-dev i386 2.3.21-2 [71.9 kB]
Get:167 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-bin i386 2.38.1-1 [34.0 kB]
Get:168 http://ftpmaster.internal/ubuntu/ trusty/main libpcre3-dev i386 1:8.31-2 [261 kB]
Get:169 http://ftpmaster.internal/ubuntu/ trusty/main zlib1g-dev i386 1:1.2.8.dfsg-1ubuntu1 [181 kB]
Get:170 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-dev i386 2.38.1-1 [1244 kB]
Get:171 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-dev i386 2.10.0-2 [67.6 kB]
Get:172 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common-dev i386 0.6.31-2ubuntu4 [42.8 kB]
Get:173 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-1-dev i386 1.6.18-0ubuntu1 [194 kB]
Get:174 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-client-dev i386 0.6.31-2ubuntu4 [36.5 kB]
Get:175 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-glib-dev i386 0.6.31-2ubuntu4 [8968 B]
Get:176 http://ftpmaster.internal/ubuntu/ trusty/main libidl-dev i386 0.8.14-0.2ubuntu3 [89.1 kB]
Get:177 http://ftpmaster.internal/ubuntu/ trusty/main liborbit2-dev i386 1:2.14.19-0.2 [278 kB]
Get:178 http://ftpmaster.internal/ubuntu/ trusty/main libpopt-dev i386 1.16-8 [44.1 kB]
Get:179 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-dev i386 2.32.1-0ubuntu4 [398 kB]
Get:180 http://ftpmaster.internal/ubuntu/ trusty/main xorg-sgml-doctools all 1:1.11-1 [12.9 kB]
Get:181 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-core-dev all 7.0.24-1 [748 kB]
Get:182 http://ftpmaster.internal/ubuntu/ trusty/main libxau-dev i386 1:1.0.8-1 [10.2 kB]
Get:183 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp-dev i386 1:1.1.1-1 [26.8 kB]
Get:184 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-input-dev all 2.3-1 [139 kB]
Get:185 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-kb-dev all 1.0.6-2 [269 kB]
Get:186 http://ftpmaster.internal/ubuntu/ trusty/main xtrans-dev all 1.2.7-1 [84.3 kB]
Get:187 http://ftpmaster.internal/ubuntu/ trusty/main libpthread-stubs0-dev i386 0.3-4 [4054 B]
Get:188 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1-dev i386 1.9.1-3ubuntu1 [98.6 kB]
Get:189 http://ftpmaster.internal/ubuntu/ trusty/main libx11-dev i386 2:1.6.2-1ubuntu1 [888 kB]
Get:190 http://ftpmaster.internal/ubuntu/ trusty/main libpng12-dev i386 1.2.49-5ubuntu1 [204 kB]
Get:191 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-dev i386 2.30.0-0ubuntu2 [42.4 kB]
Get:192 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6-dev i386 2.5.0.1-0ubuntu2 [802 kB]
Get:193 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB]
Get:194 http://ftpmaster.internal/ubuntu/ trusty/main libxrender-dev i386 1:0.9.8-1 [26.6 kB]
Get:195 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1-dev i386 2.1.0-4 [204 kB]
Get:196 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1-dev i386 2.11.0-0ubuntu1 [713 kB]
Get:197 http://ftpmaster.internal/ubuntu/ trusty/main libxft-dev i386 2.3.1-1 [52.6 kB]
Get:198 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-dev i386 0.9.19-1 [16.1 kB]
Get:199 http://ftpmaster.internal/ubuntu/ trusty/main libice-dev i386 2:1.0.8-2 [52.3 kB]
Get:200 http://ftpmaster.internal/ubuntu/ trusty/main libsm-dev i386 2:1.2.1-2 [17.6 kB]
Get:201 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-dev i386 0.30.2-1 [303 kB]
Get:202 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0-dev i386 1.9.1-3ubuntu1 [21.2 kB]
Get:203 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0-dev i386 1.9.1-3ubuntu1 [6906 B]
Get:204 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xext-dev all 7.2.1-1 [265 kB]
Get:205 http://ftpmaster.internal/ubuntu/ trusty/main libxext-dev i386 2:1.3.2-1 [89.9 kB]
Get:206 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2-dev i386 1.12.16-0ubuntu2 [755 kB]
Get:207 http://ftpmaster.internal/ubuntu/ trusty/main libpango1.0-dev i386 1.36.0-1ubuntu1 [260 kB]
Get:208 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xinerama-dev all 1.2.1-2 [4966 B]
Get:209 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama-dev i386 2:1.1.3-1 [8268 B]
Get:210 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB]
Get:211 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes-dev i386 1:5.0.1-1ubuntu1 [12.4 kB]
Get:212 http://ftpmaster.internal/ubuntu/ trusty/main libxi-dev i386 2:1.7.1.901-1ubuntu1 [204 kB]
Get:213 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1 [32.9 kB]
Get:214 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr-dev i386 2:1.4.1-1ubuntu1 [25.0 kB]
Get:215 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor-dev i386 1:1.1.14-1 [28.2 kB]
Get:216 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB]
Get:217 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite-dev i386 1:0.4.4-1 [9864 B]
Get:218 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-damage-dev all 1:1.2.1-2 [8286 B]
Get:219 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage-dev i386 1:1.1.4-1ubuntu1 [5242 B]
Get:220 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-utils i386 2.9.1+dfsg1-3ubuntu2 [40.2 kB]
Get:221 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-dev i386 2.24.21-1ubuntu1 [2494 kB]
Get:222 http://ftpmaster.internal/ubuntu/ trusty/main libgail-common i386 2.24.21-1ubuntu1 [111 kB]
Get:223 http://ftpmaster.internal/ubuntu/ trusty/main libgail-dev i386 2.24.21-1ubuntu1 [14.0 kB]
Get:224 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-dev i386 2.30.3-1.2ubuntu1 [92.2 kB]
Get:225 http://ftpmaster.internal/ubuntu/ trusty/main libgconf2-dev i386 3.2.6-0ubuntu1 [88.7 kB]
Get:226 http://ftpmaster.internal/ubuntu/ trusty/main libgpg-error-dev i386 1.12-0.2 [23.9 kB]
Get:227 http://ftpmaster.internal/ubuntu/ trusty/main libgcrypt11-dev i386 1.5.0-3ubuntu3 [360 kB]
Get:228 http://ftpmaster.internal/ubuntu/ trusty/main libtasn1-3-dev i386 2.14-3 [379 kB]
Get:229 http://ftpmaster.internal/ubuntu/ trusty/main libp11-kit-dev i386 0.20.1-2ubuntu1 [74.6 kB]
Get:230 http://ftpmaster.internal/ubuntu/ trusty/main libgnutls-dev i386 2.12.23-1ubuntu4 [523 kB]
Get:231 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-dev i386 2.9.1+dfsg1-3ubuntu2 [844 kB]
Get:232 http://ftpmaster.internal/ubuntu/ trusty/main libsepol1-dev i386 2.2-1 [183 kB]
Get:233 http://ftpmaster.internal/ubuntu/ trusty/main libselinux1-dev i386 2.2.1-1ubuntu1 [147 kB]
Get:234 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-dev i386 1:2.24.4-1ubuntu6 [307 kB]
Get:235 http://ftpmaster.internal/ubuntu/ trusty/main libcanberra-dev i386 0.30-0ubuntu2 [6806 B]
Get:236 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-dev i386 2.32.1-2ubuntu4 [43.0 kB]
Get:237 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-dev i386 2.24.5-0ubuntu2 [383 kB]
Get:238 http://ftpmaster.internal/ubuntu/ trusty/main libenchant-dev i386 1.6.0-10 [66.3 kB]
Get:239 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-dev i386 1:2.6.4-1ubuntu3 [71.6 kB]
Get:240 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libgmp-dev i386 2:5.1.2+dfsg-3ubuntu1 [377 kB]
Get:241 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libgmp3-dev i386 2:5.1.2+dfsg-3ubuntu1 [1816 B]
Get:242 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring-dev i386 3.8.0-2 [45.0 kB]
Get:243 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-dev i386 2.24.5-2ubuntu3 [334 kB]
Get:244 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-common all 2.10.5-0ubuntu3 [134 kB]
Get:245 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-0 i386 2.10.5-0ubuntu3 [152 kB]
Get:246 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-dev i386 2.10.5-0ubuntu3 [212 kB]
Get:247 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell0 i386 2.0.16-1ubuntu6 [13.3 kB]
Get:248 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell-dev i386 2.0.16-1ubuntu6 [26.0 kB]
Get:249 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-base-nox i386 3.12.1-4ubuntu1 [581 kB]
Get:250 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-ocaml i386 2.14.2+dfsg-3 [871 kB]
Get:251 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-gnome-ocaml i386 2.14.2+dfsg-3 [84.3 kB]
Get:252 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-common i386 2.40.0-1 [4950 B]
Get:253 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-dev i386 2.40.0-1 [94.9 kB]
Get:254 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo-dev i386 5.9+20130608-1ubuntu1 [97.3 kB]
Get:255 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5-dev i386 5.9+20130608-1ubuntu1 [216 kB]
Get:256 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-interp i386 3.12.1-4ubuntu1 [256 kB]
Get:257 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-nox i386 3.12.1-4ubuntu1 [7440 kB]
Get:258 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-ocaml-dev i386 2.14.2+dfsg-3 [1988 kB]
Get:259 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-gnome-ocaml-dev i386 2.14.2+dfsg-3 [127 kB]
Get:260 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtksourceview2-ocaml i386 2.14.2+dfsg-3 [62.9 kB]
Get:261 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtksourceview2-ocaml-dev i386 2.14.2+dfsg-3 [92.1 kB]
Get:262 http://ftpmaster.internal/ubuntu/ trusty/universe libocamlgraph-ocaml-dev i386 1.8.2-2 [2226 kB]
Get:263 http://ftpmaster.internal/ubuntu/ trusty/universe libzarith-ocaml i386 1.2.1-2 [35.2 kB]
Get:264 http://ftpmaster.internal/ubuntu/ trusty/universe libzarith-ocaml-dev i386 1.2.1-2 [57.6 kB]
Get:265 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 66.0 MB in 6s (9437 kB/s)
Selecting previously unselected package libexpat1:i386.
(Reading database ... 12058 files and directories currently installed.)
Unpacking libexpat1:i386 (from .../libexpat1_2.1.0-4_i386.deb) ...
Selecting previously unselected package libgnutls-openssl27:i386.
Unpacking libgnutls-openssl27:i386 (from .../libgnutls-openssl27_2.12.23-1ubuntu4_i386.deb) ...
Selecting previously unselected package libmagic1:i386.
Unpacking libmagic1:i386 (from .../libmagic1_5.11-2ubuntu4_i386.deb) ...
Selecting previously unselected package libpopt0:i386.
Unpacking libpopt0:i386 (from .../libpopt0_1.16-8_i386.deb) ...
Selecting previously unselected package libpython3.3-minimal:i386.
Unpacking libpython3.3-minimal:i386 (from .../libpython3.3-minimal_3.3.2-7ubuntu4_i386.deb) ...
Selecting previously unselected package mime-support.
Unpacking mime-support (from .../mime-support_3.54ubuntu1_all.deb) ...
Selecting previously unselected package libpython3.3-stdlib:i386.
Unpacking libpython3.3-stdlib:i386 (from .../libpython3.3-stdlib_3.3.2-7ubuntu4_i386.deb) ...
Selecting previously unselected package python3.3-minimal.
Unpacking python3.3-minimal (from .../python3.3-minimal_3.3.2-7ubuntu4_i386.deb) ...
Selecting previously unselected package libasprintf0c2:i386.
Unpacking libasprintf0c2:i386 (from .../libasprintf0c2_0.18.3.1-1ubuntu1_i386.deb) ...
Selecting previously unselected package libglib2.0-0:i386.
Unpacking libglib2.0-0:i386 (from .../libglib2.0-0_2.38.1-1_i386.deb) ...
Selecting previously unselected package libdbus-glib-1-2:i386.
Unpacking libdbus-glib-1-2:i386 (from .../libdbus-glib-1-2_0.100.2-1_i386.deb) ...
Selecting previously unselected package libpipeline1:i386.
Unpacking libpipeline1:i386 (from .../libpipeline1_1.2.4-1_i386.deb) ...
Selecting previously unselected package libsystemd-login0:i386.
Unpacking libsystemd-login0:i386 (from .../libsystemd-login0_204-5ubuntu6_i386.deb) ...
Selecting previously unselected package libxau6:i386.
Unpacking libxau6:i386 (from .../libxau6_1%3a1.0.8-1_i386.deb) ...
Selecting previously unselected package libxdmcp6:i386.
Unpacking libxdmcp6:i386 (from .../libxdmcp6_1%3a1.1.1-1_i386.deb) ...
Selecting previously unselected package libxcb1:i386.
Unpacking libxcb1:i386 (from .../libxcb1_1.9.1-3ubuntu1_i386.deb) ...
Selecting previously unselected package libx11-data.
Unpacking libx11-data (from .../libx11-data_2%3a1.6.2-1ubuntu1_all.deb) ...
Selecting previously unselected package libx11-6:i386.
Unpacking libx11-6:i386 (from .../libx11-6_2%3a1.6.2-1ubuntu1_i386.deb) ...
Selecting previously unselected package libxext6:i386.
Unpacking libxext6:i386 (from .../libxext6_2%3a1.3.2-1_i386.deb) ...
Selecting previously unselected package libxml2:i386.
Unpacking libxml2:i386 (from .../libxml2_2.9.1+dfsg1-3ubuntu2_i386.deb) ...
Selecting previously unselected package groff-base.
Unpacking groff-base (from .../groff-base_1.22.2-3_i386.deb) ...
Selecting previously unselected package bsdmainutils.
Unpacking bsdmainutils (from .../bsdmainutils_9.0.5ubuntu1_i386.deb) ...
Selecting previously unselected package man-db.
Unpacking man-db (from .../man-db_2.6.5-2_i386.deb) ...
Selecting previously unselected package libart-2.0-2:i386.
Unpacking libart-2.0-2:i386 (from .../libart-2.0-2_2.3.21-2_i386.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:i386.
Unpacking libasound2:i386 (from .../libasound2_1.0.27.2-3ubuntu1_i386.deb) ...
Selecting previously unselected package libatk1.0-data.
Unpacking libatk1.0-data (from .../libatk1.0-data_2.10.0-2_all.deb) ...
Selecting previously unselected package libatk1.0-0:i386.
Unpacking libatk1.0-0:i386 (from .../libatk1.0-0_2.10.0-2_i386.deb) ...
Selecting previously unselected package libavahi-common-data:i386.
Unpacking libavahi-common-data:i386 (from .../libavahi-common-data_0.6.31-2ubuntu4_i386.deb) ...
Selecting previously unselected package libavahi-common3:i386.
Unpacking libavahi-common3:i386 (from .../libavahi-common3_0.6.31-2ubuntu4_i386.deb) ...
Selecting previously unselected package libavahi-client3:i386.
Unpacking libavahi-client3:i386 (from .../libavahi-client3_0.6.31-2ubuntu4_i386.deb) ...
Selecting previously unselected package libavahi-glib1:i386.
Unpacking libavahi-glib1:i386 (from .../libavahi-glib1_0.6.31-2ubuntu4_i386.deb) ...
Selecting previously unselected package libbonobo2-common.
Unpacking libbonobo2-common (from .../libbonobo2-common_2.32.1-0ubuntu4_all.deb) ...
Selecting previously unselected package libidl-common.
Unpacking libidl-common (from .../libidl-common_0.8.14-0.2ubuntu3_all.deb) ...
Selecting previously unselected package libidl0:i386.
Unpacking libidl0:i386 (from .../libidl0_0.8.14-0.2ubuntu3_i386.deb) ...
Selecting previously unselected package liborbit2:i386.
Unpacking liborbit2:i386 (from .../liborbit2_1%3a2.14.19-0.2_i386.deb) ...
Selecting previously unselected package libbonobo2-0:i386.
Unpacking libbonobo2-0:i386 (from .../libbonobo2-0_2.32.1-0ubuntu4_i386.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:i386.
Unpacking libgconf-2-4:i386 (from .../libgconf-2-4_3.2.6-0ubuntu1_i386.deb) ...
Selecting previously unselected package gconf-service-backend.
Unpacking gconf-service-backend (from .../gconf-service-backend_3.2.6-0ubuntu1_i386.deb) ...
Selecting previously unselected package gconf-service.
Unpacking gconf-service (from .../gconf-service_3.2.6-0ubuntu1_i386.deb) ...
Selecting previously unselected package libjpeg-turbo8:i386.
Unpacking libjpeg-turbo8:i386 (from .../libjpeg-turbo8_1.3.0-0ubuntu1_i386.deb) ...
Selecting previously unselected package libjpeg8:i386.
Unpacking libjpeg8:i386 (from .../libjpeg8_8c-2ubuntu8_i386.deb) ...
Selecting previously unselected package libjasper1:i386.
Unpacking libjasper1:i386 (from .../libjasper1_1.900.1-14_i386.deb) ...
Selecting previously unselected package libjbig0:i386.
Unpacking libjbig0:i386 (from .../libjbig0_2.0-2ubuntu1_i386.deb) ...
Selecting previously unselected package libtiff5:i386.
Unpacking libtiff5:i386 (from .../libtiff5_4.0.3-5ubuntu1_i386.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.30.0-0ubuntu2_all.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:i386.
Unpacking libgdk-pixbuf2.0-0:i386 (from .../libgdk-pixbuf2.0-0_2.30.0-0ubuntu2_i386.deb) ...
Selecting previously unselected package libgtk2.0-common.
Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.21-1ubuntu1_all.deb) ...
Selecting previously unselected package libfreetype6:i386.
Unpacking libfreetype6:i386 (from .../libfreetype6_2.5.0.1-0ubuntu2_i386.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 ttf-dejavu-core.
Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33+svn2514-3ubuntu1_all.deb) ...
Selecting previously unselected package fontconfig-config.
Unpacking fontconfig-config (from .../fontconfig-config_2.11.0-0ubuntu1_all.deb) ...
Selecting previously unselected package libfontconfig1:i386.
Unpacking libfontconfig1:i386 (from .../libfontconfig1_2.11.0-0ubuntu1_i386.deb) ...
Selecting previously unselected package libpixman-1-0:i386.
Unpacking libpixman-1-0:i386 (from .../libpixman-1-0_0.30.2-1_i386.deb) ...
Selecting previously unselected package libxcb-render0:i386.
Unpacking libxcb-render0:i386 (from .../libxcb-render0_1.9.1-3ubuntu1_i386.deb) ...
Selecting previously unselected package libxcb-shm0:i386.
Unpacking libxcb-shm0:i386 (from .../libxcb-shm0_1.9.1-3ubuntu1_i386.deb) ...
Selecting previously unselected package libxrender1:i386.
Unpacking libxrender1:i386 (from .../libxrender1_1%3a0.9.8-1_i386.deb) ...
Selecting previously unselected package libcairo2:i386.
Unpacking libcairo2:i386 (from .../libcairo2_1.12.16-0ubuntu2_i386.deb) ...
Selecting previously unselected package libcups2:i386.
Unpacking libcups2:i386 (from .../libcups2_1.7.0-0ubuntu2_i386.deb) ...
Selecting previously unselected package libthai-data.
Unpacking libthai-data (from .../libthai-data_0.1.20-1_all.deb) ...
Selecting previously unselected package libdatrie1:i386.
Unpacking libdatrie1:i386 (from .../libdatrie1_0.2.7.1-1_i386.deb) ...
Selecting previously unselected package libthai0:i386.
Unpacking libthai0:i386 (from .../libthai0_0.1.20-1_i386.deb) ...
Selecting previously unselected package fontconfig.
Unpacking fontconfig (from .../fontconfig_2.11.0-0ubuntu1_i386.deb) ...
Selecting previously unselected package libpango-1.0-0:i386.
Unpacking libpango-1.0-0:i386 (from .../libpango-1.0-0_1.36.0-1ubuntu1_i386.deb) ...
Selecting previously unselected package libgraphite2-3:i386.
Unpacking libgraphite2-3:i386 (from .../libgraphite2-3_1.2.3-1_i386.deb) ...
Selecting previously unselected package libharfbuzz0a:i386.
Unpacking libharfbuzz0a:i386 (from .../libharfbuzz0a_0.9.19-1_i386.deb) ...
Selecting previously unselected package libpangoft2-1.0-0:i386.
Unpacking libpangoft2-1.0-0:i386 (from .../libpangoft2-1.0-0_1.36.0-1ubuntu1_i386.deb) ...
Selecting previously unselected package libpangocairo-1.0-0:i386.
Unpacking libpangocairo-1.0-0:i386 (from .../libpangocairo-1.0-0_1.36.0-1ubuntu1_i386.deb) ...
Selecting previously unselected package libxcomposite1:i386.
Unpacking libxcomposite1:i386 (from .../libxcomposite1_1%3a0.4.4-1_i386.deb) ...
Selecting previously unselected package libxfixes3:i386.
Unpacking libxfixes3:i386 (from .../libxfixes3_1%3a5.0.1-1ubuntu1_i386.deb) ...
Selecting previously unselected package libxcursor1:i386.
Unpacking libxcursor1:i386 (from .../libxcursor1_1%3a1.1.14-1_i386.deb) ...
Selecting previously unselected package libxdamage1:i386.
Unpacking libxdamage1:i386 (from .../libxdamage1_1%3a1.1.4-1ubuntu1_i386.deb) ...
Selecting previously unselected package libxi6:i386.
Unpacking libxi6:i386 (from .../libxi6_2%3a1.7.1.901-1ubuntu1_i386.deb) ...
Selecting previously unselected package libxinerama1:i386.
Unpacking libxinerama1:i386 (from .../libxinerama1_2%3a1.1.3-1_i386.deb) ...
Selecting previously unselected package libxrandr2:i386.
Unpacking libxrandr2:i386 (from .../libxrandr2_2%3a1.4.1-1ubuntu1_i386.deb) ...
Selecting previously unselected package shared-mime-info.
Unpacking shared-mime-info (from .../shared-mime-info_1.1-0ubuntu5_i386.deb) ...
Selecting previously unselected package libgtk2.0-0:i386.
Unpacking libgtk2.0-0:i386 (from .../libgtk2.0-0_2.24.21-1ubuntu1_i386.deb) ...
Selecting previously unselected package libglade2-0:i386.
Unpacking libglade2-0:i386 (from .../libglade2-0_1%3a2.6.4-1ubuntu3_i386.deb) ...
Selecting previously unselected package libltdl7:i386.
Unpacking libltdl7:i386 (from .../libltdl7_2.4.2-1.3ubuntu1_i386.deb) ...
Selecting previously unselected package libtdb1:i386.
Unpacking libtdb1:i386 (from .../libtdb1_1.2.12-1_i386.deb) ...
Selecting previously unselected package libogg0:i386.
Unpacking libogg0:i386 (from .../libogg0_1.3.1-1_i386.deb) ...
Selecting previously unselected package libvorbis0a:i386.
Unpacking libvorbis0a:i386 (from .../libvorbis0a_1.3.2-1.3_i386.deb) ...
Selecting previously unselected package libvorbisfile3:i386.
Unpacking libvorbisfile3:i386 (from .../libvorbisfile3_1.3.2-1.3_i386.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:i386.
Unpacking libcanberra0:i386 (from .../libcanberra0_0.30-0ubuntu2_i386.deb) ...
Selecting previously unselected package libapparmor1:i386.
Unpacking libapparmor1:i386 (from .../libapparmor1_2.8.0-0ubuntu34_i386.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-0ubuntu1_i386.deb) ...
Selecting previously unselected package psmisc.
Unpacking psmisc (from .../psmisc_22.20-1ubuntu2_i386.deb) ...
Selecting previously unselected package dbus-x11.
Unpacking dbus-x11 (from .../dbus-x11_1.6.18-0ubuntu1_i386.deb) ...
Selecting previously unselected package libpython2.7-minimal:i386.
Unpacking libpython2.7-minimal:i386 (from .../libpython2.7-minimal_2.7.5-8ubuntu4_i386.deb) ...
Selecting previously unselected package python2.7-minimal.
Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.5-8ubuntu4_i386.deb) ...
Selecting previously unselected package libpython2.7-stdlib:i386.
Unpacking libpython2.7-stdlib:i386 (from .../libpython2.7-stdlib_2.7.5-8ubuntu4_i386.deb) ...
Selecting previously unselected package python2.7.
Unpacking python2.7 (from .../python2.7_2.7.5-8ubuntu4_i386.deb) ...
Selecting previously unselected package python-minimal.
Unpacking python-minimal (from .../python-minimal_2.7.5-5ubuntu1_i386.deb) ...
Selecting previously unselected package libpython-stdlib:i386.
Unpacking libpython-stdlib:i386 (from .../libpython-stdlib_2.7.5-5ubuntu1_i386.deb) ...
Selecting previously unselected package python.
Unpacking python (from .../python_2.7.5-5ubuntu1_i386.deb) ...
Selecting previously unselected package gconf2.
Unpacking gconf2 (from .../gconf2_3.2.6-0ubuntu1_i386.deb) ...
Selecting previously unselected package libgnomevfs2-common.
Unpacking libgnomevfs2-common (from .../libgnomevfs2-common_1%3a2.24.4-1ubuntu6_i386.deb) ...
Selecting previously unselected package libgnomevfs2-0:i386.
Unpacking libgnomevfs2-0:i386 (from .../libgnomevfs2-0_1%3a2.24.4-1ubuntu6_i386.deb) ...
Selecting previously unselected package libgnome2-common.
Unpacking libgnome2-common (from .../libgnome2-common_2.32.1-2ubuntu4_all.deb) ...
Selecting previously unselected package libgnome2-bin.
Unpacking libgnome2-bin (from .../libgnome2-bin_2.32.1-2ubuntu4_i386.deb) ...
Selecting previously unselected package libgnome2-0:i386.
Unpacking libgnome2-0:i386 (from .../libgnome2-0_2.32.1-2ubuntu4_i386.deb) ...
Selecting previously unselected package libgail18:i386.
Unpacking libgail18:i386 (from .../libgail18_2.24.21-1ubuntu1_i386.deb) ...
Selecting previously unselected package libgnomecanvas2-common.
Unpacking libgnomecanvas2-common (from .../libgnomecanvas2-common_2.30.3-1.2ubuntu1_all.deb) ...
Selecting previously unselected package libgnomecanvas2-0:i386.
Unpacking libgnomecanvas2-0:i386 (from .../libgnomecanvas2-0_2.30.3-1.2ubuntu1_i386.deb) ...
Selecting previously unselected package libbonoboui2-common.
Unpacking libbonoboui2-common (from .../libbonoboui2-common_2.24.5-0ubuntu2_all.deb) ...
Selecting previously unselected package libbonoboui2-0:i386.
Unpacking libbonoboui2-0:i386 (from .../libbonoboui2-0_2.24.5-0ubuntu2_i386.deb) ...
Selecting previously unselected package libcairo-gobject2:i386.
Unpacking libcairo-gobject2:i386 (from .../libcairo-gobject2_1.12.16-0ubuntu2_i386.deb) ...
Selecting previously unselected package liblzo2-2:i386.
Unpacking liblzo2-2:i386 (from .../liblzo2-2_2.06-1.2_i386.deb) ...
Selecting previously unselected package libcairo-script-interpreter2:i386.
Unpacking libcairo-script-interpreter2:i386 (from .../libcairo-script-interpreter2_1.12.16-0ubuntu2_i386.deb) ...
Selecting previously unselected package libcroco3:i386.
Unpacking libcroco3:i386 (from .../libcroco3_0.6.8-2_i386.deb) ...
Selecting previously unselected package libelfg0:i386.
Unpacking libelfg0:i386 (from .../libelfg0_0.8.13-4~1_i386.deb) ...
Selecting previously unselected package libaspell15.
Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1build1_i386.deb) ...
Selecting previously unselected package libtext-iconv-perl.
Unpacking libtext-iconv-perl (from .../libtext-iconv-perl_1.7-5build2_i386.deb) ...
Selecting previously unselected package dictionaries-common.
Unpacking dictionaries-common (from .../dictionaries-common_1.20.3_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-1build1_i386.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:i386.
Unpacking libhunspell-1.3-0:i386 (from .../libhunspell-1.3-0_1.3.2-4ubuntu1_i386.deb) ...
Selecting previously unselected package libenchant1c2a:i386.
Unpacking libenchant1c2a:i386 (from .../libenchant1c2a_1.6.0-10_i386.deb) ...
Selecting previously unselected package libgmpxx4ldbl:i386.
Unpacking libgmpxx4ldbl:i386 (from .../libgmpxx4ldbl_2%3a5.1.2+dfsg-3ubuntu1_i386.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:i386.
Unpacking libgnome-keyring0:i386 (from .../libgnome-keyring0_3.8.0-2_i386.deb) ...
Selecting previously unselected package x11-common.
Unpacking x11-common (from .../x11-common_1%3a7.7+1ubuntu6_all.deb) ...
Selecting previously unselected package libice6:i386.
Unpacking libice6:i386 (from .../libice6_2%3a1.0.8-2_i386.deb) ...
Selecting previously unselected package libxft2:i386.
Unpacking libxft2:i386 (from .../libxft2_2.3.1-1_i386.deb) ...
Selecting previously unselected package libpangoxft-1.0-0:i386.
Unpacking libpangoxft-1.0-0:i386 (from .../libpangoxft-1.0-0_1.36.0-1ubuntu1_i386.deb) ...
Selecting previously unselected package libpangox-1.0-0:i386.
Unpacking libpangox-1.0-0:i386 (from .../libpangox-1.0-0_0.0.2-4_i386.deb) ...
Selecting previously unselected package libpango1.0-0:i386.
Unpacking libpango1.0-0:i386 (from .../libpango1.0-0_1.36.0-1ubuntu1_i386.deb) ...
Selecting previously unselected package libsm6:i386.
Unpacking libsm6:i386 (from .../libsm6_2%3a1.2.1-2_i386.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:i386.
Unpacking libgnomeui-0:i386 (from .../libgnomeui-0_2.24.5-2ubuntu3_i386.deb) ...
Selecting previously unselected package libicu48:i386.
Unpacking libicu48:i386 (from .../libicu48_4.8.1.1-13+nmu1ubuntu1_i386.deb) ...
Selecting previously unselected package libharfbuzz-icu0:i386.
Unpacking libharfbuzz-icu0:i386 (from .../libharfbuzz-icu0_0.9.19-1_i386.deb) ...
Selecting previously unselected package libpcrecpp0:i386.
Unpacking libpcrecpp0:i386 (from .../libpcrecpp0_1%3a8.31-2_i386.deb) ...
Selecting previously unselected package librsvg2-2:i386.
Unpacking librsvg2-2:i386 (from .../librsvg2-2_2.40.0-1_i386.deb) ...
Selecting previously unselected package libunistring0:i386.
Unpacking libunistring0:i386 (from .../libunistring0_0.9.3-5ubuntu1_i386.deb) ...
Selecting previously unselected package libgnutlsxx27:i386.
Unpacking libgnutlsxx27:i386 (from .../libgnutlsxx27_2.12.23-1ubuntu4_i386.deb) ...
Selecting previously unselected package python3.3.
Unpacking python3.3 (from .../python3.3_3.3.2-7ubuntu4_i386.deb) ...
Selecting previously unselected package python3-minimal.
Unpacking python3-minimal (from .../python3-minimal_3.3.2-17_i386.deb) ...
Selecting previously unselected package libpython3-stdlib:i386.
Unpacking libpython3-stdlib:i386 (from .../libpython3-stdlib_3.3.2-17_i386.deb) ...
Selecting previously unselected package python3.
Unpacking python3 (from .../python3_3.3.2-17_i386.deb) ...
Selecting previously unselected package dh-python.
Unpacking dh-python (from .../dh-python_1.20131021-1ubuntu2_all.deb) ...
Selecting previously unselected package file.
Unpacking file (from .../file_5.11-2ubuntu4_i386.deb) ...
Selecting previously unselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.18.3.1-1ubuntu1_i386.deb) ...
Selecting previously unselected package libgirepository-1.0-1.
Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_1.38.0-0ubuntu1_i386.deb) ...
Selecting previously unselected package gir1.2-glib-2.0.
Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_1.38.0-0ubuntu1_i386.deb) ...
Selecting previously unselected package libglib2.0-data.
Unpacking libglib2.0-data (from .../libglib2.0-data_2.38.1-1_all.deb) ...
Selecting previously unselected package gettext.
Unpacking gettext (from .../gettext_0.18.3.1-1ubuntu1_i386.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-0ubuntu34_all.deb) ...
Selecting previously unselected package dh-apparmor.
Unpacking dh-apparmor (from .../dh-apparmor_2.8.0-0ubuntu34_all.deb) ...
Selecting previously unselected package debhelper.
Unpacking debhelper (from .../debhelper_9.20130921ubuntu1_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-2_i386.deb) ...
Selecting previously unselected package gir1.2-freedesktop.
Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_1.38.0-0ubuntu1_i386.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_i386.deb) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0.
Unpacking gir1.2-gdkpixbuf-2.0 (from .../gir1.2-gdkpixbuf-2.0_2.30.0-0ubuntu2_i386.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_i386.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-1ubuntu1_i386.deb) ...
Selecting previously unselected package gir1.2-gtk-2.0.
Unpacking gir1.2-gtk-2.0 (from .../gir1.2-gtk-2.0_2.24.21-1ubuntu1_i386.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_i386.deb) ...
Selecting previously unselected package pkg-config.
Unpacking pkg-config (from .../pkg-config_0.26-1ubuntu4_i386.deb) ...
Selecting previously unselected package libart-2.0-dev.
Unpacking libart-2.0-dev (from .../libart-2.0-dev_2.3.21-2_i386.deb) ...
Selecting previously unselected package libglib2.0-bin.
Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.38.1-1_i386.deb) ...
Selecting previously unselected package libpcre3-dev:i386.
Unpacking libpcre3-dev:i386 (from .../libpcre3-dev_1%3a8.31-2_i386.deb) ...
Selecting previously unselected package zlib1g-dev:i386.
Unpacking zlib1g-dev:i386 (from .../zlib1g-dev_1%3a1.2.8.dfsg-1ubuntu1_i386.deb) ...
Selecting previously unselected package libglib2.0-dev.
Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.38.1-1_i386.deb) ...
Selecting previously unselected package libatk1.0-dev.
Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.10.0-2_i386.deb) ...
Selecting previously unselected package libavahi-common-dev.
Unpacking libavahi-common-dev (from .../libavahi-common-dev_0.6.31-2ubuntu4_i386.deb) ...
Selecting previously unselected package libdbus-1-dev:i386.
Unpacking libdbus-1-dev:i386 (from .../libdbus-1-dev_1.6.18-0ubuntu1_i386.deb) ...
Selecting previously unselected package libavahi-client-dev.
Unpacking libavahi-client-dev (from .../libavahi-client-dev_0.6.31-2ubuntu4_i386.deb) ...
Selecting previously unselected package libavahi-glib-dev.
Unpacking libavahi-glib-dev (from .../libavahi-glib-dev_0.6.31-2ubuntu4_i386.deb) ...
Selecting previously unselected package libidl-dev:i386.
Unpacking libidl-dev:i386 (from .../libidl-dev_0.8.14-0.2ubuntu3_i386.deb) ...
Selecting previously unselected package liborbit2-dev.
Unpacking liborbit2-dev (from .../liborbit2-dev_1%3a2.14.19-0.2_i386.deb) ...
Selecting previously unselected package libpopt-dev:i386.
Unpacking libpopt-dev:i386 (from .../libpopt-dev_1.16-8_i386.deb) ...
Selecting previously unselected package libbonobo2-dev:i386.
Unpacking libbonobo2-dev:i386 (from .../libbonobo2-dev_2.32.1-0ubuntu4_i386.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:i386.
Unpacking libxau-dev:i386 (from .../libxau-dev_1%3a1.0.8-1_i386.deb) ...
Selecting previously unselected package libxdmcp-dev:i386.
Unpacking libxdmcp-dev:i386 (from .../libxdmcp-dev_1%3a1.1.1-1_i386.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.2.7-1_all.deb) ...
Selecting previously unselected package libpthread-stubs0-dev:i386.
Unpacking libpthread-stubs0-dev:i386 (from .../libpthread-stubs0-dev_0.3-4_i386.deb) ...
Selecting previously unselected package libxcb1-dev:i386.
Unpacking libxcb1-dev:i386 (from .../libxcb1-dev_1.9.1-3ubuntu1_i386.deb) ...
Selecting previously unselected package libx11-dev:i386.
Unpacking libx11-dev:i386 (from .../libx11-dev_2%3a1.6.2-1ubuntu1_i386.deb) ...
Selecting previously unselected package libpng12-dev.
Unpacking libpng12-dev (from .../libpng12-dev_1.2.49-5ubuntu1_i386.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev.
Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.30.0-0ubuntu2_i386.deb) ...
Selecting previously unselected package libfreetype6-dev.
Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.5.0.1-0ubuntu2_i386.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:i386.
Unpacking libxrender-dev:i386 (from .../libxrender-dev_1%3a0.9.8-1_i386.deb) ...
Selecting previously unselected package libexpat1-dev:i386.
Unpacking libexpat1-dev:i386 (from .../libexpat1-dev_2.1.0-4_i386.deb) ...
Selecting previously unselected package libfontconfig1-dev.
Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.11.0-0ubuntu1_i386.deb) ...
Selecting previously unselected package libxft-dev.
Unpacking libxft-dev (from .../libxft-dev_2.3.1-1_i386.deb) ...
Selecting previously unselected package libharfbuzz-dev.
Unpacking libharfbuzz-dev (from .../libharfbuzz-dev_0.9.19-1_i386.deb) ...
Selecting previously unselected package libice-dev:i386.
Unpacking libice-dev:i386 (from .../libice-dev_2%3a1.0.8-2_i386.deb) ...
Selecting previously unselected package libsm-dev:i386.
Unpacking libsm-dev:i386 (from .../libsm-dev_2%3a1.2.1-2_i386.deb) ...
Selecting previously unselected package libpixman-1-dev.
Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.30.2-1_i386.deb) ...
Selecting previously unselected package libxcb-render0-dev:i386.
Unpacking libxcb-render0-dev:i386 (from .../libxcb-render0-dev_1.9.1-3ubuntu1_i386.deb) ...
Selecting previously unselected package libxcb-shm0-dev:i386.
Unpacking libxcb-shm0-dev:i386 (from .../libxcb-shm0-dev_1.9.1-3ubuntu1_i386.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:i386.
Unpacking libxext-dev:i386 (from .../libxext-dev_2%3a1.3.2-1_i386.deb) ...
Selecting previously unselected package libcairo2-dev.
Unpacking libcairo2-dev (from .../libcairo2-dev_1.12.16-0ubuntu2_i386.deb) ...
Selecting previously unselected package libpango1.0-dev.
Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.36.0-1ubuntu1_i386.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:i386.
Unpacking libxinerama-dev:i386 (from .../libxinerama-dev_2%3a1.1.3-1_i386.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:i386.
Unpacking libxfixes-dev:i386 (from .../libxfixes-dev_1%3a5.0.1-1ubuntu1_i386.deb) ...
Selecting previously unselected package libxi-dev.
Unpacking libxi-dev (from .../libxi-dev_2%3a1.7.1.901-1ubuntu1_i386.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:i386.
Unpacking libxrandr-dev:i386 (from .../libxrandr-dev_2%3a1.4.1-1ubuntu1_i386.deb) ...
Selecting previously unselected package libxcursor-dev:i386.
Unpacking libxcursor-dev:i386 (from .../libxcursor-dev_1%3a1.1.14-1_i386.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_i386.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:i386.
Unpacking libxdamage-dev:i386 (from .../libxdamage-dev_1%3a1.1.4-1ubuntu1_i386.deb) ...
Selecting previously unselected package libxml2-utils.
Unpacking libxml2-utils (from .../libxml2-utils_2.9.1+dfsg1-3ubuntu2_i386.deb) ...
Selecting previously unselected package libgtk2.0-dev.
Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.21-1ubuntu1_i386.deb) ...
Selecting previously unselected package libgail-common:i386.
Unpacking libgail-common:i386 (from .../libgail-common_2.24.21-1ubuntu1_i386.deb) ...
Selecting previously unselected package libgail-dev.
Unpacking libgail-dev (from .../libgail-dev_2.24.21-1ubuntu1_i386.deb) ...
Selecting previously unselected package libgnomecanvas2-dev:i386.
Unpacking libgnomecanvas2-dev:i386 (from .../libgnomecanvas2-dev_2.30.3-1.2ubuntu1_i386.deb) ...
Selecting previously unselected package libgconf2-dev.
Unpacking libgconf2-dev (from .../libgconf2-dev_3.2.6-0ubuntu1_i386.deb) ...
Selecting previously unselected package libgpg-error-dev.
Unpacking libgpg-error-dev (from .../libgpg-error-dev_1.12-0.2_i386.deb) ...
Selecting previously unselected package libgcrypt11-dev.
Unpacking libgcrypt11-dev (from .../libgcrypt11-dev_1.5.0-3ubuntu3_i386.deb) ...
Selecting previously unselected package libtasn1-3-dev.
Unpacking libtasn1-3-dev (from .../libtasn1-3-dev_2.14-3_i386.deb) ...
Selecting previously unselected package libp11-kit-dev.
Unpacking libp11-kit-dev (from .../libp11-kit-dev_0.20.1-2ubuntu1_i386.deb) ...
Selecting previously unselected package libgnutls-dev.
Unpacking libgnutls-dev (from .../libgnutls-dev_2.12.23-1ubuntu4_i386.deb) ...
Selecting previously unselected package libxml2-dev:i386.
Unpacking libxml2-dev:i386 (from .../libxml2-dev_2.9.1+dfsg1-3ubuntu2_i386.deb) ...
Selecting previously unselected package libsepol1-dev.
Unpacking libsepol1-dev (from .../libsepol1-dev_2.2-1_i386.deb) ...
Selecting previously unselected package libselinux1-dev:i386.
Unpacking libselinux1-dev:i386 (from .../libselinux1-dev_2.2.1-1ubuntu1_i386.deb) ...
Selecting previously unselected package libgnomevfs2-dev:i386.
Unpacking libgnomevfs2-dev:i386 (from .../libgnomevfs2-dev_1%3a2.24.4-1ubuntu6_i386.deb) ...
Selecting previously unselected package libcanberra-dev:i386.
Unpacking libcanberra-dev:i386 (from .../libcanberra-dev_0.30-0ubuntu2_i386.deb) ...
Selecting previously unselected package libgnome2-dev:i386.
Unpacking libgnome2-dev:i386 (from .../libgnome2-dev_2.32.1-2ubuntu4_i386.deb) ...
Selecting previously unselected package libbonoboui2-dev:i386.
Unpacking libbonoboui2-dev:i386 (from .../libbonoboui2-dev_2.24.5-0ubuntu2_i386.deb) ...
Selecting previously unselected package libenchant-dev.
Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-10_i386.deb) ...
Selecting previously unselected package libglade2-dev:i386.
Unpacking libglade2-dev:i386 (from .../libglade2-dev_1%3a2.6.4-1ubuntu3_i386.deb) ...
Selecting previously unselected package libgmp-dev:i386.
Unpacking libgmp-dev:i386 (from .../libgmp-dev_2%3a5.1.2+dfsg-3ubuntu1_i386.deb) ...
Selecting previously unselected package libgmp3-dev.
Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a5.1.2+dfsg-3ubuntu1_i386.deb) ...
Selecting previously unselected package libgnome-keyring-dev.
Unpacking libgnome-keyring-dev (from .../libgnome-keyring-dev_3.8.0-2_i386.deb) ...
Selecting previously unselected package libgnomeui-dev:i386.
Unpacking libgnomeui-dev:i386 (from .../libgnomeui-dev_2.24.5-2ubuntu3_i386.deb) ...
Selecting previously unselected package libgtksourceview2.0-common.
Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.5-0ubuntu3_all.deb) ...
Selecting previously unselected package libgtksourceview2.0-0.
Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.5-0ubuntu3_i386.deb) ...
Selecting previously unselected package libgtksourceview2.0-dev.
Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.5-0ubuntu3_i386.deb) ...
Selecting previously unselected package libgtkspell0.
Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1ubuntu6_i386.deb) ...
Selecting previously unselected package libgtkspell-dev.
Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1ubuntu6_i386.deb) ...
Selecting previously unselected package ocaml-base-nox.
Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-4ubuntu1_i386.deb) ...
Selecting previously unselected package liblablgtk2-ocaml.
Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-3_i386.deb) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml.
Unpacking liblablgtk2-gnome-ocaml (from .../liblablgtk2-gnome-ocaml_2.14.2+dfsg-3_i386.deb) ...
Selecting previously unselected package librsvg2-common:i386.
Unpacking librsvg2-common:i386 (from .../librsvg2-common_2.40.0-1_i386.deb) ...
Selecting previously unselected package librsvg2-dev.
Unpacking librsvg2-dev (from .../librsvg2-dev_2.40.0-1_i386.deb) ...
Selecting previously unselected package libtinfo-dev:i386.
Unpacking libtinfo-dev:i386 (from .../libtinfo-dev_5.9+20130608-1ubuntu1_i386.deb) ...
Selecting previously unselected package libncurses5-dev:i386.
Unpacking libncurses5-dev:i386 (from .../libncurses5-dev_5.9+20130608-1ubuntu1_i386.deb) ...
Selecting previously unselected package ocaml-interp.
Unpacking ocaml-interp (from .../ocaml-interp_3.12.1-4ubuntu1_i386.deb) ...
Selecting previously unselected package ocaml-nox.
Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-4ubuntu1_i386.deb) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-3_i386.deb) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml-dev.
Unpacking liblablgtk2-gnome-ocaml-dev (from .../liblablgtk2-gnome-ocaml-dev_2.14.2+dfsg-3_i386.deb) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.14.2+dfsg-3_i386.deb) ...
Selecting previously unselected package liblablgtksourceview2-ocaml-dev.
Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-3_i386.deb) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Unpacking libocamlgraph-ocaml-dev (from .../libocamlgraph-ocaml-dev_1.8.2-2_i386.deb) ...
Selecting previously unselected package libzarith-ocaml.
Unpacking libzarith-ocaml (from .../libzarith-ocaml_1.2.1-2_i386.deb) ...
Selecting previously unselected package libzarith-ocaml-dev.
Unpacking libzarith-ocaml-dev (from .../libzarith-ocaml-dev_1.2.1-2_i386.deb) ...
Selecting previously unselected package dh-ocaml.
Unpacking dh-ocaml (from .../dh-ocaml_1.0.7_all.deb) ...
Setting up libexpat1:i386 (2.1.0-4) ...
Setting up libgnutls-openssl27:i386 (2.12.23-1ubuntu4) ...
Setting up libmagic1:i386 (5.11-2ubuntu4) ...
Setting up libpopt0:i386 (1.16-8) ...
Setting up libpython3.3-minimal:i386 (3.3.2-7ubuntu4) ...
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:i386 (3.3.2-7ubuntu4) ...
Setting up python3.3-minimal (3.3.2-7ubuntu4) ...
Setting up libasprintf0c2:i386 (0.18.3.1-1ubuntu1) ...
Setting up libglib2.0-0:i386 (2.38.1-1) ...
No schema files found: doing nothing.
Setting up libdbus-glib-1-2:i386 (0.100.2-1) ...
Setting up libpipeline1:i386 (1.2.4-1) ...
Setting up libsystemd-login0:i386 (204-5ubuntu6) ...
Setting up libxau6:i386 (1:1.0.8-1) ...
Setting up libxdmcp6:i386 (1:1.1.1-1) ...
Setting up libxcb1:i386 (1.9.1-3ubuntu1) ...
Setting up libx11-data (2:1.6.2-1ubuntu1) ...
Setting up libx11-6:i386 (2:1.6.2-1ubuntu1) ...
Setting up libxext6:i386 (2:1.3.2-1) ...
Setting up libxml2:i386 (2.9.1+dfsg1-3ubuntu2) ...
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:i386 (2.3.21-2) ...
Setting up libasound2-data (1.0.27.2-3ubuntu1) ...
Setting up libasound2:i386 (1.0.27.2-3ubuntu1) ...
Setting up libatk1.0-data (2.10.0-2) ...
Setting up libatk1.0-0:i386 (2.10.0-2) ...
Setting up libavahi-common-data:i386 (0.6.31-2ubuntu4) ...
Setting up libavahi-common3:i386 (0.6.31-2ubuntu4) ...
Setting up libavahi-client3:i386 (0.6.31-2ubuntu4) ...
Setting up libavahi-glib1:i386 (0.6.31-2ubuntu4) ...
Setting up libbonobo2-common (2.32.1-0ubuntu4) ...
Setting up libidl-common (0.8.14-0.2ubuntu3) ...
Setting up libidl0:i386 (0.8.14-0.2ubuntu3) ...
Setting up liborbit2:i386 (1:2.14.19-0.2) ...
Setting up libbonobo2-0:i386 (2.32.1-0ubuntu4) ...
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:i386 (3.2.6-0ubuntu1) ...
Setting up libjpeg-turbo8:i386 (1.3.0-0ubuntu1) ...
Setting up libjpeg8:i386 (8c-2ubuntu8) ...
Setting up libjasper1:i386 (1.900.1-14) ...
Setting up libjbig0:i386 (2.0-2ubuntu1) ...
Setting up libtiff5:i386 (4.0.3-5ubuntu1) ...
Setting up libgdk-pixbuf2.0-common (2.30.0-0ubuntu2) ...
Setting up libgdk-pixbuf2.0-0:i386 (2.30.0-0ubuntu2) ...
Setting up libgtk2.0-common (2.24.21-1ubuntu1) ...
Setting up libfreetype6:i386 (2.5.0.1-0ubuntu2) ...
Setting up fonts-dejavu-core (2.33+svn2514-3ubuntu1) ...
Setting up ttf-dejavu-core (2.33+svn2514-3ubuntu1) ...
Setting up fontconfig-config (2.11.0-0ubuntu1) ...
Setting up libfontconfig1:i386 (2.11.0-0ubuntu1) ...
Setting up libpixman-1-0:i386 (0.30.2-1) ...
Setting up libxcb-render0:i386 (1.9.1-3ubuntu1) ...
Setting up libxcb-shm0:i386 (1.9.1-3ubuntu1) ...
Setting up libxrender1:i386 (1:0.9.8-1) ...
Setting up libcairo2:i386 (1.12.16-0ubuntu2) ...
Setting up libcups2:i386 (1.7.0-0ubuntu2) ...
Setting up libthai-data (0.1.20-1) ...
Setting up libdatrie1:i386 (0.2.7.1-1) ...
Setting up libthai0:i386 (0.1.20-1) ...
Setting up fontconfig (2.11.0-0ubuntu1) ...
Regenerating fonts cache... done.
Setting up libpango-1.0-0:i386 (1.36.0-1ubuntu1) ...
Setting up libgraphite2-3:i386 (1.2.3-1) ...
Setting up libharfbuzz0a:i386 (0.9.19-1) ...
Setting up libpangoft2-1.0-0:i386 (1.36.0-1ubuntu1) ...
Setting up libpangocairo-1.0-0:i386 (1.36.0-1ubuntu1) ...
Setting up libxcomposite1:i386 (1:0.4.4-1) ...
Setting up libxfixes3:i386 (1:5.0.1-1ubuntu1) ...
Setting up libxcursor1:i386 (1:1.1.14-1) ...
Setting up libxdamage1:i386 (1:1.1.4-1ubuntu1) ...
Setting up libxi6:i386 (2:1.7.1.901-1ubuntu1) ...
Setting up libxinerama1:i386 (2:1.1.3-1) ...
Setting up libxrandr2:i386 (2:1.4.1-1ubuntu1) ...
Setting up shared-mime-info (1.1-0ubuntu5) ...
Setting up libgtk2.0-0:i386 (2.24.21-1ubuntu1) ...
Setting up libglade2-0:i386 (1:2.6.4-1ubuntu3) ...
Setting up libltdl7:i386 (2.4.2-1.3ubuntu1) ...
Setting up libtdb1:i386 (1.2.12-1) ...
Setting up libogg0:i386 (1.3.1-1) ...
Setting up libvorbis0a:i386 (1.3.2-1.3) ...
Setting up libvorbisfile3:i386 (1.3.2-1.3) ...
Setting up sound-theme-freedesktop (0.8-1) ...
Setting up libcanberra0:i386 (0.30-0ubuntu2) ...
Setting up libapparmor1:i386 (2.8.0-0ubuntu34) ...
Setting up netbase (5.1) ...
Setting up dbus (1.6.18-0ubuntu1) ...
invoke-rc.d: policy-rc.d denied execution of start.
Setting up psmisc (22.20-1ubuntu2) ...
Setting up dbus-x11 (1.6.18-0ubuntu1) ...
Setting up libpython2.7-minimal:i386 (2.7.5-8ubuntu4) ...
Setting up python2.7-minimal (2.7.5-8ubuntu4) ...
Linking and byte-compiling packages for runtime python2.7...
Setting up libpython2.7-stdlib:i386 (2.7.5-8ubuntu4) ...
Setting up python2.7 (2.7.5-8ubuntu4) ...
Setting up python-minimal (2.7.5-5ubuntu1) ...
Setting up libpython-stdlib:i386 (2.7.5-5ubuntu1) ...
Setting up python (2.7.5-5ubuntu1) ...
Setting up libgail18:i386 (2.24.21-1ubuntu1) ...
Setting up libgnomecanvas2-common (2.30.3-1.2ubuntu1) ...
Setting up libgnomecanvas2-0:i386 (2.30.3-1.2ubuntu1) ...
Setting up libbonoboui2-common (2.24.5-0ubuntu2) ...
rmdir: failed to remove '/usr/share/gtk-doc/html/libbonoboui': Directory not empty
Setting up libcairo-gobject2:i386 (1.12.16-0ubuntu2) ...
Setting up liblzo2-2:i386 (2.06-1.2) ...
Setting up libcairo-script-interpreter2:i386 (1.12.16-0ubuntu2) ...
Setting up libcroco3:i386 (0.6.8-2) ...
Setting up libelfg0:i386 (0.8.13-4~1) ...
Setting up libaspell15 (0.60.7~20110707-1build1) ...
Setting up libtext-iconv-perl (1.7-5build2) ...
Setting up dictionaries-common (1.20.3) ...
Setting up libhunspell-1.3-0:i386 (1.3.2-4ubuntu1) ...
Setting up libgmpxx4ldbl:i386 (2:5.1.2+dfsg-3ubuntu1) ...
Setting up libgnome-keyring-common (3.8.0-2) ...
Setting up libgnome-keyring0:i386 (3.8.0-2) ...
Setting up x11-common (1:7.7+1ubuntu6) ...
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libice6:i386 (2:1.0.8-2) ...
Setting up libxft2:i386 (2.3.1-1) ...
Setting up libpangoxft-1.0-0:i386 (1.36.0-1ubuntu1) ...
Setting up libpangox-1.0-0:i386 (0.0.2-4) ...
Setting up libpango1.0-0:i386 (1.36.0-1ubuntu1) ...
Setting up libsm6:i386 (2:1.2.1-2) ...
Setting up libgnomeui-common (2.24.5-2ubuntu3) ...
Setting up libicu48:i386 (4.8.1.1-13+nmu1ubuntu1) ...
Setting up libharfbuzz-icu0:i386 (0.9.19-1) ...
Setting up libpcrecpp0:i386 (1:8.31-2) ...
Setting up librsvg2-2:i386 (2.40.0-1) ...
Setting up libunistring0:i386 (0.9.3-5ubuntu1) ...
Setting up libgnutlsxx27:i386 (2.12.23-1ubuntu4) ...
Setting up python3.3 (3.3.2-7ubuntu4) ...
Setting up python3-minimal (3.3.2-17) ...
Setting up libpython3-stdlib:i386 (3.3.2-17) ...
Setting up file (5.11-2ubuntu4) ...
Setting up gettext-base (0.18.3.1-1ubuntu1) ...
Setting up libgirepository-1.0-1 (1.38.0-0ubuntu1) ...
Setting up gir1.2-glib-2.0 (1.38.0-0ubuntu1) ...
Setting up libglib2.0-data (2.38.1-1) ...
Setting up gettext (0.18.3.1-1ubuntu1) ...
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-2) ...
Setting up gir1.2-freedesktop (1.38.0-0ubuntu1) ...
Setting up gir1.2-gdkpixbuf-2.0 (2.30.0-0ubuntu2) ...
Setting up gir1.2-gnomekeyring-1.0 (3.8.0-2) ...
Setting up gir1.2-pango-1.0 (1.36.0-1ubuntu1) ...
Setting up gir1.2-gtk-2.0 (2.24.21-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.38.1-1) ...
Setting up libpcre3-dev:i386 (1:8.31-2) ...
Setting up zlib1g-dev:i386 (1:1.2.8.dfsg-1ubuntu1) ...
Setting up libglib2.0-dev (2.38.1-1) ...
Setting up libatk1.0-dev (2.10.0-2) ...
Setting up libavahi-common-dev (0.6.31-2ubuntu4) ...
Setting up libdbus-1-dev:i386 (1.6.18-0ubuntu1) ...
Setting up libavahi-client-dev (0.6.31-2ubuntu4) ...
Setting up libavahi-glib-dev (0.6.31-2ubuntu4) ...
Setting up libidl-dev:i386 (0.8.14-0.2ubuntu3) ...
Setting up liborbit2-dev (1:2.14.19-0.2) ...
Setting up libpopt-dev:i386 (1.16-8) ...
Setting up libbonobo2-dev:i386 (2.32.1-0ubuntu4) ...
Setting up xorg-sgml-doctools (1:1.11-1) ...
Setting up x11proto-core-dev (7.0.24-1) ...
Setting up libxau-dev:i386 (1:1.0.8-1) ...
Setting up libxdmcp-dev:i386 (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.2.7-1) ...
Setting up libpthread-stubs0-dev:i386 (0.3-4) ...
Setting up libxcb1-dev:i386 (1.9.1-3ubuntu1) ...
Setting up libx11-dev:i386 (2:1.6.2-1ubuntu1) ...
Setting up libpng12-dev (1.2.49-5ubuntu1) ...
Setting up libgdk-pixbuf2.0-dev (2.30.0-0ubuntu2) ...
Setting up libfreetype6-dev (2.5.0.1-0ubuntu2) ...
Setting up x11proto-render-dev (2:0.11.1-2) ...
Setting up libxrender-dev:i386 (1:0.9.8-1) ...
Setting up libexpat1-dev:i386 (2.1.0-4) ...
Setting up libfontconfig1-dev (2.11.0-0ubuntu1) ...
Setting up libxft-dev (2.3.1-1) ...
Setting up libharfbuzz-dev (0.9.19-1) ...
Setting up libice-dev:i386 (2:1.0.8-2) ...
Setting up libsm-dev:i386 (2:1.2.1-2) ...
Setting up libpixman-1-dev (0.30.2-1) ...
Setting up libxcb-render0-dev:i386 (1.9.1-3ubuntu1) ...
Setting up libxcb-shm0-dev:i386 (1.9.1-3ubuntu1) ...
Setting up x11proto-xext-dev (7.2.1-1) ...
Setting up libxext-dev:i386 (2:1.3.2-1) ...
Setting up libcairo2-dev (1.12.16-0ubuntu2) ...
Setting up libpango1.0-dev (1.36.0-1ubuntu1) ...
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up libxinerama-dev:i386 (2:1.1.3-1) ...
Setting up x11proto-fixes-dev (1:5.0-2ubuntu2) ...
Setting up libxfixes-dev:i386 (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:i386 (2:1.4.1-1ubuntu1) ...
Setting up libxcursor-dev:i386 (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:i386 (1:1.1.4-1ubuntu1) ...
Setting up libxml2-utils (2.9.1+dfsg1-3ubuntu2) ...
Setting up libgtk2.0-dev (2.24.21-1ubuntu1) ...
Setting up libgail-common:i386 (2.24.21-1ubuntu1) ...
Setting up libgail-dev (2.24.21-1ubuntu1) ...
Setting up libgnomecanvas2-dev:i386 (2.30.3-1.2ubuntu1) ...
Setting up libgpg-error-dev (1.12-0.2) ...
Setting up libgcrypt11-dev (1.5.0-3ubuntu3) ...
Setting up libtasn1-3-dev (2.14-3) ...
Setting up libp11-kit-dev (0.20.1-2ubuntu1) ...
Setting up libgnutls-dev (2.12.23-1ubuntu4) ...
Setting up libxml2-dev:i386 (2.9.1+dfsg1-3ubuntu2) ...
Setting up libsepol1-dev (2.2-1) ...
Setting up libselinux1-dev:i386 (2.2.1-1ubuntu1) ...
Setting up libcanberra-dev:i386 (0.30-0ubuntu2) ...
Setting up libglade2-dev:i386 (1:2.6.4-1ubuntu3) ...
Setting up libgmp-dev:i386 (2:5.1.2+dfsg-3ubuntu1) ...
Setting up libgmp3-dev (2:5.1.2+dfsg-3ubuntu1) ...
Setting up libgnome-keyring-dev (3.8.0-2) ...
Setting up libgtksourceview2.0-common (2.10.5-0ubuntu3) ...
Setting up libgtksourceview2.0-0 (2.10.5-0ubuntu3) ...
Setting up libgtksourceview2.0-dev (2.10.5-0ubuntu3) ...
Setting up ocaml-base-nox (3.12.1-4ubuntu1) ...
Setting up librsvg2-common:i386 (2.40.0-1) ...
Setting up librsvg2-dev (2.40.0-1) ...
Setting up libtinfo-dev:i386 (5.9+20130608-1ubuntu1) ...
Setting up libncurses5-dev:i386 (5.9+20130608-1ubuntu1) ...
Setting up ocaml-interp (3.12.1-4ubuntu1) ...
Setting up ocaml-nox (3.12.1-4ubuntu1) ...
Setting up libocamlgraph-ocaml-dev (1.8.2-2) ...
Setting up libzarith-ocaml (1.2.1-2) ...
Setting up libzarith-ocaml-dev (1.2.1-2) ...
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-1build1) ...
Processing triggers for dictionaries-common ...
Setting up aspell-en (7.1-0-1) ...
Processing triggers for dictionaries-common ...
Setting up libenchant1c2a:i386 (1.6.0-10) ...
Setting up libenchant-dev (1.6.0-10) ...
Setting up libgtkspell0 (2.0.16-1ubuntu6) ...
Setting up libgtkspell-dev (2.0.16-1ubuntu6) ...
Setting up liblablgtk2-ocaml (2.14.2+dfsg-3) ...
Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-3) ...
Setting up liblablgtksourceview2-ocaml (2.14.2+dfsg-3) ...
Setting up liblablgtksourceview2-ocaml-dev (2.14.2+dfsg-3) ...
Setting up python3 (3.3.2-17) ...
running python rtupdate hooks for python3.3...
running python post-rtupdate hooks for python3.3...
Setting up dh-python (1.20131021-1ubuntu2) ...
Setting up apparmor-easyprof (2.8.0-0ubuntu34) ...
Setting up dh-apparmor (2.8.0-0ubuntu34) ...
Setting up debhelper (9.20130921ubuntu1) ...
Setting up gconf-service-backend (3.2.6-0ubuntu1) ...
Setting up gconf-service (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:31960): 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:i386 (1:2.24.4-1ubuntu6) ...
Setting up libgnome2-common (2.32.1-2ubuntu4) ...
Setting up libgnome2-bin (2.32.1-2ubuntu4) ...
Setting up libgnome2-0:i386 (2.32.1-2ubuntu4) ...
Setting up libbonoboui2-0:i386 (2.24.5-0ubuntu2) ...
Setting up libgnomeui-0:i386 (2.24.5-2ubuntu3) ...
Setting up gir1.2-gconf-2.0 (3.2.6-0ubuntu1) ...
Setting up libgconf2-dev (3.2.6-0ubuntu1) ...
Setting up libgnomevfs2-dev:i386 (1:2.24.4-1ubuntu6) ...
Setting up libgnome2-dev:i386 (2.32.1-2ubuntu4) ...
Setting up libbonoboui2-dev:i386 (2.24.5-0ubuntu2) ...
Setting up libgnomeui-dev:i386 (2.24.5-2ubuntu3) ...
Setting up liblablgtk2-gnome-ocaml (2.14.2+dfsg-3) ...
Setting up liblablgtk2-gnome-ocaml-dev (2.14.2+dfsg-3) ...
Processing triggers for libc-bin ...
Processing triggers for libgdk-pixbuf2.0-0:i386 ...
Checking correctness of source dependencies...
Toolchain package versions: libc6-dev_2.17-93ubuntu4 make_3.81-8.2ubuntu3 dpkg-dev_1.17.1ubuntu1 gcc-4.8_4.8.2-4ubuntu1 g++-4.8_4.8.2-4ubuntu1 binutils_2.23.90.20131116-1ubuntu1 libstdc++-4.8-dev_4.8.2-4ubuntu1 libstdc++6_4.8.2-4ubuntu1
------------------------------------------------------------------------------
dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt
gpgv: Signature made Sun Nov 17 14:01:49 2013 UTC using RSA key ID D4CACDFF
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./alt-ergo_0.95.2-1.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-1.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-1
dpkg-buildpackage: source distribution sid
 dpkg-source --before-build alt-ergo-0.95.2
dpkg-buildpackage: host architecture i386
 /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
dh --with ocaml build
   dh_testdir
   dh_ocamlinit
   dh_auto_configure
configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking
checking for ocp-ocamlc... no
checking for ocamlc... ocamlc
ocaml version is 3.12.1
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
 /usr/bin/fakeroot debian/rules binary
dh --with ocaml binary
   dh_testroot
   dh_prep
   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
   dh_ocamldoc
   dh_installdocs
   dh_installchangelogs
   dh_installexamples
   dh_installman
   dh_perl
   dh_link
   dh_compress
   dh_fixperms
   dh_strip
dh_strip debug symbol extraction: all non-arch-all packages for this build platform i386: 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-1_i386.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
   dh_shlibdeps
   dh_installdeb
   dh_ocaml
W: libalt-ergo-ocaml-dev v0.95.2-1 doesn't resolve dependency on unit Smt_ast
W: libalt-ergo-ocaml-dev v0.95.2-1 doesn't resolve dependency on unit Sig
   dh_gencontrol
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
   dh_builddeb
INFO: pkgstriptranslations version 118
pkgstriptranslations: processing alt-ergo (in debian/alt-ergo); do_strip: , oemstrip: 
pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>"
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-1_i386.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 <ubuntu-devel-discuss@lists.ubuntu.com>"
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-1_i386.deb'.
 dpkg-genchanges -b -mUbuntu/amd64 Build Daemon <buildd@akateko.buildd> >../alt-ergo_0.95.2-1_i386.changes
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 20131117-2320
Publishing debug debs.

chroot-autobuild/build/buildd/alt-ergo_0.95.2-1_i386.deb:
 new debian package, version 2.0.
 size 1104780 bytes: control archive= 1467 bytes.
    1239 bytes,    24 lines      control              
    1588 bytes,    20 lines      md5sums              
 Package: alt-ergo
 Version: 0.95.2-1
 Architecture: i386
 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
 Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 5736
 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-1_i386.deb:
 new debian package, version 2.0.
 size 579432 bytes: control archive= 1156 bytes.
    1231 bytes,    27 lines      control              
     675 bytes,     9 lines      md5sums              
 Package: libalt-ergo-ocaml-dev
 Source: alt-ergo
 Version: 0.95.2-1
 Architecture: i386
 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
 Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 3981
 Depends: libzarith-ocaml-dev-ve8s7, ocaml-nox-3.12.1
 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-1_i386.deb:
drwxr-xr-x root/root         0 2013-11-17 23:20 ./
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/share/
drwxr-xr-x root/root         0 2013-11-17 23:19 ./usr/share/man/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/share/man/man1/
-rw-r--r-- root/root      1177 2013-11-17 23:20 ./usr/share/man/man1/alt-ergo.1.gz
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/share/doc/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/share/doc/alt-ergo/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./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        61 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/arith2.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       147 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/arrays.why
-rw-r--r-- root/root       141 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/bitv.why
drwxr-xr-x root/root         0 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/
-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        87 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith4.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       106 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/ac_arith.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       195 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/quantifiers.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       106 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith3.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       139 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/bitv.why
-rw-r--r-- root/root      1977 2013-11-17 23:20 ./usr/share/doc/alt-ergo/changelog.Debian.gz
-rw-r--r-- root/root     24060 2013-11-17 13:27 ./usr/share/doc/alt-ergo/copyright
drwxr-xr-x root/root         0 2013-11-17 23:19 ./usr/share/gtksourceview-2.0/
drwxr-xr-x root/root         0 2013-11-17 23:19 ./usr/share/gtksourceview-2.0/language-specs/
-rw-r--r-- root/root      4309 2013-11-17 23:19 ./usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/bin/
-rwxr-xr-x root/root   3556704 2013-11-17 23:20 ./usr/bin/altgr-ergo
-rwxr-xr-x root/root   2225656 2013-11-17 23:20 ./usr/bin/alt-ergo

chroot-autobuild/build/buildd/libalt-ergo-ocaml-dev_0.95.2-1_i386.deb:
drwxr-xr-x root/root         0 2013-11-17 23:20 ./
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/share/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/share/doc/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/share/doc/libalt-ergo-ocaml-dev/
-rw-r--r-- root/root      1978 2013-11-17 23:20 ./usr/share/doc/libalt-ergo-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root     24060 2013-11-17 13:27 ./usr/share/doc/libalt-ergo-ocaml-dev/copyright
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/lib/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/lib/ocaml/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./usr/lib/ocaml/alt-ergo/
-rw-r--r-- root/root       209 2013-11-17 23:20 ./usr/lib/ocaml/alt-ergo/META
-rw-r--r-- root/root   1105448 2013-11-17 23:20 ./usr/lib/ocaml/alt-ergo/altErgo.cmx
-rw-r--r-- root/root    674880 2013-11-17 23:20 ./usr/lib/ocaml/alt-ergo/altErgo.cmo
-rw-r--r-- root/root   2008277 2013-11-17 23:20 ./usr/lib/ocaml/alt-ergo/altErgo.o
-rw-r--r-- root/root    203215 2013-11-17 23:20 ./usr/lib/ocaml/alt-ergo/altErgo.cmi
drwxr-xr-x root/root         0 2013-11-17 23:20 ./var/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./var/lib/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./var/lib/ocaml/
drwxr-xr-x root/root         0 2013-11-17 23:20 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root       160 2013-11-17 23:20 ./var/lib/ocaml/md5sums/libalt-ergo-ocaml-dev.md5sums
drwxr-xr-x root/root         0 2013-11-17 23:20 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root        49 2013-11-17 23:20 ./var/lib/ocaml/lintian/libalt-ergo-ocaml-dev.info

alt-ergo_0.95.2-1_i386.changes:
Format: 1.8
Date: Sun, 17 Nov 2013 14:25:38 +0100
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: i386
Version: 0.95.2-1
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@akateko.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
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-1) sid; urgency=low
 .
   * New upstream release.
   * Update debian/watch, now points to ocamlpro site.
   * Refresh patch 0001-No-need-to-activate-debug-flag.patch
   * Drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch:
     the file test.mlw is no longer relevant.
   * drop patches that have been applied by upstream:
     - 0003-Fix-a-typo.patch
     - 0004-Add-rules-and-targets-for-gui.byte.patch
     - 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
     - 0007-Fix-all-target.patch
     - 0008-Split-install-pack-into-two-separate-targets-opt-and.patch
     - 0009-clean-remove-META.patch
   * Add build-dependency on libzarith-ocaml-dev
   * debian/rules:
     - drop backup of .depend which is no longer needed
     - drop overwrite for dh_auto_configure
     - in dh_auto_build target, drop touching of configure
   * debian/copyright:
     - update Download field to ocamlpro
     - Upstream Contact : add alt-ergo-bugs mailing list
     - Update copyright holder and year for files *
     - Put paragraphs into the right order
   * install examples/ into /usr/share/doc/alt-ergo
   * Standards-version 3.9.5 (no change)
Checksums-Sha1: 
 c3a90264098f63e24e0cc61afa82f4224d6f1228 1104780 alt-ergo_0.95.2-1_i386.deb
 07ec39b8d2aed6328556dd9ff1342f0459e1b221 579432 libalt-ergo-ocaml-dev_0.95.2-1_i386.deb
Checksums-Sha256: 
 338b1e229e6a4f1d94e160dfc8906b98804970b7e8c3011e0f9af7d4598090cc 1104780 alt-ergo_0.95.2-1_i386.deb
 fde67fd1c118c358f2c735f120ce923a11536ef17c77065d9b2f8dd2b39b33d4 579432 libalt-ergo-ocaml-dev_0.95.2-1_i386.deb
Files: 
 3a52a528af432fdb6d9fdb0c733f97af 1104780 math optional alt-ergo_0.95.2-1_i386.deb
 c4155d3f624ff5892ea30f74ef99bbc3 579432 ocaml optional libalt-ergo-ocaml-dev_0.95.2-1_i386.deb

******************************************************************************
Built successfully
******************************************************************************
Finished at 20131117-2320
Build needed 00:01:37, 55832k disk space
RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5240044']
Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5240044/chroot-autobuild...
RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5240044']
Unmounting chroot for build PACKAGEBUILD-5240044...
RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5240044']
Removing build PACKAGEBUILD-5240044