RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 3.2.0-37-generic #58-Ubuntu SMP Thu Jan 24 15:28:10 UTC 2013 x86_64 Buildd toolchain package versions: launchpad-buildd_114-0~53~0.IS.08.04 python-lpbuildd_114-0~53~0.IS.08.04 bzr_2.5.1-0ubuntu2. Syncing the system clock with the buildd NTP service... 11 May 05:14:11 ntpdate[29103]: adjust time server 10.211.37.1 offset 0.000100 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba', '/home/buildd/filecache-default/21bdf3273daf354043d201b006912d721acbb147'] Unpacking chroot for build cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba'] Mounting chroot for build cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba', 'deb http://ftpmaster.internal/ubuntu saucy main universe', 'deb http://ftpmaster.internal/ubuntu saucy-security main universe', 'deb http://ftpmaster.internal/ubuntu saucy-updates main universe', 'deb http://ftpmaster.internal/ubuntu saucy-proposed main universe'] Overriding sources.list in build-cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba', 'i386'] Updating debian chroot for build cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba Ign http://archive-team.internal saucy Release.gpg Get:1 http://ftpmaster.internal saucy Release.gpg [933 B] Get:2 http://archive-team.internal saucy Release [721 B] Get:3 http://ftpmaster.internal saucy-security Release.gpg [933 B] Get:4 http://ftpmaster.internal saucy-updates Release.gpg [933 B] Get:5 http://ftpmaster.internal saucy-proposed Release.gpg [933 B] Get:6 http://ftpmaster.internal saucy Release [40.8 kB] Get:7 http://ftpmaster.internal saucy-security Release [40.8 kB] Get:8 http://ftpmaster.internal saucy-updates Release [40.8 kB] Get:9 http://archive-team.internal saucy/main i386 Packages Get:10 http://ftpmaster.internal saucy-proposed Release [40.8 kB] Ign http://archive-team.internal saucy/main Translation-en Get:11 http://ftpmaster.internal saucy/main i386 Packages [1182 kB] Get:12 http://ftpmaster.internal saucy/universe i386 Packages [5518 kB] Get:13 http://ftpmaster.internal saucy/main Translation-en [682 kB] Get:14 http://ftpmaster.internal saucy/universe Translation-en [3814 kB] Get:15 http://ftpmaster.internal saucy-security/main i386 Packages [14 B] Get:16 http://ftpmaster.internal saucy-security/universe i386 Packages [14 B] Get:17 http://ftpmaster.internal saucy-security/main Translation-en [14 B] Get:18 http://ftpmaster.internal saucy-security/universe Translation-en [14 B] Get:19 http://ftpmaster.internal saucy-updates/main i386 Packages [14 B] Get:20 http://ftpmaster.internal saucy-updates/universe i386 Packages [14 B] Get:21 http://ftpmaster.internal saucy-updates/main Translation-en [14 B] Get:22 http://ftpmaster.internal saucy-updates/universe Translation-en [14 B] Get:23 http://ftpmaster.internal saucy-proposed/main i386 Packages [17.9 kB] Get:24 http://ftpmaster.internal saucy-proposed/universe i386 Packages [57.1 kB] Get:25 http://ftpmaster.internal saucy-proposed/main Translation-en [9371 B] Get:26 http://ftpmaster.internal saucy-proposed/universe Translation-en [39.3 kB] Fetched 11.5 MB in 6s (1869 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: libffi6 libglib2.0-0 libpcre3 The following packages will be upgraded: cpp-4.8 debconf g++-4.8 gcc-4.8 gcc-4.8-base libasan0 libatomic1 libcurl3-gnutls libgcc-4.8-dev libgcc1 libgomp1 libisl10 libitm1 libquadmath0 libstdc++-4.8-dev libstdc++6 linux-libc-dev sed udev 19 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 29.2 MB of archives. After this operation, 4698 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! sed libitm1 libgomp1 gcc-4.8-base libstdc++6 libasan0 libatomic1 libquadmath0 cpp-4.8 libstdc++-4.8-dev g++-4.8 gcc-4.8 libgcc-4.8-dev libgcc1 libisl10 debconf libffi6 libcurl3-gnutls libpcre3 libglib2.0-0 udev linux-libc-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ saucy/main sed i386 4.2.2-1ubuntu1 [141 kB] Get:2 http://ftpmaster.internal/ubuntu/ saucy/main libitm1 i386 4.8.0-6ubuntu1 [36.8 kB] Get:3 http://ftpmaster.internal/ubuntu/ saucy/main libgomp1 i386 4.8.0-6ubuntu1 [29.1 kB] Get:4 http://ftpmaster.internal/ubuntu/ saucy/main gcc-4.8-base i386 4.8.0-6ubuntu1 [15.2 kB] Get:5 http://ftpmaster.internal/ubuntu/ saucy/main libstdc++6 i386 4.8.0-6ubuntu1 [335 kB] Get:6 http://ftpmaster.internal/ubuntu/ saucy/main libasan0 i386 4.8.0-6ubuntu1 [76.4 kB] Get:7 http://ftpmaster.internal/ubuntu/ saucy/main libatomic1 i386 4.8.0-6ubuntu1 [9696 B] Get:8 http://ftpmaster.internal/ubuntu/ saucy/main libquadmath0 i386 4.8.0-6ubuntu1 [219 kB] Get:9 http://ftpmaster.internal/ubuntu/ saucy/main cpp-4.8 i386 4.8.0-6ubuntu1 [5658 kB] Get:10 http://ftpmaster.internal/ubuntu/ saucy/main libstdc++-4.8-dev i386 4.8.0-6ubuntu1 [1740 kB] Get:11 http://ftpmaster.internal/ubuntu/ saucy/main g++-4.8 i386 4.8.0-6ubuntu1 [8394 kB] Get:12 http://ftpmaster.internal/ubuntu/ saucy/main gcc-4.8 i386 4.8.0-6ubuntu1 [6430 kB] Get:13 http://ftpmaster.internal/ubuntu/ saucy/main libgcc-4.8-dev i386 4.8.0-6ubuntu1 [2794 kB] Get:14 http://ftpmaster.internal/ubuntu/ saucy/main libgcc1 i386 1:4.8.0-6ubuntu1 [53.8 kB] Get:15 http://ftpmaster.internal/ubuntu/ saucy/main libisl10 i386 0.11.2-1 [499 kB] Get:16 http://ftpmaster.internal/ubuntu/ saucy/main debconf all 1.5.50ubuntu1 [149 kB] Get:17 http://ftpmaster.internal/ubuntu/ saucy/main libffi6 i386 3.0.13-2ubuntu1 [16.0 kB] Get:18 http://ftpmaster.internal/ubuntu/ saucy/main libcurl3-gnutls i386 7.30.0-1ubuntu1 [241 kB] Get:19 http://ftpmaster.internal/ubuntu/ saucy/main libpcre3 i386 1:8.31-2 [157 kB] Get:20 http://ftpmaster.internal/ubuntu/ saucy/main libglib2.0-0 i386 2.36.0-1ubuntu2 [981 kB] Get:21 http://ftpmaster.internal/ubuntu/ saucy/main udev i386 175-0ubuntu28 [322 kB] Get:22 http://ftpmaster.internal/ubuntu/ saucy/main linux-libc-dev i386 3.9.0-1.5 [915 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 29.2 MB in 1s (17.3 MB/s) (Reading database ... 12035 files and directories currently installed.) Preparing to replace sed 4.2.1-10ubuntu2 (using .../sed_4.2.2-1ubuntu1_i386.deb) ... Unpacking replacement sed ... Setting up sed (4.2.2-1ubuntu1) ... (Reading database ... 12035 files and directories currently installed.) Preparing to replace libitm1:i386 4.8.0-4ubuntu3 (using .../libitm1_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement libitm1:i386 ... Preparing to replace libgomp1:i386 4.8.0-4ubuntu3 (using .../libgomp1_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement libgomp1:i386 ... Preparing to replace gcc-4.8-base:i386 4.8.0-4ubuntu3 (using .../gcc-4.8-base_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement gcc-4.8-base:i386 ... Setting up gcc-4.8-base:i386 (4.8.0-6ubuntu1) ... (Reading database ... 12035 files and directories currently installed.) Preparing to replace libstdc++6:i386 4.8.0-4ubuntu3 (using .../libstdc++6_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement libstdc++6:i386 ... Setting up libstdc++6:i386 (4.8.0-6ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12035 files and directories currently installed.) Preparing to replace libasan0:i386 4.8.0-4ubuntu3 (using .../libasan0_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement libasan0:i386 ... Preparing to replace libatomic1:i386 4.8.0-4ubuntu3 (using .../libatomic1_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement libatomic1:i386 ... Preparing to replace libquadmath0:i386 4.8.0-4ubuntu3 (using .../libquadmath0_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement libquadmath0:i386 ... Preparing to replace cpp-4.8 4.8.0-4ubuntu3 (using .../cpp-4.8_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement cpp-4.8 ... Preparing to replace libstdc++-4.8-dev:i386 4.8.0-4ubuntu3 (using .../libstdc++-4.8-dev_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement libstdc++-4.8-dev:i386 ... Preparing to replace g++-4.8 4.8.0-4ubuntu3 (using .../g++-4.8_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement g++-4.8 ... Preparing to replace gcc-4.8 4.8.0-4ubuntu3 (using .../gcc-4.8_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement gcc-4.8 ... Preparing to replace libgcc-4.8-dev:i386 4.8.0-4ubuntu3 (using .../libgcc-4.8-dev_4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement libgcc-4.8-dev:i386 ... Preparing to replace libgcc1:i386 1:4.8.0-4ubuntu3 (using .../libgcc1_1%3a4.8.0-6ubuntu1_i386.deb) ... Unpacking replacement libgcc1:i386 ... Setting up libgcc1:i386 (1:4.8.0-6ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12035 files and directories currently installed.) Preparing to replace libisl10:i386 0.11.1-2 (using .../libisl10_0.11.2-1_i386.deb) ... Unpacking replacement libisl10:i386 ... Preparing to replace debconf 1.5.49ubuntu1 (using .../debconf_1.5.50ubuntu1_all.deb) ... Unpacking replacement debconf ... Setting up debconf (1.5.50ubuntu1) ... Selecting previously unselected package libffi6:i386. (Reading database ... 12035 files and directories currently installed.) Unpacking libffi6:i386 (from .../libffi6_3.0.13-2ubuntu1_i386.deb) ... Preparing to replace libcurl3-gnutls:i386 7.29.0-1ubuntu3 (using .../libcurl3-gnutls_7.30.0-1ubuntu1_i386.deb) ... Unpacking replacement libcurl3-gnutls:i386 ... Selecting previously unselected package libpcre3:i386. Unpacking libpcre3:i386 (from .../libpcre3_1%3a8.31-2_i386.deb) ... Selecting previously unselected package libglib2.0-0:i386. Unpacking libglib2.0-0:i386 (from .../libglib2.0-0_2.36.0-1ubuntu2_i386.deb) ... Preparing to replace udev 175-0ubuntu27 (using .../udev_175-0ubuntu28_i386.deb) ... Adding 'diversion of /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' Unpacking replacement udev ... Preparing to replace linux-libc-dev:i386 3.9.0-0.4 (using .../linux-libc-dev_3.9.0-1.5_i386.deb) ... Unpacking replacement linux-libc-dev:i386 ... Setting up libitm1:i386 (4.8.0-6ubuntu1) ... Setting up libgomp1:i386 (4.8.0-6ubuntu1) ... Setting up libasan0:i386 (4.8.0-6ubuntu1) ... Setting up libatomic1:i386 (4.8.0-6ubuntu1) ... Setting up libquadmath0:i386 (4.8.0-6ubuntu1) ... Setting up libisl10:i386 (0.11.2-1) ... Setting up cpp-4.8 (4.8.0-6ubuntu1) ... Setting up libgcc-4.8-dev:i386 (4.8.0-6ubuntu1) ... Setting up libstdc++-4.8-dev:i386 (4.8.0-6ubuntu1) ... Setting up gcc-4.8 (4.8.0-6ubuntu1) ... Setting up g++-4.8 (4.8.0-6ubuntu1) ... Setting up libffi6:i386 (3.0.13-2ubuntu1) ... Setting up libcurl3-gnutls:i386 (7.30.0-1ubuntu1) ... Setting up libpcre3:i386 (1:8.31-2) ... Setting up libglib2.0-0:i386 (2.36.0-1ubuntu2) ... No schema files found: doing nothing. Setting up udev (175-0ubuntu28) ... invoke-rc.d: policy-rc.d denied execution of restart. Removing 'diversion of /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up linux-libc-dev:i386 (3.9.0-1.5) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba', 'i386', 'saucy-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=saucy-proposed', '-A', '--purpose=PRIMARY', '--architecture=i386', '--comp=universe', 'alt-ergo_0.95.1-2.dsc'] Initiating build cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba 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.1-2 on aatxe by sbuild/i386 1.170.5 Build started at 20130511-0515 ****************************************************************************** alt-ergo_0.95.1-2.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~), 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 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 dh-ocaml Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: aspell aspell-en bsdmainutils dbus dbus-x11 dh-apparmor dictionaries-common file fontconfig fontconfig-config 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 html2text intltool-debian libart-2.0-2 libart-2.0-dev libasound2 libaspell15 libasprintf-dev 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 libgettextpo-dev libgettextpo0 libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-bin libglib2.0-data libglib2.0-dev 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 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz0 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 libpango1.0-0 libpango1.0-dev libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib librsvg2-2 librsvg2-common librsvg2-dev libselinux1-dev libsepol1-dev libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtasn1-3-dev libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 man-db mime-support netbase ocaml-base-nox ocaml-interp pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-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 libbonobo2-bin libcairo2-doc libcanberra-gtk0 libcanberra-pulse cups-common libenchant-voikko libgail-doc libgcrypt11-doc glade glade-gnome libglib2.0-doc 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 Recommended packages: libpam-systemd curl wget lynx-cur 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: aspell aspell-en bsdmainutils dbus dbus-x11 debhelper dh-apparmor dh-ocaml dictionaries-common file fontconfig fontconfig-config 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 html2text intltool-debian libart-2.0-2 libart-2.0-dev libasound2 libaspell15 libasprintf-dev 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 libgettextpo-dev libgettextpo0 libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-bin libglib2.0-data libglib2.0-dev 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 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz0 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 libpango1.0-0 libpango1.0-dev libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib librsvg2-2 librsvg2-common librsvg2-dev libselinux1-dev libsepol1-dev libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtasn1-3-dev libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 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 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, 246 newly installed, 0 to remove and 0 not upgraded. Need to get 60.3 MB of archives. After this operation, 242 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libexpat1 libmagic1 libpopt0 libssl1.0.0 libasprintf0c2 libdbus-glib-1-2 libpipeline1 libsystemd-login0 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 libxml2 groff-base bsdmainutils man-db ucf ttf-dejavu-core fontconfig-config libart-2.0-2 libasound2 libatk1.0-data libatk1.0-0 libavahi-common-data libavahi-common3 libavahi-client3 libavahi-glib1 libbonobo2-common libidl-common libidl0 liborbit2 libbonobo2-0 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 libfontconfig1 libpixman-1-0 libxcb-render0 libxcb-shm0 libxrender1 libcairo2 libcups2 libicu48 libharfbuzz0 libthai-data libdatrie1 libthai0 libxft2 fontconfig libpango1.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 netbase dbus psmisc dbus-x11 libpython2.7-minimal python2.7-minimal mime-support 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 libunistring0 libgettextpo0 libglib2.0-data libglib2.0-bin libgnome-keyring-common libgnome-keyring0 x11-common libice6 libsm6 libgnomeui-common libgnomeui-0 libgnutls-openssl27 libhunspell-1.3-0 libpcrecpp0 librsvg2-2 libgnutlsxx27 file libtext-iconv-perl gettext-base libgirepository-1.0-1 gir1.2-glib-2.0 libaspell15 dictionaries-common aspell aspell-en html2text libasprintf-dev libgettextpo-dev gettext intltool-debian po-debconf 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 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 libpthread-stubs0-dev libxcb1-dev libx11-dev libpng12-dev libgdk-pixbuf2.0-dev libfreetype6-dev libharfbuzz-dev x11proto-render-dev libxrender-dev libexpat1-dev libfontconfig1-dev libxft-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 libxi-dev x11proto-randr-dev libxrandr-dev x11proto-fixes-dev libxfixes-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 libenchant1c2a libenchant-dev libglade2-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 dh-ocaml Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ saucy/main libexpat1 i386 2.1.0-3 [127 kB] Get:2 http://ftpmaster.internal/ubuntu/ saucy/main libmagic1 i386 5.11-2ubuntu4 [172 kB] Get:3 http://ftpmaster.internal/ubuntu/ saucy/main libpopt0 i386 1.16-7ubuntu3 [29.4 kB] Get:4 http://ftpmaster.internal/ubuntu/ saucy/main libssl1.0.0 i386 1.0.1c-4ubuntu8 [1005 kB] Get:5 http://ftpmaster.internal/ubuntu/ saucy/main libasprintf0c2 i386 0.18.1.1-10ubuntu3 [6700 B] Get:6 http://ftpmaster.internal/ubuntu/ saucy/main libdbus-glib-1-2 i386 0.100.2-1 [74.2 kB] Get:7 http://ftpmaster.internal/ubuntu/ saucy/main libpipeline1 i386 1.2.3-1 [26.0 kB] Get:8 http://ftpmaster.internal/ubuntu/ saucy/main libsystemd-login0 i386 202-0ubuntu5 [26.0 kB] Get:9 http://ftpmaster.internal/ubuntu/ saucy/main libxau6 i386 1:1.0.7-1 [8582 B] Get:10 http://ftpmaster.internal/ubuntu/ saucy/main libxdmcp6 i386 1:1.1.1-1 [13.1 kB] Get:11 http://ftpmaster.internal/ubuntu/ saucy/main libxcb1 i386 1.8.1-2ubuntu2 [48.7 kB] Get:12 http://ftpmaster.internal/ubuntu/ saucy/main libx11-data all 2:1.5.0-1ubuntu1 [177 kB] Get:13 http://ftpmaster.internal/ubuntu/ saucy/main libx11-6 i386 2:1.5.0-1ubuntu1 [775 kB] Get:14 http://ftpmaster.internal/ubuntu/ saucy/main libxext6 i386 2:1.3.1-2 [33.9 kB] Get:15 http://ftpmaster.internal/ubuntu/ saucy/main libxml2 i386 2.9.0+dfsg1-4ubuntu5 [672 kB] Get:16 http://ftpmaster.internal/ubuntu/ saucy/main groff-base i386 1.22.2-2 [705 kB] Get:17 http://ftpmaster.internal/ubuntu/ saucy/main bsdmainutils i386 9.0.4ubuntu4 [198 kB] Get:18 http://ftpmaster.internal/ubuntu/ saucy/main man-db i386 2.6.3-6 [630 kB] Get:19 http://ftpmaster.internal/ubuntu/ saucy/main ucf all 3.0025+nmu3 [55.0 kB] Get:20 http://ftpmaster.internal/ubuntu/ saucy/main ttf-dejavu-core all 2.33-3ubuntu2 [1019 kB] Get:21 http://ftpmaster.internal/ubuntu/ saucy/main fontconfig-config all 2.10.2-0ubuntu2 [46.5 kB] Get:22 http://ftpmaster.internal/ubuntu/ saucy/main libart-2.0-2 i386 2.3.21-2 [57.5 kB] Get:23 http://ftpmaster.internal/ubuntu/ saucy/main libasound2 i386 1.0.25-4ubuntu4 [424 kB] Get:24 http://ftpmaster.internal/ubuntu/ saucy/main libatk1.0-data all 2.8.0-2 [13.0 kB] Get:25 http://ftpmaster.internal/ubuntu/ saucy/main libatk1.0-0 i386 2.8.0-2 [48.9 kB] Get:26 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-common-data i386 0.6.31-1ubuntu3 [21.8 kB] Get:27 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-common3 i386 0.6.31-1ubuntu3 [26.1 kB] Get:28 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-client3 i386 0.6.31-1ubuntu3 [29.8 kB] Get:29 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-glib1 i386 0.6.31-1ubuntu3 [9110 B] Get:30 http://ftpmaster.internal/ubuntu/ saucy/main libbonobo2-common all 2.32.1-0ubuntu3 [34.1 kB] Get:31 http://ftpmaster.internal/ubuntu/ saucy/main libidl-common all 0.8.14-0.2ubuntu3 [8536 B] Get:32 http://ftpmaster.internal/ubuntu/ saucy/main libidl0 i386 0.8.14-0.2ubuntu3 [76.9 kB] Get:33 http://ftpmaster.internal/ubuntu/ saucy/main liborbit2 i386 1:2.14.19-0.1ubuntu2 [143 kB] Get:34 http://ftpmaster.internal/ubuntu/ saucy/main libbonobo2-0 i386 2.32.1-0ubuntu3 [204 kB] Get:35 http://ftpmaster.internal/ubuntu/ saucy/main gconf2-common all 3.2.6-0ubuntu1 [20.7 kB] Get:36 http://ftpmaster.internal/ubuntu/ saucy/main libgconf-2-4 i386 3.2.6-0ubuntu1 [78.8 kB] Get:37 http://ftpmaster.internal/ubuntu/ saucy/main gconf-service-backend i386 3.2.6-0ubuntu1 [55.9 kB] Get:38 http://ftpmaster.internal/ubuntu/ saucy/main gconf-service i386 3.2.6-0ubuntu1 [2040 B] Get:39 http://ftpmaster.internal/ubuntu/ saucy/main libjpeg-turbo8 i386 1.2.1-0ubuntu2 [120 kB] Get:40 http://ftpmaster.internal/ubuntu/ saucy/main libjpeg8 i386 8c-2ubuntu7 [2112 B] Get:41 http://ftpmaster.internal/ubuntu/ saucy/main libjasper1 i386 1.900.1-14 [154 kB] Get:42 http://ftpmaster.internal/ubuntu/ saucy/main libjbig0 i386 2.0-2ubuntu1 [28.0 kB] Get:43 http://ftpmaster.internal/ubuntu/ saucy/main libtiff5 i386 4.0.2-4ubuntu2 [170 kB] Get:44 http://ftpmaster.internal/ubuntu/ saucy/main libgdk-pixbuf2.0-common all 2.28.0-1ubuntu1 [8058 B] Get:45 http://ftpmaster.internal/ubuntu/ saucy/main libgdk-pixbuf2.0-0 i386 2.28.0-1ubuntu1 [154 kB] Get:46 http://ftpmaster.internal/ubuntu/ saucy/main libgtk2.0-common all 2.24.17-0ubuntu2 [119 kB] Get:47 http://ftpmaster.internal/ubuntu/ saucy/main libfreetype6 i386 2.4.11-0ubuntu1 [347 kB] Get:48 http://ftpmaster.internal/ubuntu/ saucy/main libfontconfig1 i386 2.10.2-0ubuntu2 [137 kB] Get:49 http://ftpmaster.internal/ubuntu/ saucy/main libpixman-1-0 i386 0.28.2-0ubuntu1 [250 kB] Get:50 http://ftpmaster.internal/ubuntu/ saucy/main libxcb-render0 i386 1.8.1-2ubuntu2 [14.3 kB] Get:51 http://ftpmaster.internal/ubuntu/ saucy/main libxcb-shm0 i386 1.8.1-2ubuntu2 [5756 B] Get:52 http://ftpmaster.internal/ubuntu/ saucy/main libxrender1 i386 1:0.9.7-1 [20.1 kB] Get:53 http://ftpmaster.internal/ubuntu/ saucy/main libcairo2 i386 1.12.14-0ubuntu1 [643 kB] Get:54 http://ftpmaster.internal/ubuntu/ saucy/main libcups2 i386 1.6.2-7 [194 kB] Get:55 http://ftpmaster.internal/ubuntu/ saucy/main libicu48 i386 4.8.1.1-12 [4769 kB] Get:56 http://ftpmaster.internal/ubuntu/ saucy/main libharfbuzz0 i386 0.9.16-1 [258 kB] Get:57 http://ftpmaster.internal/ubuntu/ saucy/main libthai-data all 0.1.19-2 [130 kB] Get:58 http://ftpmaster.internal/ubuntu/ saucy/main libdatrie1 i386 0.2.6-2 [16.5 kB] Get:59 http://ftpmaster.internal/ubuntu/ saucy/main libthai0 i386 0.1.19-2 [17.0 kB] Get:60 http://ftpmaster.internal/ubuntu/ saucy/main libxft2 i386 2.3.1-1 [43.2 kB] Get:61 http://ftpmaster.internal/ubuntu/ saucy/main fontconfig i386 2.10.2-0ubuntu2 [168 kB] Get:62 http://ftpmaster.internal/ubuntu/ saucy/main libpango1.0-0 i386 1.32.5-0ubuntu1 [234 kB] Get:63 http://ftpmaster.internal/ubuntu/ saucy/main libxcomposite1 i386 1:0.4.3-2build2 [7664 B] Get:64 http://ftpmaster.internal/ubuntu/ saucy/main libxfixes3 i386 1:5.0-4ubuntu5 [12.3 kB] Get:65 http://ftpmaster.internal/ubuntu/ saucy/main libxcursor1 i386 1:1.1.13-1 [23.7 kB] Get:66 http://ftpmaster.internal/ubuntu/ saucy/main libxdamage1 i386 1:1.1.3-2build2 [7440 B] Get:67 http://ftpmaster.internal/ubuntu/ saucy/main libxi6 i386 2:1.6.99.1-0ubuntu3 [31.2 kB] Get:68 http://ftpmaster.internal/ubuntu/ saucy/main libxinerama1 i386 2:1.1.2-1 [8118 B] Get:69 http://ftpmaster.internal/ubuntu/ saucy/main libxrandr2 i386 2:1.4.0-1ubuntu1 [18.7 kB] Get:70 http://ftpmaster.internal/ubuntu/ saucy/main shared-mime-info i386 1.1-0ubuntu2 [411 kB] Get:71 http://ftpmaster.internal/ubuntu/ saucy/main libgtk2.0-0 i386 2.24.17-0ubuntu2 [1719 kB] Get:72 http://ftpmaster.internal/ubuntu/ saucy/main libglade2-0 i386 1:2.6.4-1ubuntu2 [52.9 kB] Get:73 http://ftpmaster.internal/ubuntu/ saucy/main libltdl7 i386 2.4.2-1.2ubuntu1 [38.2 kB] Get:74 http://ftpmaster.internal/ubuntu/ saucy/main libtdb1 i386 1.2.10-2ubuntu1 [38.0 kB] Get:75 http://ftpmaster.internal/ubuntu/ saucy/main libogg0 i386 1.3.0-4 [17.9 kB] Get:76 http://ftpmaster.internal/ubuntu/ saucy/main libvorbis0a i386 1.3.2-1.3 [101 kB] Get:77 http://ftpmaster.internal/ubuntu/ saucy/main libvorbisfile3 i386 1.3.2-1.3 [20.0 kB] Get:78 http://ftpmaster.internal/ubuntu/ saucy/main sound-theme-freedesktop all 0.7.pristine-2 [412 kB] Get:79 http://ftpmaster.internal/ubuntu/ saucy/main libcanberra0 i386 0.30-0ubuntu2 [35.5 kB] Get:80 http://ftpmaster.internal/ubuntu/ saucy/main netbase all 5.1 [13.9 kB] Get:81 http://ftpmaster.internal/ubuntu/ saucy/main dbus i386 1.6.8-1ubuntu8 [361 kB] Get:82 http://ftpmaster.internal/ubuntu/ saucy/main psmisc i386 22.20-1ubuntu2 [52.0 kB] Get:83 http://ftpmaster.internal/ubuntu/ saucy/main dbus-x11 i386 1.6.8-1ubuntu8 [20.9 kB] Get:84 http://ftpmaster.internal/ubuntu/ saucy/main libpython2.7-minimal i386 2.7.4-2ubuntu3 [500 kB] Get:85 http://ftpmaster.internal/ubuntu/ saucy/main python2.7-minimal i386 2.7.4-2ubuntu3 [1182 kB] Get:86 http://ftpmaster.internal/ubuntu/ saucy/main mime-support all 3.52-2ubuntu1 [30.5 kB] Get:87 http://ftpmaster.internal/ubuntu/ saucy/main libpython2.7-stdlib i386 2.7.4-2ubuntu3 [2345 kB] Get:88 http://ftpmaster.internal/ubuntu/ saucy/main python2.7 i386 2.7.4-2ubuntu3 [263 kB] Get:89 http://ftpmaster.internal/ubuntu/ saucy/main python-minimal i386 2.7.4-0ubuntu1 [30.2 kB] Get:90 http://ftpmaster.internal/ubuntu/ saucy/main libpython-stdlib i386 2.7.4-0ubuntu1 [7544 B] Get:91 http://ftpmaster.internal/ubuntu/ saucy/main python i386 2.7.4-0ubuntu1 [168 kB] Get:92 http://ftpmaster.internal/ubuntu/ saucy/main gconf2 i386 3.2.6-0ubuntu1 [64.2 kB] Get:93 http://ftpmaster.internal/ubuntu/ saucy/main libgnomevfs2-common i386 1:2.24.4-1ubuntu5 [23.1 kB] Get:94 http://ftpmaster.internal/ubuntu/ saucy/main libgnomevfs2-0 i386 1:2.24.4-1ubuntu5 [209 kB] Get:95 http://ftpmaster.internal/ubuntu/ saucy/main libgnome2-common all 2.32.1-2ubuntu4 [33.3 kB] Get:96 http://ftpmaster.internal/ubuntu/ saucy/main libgnome2-bin i386 2.32.1-2ubuntu4 [14.9 kB] Get:97 http://ftpmaster.internal/ubuntu/ saucy/main libgnome2-0 i386 2.32.1-2ubuntu4 [42.0 kB] Get:98 http://ftpmaster.internal/ubuntu/ saucy/main libgail18 i386 2.24.17-0ubuntu2 [14.1 kB] Get:99 http://ftpmaster.internal/ubuntu/ saucy/main libgnomecanvas2-common all 2.30.3-1ubuntu2 [9108 B] Get:100 http://ftpmaster.internal/ubuntu/ saucy/main libgnomecanvas2-0 i386 2.30.3-1ubuntu2 [102 kB] Get:101 http://ftpmaster.internal/ubuntu/ saucy/main libbonoboui2-common all 2.24.5-0ubuntu2 [11.7 kB] Get:102 http://ftpmaster.internal/ubuntu/ saucy/main libbonoboui2-0 i386 2.24.5-0ubuntu2 [187 kB] Get:103 http://ftpmaster.internal/ubuntu/ saucy/main libcairo-gobject2 i386 1.12.14-0ubuntu1 [19.6 kB] Get:104 http://ftpmaster.internal/ubuntu/ saucy/main liblzo2-2 i386 2.06-1build1 [58.4 kB] Get:105 http://ftpmaster.internal/ubuntu/ saucy/main libcairo-script-interpreter2 i386 1.12.14-0ubuntu1 [64.9 kB] Get:106 http://ftpmaster.internal/ubuntu/ saucy/main libcroco3 i386 0.6.8-1 [81.7 kB] Get:107 http://ftpmaster.internal/ubuntu/ saucy/main libelfg0 i386 0.8.13-4~1 [46.9 kB] Get:108 http://ftpmaster.internal/ubuntu/ saucy/main libunistring0 i386 0.9.3-5build1 [430 kB] Get:109 http://ftpmaster.internal/ubuntu/ saucy/main libgettextpo0 i386 0.18.1.1-10ubuntu3 [120 kB] Get:110 http://ftpmaster.internal/ubuntu/ saucy/main libglib2.0-data all 2.36.0-1ubuntu2 [101 kB] Get:111 http://ftpmaster.internal/ubuntu/ saucy/main libglib2.0-bin i386 2.36.0-1ubuntu2 [34.2 kB] Get:112 http://ftpmaster.internal/ubuntu/ saucy/main libgnome-keyring-common all 3.6.0-1 [5410 B] Get:113 http://ftpmaster.internal/ubuntu/ saucy/main libgnome-keyring0 i386 3.6.0-1 [53.0 kB] Get:114 http://ftpmaster.internal/ubuntu/ saucy/main x11-common all 1:7.7+1ubuntu4 [58.1 kB] Get:115 http://ftpmaster.internal/ubuntu/ saucy/main libice6 i386 2:1.0.8-2 [45.9 kB] Get:116 http://ftpmaster.internal/ubuntu/ saucy/main libsm6 i386 2:1.2.1-2 [17.3 kB] Get:117 http://ftpmaster.internal/ubuntu/ saucy/main libgnomeui-common all 2.24.5-2ubuntu3 [16.6 kB] Get:118 http://ftpmaster.internal/ubuntu/ saucy/main libgnomeui-0 i386 2.24.5-2ubuntu3 [252 kB] Get:119 http://ftpmaster.internal/ubuntu/ saucy/main libgnutls-openssl27 i386 2.12.23-1ubuntu1 [21.9 kB] Get:120 http://ftpmaster.internal/ubuntu/ saucy/main libhunspell-1.3-0 i386 1.3.2-4ubuntu1 [148 kB] Get:121 http://ftpmaster.internal/ubuntu/ saucy/main libpcrecpp0 i386 1:8.31-2 [17.1 kB] Get:122 http://ftpmaster.internal/ubuntu/ saucy/main librsvg2-2 i386 2.36.4-1 [90.6 kB] Get:123 http://ftpmaster.internal/ubuntu/ saucy/main libgnutlsxx27 i386 2.12.23-1ubuntu1 [23.4 kB] Get:124 http://ftpmaster.internal/ubuntu/ saucy/main file i386 5.11-2ubuntu4 [18.0 kB] Get:125 http://ftpmaster.internal/ubuntu/ saucy/main libtext-iconv-perl i386 1.7-5build1 [15.6 kB] Get:126 http://ftpmaster.internal/ubuntu/ saucy/main gettext-base i386 0.18.1.1-10ubuntu3 [55.0 kB] Get:127 http://ftpmaster.internal/ubuntu/ saucy/main libgirepository-1.0-1 i386 1.36.0-2 [101 kB] Get:128 http://ftpmaster.internal/ubuntu/ saucy/main gir1.2-glib-2.0 i386 1.36.0-2 [163 kB] Get:129 http://ftpmaster.internal/ubuntu/ saucy/main libaspell15 i386 0.60.7~20110707-1build1 [619 kB] Get:130 http://ftpmaster.internal/ubuntu/ saucy/main dictionaries-common all 1.12.11 [251 kB] Get:131 http://ftpmaster.internal/ubuntu/ saucy/main aspell i386 0.60.7~20110707-1build1 [91.1 kB] Get:132 http://ftpmaster.internal/ubuntu/ saucy/main aspell-en all 7.1-0-1 [267 kB] Get:133 http://ftpmaster.internal/ubuntu/ saucy/main html2text i386 1.3.2a-15ubuntu3 [91.2 kB] Get:134 http://ftpmaster.internal/ubuntu/ saucy/main libasprintf-dev i386 0.18.1.1-10ubuntu3 [4396 B] Get:135 http://ftpmaster.internal/ubuntu/ saucy/main libgettextpo-dev i386 0.18.1.1-10ubuntu3 [149 kB] Get:136 http://ftpmaster.internal/ubuntu/ saucy/main gettext i386 0.18.1.1-10ubuntu3 [990 kB] Get:137 http://ftpmaster.internal/ubuntu/ saucy/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:138 http://ftpmaster.internal/ubuntu/ saucy/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:139 http://ftpmaster.internal/ubuntu/ saucy/main dh-apparmor all 2.8.0-0ubuntu11 [8392 B] Get:140 http://ftpmaster.internal/ubuntu/ saucy/main debhelper all 9.20120909ubuntu1 [631 kB] Get:141 http://ftpmaster.internal/ubuntu/ saucy/main gir1.2-atk-1.0 i386 2.8.0-2 [16.2 kB] Get:142 http://ftpmaster.internal/ubuntu/ saucy/main gir1.2-freedesktop i386 1.36.0-2 [6210 B] Get:143 http://ftpmaster.internal/ubuntu/ saucy/main gir1.2-gconf-2.0 i386 3.2.6-0ubuntu1 [6190 B] Get:144 http://ftpmaster.internal/ubuntu/ saucy/main gir1.2-gdkpixbuf-2.0 i386 2.28.0-1ubuntu1 [7884 B] Get:145 http://ftpmaster.internal/ubuntu/ saucy/main gir1.2-gnomekeyring-1.0 i386 3.6.0-1 [5898 B] Get:146 http://ftpmaster.internal/ubuntu/ saucy/main gir1.2-pango-1.0 i386 1.32.5-0ubuntu1 [18.6 kB] Get:147 http://ftpmaster.internal/ubuntu/ saucy/main gir1.2-gtk-2.0 i386 2.24.17-0ubuntu2 [171 kB] Get:148 http://ftpmaster.internal/ubuntu/ saucy/main gir1.2-rsvg-2.0 i386 2.36.4-1 [3554 B] Get:149 http://ftpmaster.internal/ubuntu/ saucy/main pkg-config i386 0.26-1ubuntu3 [40.4 kB] Get:150 http://ftpmaster.internal/ubuntu/ saucy/main libart-2.0-dev i386 2.3.21-2 [71.9 kB] Get:151 http://ftpmaster.internal/ubuntu/ saucy/main libpcre3-dev i386 1:8.31-2 [261 kB] Get:152 http://ftpmaster.internal/ubuntu/ saucy/main zlib1g-dev i386 1:1.2.7.dfsg-13ubuntu2 [177 kB] Get:153 http://ftpmaster.internal/ubuntu/ saucy/main libglib2.0-dev i386 2.36.0-1ubuntu2 [1227 kB] Get:154 http://ftpmaster.internal/ubuntu/ saucy/main libatk1.0-dev i386 2.8.0-2 [61.4 kB] Get:155 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-common-dev i386 0.6.31-1ubuntu3 [42.7 kB] Get:156 http://ftpmaster.internal/ubuntu/ saucy/main libdbus-1-dev i386 1.6.8-1ubuntu8 [194 kB] Get:157 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-client-dev i386 0.6.31-1ubuntu3 [36.8 kB] Get:158 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-glib-dev i386 0.6.31-1ubuntu3 [8956 B] Get:159 http://ftpmaster.internal/ubuntu/ saucy/main libidl-dev i386 0.8.14-0.2ubuntu3 [89.1 kB] Get:160 http://ftpmaster.internal/ubuntu/ saucy/main liborbit2-dev i386 1:2.14.19-0.1ubuntu2 [277 kB] Get:161 http://ftpmaster.internal/ubuntu/ saucy/main libpopt-dev i386 1.16-7ubuntu3 [44.3 kB] Get:162 http://ftpmaster.internal/ubuntu/ saucy/main libbonobo2-dev i386 2.32.1-0ubuntu3 [400 kB] Get:163 http://ftpmaster.internal/ubuntu/ saucy/main xorg-sgml-doctools all 1:1.10-1 [12.0 kB] Get:164 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-core-dev all 7.0.23-1 [744 kB] Get:165 http://ftpmaster.internal/ubuntu/ saucy/main libxau-dev i386 1:1.0.7-1 [10.0 kB] Get:166 http://ftpmaster.internal/ubuntu/ saucy/main libxdmcp-dev i386 1:1.1.1-1 [26.8 kB] Get:167 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-input-dev all 2.2.99.1-0ubuntu1 [139 kB] Get:168 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-kb-dev all 1.0.6-2 [269 kB] Get:169 http://ftpmaster.internal/ubuntu/ saucy/main xtrans-dev all 1.2.7-1 [84.3 kB] Get:170 http://ftpmaster.internal/ubuntu/ saucy/main libpthread-stubs0 i386 0.3-3 [3264 B] Get:171 http://ftpmaster.internal/ubuntu/ saucy/main libpthread-stubs0-dev i386 0.3-3 [2860 B] Get:172 http://ftpmaster.internal/ubuntu/ saucy/main libxcb1-dev i386 1.8.1-2ubuntu2 [82.2 kB] Get:173 http://ftpmaster.internal/ubuntu/ saucy/main libx11-dev i386 2:1.5.0-1ubuntu1 [895 kB] Get:174 http://ftpmaster.internal/ubuntu/ saucy/main libpng12-dev i386 1.2.49-1ubuntu2 [206 kB] Get:175 http://ftpmaster.internal/ubuntu/ saucy/main libgdk-pixbuf2.0-dev i386 2.28.0-1ubuntu1 [42.4 kB] Get:176 http://ftpmaster.internal/ubuntu/ saucy/main libfreetype6-dev i386 2.4.11-0ubuntu1 [791 kB] Get:177 http://ftpmaster.internal/ubuntu/ saucy/main libharfbuzz-dev i386 0.9.16-1 [15.8 kB] Get:178 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:179 http://ftpmaster.internal/ubuntu/ saucy/main libxrender-dev i386 1:0.9.7-1 [26.8 kB] Get:180 http://ftpmaster.internal/ubuntu/ saucy/main libexpat1-dev i386 2.1.0-3 [204 kB] Get:181 http://ftpmaster.internal/ubuntu/ saucy/main libfontconfig1-dev i386 2.10.2-0ubuntu2 [673 kB] Get:182 http://ftpmaster.internal/ubuntu/ saucy/main libxft-dev i386 2.3.1-1 [52.6 kB] Get:183 http://ftpmaster.internal/ubuntu/ saucy/main libice-dev i386 2:1.0.8-2 [52.3 kB] Get:184 http://ftpmaster.internal/ubuntu/ saucy/main libsm-dev i386 2:1.2.1-2 [17.6 kB] Get:185 http://ftpmaster.internal/ubuntu/ saucy/main libpixman-1-dev i386 0.28.2-0ubuntu1 [278 kB] Get:186 http://ftpmaster.internal/ubuntu/ saucy/main libxcb-render0-dev i386 1.8.1-2ubuntu2 [21.1 kB] Get:187 http://ftpmaster.internal/ubuntu/ saucy/main libxcb-shm0-dev i386 1.8.1-2ubuntu2 [6838 B] Get:188 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-xext-dev all 7.2.1-1 [265 kB] Get:189 http://ftpmaster.internal/ubuntu/ saucy/main libxext-dev i386 2:1.3.1-2 [90.1 kB] Get:190 http://ftpmaster.internal/ubuntu/ saucy/main libcairo2-dev i386 1.12.14-0ubuntu1 [749 kB] Get:191 http://ftpmaster.internal/ubuntu/ saucy/main libpango1.0-dev i386 1.32.5-0ubuntu1 [295 kB] Get:192 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:193 http://ftpmaster.internal/ubuntu/ saucy/main libxinerama-dev i386 2:1.1.2-1 [8224 B] Get:194 http://ftpmaster.internal/ubuntu/ saucy/main libxi-dev i386 2:1.6.99.1-0ubuntu3 [205 kB] Get:195 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1 [32.9 kB] Get:196 http://ftpmaster.internal/ubuntu/ saucy/main libxrandr-dev i386 2:1.4.0-1ubuntu1 [25.6 kB] Get:197 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-fixes-dev all 1:5.0-2ubuntu1 [15.5 kB] Get:198 http://ftpmaster.internal/ubuntu/ saucy/main libxfixes-dev i386 1:5.0-4ubuntu5 [12.9 kB] Get:199 http://ftpmaster.internal/ubuntu/ saucy/main libxcursor-dev i386 1:1.1.13-1 [28.6 kB] Get:200 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:201 http://ftpmaster.internal/ubuntu/ saucy/main libxcomposite-dev i386 1:0.4.3-2build2 [9526 B] Get:202 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:203 http://ftpmaster.internal/ubuntu/ saucy/main libxdamage-dev i386 1:1.1.3-2build2 [5302 B] Get:204 http://ftpmaster.internal/ubuntu/ saucy/main libxml2-utils i386 2.9.0+dfsg1-4ubuntu5 [39.7 kB] Get:205 http://ftpmaster.internal/ubuntu/ saucy/main libgtk2.0-dev i386 2.24.17-0ubuntu2 [2517 kB] Get:206 http://ftpmaster.internal/ubuntu/ saucy/main libgail-common i386 2.24.17-0ubuntu2 [114 kB] Get:207 http://ftpmaster.internal/ubuntu/ saucy/main libgail-dev i386 2.24.17-0ubuntu2 [14.2 kB] Get:208 http://ftpmaster.internal/ubuntu/ saucy/main libgnomecanvas2-dev i386 2.30.3-1ubuntu2 [122 kB] Get:209 http://ftpmaster.internal/ubuntu/ saucy/main libgconf2-dev i386 3.2.6-0ubuntu1 [88.7 kB] Get:210 http://ftpmaster.internal/ubuntu/ saucy/main libgpg-error-dev i386 1.10-3.1ubuntu1 [23.5 kB] Get:211 http://ftpmaster.internal/ubuntu/ saucy/main libgcrypt11-dev i386 1.5.0-3ubuntu2.1 [360 kB] Get:212 http://ftpmaster.internal/ubuntu/ saucy/main libtasn1-3-dev i386 2.14-2 [380 kB] Get:213 http://ftpmaster.internal/ubuntu/ saucy/main libp11-kit-dev i386 0.14-1 [45.8 kB] Get:214 http://ftpmaster.internal/ubuntu/ saucy/main libgnutls-dev i386 2.12.23-1ubuntu1 [531 kB] Get:215 http://ftpmaster.internal/ubuntu/ saucy/main libxml2-dev i386 2.9.0+dfsg1-4ubuntu5 [843 kB] Get:216 http://ftpmaster.internal/ubuntu/ saucy/main libsepol1-dev i386 2.1.4-3ubuntu2 [179 kB] Get:217 http://ftpmaster.internal/ubuntu/ saucy/main libselinux1-dev i386 2.1.9-5ubuntu1 [138 kB] Get:218 http://ftpmaster.internal/ubuntu/ saucy/main libgnomevfs2-dev i386 1:2.24.4-1ubuntu5 [309 kB] Get:219 http://ftpmaster.internal/ubuntu/ saucy/main libcanberra-dev i386 0.30-0ubuntu2 [6806 B] Get:220 http://ftpmaster.internal/ubuntu/ saucy/main libgnome2-dev i386 2.32.1-2ubuntu4 [43.0 kB] Get:221 http://ftpmaster.internal/ubuntu/ saucy/main libbonoboui2-dev i386 2.24.5-0ubuntu2 [383 kB] Get:222 http://ftpmaster.internal/ubuntu/ saucy/main libenchant1c2a i386 1.6.0-7build1 [76.4 kB] Get:223 http://ftpmaster.internal/ubuntu/ saucy/main libenchant-dev i386 1.6.0-7build1 [61.6 kB] Get:224 http://ftpmaster.internal/ubuntu/ saucy/main libglade2-dev i386 1:2.6.4-1ubuntu2 [91.0 kB] Get:225 http://ftpmaster.internal/ubuntu/ saucy/main libgnome-keyring-dev i386 3.6.0-1 [44.7 kB] Get:226 http://ftpmaster.internal/ubuntu/ saucy/main libgnomeui-dev i386 2.24.5-2ubuntu3 [334 kB] Get:227 http://ftpmaster.internal/ubuntu/ saucy/universe libgtksourceview2.0-common all 2.10.5-0ubuntu3 [134 kB] Get:228 http://ftpmaster.internal/ubuntu/ saucy/universe libgtksourceview2.0-0 i386 2.10.5-0ubuntu3 [152 kB] Get:229 http://ftpmaster.internal/ubuntu/ saucy/universe libgtksourceview2.0-dev i386 2.10.5-0ubuntu3 [212 kB] Get:230 http://ftpmaster.internal/ubuntu/ saucy/main libgtkspell0 i386 2.0.16-1ubuntu6 [13.3 kB] Get:231 http://ftpmaster.internal/ubuntu/ saucy/main libgtkspell-dev i386 2.0.16-1ubuntu6 [26.0 kB] Get:232 http://ftpmaster.internal/ubuntu/ saucy/main ocaml-base-nox i386 3.12.1-4ubuntu1 [581 kB] Get:233 http://ftpmaster.internal/ubuntu/ saucy/universe liblablgtk2-ocaml i386 2.14.2+dfsg-3 [871 kB] Get:234 http://ftpmaster.internal/ubuntu/ saucy/universe liblablgtk2-gnome-ocaml i386 2.14.2+dfsg-3 [84.3 kB] Get:235 http://ftpmaster.internal/ubuntu/ saucy/main librsvg2-common i386 2.36.4-1 [4892 B] Get:236 http://ftpmaster.internal/ubuntu/ saucy/main librsvg2-dev i386 2.36.4-1 [95.2 kB] Get:237 http://ftpmaster.internal/ubuntu/ saucy/main libtinfo-dev i386 5.9-10ubuntu4 [93.1 kB] Get:238 http://ftpmaster.internal/ubuntu/ saucy/main libncurses5-dev i386 5.9-10ubuntu4 [213 kB] Get:239 http://ftpmaster.internal/ubuntu/ saucy/main ocaml-interp i386 3.12.1-4ubuntu1 [256 kB] Get:240 http://ftpmaster.internal/ubuntu/ saucy/main ocaml-nox i386 3.12.1-4ubuntu1 [7440 kB] Get:241 http://ftpmaster.internal/ubuntu/ saucy/universe liblablgtk2-ocaml-dev i386 2.14.2+dfsg-3 [1988 kB] Get:242 http://ftpmaster.internal/ubuntu/ saucy/universe liblablgtk2-gnome-ocaml-dev i386 2.14.2+dfsg-3 [127 kB] Get:243 http://ftpmaster.internal/ubuntu/ saucy/universe liblablgtksourceview2-ocaml i386 2.14.2+dfsg-3 [62.9 kB] Get:244 http://ftpmaster.internal/ubuntu/ saucy/universe liblablgtksourceview2-ocaml-dev i386 2.14.2+dfsg-3 [92.1 kB] Get:245 http://ftpmaster.internal/ubuntu/ saucy/universe libocamlgraph-ocaml-dev i386 1.8.2-2 [2226 kB] Get:246 http://ftpmaster.internal/ubuntu/ saucy/main dh-ocaml all 1.0.7 [89.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 60.3 MB in 6s (9948 kB/s) Selecting previously unselected package libexpat1:i386. (Reading database ... 12080 files and directories currently installed.) Unpacking libexpat1:i386 (from .../libexpat1_2.1.0-3_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-7ubuntu3_i386.deb) ... Selecting previously unselected package libssl1.0.0:i386. Unpacking libssl1.0.0:i386 (from .../libssl1.0.0_1.0.1c-4ubuntu8_i386.deb) ... Selecting previously unselected package libasprintf0c2:i386. Unpacking libasprintf0c2:i386 (from .../libasprintf0c2_0.18.1.1-10ubuntu3_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.3-1_i386.deb) ... Selecting previously unselected package libsystemd-login0:i386. Unpacking libsystemd-login0:i386 (from .../libsystemd-login0_202-0ubuntu5_i386.deb) ... Selecting previously unselected package libxau6:i386. Unpacking libxau6:i386 (from .../libxau6_1%3a1.0.7-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.8.1-2ubuntu2_i386.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.5.0-1ubuntu1_all.deb) ... Selecting previously unselected package libx11-6:i386. Unpacking libx11-6:i386 (from .../libx11-6_2%3a1.5.0-1ubuntu1_i386.deb) ... Selecting previously unselected package libxext6:i386. Unpacking libxext6:i386 (from .../libxext6_2%3a1.3.1-2_i386.deb) ... Selecting previously unselected package libxml2:i386. Unpacking libxml2:i386 (from .../libxml2_2.9.0+dfsg1-4ubuntu5_i386.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.22.2-2_i386.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.4ubuntu4_i386.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.3-6_i386.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ... Moving old data out of the way Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-3ubuntu2_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.10.2-0ubuntu2_all.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:i386. Unpacking libasound2:i386 (from .../libasound2_1.0.25-4ubuntu4_i386.deb) ... Selecting previously unselected package libatk1.0-data. Unpacking libatk1.0-data (from .../libatk1.0-data_2.8.0-2_all.deb) ... Selecting previously unselected package libatk1.0-0:i386. Unpacking libatk1.0-0:i386 (from .../libatk1.0-0_2.8.0-2_i386.deb) ... Selecting previously unselected package libavahi-common-data:i386. Unpacking libavahi-common-data:i386 (from .../libavahi-common-data_0.6.31-1ubuntu3_i386.deb) ... Selecting previously unselected package libavahi-common3:i386. Unpacking libavahi-common3:i386 (from .../libavahi-common3_0.6.31-1ubuntu3_i386.deb) ... Selecting previously unselected package libavahi-client3:i386. Unpacking libavahi-client3:i386 (from .../libavahi-client3_0.6.31-1ubuntu3_i386.deb) ... Selecting previously unselected package libavahi-glib1:i386. Unpacking libavahi-glib1:i386 (from .../libavahi-glib1_0.6.31-1ubuntu3_i386.deb) ... Selecting previously unselected package libbonobo2-common. Unpacking libbonobo2-common (from .../libbonobo2-common_2.32.1-0ubuntu3_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.1ubuntu2_i386.deb) ... Selecting previously unselected package libbonobo2-0:i386. Unpacking libbonobo2-0:i386 (from .../libbonobo2-0_2.32.1-0ubuntu3_i386.deb) ... 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.2.1-0ubuntu2_i386.deb) ... Selecting previously unselected package libjpeg8:i386. Unpacking libjpeg8:i386 (from .../libjpeg8_8c-2ubuntu7_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.2-4ubuntu2_i386.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.28.0-1ubuntu1_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-0:i386. Unpacking libgdk-pixbuf2.0-0:i386 (from .../libgdk-pixbuf2.0-0_2.28.0-1ubuntu1_i386.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.17-0ubuntu2_all.deb) ... Selecting previously unselected package libfreetype6:i386. Unpacking libfreetype6:i386 (from .../libfreetype6_2.4.11-0ubuntu1_i386.deb) ... Selecting previously unselected package libfontconfig1:i386. Unpacking libfontconfig1:i386 (from .../libfontconfig1_2.10.2-0ubuntu2_i386.deb) ... Selecting previously unselected package libpixman-1-0:i386. Unpacking libpixman-1-0:i386 (from .../libpixman-1-0_0.28.2-0ubuntu1_i386.deb) ... Selecting previously unselected package libxcb-render0:i386. Unpacking libxcb-render0:i386 (from .../libxcb-render0_1.8.1-2ubuntu2_i386.deb) ... Selecting previously unselected package libxcb-shm0:i386. Unpacking libxcb-shm0:i386 (from .../libxcb-shm0_1.8.1-2ubuntu2_i386.deb) ... Selecting previously unselected package libxrender1:i386. Unpacking libxrender1:i386 (from .../libxrender1_1%3a0.9.7-1_i386.deb) ... Selecting previously unselected package libcairo2:i386. Unpacking libcairo2:i386 (from .../libcairo2_1.12.14-0ubuntu1_i386.deb) ... Selecting previously unselected package libcups2:i386. Unpacking libcups2:i386 (from .../libcups2_1.6.2-7_i386.deb) ... Selecting previously unselected package libicu48:i386. Unpacking libicu48:i386 (from .../libicu48_4.8.1.1-12_i386.deb) ... Selecting previously unselected package libharfbuzz0:i386. Unpacking libharfbuzz0:i386 (from .../libharfbuzz0_0.9.16-1_i386.deb) ... Selecting previously unselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.19-2_all.deb) ... Selecting previously unselected package libdatrie1:i386. Unpacking libdatrie1:i386 (from .../libdatrie1_0.2.6-2_i386.deb) ... Selecting previously unselected package libthai0:i386. Unpacking libthai0:i386 (from .../libthai0_0.1.19-2_i386.deb) ... Selecting previously unselected package libxft2:i386. Unpacking libxft2:i386 (from .../libxft2_2.3.1-1_i386.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.10.2-0ubuntu2_i386.deb) ... Selecting previously unselected package libpango1.0-0:i386. Unpacking libpango1.0-0:i386 (from .../libpango1.0-0_1.32.5-0ubuntu1_i386.deb) ... Selecting previously unselected package libxcomposite1:i386. Unpacking libxcomposite1:i386 (from .../libxcomposite1_1%3a0.4.3-2build2_i386.deb) ... Selecting previously unselected package libxfixes3:i386. Unpacking libxfixes3:i386 (from .../libxfixes3_1%3a5.0-4ubuntu5_i386.deb) ... Selecting previously unselected package libxcursor1:i386. Unpacking libxcursor1:i386 (from .../libxcursor1_1%3a1.1.13-1_i386.deb) ... Selecting previously unselected package libxdamage1:i386. Unpacking libxdamage1:i386 (from .../libxdamage1_1%3a1.1.3-2build2_i386.deb) ... Selecting previously unselected package libxi6:i386. Unpacking libxi6:i386 (from .../libxi6_2%3a1.6.99.1-0ubuntu3_i386.deb) ... Selecting previously unselected package libxinerama1:i386. Unpacking libxinerama1:i386 (from .../libxinerama1_2%3a1.1.2-1_i386.deb) ... Selecting previously unselected package libxrandr2:i386. Unpacking libxrandr2:i386 (from .../libxrandr2_2%3a1.4.0-1ubuntu1_i386.deb) ... Selecting previously unselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_1.1-0ubuntu2_i386.deb) ... Selecting previously unselected package libgtk2.0-0:i386. Unpacking libgtk2.0-0:i386 (from .../libgtk2.0-0_2.24.17-0ubuntu2_i386.deb) ... Selecting previously unselected package libglade2-0:i386. Unpacking libglade2-0:i386 (from .../libglade2-0_1%3a2.6.4-1ubuntu2_i386.deb) ... Selecting previously unselected package libltdl7:i386. Unpacking libltdl7:i386 (from .../libltdl7_2.4.2-1.2ubuntu1_i386.deb) ... Selecting previously unselected package libtdb1:i386. Unpacking libtdb1:i386 (from .../libtdb1_1.2.10-2ubuntu1_i386.deb) ... Selecting previously unselected package libogg0:i386. Unpacking libogg0:i386 (from .../libogg0_1.3.0-4_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.7.pristine-2_all.deb) ... Selecting previously unselected package libcanberra0:i386. Unpacking libcanberra0:i386 (from .../libcanberra0_0.30-0ubuntu2_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.8-1ubuntu8_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.8-1ubuntu8_i386.deb) ... Selecting previously unselected package libpython2.7-minimal:i386. Unpacking libpython2.7-minimal:i386 (from .../libpython2.7-minimal_2.7.4-2ubuntu3_i386.deb) ... Selecting previously unselected package python2.7-minimal. Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.4-2ubuntu3_i386.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.52-2ubuntu1_all.deb) ... Selecting previously unselected package libpython2.7-stdlib:i386. Unpacking libpython2.7-stdlib:i386 (from .../libpython2.7-stdlib_2.7.4-2ubuntu3_i386.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.4-2ubuntu3_i386.deb) ... Selecting previously unselected package python-minimal. Unpacking python-minimal (from .../python-minimal_2.7.4-0ubuntu1_i386.deb) ... Selecting previously unselected package libpython-stdlib:i386. Unpacking libpython-stdlib:i386 (from .../libpython-stdlib_2.7.4-0ubuntu1_i386.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.4-0ubuntu1_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-1ubuntu5_i386.deb) ... Selecting previously unselected package libgnomevfs2-0:i386. Unpacking libgnomevfs2-0:i386 (from .../libgnomevfs2-0_1%3a2.24.4-1ubuntu5_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.17-0ubuntu2_i386.deb) ... Selecting previously unselected package libgnomecanvas2-common. Unpacking libgnomecanvas2-common (from .../libgnomecanvas2-common_2.30.3-1ubuntu2_all.deb) ... Selecting previously unselected package libgnomecanvas2-0:i386. Unpacking libgnomecanvas2-0:i386 (from .../libgnomecanvas2-0_2.30.3-1ubuntu2_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.14-0ubuntu1_i386.deb) ... Selecting previously unselected package liblzo2-2:i386. Unpacking liblzo2-2:i386 (from .../liblzo2-2_2.06-1build1_i386.deb) ... Selecting previously unselected package libcairo-script-interpreter2:i386. Unpacking libcairo-script-interpreter2:i386 (from .../libcairo-script-interpreter2_1.12.14-0ubuntu1_i386.deb) ... Selecting previously unselected package libcroco3:i386. Unpacking libcroco3:i386 (from .../libcroco3_0.6.8-1_i386.deb) ... Selecting previously unselected package libelfg0:i386. Unpacking libelfg0:i386 (from .../libelfg0_0.8.13-4~1_i386.deb) ... Selecting previously unselected package libunistring0:i386. Unpacking libunistring0:i386 (from .../libunistring0_0.9.3-5build1_i386.deb) ... Selecting previously unselected package libgettextpo0:i386. Unpacking libgettextpo0:i386 (from .../libgettextpo0_0.18.1.1-10ubuntu3_i386.deb) ... Selecting previously unselected package libglib2.0-data. Unpacking libglib2.0-data (from .../libglib2.0-data_2.36.0-1ubuntu2_all.deb) ... Selecting previously unselected package libglib2.0-bin. Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.36.0-1ubuntu2_i386.deb) ... Selecting previously unselected package libgnome-keyring-common. Unpacking libgnome-keyring-common (from .../libgnome-keyring-common_3.6.0-1_all.deb) ... Selecting previously unselected package libgnome-keyring0:i386. Unpacking libgnome-keyring0:i386 (from .../libgnome-keyring0_3.6.0-1_i386.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.7+1ubuntu4_all.deb) ... Selecting previously unselected package libice6:i386. Unpacking libice6:i386 (from .../libice6_2%3a1.0.8-2_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 libgnutls-openssl27:i386. Unpacking libgnutls-openssl27:i386 (from .../libgnutls-openssl27_2.12.23-1ubuntu1_i386.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 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.36.4-1_i386.deb) ... Selecting previously unselected package libgnutlsxx27:i386. Unpacking libgnutlsxx27:i386 (from .../libgnutlsxx27_2.12.23-1ubuntu1_i386.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_5.11-2ubuntu4_i386.deb) ... Selecting previously unselected package libtext-iconv-perl. Unpacking libtext-iconv-perl (from .../libtext-iconv-perl_1.7-5build1_i386.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-10ubuntu3_i386.deb) ... Selecting previously unselected package libgirepository-1.0-1. Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_1.36.0-2_i386.deb) ... Selecting previously unselected package gir1.2-glib-2.0. Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_1.36.0-2_i386.deb) ... Selecting previously unselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1build1_i386.deb) ... Selecting previously unselected package dictionaries-common. Unpacking dictionaries-common (from .../dictionaries-common_1.12.11_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 html2text. Unpacking html2text (from .../html2text_1.3.2a-15ubuntu3_i386.deb) ... Selecting previously unselected package libasprintf-dev:i386. Unpacking libasprintf-dev:i386 (from .../libasprintf-dev_0.18.1.1-10ubuntu3_i386.deb) ... Selecting previously unselected package libgettextpo-dev:i386. Unpacking libgettextpo-dev:i386 (from .../libgettextpo-dev_0.18.1.1-10ubuntu3_i386.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-10ubuntu3_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 dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.8.0-0ubuntu11_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120909ubuntu1_all.deb) ... Selecting previously unselected package gir1.2-atk-1.0. Unpacking gir1.2-atk-1.0 (from .../gir1.2-atk-1.0_2.8.0-2_i386.deb) ... Selecting previously unselected package gir1.2-freedesktop. Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_1.36.0-2_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.28.0-1ubuntu1_i386.deb) ... Selecting previously unselected package gir1.2-gnomekeyring-1.0. Unpacking gir1.2-gnomekeyring-1.0 (from .../gir1.2-gnomekeyring-1.0_3.6.0-1_i386.deb) ... Selecting previously unselected package gir1.2-pango-1.0. Unpacking gir1.2-pango-1.0 (from .../gir1.2-pango-1.0_1.32.5-0ubuntu1_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.17-0ubuntu2_i386.deb) ... Selecting previously unselected package gir1.2-rsvg-2.0. Unpacking gir1.2-rsvg-2.0 (from .../gir1.2-rsvg-2.0_2.36.4-1_i386.deb) ... Selecting previously unselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.26-1ubuntu3_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 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.7.dfsg-13ubuntu2_i386.deb) ... Selecting previously unselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.36.0-1ubuntu2_i386.deb) ... Selecting previously unselected package libatk1.0-dev. Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.8.0-2_i386.deb) ... Selecting previously unselected package libavahi-common-dev. Unpacking libavahi-common-dev (from .../libavahi-common-dev_0.6.31-1ubuntu3_i386.deb) ... Selecting previously unselected package libdbus-1-dev:i386. Unpacking libdbus-1-dev:i386 (from .../libdbus-1-dev_1.6.8-1ubuntu8_i386.deb) ... Selecting previously unselected package libavahi-client-dev. Unpacking libavahi-client-dev (from .../libavahi-client-dev_0.6.31-1ubuntu3_i386.deb) ... Selecting previously unselected package libavahi-glib-dev. Unpacking libavahi-glib-dev (from .../libavahi-glib-dev_0.6.31-1ubuntu3_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.1ubuntu2_i386.deb) ... Selecting previously unselected package libpopt-dev:i386. Unpacking libpopt-dev:i386 (from .../libpopt-dev_1.16-7ubuntu3_i386.deb) ... Selecting previously unselected package libbonobo2-dev:i386. Unpacking libbonobo2-dev:i386 (from .../libbonobo2-dev_2.32.1-0ubuntu3_i386.deb) ... Selecting previously unselected package xorg-sgml-doctools. Unpacking xorg-sgml-doctools (from .../xorg-sgml-doctools_1%3a1.10-1_all.deb) ... Selecting previously unselected package x11proto-core-dev. Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.23-1_all.deb) ... Selecting previously unselected package libxau-dev:i386. Unpacking libxau-dev:i386 (from .../libxau-dev_1%3a1.0.7-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.2.99.1-0ubuntu1_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:i386. Unpacking libpthread-stubs0:i386 (from .../libpthread-stubs0_0.3-3_i386.deb) ... Selecting previously unselected package libpthread-stubs0-dev:i386. Unpacking libpthread-stubs0-dev:i386 (from .../libpthread-stubs0-dev_0.3-3_i386.deb) ... Selecting previously unselected package libxcb1-dev:i386. Unpacking libxcb1-dev:i386 (from .../libxcb1-dev_1.8.1-2ubuntu2_i386.deb) ... Selecting previously unselected package libx11-dev:i386. Unpacking libx11-dev:i386 (from .../libx11-dev_2%3a1.5.0-1ubuntu1_i386.deb) ... Selecting previously unselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.49-1ubuntu2_i386.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.28.0-1ubuntu1_i386.deb) ... Selecting previously unselected package libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.11-0ubuntu1_i386.deb) ... Selecting previously unselected package libharfbuzz-dev. Unpacking libharfbuzz-dev (from .../libharfbuzz-dev_0.9.16-1_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.7-1_i386.deb) ... Selecting previously unselected package libexpat1-dev:i386. Unpacking libexpat1-dev:i386 (from .../libexpat1-dev_2.1.0-3_i386.deb) ... Selecting previously unselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.10.2-0ubuntu2_i386.deb) ... Selecting previously unselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.3.1-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.28.2-0ubuntu1_i386.deb) ... Selecting previously unselected package libxcb-render0-dev:i386. Unpacking libxcb-render0-dev:i386 (from .../libxcb-render0-dev_1.8.1-2ubuntu2_i386.deb) ... Selecting previously unselected package libxcb-shm0-dev:i386. Unpacking libxcb-shm0-dev:i386 (from .../libxcb-shm0-dev_1.8.1-2ubuntu2_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.1-2_i386.deb) ... Selecting previously unselected package libcairo2-dev. Unpacking libcairo2-dev (from .../libcairo2-dev_1.12.14-0ubuntu1_i386.deb) ... Selecting previously unselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.32.5-0ubuntu1_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.2-1_i386.deb) ... Selecting previously unselected package libxi-dev. Unpacking libxi-dev (from .../libxi-dev_2%3a1.6.99.1-0ubuntu3_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. Unpacking libxrandr-dev (from .../libxrandr-dev_2%3a1.4.0-1ubuntu1_i386.deb) ... Selecting previously unselected package x11proto-fixes-dev. Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a5.0-2ubuntu1_all.deb) ... Selecting previously unselected package libxfixes-dev. Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a5.0-4ubuntu5_i386.deb) ... Selecting previously unselected package libxcursor-dev:i386. Unpacking libxcursor-dev:i386 (from .../libxcursor-dev_1%3a1.1.13-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.3-2build2_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. Unpacking libxdamage-dev (from .../libxdamage-dev_1%3a1.1.3-2build2_i386.deb) ... Selecting previously unselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.9.0+dfsg1-4ubuntu5_i386.deb) ... Selecting previously unselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.17-0ubuntu2_i386.deb) ... Selecting previously unselected package libgail-common:i386. Unpacking libgail-common:i386 (from .../libgail-common_2.24.17-0ubuntu2_i386.deb) ... Selecting previously unselected package libgail-dev. Unpacking libgail-dev (from .../libgail-dev_2.24.17-0ubuntu2_i386.deb) ... Selecting previously unselected package libgnomecanvas2-dev:i386. Unpacking libgnomecanvas2-dev:i386 (from .../libgnomecanvas2-dev_2.30.3-1ubuntu2_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.10-3.1ubuntu1_i386.deb) ... Selecting previously unselected package libgcrypt11-dev. Unpacking libgcrypt11-dev (from .../libgcrypt11-dev_1.5.0-3ubuntu2.1_i386.deb) ... Selecting previously unselected package libtasn1-3-dev. Unpacking libtasn1-3-dev (from .../libtasn1-3-dev_2.14-2_i386.deb) ... Selecting previously unselected package libp11-kit-dev. Unpacking libp11-kit-dev (from .../libp11-kit-dev_0.14-1_i386.deb) ... Selecting previously unselected package libgnutls-dev. Unpacking libgnutls-dev (from .../libgnutls-dev_2.12.23-1ubuntu1_i386.deb) ... Selecting previously unselected package libxml2-dev:i386. Unpacking libxml2-dev:i386 (from .../libxml2-dev_2.9.0+dfsg1-4ubuntu5_i386.deb) ... Selecting previously unselected package libsepol1-dev. Unpacking libsepol1-dev (from .../libsepol1-dev_2.1.4-3ubuntu2_i386.deb) ... Selecting previously unselected package libselinux1-dev. Unpacking libselinux1-dev (from .../libselinux1-dev_2.1.9-5ubuntu1_i386.deb) ... Selecting previously unselected package libgnomevfs2-dev:i386. Unpacking libgnomevfs2-dev:i386 (from .../libgnomevfs2-dev_1%3a2.24.4-1ubuntu5_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 libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7build1_i386.deb) ... Selecting previously unselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-7build1_i386.deb) ... Selecting previously unselected package libglade2-dev:i386. Unpacking libglade2-dev:i386 (from .../libglade2-dev_1%3a2.6.4-1ubuntu2_i386.deb) ... Selecting previously unselected package libgnome-keyring-dev. Unpacking libgnome-keyring-dev (from .../libgnome-keyring-dev_3.6.0-1_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.36.4-1_i386.deb) ... Selecting previously unselected package librsvg2-dev. Unpacking librsvg2-dev (from .../librsvg2-dev_2.36.4-1_i386.deb) ... Selecting previously unselected package libtinfo-dev:i386. Unpacking libtinfo-dev:i386 (from .../libtinfo-dev_5.9-10ubuntu4_i386.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-10ubuntu4_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 dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_1.0.7_all.deb) ... Processing triggers for libglib2.0-0:i386 ... No schema files found: doing nothing. Setting up libexpat1:i386 (2.1.0-3) ... Setting up libmagic1:i386 (5.11-2ubuntu4) ... Setting up libpopt0:i386 (1.16-7ubuntu3) ... Setting up libssl1.0.0:i386 (1.0.1c-4ubuntu8) ... Setting up libasprintf0c2:i386 (0.18.1.1-10ubuntu3) ... Setting up libdbus-glib-1-2:i386 (0.100.2-1) ... Setting up libpipeline1:i386 (1.2.3-1) ... Setting up libsystemd-login0:i386 (202-0ubuntu5) ... Setting up libxau6:i386 (1:1.0.7-1) ... Setting up libxdmcp6:i386 (1:1.1.1-1) ... Setting up libxcb1:i386 (1.8.1-2ubuntu2) ... Setting up libx11-data (2:1.5.0-1ubuntu1) ... Setting up libx11-6:i386 (2:1.5.0-1ubuntu1) ... Setting up libxext6:i386 (2:1.3.1-2) ... Setting up libxml2:i386 (2.9.0+dfsg1-4ubuntu5) ... Setting up groff-base (1.22.2-2) ... Setting up bsdmainutils (9.0.4ubuntu4) ... 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.3-6) ... Not building database; man-db/auto-update is not 'true'. Setting up ucf (3.0025+nmu3) ... Setting up ttf-dejavu-core (2.33-3ubuntu2) ... Setting up fontconfig-config (2.10.2-0ubuntu2) ... Setting up libart-2.0-2:i386 (2.3.21-2) ... Setting up libasound2:i386 (1.0.25-4ubuntu4) ... Setting up libatk1.0-data (2.8.0-2) ... Setting up libatk1.0-0:i386 (2.8.0-2) ... Setting up libavahi-common-data:i386 (0.6.31-1ubuntu3) ... Setting up libavahi-common3:i386 (0.6.31-1ubuntu3) ... Setting up libavahi-client3:i386 (0.6.31-1ubuntu3) ... Setting up libavahi-glib1:i386 (0.6.31-1ubuntu3) ... Setting up libbonobo2-common (2.32.1-0ubuntu3) ... 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.1ubuntu2) ... Setting up libbonobo2-0:i386 (2.32.1-0ubuntu3) ... 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.2.1-0ubuntu2) ... Setting up libjpeg8:i386 (8c-2ubuntu7) ... Setting up libjasper1:i386 (1.900.1-14) ... Setting up libjbig0:i386 (2.0-2ubuntu1) ... Setting up libtiff5:i386 (4.0.2-4ubuntu2) ... Setting up libgdk-pixbuf2.0-common (2.28.0-1ubuntu1) ... Setting up libgdk-pixbuf2.0-0:i386 (2.28.0-1ubuntu1) ... Setting up libgtk2.0-common (2.24.17-0ubuntu2) ... Setting up libfreetype6:i386 (2.4.11-0ubuntu1) ... Setting up libfontconfig1:i386 (2.10.2-0ubuntu2) ... Setting up libpixman-1-0:i386 (0.28.2-0ubuntu1) ... Setting up libxcb-render0:i386 (1.8.1-2ubuntu2) ... Setting up libxcb-shm0:i386 (1.8.1-2ubuntu2) ... Setting up libxrender1:i386 (1:0.9.7-1) ... Setting up libcairo2:i386 (1.12.14-0ubuntu1) ... Setting up libcups2:i386 (1.6.2-7) ... Setting up libicu48:i386 (4.8.1.1-12) ... Setting up libharfbuzz0:i386 (0.9.16-1) ... Setting up libthai-data (0.1.19-2) ... Setting up libdatrie1:i386 (0.2.6-2) ... Setting up libthai0:i386 (0.1.19-2) ... Setting up libxft2:i386 (2.3.1-1) ... Setting up fontconfig (2.10.2-0ubuntu2) ... Regenerating fonts cache... done. Setting up libpango1.0-0:i386 (1.32.5-0ubuntu1) ... Setting up libxcomposite1:i386 (1:0.4.3-2build2) ... Setting up libxfixes3:i386 (1:5.0-4ubuntu5) ... Setting up libxcursor1:i386 (1:1.1.13-1) ... Setting up libxdamage1:i386 (1:1.1.3-2build2) ... Setting up libxi6:i386 (2:1.6.99.1-0ubuntu3) ... Setting up libxinerama1:i386 (2:1.1.2-1) ... Setting up libxrandr2:i386 (2:1.4.0-1ubuntu1) ... Setting up shared-mime-info (1.1-0ubuntu2) ... Setting up libgtk2.0-0:i386 (2.24.17-0ubuntu2) ... Setting up libglade2-0:i386 (1:2.6.4-1ubuntu2) ... Setting up libltdl7:i386 (2.4.2-1.2ubuntu1) ... Setting up libtdb1:i386 (1.2.10-2ubuntu1) ... Setting up libogg0:i386 (1.3.0-4) ... Setting up libvorbis0a:i386 (1.3.2-1.3) ... Setting up libvorbisfile3:i386 (1.3.2-1.3) ... Setting up sound-theme-freedesktop (0.7.pristine-2) ... Setting up libcanberra0:i386 (0.30-0ubuntu2) ... Setting up netbase (5.1) ... Setting up dbus (1.6.8-1ubuntu8) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up psmisc (22.20-1ubuntu2) ... Setting up dbus-x11 (1.6.8-1ubuntu8) ... Setting up libpython2.7-minimal:i386 (2.7.4-2ubuntu3) ... Setting up python2.7-minimal (2.7.4-2ubuntu3) ... Linking and byte-compiling packages for runtime python2.7... Setting up mime-support (3.52-2ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libpython2.7-stdlib:i386 (2.7.4-2ubuntu3) ... Setting up python2.7 (2.7.4-2ubuntu3) ... Setting up python-minimal (2.7.4-0ubuntu1) ... Setting up libpython-stdlib:i386 (2.7.4-0ubuntu1) ... Setting up python (2.7.4-0ubuntu1) ... Setting up libgail18:i386 (2.24.17-0ubuntu2) ... Setting up libgnomecanvas2-common (2.30.3-1ubuntu2) ... Setting up libgnomecanvas2-0:i386 (2.30.3-1ubuntu2) ... 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.14-0ubuntu1) ... Setting up liblzo2-2:i386 (2.06-1build1) ... Setting up libcairo-script-interpreter2:i386 (1.12.14-0ubuntu1) ... Setting up libcroco3:i386 (0.6.8-1) ... Setting up libelfg0:i386 (0.8.13-4~1) ... Setting up libunistring0:i386 (0.9.3-5build1) ... Setting up libgettextpo0:i386 (0.18.1.1-10ubuntu3) ... Setting up libglib2.0-data (2.36.0-1ubuntu2) ... Setting up libglib2.0-bin (2.36.0-1ubuntu2) ... Setting up libgnome-keyring-common (3.6.0-1) ... Setting up libgnome-keyring0:i386 (3.6.0-1) ... Setting up x11-common (1:7.7+1ubuntu4) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:i386 (2:1.0.8-2) ... Setting up libsm6:i386 (2:1.2.1-2) ... Setting up libgnomeui-common (2.24.5-2ubuntu3) ... Setting up libgnutls-openssl27:i386 (2.12.23-1ubuntu1) ... Setting up libhunspell-1.3-0:i386 (1.3.2-4ubuntu1) ... Setting up libpcrecpp0:i386 (1:8.31-2) ... Setting up librsvg2-2:i386 (2.36.4-1) ... Setting up libgnutlsxx27:i386 (2.12.23-1ubuntu1) ... Setting up file (5.11-2ubuntu4) ... Setting up libtext-iconv-perl (1.7-5build1) ... Setting up gettext-base (0.18.1.1-10ubuntu3) ... Setting up libgirepository-1.0-1 (1.36.0-2) ... Setting up gir1.2-glib-2.0 (1.36.0-2) ... Setting up libaspell15 (0.60.7~20110707-1build1) ... Setting up dictionaries-common (1.12.11) ... Setting up html2text (1.3.2a-15ubuntu3) ... Setting up libasprintf-dev:i386 (0.18.1.1-10ubuntu3) ... Setting up libgettextpo-dev:i386 (0.18.1.1-10ubuntu3) ... Setting up gettext (0.18.1.1-10ubuntu3) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.8.0-0ubuntu11) ... Setting up debhelper (9.20120909ubuntu1) ... Setting up gir1.2-atk-1.0 (2.8.0-2) ... Setting up gir1.2-freedesktop (1.36.0-2) ... Setting up gir1.2-gdkpixbuf-2.0 (2.28.0-1ubuntu1) ... Setting up gir1.2-gnomekeyring-1.0 (3.6.0-1) ... Setting up gir1.2-pango-1.0 (1.32.5-0ubuntu1) ... Setting up gir1.2-gtk-2.0 (2.24.17-0ubuntu2) ... Setting up gir1.2-rsvg-2.0 (2.36.4-1) ... Setting up pkg-config (0.26-1ubuntu3) ... Setting up libart-2.0-dev (2.3.21-2) ... Setting up libpcre3-dev:i386 (1:8.31-2) ... Setting up zlib1g-dev:i386 (1:1.2.7.dfsg-13ubuntu2) ... Setting up libglib2.0-dev (2.36.0-1ubuntu2) ... Setting up libatk1.0-dev (2.8.0-2) ... Setting up libavahi-common-dev (0.6.31-1ubuntu3) ... Setting up libdbus-1-dev:i386 (1.6.8-1ubuntu8) ... Setting up libavahi-client-dev (0.6.31-1ubuntu3) ... Setting up libavahi-glib-dev (0.6.31-1ubuntu3) ... Setting up libidl-dev:i386 (0.8.14-0.2ubuntu3) ... Setting up liborbit2-dev (1:2.14.19-0.1ubuntu2) ... Setting up libpopt-dev:i386 (1.16-7ubuntu3) ... Setting up libbonobo2-dev:i386 (2.32.1-0ubuntu3) ... Setting up xorg-sgml-doctools (1:1.10-1) ... Setting up x11proto-core-dev (7.0.23-1) ... Setting up libxau-dev:i386 (1:1.0.7-1) ... Setting up libxdmcp-dev:i386 (1:1.1.1-1) ... Setting up x11proto-input-dev (2.2.99.1-0ubuntu1) ... Setting up x11proto-kb-dev (1.0.6-2) ... Setting up xtrans-dev (1.2.7-1) ... Setting up libpthread-stubs0:i386 (0.3-3) ... Setting up libpthread-stubs0-dev:i386 (0.3-3) ... Setting up libxcb1-dev:i386 (1.8.1-2ubuntu2) ... Setting up libx11-dev:i386 (2:1.5.0-1ubuntu1) ... Setting up libpng12-dev (1.2.49-1ubuntu2) ... Setting up libgdk-pixbuf2.0-dev (2.28.0-1ubuntu1) ... Setting up libfreetype6-dev (2.4.11-0ubuntu1) ... Setting up libharfbuzz-dev (0.9.16-1) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:i386 (1:0.9.7-1) ... Setting up libexpat1-dev:i386 (2.1.0-3) ... Setting up libfontconfig1-dev (2.10.2-0ubuntu2) ... Setting up libxft-dev (2.3.1-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.28.2-0ubuntu1) ... Setting up libxcb-render0-dev:i386 (1.8.1-2ubuntu2) ... Setting up libxcb-shm0-dev:i386 (1.8.1-2ubuntu2) ... Setting up x11proto-xext-dev (7.2.1-1) ... Setting up libxext-dev:i386 (2:1.3.1-2) ... Setting up libcairo2-dev (1.12.14-0ubuntu1) ... Setting up libpango1.0-dev (1.32.5-0ubuntu1) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev:i386 (2:1.1.2-1) ... Setting up libxi-dev (2:1.6.99.1-0ubuntu3) ... Setting up x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1) ... Setting up libxrandr-dev (2:1.4.0-1ubuntu1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu1) ... Setting up libxfixes-dev (1:5.0-4ubuntu5) ... Setting up libxcursor-dev:i386 (1:1.1.13-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.3-2build2) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev (1:1.1.3-2build2) ... Setting up libxml2-utils (2.9.0+dfsg1-4ubuntu5) ... Setting up libgtk2.0-dev (2.24.17-0ubuntu2) ... Setting up libgail-common:i386 (2.24.17-0ubuntu2) ... Setting up libgail-dev (2.24.17-0ubuntu2) ... Setting up libgnomecanvas2-dev:i386 (2.30.3-1ubuntu2) ... Setting up libgpg-error-dev (1.10-3.1ubuntu1) ... Setting up libgcrypt11-dev (1.5.0-3ubuntu2.1) ... Setting up libtasn1-3-dev (2.14-2) ... Setting up libp11-kit-dev (0.14-1) ... Setting up libgnutls-dev (2.12.23-1ubuntu1) ... Setting up libxml2-dev:i386 (2.9.0+dfsg1-4ubuntu5) ... Setting up libsepol1-dev (2.1.4-3ubuntu2) ... Setting up libselinux1-dev (2.1.9-5ubuntu1) ... Setting up libcanberra-dev:i386 (0.30-0ubuntu2) ... Setting up libglade2-dev:i386 (1:2.6.4-1ubuntu2) ... Setting up libgnome-keyring-dev (3.6.0-1) ... 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.36.4-1) ... Setting up librsvg2-dev (2.36.4-1) ... Setting up libtinfo-dev:i386 (5.9-10ubuntu4) ... Setting up libncurses5-dev (5.9-10ubuntu4) ... 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 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 (1.6.0-7build1) ... Setting up libenchant-dev (1.6.0-7build1) ... 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 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:436): 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-1ubuntu5) ... Setting up libgnomevfs2-0:i386 (1:2.24.4-1ubuntu5) ... 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-1ubuntu5) ... 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 ... ldconfig deferred processing now taking place Processing triggers for libgdk-pixbuf2.0-0:i386 ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.17-0ubuntu5 make_3.81-8.2ubuntu2 dpkg-dev_1.16.10ubuntu1 gcc-4.8_4.8.0-6ubuntu1 g++-4.8_4.8.0-6ubuntu1 binutils_2.23.2-2ubuntu1 libstdc++-4.8-dev_4.8.0-6ubuntu1 libstdc++6_4.8.0-6ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Fri May 10 20:28:21 2013 UTC using DSA key ID E0BA04C1 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./alt-ergo_0.95.1-2.dsc dpkg-source: info: extracting alt-ergo in alt-ergo-0.95.1 dpkg-source: info: unpacking alt-ergo_0.95.1.orig.tar.gz dpkg-source: info: unpacking alt-ergo_0.95.1-2.debian.tar.gz dpkg-source: info: applying 0001-No-need-to-activate-debug-flag.patch dpkg-source: info: applying 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch dpkg-source: info: applying 0003-Fix-a-typo.patch dpkg-source: info: applying 0004-Add-rules-and-targets-for-gui.byte.patch dpkg-source: info: applying 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch dpkg-source: info: applying 0007-Fix-all-target.patch dpkg-source: info: applying 0008-Split-install-pack-into-two-separate-targets-opt-and.patch dpkg-source: info: applying 0009-clean-remove-META.patch dpkg-buildpackage: source package alt-ergo dpkg-buildpackage: source version 0.95.1-2 dpkg-source --before-build alt-ergo-0.95.1 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.1' if [ -f Makefile ]; then \ /usr/bin/make dist-clean; \ fi for i in .depend; do \ [ ! -f $i.debian ] || mv $i.debian $i; \ done make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.1' dh_ocamlclean dh_clean debian/rules build dh --with ocaml build dh_testdir dh_ocamlinit debian/rules override_dh_auto_configure make[1]: Entering directory `/build/buildd/alt-ergo-0.95.1' ./configure --host=i686-linux-gnu \ --build=i686-linux-gnu \ --prefix=/usr \ --libdir=/usr/lib/ocaml \ --mandir=\${prefix}/share/man 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 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 make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.1' debian/rules override_dh_auto_build make[1]: Entering directory `/build/buildd/alt-ergo-0.95.1' for i in .depend; do \ cp -ax $i $i.debian; \ done # we have to assure that configure is newer than configure.in since # patch 0005 patches them both (see bug #669539) touch configure /usr/bin/make all make[2]: Entering directory `/build/buildd/alt-ergo-0.95.1' ./config.status --recheck running CONFIG_SHELL=/bin/bash /bin/bash ./configure --host=i686-linux-gnu --build=i686-linux-gnu --prefix=/usr --libdir=/usr/lib/ocaml --mandir=${prefix}/share/man build_alias=i686-linux-gnu host_alias=i686-linux-gnu --no-create --no-recursion 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 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 ocamlyacc -v why_parser.mly ocamllex why_lexer.mll > /dev/null ocamlyacc -v smt_parser.mly ocamllex smt_lex.mll > /dev/null ocamlyacc -v smtlib2_parse.mly ocamllex smtlib2_lex.mll > /dev/null ./config.status config.status: creating Makefile config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting make[2]: Leaving directory `/build/buildd/alt-ergo-0.95.1' make[2]: Entering directory `/build/buildd/alt-ergo-0.95.1' ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads version.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads print_color.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads print_color.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads preoptions.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads preoptions.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads timers.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads timers.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads options.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads options.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads hashcons.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads hstring.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads ty.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads symbols.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads subst.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads term.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads literal.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads formula.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads explanation.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads exception.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads exception.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads loc.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads hashcons.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads hstring.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads symbols.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads subst.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads ty.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads why_ptree.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads common.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads common.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads existantial.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads existantial.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads why_parser.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads why_parser.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads why_lexer.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads pretty.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads pretty.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smt_ast.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smt_parser.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smt_parser.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smt_lex.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smt_to_why.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smtlib2_util.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smtlib2_ast.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smtlib2_parse.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smtlib2_parse.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smtlib2_lex.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads smtlib2_to_why.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads triggers.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads triggers.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads why_typing.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads why_typing.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads term.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads literal.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads formula.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads cnf.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads cnf.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads boxed.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads sig.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads matching.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads matching.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads explanation.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads polynome.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads polynome.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads ac.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads ac.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads intervals.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads intervals.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads fm.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads fm.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads arith.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads arith.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads records.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads records.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads bitv.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads bitv.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads arrays.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads arrays.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads sum.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads sum.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads combine.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads combine.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads use.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads uf.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads incr_match.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads incr_match.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads boxed.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads instantiation.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads instantiation.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads custom_theory.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads custom_theory.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads uf.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads use.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads cc.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads cc.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads sat.mli ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads sat.ml ocamlc -annot -I +ocamlgraph -I +lablgtk2 -I +threads -pack -o altErgo.cmo version.cmo print_color.cmo preoptions.cmo timers.cmo options.cmo exception.cmo loc.cmo hashcons.cmo hstring.cmo symbols.cmo subst.cmo ty.cmo common.cmo existantial.cmo why_parser.cmo why_lexer.cmo pretty.cmo smt_parser.cmo smt_lex.cmo smt_to_why.cmo smtlib2_util.cmo smtlib2_ast.cmo smtlib2_parse.cmo smtlib2_lex.cmo smtlib2_to_why.cmo triggers.cmo why_typing.cmo term.cmo literal.cmo formula.cmo cnf.cmo matching.cmo explanation.cmo polynome.cmo ac.cmo intervals.cmo fm.cmo arith.cmo records.cmo bitv.cmo arrays.cmo sum.cmo combine.cmo incr_match.cmo boxed.cmo instantiation.cmo custom_theory.cmo uf.cmo use.cmo cc.cmo sat.cmo ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo version.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo print_color.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo preoptions.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo timers.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo options.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo hashcons.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo hstring.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo ty.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo symbols.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo subst.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo common.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo term.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo literal.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo formula.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo explanation.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo exception.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo loc.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo existantial.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo why_parser.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo why_lexer.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo pretty.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo smt_parser.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo smt_lex.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo smt_to_why.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo smtlib2_util.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo smtlib2_ast.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo smtlib2_parse.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo smtlib2_lex.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo smtlib2_to_why.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo triggers.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo why_typing.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo cnf.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo matching.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo polynome.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo ac.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo intervals.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo fm.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo arith.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo records.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo bitv.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo arrays.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo sum.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo combine.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo use.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo uf.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo incr_match.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo boxed.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo instantiation.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo custom_theory.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo cc.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo sat.ml ocamlopt -I +ocamlgraph -I +lablgtk2 -I +threads -pack -o altErgo.cmx version.cmx print_color.cmx preoptions.cmx timers.cmx options.cmx exception.cmx loc.cmx hashcons.cmx hstring.cmx symbols.cmx subst.cmx ty.cmx common.cmx existantial.cmx why_parser.cmx why_lexer.cmx pretty.cmx smt_parser.cmx smt_lex.cmx smt_to_why.cmx smtlib2_util.cmx smtlib2_ast.cmx smtlib2_parse.cmx smtlib2_lex.cmx smtlib2_to_why.cmx triggers.cmx why_typing.cmx term.cmx literal.cmx formula.cmx cnf.cmx matching.cmx explanation.cmx polynome.cmx ac.cmx intervals.cmx fm.cmx arith.cmx records.cmx bitv.cmx arrays.cmx sum.cmx combine.cmx incr_match.cmx boxed.cmx instantiation.cmx custom_theory.cmx uf.cmx use.cmx cc.cmx sat.cmx ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo parseoptions.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads pruning.mli ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo pruning.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads frontend.mli ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo frontend.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo main.ml ocamlopt -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo -o alt-ergo.opt nums.cmxa graph.cmxa unix.cmxa version.cmx print_color.cmx preoptions.cmx parseoptions.cmx timers.cmx options.cmx exception.cmx loc.cmx hashcons.cmx hstring.cmx symbols.cmx subst.cmx ty.cmx common.cmx existantial.cmx why_parser.cmx why_lexer.cmx pretty.cmx smt_parser.cmx smt_lex.cmx smt_to_why.cmx smtlib2_util.cmx smtlib2_ast.cmx smtlib2_parse.cmx smtlib2_lex.cmx smtlib2_to_why.cmx triggers.cmx why_typing.cmx term.cmx literal.cmx formula.cmx cnf.cmx matching.cmx explanation.cmx polynome.cmx ac.cmx intervals.cmx fm.cmx arith.cmx records.cmx bitv.cmx arrays.cmx sum.cmx combine.cmx incr_match.cmx boxed.cmx instantiation.cmx custom_theory.cmx uf.cmx use.cmx cc.cmx sat.cmx pruning.cmx frontend.cmx main.cmx ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads gui_session.mli ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo gui_session.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads why_annoted.mli ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo why_annoted.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads why_connected.mli ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo why_connected.ml ocamlc -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads gui_replay.mli ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo gui_replay.ml ocamlopt -c -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo gui.ml ocamlopt -annot -I +ocamlgraph -I +lablgtk2 -I +threads -for-pack AltErgo -o altgr-ergo.opt nums.cmxa graph.cmxa unix.cmxa threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.cmx version.cmx print_color.cmx preoptions.cmx parseoptions.cmx timers.cmx options.cmx exception.cmx loc.cmx hashcons.cmx hstring.cmx symbols.cmx subst.cmx ty.cmx common.cmx existantial.cmx why_parser.cmx why_lexer.cmx pretty.cmx smt_parser.cmx smt_lex.cmx smt_to_why.cmx smtlib2_util.cmx smtlib2_ast.cmx smtlib2_parse.cmx smtlib2_lex.cmx smtlib2_to_why.cmx triggers.cmx why_typing.cmx term.cmx literal.cmx formula.cmx cnf.cmx matching.cmx explanation.cmx polynome.cmx ac.cmx intervals.cmx fm.cmx arith.cmx records.cmx bitv.cmx arrays.cmx sum.cmx combine.cmx incr_match.cmx boxed.cmx instantiation.cmx custom_theory.cmx uf.cmx use.cmx cc.cmx sat.cmx pruning.cmx frontend.cmx gui_session.cmx why_annoted.cmx why_connected.cmx gui_replay.cmx gui.cmx make[2]: Leaving directory `/build/buildd/alt-ergo-0.95.1' make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.1' dh_auto_test make[1]: Entering directory `/build/buildd/alt-ergo-0.95.1' [ ! -f test.mlw ] || ./alt-ergo.opt test.mlw make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.1' /usr/bin/fakeroot debian/rules binary dh --with ocaml binary dh_testroot dh_prep dh_installdirs dh_auto_install make[1]: Entering directory `/build/buildd/alt-ergo-0.95.1' mkdir -p /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/share/man/man1 cp -f doc/*.1 /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/share/man/man1 mkdir -p /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.cmo /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.cmi /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/lib/ocaml/alt-ergo cp -f META /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/lib/ocaml/alt-ergo mkdir -p /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.cmx /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.o /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/lib/ocaml/alt-ergo mkdir -p /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/bin cp -f alt-ergo.opt /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/bin/alt-ergo cp -f altgr-ergo.opt /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/bin/altgr-ergo mkdir -p /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/share/gtksourceview-2.0/language-specs cp -f util/gtk-lang/alt-ergo.lang /build/buildd/alt-ergo-0.95.1/debian/tmp/usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.1' dh_install dh_ocamldoc dh_installdocs dh_installchangelogs dh_installexamples dh_installman dh_installcatalogs dh_installcron dh_installdebconf dh_installemacsen dh_installifupdown dh_installinfo dh_installinit dh_installmenu dh_installmime dh_installmodules dh_installlogcheck dh_installlogrotate dh_installpam dh_installppp dh_installudev dh_installwm dh_installxfonts dh_installgsettings dh_bugfiles dh_ucf dh_lintian dh_gconf dh_icons dh_perl dh_usrlocal 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.1-2_i386.ddeb'. libalt-ergo-ocaml-dev is already stripped, ignoring dh_makeshlibs dh_shlibdeps dh_installdeb dh_ocaml W: libalt-ergo-ocaml-dev v0.95.1-2 doesn't resolve dependency on unit Why_ptree W: libalt-ergo-ocaml-dev v0.95.1-2 doesn't resolve dependency on unit Sig W: libalt-ergo-ocaml-dev v0.95.1-2 doesn't resolve dependency on unit Smt_ast 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 117 pkgstriptranslations: processing alt-ergo (in debian/alt-ergo); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/alt-ergo/DEBIAN/control, package alt-ergo, directory debian/alt-ergo pkgstripfiles: Truncating usr/share/doc/alt-ergo/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package alt-ergo took 0 s dpkg-deb: warning: 'debian/alt-ergo/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `alt-ergo' in `../alt-ergo_0.95.1-2_i386.deb'. INFO: pkgstriptranslations version 117 pkgstriptranslations: processing libalt-ergo-ocaml-dev (in debian/libalt-ergo-ocaml-dev); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libalt-ergo-ocaml-dev/DEBIAN/control, package libalt-ergo-ocaml-dev, directory debian/libalt-ergo-ocaml-dev pkgstripfiles: Truncating usr/share/doc/libalt-ergo-ocaml-dev/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package libalt-ergo-ocaml-dev took 0 s dpkg-deb: warning: 'debian/libalt-ergo-ocaml-dev/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `libalt-ergo-ocaml-dev' in `../libalt-ergo-ocaml-dev_0.95.1-2_i386.deb'. dpkg-genchanges -b -mUbuntu/amd64 Build Daemon >../alt-ergo_0.95.1-2_i386.changes dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build alt-ergo-0.95.1 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20130511-0520 Publishing debug debs. chroot-autobuild/build/buildd/alt-ergo_0.95.1-2_i386.deb: new debian package, version 2.0. size 1676516 bytes: control archive= 1065 bytes. 1228 bytes, 24 lines control 406 bytes, 6 lines md5sums Package: alt-ergo Version: 0.95.1-2 Architecture: i386 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 4672 Depends: libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango1.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.1-2_i386.deb: new debian package, version 2.0. size 652624 bytes: control archive= 1112 bytes. 1140 bytes, 25 lines control 675 bytes, 9 lines md5sums Package: libalt-ergo-ocaml-dev Source: alt-ergo Version: 0.95.1-2 Architecture: i386 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 2638 Depends: ocaml-nox-3.12.1 Suggests: why 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.1-2_i386.deb: drwxr-xr-x root/root 0 2013-05-11 05:20 ./ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/bin/ -rwxr-xr-x root/root 3008736 2013-05-11 05:20 ./usr/bin/altgr-ergo -rwxr-xr-x root/root 1698680 2013-05-11 05:20 ./usr/bin/alt-ergo drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/man/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/man/man1/ -rw-r--r-- root/root 1177 2013-05-11 05:20 ./usr/share/man/man1/alt-ergo.1.gz drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/doc/alt-ergo/ -rw-r--r-- root/root 24266 2013-05-10 19:19 ./usr/share/doc/alt-ergo/copyright -rw-r--r-- root/root 1731 2013-05-11 05:20 ./usr/share/doc/alt-ergo/changelog.Debian.gz drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/gtksourceview-2.0/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/gtksourceview-2.0/language-specs/ -rw-r--r-- root/root 4309 2013-05-11 05:20 ./usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang chroot-autobuild/build/buildd/libalt-ergo-ocaml-dev_0.95.1-2_i386.deb: drwxr-xr-x root/root 0 2013-05-11 05:20 ./ drwxr-xr-x root/root 0 2013-05-11 05:20 ./var/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./var/lib/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 160 2013-05-11 05:20 ./var/lib/ocaml/md5sums/libalt-ergo-ocaml-dev.md5sums drwxr-xr-x root/root 0 2013-05-11 05:20 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 49 2013-05-11 05:20 ./var/lib/ocaml/lintian/libalt-ergo-ocaml-dev.info drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/share/doc/libalt-ergo-ocaml-dev/ -rw-r--r-- root/root 24266 2013-05-10 19:19 ./usr/share/doc/libalt-ergo-ocaml-dev/copyright -rw-r--r-- root/root 1737 2013-05-11 05:20 ./usr/share/doc/libalt-ergo-ocaml-dev/changelog.Debian.gz drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/lib/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2013-05-11 05:20 ./usr/lib/ocaml/alt-ergo/ -rw-r--r-- root/root 199575 2013-05-11 05:20 ./usr/lib/ocaml/alt-ergo/altErgo.cmi -rw-r--r-- root/root 209 2013-05-11 05:20 ./usr/lib/ocaml/alt-ergo/META -rw-r--r-- root/root 686767 2013-05-11 05:20 ./usr/lib/ocaml/alt-ergo/altErgo.cmo -rw-r--r-- root/root 335121 2013-05-11 05:20 ./usr/lib/ocaml/alt-ergo/altErgo.cmx -rw-r--r-- root/root 1395913 2013-05-11 05:20 ./usr/lib/ocaml/alt-ergo/altErgo.o alt-ergo_0.95.1-2_i386.changes: Format: 1.8 Date: Fri, 10 May 2013 21:19:12 +0200 Source: alt-ergo Binary: alt-ergo libalt-ergo-ocaml-dev Architecture: i386 Version: 0.95.1-2 Distribution: saucy-proposed Urgency: low Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Ralf Treinen 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.1-2) unstable; urgency=low . * upload to unstable Checksums-Sha1: 4b43061bcf745823c0c9e40fcfed8130508d1374 1676516 alt-ergo_0.95.1-2_i386.deb c2ac7fff64de35d7ebe7ce87c1fadeddf88cb646 652624 libalt-ergo-ocaml-dev_0.95.1-2_i386.deb Checksums-Sha256: e733d4d21a2e8c47d74c13bdd429495f3efa87ba04eb47c3802e8bcdaa1f4bef 1676516 alt-ergo_0.95.1-2_i386.deb a727e1bb3a6991272b0ce966a19c9f24c0b3eada8fd50ba360277540eb950914 652624 libalt-ergo-ocaml-dev_0.95.1-2_i386.deb Files: 872c5031d6fffa917209b5a197539abf 1676516 math optional alt-ergo_0.95.1-2_i386.deb 7b9701487867ebc1b81f5c94d1eaa056 652624 ocaml optional libalt-ergo-ocaml-dev_0.95.1-2_i386.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20130511-0520 Build needed 00:01:26, 45000k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', 'cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba'] Scanning for processes to kill in build /home/buildd/build-cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba'] Unmounting chroot for build cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba'] Removing build cb4e0d7b38ca35c3a4f1e49cb681c99f37cddbba