RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux fisher01 3.13.0-8-generic #28-Ubuntu SMP Tue Feb 11 17:58:07 UTC 2014 ppc64le Buildd toolchain package versions: launchpad-buildd_121~0.IS.08.04.0 python-lpbuildd_121~0.IS.08.04.0 dpkg-dev_1.17.5ubuntu4. Syncing the system clock with the buildd NTP service... 17 Feb 17:57:12 ntpdate[12657]: adjust time server 10.211.37.1 offset -0.000114 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5596395', '/home/buildd/filecache-default/1418c9e5f0eb143d9f77e4665c5b7c89c42011cc'] Unpacking chroot for build PACKAGEBUILD-5596395 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5596395'] Mounting chroot for build PACKAGEBUILD-5596395 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5596395', 'deb http://ftpmaster.internal/ubuntu trusty main universe'] Overriding sources.list in build-PACKAGEBUILD-5596395 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5596395', 'ppc64el'] Updating debian chroot for build PACKAGEBUILD-5596395 Ign http://ftpmaster.internal trusty InRelease Ign http://archive-team.internal trusty InRelease Ign http://ftpmaster.internal trusty InRelease Ign http://archive-team.internal trusty Release.gpg Get:1 http://ftpmaster.internal trusty Release.gpg [933 B] Hit http://archive-team.internal trusty Release Get:2 http://ftpmaster.internal trusty Release.gpg [933 B] Ign http://archive-team.internal trusty/main ppc64el Packages/DiffIndex Get:3 http://ftpmaster.internal trusty Release [58.5 kB] Get:4 http://ftpmaster.internal trusty Release [58.5 kB] Get:5 http://ftpmaster.internal trusty/main ppc64el Packages [1210 kB] Ign http://archive-team.internal trusty/main Translation-en Hit http://archive-team.internal trusty/main ppc64el Packages Get:6 http://ftpmaster.internal trusty/universe ppc64el Packages [2696 kB] Get:7 http://ftpmaster.internal trusty/main Translation-en [760 kB] Get:8 http://ftpmaster.internal trusty/universe Translation-en [4057 kB] Get:9 http://ftpmaster.internal trusty/main ppc64el Packages [1226 kB] Get:10 http://ftpmaster.internal trusty/universe ppc64el Packages [5005 kB] Get:11 http://ftpmaster.internal trusty/main Translation-en [760 kB] Get:12 http://ftpmaster.internal trusty/universe Translation-en [4056 kB] Fetched 19.9 MB in 10s (1810 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: gcc-4.9-base libgcc1 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 43.4 kB of archives. After this operation, 1024 B of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.9-base ppc64el 4.9-20140217-0ubuntu1 [14.3 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libgcc1 ppc64el 1:4.9-20140217-0ubuntu1 [29.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 43.4 kB in 0s (89.2 kB/s) (Reading database ... 11450 files and directories currently installed.) Preparing to unpack .../gcc-4.9-base_4.9-20140217-0ubuntu1_ppc64el.deb ... Unpacking gcc-4.9-base:ppc64el (4.9-20140217-0ubuntu1) over (4.9-20140213-0ubuntu2) ... Setting up gcc-4.9-base:ppc64el (4.9-20140217-0ubuntu1) ... (Reading database ... 11450 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a4.9-20140217-0ubuntu1_ppc64el.deb ... Unpacking libgcc1:ppc64el (1:4.9-20140217-0ubuntu1) over (1:4.9-20140213-0ubuntu2) ... Setting up libgcc1:ppc64el (1:4.9-20140217-0ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5596395', 'ppc64el', 'trusty', '--nolog', '--batch', '--archive=ubuntu', '--dist=trusty', '--purpose=PRIMARY', '--architecture=ppc64el', '--comp=universe', 'alt-ergo_0.95.2-1build1.dsc'] Initiating build PACKAGEBUILD-5596395 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 3.13.0-8-generic #28-Ubuntu SMP Tue Feb 11 17:58:07 UTC 2014 ppc64le Automatic build of alt-ergo_0.95.2-1build1 on fisher01 by sbuild/ppc64el 1.170.5 Build started at 20140217-1757 ****************************************************************************** alt-ergo_0.95.2-1build1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), ocaml-nox (>= 3.11.1-3~), libocamlgraph-ocaml-dev (>= 1.1), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~), libzarith-ocaml-dev, dh-ocaml (>= 0.9.0~) Checking for already installed source dependencies... debhelper: missing ocaml-nox: missing libocamlgraph-ocaml-dev: missing liblablgtk2-gnome-ocaml-dev: missing liblablgtksourceview2-ocaml-dev: missing libzarith-ocaml-dev: missing dh-ocaml: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper ocaml-nox libocamlgraph-ocaml-dev liblablgtk2-gnome-ocaml-dev liblablgtksourceview2-ocaml-dev libzarith-ocaml-dev dh-ocaml Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: apparmor-easyprof aspell aspell-en bsdmainutils dbus dbus-x11 dh-apparmor dh-python dictionaries-common file fontconfig fontconfig-config fonts-dejavu-core gconf-service gconf-service-backend gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gconf-2.0 gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gnomekeyring-1.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 gir1.2-rsvg-2.0 groff-base intltool-debian libapparmor1 libart-2.0-2 libart-2.0-dev libasound2 libasound2-data libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client-dev libavahi-client3 libavahi-common-data libavahi-common-dev libavahi-common3 libavahi-glib-dev libavahi-glib1 libbonobo2-0 libbonobo2-common libbonobo2-dev libbonoboui2-0 libbonoboui2-common libbonoboui2-dev libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra-dev libcanberra0 libcroco3 libcups2 libdatrie1 libdbus-1-dev libdbus-glib-1-2 libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgail-common libgail-dev libgail18 libgconf-2-4 libgconf2-dev libgcrypt11-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnome-keyring-common libgnome-keyring-dev libgnome-keyring0 libgnome2-0 libgnome2-bin libgnome2-common libgnome2-dev libgnomecanvas2-0 libgnomecanvas2-common libgnomecanvas2-dev libgnomeui-0 libgnomeui-common libgnomeui-dev libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev libgnutls-dev libgnutls-openssl27 libgnutlsxx27 libgpg-error-dev libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.3-0 libice-dev libice6 libicu52 libidl-common libidl-dev libidl0 libjasper1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-gnome-ocaml liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml libltdl7 liblzo2-2 libmagic1 libmpdec2 libncurses5-dev libogg0 liborbit-2-0 liborbit2 liborbit2-dev libp11-kit-dev libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt-dev libpopt0 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib librsvg2-2 librsvg2-common librsvg2-dev libselinux1-dev libsepol1-dev libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtasn1-3-dev libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml man-db mime-support netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp orbit2 pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.3 python3.3-minimal shared-mime-info sound-theme-freedesktop ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: aspell-doc spellutils wamerican wordlist whois vacation dh-make git emacsen-common jed-extra gconf-defaults-service gettext-doc groff libasound2-plugins alsa-utils libbonobo2-bin libcairo2-doc libcanberra-gtk0 libcanberra-pulse cups-common libenchant-voikko libgail-doc libgcrypt11-doc glade glade-gnome libglib2.0-doc libgmp10-doc libmpfr-dev gnome-keyring desktop-base libgnome2-doc libgnomecanvas2-doc gnome-icon-theme libgnomeui-doc libgnomevfs2-bin libgnomevfs2-extra gamin fam gnome-mime-data gnutls26-doc gnutls-bin libgtk2.0-doc libgtksourceview2.0-doc libice-doc libjasper-runtime liblablgtk2-gl-ocaml-dev ncurses-doc ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp libpango1.0-doc imagemagick librsvg2-bin librsvg2-doc libsm-doc libxcb-doc libxext-doc less www-browser tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc binfmt-support python3-doc python3-tk python3.3-doc Recommended packages: libpam-systemd curl wget lynx-cur libasprintf-dev libgettextpo-dev enchant libgconf2-doc gvfs hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary liblablgtk2-ocaml-doc ocaml-findlib libx11-doc xml-core ledit readline-editor camlp4 libmail-sendmail-perl The following NEW packages will be installed: apparmor-easyprof aspell aspell-en bsdmainutils dbus dbus-x11 debhelper dh-apparmor dh-ocaml dh-python dictionaries-common file fontconfig fontconfig-config fonts-dejavu-core gconf-service gconf-service-backend gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gconf-2.0 gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gnomekeyring-1.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 gir1.2-rsvg-2.0 groff-base intltool-debian libapparmor1 libart-2.0-2 libart-2.0-dev libasound2 libasound2-data libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client-dev libavahi-client3 libavahi-common-data libavahi-common-dev libavahi-common3 libavahi-glib-dev libavahi-glib1 libbonobo2-0 libbonobo2-common libbonobo2-dev libbonoboui2-0 libbonoboui2-common libbonoboui2-dev libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra-dev libcanberra0 libcroco3 libcups2 libdatrie1 libdbus-1-dev libdbus-glib-1-2 libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgail-common libgail-dev libgail18 libgconf-2-4 libgconf2-dev libgcrypt11-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnome-keyring-common libgnome-keyring-dev libgnome-keyring0 libgnome2-0 libgnome2-bin libgnome2-common libgnome2-dev libgnomecanvas2-0 libgnomecanvas2-common libgnomecanvas2-dev libgnomeui-0 libgnomeui-common libgnomeui-dev libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev libgnutls-dev libgnutls-openssl27 libgnutlsxx27 libgpg-error-dev libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.3-0 libice-dev libice6 libicu52 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 libmpdec2 libncurses5-dev libocamlgraph-ocaml-dev libogg0 liborbit-2-0 liborbit2 liborbit2-dev libp11-kit-dev libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt-dev libpopt0 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib librsvg2-2 librsvg2-common librsvg2-dev libselinux1-dev libsepol1-dev libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtasn1-3-dev libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml libzarith-ocaml-dev man-db mime-support netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox orbit2 pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.3 python3.3-minimal shared-mime-info sound-theme-freedesktop ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 268 newly installed, 0 to remove and 0 not upgraded. Need to get 55.1 MB of archives. After this operation, 304 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1 ppc64el 2.1.0-4ubuntu1 [79.5 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libgnutls-openssl27 ppc64el 2.12.23-1ubuntu5 [16.8 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libmagic1 ppc64el 1:5.14-2ubuntu1 [194 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libpopt0 ppc64el 1.16-8ubuntu1 [26.8 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libssl1.0.0 ppc64el 1.0.1f-1ubuntu1 [762 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-minimal ppc64el 3.3.4-1 [393 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main mime-support all 3.54ubuntu1 [31.7 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libmpdec2 ppc64el 2.4.0-6 [83.9 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-stdlib ppc64el 3.3.4-1 [1911 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main python3.3-minimal ppc64el 3.3.4-1 [1119 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libasprintf0c2 ppc64el 0.18.3.1-1ubuntu2 [6748 B] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-0 ppc64el 2.39.4-0ubuntu1 [982 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-glib-1-2 ppc64el 0.100.2-1 [55.3 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 ppc64el 1.2.6-2 [22.6 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libsystemd-login0 ppc64el 204-5ubuntu11 [25.3 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libxau6 ppc64el 1:1.0.8-1 [7460 B] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp6 ppc64el 1:1.1.1-1 [10.9 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1 ppc64el 1.10-2ubuntu1 [35.3 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main libx11-data all 2:1.6.2-1ubuntu2 [111 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main libx11-6 ppc64el 2:1.6.2-1ubuntu2 [564 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libxext6 ppc64el 2:1.3.2-1 [29.3 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main libxml2 ppc64el 2.9.1+dfsg1-3ubuntu3 [601 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main groff-base ppc64el 1.22.2-5 [1249 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils ppc64el 9.0.5ubuntu1 [173 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main man-db ppc64el 2.6.6-1 [847 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main libart-2.0-2 ppc64el 2.3.21-2 [59.7 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main libasound2-data all 1.0.27.2-3ubuntu2 [26.1 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main libasound2 ppc64el 1.0.27.2-3ubuntu2 [309 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-data all 2.10.0-2ubuntu2 [13.7 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-0 ppc64el 2.10.0-2ubuntu2 [47.0 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common-data ppc64el 0.6.31-4ubuntu1 [21.2 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common3 ppc64el 0.6.31-4ubuntu1 [19.7 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-client3 ppc64el 0.6.31-4ubuntu1 [22.4 kB] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-glib1 ppc64el 0.6.31-4ubuntu1 [7608 B] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-common all 2.32.1-0ubuntu5 [34.2 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main libidl-common all 0.8.14-0.2ubuntu4 [8196 B] Get:37 http://ftpmaster.internal/ubuntu/ trusty/main libidl0 ppc64el 0.8.14-0.2ubuntu4 [62.6 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty/main liborbit-2-0 ppc64el 1:2.14.19-0.3 [134 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/main liborbit2 ppc64el 1:2.14.19-0.3 [13.4 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-0 ppc64el 2.32.1-0ubuntu5 [210 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main ucf all 3.0027+nmu1 [56.3 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main gconf2-common all 3.2.6-0ubuntu1 [20.7 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty/main libgconf-2-4 ppc64el 3.2.6-0ubuntu1 [75.4 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service-backend ppc64el 3.2.6-0ubuntu1 [55.4 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service ppc64el 3.2.6-0ubuntu1 [2040 B] Get:46 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg-turbo8 ppc64el 1.3.0-0ubuntu2 [119 kB] Get:47 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg8 ppc64el 8c-2ubuntu8 [2146 B] Get:48 http://ftpmaster.internal/ubuntu/ trusty/main libjasper1 ppc64el 1.900.1-14ubuntu3 [138 kB] Get:49 http://ftpmaster.internal/ubuntu/ trusty/main libjbig0 ppc64el 2.0-2ubuntu4 [26.8 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty/main libtiff5 ppc64el 4.0.3-7 [149 kB] Get:51 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-common all 2.30.4-0ubuntu1 [8576 B] Get:52 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-0 ppc64el 2.30.4-0ubuntu1 [169 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-common all 2.24.22-1ubuntu2 [120 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty/main fonts-dejavu-core all 2.34-1ubuntu1 [1024 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig-config all 2.11.0-0ubuntu4 [47.3 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6 ppc64el 2.5.2-1ubuntu1 [321 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1 ppc64el 2.11.0-0ubuntu4 [138 kB] Get:58 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-0 ppc64el 0.30.2-2ubuntu1 [143 kB] Get:59 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0 ppc64el 1.10-2ubuntu1 [10.2 kB] Get:60 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0 ppc64el 1.10-2ubuntu1 [5356 B] Get:61 http://ftpmaster.internal/ubuntu/ trusty/main libxrender1 ppc64el 1:0.9.8-1 [17.2 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2 ppc64el 1.13.0~20140204-0ubuntu1 [574 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty/main libcups2 ppc64el 1.7.1-4ubuntu1 [177 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty/main libthai-data all 0.1.20-3 [130 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty/main libdatrie1 ppc64el 0.2.8-1 [15.9 kB] Get:66 http://ftpmaster.internal/ubuntu/ trusty/main libthai0 ppc64el 0.1.20-3 [16.9 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig ppc64el 2.11.0-0ubuntu4 [175 kB] Get:68 http://ftpmaster.internal/ubuntu/ trusty/main libpango-1.0-0 ppc64el 1.36.1-0ubuntu1 [149 kB] Get:69 http://ftpmaster.internal/ubuntu/ trusty/main libgraphite2-3 ppc64el 1.2.4-1ubuntu1 [50.4 kB] Get:70 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz0b ppc64el 0.9.26-4 [121 kB] Get:71 http://ftpmaster.internal/ubuntu/ trusty/main libpangoft2-1.0-0 ppc64el 1.36.1-0ubuntu1 [32.8 kB] Get:72 http://ftpmaster.internal/ubuntu/ trusty/main libpangocairo-1.0-0 ppc64el 1.36.1-0ubuntu1 [19.5 kB] Get:73 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite1 ppc64el 1:0.4.4-1 [6872 B] Get:74 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes3 ppc64el 1:5.0.1-1ubuntu1 [10.2 kB] Get:75 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor1 ppc64el 1:1.1.14-1 [21.6 kB] Get:76 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage1 ppc64el 1:1.1.4-1ubuntu1 [6762 B] Get:77 http://ftpmaster.internal/ubuntu/ trusty/main libxi6 ppc64el 2:1.7.1.901-1ubuntu1 [28.0 kB] Get:78 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama1 ppc64el 2:1.1.3-1 [7160 B] Get:79 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr2 ppc64el 2:1.4.2-1 [15.6 kB] Get:80 http://ftpmaster.internal/ubuntu/ trusty/main shared-mime-info ppc64el 1.2-0ubuntu1 [414 kB] Get:81 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-0 ppc64el 2.24.22-1ubuntu2 [1537 kB] Get:82 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-0 ppc64el 1:2.6.4-2 [43.6 kB] Get:83 http://ftpmaster.internal/ubuntu/ trusty/main libltdl7 ppc64el 2.4.2-1.7ubuntu1 [33.9 kB] Get:84 http://ftpmaster.internal/ubuntu/ trusty/main libtdb1 ppc64el 1.2.12-1 [36.1 kB] Get:85 http://ftpmaster.internal/ubuntu/ trusty/main libogg0 ppc64el 1.3.1-1ubuntu1 [16.9 kB] Get:86 http://ftpmaster.internal/ubuntu/ trusty/main libvorbis0a ppc64el 1.3.2-1.3ubuntu1 [92.6 kB] Get:87 http://ftpmaster.internal/ubuntu/ trusty/main libvorbisfile3 ppc64el 1.3.2-1.3ubuntu1 [16.0 kB] Get:88 http://ftpmaster.internal/ubuntu/ trusty/main sound-theme-freedesktop all 0.8-1 [385 kB] Get:89 http://ftpmaster.internal/ubuntu/ trusty/main libcanberra0 ppc64el 0.30-0ubuntu2 [32.7 kB] Get:90 http://ftpmaster.internal/ubuntu/ trusty/main libapparmor1 ppc64el 2.8.0-0ubuntu38 [36.9 kB] Get:91 http://ftpmaster.internal/ubuntu/ trusty/main netbase all 5.2 [12.9 kB] Get:92 http://ftpmaster.internal/ubuntu/ trusty/main dbus ppc64el 1.6.18-0ubuntu3 [210 kB] Get:93 http://ftpmaster.internal/ubuntu/ trusty/main psmisc ppc64el 22.20-1ubuntu2 [48.0 kB] Get:94 http://ftpmaster.internal/ubuntu/ trusty/main dbus-x11 ppc64el 1.6.18-0ubuntu3 [18.7 kB] Get:95 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-minimal ppc64el 2.7.6-5 [307 kB] Get:96 http://ftpmaster.internal/ubuntu/ trusty/main python2.7-minimal ppc64el 2.7.6-5 [932 kB] Get:97 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-stdlib ppc64el 2.7.6-5 [1770 kB] Get:98 http://ftpmaster.internal/ubuntu/ trusty/main python2.7 ppc64el 2.7.6-5 [193 kB] Get:99 http://ftpmaster.internal/ubuntu/ trusty/main python-minimal ppc64el 2.7.5-5ubuntu3 [27.6 kB] Get:100 http://ftpmaster.internal/ubuntu/ trusty/main libpython-stdlib ppc64el 2.7.5-5ubuntu3 [7020 B] Get:101 http://ftpmaster.internal/ubuntu/ trusty/main python ppc64el 2.7.5-5ubuntu3 [133 kB] Get:102 http://ftpmaster.internal/ubuntu/ trusty/main gconf2 ppc64el 3.2.6-0ubuntu1 [69.1 kB] Get:103 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-common ppc64el 1:2.24.4-1ubuntu6 [22.7 kB] Get:104 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-0 ppc64el 1:2.24.4-1ubuntu6 [199 kB] Get:105 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-common all 2.32.1-4ubuntu1 [33.3 kB] Get:106 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-bin ppc64el 2.32.1-4ubuntu1 [15.0 kB] Get:107 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-0 ppc64el 2.32.1-4ubuntu1 [41.4 kB] Get:108 http://ftpmaster.internal/ubuntu/ trusty/main libgail18 ppc64el 2.24.22-1ubuntu2 [13.2 kB] Get:109 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-common all 2.30.3-2 [9080 B] Get:110 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-0 ppc64el 2.30.3-2 [78.9 kB] Get:111 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-common all 2.24.5-0ubuntu3 [11.4 kB] Get:112 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-0 ppc64el 2.24.5-0ubuntu3 [139 kB] Get:113 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-gobject2 ppc64el 1.13.0~20140204-0ubuntu1 [16.9 kB] Get:114 http://ftpmaster.internal/ubuntu/ trusty/main liblzo2-2 ppc64el 2.06-1.2ubuntu1 [59.4 kB] Get:115 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-script-interpreter2 ppc64el 1.13.0~20140204-0ubuntu1 [54.3 kB] Get:116 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 ppc64el 0.6.8-2ubuntu1 [75.4 kB] Get:117 http://ftpmaster.internal/ubuntu/ trusty/main libelfg0 ppc64el 0.8.13-5 [34.6 kB] Get:118 http://ftpmaster.internal/ubuntu/ trusty/main libaspell15 ppc64el 0.60.7~20110707-1ubuntu1 [316 kB] Get:119 http://ftpmaster.internal/ubuntu/ trusty/main libtext-iconv-perl ppc64el 1.7-5build2 [13.5 kB] Get:120 http://ftpmaster.internal/ubuntu/ trusty/main dictionaries-common all 1.20.5 [232 kB] Get:121 http://ftpmaster.internal/ubuntu/ trusty/main aspell ppc64el 0.60.7~20110707-1ubuntu1 [76.9 kB] Get:122 http://ftpmaster.internal/ubuntu/ trusty/main aspell-en all 7.1-0-1 [267 kB] Get:123 http://ftpmaster.internal/ubuntu/ trusty/main libhunspell-1.3-0 ppc64el 1.3.2-6ubuntu2 [106 kB] Get:124 http://ftpmaster.internal/ubuntu/ trusty/main libenchant1c2a ppc64el 1.6.0-10ubuntu1 [63.8 kB] Get:125 http://ftpmaster.internal/ubuntu/ trusty/main libgmpxx4ldbl ppc64el 2:5.1.3+dfsg-1ubuntu1 [9026 B] Get:126 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring-common all 3.8.0-2 [5536 B] Get:127 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring0 ppc64el 3.8.0-2 [50.2 kB] Get:128 http://ftpmaster.internal/ubuntu/ trusty/main x11-common all 1:7.7+1ubuntu8 [49.8 kB] Get:129 http://ftpmaster.internal/ubuntu/ trusty/main libice6 ppc64el 2:1.0.8-2 [36.2 kB] Get:130 http://ftpmaster.internal/ubuntu/ trusty/main libsm6 ppc64el 2:1.2.1-2 [14.7 kB] Get:131 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-common all 2.24.5-3 [16.5 kB] Get:132 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-0 ppc64el 2.24.5-3 [187 kB] Get:133 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-gobject0 ppc64el 0.9.26-4 [10.1 kB] Get:134 http://ftpmaster.internal/ubuntu/ trusty/main libicu52 ppc64el 52.1-3 [6848 kB] Get:135 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-icu0 ppc64el 0.9.26-4 [5102 B] Get:136 http://ftpmaster.internal/ubuntu/ trusty/main libxft2 ppc64el 2.3.1-2 [34.6 kB] Get:137 http://ftpmaster.internal/ubuntu/ trusty/main libpangoxft-1.0-0 ppc64el 1.36.1-0ubuntu1 [14.4 kB] Get:138 http://ftpmaster.internal/ubuntu/ trusty/main libpcrecpp0 ppc64el 1:8.31-2ubuntu2 [15.0 kB] Get:139 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-2 ppc64el 2.40.1-0ubuntu1 [97.2 kB] Get:140 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 ppc64el 0.9.3-5ubuntu3 [262 kB] Get:141 http://ftpmaster.internal/ubuntu/ trusty/main libgnutlsxx27 ppc64el 2.12.23-1ubuntu5 [17.4 kB] Get:142 http://ftpmaster.internal/ubuntu/ trusty/main python3.3 ppc64el 3.3.4-1 [133 kB] Get:143 http://ftpmaster.internal/ubuntu/ trusty/main python3-minimal ppc64el 3.3.3-1 [23.5 kB] Get:144 http://ftpmaster.internal/ubuntu/ trusty/main libpython3-stdlib ppc64el 3.3.3-1 [7104 B] Get:145 http://ftpmaster.internal/ubuntu/ trusty/main python3 ppc64el 3.3.3-1 [8668 B] Get:146 http://ftpmaster.internal/ubuntu/ trusty/main dh-python all 1.20140128-1ubuntu2 [51.0 kB] Get:147 http://ftpmaster.internal/ubuntu/ trusty/main file ppc64el 1:5.14-2ubuntu1 [19.2 kB] Get:148 http://ftpmaster.internal/ubuntu/ trusty/main gettext-base ppc64el 0.18.3.1-1ubuntu2 [47.2 kB] Get:149 http://ftpmaster.internal/ubuntu/ trusty/main libgirepository-1.0-1 ppc64el 1.39.3-0ubuntu2 [80.5 kB] Get:150 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-glib-2.0 ppc64el 1.39.3-0ubuntu2 [123 kB] Get:151 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-data all 2.39.4-0ubuntu1 [114 kB] Get:152 http://ftpmaster.internal/ubuntu/ trusty/main gettext ppc64el 0.18.3.1-1ubuntu2 [840 kB] Get:153 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:154 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:155 http://ftpmaster.internal/ubuntu/ trusty/main apparmor-easyprof all 2.8.0-0ubuntu38 [20.1 kB] Get:156 http://ftpmaster.internal/ubuntu/ trusty/main dh-apparmor all 2.8.0-0ubuntu38 [7286 B] Get:157 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20131127ubuntu2 [603 kB] Get:158 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-atk-1.0 ppc64el 2.10.0-2ubuntu2 [16.3 kB] Get:159 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-freedesktop ppc64el 1.39.3-0ubuntu2 [5638 B] Get:160 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gconf-2.0 ppc64el 3.2.6-0ubuntu1 [6190 B] Get:161 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gdkpixbuf-2.0 ppc64el 2.30.4-0ubuntu1 [7956 B] Get:162 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gnomekeyring-1.0 ppc64el 3.8.0-2 [5894 B] Get:163 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-pango-1.0 ppc64el 1.36.1-0ubuntu1 [18.7 kB] Get:164 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gtk-2.0 ppc64el 2.24.22-1ubuntu2 [172 kB] Get:165 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-rsvg-2.0 ppc64el 2.40.1-0ubuntu1 [3558 B] Get:166 http://ftpmaster.internal/ubuntu/ trusty/main pkg-config ppc64el 0.26-1ubuntu4 [35.9 kB] Get:167 http://ftpmaster.internal/ubuntu/ trusty/main libart-2.0-dev ppc64el 2.3.21-2 [74.4 kB] Get:168 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-bin ppc64el 2.39.4-0ubuntu1 [37.7 kB] Get:169 http://ftpmaster.internal/ubuntu/ trusty/main libpcre3-dev ppc64el 1:8.31-2ubuntu2 [239 kB] Get:170 http://ftpmaster.internal/ubuntu/ trusty/main zlib1g-dev ppc64el 1:1.2.8.dfsg-1ubuntu1 [166 kB] Get:171 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-dev ppc64el 2.39.4-0ubuntu1 [1491 kB] Get:172 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-dev ppc64el 2.10.0-2ubuntu2 [67.7 kB] Get:173 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common-dev ppc64el 0.6.31-4ubuntu1 [38.6 kB] Get:174 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-1-dev ppc64el 1.6.18-0ubuntu3 [169 kB] Get:175 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-client-dev ppc64el 0.6.31-4ubuntu1 [30.8 kB] Get:176 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-glib-dev ppc64el 0.6.31-4ubuntu1 [8462 B] Get:177 http://ftpmaster.internal/ubuntu/ trusty/main libidl-dev ppc64el 0.8.14-0.2ubuntu4 [78.0 kB] Get:178 http://ftpmaster.internal/ubuntu/ trusty/main orbit2 ppc64el 1:2.14.19-0.3 [49.4 kB] Get:179 http://ftpmaster.internal/ubuntu/ trusty/main liborbit2-dev ppc64el 1:2.14.19-0.3 [233 kB] Get:180 http://ftpmaster.internal/ubuntu/ trusty/main libpopt-dev ppc64el 1.16-8ubuntu1 [43.6 kB] Get:181 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-dev ppc64el 2.32.1-0ubuntu5 [426 kB] Get:182 http://ftpmaster.internal/ubuntu/ trusty/main xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:183 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-core-dev all 7.0.24-1 [748 kB] Get:184 http://ftpmaster.internal/ubuntu/ trusty/main libxau-dev ppc64el 1:1.0.8-1 [9358 B] Get:185 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp-dev ppc64el 1:1.1.1-1 [24.8 kB] Get:186 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-input-dev all 2.3-1 [139 kB] Get:187 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-kb-dev all 1.0.6-2 [269 kB] Get:188 http://ftpmaster.internal/ubuntu/ trusty/main xtrans-dev all 1.3.2-1 [69.9 kB] Get:189 http://ftpmaster.internal/ubuntu/ trusty/main libpthread-stubs0-dev ppc64el 0.3-4 [3894 B] Get:190 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1-dev ppc64el 1.10-2ubuntu1 [76.5 kB] Get:191 http://ftpmaster.internal/ubuntu/ trusty/main libx11-dev ppc64el 2:1.6.2-1ubuntu2 [653 kB] Get:192 http://ftpmaster.internal/ubuntu/ trusty/main libpng12-dev ppc64el 1.2.50-1ubuntu1 [231 kB] Get:193 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-dev ppc64el 2.30.4-0ubuntu1 [43.0 kB] Get:194 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6-dev ppc64el 2.5.2-1ubuntu1 [654 kB] Get:195 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:196 http://ftpmaster.internal/ubuntu/ trusty/main libxrender-dev ppc64el 1:0.9.8-1 [23.6 kB] Get:197 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1-dev ppc64el 2.1.0-4ubuntu1 [128 kB] Get:198 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1-dev ppc64el 2.11.0-0ubuntu4 [684 kB] Get:199 http://ftpmaster.internal/ubuntu/ trusty/main libxft-dev ppc64el 2.3.1-2 [45.6 kB] Get:200 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-dev ppc64el 0.9.26-4 [28.9 kB] Get:201 http://ftpmaster.internal/ubuntu/ trusty/main libice-dev ppc64el 2:1.0.8-2 [44.2 kB] Get:202 http://ftpmaster.internal/ubuntu/ trusty/main libsm-dev ppc64el 2:1.2.1-2 [16.2 kB] Get:203 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-dev ppc64el 0.30.2-2ubuntu1 [164 kB] Get:204 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0-dev ppc64el 1.10-2ubuntu1 [16.2 kB] Get:205 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0-dev ppc64el 1.10-2ubuntu1 [6862 B] Get:206 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xext-dev all 7.3.0-1 [212 kB] Get:207 http://ftpmaster.internal/ubuntu/ trusty/main libxext-dev ppc64el 2:1.3.2-1 [85.1 kB] Get:208 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2-dev ppc64el 1.13.0~20140204-0ubuntu1 [648 kB] Get:209 http://ftpmaster.internal/ubuntu/ trusty/main libpango1.0-dev ppc64el 1.36.1-0ubuntu1 [308 kB] Get:210 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:211 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama-dev ppc64el 2:1.1.3-1 [8024 B] Get:212 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:213 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes-dev ppc64el 1:5.0.1-1ubuntu1 [11.1 kB] Get:214 http://ftpmaster.internal/ubuntu/ trusty/main libxi-dev ppc64el 2:1.7.1.901-1ubuntu1 [185 kB] Get:215 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1 [32.9 kB] Get:216 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr-dev ppc64el 2:1.4.2-1 [22.7 kB] Get:217 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor-dev ppc64el 1:1.1.14-1 [29.5 kB] Get:218 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:219 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite-dev ppc64el 1:0.4.4-1 [9360 B] Get:220 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:221 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage-dev ppc64el 1:1.1.4-1ubuntu1 [5052 B] Get:222 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-utils ppc64el 2.9.1+dfsg1-3ubuntu3 [33.6 kB] Get:223 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-dev ppc64el 2.24.22-1ubuntu2 [2556 kB] Get:224 http://ftpmaster.internal/ubuntu/ trusty/main libgail-common ppc64el 2.24.22-1ubuntu2 [95.3 kB] Get:225 http://ftpmaster.internal/ubuntu/ trusty/main libgail-dev ppc64el 2.24.22-1ubuntu2 [14.0 kB] Get:226 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-dev ppc64el 2.30.3-2 [110 kB] Get:227 http://ftpmaster.internal/ubuntu/ trusty/main libgconf2-dev ppc64el 3.2.6-0ubuntu1 [104 kB] Get:228 http://ftpmaster.internal/ubuntu/ trusty/main libgpg-error-dev ppc64el 1.12-0.2ubuntu1 [20.3 kB] Get:229 http://ftpmaster.internal/ubuntu/ trusty/main libgcrypt11-dev ppc64el 1.5.3-2ubuntu4 [335 kB] Get:230 http://ftpmaster.internal/ubuntu/ trusty/main libtasn1-3-dev ppc64el 2.14-3ubuntu1 [370 kB] Get:231 http://ftpmaster.internal/ubuntu/ trusty/main libp11-kit-dev ppc64el 0.20.1-2ubuntu1 [55.6 kB] Get:232 http://ftpmaster.internal/ubuntu/ trusty/main libgnutls-dev ppc64el 2.12.23-1ubuntu5 [405 kB] Get:233 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-dev ppc64el 2.9.1+dfsg1-3ubuntu3 [694 kB] Get:234 http://ftpmaster.internal/ubuntu/ trusty/main libsepol1-dev ppc64el 2.2-1 [145 kB] Get:235 http://ftpmaster.internal/ubuntu/ trusty/main libselinux1-dev ppc64el 2.2.2-1 [130 kB] Get:236 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-dev ppc64el 1:2.24.4-1ubuntu6 [326 kB] Get:237 http://ftpmaster.internal/ubuntu/ trusty/main libcanberra-dev ppc64el 0.30-0ubuntu2 [6794 B] Get:238 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-dev ppc64el 2.32.1-4ubuntu1 [49.1 kB] Get:239 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-dev ppc64el 2.24.5-0ubuntu3 [312 kB] Get:240 http://ftpmaster.internal/ubuntu/ trusty/main libenchant-dev ppc64el 1.6.0-10ubuntu1 [58.7 kB] Get:241 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-dev ppc64el 1:2.6.4-2 [77.4 kB] Get:242 http://ftpmaster.internal/ubuntu/ trusty/main libgmp-dev ppc64el 2:5.1.3+dfsg-1ubuntu1 [285 kB] Get:243 http://ftpmaster.internal/ubuntu/ trusty/main libgmp3-dev ppc64el 2:5.1.3+dfsg-1ubuntu1 [1874 B] Get:244 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring-dev ppc64el 3.8.0-2 [45.4 kB] Get:245 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-dev ppc64el 2.24.5-3 [278 kB] Get:246 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-common all 2.10.5-1ubuntu2 [434 kB] Get:247 http://ftpmaster.internal/ppc64el/ trusty/universe libgtksourceview2.0-0 ppc64el 2.10.5-1ubuntu2 [126 kB] Get:248 http://ftpmaster.internal/ppc64el/ trusty/universe libgtksourceview2.0-dev ppc64el 2.10.5-1ubuntu2 [163 kB] Get:249 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell0 ppc64el 2.0.16-1ubuntu7 [10.2 kB] Get:250 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell-dev ppc64el 2.0.16-1ubuntu7 [22.9 kB] Get:251 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-base-nox ppc64el 4.01.0-3ubuntu3 [335 kB] Get:252 http://ftpmaster.internal/ppc64el/ trusty/universe liblablgtk2-ocaml ppc64el 2.16.0+dfsg-1 [223 kB] Get:253 http://ftpmaster.internal/ppc64el/ trusty/universe liblablgtk2-gnome-ocaml ppc64el 2.16.0+dfsg-1 [28.6 kB] Get:254 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-common ppc64el 2.40.1-0ubuntu1 [4988 B] Get:255 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-dev ppc64el 2.40.1-0ubuntu1 [115 kB] Get:256 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo-dev ppc64el 5.9+20131221-1ubuntu1 [86.1 kB] Get:257 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5-dev ppc64el 5.9+20131221-1ubuntu1 [187 kB] Get:258 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-compiler-libs ppc64el 4.01.0-3ubuntu3 [337 kB] Get:259 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-interp ppc64el 4.01.0-3ubuntu3 [226 kB] Get:260 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-nox ppc64el 4.01.0-3ubuntu3 [2446 kB] Get:261 http://ftpmaster.internal/ppc64el/ trusty/universe liblablgtk2-ocaml-dev ppc64el 2.16.0+dfsg-1 [810 kB] Get:262 http://ftpmaster.internal/ppc64el/ trusty/universe liblablgtk2-gnome-ocaml-dev ppc64el 2.16.0+dfsg-1 [57.4 kB] Get:263 http://ftpmaster.internal/ppc64el/ trusty/universe liblablgtksourceview2-ocaml ppc64el 2.16.0+dfsg-1 [35.8 kB] Get:264 http://ftpmaster.internal/ppc64el/ trusty/universe liblablgtksourceview2-ocaml-dev ppc64el 2.16.0+dfsg-1 [72.9 kB] Get:265 http://ftpmaster.internal/ppc64el/ trusty/universe libocamlgraph-ocaml-dev ppc64el 1.8.3-1build1 [859 kB] Get:266 http://ftpmaster.internal/ppc64el/ trusty/universe libzarith-ocaml ppc64el 1.2.1-2build1 [27.2 kB] Get:267 http://ftpmaster.internal/ppc64el/ trusty/universe libzarith-ocaml-dev ppc64el 1.2.1-2build1 [36.1 kB] Get:268 http://ftpmaster.internal/ubuntu/ trusty/main dh-ocaml all 1.0.8 [80.5 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 55.1 MB in 52s (1045 kB/s) Selecting previously unselected package libexpat1:ppc64el. (Reading database ... 11450 files and directories currently installed.) Preparing to unpack .../libexpat1_2.1.0-4ubuntu1_ppc64el.deb ... Unpacking libexpat1:ppc64el (2.1.0-4ubuntu1) ... Selecting previously unselected package libgnutls-openssl27:ppc64el. Preparing to unpack .../libgnutls-openssl27_2.12.23-1ubuntu5_ppc64el.deb ... Unpacking libgnutls-openssl27:ppc64el (2.12.23-1ubuntu5) ... Selecting previously unselected package libmagic1:ppc64el. Preparing to unpack .../libmagic1_1%3a5.14-2ubuntu1_ppc64el.deb ... Unpacking libmagic1:ppc64el (1:5.14-2ubuntu1) ... Selecting previously unselected package libpopt0:ppc64el. Preparing to unpack .../libpopt0_1.16-8ubuntu1_ppc64el.deb ... Unpacking libpopt0:ppc64el (1.16-8ubuntu1) ... Selecting previously unselected package libssl1.0.0:ppc64el. Preparing to unpack .../libssl1.0.0_1.0.1f-1ubuntu1_ppc64el.deb ... Unpacking libssl1.0.0:ppc64el (1.0.1f-1ubuntu1) ... Selecting previously unselected package libpython3.3-minimal:ppc64el. Preparing to unpack .../libpython3.3-minimal_3.3.4-1_ppc64el.deb ... Unpacking libpython3.3-minimal:ppc64el (3.3.4-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.54ubuntu1_all.deb ... Unpacking mime-support (3.54ubuntu1) ... Selecting previously unselected package libmpdec2:ppc64el. Preparing to unpack .../libmpdec2_2.4.0-6_ppc64el.deb ... Unpacking libmpdec2:ppc64el (2.4.0-6) ... Selecting previously unselected package libpython3.3-stdlib:ppc64el. Preparing to unpack .../libpython3.3-stdlib_3.3.4-1_ppc64el.deb ... Unpacking libpython3.3-stdlib:ppc64el (3.3.4-1) ... Selecting previously unselected package python3.3-minimal. Preparing to unpack .../python3.3-minimal_3.3.4-1_ppc64el.deb ... Unpacking python3.3-minimal (3.3.4-1) ... Selecting previously unselected package libasprintf0c2:ppc64el. Preparing to unpack .../libasprintf0c2_0.18.3.1-1ubuntu2_ppc64el.deb ... Unpacking libasprintf0c2:ppc64el (0.18.3.1-1ubuntu2) ... Selecting previously unselected package libglib2.0-0:ppc64el. Preparing to unpack .../libglib2.0-0_2.39.4-0ubuntu1_ppc64el.deb ... Unpacking libglib2.0-0:ppc64el (2.39.4-0ubuntu1) ... Selecting previously unselected package libdbus-glib-1-2:ppc64el. Preparing to unpack .../libdbus-glib-1-2_0.100.2-1_ppc64el.deb ... Unpacking libdbus-glib-1-2:ppc64el (0.100.2-1) ... Selecting previously unselected package libpipeline1:ppc64el. Preparing to unpack .../libpipeline1_1.2.6-2_ppc64el.deb ... Unpacking libpipeline1:ppc64el (1.2.6-2) ... Selecting previously unselected package libsystemd-login0:ppc64el. Preparing to unpack .../libsystemd-login0_204-5ubuntu11_ppc64el.deb ... Unpacking libsystemd-login0:ppc64el (204-5ubuntu11) ... Selecting previously unselected package libxau6:ppc64el. Preparing to unpack .../libxau6_1%3a1.0.8-1_ppc64el.deb ... Unpacking libxau6:ppc64el (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:ppc64el. Preparing to unpack .../libxdmcp6_1%3a1.1.1-1_ppc64el.deb ... Unpacking libxdmcp6:ppc64el (1:1.1.1-1) ... Selecting previously unselected package libxcb1:ppc64el. Preparing to unpack .../libxcb1_1.10-2ubuntu1_ppc64el.deb ... Unpacking libxcb1:ppc64el (1.10-2ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../libx11-data_2%3a1.6.2-1ubuntu2_all.deb ... Unpacking libx11-data (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libx11-6:ppc64el. Preparing to unpack .../libx11-6_2%3a1.6.2-1ubuntu2_ppc64el.deb ... Unpacking libx11-6:ppc64el (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libxext6:ppc64el. Preparing to unpack .../libxext6_2%3a1.3.2-1_ppc64el.deb ... Unpacking libxext6:ppc64el (2:1.3.2-1) ... Selecting previously unselected package libxml2:ppc64el. Preparing to unpack .../libxml2_2.9.1+dfsg1-3ubuntu3_ppc64el.deb ... Unpacking libxml2:ppc64el (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.2-5_ppc64el.deb ... Unpacking groff-base (1.22.2-5) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.5ubuntu1_ppc64el.deb ... Unpacking bsdmainutils (9.0.5ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.6.6-1_ppc64el.deb ... Unpacking man-db (2.6.6-1) ... Selecting previously unselected package libart-2.0-2:ppc64el. Preparing to unpack .../libart-2.0-2_2.3.21-2_ppc64el.deb ... Unpacking libart-2.0-2:ppc64el (2.3.21-2) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../libasound2-data_1.0.27.2-3ubuntu2_all.deb ... Unpacking libasound2-data (1.0.27.2-3ubuntu2) ... Selecting previously unselected package libasound2:ppc64el. Preparing to unpack .../libasound2_1.0.27.2-3ubuntu2_ppc64el.deb ... Unpacking libasound2:ppc64el (1.0.27.2-3ubuntu2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../libatk1.0-data_2.10.0-2ubuntu2_all.deb ... Unpacking libatk1.0-data (2.10.0-2ubuntu2) ... Selecting previously unselected package libatk1.0-0:ppc64el. Preparing to unpack .../libatk1.0-0_2.10.0-2ubuntu2_ppc64el.deb ... Unpacking libatk1.0-0:ppc64el (2.10.0-2ubuntu2) ... Selecting previously unselected package libavahi-common-data:ppc64el. Preparing to unpack .../libavahi-common-data_0.6.31-4ubuntu1_ppc64el.deb ... Unpacking libavahi-common-data:ppc64el (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-common3:ppc64el. Preparing to unpack .../libavahi-common3_0.6.31-4ubuntu1_ppc64el.deb ... Unpacking libavahi-common3:ppc64el (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-client3:ppc64el. Preparing to unpack .../libavahi-client3_0.6.31-4ubuntu1_ppc64el.deb ... Unpacking libavahi-client3:ppc64el (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-glib1:ppc64el. Preparing to unpack .../libavahi-glib1_0.6.31-4ubuntu1_ppc64el.deb ... Unpacking libavahi-glib1:ppc64el (0.6.31-4ubuntu1) ... Selecting previously unselected package libbonobo2-common. Preparing to unpack .../libbonobo2-common_2.32.1-0ubuntu5_all.deb ... Unpacking libbonobo2-common (2.32.1-0ubuntu5) ... Selecting previously unselected package libidl-common. Preparing to unpack .../libidl-common_0.8.14-0.2ubuntu4_all.deb ... Unpacking libidl-common (0.8.14-0.2ubuntu4) ... Selecting previously unselected package libidl0:ppc64el. Preparing to unpack .../libidl0_0.8.14-0.2ubuntu4_ppc64el.deb ... Unpacking libidl0:ppc64el (0.8.14-0.2ubuntu4) ... Selecting previously unselected package liborbit-2-0:ppc64el. Preparing to unpack .../liborbit-2-0_1%3a2.14.19-0.3_ppc64el.deb ... Unpacking liborbit-2-0:ppc64el (1:2.14.19-0.3) ... Selecting previously unselected package liborbit2:ppc64el. Preparing to unpack .../liborbit2_1%3a2.14.19-0.3_ppc64el.deb ... Unpacking liborbit2:ppc64el (1:2.14.19-0.3) ... Selecting previously unselected package libbonobo2-0:ppc64el. Preparing to unpack .../libbonobo2-0_2.32.1-0ubuntu5_ppc64el.deb ... Unpacking libbonobo2-0:ppc64el (2.32.1-0ubuntu5) ... Selecting previously unselected package ucf. Preparing to unpack .../ucf_3.0027+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0027+nmu1) ... Selecting previously unselected package gconf2-common. Preparing to unpack .../gconf2-common_3.2.6-0ubuntu1_all.deb ... Unpacking gconf2-common (3.2.6-0ubuntu1) ... Selecting previously unselected package libgconf-2-4:ppc64el. Preparing to unpack .../libgconf-2-4_3.2.6-0ubuntu1_ppc64el.deb ... Unpacking libgconf-2-4:ppc64el (3.2.6-0ubuntu1) ... Selecting previously unselected package gconf-service-backend. Preparing to unpack .../gconf-service-backend_3.2.6-0ubuntu1_ppc64el.deb ... Unpacking gconf-service-backend (3.2.6-0ubuntu1) ... Selecting previously unselected package gconf-service. Preparing to unpack .../gconf-service_3.2.6-0ubuntu1_ppc64el.deb ... Unpacking gconf-service (3.2.6-0ubuntu1) ... Selecting previously unselected package libjpeg-turbo8:ppc64el. Preparing to unpack .../libjpeg-turbo8_1.3.0-0ubuntu2_ppc64el.deb ... Unpacking libjpeg-turbo8:ppc64el (1.3.0-0ubuntu2) ... Selecting previously unselected package libjpeg8:ppc64el. Preparing to unpack .../libjpeg8_8c-2ubuntu8_ppc64el.deb ... Unpacking libjpeg8:ppc64el (8c-2ubuntu8) ... Selecting previously unselected package libjasper1:ppc64el. Preparing to unpack .../libjasper1_1.900.1-14ubuntu3_ppc64el.deb ... Unpacking libjasper1:ppc64el (1.900.1-14ubuntu3) ... Selecting previously unselected package libjbig0:ppc64el. Preparing to unpack .../libjbig0_2.0-2ubuntu4_ppc64el.deb ... Unpacking libjbig0:ppc64el (2.0-2ubuntu4) ... Selecting previously unselected package libtiff5:ppc64el. Preparing to unpack .../libtiff5_4.0.3-7_ppc64el.deb ... Unpacking libtiff5:ppc64el (4.0.3-7) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../libgdk-pixbuf2.0-common_2.30.4-0ubuntu1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.30.4-0ubuntu1) ... Selecting previously unselected package libgdk-pixbuf2.0-0:ppc64el. Preparing to unpack .../libgdk-pixbuf2.0-0_2.30.4-0ubuntu1_ppc64el.deb ... Unpacking libgdk-pixbuf2.0-0:ppc64el (2.30.4-0ubuntu1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../libgtk2.0-common_2.24.22-1ubuntu2_all.deb ... Unpacking libgtk2.0-common (2.24.22-1ubuntu2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../fonts-dejavu-core_2.34-1ubuntu1_all.deb ... Unpacking fonts-dejavu-core (2.34-1ubuntu1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../fontconfig-config_2.11.0-0ubuntu4_all.deb ... Unpacking fontconfig-config (2.11.0-0ubuntu4) ... Selecting previously unselected package libfreetype6:ppc64el. Preparing to unpack .../libfreetype6_2.5.2-1ubuntu1_ppc64el.deb ... Unpacking libfreetype6:ppc64el (2.5.2-1ubuntu1) ... Selecting previously unselected package libfontconfig1:ppc64el. Preparing to unpack .../libfontconfig1_2.11.0-0ubuntu4_ppc64el.deb ... Unpacking libfontconfig1:ppc64el (2.11.0-0ubuntu4) ... Selecting previously unselected package libpixman-1-0:ppc64el. Preparing to unpack .../libpixman-1-0_0.30.2-2ubuntu1_ppc64el.deb ... Unpacking libpixman-1-0:ppc64el (0.30.2-2ubuntu1) ... Selecting previously unselected package libxcb-render0:ppc64el. Preparing to unpack .../libxcb-render0_1.10-2ubuntu1_ppc64el.deb ... Unpacking libxcb-render0:ppc64el (1.10-2ubuntu1) ... Selecting previously unselected package libxcb-shm0:ppc64el. Preparing to unpack .../libxcb-shm0_1.10-2ubuntu1_ppc64el.deb ... Unpacking libxcb-shm0:ppc64el (1.10-2ubuntu1) ... Selecting previously unselected package libxrender1:ppc64el. Preparing to unpack .../libxrender1_1%3a0.9.8-1_ppc64el.deb ... Unpacking libxrender1:ppc64el (1:0.9.8-1) ... Selecting previously unselected package libcairo2:ppc64el. Preparing to unpack .../libcairo2_1.13.0~20140204-0ubuntu1_ppc64el.deb ... Unpacking libcairo2:ppc64el (1.13.0~20140204-0ubuntu1) ... Selecting previously unselected package libcups2:ppc64el. Preparing to unpack .../libcups2_1.7.1-4ubuntu1_ppc64el.deb ... Unpacking libcups2:ppc64el (1.7.1-4ubuntu1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../libthai-data_0.1.20-3_all.deb ... Unpacking libthai-data (0.1.20-3) ... Selecting previously unselected package libdatrie1:ppc64el. Preparing to unpack .../libdatrie1_0.2.8-1_ppc64el.deb ... Unpacking libdatrie1:ppc64el (0.2.8-1) ... Selecting previously unselected package libthai0:ppc64el. Preparing to unpack .../libthai0_0.1.20-3_ppc64el.deb ... Unpacking libthai0:ppc64el (0.1.20-3) ... Selecting previously unselected package fontconfig. Preparing to unpack .../fontconfig_2.11.0-0ubuntu4_ppc64el.deb ... Unpacking fontconfig (2.11.0-0ubuntu4) ... Selecting previously unselected package libpango-1.0-0:ppc64el. Preparing to unpack .../libpango-1.0-0_1.36.1-0ubuntu1_ppc64el.deb ... Unpacking libpango-1.0-0:ppc64el (1.36.1-0ubuntu1) ... Selecting previously unselected package libgraphite2-3:ppc64el. Preparing to unpack .../libgraphite2-3_1.2.4-1ubuntu1_ppc64el.deb ... Unpacking libgraphite2-3:ppc64el (1.2.4-1ubuntu1) ... Selecting previously unselected package libharfbuzz0b:ppc64el. Preparing to unpack .../libharfbuzz0b_0.9.26-4_ppc64el.deb ... Unpacking libharfbuzz0b:ppc64el (0.9.26-4) ... Selecting previously unselected package libpangoft2-1.0-0:ppc64el. Preparing to unpack .../libpangoft2-1.0-0_1.36.1-0ubuntu1_ppc64el.deb ... Unpacking libpangoft2-1.0-0:ppc64el (1.36.1-0ubuntu1) ... Selecting previously unselected package libpangocairo-1.0-0:ppc64el. Preparing to unpack .../libpangocairo-1.0-0_1.36.1-0ubuntu1_ppc64el.deb ... Unpacking libpangocairo-1.0-0:ppc64el (1.36.1-0ubuntu1) ... Selecting previously unselected package libxcomposite1:ppc64el. Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_ppc64el.deb ... Unpacking libxcomposite1:ppc64el (1:0.4.4-1) ... Selecting previously unselected package libxfixes3:ppc64el. Preparing to unpack .../libxfixes3_1%3a5.0.1-1ubuntu1_ppc64el.deb ... Unpacking libxfixes3:ppc64el (1:5.0.1-1ubuntu1) ... Selecting previously unselected package libxcursor1:ppc64el. Preparing to unpack .../libxcursor1_1%3a1.1.14-1_ppc64el.deb ... Unpacking libxcursor1:ppc64el (1:1.1.14-1) ... Selecting previously unselected package libxdamage1:ppc64el. Preparing to unpack .../libxdamage1_1%3a1.1.4-1ubuntu1_ppc64el.deb ... Unpacking libxdamage1:ppc64el (1:1.1.4-1ubuntu1) ... Selecting previously unselected package libxi6:ppc64el. Preparing to unpack .../libxi6_2%3a1.7.1.901-1ubuntu1_ppc64el.deb ... Unpacking libxi6:ppc64el (2:1.7.1.901-1ubuntu1) ... Selecting previously unselected package libxinerama1:ppc64el. Preparing to unpack .../libxinerama1_2%3a1.1.3-1_ppc64el.deb ... Unpacking libxinerama1:ppc64el (2:1.1.3-1) ... Selecting previously unselected package libxrandr2:ppc64el. Preparing to unpack .../libxrandr2_2%3a1.4.2-1_ppc64el.deb ... Unpacking libxrandr2:ppc64el (2:1.4.2-1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../shared-mime-info_1.2-0ubuntu1_ppc64el.deb ... Unpacking shared-mime-info (1.2-0ubuntu1) ... Selecting previously unselected package libgtk2.0-0:ppc64el. Preparing to unpack .../libgtk2.0-0_2.24.22-1ubuntu2_ppc64el.deb ... Unpacking libgtk2.0-0:ppc64el (2.24.22-1ubuntu2) ... Selecting previously unselected package libglade2-0:ppc64el. Preparing to unpack .../libglade2-0_1%3a2.6.4-2_ppc64el.deb ... Unpacking libglade2-0:ppc64el (1:2.6.4-2) ... Selecting previously unselected package libltdl7:ppc64el. Preparing to unpack .../libltdl7_2.4.2-1.7ubuntu1_ppc64el.deb ... Unpacking libltdl7:ppc64el (2.4.2-1.7ubuntu1) ... Selecting previously unselected package libtdb1:ppc64el. Preparing to unpack .../libtdb1_1.2.12-1_ppc64el.deb ... Unpacking libtdb1:ppc64el (1.2.12-1) ... Selecting previously unselected package libogg0:ppc64el. Preparing to unpack .../libogg0_1.3.1-1ubuntu1_ppc64el.deb ... Unpacking libogg0:ppc64el (1.3.1-1ubuntu1) ... Selecting previously unselected package libvorbis0a:ppc64el. Preparing to unpack .../libvorbis0a_1.3.2-1.3ubuntu1_ppc64el.deb ... Unpacking libvorbis0a:ppc64el (1.3.2-1.3ubuntu1) ... Selecting previously unselected package libvorbisfile3:ppc64el. Preparing to unpack .../libvorbisfile3_1.3.2-1.3ubuntu1_ppc64el.deb ... Unpacking libvorbisfile3:ppc64el (1.3.2-1.3ubuntu1) ... Selecting previously unselected package sound-theme-freedesktop. Preparing to unpack .../sound-theme-freedesktop_0.8-1_all.deb ... Unpacking sound-theme-freedesktop (0.8-1) ... Selecting previously unselected package libcanberra0:ppc64el. Preparing to unpack .../libcanberra0_0.30-0ubuntu2_ppc64el.deb ... Unpacking libcanberra0:ppc64el (0.30-0ubuntu2) ... Selecting previously unselected package libapparmor1:ppc64el. Preparing to unpack .../libapparmor1_2.8.0-0ubuntu38_ppc64el.deb ... Unpacking libapparmor1:ppc64el (2.8.0-0ubuntu38) ... Selecting previously unselected package netbase. Preparing to unpack .../archives/netbase_5.2_all.deb ... Unpacking netbase (5.2) ... Selecting previously unselected package dbus. Preparing to unpack .../dbus_1.6.18-0ubuntu3_ppc64el.deb ... Unpacking dbus (1.6.18-0ubuntu3) ... Selecting previously unselected package psmisc. Preparing to unpack .../psmisc_22.20-1ubuntu2_ppc64el.deb ... Unpacking psmisc (22.20-1ubuntu2) ... Selecting previously unselected package dbus-x11. Preparing to unpack .../dbus-x11_1.6.18-0ubuntu3_ppc64el.deb ... Unpacking dbus-x11 (1.6.18-0ubuntu3) ... Selecting previously unselected package libpython2.7-minimal:ppc64el. Preparing to unpack .../libpython2.7-minimal_2.7.6-5_ppc64el.deb ... Unpacking libpython2.7-minimal:ppc64el (2.7.6-5) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../python2.7-minimal_2.7.6-5_ppc64el.deb ... Unpacking python2.7-minimal (2.7.6-5) ... Selecting previously unselected package libpython2.7-stdlib:ppc64el. Preparing to unpack .../libpython2.7-stdlib_2.7.6-5_ppc64el.deb ... Unpacking libpython2.7-stdlib:ppc64el (2.7.6-5) ... Selecting previously unselected package python2.7. Preparing to unpack .../python2.7_2.7.6-5_ppc64el.deb ... Unpacking python2.7 (2.7.6-5) ... Selecting previously unselected package python-minimal. Preparing to unpack .../python-minimal_2.7.5-5ubuntu3_ppc64el.deb ... Unpacking python-minimal (2.7.5-5ubuntu3) ... Selecting previously unselected package libpython-stdlib:ppc64el. Preparing to unpack .../libpython-stdlib_2.7.5-5ubuntu3_ppc64el.deb ... Unpacking libpython-stdlib:ppc64el (2.7.5-5ubuntu3) ... Selecting previously unselected package python. Preparing to unpack .../python_2.7.5-5ubuntu3_ppc64el.deb ... Unpacking python (2.7.5-5ubuntu3) ... Selecting previously unselected package gconf2. Preparing to unpack .../gconf2_3.2.6-0ubuntu1_ppc64el.deb ... Unpacking gconf2 (3.2.6-0ubuntu1) ... Selecting previously unselected package libgnomevfs2-common. Preparing to unpack .../libgnomevfs2-common_1%3a2.24.4-1ubuntu6_ppc64el.deb ... Unpacking libgnomevfs2-common (1:2.24.4-1ubuntu6) ... Selecting previously unselected package libgnomevfs2-0:ppc64el. Preparing to unpack .../libgnomevfs2-0_1%3a2.24.4-1ubuntu6_ppc64el.deb ... Unpacking libgnomevfs2-0:ppc64el (1:2.24.4-1ubuntu6) ... Selecting previously unselected package libgnome2-common. Preparing to unpack .../libgnome2-common_2.32.1-4ubuntu1_all.deb ... Unpacking libgnome2-common (2.32.1-4ubuntu1) ... Selecting previously unselected package libgnome2-bin. Preparing to unpack .../libgnome2-bin_2.32.1-4ubuntu1_ppc64el.deb ... Unpacking libgnome2-bin (2.32.1-4ubuntu1) ... Selecting previously unselected package libgnome2-0:ppc64el. Preparing to unpack .../libgnome2-0_2.32.1-4ubuntu1_ppc64el.deb ... Unpacking libgnome2-0:ppc64el (2.32.1-4ubuntu1) ... Selecting previously unselected package libgail18:ppc64el. Preparing to unpack .../libgail18_2.24.22-1ubuntu2_ppc64el.deb ... Unpacking libgail18:ppc64el (2.24.22-1ubuntu2) ... Selecting previously unselected package libgnomecanvas2-common. Preparing to unpack .../libgnomecanvas2-common_2.30.3-2_all.deb ... Unpacking libgnomecanvas2-common (2.30.3-2) ... Selecting previously unselected package libgnomecanvas2-0:ppc64el. Preparing to unpack .../libgnomecanvas2-0_2.30.3-2_ppc64el.deb ... Unpacking libgnomecanvas2-0:ppc64el (2.30.3-2) ... Selecting previously unselected package libbonoboui2-common. Preparing to unpack .../libbonoboui2-common_2.24.5-0ubuntu3_all.deb ... Unpacking libbonoboui2-common (2.24.5-0ubuntu3) ... Selecting previously unselected package libbonoboui2-0:ppc64el. Preparing to unpack .../libbonoboui2-0_2.24.5-0ubuntu3_ppc64el.deb ... Unpacking libbonoboui2-0:ppc64el (2.24.5-0ubuntu3) ... Selecting previously unselected package libcairo-gobject2:ppc64el. Preparing to unpack .../libcairo-gobject2_1.13.0~20140204-0ubuntu1_ppc64el.deb ... Unpacking libcairo-gobject2:ppc64el (1.13.0~20140204-0ubuntu1) ... Selecting previously unselected package liblzo2-2:ppc64el. Preparing to unpack .../liblzo2-2_2.06-1.2ubuntu1_ppc64el.deb ... Unpacking liblzo2-2:ppc64el (2.06-1.2ubuntu1) ... Selecting previously unselected package libcairo-script-interpreter2:ppc64el. Preparing to unpack .../libcairo-script-interpreter2_1.13.0~20140204-0ubuntu1_ppc64el.deb ... Unpacking libcairo-script-interpreter2:ppc64el (1.13.0~20140204-0ubuntu1) ... Selecting previously unselected package libcroco3:ppc64el. Preparing to unpack .../libcroco3_0.6.8-2ubuntu1_ppc64el.deb ... Unpacking libcroco3:ppc64el (0.6.8-2ubuntu1) ... Selecting previously unselected package libelfg0:ppc64el. Preparing to unpack .../libelfg0_0.8.13-5_ppc64el.deb ... Unpacking libelfg0:ppc64el (0.8.13-5) ... Selecting previously unselected package libaspell15. Preparing to unpack .../libaspell15_0.60.7~20110707-1ubuntu1_ppc64el.deb ... Unpacking libaspell15 (0.60.7~20110707-1ubuntu1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../libtext-iconv-perl_1.7-5build2_ppc64el.deb ... Unpacking libtext-iconv-perl (1.7-5build2) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../dictionaries-common_1.20.5_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.20.5) ... Selecting previously unselected package aspell. Preparing to unpack .../aspell_0.60.7~20110707-1ubuntu1_ppc64el.deb ... Unpacking aspell (0.60.7~20110707-1ubuntu1) ... Selecting previously unselected package aspell-en. Preparing to unpack .../aspell-en_7.1-0-1_all.deb ... Unpacking aspell-en (7.1-0-1) ... Selecting previously unselected package libhunspell-1.3-0:ppc64el. Preparing to unpack .../libhunspell-1.3-0_1.3.2-6ubuntu2_ppc64el.deb ... Unpacking libhunspell-1.3-0:ppc64el (1.3.2-6ubuntu2) ... Selecting previously unselected package libenchant1c2a:ppc64el. Preparing to unpack .../libenchant1c2a_1.6.0-10ubuntu1_ppc64el.deb ... Unpacking libenchant1c2a:ppc64el (1.6.0-10ubuntu1) ... Selecting previously unselected package libgmpxx4ldbl:ppc64el. Preparing to unpack .../libgmpxx4ldbl_2%3a5.1.3+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libgmpxx4ldbl:ppc64el (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libgnome-keyring-common. Preparing to unpack .../libgnome-keyring-common_3.8.0-2_all.deb ... Unpacking libgnome-keyring-common (3.8.0-2) ... Selecting previously unselected package libgnome-keyring0:ppc64el. Preparing to unpack .../libgnome-keyring0_3.8.0-2_ppc64el.deb ... Unpacking libgnome-keyring0:ppc64el (3.8.0-2) ... Selecting previously unselected package x11-common. Preparing to unpack .../x11-common_1%3a7.7+1ubuntu8_all.deb ... Unpacking x11-common (1:7.7+1ubuntu8) ... Selecting previously unselected package libice6:ppc64el. Preparing to unpack .../libice6_2%3a1.0.8-2_ppc64el.deb ... Unpacking libice6:ppc64el (2:1.0.8-2) ... Selecting previously unselected package libsm6:ppc64el. Preparing to unpack .../libsm6_2%3a1.2.1-2_ppc64el.deb ... Unpacking libsm6:ppc64el (2:1.2.1-2) ... Selecting previously unselected package libgnomeui-common. Preparing to unpack .../libgnomeui-common_2.24.5-3_all.deb ... Unpacking libgnomeui-common (2.24.5-3) ... Selecting previously unselected package libgnomeui-0:ppc64el. Preparing to unpack .../libgnomeui-0_2.24.5-3_ppc64el.deb ... Unpacking libgnomeui-0:ppc64el (2.24.5-3) ... Selecting previously unselected package libharfbuzz-gobject0:ppc64el. Preparing to unpack .../libharfbuzz-gobject0_0.9.26-4_ppc64el.deb ... Unpacking libharfbuzz-gobject0:ppc64el (0.9.26-4) ... Selecting previously unselected package libicu52:ppc64el. Preparing to unpack .../libicu52_52.1-3_ppc64el.deb ... Unpacking libicu52:ppc64el (52.1-3) ... Selecting previously unselected package libharfbuzz-icu0:ppc64el. Preparing to unpack .../libharfbuzz-icu0_0.9.26-4_ppc64el.deb ... Unpacking libharfbuzz-icu0:ppc64el (0.9.26-4) ... Selecting previously unselected package libxft2:ppc64el. Preparing to unpack .../libxft2_2.3.1-2_ppc64el.deb ... Unpacking libxft2:ppc64el (2.3.1-2) ... Selecting previously unselected package libpangoxft-1.0-0:ppc64el. Preparing to unpack .../libpangoxft-1.0-0_1.36.1-0ubuntu1_ppc64el.deb ... Unpacking libpangoxft-1.0-0:ppc64el (1.36.1-0ubuntu1) ... Selecting previously unselected package libpcrecpp0:ppc64el. Preparing to unpack .../libpcrecpp0_1%3a8.31-2ubuntu2_ppc64el.deb ... Unpacking libpcrecpp0:ppc64el (1:8.31-2ubuntu2) ... Selecting previously unselected package librsvg2-2:ppc64el. Preparing to unpack .../librsvg2-2_2.40.1-0ubuntu1_ppc64el.deb ... Unpacking librsvg2-2:ppc64el (2.40.1-0ubuntu1) ... Selecting previously unselected package libunistring0:ppc64el. Preparing to unpack .../libunistring0_0.9.3-5ubuntu3_ppc64el.deb ... Unpacking libunistring0:ppc64el (0.9.3-5ubuntu3) ... Selecting previously unselected package libgnutlsxx27:ppc64el. Preparing to unpack .../libgnutlsxx27_2.12.23-1ubuntu5_ppc64el.deb ... Unpacking libgnutlsxx27:ppc64el (2.12.23-1ubuntu5) ... Selecting previously unselected package python3.3. Preparing to unpack .../python3.3_3.3.4-1_ppc64el.deb ... Unpacking python3.3 (3.3.4-1) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../python3-minimal_3.3.3-1_ppc64el.deb ... Unpacking python3-minimal (3.3.3-1) ... Selecting previously unselected package libpython3-stdlib:ppc64el. Preparing to unpack .../libpython3-stdlib_3.3.3-1_ppc64el.deb ... Unpacking libpython3-stdlib:ppc64el (3.3.3-1) ... Selecting previously unselected package python3. Preparing to unpack .../python3_3.3.3-1_ppc64el.deb ... Unpacking python3 (3.3.3-1) ... Selecting previously unselected package dh-python. Preparing to unpack .../dh-python_1.20140128-1ubuntu2_all.deb ... Unpacking dh-python (1.20140128-1ubuntu2) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.14-2ubuntu1_ppc64el.deb ... Unpacking file (1:5.14-2ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.18.3.1-1ubuntu2_ppc64el.deb ... Unpacking gettext-base (0.18.3.1-1ubuntu2) ... Selecting previously unselected package libgirepository-1.0-1. Preparing to unpack .../libgirepository-1.0-1_1.39.3-0ubuntu2_ppc64el.deb ... Unpacking libgirepository-1.0-1 (1.39.3-0ubuntu2) ... Selecting previously unselected package gir1.2-glib-2.0. Preparing to unpack .../gir1.2-glib-2.0_1.39.3-0ubuntu2_ppc64el.deb ... Unpacking gir1.2-glib-2.0 (1.39.3-0ubuntu2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../libglib2.0-data_2.39.4-0ubuntu1_all.deb ... Unpacking libglib2.0-data (2.39.4-0ubuntu1) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.18.3.1-1ubuntu2_ppc64el.deb ... Unpacking gettext (0.18.3.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu2ubuntu1_all.deb ... Unpacking po-debconf (1.0.16+nmu2ubuntu1) ... Selecting previously unselected package apparmor-easyprof. Preparing to unpack .../apparmor-easyprof_2.8.0-0ubuntu38_all.deb ... Unpacking apparmor-easyprof (2.8.0-0ubuntu38) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.8.0-0ubuntu38_all.deb ... Unpacking dh-apparmor (2.8.0-0ubuntu38) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20131127ubuntu2_all.deb ... Unpacking debhelper (9.20131127ubuntu2) ... Selecting previously unselected package gir1.2-atk-1.0. Preparing to unpack .../gir1.2-atk-1.0_2.10.0-2ubuntu2_ppc64el.deb ... Unpacking gir1.2-atk-1.0 (2.10.0-2ubuntu2) ... Selecting previously unselected package gir1.2-freedesktop. Preparing to unpack .../gir1.2-freedesktop_1.39.3-0ubuntu2_ppc64el.deb ... Unpacking gir1.2-freedesktop (1.39.3-0ubuntu2) ... Selecting previously unselected package gir1.2-gconf-2.0. Preparing to unpack .../gir1.2-gconf-2.0_3.2.6-0ubuntu1_ppc64el.deb ... Unpacking gir1.2-gconf-2.0 (3.2.6-0ubuntu1) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0. Preparing to unpack .../gir1.2-gdkpixbuf-2.0_2.30.4-0ubuntu1_ppc64el.deb ... Unpacking gir1.2-gdkpixbuf-2.0 (2.30.4-0ubuntu1) ... Selecting previously unselected package gir1.2-gnomekeyring-1.0. Preparing to unpack .../gir1.2-gnomekeyring-1.0_3.8.0-2_ppc64el.deb ... Unpacking gir1.2-gnomekeyring-1.0 (3.8.0-2) ... Selecting previously unselected package gir1.2-pango-1.0. Preparing to unpack .../gir1.2-pango-1.0_1.36.1-0ubuntu1_ppc64el.deb ... Unpacking gir1.2-pango-1.0 (1.36.1-0ubuntu1) ... Selecting previously unselected package gir1.2-gtk-2.0. Preparing to unpack .../gir1.2-gtk-2.0_2.24.22-1ubuntu2_ppc64el.deb ... Unpacking gir1.2-gtk-2.0 (2.24.22-1ubuntu2) ... Selecting previously unselected package gir1.2-rsvg-2.0. Preparing to unpack .../gir1.2-rsvg-2.0_2.40.1-0ubuntu1_ppc64el.deb ... Unpacking gir1.2-rsvg-2.0 (2.40.1-0ubuntu1) ... Selecting previously unselected package pkg-config. Preparing to unpack .../pkg-config_0.26-1ubuntu4_ppc64el.deb ... Unpacking pkg-config (0.26-1ubuntu4) ... Selecting previously unselected package libart-2.0-dev. Preparing to unpack .../libart-2.0-dev_2.3.21-2_ppc64el.deb ... Unpacking libart-2.0-dev (2.3.21-2) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../libglib2.0-bin_2.39.4-0ubuntu1_ppc64el.deb ... Unpacking libglib2.0-bin (2.39.4-0ubuntu1) ... Selecting previously unselected package libpcre3-dev:ppc64el. Preparing to unpack .../libpcre3-dev_1%3a8.31-2ubuntu2_ppc64el.deb ... Unpacking libpcre3-dev:ppc64el (1:8.31-2ubuntu2) ... Selecting previously unselected package zlib1g-dev:ppc64el. Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-1ubuntu1_ppc64el.deb ... Unpacking zlib1g-dev:ppc64el (1:1.2.8.dfsg-1ubuntu1) ... Selecting previously unselected package libglib2.0-dev. Preparing to unpack .../libglib2.0-dev_2.39.4-0ubuntu1_ppc64el.deb ... Unpacking libglib2.0-dev (2.39.4-0ubuntu1) ... Selecting previously unselected package libatk1.0-dev. Preparing to unpack .../libatk1.0-dev_2.10.0-2ubuntu2_ppc64el.deb ... Unpacking libatk1.0-dev (2.10.0-2ubuntu2) ... Selecting previously unselected package libavahi-common-dev. Preparing to unpack .../libavahi-common-dev_0.6.31-4ubuntu1_ppc64el.deb ... Unpacking libavahi-common-dev (0.6.31-4ubuntu1) ... Selecting previously unselected package libdbus-1-dev:ppc64el. Preparing to unpack .../libdbus-1-dev_1.6.18-0ubuntu3_ppc64el.deb ... Unpacking libdbus-1-dev:ppc64el (1.6.18-0ubuntu3) ... Selecting previously unselected package libavahi-client-dev. Preparing to unpack .../libavahi-client-dev_0.6.31-4ubuntu1_ppc64el.deb ... Unpacking libavahi-client-dev (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-glib-dev. Preparing to unpack .../libavahi-glib-dev_0.6.31-4ubuntu1_ppc64el.deb ... Unpacking libavahi-glib-dev (0.6.31-4ubuntu1) ... Selecting previously unselected package libidl-dev:ppc64el. Preparing to unpack .../libidl-dev_0.8.14-0.2ubuntu4_ppc64el.deb ... Unpacking libidl-dev:ppc64el (0.8.14-0.2ubuntu4) ... Selecting previously unselected package orbit2. Preparing to unpack .../orbit2_1%3a2.14.19-0.3_ppc64el.deb ... Unpacking orbit2 (1:2.14.19-0.3) ... Selecting previously unselected package liborbit2-dev. Preparing to unpack .../liborbit2-dev_1%3a2.14.19-0.3_ppc64el.deb ... Unpacking liborbit2-dev (1:2.14.19-0.3) ... Selecting previously unselected package libpopt-dev:ppc64el. Preparing to unpack .../libpopt-dev_1.16-8ubuntu1_ppc64el.deb ... Unpacking libpopt-dev:ppc64el (1.16-8ubuntu1) ... Selecting previously unselected package libbonobo2-dev:ppc64el. Preparing to unpack .../libbonobo2-dev_2.32.1-0ubuntu5_ppc64el.deb ... Unpacking libbonobo2-dev:ppc64el (2.32.1-0ubuntu5) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../x11proto-core-dev_7.0.24-1_all.deb ... Unpacking x11proto-core-dev (7.0.24-1) ... Selecting previously unselected package libxau-dev:ppc64el. Preparing to unpack .../libxau-dev_1%3a1.0.8-1_ppc64el.deb ... Unpacking libxau-dev:ppc64el (1:1.0.8-1) ... Selecting previously unselected package libxdmcp-dev:ppc64el. Preparing to unpack .../libxdmcp-dev_1%3a1.1.1-1_ppc64el.deb ... Unpacking libxdmcp-dev:ppc64el (1:1.1.1-1) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../x11proto-input-dev_2.3-1_all.deb ... Unpacking x11proto-input-dev (2.3-1) ... Selecting previously unselected package x11proto-kb-dev. Preparing to unpack .../x11proto-kb-dev_1.0.6-2_all.deb ... Unpacking x11proto-kb-dev (1.0.6-2) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../xtrans-dev_1.3.2-1_all.deb ... Unpacking xtrans-dev (1.3.2-1) ... Selecting previously unselected package libpthread-stubs0-dev:ppc64el. Preparing to unpack .../libpthread-stubs0-dev_0.3-4_ppc64el.deb ... Unpacking libpthread-stubs0-dev:ppc64el (0.3-4) ... Selecting previously unselected package libxcb1-dev:ppc64el. Preparing to unpack .../libxcb1-dev_1.10-2ubuntu1_ppc64el.deb ... Unpacking libxcb1-dev:ppc64el (1.10-2ubuntu1) ... Selecting previously unselected package libx11-dev:ppc64el. Preparing to unpack .../libx11-dev_2%3a1.6.2-1ubuntu2_ppc64el.deb ... Unpacking libx11-dev:ppc64el (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libpng12-dev. Preparing to unpack .../libpng12-dev_1.2.50-1ubuntu1_ppc64el.deb ... Unpacking libpng12-dev (1.2.50-1ubuntu1) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Preparing to unpack .../libgdk-pixbuf2.0-dev_2.30.4-0ubuntu1_ppc64el.deb ... Unpacking libgdk-pixbuf2.0-dev (2.30.4-0ubuntu1) ... Selecting previously unselected package libfreetype6-dev. Preparing to unpack .../libfreetype6-dev_2.5.2-1ubuntu1_ppc64el.deb ... Unpacking libfreetype6-dev (2.5.2-1ubuntu1) ... Selecting previously unselected package x11proto-render-dev. Preparing to unpack .../x11proto-render-dev_2%3a0.11.1-2_all.deb ... Unpacking x11proto-render-dev (2:0.11.1-2) ... Selecting previously unselected package libxrender-dev:ppc64el. Preparing to unpack .../libxrender-dev_1%3a0.9.8-1_ppc64el.deb ... Unpacking libxrender-dev:ppc64el (1:0.9.8-1) ... Selecting previously unselected package libexpat1-dev:ppc64el. Preparing to unpack .../libexpat1-dev_2.1.0-4ubuntu1_ppc64el.deb ... Unpacking libexpat1-dev:ppc64el (2.1.0-4ubuntu1) ... Selecting previously unselected package libfontconfig1-dev. Preparing to unpack .../libfontconfig1-dev_2.11.0-0ubuntu4_ppc64el.deb ... Unpacking libfontconfig1-dev (2.11.0-0ubuntu4) ... Selecting previously unselected package libxft-dev. Preparing to unpack .../libxft-dev_2.3.1-2_ppc64el.deb ... Unpacking libxft-dev (2.3.1-2) ... Selecting previously unselected package libharfbuzz-dev. Preparing to unpack .../libharfbuzz-dev_0.9.26-4_ppc64el.deb ... Unpacking libharfbuzz-dev (0.9.26-4) ... Selecting previously unselected package libice-dev:ppc64el. Preparing to unpack .../libice-dev_2%3a1.0.8-2_ppc64el.deb ... Unpacking libice-dev:ppc64el (2:1.0.8-2) ... Selecting previously unselected package libsm-dev:ppc64el. Preparing to unpack .../libsm-dev_2%3a1.2.1-2_ppc64el.deb ... Unpacking libsm-dev:ppc64el (2:1.2.1-2) ... Selecting previously unselected package libpixman-1-dev. Preparing to unpack .../libpixman-1-dev_0.30.2-2ubuntu1_ppc64el.deb ... Unpacking libpixman-1-dev (0.30.2-2ubuntu1) ... Selecting previously unselected package libxcb-render0-dev:ppc64el. Preparing to unpack .../libxcb-render0-dev_1.10-2ubuntu1_ppc64el.deb ... Unpacking libxcb-render0-dev:ppc64el (1.10-2ubuntu1) ... Selecting previously unselected package libxcb-shm0-dev:ppc64el. Preparing to unpack .../libxcb-shm0-dev_1.10-2ubuntu1_ppc64el.deb ... Unpacking libxcb-shm0-dev:ppc64el (1.10-2ubuntu1) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../x11proto-xext-dev_7.3.0-1_all.deb ... Unpacking x11proto-xext-dev (7.3.0-1) ... Selecting previously unselected package libxext-dev:ppc64el. Preparing to unpack .../libxext-dev_2%3a1.3.2-1_ppc64el.deb ... Unpacking libxext-dev:ppc64el (2:1.3.2-1) ... Selecting previously unselected package libcairo2-dev. Preparing to unpack .../libcairo2-dev_1.13.0~20140204-0ubuntu1_ppc64el.deb ... Unpacking libcairo2-dev (1.13.0~20140204-0ubuntu1) ... Selecting previously unselected package libpango1.0-dev. Preparing to unpack .../libpango1.0-dev_1.36.1-0ubuntu1_ppc64el.deb ... Unpacking libpango1.0-dev (1.36.1-0ubuntu1) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../x11proto-xinerama-dev_1.2.1-2_all.deb ... Unpacking x11proto-xinerama-dev (1.2.1-2) ... Selecting previously unselected package libxinerama-dev:ppc64el. Preparing to unpack .../libxinerama-dev_2%3a1.1.3-1_ppc64el.deb ... Unpacking libxinerama-dev:ppc64el (2:1.1.3-1) ... Selecting previously unselected package x11proto-fixes-dev. Preparing to unpack .../x11proto-fixes-dev_1%3a5.0-2ubuntu2_all.deb ... Unpacking x11proto-fixes-dev (1:5.0-2ubuntu2) ... Selecting previously unselected package libxfixes-dev:ppc64el. Preparing to unpack .../libxfixes-dev_1%3a5.0.1-1ubuntu1_ppc64el.deb ... Unpacking libxfixes-dev:ppc64el (1:5.0.1-1ubuntu1) ... Selecting previously unselected package libxi-dev. Preparing to unpack .../libxi-dev_2%3a1.7.1.901-1ubuntu1_ppc64el.deb ... Unpacking libxi-dev (2:1.7.1.901-1ubuntu1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../x11proto-randr-dev_1.4.0+git20120101.is.really.1.4.0-0ubuntu1_all.deb ... Unpacking x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1) ... Selecting previously unselected package libxrandr-dev:ppc64el. Preparing to unpack .../libxrandr-dev_2%3a1.4.2-1_ppc64el.deb ... Unpacking libxrandr-dev:ppc64el (2:1.4.2-1) ... Selecting previously unselected package libxcursor-dev:ppc64el. Preparing to unpack .../libxcursor-dev_1%3a1.1.14-1_ppc64el.deb ... Unpacking libxcursor-dev:ppc64el (1:1.1.14-1) ... Selecting previously unselected package x11proto-composite-dev. Preparing to unpack .../x11proto-composite-dev_1%3a0.4.2-2_all.deb ... Unpacking x11proto-composite-dev (1:0.4.2-2) ... Selecting previously unselected package libxcomposite-dev. Preparing to unpack .../libxcomposite-dev_1%3a0.4.4-1_ppc64el.deb ... Unpacking libxcomposite-dev (1:0.4.4-1) ... Selecting previously unselected package x11proto-damage-dev. Preparing to unpack .../x11proto-damage-dev_1%3a1.2.1-2_all.deb ... Unpacking x11proto-damage-dev (1:1.2.1-2) ... Selecting previously unselected package libxdamage-dev:ppc64el. Preparing to unpack .../libxdamage-dev_1%3a1.1.4-1ubuntu1_ppc64el.deb ... Unpacking libxdamage-dev:ppc64el (1:1.1.4-1ubuntu1) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../libxml2-utils_2.9.1+dfsg1-3ubuntu3_ppc64el.deb ... Unpacking libxml2-utils (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package libgtk2.0-dev. Preparing to unpack .../libgtk2.0-dev_2.24.22-1ubuntu2_ppc64el.deb ... Unpacking libgtk2.0-dev (2.24.22-1ubuntu2) ... Selecting previously unselected package libgail-common:ppc64el. Preparing to unpack .../libgail-common_2.24.22-1ubuntu2_ppc64el.deb ... Unpacking libgail-common:ppc64el (2.24.22-1ubuntu2) ... Selecting previously unselected package libgail-dev. Preparing to unpack .../libgail-dev_2.24.22-1ubuntu2_ppc64el.deb ... Unpacking libgail-dev (2.24.22-1ubuntu2) ... Selecting previously unselected package libgnomecanvas2-dev:ppc64el. Preparing to unpack .../libgnomecanvas2-dev_2.30.3-2_ppc64el.deb ... Unpacking libgnomecanvas2-dev:ppc64el (2.30.3-2) ... Selecting previously unselected package libgconf2-dev. Preparing to unpack .../libgconf2-dev_3.2.6-0ubuntu1_ppc64el.deb ... Unpacking libgconf2-dev (3.2.6-0ubuntu1) ... Selecting previously unselected package libgpg-error-dev. Preparing to unpack .../libgpg-error-dev_1.12-0.2ubuntu1_ppc64el.deb ... Unpacking libgpg-error-dev (1.12-0.2ubuntu1) ... Selecting previously unselected package libgcrypt11-dev. Preparing to unpack .../libgcrypt11-dev_1.5.3-2ubuntu4_ppc64el.deb ... Unpacking libgcrypt11-dev (1.5.3-2ubuntu4) ... Selecting previously unselected package libtasn1-3-dev. Preparing to unpack .../libtasn1-3-dev_2.14-3ubuntu1_ppc64el.deb ... Unpacking libtasn1-3-dev (2.14-3ubuntu1) ... Selecting previously unselected package libp11-kit-dev. Preparing to unpack .../libp11-kit-dev_0.20.1-2ubuntu1_ppc64el.deb ... Unpacking libp11-kit-dev (0.20.1-2ubuntu1) ... Selecting previously unselected package libgnutls-dev. Preparing to unpack .../libgnutls-dev_2.12.23-1ubuntu5_ppc64el.deb ... Unpacking libgnutls-dev (2.12.23-1ubuntu5) ... Selecting previously unselected package libxml2-dev:ppc64el. Preparing to unpack .../libxml2-dev_2.9.1+dfsg1-3ubuntu3_ppc64el.deb ... Unpacking libxml2-dev:ppc64el (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package libsepol1-dev. Preparing to unpack .../libsepol1-dev_2.2-1_ppc64el.deb ... Unpacking libsepol1-dev (2.2-1) ... Selecting previously unselected package libselinux1-dev:ppc64el. Preparing to unpack .../libselinux1-dev_2.2.2-1_ppc64el.deb ... Unpacking libselinux1-dev:ppc64el (2.2.2-1) ... Selecting previously unselected package libgnomevfs2-dev:ppc64el. Preparing to unpack .../libgnomevfs2-dev_1%3a2.24.4-1ubuntu6_ppc64el.deb ... Unpacking libgnomevfs2-dev:ppc64el (1:2.24.4-1ubuntu6) ... Selecting previously unselected package libcanberra-dev:ppc64el. Preparing to unpack .../libcanberra-dev_0.30-0ubuntu2_ppc64el.deb ... Unpacking libcanberra-dev:ppc64el (0.30-0ubuntu2) ... Selecting previously unselected package libgnome2-dev:ppc64el. Preparing to unpack .../libgnome2-dev_2.32.1-4ubuntu1_ppc64el.deb ... Unpacking libgnome2-dev:ppc64el (2.32.1-4ubuntu1) ... Selecting previously unselected package libbonoboui2-dev:ppc64el. Preparing to unpack .../libbonoboui2-dev_2.24.5-0ubuntu3_ppc64el.deb ... Unpacking libbonoboui2-dev:ppc64el (2.24.5-0ubuntu3) ... Selecting previously unselected package libenchant-dev. Preparing to unpack .../libenchant-dev_1.6.0-10ubuntu1_ppc64el.deb ... Unpacking libenchant-dev (1.6.0-10ubuntu1) ... Selecting previously unselected package libglade2-dev:ppc64el. Preparing to unpack .../libglade2-dev_1%3a2.6.4-2_ppc64el.deb ... Unpacking libglade2-dev:ppc64el (1:2.6.4-2) ... Selecting previously unselected package libgmp-dev:ppc64el. Preparing to unpack .../libgmp-dev_2%3a5.1.3+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libgmp-dev:ppc64el (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../libgmp3-dev_2%3a5.1.3+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libgmp3-dev (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libgnome-keyring-dev. Preparing to unpack .../libgnome-keyring-dev_3.8.0-2_ppc64el.deb ... Unpacking libgnome-keyring-dev (3.8.0-2) ... Selecting previously unselected package libgnomeui-dev:ppc64el. Preparing to unpack .../libgnomeui-dev_2.24.5-3_ppc64el.deb ... Unpacking libgnomeui-dev:ppc64el (2.24.5-3) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../libgtksourceview2.0-common_2.10.5-1ubuntu2_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-1ubuntu2) ... Selecting previously unselected package libgtksourceview2.0-0. Preparing to unpack .../libgtksourceview2.0-0_2.10.5-1ubuntu2_ppc64el.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-1ubuntu2) ... Selecting previously unselected package libgtksourceview2.0-dev. Preparing to unpack .../libgtksourceview2.0-dev_2.10.5-1ubuntu2_ppc64el.deb ... Unpacking libgtksourceview2.0-dev (2.10.5-1ubuntu2) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../libgtkspell0_2.0.16-1ubuntu7_ppc64el.deb ... Unpacking libgtkspell0 (2.0.16-1ubuntu7) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../libgtkspell-dev_2.0.16-1ubuntu7_ppc64el.deb ... Unpacking libgtkspell-dev (2.0.16-1ubuntu7) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../ocaml-base-nox_4.01.0-3ubuntu3_ppc64el.deb ... Unpacking ocaml-base-nox (4.01.0-3ubuntu3) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../liblablgtk2-ocaml_2.16.0+dfsg-1_ppc64el.deb ... Unpacking liblablgtk2-ocaml (2.16.0+dfsg-1) ... Selecting previously unselected package liblablgtk2-gnome-ocaml. Preparing to unpack .../liblablgtk2-gnome-ocaml_2.16.0+dfsg-1_ppc64el.deb ... Unpacking liblablgtk2-gnome-ocaml (2.16.0+dfsg-1) ... Selecting previously unselected package librsvg2-common:ppc64el. Preparing to unpack .../librsvg2-common_2.40.1-0ubuntu1_ppc64el.deb ... Unpacking librsvg2-common:ppc64el (2.40.1-0ubuntu1) ... Selecting previously unselected package librsvg2-dev. Preparing to unpack .../librsvg2-dev_2.40.1-0ubuntu1_ppc64el.deb ... Unpacking librsvg2-dev (2.40.1-0ubuntu1) ... Selecting previously unselected package libtinfo-dev:ppc64el. Preparing to unpack .../libtinfo-dev_5.9+20131221-1ubuntu1_ppc64el.deb ... Unpacking libtinfo-dev:ppc64el (5.9+20131221-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:ppc64el. Preparing to unpack .../libncurses5-dev_5.9+20131221-1ubuntu1_ppc64el.deb ... Unpacking libncurses5-dev:ppc64el (5.9+20131221-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../ocaml-compiler-libs_4.01.0-3ubuntu3_ppc64el.deb ... Unpacking ocaml-compiler-libs (4.01.0-3ubuntu3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../ocaml-interp_4.01.0-3ubuntu3_ppc64el.deb ... Unpacking ocaml-interp (4.01.0-3ubuntu3) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../ocaml-nox_4.01.0-3ubuntu3_ppc64el.deb ... Unpacking ocaml-nox (4.01.0-3ubuntu3) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Preparing to unpack .../liblablgtk2-ocaml-dev_2.16.0+dfsg-1_ppc64el.deb ... Unpacking liblablgtk2-ocaml-dev (2.16.0+dfsg-1) ... Selecting previously unselected package liblablgtk2-gnome-ocaml-dev. Preparing to unpack .../liblablgtk2-gnome-ocaml-dev_2.16.0+dfsg-1_ppc64el.deb ... Unpacking liblablgtk2-gnome-ocaml-dev (2.16.0+dfsg-1) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../liblablgtksourceview2-ocaml_2.16.0+dfsg-1_ppc64el.deb ... Unpacking liblablgtksourceview2-ocaml (2.16.0+dfsg-1) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Preparing to unpack .../liblablgtksourceview2-ocaml-dev_2.16.0+dfsg-1_ppc64el.deb ... Unpacking liblablgtksourceview2-ocaml-dev (2.16.0+dfsg-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../libocamlgraph-ocaml-dev_1.8.3-1build1_ppc64el.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.3-1build1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../libzarith-ocaml_1.2.1-2build1_ppc64el.deb ... Unpacking libzarith-ocaml (1.2.1-2build1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../libzarith-ocaml-dev_1.2.1-2build1_ppc64el.deb ... Unpacking libzarith-ocaml-dev (1.2.1-2build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../dh-ocaml_1.0.8_all.deb ... Unpacking dh-ocaml (1.0.8) ... Setting up libexpat1:ppc64el (2.1.0-4ubuntu1) ... Setting up libgnutls-openssl27:ppc64el (2.12.23-1ubuntu5) ... Setting up libmagic1:ppc64el (1:5.14-2ubuntu1) ... Setting up libpopt0:ppc64el (1.16-8ubuntu1) ... Setting up libssl1.0.0:ppc64el (1.0.1f-1ubuntu1) ... Setting up libpython3.3-minimal:ppc64el (3.3.4-1) ... Setting up mime-support (3.54ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libmpdec2:ppc64el (2.4.0-6) ... Setting up libpython3.3-stdlib:ppc64el (3.3.4-1) ... Setting up python3.3-minimal (3.3.4-1) ... Setting up libasprintf0c2:ppc64el (0.18.3.1-1ubuntu2) ... Setting up libglib2.0-0:ppc64el (2.39.4-0ubuntu1) ... No schema files found: doing nothing. Setting up libdbus-glib-1-2:ppc64el (0.100.2-1) ... Setting up libpipeline1:ppc64el (1.2.6-2) ... Setting up libsystemd-login0:ppc64el (204-5ubuntu11) ... Setting up libxau6:ppc64el (1:1.0.8-1) ... Setting up libxdmcp6:ppc64el (1:1.1.1-1) ... Setting up libxcb1:ppc64el (1.10-2ubuntu1) ... Setting up libx11-data (2:1.6.2-1ubuntu2) ... Setting up libx11-6:ppc64el (2:1.6.2-1ubuntu2) ... Setting up libxext6:ppc64el (2:1.3.2-1) ... Setting up libxml2:ppc64el (2.9.1+dfsg1-3ubuntu3) ... Setting up groff-base (1.22.2-5) ... Setting up bsdmainutils (9.0.5ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.6.6-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libart-2.0-2:ppc64el (2.3.21-2) ... Setting up libasound2-data (1.0.27.2-3ubuntu2) ... Setting up libasound2:ppc64el (1.0.27.2-3ubuntu2) ... Setting up libatk1.0-data (2.10.0-2ubuntu2) ... Setting up libatk1.0-0:ppc64el (2.10.0-2ubuntu2) ... Setting up libavahi-common-data:ppc64el (0.6.31-4ubuntu1) ... Setting up libavahi-common3:ppc64el (0.6.31-4ubuntu1) ... Setting up libavahi-client3:ppc64el (0.6.31-4ubuntu1) ... Setting up libavahi-glib1:ppc64el (0.6.31-4ubuntu1) ... Setting up libbonobo2-common (2.32.1-0ubuntu5) ... Setting up libidl-common (0.8.14-0.2ubuntu4) ... Setting up libidl0:ppc64el (0.8.14-0.2ubuntu4) ... Setting up liborbit-2-0:ppc64el (1:2.14.19-0.3) ... Setting up liborbit2:ppc64el (1:2.14.19-0.3) ... Setting up libbonobo2-0:ppc64el (2.32.1-0ubuntu5) ... Setting up ucf (3.0027+nmu1) ... Setting up gconf2-common (3.2.6-0ubuntu1) ... Creating config file /etc/gconf/2/path with new version Setting up libgconf-2-4:ppc64el (3.2.6-0ubuntu1) ... Setting up libjpeg-turbo8:ppc64el (1.3.0-0ubuntu2) ... Setting up libjpeg8:ppc64el (8c-2ubuntu8) ... Setting up libjasper1:ppc64el (1.900.1-14ubuntu3) ... Setting up libjbig0:ppc64el (2.0-2ubuntu4) ... Setting up libtiff5:ppc64el (4.0.3-7) ... Setting up libgdk-pixbuf2.0-common (2.30.4-0ubuntu1) ... Setting up libgdk-pixbuf2.0-0:ppc64el (2.30.4-0ubuntu1) ... Setting up libgtk2.0-common (2.24.22-1ubuntu2) ... Setting up fonts-dejavu-core (2.34-1ubuntu1) ... Setting up fontconfig-config (2.11.0-0ubuntu4) ... Setting up libfreetype6:ppc64el (2.5.2-1ubuntu1) ... Setting up libfontconfig1:ppc64el (2.11.0-0ubuntu4) ... Setting up libpixman-1-0:ppc64el (0.30.2-2ubuntu1) ... Setting up libxcb-render0:ppc64el (1.10-2ubuntu1) ... Setting up libxcb-shm0:ppc64el (1.10-2ubuntu1) ... Setting up libxrender1:ppc64el (1:0.9.8-1) ... Setting up libcairo2:ppc64el (1.13.0~20140204-0ubuntu1) ... Setting up libcups2:ppc64el (1.7.1-4ubuntu1) ... Setting up libthai-data (0.1.20-3) ... Setting up libdatrie1:ppc64el (0.2.8-1) ... Setting up libthai0:ppc64el (0.1.20-3) ... Setting up fontconfig (2.11.0-0ubuntu4) ... Regenerating fonts cache... done. Setting up libpango-1.0-0:ppc64el (1.36.1-0ubuntu1) ... Setting up libgraphite2-3:ppc64el (1.2.4-1ubuntu1) ... Setting up libharfbuzz0b:ppc64el (0.9.26-4) ... Setting up libpangoft2-1.0-0:ppc64el (1.36.1-0ubuntu1) ... Setting up libpangocairo-1.0-0:ppc64el (1.36.1-0ubuntu1) ... Setting up libxcomposite1:ppc64el (1:0.4.4-1) ... Setting up libxfixes3:ppc64el (1:5.0.1-1ubuntu1) ... Setting up libxcursor1:ppc64el (1:1.1.14-1) ... Setting up libxdamage1:ppc64el (1:1.1.4-1ubuntu1) ... Setting up libxi6:ppc64el (2:1.7.1.901-1ubuntu1) ... Setting up libxinerama1:ppc64el (2:1.1.3-1) ... Setting up libxrandr2:ppc64el (2:1.4.2-1) ... Setting up shared-mime-info (1.2-0ubuntu1) ... Setting up libgtk2.0-0:ppc64el (2.24.22-1ubuntu2) ... Setting up libglade2-0:ppc64el (1:2.6.4-2) ... Setting up libltdl7:ppc64el (2.4.2-1.7ubuntu1) ... Setting up libtdb1:ppc64el (1.2.12-1) ... Setting up libogg0:ppc64el (1.3.1-1ubuntu1) ... Setting up libvorbis0a:ppc64el (1.3.2-1.3ubuntu1) ... Setting up libvorbisfile3:ppc64el (1.3.2-1.3ubuntu1) ... Setting up sound-theme-freedesktop (0.8-1) ... Setting up libcanberra0:ppc64el (0.30-0ubuntu2) ... Setting up libapparmor1:ppc64el (2.8.0-0ubuntu38) ... Setting up netbase (5.2) ... Setting up dbus (1.6.18-0ubuntu3) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up psmisc (22.20-1ubuntu2) ... Setting up dbus-x11 (1.6.18-0ubuntu3) ... Setting up libpython2.7-minimal:ppc64el (2.7.6-5) ... Setting up python2.7-minimal (2.7.6-5) ... Linking and byte-compiling packages for runtime python2.7... Setting up libpython2.7-stdlib:ppc64el (2.7.6-5) ... Setting up python2.7 (2.7.6-5) ... Setting up python-minimal (2.7.5-5ubuntu3) ... Setting up libpython-stdlib:ppc64el (2.7.5-5ubuntu3) ... Setting up python (2.7.5-5ubuntu3) ... Setting up libgail18:ppc64el (2.24.22-1ubuntu2) ... Setting up libgnomecanvas2-common (2.30.3-2) ... Setting up libgnomecanvas2-0:ppc64el (2.30.3-2) ... Setting up libbonoboui2-common (2.24.5-0ubuntu3) ... rmdir: failed to remove '/usr/share/gtk-doc/html/libbonoboui': Directory not empty Setting up libcairo-gobject2:ppc64el (1.13.0~20140204-0ubuntu1) ... Setting up liblzo2-2:ppc64el (2.06-1.2ubuntu1) ... Setting up libcairo-script-interpreter2:ppc64el (1.13.0~20140204-0ubuntu1) ... Setting up libcroco3:ppc64el (0.6.8-2ubuntu1) ... Setting up libelfg0:ppc64el (0.8.13-5) ... Setting up libaspell15 (0.60.7~20110707-1ubuntu1) ... Setting up libtext-iconv-perl (1.7-5build2) ... Setting up dictionaries-common (1.20.5) ... Setting up libhunspell-1.3-0:ppc64el (1.3.2-6ubuntu2) ... Setting up libgmpxx4ldbl:ppc64el (2:5.1.3+dfsg-1ubuntu1) ... Setting up libgnome-keyring-common (3.8.0-2) ... Setting up libgnome-keyring0:ppc64el (3.8.0-2) ... Setting up x11-common (1:7.7+1ubuntu8) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:ppc64el (2:1.0.8-2) ... Setting up libsm6:ppc64el (2:1.2.1-2) ... Setting up libgnomeui-common (2.24.5-3) ... Setting up libharfbuzz-gobject0:ppc64el (0.9.26-4) ... Setting up libicu52:ppc64el (52.1-3) ... Setting up libharfbuzz-icu0:ppc64el (0.9.26-4) ... Setting up libxft2:ppc64el (2.3.1-2) ... Setting up libpangoxft-1.0-0:ppc64el (1.36.1-0ubuntu1) ... Setting up libpcrecpp0:ppc64el (1:8.31-2ubuntu2) ... Setting up librsvg2-2:ppc64el (2.40.1-0ubuntu1) ... Setting up libunistring0:ppc64el (0.9.3-5ubuntu3) ... Setting up libgnutlsxx27:ppc64el (2.12.23-1ubuntu5) ... Setting up python3.3 (3.3.4-1) ... Setting up python3-minimal (3.3.3-1) ... Setting up libpython3-stdlib:ppc64el (3.3.3-1) ... Setting up file (1:5.14-2ubuntu1) ... Setting up gettext-base (0.18.3.1-1ubuntu2) ... Setting up libgirepository-1.0-1 (1.39.3-0ubuntu2) ... Setting up gir1.2-glib-2.0 (1.39.3-0ubuntu2) ... Setting up libglib2.0-data (2.39.4-0ubuntu1) ... Setting up gettext (0.18.3.1-1ubuntu2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up gir1.2-atk-1.0 (2.10.0-2ubuntu2) ... Setting up gir1.2-freedesktop (1.39.3-0ubuntu2) ... Setting up gir1.2-gdkpixbuf-2.0 (2.30.4-0ubuntu1) ... Setting up gir1.2-gnomekeyring-1.0 (3.8.0-2) ... Setting up gir1.2-pango-1.0 (1.36.1-0ubuntu1) ... Setting up gir1.2-gtk-2.0 (2.24.22-1ubuntu2) ... Setting up gir1.2-rsvg-2.0 (2.40.1-0ubuntu1) ... Setting up pkg-config (0.26-1ubuntu4) ... Setting up libart-2.0-dev (2.3.21-2) ... Setting up libglib2.0-bin (2.39.4-0ubuntu1) ... Setting up libpcre3-dev:ppc64el (1:8.31-2ubuntu2) ... Setting up zlib1g-dev:ppc64el (1:1.2.8.dfsg-1ubuntu1) ... Setting up libglib2.0-dev (2.39.4-0ubuntu1) ... Setting up libatk1.0-dev (2.10.0-2ubuntu2) ... Setting up libavahi-common-dev (0.6.31-4ubuntu1) ... Setting up libdbus-1-dev:ppc64el (1.6.18-0ubuntu3) ... Setting up libavahi-client-dev (0.6.31-4ubuntu1) ... Setting up libavahi-glib-dev (0.6.31-4ubuntu1) ... Setting up libidl-dev:ppc64el (0.8.14-0.2ubuntu4) ... Setting up orbit2 (1:2.14.19-0.3) ... Setting up liborbit2-dev (1:2.14.19-0.3) ... Setting up libpopt-dev:ppc64el (1.16-8ubuntu1) ... Setting up libbonobo2-dev:ppc64el (2.32.1-0ubuntu5) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up x11proto-core-dev (7.0.24-1) ... Setting up libxau-dev:ppc64el (1:1.0.8-1) ... Setting up libxdmcp-dev:ppc64el (1:1.1.1-1) ... Setting up x11proto-input-dev (2.3-1) ... Setting up x11proto-kb-dev (1.0.6-2) ... Setting up xtrans-dev (1.3.2-1) ... Setting up libpthread-stubs0-dev:ppc64el (0.3-4) ... Setting up libxcb1-dev:ppc64el (1.10-2ubuntu1) ... Setting up libx11-dev:ppc64el (2:1.6.2-1ubuntu2) ... Setting up libpng12-dev (1.2.50-1ubuntu1) ... Setting up libgdk-pixbuf2.0-dev (2.30.4-0ubuntu1) ... Setting up libfreetype6-dev (2.5.2-1ubuntu1) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:ppc64el (1:0.9.8-1) ... Setting up libexpat1-dev:ppc64el (2.1.0-4ubuntu1) ... Setting up libfontconfig1-dev (2.11.0-0ubuntu4) ... Setting up libxft-dev (2.3.1-2) ... Setting up libharfbuzz-dev (0.9.26-4) ... Setting up libice-dev:ppc64el (2:1.0.8-2) ... Setting up libsm-dev:ppc64el (2:1.2.1-2) ... Setting up libpixman-1-dev (0.30.2-2ubuntu1) ... Setting up libxcb-render0-dev:ppc64el (1.10-2ubuntu1) ... Setting up libxcb-shm0-dev:ppc64el (1.10-2ubuntu1) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libxext-dev:ppc64el (2:1.3.2-1) ... Setting up libcairo2-dev (1.13.0~20140204-0ubuntu1) ... Setting up libpango1.0-dev (1.36.1-0ubuntu1) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev:ppc64el (2:1.1.3-1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu2) ... Setting up libxfixes-dev:ppc64el (1:5.0.1-1ubuntu1) ... Setting up libxi-dev (2:1.7.1.901-1ubuntu1) ... Setting up x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1) ... Setting up libxrandr-dev:ppc64el (2:1.4.2-1) ... Setting up libxcursor-dev:ppc64el (1:1.1.14-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.4-1) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev:ppc64el (1:1.1.4-1ubuntu1) ... Setting up libxml2-utils (2.9.1+dfsg1-3ubuntu3) ... Setting up libgtk2.0-dev (2.24.22-1ubuntu2) ... Setting up libgail-common:ppc64el (2.24.22-1ubuntu2) ... Setting up libgail-dev (2.24.22-1ubuntu2) ... Setting up libgnomecanvas2-dev:ppc64el (2.30.3-2) ... Setting up libgpg-error-dev (1.12-0.2ubuntu1) ... Setting up libgcrypt11-dev (1.5.3-2ubuntu4) ... Setting up libtasn1-3-dev (2.14-3ubuntu1) ... Setting up libp11-kit-dev (0.20.1-2ubuntu1) ... Setting up libgnutls-dev (2.12.23-1ubuntu5) ... Setting up libxml2-dev:ppc64el (2.9.1+dfsg1-3ubuntu3) ... Setting up libsepol1-dev (2.2-1) ... Setting up libselinux1-dev:ppc64el (2.2.2-1) ... Setting up libcanberra-dev:ppc64el (0.30-0ubuntu2) ... Setting up libglade2-dev:ppc64el (1:2.6.4-2) ... Setting up libgmp-dev:ppc64el (2:5.1.3+dfsg-1ubuntu1) ... Setting up libgmp3-dev (2:5.1.3+dfsg-1ubuntu1) ... Setting up libgnome-keyring-dev (3.8.0-2) ... Setting up libgtksourceview2.0-common (2.10.5-1ubuntu2) ... Setting up libgtksourceview2.0-0 (2.10.5-1ubuntu2) ... Setting up libgtksourceview2.0-dev (2.10.5-1ubuntu2) ... Setting up ocaml-base-nox (4.01.0-3ubuntu3) ... Setting up librsvg2-common:ppc64el (2.40.1-0ubuntu1) ... Setting up librsvg2-dev (2.40.1-0ubuntu1) ... Setting up libtinfo-dev:ppc64el (5.9+20131221-1ubuntu1) ... Setting up libncurses5-dev:ppc64el (5.9+20131221-1ubuntu1) ... Setting up libzarith-ocaml (1.2.1-2build1) ... Setting up dh-ocaml (1.0.8) ... Processing triggers for dictionaries-common (1.20.5) ... aspell-autobuildhash: processing: en [en-common] aspell-autobuildhash: processing: en [en-variant_0] aspell-autobuildhash: processing: en [en-variant_1] aspell-autobuildhash: processing: en [en-variant_2] aspell-autobuildhash: processing: en [en-w_accents-only] aspell-autobuildhash: processing: en [en-wo_accents-only] aspell-autobuildhash: processing: en [en_CA-variant_0] aspell-autobuildhash: processing: en [en_CA-variant_1] aspell-autobuildhash: processing: en [en_CA-w_accents-only] aspell-autobuildhash: processing: en [en_CA-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-variant_0] aspell-autobuildhash: processing: en [en_GB-variant_1] aspell-autobuildhash: processing: en [en_US-w_accents-only] aspell-autobuildhash: processing: en [en_US-wo_accents-only] Setting up aspell (0.60.7~20110707-1ubuntu1) ... Processing triggers for dictionaries-common (1.20.5) ... Setting up aspell-en (7.1-0-1) ... Processing triggers for dictionaries-common (1.20.5) ... Setting up libenchant1c2a:ppc64el (1.6.0-10ubuntu1) ... Setting up libenchant-dev (1.6.0-10ubuntu1) ... Setting up libgtkspell0 (2.0.16-1ubuntu7) ... Setting up libgtkspell-dev (2.0.16-1ubuntu7) ... Setting up liblablgtk2-ocaml (2.16.0+dfsg-1) ... Setting up liblablgtksourceview2-ocaml (2.16.0+dfsg-1) ... Setting up gconf-service (3.2.6-0ubuntu1) ... Setting up python3 (3.3.3-1) ... running python rtupdate hooks for python3.3... running python post-rtupdate hooks for python3.3... Setting up dh-python (1.20140128-1ubuntu2) ... Setting up apparmor-easyprof (2.8.0-0ubuntu38) ... Setting up dh-apparmor (2.8.0-0ubuntu38) ... Setting up debhelper (9.20131127ubuntu2) ... Setting up gir1.2-gconf-2.0 (3.2.6-0ubuntu1) ... Setting up ocaml-compiler-libs (4.01.0-3ubuntu3) ... Setting up ocaml-interp (4.01.0-3ubuntu3) ... Setting up gconf-service-backend (3.2.6-0ubuntu1) ... Setting up gconf2 (3.2.6-0ubuntu1) ... update-alternatives: using /usr/bin/gconftool-2 to provide /usr/bin/gconftool (gconftool) in auto mode (gconftool-2:16271): GConf-WARNING **: Client failed to connect to the D-BUS daemon: Unable to autolaunch a dbus-daemon without a $DISPLAY for X11 Setting up libgnomevfs2-common (1:2.24.4-1ubuntu6) ... Setting up libgnomevfs2-0:ppc64el (1:2.24.4-1ubuntu6) ... Setting up libgnome2-common (2.32.1-4ubuntu1) ... Setting up libgnome2-bin (2.32.1-4ubuntu1) ... Setting up libgnome2-0:ppc64el (2.32.1-4ubuntu1) ... Setting up libbonoboui2-0:ppc64el (2.24.5-0ubuntu3) ... Setting up libgnomeui-0:ppc64el (2.24.5-3) ... Setting up libgconf2-dev (3.2.6-0ubuntu1) ... Setting up libgnomevfs2-dev:ppc64el (1:2.24.4-1ubuntu6) ... Setting up libgnome2-dev:ppc64el (2.32.1-4ubuntu1) ... Setting up libbonoboui2-dev:ppc64el (2.24.5-0ubuntu3) ... Setting up libgnomeui-dev:ppc64el (2.24.5-3) ... Setting up liblablgtk2-gnome-ocaml (2.16.0+dfsg-1) ... Setting up ocaml-nox (4.01.0-3ubuntu3) ... Setting up liblablgtk2-ocaml-dev (2.16.0+dfsg-1) ... Setting up liblablgtk2-gnome-ocaml-dev (2.16.0+dfsg-1) ... Setting up liblablgtksourceview2-ocaml-dev (2.16.0+dfsg-1) ... Setting up libocamlgraph-ocaml-dev (1.8.3-1build1) ... Setting up libzarith-ocaml-dev (1.2.1-2build1) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... Processing triggers for libgdk-pixbuf2.0-0:ppc64el (2.30.4-0ubuntu1) ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.18-0ubuntu7 make_3.81-8.2ubuntu3 dpkg-dev_1.17.5ubuntu4 gcc-4.8_4.8.2-15ubuntu3 g++-4.8_4.8.2-15ubuntu3 binutils_2.24-2ubuntu3.1 libstdc++-4.8-dev_4.8.2-15ubuntu3 libstdc++6_4.8.2-15ubuntu3 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt gpgv: Signature made Mon Dec 23 22:03:42 2013 UTC using DSA key ID 0F932C9C gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./alt-ergo_0.95.2-1build1.dsc dpkg-source: info: extracting alt-ergo in alt-ergo-0.95.2 dpkg-source: info: unpacking alt-ergo_0.95.2.orig.tar.gz dpkg-source: info: unpacking alt-ergo_0.95.2-1build1.debian.tar.gz dpkg-source: info: applying 0001-No-need-to-activate-debug-flag.patch dpkg-buildpackage: source package alt-ergo dpkg-buildpackage: source version 0.95.2-1build1 dpkg-buildpackage: source distribution trusty dpkg-source --before-build alt-ergo-0.95.2 dpkg-buildpackage: host architecture ppc64el /usr/bin/fakeroot debian/rules clean dh --with ocaml clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/alt-ergo-0.95.2' if [ -f Makefile ]; then \ /usr/bin/make dist-clean; \ fi make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.2' dh_ocamlclean dh_clean debian/rules build-arch dh --with ocaml build-arch dh_testdir -a dh_ocamlinit -a dh_auto_configure -a configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.01.0 ocaml library path is /usr/lib/ocaml checking for ocamlfind... no checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes checking for /usr/lib/ocaml/zarith/zarith.cma... yes checking for ocp-ocamlopt... no checking for ocamlopt... no configure: WARNING: Cannot find ocamlopt; bytecode compilation only. checking for ocp-ocamlc.opt... no checking for ocamlc.opt... no checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for ocamlyacc... ocamlyacc checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... yes checking for ocamlweb... true checking platform... checking for ocamlwizard... true configure: creating ./config.status config.status: creating Makefile config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking debian/rules override_dh_auto_build make[1]: Entering directory `/build/buildd/alt-ergo-0.95.2' /usr/bin/make all gui make[2]: Entering directory `/build/buildd/alt-ergo-0.95.2' Makefile:485: .depend: No such file or directory ocamlyacc -v src/parsing/why_parser.mly ocamllex src/parsing/why_lexer.mll > /dev/null ocamlyacc -v src/parsing/smt_parser.mly ocamllex src/parsing/smt_lex.mll > /dev/null ocamlyacc -v src/parsing/smtlib2_parse.mly ocamllex src/parsing/smtlib2_lex.mll > /dev/null ocamldep -slash -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* > .depend make[2]: Leaving directory `/build/buildd/alt-ergo-0.95.2' make[2]: Entering directory `/build/buildd/alt-ergo-0.95.2' ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/version.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/version.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numbers.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numbers.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/timers.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/timers.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/options.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/options.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/loc.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/loc.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hashcons.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hashcons.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hstring.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hstring.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/ty.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/symbols.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/subst.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/term.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/literal.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/formula.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/explanation.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/exception.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/exception.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/symbols.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/subst.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/ty.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/why_ptree.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/why_ptree.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/smtlib2_ast.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/smtlib2_ast.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/term.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/literal.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/formula.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/explanation.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/errors.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/errors.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_parser.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_parser.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_lexer.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/smt_ast.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smt_parser.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smt_parser.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smt_lex.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smtlib2_parse.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smtlib2_parse.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smtlib2_lex.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/existantial.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/existantial.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/smt_to_why.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/smtlib2_to_why.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/triggers.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/triggers.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/why_typing.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/why_typing.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/cnf.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/cnf.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/boxed.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sig.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/matching.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/matching.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/polynome.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/polynome.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ac.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ac.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervals.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervals.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/fm.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/fm.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arith.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arith.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/records.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/records.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/bitv.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/bitv.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arrays.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arrays.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sum.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sum.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/combine.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/combine.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/use.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/uf.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/incr_match.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/incr_match.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/boxed.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/instantiation.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/instantiation.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/custom_theory.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/custom_theory.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/uf.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/use.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/cc.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/cc.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/pruning.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/pruning.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/frontend.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/frontend.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/main_text.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/main_text.ml ocamlc -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -o alt-ergo.byte zarith.cma nums.cma graph.cma unix.cma src/util/version.cmo src/util/numbers.cmo src/util/timers.cmo src/util/options.cmo src/util/loc.cmo src/util/hashcons.cmo src/util/hstring.cmo src/structures/exception.cmo src/structures/symbols.cmo src/structures/subst.cmo src/structures/ty.cmo src/structures/why_ptree.cmo src/structures/smtlib2_ast.cmo src/structures/term.cmo src/structures/literal.cmo src/structures/formula.cmo src/structures/explanation.cmo src/parsing/errors.cmo src/parsing/why_parser.cmo src/parsing/why_lexer.cmo src/parsing/smt_parser.cmo src/parsing/smt_lex.cmo src/parsing/smtlib2_parse.cmo src/parsing/smtlib2_lex.cmo src/preprocess/existantial.cmo src/preprocess/smt_to_why.cmo src/preprocess/smtlib2_to_why.cmo src/preprocess/triggers.cmo src/preprocess/why_typing.cmo src/preprocess/cnf.cmo src/instances/matching.cmo src/theories/polynome.cmo src/theories/ac.cmo src/theories/intervals.cmo src/theories/fm.cmo src/theories/arith.cmo src/theories/records.cmo src/theories/bitv.cmo src/theories/arrays.cmo src/theories/sum.cmo src/theories/combine.cmo src/theories/incr_match.cmo src/theories/boxed.cmo src/theories/instantiation.cmo src/theories/custom_theory.cmo src/theories/uf.cmo src/theories/use.cmo src/theories/cc.cmo src/sat/sat.cmo src/preprocess/pruning.cmo src/main/frontend.cmo src/main/main_text.cmo ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/gui_session.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/gui_session.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/why_annoted.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/why_annoted.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/why_connected.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/why_connected.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/gui_replay.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/gui_replay.ml ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/main_gui.mli ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/main_gui.ml ocamlc -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -o altgr-ergo.byte zarith.cma nums.cma graph.cma unix.cma zarith.cma threads.cma lablgtk.cma lablgtksourceview2.cma gtkThread.cmo src/util/version.cmo src/util/numbers.cmo src/util/timers.cmo src/util/options.cmo src/util/loc.cmo src/util/hashcons.cmo src/util/hstring.cmo src/structures/exception.cmo src/structures/symbols.cmo src/structures/subst.cmo src/structures/ty.cmo src/structures/why_ptree.cmo src/structures/smtlib2_ast.cmo src/structures/term.cmo src/structures/literal.cmo src/structures/formula.cmo src/structures/explanation.cmo src/parsing/errors.cmo src/parsing/why_parser.cmo src/parsing/why_lexer.cmo src/parsing/smt_parser.cmo src/parsing/smt_lex.cmo src/parsing/smtlib2_parse.cmo src/parsing/smtlib2_lex.cmo src/preprocess/existantial.cmo src/preprocess/smt_to_why.cmo src/preprocess/smtlib2_to_why.cmo src/preprocess/triggers.cmo src/preprocess/why_typing.cmo src/preprocess/cnf.cmo src/instances/matching.cmo src/theories/polynome.cmo src/theories/ac.cmo src/theories/intervals.cmo src/theories/fm.cmo src/theories/arith.cmo src/theories/records.cmo src/theories/bitv.cmo src/theories/arrays.cmo src/theories/sum.cmo src/theories/combine.cmo src/theories/incr_match.cmo src/theories/boxed.cmo src/theories/instantiation.cmo src/theories/custom_theory.cmo src/theories/uf.cmo src/theories/use.cmo src/theories/cc.cmo src/sat/sat.cmo src/preprocess/pruning.cmo src/main/frontend.cmo src/gui/gui_session.cmo src/gui/why_annoted.cmo src/gui/why_connected.cmo src/gui/gui_replay.cmo src/main/main_gui.cmo make[2]: Leaving directory `/build/buildd/alt-ergo-0.95.2' make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.2' dh_auto_test -a /usr/bin/fakeroot debian/rules binary-arch dh --with ocaml binary-arch dh_testroot -a dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory `/build/buildd/alt-ergo-0.95.2' /usr/bin/make DESTDIR=debian/tmp install install-gui install-pack make[2]: Entering directory `/build/buildd/alt-ergo-0.95.2' mkdir -p debian/tmp/usr/share/man/man1 cp -f doc/*.1 debian/tmp/usr/share/man/man1 mkdir -p debian/tmp/usr/bin cp -f alt-ergo.byte debian/tmp/usr/bin/alt-ergo cp -f altgr-ergo.byte debian/tmp/usr/bin/altgr-ergo mkdir -p debian/tmp/usr/share/gtksourceview-2.0/language-specs cp -f doc/gtk-lang/alt-ergo.lang debian/tmp/usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang ocamlc -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -pack -o altErgo.cmo src/util/version.cmo src/util/numbers.cmo src/util/timers.cmo src/util/options.cmo src/util/loc.cmo src/util/hashcons.cmo src/util/hstring.cmo src/structures/exception.cmo src/structures/symbols.cmo src/structures/subst.cmo src/structures/ty.cmo src/structures/why_ptree.cmo src/structures/smtlib2_ast.cmo src/structures/term.cmo src/structures/literal.cmo src/structures/formula.cmo src/structures/explanation.cmo src/parsing/errors.cmo src/parsing/why_parser.cmo src/parsing/why_lexer.cmo src/parsing/smt_parser.cmo src/parsing/smt_lex.cmo src/parsing/smtlib2_parse.cmo src/parsing/smtlib2_lex.cmo src/preprocess/existantial.cmo src/preprocess/smt_to_why.cmo src/preprocess/smtlib2_to_why.cmo src/preprocess/triggers.cmo src/preprocess/why_typing.cmo src/preprocess/cnf.cmo src/instances/matching.cmo src/theories/polynome.cmo src/theories/ac.cmo src/theories/intervals.cmo src/theories/fm.cmo src/theories/arith.cmo src/theories/records.cmo src/theories/bitv.cmo src/theories/arrays.cmo src/theories/sum.cmo src/theories/combine.cmo src/theories/incr_match.cmo src/theories/boxed.cmo src/theories/instantiation.cmo src/theories/custom_theory.cmo src/theories/uf.cmo src/theories/use.cmo src/theories/cc.cmo src/sat/sat.cmo mkdir -p debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.cmo debian/tmp/usr/lib/ocaml/alt-ergo cp -f altErgo.cmi debian/tmp/usr/lib/ocaml/alt-ergo cp -f META debian/tmp/usr/lib/ocaml/alt-ergo make[2]: Leaving directory `/build/buildd/alt-ergo-0.95.2' make[1]: Leaving directory `/build/buildd/alt-ergo-0.95.2' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_installman -a dh_perl -a dh_link -a dh_compress -a dh_fixperms -a dh_strip -a dh_strip debug symbol extraction: not enabling -a because /CurrentlyBuilding exists dh_strip debug symbol extraction: all non-arch-all packages for this build platform ppc64el: 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: alt-ergo has no unstripped objects, ignoring find: `/build/buildd/alt-ergo-0.95.2/debian/alt-ergo-dbgsym': No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /build/buildd/alt-ergo-0.95.2/debian/alt-ergo-dbgsym and no dbgdepends, ignoring libalt-ergo-ocaml-dev has no unstripped objects, ignoring find: `/build/buildd/alt-ergo-0.95.2/debian/libalt-ergo-ocaml-dev-dbgsym': No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /build/buildd/alt-ergo-0.95.2/debian/libalt-ergo-ocaml-dev-dbgsym and no dbgdepends, ignoring dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a W: libalt-ergo-ocaml-dev v0.95.2-1build1 doesn't resolve dependency on unit Sig W: libalt-ergo-ocaml-dev v0.95.2-1build1 doesn't resolve dependency on unit Smt_ast W: alt-ergo doesn't resolve dependency on unit Gui_replay W: alt-ergo doesn't resolve dependency on unit Smt_ast W: alt-ergo doesn't resolve dependency on unit Why_parser W: alt-ergo doesn't resolve dependency on unit Combine W: alt-ergo doesn't resolve dependency on unit Formula W: alt-ergo doesn't resolve dependency on unit Main_gui W: alt-ergo doesn't resolve dependency on unit Smt_lex W: alt-ergo doesn't resolve dependency on unit Instantiation W: alt-ergo doesn't resolve dependency on unit Boxed W: alt-ergo doesn't resolve dependency on unit Arrays W: alt-ergo doesn't resolve dependency on unit Ty W: alt-ergo doesn't resolve dependency on unit Bitv W: alt-ergo doesn't resolve dependency on unit Polynome W: alt-ergo doesn't resolve dependency on unit Ac W: alt-ergo doesn't resolve dependency on unit Why_connected W: alt-ergo doesn't resolve dependency on unit Smt_parser W: alt-ergo doesn't resolve dependency on unit Smtlib2_parse W: alt-ergo doesn't resolve dependency on unit Triggers W: alt-ergo doesn't resolve dependency on unit GtkSourceView2_types W: alt-ergo doesn't resolve dependency on unit Incr_match W: alt-ergo doesn't resolve dependency on unit Pruning W: alt-ergo doesn't resolve dependency on unit Hashcons W: alt-ergo doesn't resolve dependency on unit Use W: alt-ergo doesn't resolve dependency on unit Term W: alt-ergo doesn't resolve dependency on unit Matching W: alt-ergo doesn't resolve dependency on unit Cc W: alt-ergo doesn't resolve dependency on unit Arith W: alt-ergo doesn't resolve dependency on unit Symbols W: alt-ergo doesn't resolve dependency on unit Gui_session W: alt-ergo doesn't resolve dependency on unit Exception W: alt-ergo doesn't resolve dependency on unit Errors W: alt-ergo doesn't resolve dependency on unit Fm W: alt-ergo doesn't resolve dependency on unit Why_annoted W: alt-ergo doesn't resolve dependency on unit Cnf W: alt-ergo doesn't resolve dependency on unit Smtlib2_to_why W: alt-ergo doesn't resolve dependency on unit Uf W: alt-ergo doesn't resolve dependency on unit Subst W: alt-ergo doesn't resolve dependency on unit Intervals W: alt-ergo doesn't resolve dependency on unit Frontend W: alt-ergo doesn't resolve dependency on unit Smtlib2_lex W: alt-ergo doesn't resolve dependency on unit Custom_theory W: alt-ergo doesn't resolve dependency on unit Main_text W: alt-ergo doesn't resolve dependency on unit Numbers W: alt-ergo doesn't resolve dependency on unit Why_typing W: alt-ergo doesn't resolve dependency on unit Version W: alt-ergo doesn't resolve dependency on unit Hstring W: alt-ergo doesn't resolve dependency on unit Why_lexer W: alt-ergo doesn't resolve dependency on unit Smtlib2_ast W: alt-ergo doesn't resolve dependency on unit Records W: alt-ergo doesn't resolve dependency on unit Sat W: alt-ergo doesn't resolve dependency on unit Sum W: alt-ergo doesn't resolve dependency on unit Loc W: alt-ergo doesn't resolve dependency on unit Why_ptree W: alt-ergo doesn't resolve dependency on unit Literal W: alt-ergo doesn't resolve dependency on unit Sig W: alt-ergo doesn't resolve dependency on unit Smt_to_why W: alt-ergo doesn't resolve dependency on unit Explanation W: alt-ergo doesn't resolve dependency on unit Options W: alt-ergo doesn't resolve dependency on unit Timers W: alt-ergo doesn't resolve dependency on unit Existantial dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package alt-ergo: unknown substitution variable ${shlibs:Depends} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: Depends field of package libalt-ergo-ocaml-dev: unknown substitution variable ${shlibs:Depends} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: package libalt-ergo-ocaml-dev: unused substitution variable ${ocaml:Provides} dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 119 pkgstriptranslations: processing alt-ergo (in debian/alt-ergo); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/alt-ergo/DEBIAN/control, package alt-ergo, directory debian/alt-ergo pkgstripfiles: Truncating usr/share/doc/alt-ergo/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package alt-ergo took 0 s dpkg-deb: warning: 'debian/alt-ergo/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `alt-ergo' in `../alt-ergo_0.95.2-1build1_ppc64el.deb'. INFO: pkgstriptranslations version 119 pkgstriptranslations: processing libalt-ergo-ocaml-dev (in debian/libalt-ergo-ocaml-dev); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libalt-ergo-ocaml-dev/DEBIAN/control, package libalt-ergo-ocaml-dev, directory debian/libalt-ergo-ocaml-dev pkgstripfiles: Truncating usr/share/doc/libalt-ergo-ocaml-dev/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package libalt-ergo-ocaml-dev took 0 s dpkg-deb: warning: 'debian/libalt-ergo-ocaml-dev/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `libalt-ergo-ocaml-dev' in `../libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb'. dpkg-genchanges -B -mUbuntu Build Daemon >../alt-ergo_0.95.2-1build1_ppc64el.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build alt-ergo-0.95.2 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20140217-1759 chroot-autobuild/build/buildd/alt-ergo_0.95.2-1build1_ppc64el.deb: new debian package, version 2.0. size 291338 bytes: control archive=1453 bytes. 1181 bytes, 24 lines control 1588 bytes, 20 lines md5sums Package: alt-ergo Version: 0.95.2-1build1 Architecture: ppc64el Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 3321 Depends: liblablgtk2-ocaml-72b94, liblablgtksourceview2-ocaml-p7hj4, libzarith-ocaml-wp6v9, ocaml-base-nox-4.01.0 Suggests: why Section: math Priority: optional Homepage: http://alt-ergo.lri.fr Description: Automatic theorem prover dedicated to program verification Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic. . This package contains the prover as a command-line executable as well as the graphical interface. chroot-autobuild/build/buildd/libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb: new debian package, version 2.0. size 157610 bytes: control archive=1105 bytes. 1239 bytes, 27 lines control 539 bytes, 7 lines md5sums Package: libalt-ergo-ocaml-dev Source: alt-ergo Version: 0.95.2-1build1 Architecture: ppc64el Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 953 Depends: libzarith-ocaml-dev-wp6v9, ocaml-nox-4.01.0 Suggests: why Breaks: alt-ergo (<< 0.95.1-1) Replaces: alt-ergo (<< 0.95.1-1) Section: ocaml Priority: optional Homepage: http://alt-ergo.lri.fr Description: Theorem prover dedicated to program verification - libraries Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic. . This package contains the development libraries that are useful when writing OCaml programs linking to the alt-ergo API. chroot-autobuild/build/buildd/alt-ergo_0.95.2-1build1_ppc64el.deb: drwxr-xr-x root/root 0 2014-02-17 17:59 ./ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/bin/ -rwxr-xr-x root/root 1228339 2014-02-17 17:59 ./usr/bin/alt-ergo -rwxr-xr-x root/root 2080852 2014-02-17 17:59 ./usr/bin/altgr-ergo drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/man/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/man/man1/ -rw-r--r-- root/root 1177 2014-02-17 17:59 ./usr/share/man/man1/alt-ergo.1.gz drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/gtksourceview-2.0/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/gtksourceview-2.0/language-specs/ -rw-r--r-- root/root 4309 2014-02-17 17:59 ./usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/doc/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/doc/alt-ergo/ -rw-r--r-- root/root 24060 2013-11-17 08:27 ./usr/share/doc/alt-ergo/copyright drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/doc/alt-ergo/examples/ drwxr-xr-x root/root 0 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/invalid/ -rw-r--r-- root/root 57 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/invalid/arith1.why -rw-r--r-- root/root 147 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/invalid/arrays.why -rw-r--r-- root/root 141 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/invalid/bitv.why -rw-r--r-- root/root 61 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/invalid/arith2.why drwxr-xr-x root/root 0 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/ -rw-r--r-- root/root 189 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/congruence.why -rw-r--r-- root/root 87 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/arith4.why -rw-r--r-- root/root 120 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/arith1.why -rw-r--r-- root/root 151 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/arrays.why -rw-r--r-- root/root 106 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/ac_arith.why -rw-r--r-- root/root 106 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/arith3.why -rw-r--r-- root/root 139 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/bitv.why -rw-r--r-- root/root 195 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/quantifiers.why -rw-r--r-- root/root 125 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/arith2.why -rw-r--r-- root/root 183 2013-09-20 04:04 ./usr/share/doc/alt-ergo/examples/valid/enum_arrays.why -rw-r--r-- root/root 1974 2014-02-17 17:59 ./usr/share/doc/alt-ergo/changelog.Debian.gz chroot-autobuild/build/buildd/libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb: drwxr-xr-x root/root 0 2014-02-17 17:59 ./ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/lib/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/lib/ocaml/alt-ergo/ -rw-r--r-- root/root 214953 2014-02-17 17:59 ./usr/lib/ocaml/alt-ergo/altErgo.cmi -rw-r--r-- root/root 209 2014-02-17 17:59 ./usr/lib/ocaml/alt-ergo/META -rw-r--r-- root/root 676430 2014-02-17 17:59 ./usr/lib/ocaml/alt-ergo/altErgo.cmo drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/doc/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./usr/share/doc/libalt-ergo-ocaml-dev/ -rw-r--r-- root/root 24060 2013-11-17 08:27 ./usr/share/doc/libalt-ergo-ocaml-dev/copyright -rw-r--r-- root/root 1975 2014-02-17 17:59 ./usr/share/doc/libalt-ergo-ocaml-dev/changelog.Debian.gz drwxr-xr-x root/root 0 2014-02-17 17:59 ./var/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./var/lib/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2014-02-17 17:59 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 55 2014-02-17 17:59 ./var/lib/ocaml/lintian/libalt-ergo-ocaml-dev.info drwxr-xr-x root/root 0 2014-02-17 17:59 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 86 2014-02-17 17:59 ./var/lib/ocaml/md5sums/libalt-ergo-ocaml-dev.md5sums alt-ergo_0.95.2-1build1_ppc64el.changes: Format: 1.8 Date: Mon, 23 Dec 2013 22:01:38 +0000 Source: alt-ergo Binary: alt-ergo libalt-ergo-ocaml-dev Architecture: ppc64el Version: 0.95.2-1build1 Distribution: trusty Urgency: medium Maintainer: Ubuntu Build Daemon Changed-By: Matthias Klose Description: alt-ergo - Automatic theorem prover dedicated to program verification libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries Changes: alt-ergo (0.95.2-1build1) trusty; urgency=medium . * Rebuild for ocaml-4.01. Checksums-Sha1: b6e139b28579d488d1991741fab7498afbf63591 291338 alt-ergo_0.95.2-1build1_ppc64el.deb 0ba318089ef8f685a2aaccf04cf4fb6be6a77711 157610 libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb Checksums-Sha256: 97d5779cdba97ec027772e1e24d3941d868076c5652e9464fa93a61eda1cb7b2 291338 alt-ergo_0.95.2-1build1_ppc64el.deb 61e64cb14497eb8c85cabf0825632e6688f7af2c4c3360e00ebb3a96190c7be7 157610 libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb Files: 30236654af7904eece42ddb6b15e54bc 291338 math optional alt-ergo_0.95.2-1build1_ppc64el.deb dd122f24962de53248e8afbb2be39f85 157610 ocaml optional libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20140217-1759 Build needed 00:00:26, 31796k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5596395'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5596395/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5596395'] Unmounting chroot for build PACKAGEBUILD-5596395... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5596395'] Removing build PACKAGEBUILD-5596395