Build log for alt-ergo (0.95.2-1) on armhf

alt-ergo → 0.95.2-1 → armhf → 2013-11-28 05:33:34

sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on bm-wb-01

╔══════════════════════════════════════════════════════════════════════════════╗
║ alt-ergo 0.95.2-1 (armhf)                                  28 Nov 2013 05:12 ║
╚══════════════════════════════════════════════════════════════════════════════╝

Package: alt-ergo
Version: 0.95.2-1
Source Version: 0.95.2-1
Distribution: jessie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'build/alt-ergo-hDSKUA/alt-ergo-0.95.2' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/alt-ergo-hDSKUA' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/jessie-staging-armhf-sbuild-94186636-26eb-4f92-9a8b-ed7d27474724' with '«CHROOT»'

┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot                                                                │
└──────────────────────────────────────────────────────────────────────────────┘

Get:1 http://172.17.0.1 jessie-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1 jessie-staging/main Sources [7042 kB]
Get:3 http://172.17.0.1 jessie-staging/main armhf Packages [8175 kB]
Ign http://172.17.0.1 jessie-staging/main Translation-en
Fetched 15.2 MB in 30s (493 kB/s)
Reading package lists...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Fetch source files                                                           │
└──────────────────────────────────────────────────────────────────────────────┘


Check APT
─────────

Checking available source versions...

Download source files with APT
──────────────────────────────

Reading package lists...
Building dependency tree...
Reading state information...
NOTICE: 'alt-ergo' packaging is maintained in the 'Git' version control system at:
git://git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
Need to get 248 kB of source archives.
Get:1 http://172.17.0.1/private/ jessie-staging/main alt-ergo 0.95.2-1 (dsc) [2234 B]
Get:2 http://172.17.0.1/private/ jessie-staging/main alt-ergo 0.95.2-1 (tar) [234 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main alt-ergo 0.95.2-1 (diff) [12.0 kB]
Fetched 248 kB in 0s (884 kB/s)
Download complete and in download only mode

Check arch
──────────

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-m7Ksb2/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Reading package lists...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Install core build dependencies (apt-based resolver)                         │
└──────────────────────────────────────────────────────────────────────────────┘

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 1 newly installed, 0 to remove and 11 not upgraded.
Need to get 0 B/702 B of archives.
After this operation, 0 B of additional disk space will be used.
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 11477 files and directories currently installed.)
Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
Merged Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), 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~)
Filtered Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), 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~)
dpkg-deb: building package `sbuild-build-depends-alt-ergo-dummy' in `/«BUILDDIR»/resolver-5ZJnSA/apt_archive/sbuild-build-depends-alt-ergo-dummy.deb'.
OK
Reading package lists...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Install alt-ergo build dependencies (apt-based resolver)                     │
└──────────────────────────────────────────────────────────────────────────────┘

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following extra packages will be installed:
  adduser aspell aspell-en bsdmainutils dbus dbus-x11 debhelper
  desktop-file-utils dh-ocaml dictionaries-common file fontconfig
  fontconfig-config fonts-dejavu-core gconf-service 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 gnome-mime-data groff-base gvfs gvfs-common
  gvfs-daemons gvfs-libs intltool-debian libart-2.0-2 libart-2.0-dev
  libasound2 libasound2-data libaspell15 libasprintf0c2 libatasmart4
  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 libbluray1 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 libdrm-dev libdrm-nouveau2 libdrm-omap1 libdrm-radeon1
  libdrm2 libegl1-mesa libegl1-mesa-dev libegl1-mesa-drivers libelfg0
  libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libffi6 libfontconfig1
  libfontconfig1-dev libfontenc1 libfreetype6 libfreetype6-dev libgail-common
  libgail-dev libgail18 libgbm1 libgconf-2-4 libgconf2-dev libgcrypt11
  libgcrypt11-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common
  libgdk-pixbuf2.0-dev libgirepository-1.0-1 libgl1-mesa-dev libgl1-mesa-glx
  libglade2-0 libglade2-dev libglapi-mesa 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-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 libgnutls26 libgnutlsxx27 libgpg-error-dev libgpg-error0
  libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev
  libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev
  libgtkspell-dev libgtkspell0 libgudev-1.0-0 libharfbuzz-dev libharfbuzz-icu0
  libharfbuzz0a libhunspell-1.3-0 libice-dev libice6 libicu48 libidl-dev
  libidl0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3
  libkrb5support0 liblablgtk2-gnome-ocaml liblablgtk2-gnome-ocaml-dev
  liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml
  liblablgtksourceview2-ocaml-dev libldap-2.4-2 libllvm3.3 libltdl7 liblzo2-2
  libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libogg0 libopenvg1-mesa
  liborbit2 liborbit2-dev libp11-kit-dev libp11-kit0 libpango-1.0-0
  libpango1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0
  libpangox-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1
  libpixman-1-0 libpixman-1-dev libpng12-0 libpng12-dev libpolkit-agent-1-0
  libpolkit-gobject-1-0 libpopt-dev libpopt0 libpthread-stubs0-dev
  libpython-stdlib libpython2.7-minimal libpython2.7-stdlib librsvg2-2
  librsvg2-common librsvg2-dev libsasl2-2 libsasl2-modules-db libsecret-1-0
  libsecret-common libselinux1-dev libsepol1 libsepol1-dev libsm-dev libsm6
  libsqlite3-0 libssl1.0.0 libsystemd-login0 libtasn1-3 libtasn1-3-dev libtdb1
  libthai-data libthai0 libtiff4 libtinfo-dev libudisks2-0 libunistring0
  libvorbis0a libvorbisfile3 libwayland-client0 libwayland-server0 libx11-6
  libx11-data libx11-dev libx11-xcb-dev libx11-xcb1 libxau-dev libxau6 libxaw7
  libxcb-dri2-0 libxcb-dri2-0-dev libxcb-glx0 libxcb-glx0-dev libxcb-render0
  libxcb-render0-dev libxcb-shape0 libxcb-shm0 libxcb-shm0-dev libxcb-xfixes0
  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 libxmu6
  libxmuu1 libxpm4 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxt6
  libxtst6 libxv1 libxxf86dga1 libxxf86vm-dev libxxf86vm1 libzarith-ocaml
  libzarith-ocaml-dev man-db mesa-common-dev mime-support ocaml-base-nox
  ocaml-interp ocaml-nox pkg-config po-debconf psmisc python python-minimal
  python2.7 python2.7-minimal shared-mime-info ttf-dejavu-core ucf udisks2
  x11-common x11-utils x11proto-composite-dev x11proto-core-dev
  x11proto-damage-dev x11proto-dri2-dev x11proto-fixes-dev x11proto-gl-dev
  x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev
  x11proto-xext-dev x11proto-xf86vidmode-dev x11proto-xinerama-dev
  xorg-sgml-doctools xtrans-dev zlib1g-dev
Suggested packages:
  aspell-doc spellutils wamerican wordlist whois vacation dh-make git ispell
  emacsen-common jed-extra gconf-defaults-service gettext-doc groff
  gvfs-backends libasound2-plugins alsa-utils libbluray-bdj libbonobo2-bin
  libcairo2-doc libcanberra-gtk0 libcanberra-pulse cups-common
  libenchant-voikko libgail-doc rng-tools 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 gnutls26-doc krb5-doc krb5-user libgtk2.0-doc
  libgtksourceview2.0-doc libice-doc libjasper-runtime
  liblablgtk2-gl-ocaml-dev ncurses-doc ttf-baekmuk ttf-arphic-gbsn00lp
  ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp libpango1.0-doc
  imagemagick librsvg2-bin librsvg2-doc libsm-doc libxcb-doc libxext-doc less
  www-browser libgdbm-dev tuareg-mode ocaml-mode libmail-box-perl python-doc
  python-tk python2.7-doc binfmt-support xfsprogs reiserfsprogs exfat-utils
  btrfs-tools mdadm cryptsetup-bin mesa-utils
Recommended packages:
  curl wget lynx-cur autopoint libasprintf-dev libgettextpo-dev
  policykit-1-gnome libaacs0 enchant libgconf2-doc libgl1-mesa-dri
  libgnomevfs2-extra hicolor-icon-theme libgtk2.0-bin hunspell-en-us
  hunspell-dictionary myspell-dictionary krb5-locales liblablgtk2-ocaml-doc
  ocaml-findlib orbit2 libsasl2-modules libx11-doc xml-core ledit
  readline-editor camlp4 libmail-sendmail-perl policykit-1 dosfstools ntfs-3g
  eject
The following NEW packages will be installed:
  adduser aspell aspell-en bsdmainutils dbus dbus-x11 debhelper
  desktop-file-utils dh-ocaml dictionaries-common file fontconfig
  fontconfig-config fonts-dejavu-core gconf-service 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 gnome-mime-data groff-base gvfs gvfs-common
  gvfs-daemons gvfs-libs intltool-debian libart-2.0-2 libart-2.0-dev
  libasound2 libasound2-data libaspell15 libasprintf0c2 libatasmart4
  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 libbluray1 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 libdrm-dev libdrm-nouveau2 libdrm-omap1 libdrm-radeon1
  libdrm2 libegl1-mesa libegl1-mesa-dev libegl1-mesa-drivers libelfg0
  libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libffi6 libfontconfig1
  libfontconfig1-dev libfontenc1 libfreetype6 libfreetype6-dev libgail-common
  libgail-dev libgail18 libgbm1 libgconf-2-4 libgconf2-dev libgcrypt11
  libgcrypt11-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common
  libgdk-pixbuf2.0-dev libgirepository-1.0-1 libgl1-mesa-dev libgl1-mesa-glx
  libglade2-0 libglade2-dev libglapi-mesa 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-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 libgnutls26 libgnutlsxx27 libgpg-error-dev libgpg-error0
  libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev
  libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev
  libgtkspell-dev libgtkspell0 libgudev-1.0-0 libharfbuzz-dev libharfbuzz-icu0
  libharfbuzz0a libhunspell-1.3-0 libice-dev libice6 libicu48 libidl-dev
  libidl0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3
  libkrb5support0 liblablgtk2-gnome-ocaml liblablgtk2-gnome-ocaml-dev
  liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml
  liblablgtksourceview2-ocaml-dev libldap-2.4-2 libllvm3.3 libltdl7 liblzo2-2
  libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libogg0 libopenvg1-mesa
  liborbit2 liborbit2-dev libp11-kit-dev libp11-kit0 libpango-1.0-0
  libpango1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0
  libpangox-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1
  libpixman-1-0 libpixman-1-dev libpng12-0 libpng12-dev libpolkit-agent-1-0
  libpolkit-gobject-1-0 libpopt-dev libpopt0 libpthread-stubs0-dev
  libpython-stdlib libpython2.7-minimal libpython2.7-stdlib librsvg2-2
  librsvg2-common librsvg2-dev libsasl2-2 libsasl2-modules-db libsecret-1-0
  libsecret-common libselinux1-dev libsepol1-dev libsm-dev libsm6 libsqlite3-0
  libssl1.0.0 libsystemd-login0 libtasn1-3 libtasn1-3-dev libtdb1 libthai-data
  libthai0 libtiff4 libtinfo-dev libudisks2-0 libunistring0 libvorbis0a
  libvorbisfile3 libwayland-client0 libwayland-server0 libx11-6 libx11-data
  libx11-dev libx11-xcb-dev libx11-xcb1 libxau-dev libxau6 libxaw7
  libxcb-dri2-0 libxcb-dri2-0-dev libxcb-glx0 libxcb-glx0-dev libxcb-render0
  libxcb-render0-dev libxcb-shape0 libxcb-shm0 libxcb-shm0-dev libxcb-xfixes0
  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 libxmu6
  libxmuu1 libxpm4 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxt6
  libxtst6 libxv1 libxxf86dga1 libxxf86vm-dev libxxf86vm1 libzarith-ocaml
  libzarith-ocaml-dev man-db mesa-common-dev mime-support ocaml-base-nox
  ocaml-interp ocaml-nox pkg-config po-debconf psmisc python python-minimal
  python2.7 python2.7-minimal sbuild-build-depends-alt-ergo-dummy
  shared-mime-info ttf-dejavu-core ucf udisks2 x11-common x11-utils
  x11proto-composite-dev x11proto-core-dev x11proto-damage-dev
  x11proto-dri2-dev x11proto-fixes-dev x11proto-gl-dev x11proto-input-dev
  x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev
  x11proto-xf86vidmode-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev
  zlib1g-dev
The following packages will be upgraded:
  libsepol1
1 upgraded, 321 newly installed, 0 to remove and 10 not upgraded.
Need to get 109 MB/109 MB of archives.
After this operation, 342 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ jessie-staging/main libsepol1 armhf 2.2-1 [137 kB]
Get:2 http://172.17.0.1/private/ jessie-staging/main libpipeline1 armhf 1.2.4-1 [36.9 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main libpopt0 armhf 1.16-8 [55.0 kB]
Get:4 http://172.17.0.1/private/ jessie-staging/main libssl1.0.0 armhf 1.0.1e-4 [1041 kB]
Get:5 http://172.17.0.1/private/ jessie-staging/main groff-base armhf 1.22.2-3 [666 kB]
Get:6 http://172.17.0.1/private/ jessie-staging/main bsdmainutils armhf 9.0.5 [206 kB]
Get:7 http://172.17.0.1/private/ jessie-staging/main man-db armhf 2.6.5-2 [949 kB]
Get:8 http://172.17.0.1/private/ jessie-staging/main libasprintf0c2 armhf 0.18.3.1-1 [29.4 kB]
Get:9 http://172.17.0.1/private/ jessie-staging/main libgpg-error0 armhf 1.12-0.2 [78.9 kB]
Get:10 http://172.17.0.1/private/ jessie-staging/main libgcrypt11 armhf 1.5.3-2 [296 kB]
Get:11 http://172.17.0.1/private/ jessie-staging/main libffi6 armhf 3.0.13-4 [19.8 kB]
Get:12 http://172.17.0.1/private/ jessie-staging/main libp11-kit0 armhf 0.20.1-3 [154 kB]
Get:13 http://172.17.0.1/private/ jessie-staging/main libtasn1-3 armhf 2.14-3 [64.1 kB]
Get:14 http://172.17.0.1/private/ jessie-staging/main libgnutls26 armhf 2.12.23-8 [596 kB]
Get:15 http://172.17.0.1/private/ jessie-staging/main libgnutls-openssl27 armhf 2.12.23-8 [218 kB]
Get:16 http://172.17.0.1/private/ jessie-staging/main libkeyutils1 armhf 1.5.6-1 [7900 B]
Get:17 http://172.17.0.1/private/ jessie-staging/main libkrb5support0 armhf 1.11.3+dfsg-3 [55.3 kB]
Get:18 http://172.17.0.1/private/ jessie-staging/main libk5crypto3 armhf 1.11.3+dfsg-3 [134 kB]
Get:19 http://172.17.0.1/private/ jessie-staging/main libkrb5-3 armhf 1.11.3+dfsg-3 [340 kB]
Get:20 http://172.17.0.1/private/ jessie-staging/main libgssapi-krb5-2 armhf 1.11.3+dfsg-3 [146 kB]
Get:21 http://172.17.0.1/private/ jessie-staging/main libsasl2-modules-db armhf 2.1.25.dfsg1-17 [64.9 kB]
Get:22 http://172.17.0.1/private/ jessie-staging/main libsasl2-2 armhf 2.1.25.dfsg1-17 [104 kB]
Get:23 http://172.17.0.1/private/ jessie-staging/main libldap-2.4-2 armhf 2.4.31-1+nmu2+b1 [214 kB]
Get:24 http://172.17.0.1/private/ jessie-staging/main libmagic1 armhf 1:5.14-2 [213 kB]
Get:25 http://172.17.0.1/private/ jessie-staging/main libsqlite3-0 armhf 3.8.1-1 [417 kB]
Get:26 http://172.17.0.1/private/ jessie-staging/main libxml2 armhf 2.9.1+dfsg1-3 [836 kB]
Get:27 http://172.17.0.1/private/ jessie-staging/main libpython2.7-minimal armhf 2.7.5-8+rvt [540 kB]
Get:28 http://172.17.0.1/private/ jessie-staging/main python2.7-minimal armhf 2.7.5-8+rvt [1492 kB]
Get:29 http://172.17.0.1/private/ jessie-staging/main libart-2.0-2 armhf 2.3.21-2 [63.8 kB]
Get:30 http://172.17.0.1/private/ jessie-staging/main libasound2-data all 1.0.27.2-3 [58.7 kB]
Get:31 http://172.17.0.1/private/ jessie-staging/main libasound2 armhf 1.0.27.2-3 [407 kB]
Get:32 http://172.17.0.1/private/ jessie-staging/main libatasmart4 armhf 0.19-3 [28.3 kB]
Get:33 http://172.17.0.1/private/ jessie-staging/main libglib2.0-0 armhf 2.36.4-1 [1907 kB]
Get:34 http://172.17.0.1/private/ jessie-staging/main libatk1.0-data all 2.10.0-2 [171 kB]
Get:35 http://172.17.0.1/private/ jessie-staging/main libatk1.0-0 armhf 2.10.0-2 [79.0 kB]
Get:36 http://172.17.0.1/private/ jessie-staging/main libavahi-common-data armhf 0.6.31-2 [137 kB]
Get:37 http://172.17.0.1/private/ jessie-staging/main libavahi-common3 armhf 0.6.31-2 [52.6 kB]
Get:38 http://172.17.0.1/private/ jessie-staging/main libavahi-client3 armhf 0.6.31-2 [55.4 kB]
Get:39 http://172.17.0.1/private/ jessie-staging/main libavahi-glib1 armhf 0.6.31-2 [38.0 kB]
Get:40 http://172.17.0.1/private/ jessie-staging/main libfreetype6 armhf 2.4.9-1.1 [401 kB]
Get:41 http://172.17.0.1/private/ jessie-staging/main libbluray1 armhf 1:0.4.0-1 [109 kB]
Get:42 http://172.17.0.1/private/ jessie-staging/main libdrm2 armhf 2.4.46-4 [466 kB]
Get:43 http://172.17.0.1/private/ jessie-staging/main libglapi-mesa armhf 9.2.2-1 [63.2 kB]
Get:44 http://172.17.0.1/private/ jessie-staging/main libllvm3.3 armhf 1:3.3-12 [8302 kB]
Get:45 http://172.17.0.1/private/ jessie-staging/main libwayland-client0 armhf 1.3.0-1 [20.9 kB]
Get:46 http://172.17.0.1/private/ jessie-staging/main libwayland-server0 armhf 1.3.0-1 [25.2 kB]
Get:47 http://172.17.0.1/private/ jessie-staging/main libxau6 armhf 1:1.0.8-1 [19.9 kB]
Get:48 http://172.17.0.1/private/ jessie-staging/main libxdmcp6 armhf 1:1.1.1-1 [24.6 kB]
Get:49 http://172.17.0.1/private/ jessie-staging/main libxcb1 armhf 1.9.1-3 [43.3 kB]
Get:50 http://172.17.0.1/private/ jessie-staging/main libxcb-dri2-0 armhf 1.9.1-3 [12.1 kB]
Get:51 http://172.17.0.1/private/ jessie-staging/main libgbm1 armhf 9.2.2-1 [418 kB]
Get:52 http://172.17.0.1/private/ jessie-staging/main libx11-data all 2:1.6.2-1 [125 kB]
Get:53 http://172.17.0.1/private/ jessie-staging/main libx11-6 armhf 2:1.6.2-1 [867 kB]
Get:54 http://172.17.0.1/private/ jessie-staging/main libx11-xcb1 armhf 2:1.6.2-1 [163 kB]
Get:55 http://172.17.0.1/private/ jessie-staging/main libxcb-render0 armhf 1.9.1-3 [16.8 kB]
Get:56 http://172.17.0.1/private/ jessie-staging/main libxcb-shape0 armhf 1.9.1-3 [10.9 kB]
Get:57 http://172.17.0.1/private/ jessie-staging/main libxcb-xfixes0 armhf 1.9.1-3 [13.8 kB]
Get:58 http://172.17.0.1/private/ jessie-staging/main libegl1-mesa armhf 9.2.2-1 [74.6 kB]
Get:59 http://172.17.0.1/private/ jessie-staging/main libexpat1 armhf 2.1.0-4 [117 kB]
Get:60 http://172.17.0.1/private/ jessie-staging/main ucf all 3.0027+nmu1 [70.6 kB]
Get:61 http://172.17.0.1/private/ jessie-staging/main fonts-dejavu-core all 2.33+svn2514-3 [1042 kB]
Get:62 http://172.17.0.1/private/ jessie-staging/main ttf-dejavu-core all 2.33+svn2514-3 [29.8 kB]
Get:63 http://172.17.0.1/private/ jessie-staging/main fontconfig-config all 2.11.0-1 [269 kB]
Get:64 http://172.17.0.1/private/ jessie-staging/main libfontconfig1 armhf 2.11.0-1 [330 kB]
Get:65 http://172.17.0.1/private/ jessie-staging/main libxcb-glx0 armhf 1.9.1-3 [27.6 kB]
Get:66 http://172.17.0.1/private/ jessie-staging/main libxfixes3 armhf 1:5.0.1-1 [21.0 kB]
Get:67 http://172.17.0.1/private/ jessie-staging/main libxdamage1 armhf 1:1.1.4-1 [14.6 kB]
Get:68 http://172.17.0.1/private/ jessie-staging/main libxext6 armhf 2:1.3.2-1 [51.1 kB]
Get:69 http://172.17.0.1/private/ jessie-staging/main libxxf86vm1 armhf 1:1.1.3-1 [20.0 kB]
Get:70 http://172.17.0.1/private/ jessie-staging/main libgl1-mesa-glx armhf 9.2.2-1 [128 kB]
Get:71 http://172.17.0.1/private/ jessie-staging/main libpixman-1-0 armhf 0.30.2-1 [446 kB]
Get:72 http://172.17.0.1/private/ jessie-staging/main libpng12-0 armhf 1.2.49-5 [179 kB]
Get:73 http://172.17.0.1/private/ jessie-staging/main libxcb-shm0 armhf 1.9.1-3 [10.4 kB]
Get:74 http://172.17.0.1/private/ jessie-staging/main libxrender1 armhf 1:0.9.8-1 [30.4 kB]
Get:75 http://172.17.0.1/private/ jessie-staging/main libcairo2 armhf 1.12.16-2 [998 kB]
Get:76 http://172.17.0.1/private/ jessie-staging/main libcairo-gobject2 armhf 1.12.16-2 [540 kB]
Get:77 http://172.17.0.1/private/ jessie-staging/main liblzo2-2 armhf 2.06-1.2 [55.9 kB]
Get:78 http://172.17.0.1/private/ jessie-staging/main libcairo-script-interpreter2 armhf 1.12.16-2 [575 kB]
Get:79 http://172.17.0.1/private/ jessie-staging/main libltdl7 armhf 2.4.2-1.3 [349 kB]
Get:80 http://172.17.0.1/private/ jessie-staging/main libogg0 armhf 1.3.1-1 [18.2 kB]
Get:81 http://172.17.0.1/private/ jessie-staging/main libtdb1 armhf 1.2.12-1 [36.1 kB]
Get:82 http://172.17.0.1/private/ jessie-staging/main libvorbis0a armhf 1.3.2-1.3 [102 kB]
Get:83 http://172.17.0.1/private/ jessie-staging/main libvorbisfile3 armhf 1.3.2-1.3 [24.2 kB]
Get:84 http://172.17.0.1/private/ jessie-staging/main libcanberra0 armhf 0.30-2+b2 [36.4 kB]
Get:85 http://172.17.0.1/private/ jessie-staging/main libcroco3 armhf 0.6.8-2 [119 kB]
Get:86 http://172.17.0.1/private/ jessie-staging/main libcups2 armhf 1.6.3-1+rpi1 [263 kB]
Get:87 http://172.17.0.1/private/ jessie-staging/main libdatrie1 armhf 0.2.7.1-1 [28.1 kB]
Get:88 http://172.17.0.1/private/ jessie-staging/main libdbus-glib-1-2 armhf 0.100.2-1 [190 kB]
Get:89 http://172.17.0.1/private/ jessie-staging/main libdrm-nouveau2 armhf 2.4.46-4 [460 kB]
Get:90 http://172.17.0.1/private/ jessie-staging/main libdrm-omap1 armhf 2.4.46-4 [451 kB]
Get:91 http://172.17.0.1/private/ jessie-staging/main libdrm-radeon1 armhf 2.4.46-4 [468 kB]
Get:92 http://172.17.0.1/private/ jessie-staging/main libopenvg1-mesa armhf 9.2.2-1 [41.9 kB]
Get:93 http://172.17.0.1/private/ jessie-staging/main libegl1-mesa-drivers armhf 9.2.2-1 [1934 kB]
Get:94 http://172.17.0.1/private/ jessie-staging/main libaspell15 armhf 0.60.7~20110707-1 [623 kB]
Get:95 http://172.17.0.1/private/ jessie-staging/main dictionaries-common all 1.20.3 [285 kB]
Get:96 http://172.17.0.1/private/ jessie-staging/main aspell armhf 0.60.7~20110707-1 [360 kB]
Get:97 http://172.17.0.1/private/ jessie-staging/main aspell-en all 7.1-0-1 [268 kB]
Get:98 http://172.17.0.1/private/ jessie-staging/main libhunspell-1.3-0 armhf 1.3.2-6 [165 kB]
Get:99 http://172.17.0.1/private/ jessie-staging/main libenchant1c2a armhf 1.6.0-10+b2 [76.1 kB]
Get:100 http://172.17.0.1/private/ jessie-staging/main libfontenc1 armhf 1:1.1.2-1 [23.9 kB]
Get:101 http://172.17.0.1/private/ jessie-staging/main libjpeg8 armhf 8d-1 [132 kB]
Get:102 http://172.17.0.1/private/ jessie-staging/main libjasper1 armhf 1.900.1-14 [141 kB]
Get:103 http://172.17.0.1/private/ jessie-staging/main libjbig0 armhf 2.0-2 [31.5 kB]
Get:104 http://172.17.0.1/private/ jessie-staging/main libtiff4 armhf 3.9.7-2 [188 kB]
Get:105 http://172.17.0.1/private/ jessie-staging/main libgdk-pixbuf2.0-common all 2.28.2-1 [291 kB]
Get:106 http://172.17.0.1/private/ jessie-staging/main libgdk-pixbuf2.0-0 armhf 2.28.2-1 [141 kB]
Get:107 http://172.17.0.1/private/ jessie-staging/main libthai-data all 0.1.20-1 [157 kB]
Get:108 http://172.17.0.1/private/ jessie-staging/main libthai0 armhf 0.1.20-1 [41.4 kB]
Get:109 http://172.17.0.1/private/ jessie-staging/main fontconfig armhf 2.11.0-1 [407 kB]
Get:110 http://172.17.0.1/private/ jessie-staging/main libpango-1.0-0 armhf 1.36.0-1 [257 kB]
Get:111 http://172.17.0.1/private/ jessie-staging/main libgraphite2-3 armhf 1.2.3-1 [55.0 kB]
Get:112 http://172.17.0.1/private/ jessie-staging/main libharfbuzz0a armhf 0.9.19-1 [432 kB]
Get:113 http://172.17.0.1/private/ jessie-staging/main libpangoft2-1.0-0 armhf 1.36.0-1 [191 kB]
Get:114 http://172.17.0.1/private/ jessie-staging/main libpangocairo-1.0-0 armhf 1.36.0-1 [181 kB]
Get:115 http://172.17.0.1/private/ jessie-staging/main libxcomposite1 armhf 1:0.4.4-1 [16.8 kB]
Get:116 http://172.17.0.1/private/ jessie-staging/main libgtk2.0-common all 2.24.22-1 [3140 kB]
Get:117 http://172.17.0.1/private/ jessie-staging/main libxcursor1 armhf 1:1.1.14-1 [34.7 kB]
Get:118 http://172.17.0.1/private/ jessie-staging/main libxi6 armhf 2:1.7.2-1 [76.8 kB]
Get:119 http://172.17.0.1/private/ jessie-staging/main libxinerama1 armhf 2:1.1.3-1 [16.9 kB]
Get:120 http://172.17.0.1/private/ jessie-staging/main libxrandr2 armhf 2:1.4.1-1 [33.8 kB]
Get:121 http://172.17.0.1/private/ jessie-staging/main shared-mime-info armhf 1.0-1 [1065 kB]
Get:122 http://172.17.0.1/private/ jessie-staging/main libgtk2.0-0 armhf 2.24.22-1 [1943 kB]
Get:123 http://172.17.0.1/private/ jessie-staging/main libgail18 armhf 2.24.22-1 [524 kB]
Get:124 http://172.17.0.1/private/ jessie-staging/main gconf2-common all 3.2.6-1 [1041 kB]
Get:125 http://172.17.0.1/private/ jessie-staging/main libgconf-2-4 armhf 3.2.6-1 [413 kB]
Get:126 http://172.17.0.1/private/ jessie-staging/main libgmpxx4ldbl armhf 2:5.1.2+dfsg-3 [22.2 kB]
Get:127 http://172.17.0.1/private/ jessie-staging/main libgnome-keyring-common all 3.4.1-1 [59.8 kB]
Get:128 http://172.17.0.1/private/ jessie-staging/main libgnome-keyring0 armhf 3.4.1-1 [84.9 kB]
Get:129 http://172.17.0.1/private/ jessie-staging/main gconf-service armhf 3.2.6-1 [404 kB]
Get:130 http://172.17.0.1/private/ jessie-staging/main psmisc armhf 22.20-1 [140 kB]
Get:131 http://172.17.0.1/private/ jessie-staging/main libsystemd-login0 armhf 204-5 [37.6 kB]
Get:132 http://172.17.0.1/private/ jessie-staging/main adduser all 3.113+nmu3 [264 kB]
Get:133 http://172.17.0.1/private/ jessie-staging/main dbus armhf 1.6.18-1 [356 kB]
Get:134 http://172.17.0.1/private/ jessie-staging/main dbus-x11 armhf 1.6.18-1 [61.8 kB]
Get:135 http://172.17.0.1/private/ jessie-staging/main mime-support all 3.54 [36.4 kB]
Get:136 http://172.17.0.1/private/ jessie-staging/main libpython2.7-stdlib armhf 2.7.5-8+rvt [2477 kB]
Get:137 http://172.17.0.1/private/ jessie-staging/main python2.7 armhf 2.7.5-8+rvt [233 kB]
Get:138 http://172.17.0.1/private/ jessie-staging/main python-minimal armhf 2.7.5-5 [43.1 kB]
Get:139 http://172.17.0.1/private/ jessie-staging/main libpython-stdlib armhf 2.7.5-5 [19.8 kB]
Get:140 http://172.17.0.1/private/ jessie-staging/main python armhf 2.7.5-5 [180 kB]
Get:141 http://172.17.0.1/private/ jessie-staging/main gconf2 armhf 3.2.6-1 [419 kB]
Get:142 http://172.17.0.1/private/ jessie-staging/main gnome-mime-data all 2.18.0-1 [725 kB]
Get:143 http://172.17.0.1/private/ jessie-staging/main libgnomevfs2-common all 1:2.24.4-4 [766 kB]
Get:144 http://172.17.0.1/private/ jessie-staging/main libgnomevfs2-0 armhf 1:2.24.4-4 [448 kB]
Get:145 http://172.17.0.1/private/ jessie-staging/main libgudev-1.0-0 armhf 204-5 [26.1 kB]
Get:146 http://172.17.0.1/private/ jessie-staging/main libicu48 armhf 4.8.1.1-14 [4493 kB]
Get:147 http://172.17.0.1/private/ jessie-staging/main libharfbuzz-icu0 armhf 0.9.19-1 [299 kB]
Get:148 http://172.17.0.1/private/ jessie-staging/main x11-common all 1:7.7+4 [282 kB]
Get:149 http://172.17.0.1/private/ jessie-staging/main libice6 armhf 2:1.0.8-2 [56.2 kB]
Get:150 http://172.17.0.1/private/ jessie-staging/main libidl0 armhf 0.8.14-0.3 [126 kB]
Get:151 http://172.17.0.1/private/ jessie-staging/main liborbit2 armhf 1:2.14.19-0.2 [208 kB]
Get:152 http://172.17.0.1/private/ jessie-staging/main libxft2 armhf 2.3.1-1 [55.4 kB]
Get:153 http://172.17.0.1/private/ jessie-staging/main libpangoxft-1.0-0 armhf 1.36.0-1 [177 kB]
Get:154 http://172.17.0.1/private/ jessie-staging/main libpcrecpp0 armhf 1:8.31-2 [125 kB]
Get:155 http://172.17.0.1/private/ jessie-staging/main libpolkit-gobject-1-0 armhf 0.105-4 [43.0 kB]
Get:156 http://172.17.0.1/private/ jessie-staging/main libpolkit-agent-1-0 armhf 0.105-4 [22.7 kB]
Get:157 http://172.17.0.1/private/ jessie-staging/main librsvg2-2 armhf 2.40.0-1 [226 kB]
Get:158 http://172.17.0.1/private/ jessie-staging/main libsecret-common all 0.15-2 [39.8 kB]
Get:159 http://172.17.0.1/private/ jessie-staging/main libsecret-1-0 armhf 0.15-2 [129 kB]
Get:160 http://172.17.0.1/private/ jessie-staging/main libsm6 armhf 2:1.2.1-2 [32.5 kB]
Get:161 http://172.17.0.1/private/ jessie-staging/main libudisks2-0 armhf 2.1.1-1 [106 kB]
Get:162 http://172.17.0.1/private/ jessie-staging/main libunistring0 armhf 0.9.3-5 [408 kB]
Get:163 http://172.17.0.1/private/ jessie-staging/main libxt6 armhf 1:1.1.4-1 [183 kB]
Get:164 http://172.17.0.1/private/ jessie-staging/main libxmu6 armhf 2:1.1.1-1 [59.1 kB]
Get:165 http://172.17.0.1/private/ jessie-staging/main libxpm4 armhf 1:3.5.10-1 [44.9 kB]
Get:166 http://172.17.0.1/private/ jessie-staging/main libxaw7 armhf 2:1.0.11-1 [195 kB]
Get:167 http://172.17.0.1/private/ jessie-staging/main libxmuu1 armhf 2:1.1.1-1 [23.0 kB]
Get:168 http://172.17.0.1/private/ jessie-staging/main libxtst6 armhf 2:1.2.2-1 [26.8 kB]
Get:169 http://172.17.0.1/private/ jessie-staging/main libxv1 armhf 2:1.0.9-1 [22.0 kB]
Get:170 http://172.17.0.1/private/ jessie-staging/main libxxf86dga1 armhf 2:1.1.4-1 [22.4 kB]
Get:171 http://172.17.0.1/private/ jessie-staging/main libgnutlsxx27 armhf 2.12.23-8 [220 kB]
Get:172 http://172.17.0.1/private/ jessie-staging/main libpangox-1.0-0 armhf 0.0.2-4 [39.8 kB]
Get:173 http://172.17.0.1/private/ jessie-staging/main file armhf 1:5.14-2 [53.8 kB]
Get:174 http://172.17.0.1/private/ jessie-staging/main gettext-base armhf 0.18.3.1-1 [136 kB]
Get:175 http://172.17.0.1/private/ jessie-staging/main gettext armhf 0.18.3.1-1 [1837 kB]
Get:176 http://172.17.0.1/private/ jessie-staging/main intltool-debian all 0.35.0+20060710.1 [29.8 kB]
Get:177 http://172.17.0.1/private/ jessie-staging/main po-debconf all 1.0.16+nmu2 [223 kB]
Get:178 http://172.17.0.1/private/ jessie-staging/main debhelper all 9.20131110 [687 kB]
Get:179 http://172.17.0.1/private/ jessie-staging/main desktop-file-utils armhf 0.22-1 [73.0 kB]
Get:180 http://172.17.0.1/private/ jessie-staging/main libgirepository-1.0-1 armhf 1.36.0-2 [97.0 kB]
Get:181 http://172.17.0.1/private/ jessie-staging/main gir1.2-glib-2.0 armhf 1.36.0-2 [177 kB]
Get:182 http://172.17.0.1/private/ jessie-staging/main gir1.2-atk-1.0 armhf 2.10.0-2 [62.0 kB]
Get:183 http://172.17.0.1/private/ jessie-staging/main gir1.2-freedesktop armhf 1.36.0-2 [20.7 kB]
Get:184 http://172.17.0.1/private/ jessie-staging/main gir1.2-gconf-2.0 armhf 3.2.6-1 [362 kB]
Get:185 http://172.17.0.1/private/ jessie-staging/main gir1.2-gdkpixbuf-2.0 armhf 2.28.2-1 [14.8 kB]
Get:186 http://172.17.0.1/private/ jessie-staging/main gir1.2-gnomekeyring-1.0 armhf 3.4.1-1 [37.3 kB]
Get:187 http://172.17.0.1/private/ jessie-staging/main gir1.2-pango-1.0 armhf 1.36.0-1 [184 kB]
Get:188 http://172.17.0.1/private/ jessie-staging/main gir1.2-gtk-2.0 armhf 2.24.22-1 [683 kB]
Get:189 http://172.17.0.1/private/ jessie-staging/main gir1.2-rsvg-2.0 armhf 2.40.0-1 [166 kB]
Get:190 http://172.17.0.1/private/ jessie-staging/main x11-utils armhf 7.7+1 [221 kB]
Get:191 http://172.17.0.1/private/ jessie-staging/main udisks2 armhf 2.1.1-1 [349 kB]
Get:192 http://172.17.0.1/private/ jessie-staging/main gvfs-common all 1.16.3-1 [673 kB]
Get:193 http://172.17.0.1/private/ jessie-staging/main gvfs-libs armhf 1.16.3-1+b1 [257 kB]
Get:194 http://172.17.0.1/private/ jessie-staging/main gvfs-daemons armhf 1.16.3-1+b1 [289 kB]
Get:195 http://172.17.0.1/private/ jessie-staging/main gvfs armhf 1.16.3-1+b1 [260 kB]
Get:196 http://172.17.0.1/private/ jessie-staging/main pkg-config armhf 0.26-1 [56.9 kB]
Get:197 http://172.17.0.1/private/ jessie-staging/main libart-2.0-dev armhf 2.3.21-2 [82.0 kB]
Get:198 http://172.17.0.1/private/ jessie-staging/main libelfg0 armhf 0.8.13-3 [56.5 kB]
Get:199 http://172.17.0.1/private/ jessie-staging/main libglib2.0-data all 2.36.4-1 [1847 kB]
Get:200 http://172.17.0.1/private/ jessie-staging/main libglib2.0-bin armhf 2.36.4-1 [1060 kB]
Get:201 http://172.17.0.1/private/ jessie-staging/main libpcre3-dev armhf 1:8.31-2 [350 kB]
Get:202 http://172.17.0.1/private/ jessie-staging/main zlib1g-dev armhf 1:1.2.8.dfsg-1 [212 kB]
Get:203 http://172.17.0.1/private/ jessie-staging/main libglib2.0-dev armhf 2.36.4-1 [2113 kB]
Get:204 http://172.17.0.1/private/ jessie-staging/main libatk1.0-dev armhf 2.10.0-2 [114 kB]
Get:205 http://172.17.0.1/private/ jessie-staging/main libavahi-common-dev armhf 0.6.31-2 [68.5 kB]
Get:206 http://172.17.0.1/private/ jessie-staging/main libdbus-1-dev armhf 1.6.18-1 [217 kB]
Get:207 http://172.17.0.1/private/ jessie-staging/main libavahi-client-dev armhf 0.6.31-2 [62.3 kB]
Get:208 http://172.17.0.1/private/ jessie-staging/main libavahi-glib-dev armhf 0.6.31-2 [36.6 kB]
Get:209 http://172.17.0.1/private/ jessie-staging/main libbonobo2-common all 2.32.1-2 [251 kB]
Get:210 http://172.17.0.1/private/ jessie-staging/main libbonobo2-0 armhf 2.32.1-2 [222 kB]
Get:211 http://172.17.0.1/private/ jessie-staging/main libidl-dev armhf 0.8.14-0.3 [137 kB]
Get:212 http://172.17.0.1/private/ jessie-staging/main liborbit2-dev armhf 1:2.14.19-0.2 [348 kB]
Get:213 http://172.17.0.1/private/ jessie-staging/main libpopt-dev armhf 1.16-8 [52.3 kB]
Get:214 http://172.17.0.1/private/ jessie-staging/main libbonobo2-dev armhf 2.32.1-2 [581 kB]
Get:215 http://172.17.0.1/private/ jessie-staging/main libpango1.0-0 armhf 1.36.0-1 [168 kB]
Get:216 http://172.17.0.1/private/ jessie-staging/main libglade2-0 armhf 1:2.6.4-1 [85.3 kB]
Get:217 http://172.17.0.1/private/ jessie-staging/main libgnome2-common all 2.32.1-4 [915 kB]
Get:218 http://172.17.0.1/private/ jessie-staging/main libgnome2-0 armhf 2.32.1-4+b1 [467 kB]
Get:219 http://172.17.0.1/private/ jessie-staging/main libgnomecanvas2-common all 2.30.3-1.2 [133 kB]
Get:220 http://172.17.0.1/private/ jessie-staging/main libgnomecanvas2-0 armhf 2.30.3-1.2 [95.0 kB]
Get:221 http://172.17.0.1/private/ jessie-staging/main libbonoboui2-common all 2.24.3-1 [401 kB]
Get:222 http://172.17.0.1/private/ jessie-staging/main libbonoboui2-0 armhf 2.24.3-1 [217 kB]
Get:223 http://172.17.0.1/private/ jessie-staging/main xorg-sgml-doctools all 1:1.11-1 [21.9 kB]
Get:224 http://172.17.0.1/private/ jessie-staging/main x11proto-core-dev all 7.0.24-1 [779 kB]
Get:225 http://172.17.0.1/private/ jessie-staging/main libxau-dev armhf 1:1.0.8-1 [23.0 kB]
Get:226 http://172.17.0.1/private/ jessie-staging/main libxdmcp-dev armhf 1:1.1.1-1 [40.8 kB]
Get:227 http://172.17.0.1/private/ jessie-staging/main x11proto-input-dev all 2.3-1 [177 kB]
Get:228 http://172.17.0.1/private/ jessie-staging/main x11proto-kb-dev all 1.0.6-2 [269 kB]
Get:229 http://172.17.0.1/private/ jessie-staging/main xtrans-dev all 1.2.7-1 [112 kB]
Get:230 http://172.17.0.1/private/ jessie-staging/main libpthread-stubs0-dev armhf 0.3-4 [4042 B]
Get:231 http://172.17.0.1/private/ jessie-staging/main libxcb1-dev armhf 1.9.1-3 [98.5 kB]
Get:232 http://172.17.0.1/private/ jessie-staging/main libx11-dev armhf 2:1.6.2-1 [991 kB]
Get:233 http://172.17.0.1/private/ jessie-staging/main libpng12-dev armhf 1.2.49-5 [258 kB]
Get:234 http://172.17.0.1/private/ jessie-staging/main libgdk-pixbuf2.0-dev armhf 2.28.2-1 [49.2 kB]
Get:235 http://172.17.0.1/private/ jessie-staging/main libfreetype6-dev armhf 2.4.9-1.1 [748 kB]
Get:236 http://172.17.0.1/private/ jessie-staging/main x11proto-render-dev all 2:0.11.1-2 [20.8 kB]
Get:237 http://172.17.0.1/private/ jessie-staging/main libxrender-dev armhf 1:0.9.8-1 [38.8 kB]
Get:238 http://172.17.0.1/private/ jessie-staging/main libexpat1-dev armhf 2.1.0-4 [210 kB]
Get:239 http://172.17.0.1/private/ jessie-staging/main libfontconfig1-dev armhf 2.11.0-1 [928 kB]
Get:240 http://172.17.0.1/private/ jessie-staging/main libxft-dev armhf 2.3.1-1 [68.1 kB]
Get:241 http://172.17.0.1/private/ jessie-staging/main libharfbuzz-dev armhf 0.9.19-1 [311 kB]
Get:242 http://172.17.0.1/private/ jessie-staging/main x11proto-xext-dev all 7.2.1-1 [273 kB]
Get:243 http://172.17.0.1/private/ jessie-staging/main libxext-dev armhf 2:1.3.2-1 [110 kB]
Get:244 http://172.17.0.1/private/ jessie-staging/main libice-dev armhf 2:1.0.8-2 [65.9 kB]
Get:245 http://172.17.0.1/private/ jessie-staging/main libsm-dev armhf 2:1.2.1-2 [35.6 kB]
Get:246 http://172.17.0.1/private/ jessie-staging/main libpixman-1-dev armhf 0.30.2-1 [477 kB]
Get:247 http://172.17.0.1/private/ jessie-staging/main libxcb-render0-dev armhf 1.9.1-3 [25.2 kB]
Get:248 http://172.17.0.1/private/ jessie-staging/main libxcb-shm0-dev armhf 1.9.1-3 [12.0 kB]
Get:249 http://172.17.0.1/private/ jessie-staging/main libdrm-dev armhf 2.4.46-4 [577 kB]
Get:250 http://172.17.0.1/private/ jessie-staging/main mesa-common-dev armhf 9.2.2-1 [276 kB]
Get:251 http://172.17.0.1/private/ jessie-staging/main libx11-xcb-dev armhf 2:1.6.2-1 [165 kB]
Get:252 http://172.17.0.1/private/ jessie-staging/main libxcb-dri2-0-dev armhf 1.9.1-3 [15.5 kB]
Get:253 http://172.17.0.1/private/ jessie-staging/main libxcb-glx0-dev armhf 1.9.1-3 [45.9 kB]
Get:254 http://172.17.0.1/private/ jessie-staging/main x11proto-fixes-dev all 1:5.0-2 [19.2 kB]
Get:255 http://172.17.0.1/private/ jessie-staging/main libxfixes-dev armhf 1:5.0.1-1 [24.1 kB]
Get:256 http://172.17.0.1/private/ jessie-staging/main x11proto-damage-dev all 1:1.2.1-2 [11.8 kB]
Get:257 http://172.17.0.1/private/ jessie-staging/main libxdamage-dev armhf 1:1.1.4-1 [14.3 kB]
Get:258 http://172.17.0.1/private/ jessie-staging/main x11proto-xf86vidmode-dev all 2.3.1-2 [6114 B]
Get:259 http://172.17.0.1/private/ jessie-staging/main libxxf86vm-dev armhf 1:1.1.3-1 [25.5 kB]
Get:260 http://172.17.0.1/private/ jessie-staging/main x11proto-dri2-dev all 2.8-2 [18.2 kB]
Get:261 http://172.17.0.1/private/ jessie-staging/main x11proto-gl-dev all 1.4.16-2 [32.1 kB]
Get:262 http://172.17.0.1/private/ jessie-staging/main libgl1-mesa-dev armhf 9.2.2-1 [35.1 kB]
Get:263 http://172.17.0.1/private/ jessie-staging/main libegl1-mesa-dev armhf 9.2.2-1 [46.6 kB]
Get:264 http://172.17.0.1/private/ jessie-staging/main libcairo2-dev armhf 1.12.16-2 [1225 kB]
Get:265 http://172.17.0.1/private/ jessie-staging/main libpango1.0-dev armhf 1.36.0-1 [403 kB]
Get:266 http://172.17.0.1/private/ jessie-staging/main x11proto-xinerama-dev all 1.2.1-2 [4938 B]
Get:267 http://172.17.0.1/private/ jessie-staging/main libxinerama-dev armhf 2:1.1.3-1 [19.5 kB]
Get:268 http://172.17.0.1/private/ jessie-staging/main libxi-dev armhf 2:1.7.2-1 [250 kB]
Get:269 http://172.17.0.1/private/ jessie-staging/main x11proto-randr-dev all 1.4.0-2 [46.8 kB]
Get:270 http://172.17.0.1/private/ jessie-staging/main libxrandr-dev armhf 2:1.4.1-1 [42.5 kB]
Get:271 http://172.17.0.1/private/ jessie-staging/main libxcursor-dev armhf 1:1.1.14-1 [43.1 kB]
Get:272 http://172.17.0.1/private/ jessie-staging/main x11proto-composite-dev all 1:0.4.2-2 [15.3 kB]
Get:273 http://172.17.0.1/private/ jessie-staging/main libxcomposite-dev armhf 1:0.4.4-1 [20.5 kB]
Get:274 http://172.17.0.1/private/ jessie-staging/main libxml2-utils armhf 2.9.1+dfsg1-3 [96.4 kB]
Get:275 http://172.17.0.1/private/ jessie-staging/main libgtk2.0-dev armhf 2.24.22-1 [2770 kB]
Get:276 http://172.17.0.1/private/ jessie-staging/main libgail-common armhf 2.24.22-1 [594 kB]
Get:277 http://172.17.0.1/private/ jessie-staging/main libgail-dev armhf 2.24.22-1 [525 kB]
Get:278 http://172.17.0.1/private/ jessie-staging/main libgnomecanvas2-dev armhf 2.30.3-1.2 [114 kB]
Get:279 http://172.17.0.1/private/ jessie-staging/main libgconf2-dev armhf 3.2.6-1 [433 kB]
Get:280 http://172.17.0.1/private/ jessie-staging/main libgpg-error-dev armhf 1.12-0.2 [32.1 kB]
Get:281 http://172.17.0.1/private/ jessie-staging/main libgcrypt11-dev armhf 1.5.3-2 [372 kB]
Get:282 http://172.17.0.1/private/ jessie-staging/main libtasn1-3-dev armhf 2.14-3 [409 kB]
Get:283 http://172.17.0.1/private/ jessie-staging/main libp11-kit-dev armhf 0.20.1-3 [147 kB]
Get:284 http://172.17.0.1/private/ jessie-staging/main libgnutls-dev armhf 2.12.23-8 [696 kB]
Get:285 http://172.17.0.1/private/ jessie-staging/main libxml2-dev armhf 2.9.1+dfsg1-3 [837 kB]
Get:286 http://172.17.0.1/private/ jessie-staging/main libsepol1-dev armhf 2.2-1 [202 kB]
Get:287 http://172.17.0.1/private/ jessie-staging/main libselinux1-dev armhf 2.1.13-3+rpi1 [170 kB]
Get:288 http://172.17.0.1/private/ jessie-staging/main libgnomevfs2-dev armhf 1:2.24.4-4 [467 kB]
Get:289 http://172.17.0.1/private/ jessie-staging/main libcanberra-dev armhf 0.30-2+b2 [14.1 kB]
Get:290 http://172.17.0.1/private/ jessie-staging/main libgnome2-dev armhf 2.32.1-4+b1 [466 kB]
Get:291 http://172.17.0.1/private/ jessie-staging/main libbonoboui2-dev armhf 2.24.3-1 [289 kB]
Get:292 http://172.17.0.1/private/ jessie-staging/main libenchant-dev armhf 1.6.0-10+b2 [68.5 kB]
Get:293 http://172.17.0.1/private/ jessie-staging/main libglade2-dev armhf 1:2.6.4-1 [132 kB]
Get:294 http://172.17.0.1/private/ jessie-staging/main libgmp-dev armhf 2:5.1.2+dfsg-3 [603 kB]
Get:295 http://172.17.0.1/private/ jessie-staging/main libgmp3-dev armhf 2:5.1.2+dfsg-3 [14.1 kB]
Get:296 http://172.17.0.1/private/ jessie-staging/main libgnome-keyring-dev armhf 3.4.1-1 [96.7 kB]
Get:297 http://172.17.0.1/private/ jessie-staging/main libgnomeui-common all 2.24.5-2 [863 kB]
Get:298 http://172.17.0.1/private/ jessie-staging/main libgnomeui-0 armhf 2.24.5-2 [345 kB]
Get:299 http://172.17.0.1/private/ jessie-staging/main libgnomeui-dev armhf 2.24.5-2 [432 kB]
Get:300 http://172.17.0.1/private/ jessie-staging/main libgtksourceview2.0-common all 2.10.5-1 [479 kB]
Get:301 http://172.17.0.1/private/ jessie-staging/main libgtksourceview2.0-0 armhf 2.10.5-1 [165 kB]
Get:302 http://172.17.0.1/private/ jessie-staging/main libgtksourceview2.0-dev armhf 2.10.5-1 [189 kB]
Get:303 http://172.17.0.1/private/ jessie-staging/main libgtkspell0 armhf 2.0.16-1 [27.0 kB]
Get:304 http://172.17.0.1/private/ jessie-staging/main libgtkspell-dev armhf 2.0.16-1 [30.7 kB]
Get:305 http://172.17.0.1/private/ jessie-staging/main ocaml-base-nox armhf 3.12.1-4 [493 kB]
Get:306 http://172.17.0.1/private/ jessie-staging/main liblablgtk2-ocaml armhf 2.14.2+dfsg-3 [318 kB]
Get:307 http://172.17.0.1/private/ jessie-staging/main liblablgtk2-gnome-ocaml armhf 2.14.2+dfsg-3 [52.9 kB]
Get:308 http://172.17.0.1/private/ jessie-staging/main librsvg2-common armhf 2.40.0-1 [167 kB]
Get:309 http://172.17.0.1/private/ jessie-staging/main librsvg2-dev armhf 2.40.0-1 [244 kB]
Get:310 http://172.17.0.1/private/ jessie-staging/main libtinfo-dev armhf 5.9+20130608-1 [92.5 kB]
Get:311 http://172.17.0.1/private/ jessie-staging/main libncurses5-dev armhf 5.9+20130608-1 [201 kB]
Get:312 http://172.17.0.1/private/ jessie-staging/main ocaml-interp armhf 3.12.1-4 [319 kB]
Get:313 http://172.17.0.1/private/ jessie-staging/main ocaml-nox armhf 3.12.1-4 [4888 kB]
Get:314 http://172.17.0.1/private/ jessie-staging/main liblablgtk2-ocaml-dev armhf 2.14.2+dfsg-3 [1377 kB]
Get:315 http://172.17.0.1/private/ jessie-staging/main liblablgtk2-gnome-ocaml-dev armhf 2.14.2+dfsg-3 [106 kB]
Get:316 http://172.17.0.1/private/ jessie-staging/main liblablgtksourceview2-ocaml armhf 2.14.2+dfsg-3 [47.4 kB]
Get:317 http://172.17.0.1/private/ jessie-staging/main liblablgtksourceview2-ocaml-dev armhf 2.14.2+dfsg-3 [80.9 kB]
Get:318 http://172.17.0.1/private/ jessie-staging/main libocamlgraph-ocaml-dev armhf 1.8.2-2 [2024 kB]
Get:319 http://172.17.0.1/private/ jessie-staging/main libzarith-ocaml armhf 1.2.1-2 [29.1 kB]
Get:320 http://172.17.0.1/private/ jessie-staging/main libzarith-ocaml-dev armhf 1.2.1-2 [39.2 kB]
Get:321 http://172.17.0.1/private/ jessie-staging/main dh-ocaml all 1.0.7 [94.4 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 109 MB in 37s (2904 kB/s)
(Reading database ... 11477 files and directories currently installed.)
Preparing to replace libsepol1:armhf 2.1.9-2 (using .../libsepol1_2.2-1_armhf.deb) ...
Unpacking replacement libsepol1:armhf ...
Setting up libsepol1:armhf (2.2-1) ...
Processing triggers for libc-bin ...
Selecting previously unselected package libpipeline1:armhf.
(Reading database ... 11477 files and directories currently installed.)
Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.4-1_armhf.deb) ...
Selecting previously unselected package libpopt0:armhf.
Unpacking libpopt0:armhf (from .../libpopt0_1.16-8_armhf.deb) ...
Selecting previously unselected package libssl1.0.0:armhf.
Unpacking libssl1.0.0:armhf (from .../libssl1.0.0_1.0.1e-4_armhf.deb) ...
Selecting previously unselected package groff-base.
Unpacking groff-base (from .../groff-base_1.22.2-3_armhf.deb) ...
Selecting previously unselected package bsdmainutils.
Unpacking bsdmainutils (from .../bsdmainutils_9.0.5_armhf.deb) ...
Selecting previously unselected package man-db.
Unpacking man-db (from .../man-db_2.6.5-2_armhf.deb) ...
Selecting previously unselected package libasprintf0c2:armhf.
Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.3.1-1_armhf.deb) ...
Selecting previously unselected package libgpg-error0:armhf.
Unpacking libgpg-error0:armhf (from .../libgpg-error0_1.12-0.2_armhf.deb) ...
Selecting previously unselected package libgcrypt11:armhf.
Unpacking libgcrypt11:armhf (from .../libgcrypt11_1.5.3-2_armhf.deb) ...
Selecting previously unselected package libffi6:armhf.
Unpacking libffi6:armhf (from .../libffi6_3.0.13-4_armhf.deb) ...
Selecting previously unselected package libp11-kit0:armhf.
Unpacking libp11-kit0:armhf (from .../libp11-kit0_0.20.1-3_armhf.deb) ...
Selecting previously unselected package libtasn1-3:armhf.
Unpacking libtasn1-3:armhf (from .../libtasn1-3_2.14-3_armhf.deb) ...
Selecting previously unselected package libgnutls26:armhf.
Unpacking libgnutls26:armhf (from .../libgnutls26_2.12.23-8_armhf.deb) ...
Selecting previously unselected package libgnutls-openssl27:armhf.
Unpacking libgnutls-openssl27:armhf (from .../libgnutls-openssl27_2.12.23-8_armhf.deb) ...
Selecting previously unselected package libkeyutils1:armhf.
Unpacking libkeyutils1:armhf (from .../libkeyutils1_1.5.6-1_armhf.deb) ...
Selecting previously unselected package libkrb5support0:armhf.
Unpacking libkrb5support0:armhf (from .../libkrb5support0_1.11.3+dfsg-3_armhf.deb) ...
Selecting previously unselected package libk5crypto3:armhf.
Unpacking libk5crypto3:armhf (from .../libk5crypto3_1.11.3+dfsg-3_armhf.deb) ...
Selecting previously unselected package libkrb5-3:armhf.
Unpacking libkrb5-3:armhf (from .../libkrb5-3_1.11.3+dfsg-3_armhf.deb) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Unpacking libgssapi-krb5-2:armhf (from .../libgssapi-krb5-2_1.11.3+dfsg-3_armhf.deb) ...
Selecting previously unselected package libsasl2-modules-db:armhf.
Unpacking libsasl2-modules-db:armhf (from .../libsasl2-modules-db_2.1.25.dfsg1-17_armhf.deb) ...
Selecting previously unselected package libsasl2-2:armhf.
Unpacking libsasl2-2:armhf (from .../libsasl2-2_2.1.25.dfsg1-17_armhf.deb) ...
Selecting previously unselected package libldap-2.4-2:armhf.
Unpacking libldap-2.4-2:armhf (from .../libldap-2.4-2_2.4.31-1+nmu2+b1_armhf.deb) ...
Selecting previously unselected package libmagic1:armhf.
Unpacking libmagic1:armhf (from .../libmagic1_1%3a5.14-2_armhf.deb) ...
Selecting previously unselected package libsqlite3-0:armhf.
Unpacking libsqlite3-0:armhf (from .../libsqlite3-0_3.8.1-1_armhf.deb) ...
Selecting previously unselected package libxml2:armhf.
Unpacking libxml2:armhf (from .../libxml2_2.9.1+dfsg1-3_armhf.deb) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Unpacking libpython2.7-minimal:armhf (from .../libpython2.7-minimal_2.7.5-8+rvt_armhf.deb) ...
Selecting previously unselected package python2.7-minimal.
Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.5-8+rvt_armhf.deb) ...
Selecting previously unselected package libart-2.0-2:armhf.
Unpacking libart-2.0-2:armhf (from .../libart-2.0-2_2.3.21-2_armhf.deb) ...
Selecting previously unselected package libasound2-data.
Unpacking libasound2-data (from .../libasound2-data_1.0.27.2-3_all.deb) ...
Selecting previously unselected package libasound2:armhf.
Unpacking libasound2:armhf (from .../libasound2_1.0.27.2-3_armhf.deb) ...
Selecting previously unselected package libatasmart4:armhf.
Unpacking libatasmart4:armhf (from .../libatasmart4_0.19-3_armhf.deb) ...
Selecting previously unselected package libglib2.0-0:armhf.
Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.36.4-1_armhf.deb) ...
Selecting previously unselected package libatk1.0-data.
Unpacking libatk1.0-data (from .../libatk1.0-data_2.10.0-2_all.deb) ...
Selecting previously unselected package libatk1.0-0:armhf.
Unpacking libatk1.0-0:armhf (from .../libatk1.0-0_2.10.0-2_armhf.deb) ...
Selecting previously unselected package libavahi-common-data:armhf.
Unpacking libavahi-common-data:armhf (from .../libavahi-common-data_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libavahi-common3:armhf.
Unpacking libavahi-common3:armhf (from .../libavahi-common3_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libavahi-client3:armhf.
Unpacking libavahi-client3:armhf (from .../libavahi-client3_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libavahi-glib1:armhf.
Unpacking libavahi-glib1:armhf (from .../libavahi-glib1_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libfreetype6:armhf.
Unpacking libfreetype6:armhf (from .../libfreetype6_2.4.9-1.1_armhf.deb) ...
Selecting previously unselected package libbluray1:armhf.
Unpacking libbluray1:armhf (from .../libbluray1_1%3a0.4.0-1_armhf.deb) ...
Selecting previously unselected package libdrm2:armhf.
Unpacking libdrm2:armhf (from .../libdrm2_2.4.46-4_armhf.deb) ...
Selecting previously unselected package libglapi-mesa:armhf.
Unpacking libglapi-mesa:armhf (from .../libglapi-mesa_9.2.2-1_armhf.deb) ...
Selecting previously unselected package libllvm3.3:armhf.
Unpacking libllvm3.3:armhf (from .../libllvm3.3_1%3a3.3-12_armhf.deb) ...
Selecting previously unselected package libwayland-client0:armhf.
Unpacking libwayland-client0:armhf (from .../libwayland-client0_1.3.0-1_armhf.deb) ...
Selecting previously unselected package libwayland-server0:armhf.
Unpacking libwayland-server0:armhf (from .../libwayland-server0_1.3.0-1_armhf.deb) ...
Selecting previously unselected package libxau6:armhf.
Unpacking libxau6:armhf (from .../libxau6_1%3a1.0.8-1_armhf.deb) ...
Selecting previously unselected package libxdmcp6:armhf.
Unpacking libxdmcp6:armhf (from .../libxdmcp6_1%3a1.1.1-1_armhf.deb) ...
Selecting previously unselected package libxcb1:armhf.
Unpacking libxcb1:armhf (from .../libxcb1_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libxcb-dri2-0:armhf.
Unpacking libxcb-dri2-0:armhf (from .../libxcb-dri2-0_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libgbm1:armhf.
Unpacking libgbm1:armhf (from .../libgbm1_9.2.2-1_armhf.deb) ...
Selecting previously unselected package libx11-data.
Unpacking libx11-data (from .../libx11-data_2%3a1.6.2-1_all.deb) ...
Selecting previously unselected package libx11-6:armhf.
Unpacking libx11-6:armhf (from .../libx11-6_2%3a1.6.2-1_armhf.deb) ...
Selecting previously unselected package libx11-xcb1:armhf.
Unpacking libx11-xcb1:armhf (from .../libx11-xcb1_2%3a1.6.2-1_armhf.deb) ...
Selecting previously unselected package libxcb-render0:armhf.
Unpacking libxcb-render0:armhf (from .../libxcb-render0_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libxcb-shape0:armhf.
Unpacking libxcb-shape0:armhf (from .../libxcb-shape0_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libxcb-xfixes0:armhf.
Unpacking libxcb-xfixes0:armhf (from .../libxcb-xfixes0_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libegl1-mesa:armhf.
Unpacking libegl1-mesa:armhf (from .../libegl1-mesa_9.2.2-1_armhf.deb) ...
Selecting previously unselected package libexpat1:armhf.
Unpacking libexpat1:armhf (from .../libexpat1_2.1.0-4_armhf.deb) ...
Selecting previously unselected package ucf.
Unpacking ucf (from .../ucf_3.0027+nmu1_all.deb) ...
Moving old data out of the way
Selecting previously unselected package fonts-dejavu-core.
Unpacking fonts-dejavu-core (from .../fonts-dejavu-core_2.33+svn2514-3_all.deb) ...
Selecting previously unselected package ttf-dejavu-core.
Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33+svn2514-3_all.deb) ...
Selecting previously unselected package fontconfig-config.
Unpacking fontconfig-config (from .../fontconfig-config_2.11.0-1_all.deb) ...
Selecting previously unselected package libfontconfig1:armhf.
Unpacking libfontconfig1:armhf (from .../libfontconfig1_2.11.0-1_armhf.deb) ...
Selecting previously unselected package libxcb-glx0:armhf.
Unpacking libxcb-glx0:armhf (from .../libxcb-glx0_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libxfixes3:armhf.
Unpacking libxfixes3:armhf (from .../libxfixes3_1%3a5.0.1-1_armhf.deb) ...
Selecting previously unselected package libxdamage1:armhf.
Unpacking libxdamage1:armhf (from .../libxdamage1_1%3a1.1.4-1_armhf.deb) ...
Selecting previously unselected package libxext6:armhf.
Unpacking libxext6:armhf (from .../libxext6_2%3a1.3.2-1_armhf.deb) ...
Selecting previously unselected package libxxf86vm1:armhf.
Unpacking libxxf86vm1:armhf (from .../libxxf86vm1_1%3a1.1.3-1_armhf.deb) ...
Selecting previously unselected package libgl1-mesa-glx:armhf.
Unpacking libgl1-mesa-glx:armhf (from .../libgl1-mesa-glx_9.2.2-1_armhf.deb) ...
Selecting previously unselected package libpixman-1-0:armhf.
Unpacking libpixman-1-0:armhf (from .../libpixman-1-0_0.30.2-1_armhf.deb) ...
Selecting previously unselected package libpng12-0:armhf.
Unpacking libpng12-0:armhf (from .../libpng12-0_1.2.49-5_armhf.deb) ...
Selecting previously unselected package libxcb-shm0:armhf.
Unpacking libxcb-shm0:armhf (from .../libxcb-shm0_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libxrender1:armhf.
Unpacking libxrender1:armhf (from .../libxrender1_1%3a0.9.8-1_armhf.deb) ...
Selecting previously unselected package libcairo2:armhf.
Unpacking libcairo2:armhf (from .../libcairo2_1.12.16-2_armhf.deb) ...
Selecting previously unselected package libcairo-gobject2:armhf.
Unpacking libcairo-gobject2:armhf (from .../libcairo-gobject2_1.12.16-2_armhf.deb) ...
Selecting previously unselected package liblzo2-2:armhf.
Unpacking liblzo2-2:armhf (from .../liblzo2-2_2.06-1.2_armhf.deb) ...
Selecting previously unselected package libcairo-script-interpreter2:armhf.
Unpacking libcairo-script-interpreter2:armhf (from .../libcairo-script-interpreter2_1.12.16-2_armhf.deb) ...
Selecting previously unselected package libltdl7:armhf.
Unpacking libltdl7:armhf (from .../libltdl7_2.4.2-1.3_armhf.deb) ...
Selecting previously unselected package libogg0:armhf.
Unpacking libogg0:armhf (from .../libogg0_1.3.1-1_armhf.deb) ...
Selecting previously unselected package libtdb1:armhf.
Unpacking libtdb1:armhf (from .../libtdb1_1.2.12-1_armhf.deb) ...
Selecting previously unselected package libvorbis0a:armhf.
Unpacking libvorbis0a:armhf (from .../libvorbis0a_1.3.2-1.3_armhf.deb) ...
Selecting previously unselected package libvorbisfile3:armhf.
Unpacking libvorbisfile3:armhf (from .../libvorbisfile3_1.3.2-1.3_armhf.deb) ...
Selecting previously unselected package libcanberra0:armhf.
Unpacking libcanberra0:armhf (from .../libcanberra0_0.30-2+b2_armhf.deb) ...
Selecting previously unselected package libcroco3:armhf.
Unpacking libcroco3:armhf (from .../libcroco3_0.6.8-2_armhf.deb) ...
Selecting previously unselected package libcups2:armhf.
Unpacking libcups2:armhf (from .../libcups2_1.6.3-1+rpi1_armhf.deb) ...
Selecting previously unselected package libdatrie1:armhf.
Unpacking libdatrie1:armhf (from .../libdatrie1_0.2.7.1-1_armhf.deb) ...
Selecting previously unselected package libdbus-glib-1-2:armhf.
Unpacking libdbus-glib-1-2:armhf (from .../libdbus-glib-1-2_0.100.2-1_armhf.deb) ...
Selecting previously unselected package libdrm-nouveau2:armhf.
Unpacking libdrm-nouveau2:armhf (from .../libdrm-nouveau2_2.4.46-4_armhf.deb) ...
Selecting previously unselected package libdrm-omap1:armhf.
Unpacking libdrm-omap1:armhf (from .../libdrm-omap1_2.4.46-4_armhf.deb) ...
Selecting previously unselected package libdrm-radeon1:armhf.
Unpacking libdrm-radeon1:armhf (from .../libdrm-radeon1_2.4.46-4_armhf.deb) ...
Selecting previously unselected package libopenvg1-mesa:armhf.
Unpacking libopenvg1-mesa:armhf (from .../libopenvg1-mesa_9.2.2-1_armhf.deb) ...
Selecting previously unselected package libegl1-mesa-drivers:armhf.
Unpacking libegl1-mesa-drivers:armhf (from .../libegl1-mesa-drivers_9.2.2-1_armhf.deb) ...
Selecting previously unselected package libaspell15.
Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1_armhf.deb) ...
Selecting previously unselected package dictionaries-common.
Unpacking dictionaries-common (from .../dictionaries-common_1.20.3_all.deb) ...
Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common'
Selecting previously unselected package aspell.
Unpacking aspell (from .../aspell_0.60.7~20110707-1_armhf.deb) ...
Selecting previously unselected package aspell-en.
Unpacking aspell-en (from .../aspell-en_7.1-0-1_all.deb) ...
Selecting previously unselected package libhunspell-1.3-0:armhf.
Unpacking libhunspell-1.3-0:armhf (from .../libhunspell-1.3-0_1.3.2-6_armhf.deb) ...
Selecting previously unselected package libenchant1c2a:armhf.
Unpacking libenchant1c2a:armhf (from .../libenchant1c2a_1.6.0-10+b2_armhf.deb) ...
Selecting previously unselected package libfontenc1:armhf.
Unpacking libfontenc1:armhf (from .../libfontenc1_1%3a1.1.2-1_armhf.deb) ...
Selecting previously unselected package libjpeg8:armhf.
Unpacking libjpeg8:armhf (from .../libjpeg8_8d-1_armhf.deb) ...
Selecting previously unselected package libjasper1:armhf.
Unpacking libjasper1:armhf (from .../libjasper1_1.900.1-14_armhf.deb) ...
Selecting previously unselected package libjbig0:armhf.
Unpacking libjbig0:armhf (from .../libjbig0_2.0-2_armhf.deb) ...
Selecting previously unselected package libtiff4:armhf.
Unpacking libtiff4:armhf (from .../libtiff4_3.9.7-2_armhf.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.28.2-1_all.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:armhf.
Unpacking libgdk-pixbuf2.0-0:armhf (from .../libgdk-pixbuf2.0-0_2.28.2-1_armhf.deb) ...
Selecting previously unselected package libthai-data.
Unpacking libthai-data (from .../libthai-data_0.1.20-1_all.deb) ...
Selecting previously unselected package libthai0:armhf.
Unpacking libthai0:armhf (from .../libthai0_0.1.20-1_armhf.deb) ...
Selecting previously unselected package fontconfig.
Unpacking fontconfig (from .../fontconfig_2.11.0-1_armhf.deb) ...
Selecting previously unselected package libpango-1.0-0:armhf.
Unpacking libpango-1.0-0:armhf (from .../libpango-1.0-0_1.36.0-1_armhf.deb) ...
Selecting previously unselected package libgraphite2-3:armhf.
Unpacking libgraphite2-3:armhf (from .../libgraphite2-3_1.2.3-1_armhf.deb) ...
Selecting previously unselected package libharfbuzz0a:armhf.
Unpacking libharfbuzz0a:armhf (from .../libharfbuzz0a_0.9.19-1_armhf.deb) ...
Selecting previously unselected package libpangoft2-1.0-0:armhf.
Unpacking libpangoft2-1.0-0:armhf (from .../libpangoft2-1.0-0_1.36.0-1_armhf.deb) ...
Selecting previously unselected package libpangocairo-1.0-0:armhf.
Unpacking libpangocairo-1.0-0:armhf (from .../libpangocairo-1.0-0_1.36.0-1_armhf.deb) ...
Selecting previously unselected package libxcomposite1:armhf.
Unpacking libxcomposite1:armhf (from .../libxcomposite1_1%3a0.4.4-1_armhf.deb) ...
Selecting previously unselected package libgtk2.0-common.
Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.22-1_all.deb) ...
Selecting previously unselected package libxcursor1:armhf.
Unpacking libxcursor1:armhf (from .../libxcursor1_1%3a1.1.14-1_armhf.deb) ...
Selecting previously unselected package libxi6:armhf.
Unpacking libxi6:armhf (from .../libxi6_2%3a1.7.2-1_armhf.deb) ...
Selecting previously unselected package libxinerama1:armhf.
Unpacking libxinerama1:armhf (from .../libxinerama1_2%3a1.1.3-1_armhf.deb) ...
Selecting previously unselected package libxrandr2:armhf.
Unpacking libxrandr2:armhf (from .../libxrandr2_2%3a1.4.1-1_armhf.deb) ...
Selecting previously unselected package shared-mime-info.
Unpacking shared-mime-info (from .../shared-mime-info_1.0-1_armhf.deb) ...
Selecting previously unselected package libgtk2.0-0:armhf.
Unpacking libgtk2.0-0:armhf (from .../libgtk2.0-0_2.24.22-1_armhf.deb) ...
Selecting previously unselected package libgail18:armhf.
Unpacking libgail18:armhf (from .../libgail18_2.24.22-1_armhf.deb) ...
Selecting previously unselected package gconf2-common.
Unpacking gconf2-common (from .../gconf2-common_3.2.6-1_all.deb) ...
Selecting previously unselected package libgconf-2-4:armhf.
Unpacking libgconf-2-4:armhf (from .../libgconf-2-4_3.2.6-1_armhf.deb) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Unpacking libgmpxx4ldbl:armhf (from .../libgmpxx4ldbl_2%3a5.1.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package libgnome-keyring-common.
Unpacking libgnome-keyring-common (from .../libgnome-keyring-common_3.4.1-1_all.deb) ...
Selecting previously unselected package libgnome-keyring0:armhf.
Unpacking libgnome-keyring0:armhf (from .../libgnome-keyring0_3.4.1-1_armhf.deb) ...
Selecting previously unselected package gconf-service.
Unpacking gconf-service (from .../gconf-service_3.2.6-1_armhf.deb) ...
Selecting previously unselected package psmisc.
Unpacking psmisc (from .../psmisc_22.20-1_armhf.deb) ...
Selecting previously unselected package libsystemd-login0:armhf.
Unpacking libsystemd-login0:armhf (from .../libsystemd-login0_204-5_armhf.deb) ...
Selecting previously unselected package adduser.
Unpacking adduser (from .../adduser_3.113+nmu3_all.deb) ...
Selecting previously unselected package dbus.
Unpacking dbus (from .../dbus_1.6.18-1_armhf.deb) ...
Selecting previously unselected package dbus-x11.
Unpacking dbus-x11 (from .../dbus-x11_1.6.18-1_armhf.deb) ...
Selecting previously unselected package mime-support.
Unpacking mime-support (from .../mime-support_3.54_all.deb) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Unpacking libpython2.7-stdlib:armhf (from .../libpython2.7-stdlib_2.7.5-8+rvt_armhf.deb) ...
Selecting previously unselected package python2.7.
Unpacking python2.7 (from .../python2.7_2.7.5-8+rvt_armhf.deb) ...
Selecting previously unselected package python-minimal.
Unpacking python-minimal (from .../python-minimal_2.7.5-5_armhf.deb) ...
Selecting previously unselected package libpython-stdlib:armhf.
Unpacking libpython-stdlib:armhf (from .../libpython-stdlib_2.7.5-5_armhf.deb) ...
Selecting previously unselected package python.
Unpacking python (from .../python_2.7.5-5_armhf.deb) ...
Selecting previously unselected package gconf2.
Unpacking gconf2 (from .../gconf2_3.2.6-1_armhf.deb) ...
Selecting previously unselected package gnome-mime-data.
Unpacking gnome-mime-data (from .../gnome-mime-data_2.18.0-1_all.deb) ...
Selecting previously unselected package libgnomevfs2-common.
Unpacking libgnomevfs2-common (from .../libgnomevfs2-common_1%3a2.24.4-4_all.deb) ...
Selecting previously unselected package libgnomevfs2-0:armhf.
Unpacking libgnomevfs2-0:armhf (from .../libgnomevfs2-0_1%3a2.24.4-4_armhf.deb) ...
Selecting previously unselected package libgudev-1.0-0:armhf.
Unpacking libgudev-1.0-0:armhf (from .../libgudev-1.0-0_204-5_armhf.deb) ...
Selecting previously unselected package libicu48:armhf.
Unpacking libicu48:armhf (from .../libicu48_4.8.1.1-14_armhf.deb) ...
Selecting previously unselected package libharfbuzz-icu0:armhf.
Unpacking libharfbuzz-icu0:armhf (from .../libharfbuzz-icu0_0.9.19-1_armhf.deb) ...
Selecting previously unselected package x11-common.
Unpacking x11-common (from .../x11-common_1%3a7.7+4_all.deb) ...
Selecting previously unselected package libice6:armhf.
Unpacking libice6:armhf (from .../libice6_2%3a1.0.8-2_armhf.deb) ...
Selecting previously unselected package libidl0:armhf.
Unpacking libidl0:armhf (from .../libidl0_0.8.14-0.3_armhf.deb) ...
Selecting previously unselected package liborbit2:armhf.
Unpacking liborbit2:armhf (from .../liborbit2_1%3a2.14.19-0.2_armhf.deb) ...
Selecting previously unselected package libxft2:armhf.
Unpacking libxft2:armhf (from .../libxft2_2.3.1-1_armhf.deb) ...
Selecting previously unselected package libpangoxft-1.0-0:armhf.
Unpacking libpangoxft-1.0-0:armhf (from .../libpangoxft-1.0-0_1.36.0-1_armhf.deb) ...
Selecting previously unselected package libpcrecpp0:armhf.
Unpacking libpcrecpp0:armhf (from .../libpcrecpp0_1%3a8.31-2_armhf.deb) ...
Selecting previously unselected package libpolkit-gobject-1-0:armhf.
Unpacking libpolkit-gobject-1-0:armhf (from .../libpolkit-gobject-1-0_0.105-4_armhf.deb) ...
Selecting previously unselected package libpolkit-agent-1-0:armhf.
Unpacking libpolkit-agent-1-0:armhf (from .../libpolkit-agent-1-0_0.105-4_armhf.deb) ...
Selecting previously unselected package librsvg2-2:armhf.
Unpacking librsvg2-2:armhf (from .../librsvg2-2_2.40.0-1_armhf.deb) ...
Selecting previously unselected package libsecret-common.
Unpacking libsecret-common (from .../libsecret-common_0.15-2_all.deb) ...
Selecting previously unselected package libsecret-1-0:armhf.
Unpacking libsecret-1-0:armhf (from .../libsecret-1-0_0.15-2_armhf.deb) ...
Selecting previously unselected package libsm6:armhf.
Unpacking libsm6:armhf (from .../libsm6_2%3a1.2.1-2_armhf.deb) ...
Selecting previously unselected package libudisks2-0:armhf.
Unpacking libudisks2-0:armhf (from .../libudisks2-0_2.1.1-1_armhf.deb) ...
Selecting previously unselected package libunistring0:armhf.
Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ...
Selecting previously unselected package libxt6:armhf.
Unpacking libxt6:armhf (from .../libxt6_1%3a1.1.4-1_armhf.deb) ...
Selecting previously unselected package libxmu6:armhf.
Unpacking libxmu6:armhf (from .../libxmu6_2%3a1.1.1-1_armhf.deb) ...
Selecting previously unselected package libxpm4:armhf.
Unpacking libxpm4:armhf (from .../libxpm4_1%3a3.5.10-1_armhf.deb) ...
Selecting previously unselected package libxaw7:armhf.
Unpacking libxaw7:armhf (from .../libxaw7_2%3a1.0.11-1_armhf.deb) ...
Selecting previously unselected package libxmuu1:armhf.
Unpacking libxmuu1:armhf (from .../libxmuu1_2%3a1.1.1-1_armhf.deb) ...
Selecting previously unselected package libxtst6:armhf.
Unpacking libxtst6:armhf (from .../libxtst6_2%3a1.2.2-1_armhf.deb) ...
Selecting previously unselected package libxv1:armhf.
Unpacking libxv1:armhf (from .../libxv1_2%3a1.0.9-1_armhf.deb) ...
Selecting previously unselected package libxxf86dga1:armhf.
Unpacking libxxf86dga1:armhf (from .../libxxf86dga1_2%3a1.1.4-1_armhf.deb) ...
Selecting previously unselected package libgnutlsxx27:armhf.
Unpacking libgnutlsxx27:armhf (from .../libgnutlsxx27_2.12.23-8_armhf.deb) ...
Selecting previously unselected package libpangox-1.0-0:armhf.
Unpacking libpangox-1.0-0:armhf (from .../libpangox-1.0-0_0.0.2-4_armhf.deb) ...
Selecting previously unselected package file.
Unpacking file (from .../file_1%3a5.14-2_armhf.deb) ...
Selecting previously unselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.18.3.1-1_armhf.deb) ...
Selecting previously unselected package gettext.
Unpacking gettext (from .../gettext_0.18.3.1-1_armhf.deb) ...
Selecting previously unselected package intltool-debian.
Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ...
Selecting previously unselected package po-debconf.
Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ...
Selecting previously unselected package debhelper.
Unpacking debhelper (from .../debhelper_9.20131110_all.deb) ...
Selecting previously unselected package desktop-file-utils.
Unpacking desktop-file-utils (from .../desktop-file-utils_0.22-1_armhf.deb) ...
Selecting previously unselected package libgirepository-1.0-1.
Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_1.36.0-2_armhf.deb) ...
Selecting previously unselected package gir1.2-glib-2.0.
Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_1.36.0-2_armhf.deb) ...
Selecting previously unselected package gir1.2-atk-1.0.
Unpacking gir1.2-atk-1.0 (from .../gir1.2-atk-1.0_2.10.0-2_armhf.deb) ...
Selecting previously unselected package gir1.2-freedesktop.
Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_1.36.0-2_armhf.deb) ...
Selecting previously unselected package gir1.2-gconf-2.0.
Unpacking gir1.2-gconf-2.0 (from .../gir1.2-gconf-2.0_3.2.6-1_armhf.deb) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0.
Unpacking gir1.2-gdkpixbuf-2.0 (from .../gir1.2-gdkpixbuf-2.0_2.28.2-1_armhf.deb) ...
Selecting previously unselected package gir1.2-gnomekeyring-1.0.
Unpacking gir1.2-gnomekeyring-1.0 (from .../gir1.2-gnomekeyring-1.0_3.4.1-1_armhf.deb) ...
Selecting previously unselected package gir1.2-pango-1.0.
Unpacking gir1.2-pango-1.0 (from .../gir1.2-pango-1.0_1.36.0-1_armhf.deb) ...
Selecting previously unselected package gir1.2-gtk-2.0.
Unpacking gir1.2-gtk-2.0 (from .../gir1.2-gtk-2.0_2.24.22-1_armhf.deb) ...
Selecting previously unselected package gir1.2-rsvg-2.0.
Unpacking gir1.2-rsvg-2.0 (from .../gir1.2-rsvg-2.0_2.40.0-1_armhf.deb) ...
Selecting previously unselected package x11-utils.
Unpacking x11-utils (from .../x11-utils_7.7+1_armhf.deb) ...
Selecting previously unselected package udisks2.
Unpacking udisks2 (from .../udisks2_2.1.1-1_armhf.deb) ...
Selecting previously unselected package gvfs-common.
Unpacking gvfs-common (from .../gvfs-common_1.16.3-1_all.deb) ...
Selecting previously unselected package gvfs-libs:armhf.
Unpacking gvfs-libs:armhf (from .../gvfs-libs_1.16.3-1+b1_armhf.deb) ...
Selecting previously unselected package gvfs-daemons.
Unpacking gvfs-daemons (from .../gvfs-daemons_1.16.3-1+b1_armhf.deb) ...
Selecting previously unselected package gvfs:armhf.
Unpacking gvfs:armhf (from .../gvfs_1.16.3-1+b1_armhf.deb) ...
Selecting previously unselected package pkg-config.
Unpacking pkg-config (from .../pkg-config_0.26-1_armhf.deb) ...
Selecting previously unselected package libart-2.0-dev.
Unpacking libart-2.0-dev (from .../libart-2.0-dev_2.3.21-2_armhf.deb) ...
Selecting previously unselected package libelfg0.
Unpacking libelfg0 (from .../libelfg0_0.8.13-3_armhf.deb) ...
Selecting previously unselected package libglib2.0-data.
Unpacking libglib2.0-data (from .../libglib2.0-data_2.36.4-1_all.deb) ...
Selecting previously unselected package libglib2.0-bin.
Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.36.4-1_armhf.deb) ...
Selecting previously unselected package libpcre3-dev:armhf.
Unpacking libpcre3-dev:armhf (from .../libpcre3-dev_1%3a8.31-2_armhf.deb) ...
Selecting previously unselected package zlib1g-dev:armhf.
Unpacking zlib1g-dev:armhf (from .../zlib1g-dev_1%3a1.2.8.dfsg-1_armhf.deb) ...
Selecting previously unselected package libglib2.0-dev.
Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.36.4-1_armhf.deb) ...
Selecting previously unselected package libatk1.0-dev.
Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.10.0-2_armhf.deb) ...
Selecting previously unselected package libavahi-common-dev.
Unpacking libavahi-common-dev (from .../libavahi-common-dev_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libdbus-1-dev:armhf.
Unpacking libdbus-1-dev:armhf (from .../libdbus-1-dev_1.6.18-1_armhf.deb) ...
Selecting previously unselected package libavahi-client-dev.
Unpacking libavahi-client-dev (from .../libavahi-client-dev_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libavahi-glib-dev.
Unpacking libavahi-glib-dev (from .../libavahi-glib-dev_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libbonobo2-common.
Unpacking libbonobo2-common (from .../libbonobo2-common_2.32.1-2_all.deb) ...
Selecting previously unselected package libbonobo2-0.
Unpacking libbonobo2-0 (from .../libbonobo2-0_2.32.1-2_armhf.deb) ...
Selecting previously unselected package libidl-dev:armhf.
Unpacking libidl-dev:armhf (from .../libidl-dev_0.8.14-0.3_armhf.deb) ...
Selecting previously unselected package liborbit2-dev.
Unpacking liborbit2-dev (from .../liborbit2-dev_1%3a2.14.19-0.2_armhf.deb) ...
Selecting previously unselected package libpopt-dev:armhf.
Unpacking libpopt-dev:armhf (from .../libpopt-dev_1.16-8_armhf.deb) ...
Selecting previously unselected package libbonobo2-dev.
Unpacking libbonobo2-dev (from .../libbonobo2-dev_2.32.1-2_armhf.deb) ...
Selecting previously unselected package libpango1.0-0:armhf.
Unpacking libpango1.0-0:armhf (from .../libpango1.0-0_1.36.0-1_armhf.deb) ...
Selecting previously unselected package libglade2-0.
Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1_armhf.deb) ...
Selecting previously unselected package libgnome2-common.
Unpacking libgnome2-common (from .../libgnome2-common_2.32.1-4_all.deb) ...
Selecting previously unselected package libgnome2-0.
Unpacking libgnome2-0 (from .../libgnome2-0_2.32.1-4+b1_armhf.deb) ...
Selecting previously unselected package libgnomecanvas2-common.
Unpacking libgnomecanvas2-common (from .../libgnomecanvas2-common_2.30.3-1.2_all.deb) ...
Selecting previously unselected package libgnomecanvas2-0.
Unpacking libgnomecanvas2-0 (from .../libgnomecanvas2-0_2.30.3-1.2_armhf.deb) ...
Selecting previously unselected package libbonoboui2-common.
Unpacking libbonoboui2-common (from .../libbonoboui2-common_2.24.3-1_all.deb) ...
Selecting previously unselected package libbonoboui2-0.
Unpacking libbonoboui2-0 (from .../libbonoboui2-0_2.24.3-1_armhf.deb) ...
Selecting previously unselected package xorg-sgml-doctools.
Unpacking xorg-sgml-doctools (from .../xorg-sgml-doctools_1%3a1.11-1_all.deb) ...
Selecting previously unselected package x11proto-core-dev.
Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.24-1_all.deb) ...
Selecting previously unselected package libxau-dev:armhf.
Unpacking libxau-dev:armhf (from .../libxau-dev_1%3a1.0.8-1_armhf.deb) ...
Selecting previously unselected package libxdmcp-dev:armhf.
Unpacking libxdmcp-dev:armhf (from .../libxdmcp-dev_1%3a1.1.1-1_armhf.deb) ...
Selecting previously unselected package x11proto-input-dev.
Unpacking x11proto-input-dev (from .../x11proto-input-dev_2.3-1_all.deb) ...
Selecting previously unselected package x11proto-kb-dev.
Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.6-2_all.deb) ...
Selecting previously unselected package xtrans-dev.
Unpacking xtrans-dev (from .../xtrans-dev_1.2.7-1_all.deb) ...
Selecting previously unselected package libpthread-stubs0-dev:armhf.
Unpacking libpthread-stubs0-dev:armhf (from .../libpthread-stubs0-dev_0.3-4_armhf.deb) ...
Selecting previously unselected package libxcb1-dev:armhf.
Unpacking libxcb1-dev:armhf (from .../libxcb1-dev_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libx11-dev:armhf.
Unpacking libx11-dev:armhf (from .../libx11-dev_2%3a1.6.2-1_armhf.deb) ...
Selecting previously unselected package libpng12-dev.
Unpacking libpng12-dev (from .../libpng12-dev_1.2.49-5_armhf.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev.
Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.28.2-1_armhf.deb) ...
Selecting previously unselected package libfreetype6-dev.
Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.9-1.1_armhf.deb) ...
Selecting previously unselected package x11proto-render-dev.
Unpacking x11proto-render-dev (from .../x11proto-render-dev_2%3a0.11.1-2_all.deb) ...
Selecting previously unselected package libxrender-dev:armhf.
Unpacking libxrender-dev:armhf (from .../libxrender-dev_1%3a0.9.8-1_armhf.deb) ...
Selecting previously unselected package libexpat1-dev:armhf.
Unpacking libexpat1-dev:armhf (from .../libexpat1-dev_2.1.0-4_armhf.deb) ...
Selecting previously unselected package libfontconfig1-dev.
Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.11.0-1_armhf.deb) ...
Selecting previously unselected package libxft-dev.
Unpacking libxft-dev (from .../libxft-dev_2.3.1-1_armhf.deb) ...
Selecting previously unselected package libharfbuzz-dev.
Unpacking libharfbuzz-dev (from .../libharfbuzz-dev_0.9.19-1_armhf.deb) ...
Selecting previously unselected package x11proto-xext-dev.
Unpacking x11proto-xext-dev (from .../x11proto-xext-dev_7.2.1-1_all.deb) ...
Selecting previously unselected package libxext-dev:armhf.
Unpacking libxext-dev:armhf (from .../libxext-dev_2%3a1.3.2-1_armhf.deb) ...
Selecting previously unselected package libice-dev:armhf.
Unpacking libice-dev:armhf (from .../libice-dev_2%3a1.0.8-2_armhf.deb) ...
Selecting previously unselected package libsm-dev:armhf.
Unpacking libsm-dev:armhf (from .../libsm-dev_2%3a1.2.1-2_armhf.deb) ...
Selecting previously unselected package libpixman-1-dev.
Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.30.2-1_armhf.deb) ...
Selecting previously unselected package libxcb-render0-dev:armhf.
Unpacking libxcb-render0-dev:armhf (from .../libxcb-render0-dev_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libxcb-shm0-dev:armhf.
Unpacking libxcb-shm0-dev:armhf (from .../libxcb-shm0-dev_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libdrm-dev:armhf.
Unpacking libdrm-dev:armhf (from .../libdrm-dev_2.4.46-4_armhf.deb) ...
Selecting previously unselected package mesa-common-dev.
Unpacking mesa-common-dev (from .../mesa-common-dev_9.2.2-1_armhf.deb) ...
Selecting previously unselected package libx11-xcb-dev.
Unpacking libx11-xcb-dev (from .../libx11-xcb-dev_2%3a1.6.2-1_armhf.deb) ...
Selecting previously unselected package libxcb-dri2-0-dev:armhf.
Unpacking libxcb-dri2-0-dev:armhf (from .../libxcb-dri2-0-dev_1.9.1-3_armhf.deb) ...
Selecting previously unselected package libxcb-glx0-dev:armhf.
Unpacking libxcb-glx0-dev:armhf (from .../libxcb-glx0-dev_1.9.1-3_armhf.deb) ...
Selecting previously unselected package x11proto-fixes-dev.
Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a5.0-2_all.deb) ...
Selecting previously unselected package libxfixes-dev.
Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a5.0.1-1_armhf.deb) ...
Selecting previously unselected package x11proto-damage-dev.
Unpacking x11proto-damage-dev (from .../x11proto-damage-dev_1%3a1.2.1-2_all.deb) ...
Selecting previously unselected package libxdamage-dev.
Unpacking libxdamage-dev (from .../libxdamage-dev_1%3a1.1.4-1_armhf.deb) ...
Selecting previously unselected package x11proto-xf86vidmode-dev.
Unpacking x11proto-xf86vidmode-dev (from .../x11proto-xf86vidmode-dev_2.3.1-2_all.deb) ...
Selecting previously unselected package libxxf86vm-dev:armhf.
Unpacking libxxf86vm-dev:armhf (from .../libxxf86vm-dev_1%3a1.1.3-1_armhf.deb) ...
Selecting previously unselected package x11proto-dri2-dev.
Unpacking x11proto-dri2-dev (from .../x11proto-dri2-dev_2.8-2_all.deb) ...
Selecting previously unselected package x11proto-gl-dev.
Unpacking x11proto-gl-dev (from .../x11proto-gl-dev_1.4.16-2_all.deb) ...
Selecting previously unselected package libgl1-mesa-dev.
Unpacking libgl1-mesa-dev (from .../libgl1-mesa-dev_9.2.2-1_armhf.deb) ...
Selecting previously unselected package libegl1-mesa-dev.
Unpacking libegl1-mesa-dev (from .../libegl1-mesa-dev_9.2.2-1_armhf.deb) ...
Selecting previously unselected package libcairo2-dev.
Unpacking libcairo2-dev (from .../libcairo2-dev_1.12.16-2_armhf.deb) ...
Selecting previously unselected package libpango1.0-dev.
Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.36.0-1_armhf.deb) ...
Selecting previously unselected package x11proto-xinerama-dev.
Unpacking x11proto-xinerama-dev (from .../x11proto-xinerama-dev_1.2.1-2_all.deb) ...
Selecting previously unselected package libxinerama-dev:armhf.
Unpacking libxinerama-dev:armhf (from .../libxinerama-dev_2%3a1.1.3-1_armhf.deb) ...
Selecting previously unselected package libxi-dev.
Unpacking libxi-dev (from .../libxi-dev_2%3a1.7.2-1_armhf.deb) ...
Selecting previously unselected package x11proto-randr-dev.
Unpacking x11proto-randr-dev (from .../x11proto-randr-dev_1.4.0-2_all.deb) ...
Selecting previously unselected package libxrandr-dev:armhf.
Unpacking libxrandr-dev:armhf (from .../libxrandr-dev_2%3a1.4.1-1_armhf.deb) ...
Selecting previously unselected package libxcursor-dev:armhf.
Unpacking libxcursor-dev:armhf (from .../libxcursor-dev_1%3a1.1.14-1_armhf.deb) ...
Selecting previously unselected package x11proto-composite-dev.
Unpacking x11proto-composite-dev (from .../x11proto-composite-dev_1%3a0.4.2-2_all.deb) ...
Selecting previously unselected package libxcomposite-dev.
Unpacking libxcomposite-dev (from .../libxcomposite-dev_1%3a0.4.4-1_armhf.deb) ...
Selecting previously unselected package libxml2-utils.
Unpacking libxml2-utils (from .../libxml2-utils_2.9.1+dfsg1-3_armhf.deb) ...
Selecting previously unselected package libgtk2.0-dev.
Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.22-1_armhf.deb) ...
Selecting previously unselected package libgail-common:armhf.
Unpacking libgail-common:armhf (from .../libgail-common_2.24.22-1_armhf.deb) ...
Selecting previously unselected package libgail-dev.
Unpacking libgail-dev (from .../libgail-dev_2.24.22-1_armhf.deb) ...
Selecting previously unselected package libgnomecanvas2-dev.
Unpacking libgnomecanvas2-dev (from .../libgnomecanvas2-dev_2.30.3-1.2_armhf.deb) ...
Selecting previously unselected package libgconf2-dev.
Unpacking libgconf2-dev (from .../libgconf2-dev_3.2.6-1_armhf.deb) ...
Selecting previously unselected package libgpg-error-dev.
Unpacking libgpg-error-dev (from .../libgpg-error-dev_1.12-0.2_armhf.deb) ...
Selecting previously unselected package libgcrypt11-dev.
Unpacking libgcrypt11-dev (from .../libgcrypt11-dev_1.5.3-2_armhf.deb) ...
Selecting previously unselected package libtasn1-3-dev.
Unpacking libtasn1-3-dev (from .../libtasn1-3-dev_2.14-3_armhf.deb) ...
Selecting previously unselected package libp11-kit-dev.
Unpacking libp11-kit-dev (from .../libp11-kit-dev_0.20.1-3_armhf.deb) ...
Selecting previously unselected package libgnutls-dev.
Unpacking libgnutls-dev (from .../libgnutls-dev_2.12.23-8_armhf.deb) ...
Selecting previously unselected package libxml2-dev:armhf.
Unpacking libxml2-dev:armhf (from .../libxml2-dev_2.9.1+dfsg1-3_armhf.deb) ...
Selecting previously unselected package libsepol1-dev.
Unpacking libsepol1-dev (from .../libsepol1-dev_2.2-1_armhf.deb) ...
Selecting previously unselected package libselinux1-dev.
Unpacking libselinux1-dev (from .../libselinux1-dev_2.1.13-3+rpi1_armhf.deb) ...
Selecting previously unselected package libgnomevfs2-dev:armhf.
Unpacking libgnomevfs2-dev:armhf (from .../libgnomevfs2-dev_1%3a2.24.4-4_armhf.deb) ...
Selecting previously unselected package libcanberra-dev:armhf.
Unpacking libcanberra-dev:armhf (from .../libcanberra-dev_0.30-2+b2_armhf.deb) ...
Selecting previously unselected package libgnome2-dev.
Unpacking libgnome2-dev (from .../libgnome2-dev_2.32.1-4+b1_armhf.deb) ...
Selecting previously unselected package libbonoboui2-dev.
Unpacking libbonoboui2-dev (from .../libbonoboui2-dev_2.24.3-1_armhf.deb) ...
Selecting previously unselected package libenchant-dev.
Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-10+b2_armhf.deb) ...
Selecting previously unselected package libglade2-dev.
Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1_armhf.deb) ...
Selecting previously unselected package libgmp-dev:armhf.
Unpacking libgmp-dev:armhf (from .../libgmp-dev_2%3a5.1.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package libgmp3-dev.
Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a5.1.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package libgnome-keyring-dev.
Unpacking libgnome-keyring-dev (from .../libgnome-keyring-dev_3.4.1-1_armhf.deb) ...
Selecting previously unselected package libgnomeui-common.
Unpacking libgnomeui-common (from .../libgnomeui-common_2.24.5-2_all.deb) ...
Selecting previously unselected package libgnomeui-0.
Unpacking libgnomeui-0 (from .../libgnomeui-0_2.24.5-2_armhf.deb) ...
Selecting previously unselected package libgnomeui-dev.
Unpacking libgnomeui-dev (from .../libgnomeui-dev_2.24.5-2_armhf.deb) ...
Selecting previously unselected package libgtksourceview2.0-common.
Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.5-1_all.deb) ...
Selecting previously unselected package libgtksourceview2.0-0.
Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.5-1_armhf.deb) ...
Selecting previously unselected package libgtksourceview2.0-dev.
Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.5-1_armhf.deb) ...
Selecting previously unselected package libgtkspell0.
Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_armhf.deb) ...
Selecting previously unselected package libgtkspell-dev.
Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1_armhf.deb) ...
Selecting previously unselected package ocaml-base-nox.
Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-4_armhf.deb) ...
Selecting previously unselected package liblablgtk2-ocaml.
Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml.
Unpacking liblablgtk2-gnome-ocaml (from .../liblablgtk2-gnome-ocaml_2.14.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package librsvg2-common:armhf.
Unpacking librsvg2-common:armhf (from .../librsvg2-common_2.40.0-1_armhf.deb) ...
Selecting previously unselected package librsvg2-dev.
Unpacking librsvg2-dev (from .../librsvg2-dev_2.40.0-1_armhf.deb) ...
Selecting previously unselected package libtinfo-dev:armhf.
Unpacking libtinfo-dev:armhf (from .../libtinfo-dev_5.9+20130608-1_armhf.deb) ...
Selecting previously unselected package libncurses5-dev:armhf.
Unpacking libncurses5-dev:armhf (from .../libncurses5-dev_5.9+20130608-1_armhf.deb) ...
Selecting previously unselected package ocaml-interp.
Unpacking ocaml-interp (from .../ocaml-interp_3.12.1-4_armhf.deb) ...
Selecting previously unselected package ocaml-nox.
Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-4_armhf.deb) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml-dev.
Unpacking liblablgtk2-gnome-ocaml-dev (from .../liblablgtk2-gnome-ocaml-dev_2.14.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.14.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package liblablgtksourceview2-ocaml-dev.
Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Unpacking libocamlgraph-ocaml-dev (from .../libocamlgraph-ocaml-dev_1.8.2-2_armhf.deb) ...
Selecting previously unselected package libzarith-ocaml.
Unpacking libzarith-ocaml (from .../libzarith-ocaml_1.2.1-2_armhf.deb) ...
Selecting previously unselected package libzarith-ocaml-dev.
Unpacking libzarith-ocaml-dev (from .../libzarith-ocaml-dev_1.2.1-2_armhf.deb) ...
Selecting previously unselected package dh-ocaml.
Unpacking dh-ocaml (from .../dh-ocaml_1.0.7_all.deb) ...
Selecting previously unselected package sbuild-build-depends-alt-ergo-dummy.
Unpacking sbuild-build-depends-alt-ergo-dummy (from .../sbuild-build-depends-alt-ergo-dummy.deb) ...
Setting up libpipeline1:armhf (1.2.4-1) ...
Setting up libpopt0:armhf (1.16-8) ...
Setting up libssl1.0.0:armhf (1.0.1e-4) ...
Setting up groff-base (1.22.2-3) ...
Setting up bsdmainutils (9.0.5) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up man-db (2.6.5-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libasprintf0c2:armhf (0.18.3.1-1) ...
Setting up libgpg-error0:armhf (1.12-0.2) ...
Setting up libgcrypt11:armhf (1.5.3-2) ...
Setting up libffi6:armhf (3.0.13-4) ...
Setting up libp11-kit0:armhf (0.20.1-3) ...
Setting up libtasn1-3:armhf (2.14-3) ...
Setting up libgnutls26:armhf (2.12.23-8) ...
Setting up libgnutls-openssl27:armhf (2.12.23-8) ...
Setting up libkeyutils1:armhf (1.5.6-1) ...
Setting up libkrb5support0:armhf (1.11.3+dfsg-3) ...
Setting up libk5crypto3:armhf (1.11.3+dfsg-3) ...
Setting up libkrb5-3:armhf (1.11.3+dfsg-3) ...
Setting up libgssapi-krb5-2:armhf (1.11.3+dfsg-3) ...
Setting up libsasl2-modules-db:armhf (2.1.25.dfsg1-17) ...
Setting up libsasl2-2:armhf (2.1.25.dfsg1-17) ...
Setting up libldap-2.4-2:armhf (2.4.31-1+nmu2+b1) ...
Setting up libmagic1:armhf (1:5.14-2) ...
Setting up libsqlite3-0:armhf (3.8.1-1) ...
Setting up libxml2:armhf (2.9.1+dfsg1-3) ...
Setting up libpython2.7-minimal:armhf (2.7.5-8+rvt) ...
Setting up python2.7-minimal (2.7.5-8+rvt) ...
Setting up libart-2.0-2:armhf (2.3.21-2) ...
Setting up libasound2-data (1.0.27.2-3) ...
Setting up libasound2:armhf (1.0.27.2-3) ...
Setting up libatasmart4:armhf (0.19-3) ...
Setting up libglib2.0-0:armhf (2.36.4-1) ...
No schema files found: doing nothing.
Setting up libatk1.0-data (2.10.0-2) ...
Setting up libatk1.0-0:armhf (2.10.0-2) ...
Setting up libavahi-common-data:armhf (0.6.31-2) ...
Setting up libavahi-common3:armhf (0.6.31-2) ...
Setting up libavahi-client3:armhf (0.6.31-2) ...
Setting up libavahi-glib1:armhf (0.6.31-2) ...
Setting up libfreetype6:armhf (2.4.9-1.1) ...
Setting up libbluray1:armhf (1:0.4.0-1) ...
Setting up libdrm2:armhf (2.4.46-4) ...
Setting up libglapi-mesa:armhf (9.2.2-1) ...
Setting up libllvm3.3:armhf (1:3.3-12) ...
Setting up libwayland-client0:armhf (1.3.0-1) ...
Setting up libwayland-server0:armhf (1.3.0-1) ...
Setting up libxau6:armhf (1:1.0.8-1) ...
Setting up libxdmcp6:armhf (1:1.1.1-1) ...
Setting up libxcb1:armhf (1.9.1-3) ...
Setting up libxcb-dri2-0:armhf (1.9.1-3) ...
Setting up libgbm1:armhf (9.2.2-1) ...
Setting up libx11-data (2:1.6.2-1) ...
Setting up libx11-6:armhf (2:1.6.2-1) ...
Setting up libx11-xcb1:armhf (2:1.6.2-1) ...
Setting up libxcb-render0:armhf (1.9.1-3) ...
Setting up libxcb-shape0:armhf (1.9.1-3) ...
Setting up libxcb-xfixes0:armhf (1.9.1-3) ...
Setting up libegl1-mesa:armhf (9.2.2-1) ...
Setting up libexpat1:armhf (2.1.0-4) ...
Setting up ucf (3.0027+nmu1) ...
Setting up fonts-dejavu-core (2.33+svn2514-3) ...
Setting up ttf-dejavu-core (2.33+svn2514-3) ...
Setting up fontconfig-config (2.11.0-1) ...
Setting up libfontconfig1:armhf (2.11.0-1) ...
Setting up libxcb-glx0:armhf (1.9.1-3) ...
Setting up libxfixes3:armhf (1:5.0.1-1) ...
Setting up libxdamage1:armhf (1:1.1.4-1) ...
Setting up libxext6:armhf (2:1.3.2-1) ...
Setting up libxxf86vm1:armhf (1:1.1.3-1) ...
Setting up libgl1-mesa-glx:armhf (9.2.2-1) ...
Setting up libpixman-1-0:armhf (0.30.2-1) ...
Setting up libpng12-0:armhf (1.2.49-5) ...
Setting up libxcb-shm0:armhf (1.9.1-3) ...
Setting up libxrender1:armhf (1:0.9.8-1) ...
Setting up libcairo2:armhf (1.12.16-2) ...
Setting up libcairo-gobject2:armhf (1.12.16-2) ...
Setting up liblzo2-2:armhf (2.06-1.2) ...
Setting up libcairo-script-interpreter2:armhf (1.12.16-2) ...
Setting up libltdl7:armhf (2.4.2-1.3) ...
Setting up libogg0:armhf (1.3.1-1) ...
Setting up libtdb1:armhf (1.2.12-1) ...
Setting up libvorbis0a:armhf (1.3.2-1.3) ...
Setting up libvorbisfile3:armhf (1.3.2-1.3) ...
Setting up libcanberra0:armhf (0.30-2+b2) ...
Setting up libcroco3:armhf (0.6.8-2) ...
Setting up libcups2:armhf (1.6.3-1+rpi1) ...
Setting up libdatrie1:armhf (0.2.7.1-1) ...
Setting up libdbus-glib-1-2:armhf (0.100.2-1) ...
Setting up libdrm-nouveau2:armhf (2.4.46-4) ...
Setting up libdrm-omap1:armhf (2.4.46-4) ...
Setting up libdrm-radeon1:armhf (2.4.46-4) ...
Setting up libopenvg1-mesa:armhf (9.2.2-1) ...
Setting up libegl1-mesa-drivers:armhf (9.2.2-1) ...
Setting up libaspell15 (0.60.7~20110707-1) ...
Setting up dictionaries-common (1.20.3) ...
Setting up libhunspell-1.3-0:armhf (1.3.2-6) ...
Setting up libfontenc1:armhf (1:1.1.2-1) ...
Setting up libjpeg8:armhf (8d-1) ...
Setting up libjasper1:armhf (1.900.1-14) ...
Setting up libjbig0:armhf (2.0-2) ...
Setting up libtiff4:armhf (3.9.7-2) ...
Setting up libgdk-pixbuf2.0-common (2.28.2-1) ...
Setting up libgdk-pixbuf2.0-0:armhf (2.28.2-1) ...
Setting up libthai-data (0.1.20-1) ...
Setting up libthai0:armhf (0.1.20-1) ...
Setting up fontconfig (2.11.0-1) ...
Regenerating fonts cache... done.
Setting up libpango-1.0-0:armhf (1.36.0-1) ...
Setting up libgraphite2-3:armhf (1.2.3-1) ...
Setting up libharfbuzz0a:armhf (0.9.19-1) ...
Setting up libpangoft2-1.0-0:armhf (1.36.0-1) ...
Setting up libpangocairo-1.0-0:armhf (1.36.0-1) ...
Setting up libxcomposite1:armhf (1:0.4.4-1) ...
Setting up libgtk2.0-common (2.24.22-1) ...
Setting up libxcursor1:armhf (1:1.1.14-1) ...
Setting up libxi6:armhf (2:1.7.2-1) ...
Setting up libxinerama1:armhf (2:1.1.3-1) ...
Setting up libxrandr2:armhf (2:1.4.1-1) ...
Setting up shared-mime-info (1.0-1) ...
Setting up libgtk2.0-0:armhf (2.24.22-1) ...
Setting up libgail18:armhf (2.24.22-1) ...
Setting up gconf2-common (3.2.6-1) ...

Creating config file /etc/gconf/2/path with new version
Setting up libgconf-2-4:armhf (3.2.6-1) ...
Setting up libgmpxx4ldbl:armhf (2:5.1.2+dfsg-3) ...
Setting up libgnome-keyring-common (3.4.1-1) ...
Setting up libgnome-keyring0:armhf (3.4.1-1) ...
Setting up gconf-service (3.2.6-1) ...
Setting up psmisc (22.20-1) ...
Setting up libsystemd-login0:armhf (204-5) ...
Setting up adduser (3.113+nmu3) ...
Setting up dbus (1.6.18-1) ...
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up dbus-x11 (1.6.18-1) ...
Setting up mime-support (3.54) ...
update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode
Setting up libpython2.7-stdlib:armhf (2.7.5-8+rvt) ...
Setting up python2.7 (2.7.5-8+rvt) ...
Setting up python-minimal (2.7.5-5) ...
Setting up libpython-stdlib:armhf (2.7.5-5) ...
Setting up python (2.7.5-5) ...
Setting up gconf2 (3.2.6-1) ...
update-alternatives: using /usr/bin/gconftool-2 to provide /usr/bin/gconftool (gconftool) in auto mode

(gconftool-2:16258): GConf-WARNING **: Client failed to connect to the D-BUS daemon:
Unable to autolaunch a dbus-daemon without a $DISPLAY for X11
Setting up gnome-mime-data (2.18.0-1) ...
Setting up libgnomevfs2-common (1:2.24.4-4) ...
Setting up libgnomevfs2-0:armhf (1:2.24.4-4) ...
Setting up libgudev-1.0-0:armhf (204-5) ...
Setting up libicu48:armhf (4.8.1.1-14) ...
Setting up libharfbuzz-icu0:armhf (0.9.19-1) ...
Setting up x11-common (1:7.7+4) ...
update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libice6:armhf (2:1.0.8-2) ...
Setting up libidl0:armhf (0.8.14-0.3) ...
Setting up liborbit2:armhf (1:2.14.19-0.2) ...
Setting up libxft2:armhf (2.3.1-1) ...
Setting up libpangoxft-1.0-0:armhf (1.36.0-1) ...
Setting up libpcrecpp0:armhf (1:8.31-2) ...
Setting up libpolkit-gobject-1-0:armhf (0.105-4) ...
Setting up libpolkit-agent-1-0:armhf (0.105-4) ...
Setting up librsvg2-2:armhf (2.40.0-1) ...
Setting up libsecret-common (0.15-2) ...
Setting up libsecret-1-0:armhf (0.15-2) ...
Setting up libsm6:armhf (2:1.2.1-2) ...
Setting up libudisks2-0:armhf (2.1.1-1) ...
Setting up libunistring0:armhf (0.9.3-5) ...
Setting up libxt6:armhf (1:1.1.4-1) ...
Setting up libxmu6:armhf (2:1.1.1-1) ...
Setting up libxpm4:armhf (1:3.5.10-1) ...
Setting up libxaw7:armhf (2:1.0.11-1) ...
Setting up libxmuu1:armhf (2:1.1.1-1) ...
Setting up libxtst6:armhf (2:1.2.2-1) ...
Setting up libxv1:armhf (2:1.0.9-1) ...
Setting up libxxf86dga1:armhf (2:1.1.4-1) ...
Setting up libgnutlsxx27:armhf (2.12.23-8) ...
Setting up libpangox-1.0-0:armhf (0.0.2-4) ...
Setting up file (1:5.14-2) ...
Setting up gettext-base (0.18.3.1-1) ...
Setting up gettext (0.18.3.1-1) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu2) ...
Setting up debhelper (9.20131110) ...
Setting up desktop-file-utils (0.22-1) ...
Setting up libgirepository-1.0-1 (1.36.0-2) ...
Setting up gir1.2-glib-2.0 (1.36.0-2) ...
Setting up gir1.2-atk-1.0 (2.10.0-2) ...
Setting up gir1.2-freedesktop (1.36.0-2) ...
Setting up gir1.2-gconf-2.0 (3.2.6-1) ...
Setting up gir1.2-gdkpixbuf-2.0 (2.28.2-1) ...
Setting up gir1.2-gnomekeyring-1.0 (3.4.1-1) ...
Setting up gir1.2-pango-1.0 (1.36.0-1) ...
Setting up gir1.2-gtk-2.0 (2.24.22-1) ...
Setting up gir1.2-rsvg-2.0 (2.40.0-1) ...
Setting up x11-utils (7.7+1) ...
Setting up udisks2 (2.1.1-1) ...
Setting up gvfs-common (1.16.3-1) ...
Setting up gvfs-libs:armhf (1.16.3-1+b1) ...
Setting up gvfs-daemons (1.16.3-1+b1) ...
Setting up gvfs:armhf (1.16.3-1+b1) ...
Setting up pkg-config (0.26-1) ...
Setting up libart-2.0-dev (2.3.21-2) ...
Setting up libelfg0 (0.8.13-3) ...
Setting up libglib2.0-data (2.36.4-1) ...
Setting up libglib2.0-bin (2.36.4-1) ...
Setting up libpcre3-dev:armhf (1:8.31-2) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-1) ...
Setting up libglib2.0-dev (2.36.4-1) ...
Setting up libatk1.0-dev (2.10.0-2) ...
Setting up libavahi-common-dev (0.6.31-2) ...
Setting up libdbus-1-dev:armhf (1.6.18-1) ...
Setting up libavahi-client-dev (0.6.31-2) ...
Setting up libavahi-glib-dev (0.6.31-2) ...
Setting up libbonobo2-common (2.32.1-2) ...
Setting up libbonobo2-0 (2.32.1-2) ...
Setting up libidl-dev:armhf (0.8.14-0.3) ...
Setting up liborbit2-dev (1:2.14.19-0.2) ...
Setting up libpopt-dev:armhf (1.16-8) ...
Setting up libbonobo2-dev (2.32.1-2) ...
Setting up libpango1.0-0:armhf (1.36.0-1) ...
Setting up libglade2-0 (1:2.6.4-1) ...
Setting up libgnome2-common (2.32.1-4) ...
Setting up libgnome2-0 (2.32.1-4+b1) ...
Setting up libgnomecanvas2-common (2.30.3-1.2) ...
Setting up libgnomecanvas2-0 (2.30.3-1.2) ...
Setting up libbonoboui2-common (2.24.3-1) ...
Setting up libbonoboui2-0 (2.24.3-1) ...
Setting up xorg-sgml-doctools (1:1.11-1) ...
Setting up x11proto-core-dev (7.0.24-1) ...
Setting up libxau-dev:armhf (1:1.0.8-1) ...
Setting up libxdmcp-dev:armhf (1:1.1.1-1) ...
Setting up x11proto-input-dev (2.3-1) ...
Setting up x11proto-kb-dev (1.0.6-2) ...
Setting up xtrans-dev (1.2.7-1) ...
Setting up libpthread-stubs0-dev:armhf (0.3-4) ...
Setting up libxcb1-dev:armhf (1.9.1-3) ...
Setting up libx11-dev:armhf (2:1.6.2-1) ...
Setting up libpng12-dev (1.2.49-5) ...
Setting up libgdk-pixbuf2.0-dev (2.28.2-1) ...
Setting up libfreetype6-dev (2.4.9-1.1) ...
Setting up x11proto-render-dev (2:0.11.1-2) ...
Setting up libxrender-dev:armhf (1:0.9.8-1) ...
Setting up libexpat1-dev:armhf (2.1.0-4) ...
Setting up libfontconfig1-dev (2.11.0-1) ...
Setting up libxft-dev (2.3.1-1) ...
Setting up libharfbuzz-dev (0.9.19-1) ...
Setting up x11proto-xext-dev (7.2.1-1) ...
Setting up libxext-dev:armhf (2:1.3.2-1) ...
Setting up libice-dev:armhf (2:1.0.8-2) ...
Setting up libsm-dev:armhf (2:1.2.1-2) ...
Setting up libpixman-1-dev (0.30.2-1) ...
Setting up libxcb-render0-dev:armhf (1.9.1-3) ...
Setting up libxcb-shm0-dev:armhf (1.9.1-3) ...
Setting up libdrm-dev:armhf (2.4.46-4) ...
Setting up mesa-common-dev (9.2.2-1) ...
Setting up libx11-xcb-dev (2:1.6.2-1) ...
Setting up libxcb-dri2-0-dev:armhf (1.9.1-3) ...
Setting up libxcb-glx0-dev:armhf (1.9.1-3) ...
Setting up x11proto-fixes-dev (1:5.0-2) ...
Setting up libxfixes-dev (1:5.0.1-1) ...
Setting up x11proto-damage-dev (1:1.2.1-2) ...
Setting up libxdamage-dev (1:1.1.4-1) ...
Setting up x11proto-xf86vidmode-dev (2.3.1-2) ...
Setting up libxxf86vm-dev:armhf (1:1.1.3-1) ...
Setting up x11proto-dri2-dev (2.8-2) ...
Setting up x11proto-gl-dev (1.4.16-2) ...
Setting up libgl1-mesa-dev (9.2.2-1) ...
Setting up libegl1-mesa-dev (9.2.2-1) ...
Setting up libcairo2-dev (1.12.16-2) ...
Setting up libpango1.0-dev (1.36.0-1) ...
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up libxinerama-dev:armhf (2:1.1.3-1) ...
Setting up libxi-dev (2:1.7.2-1) ...
Setting up x11proto-randr-dev (1.4.0-2) ...
Setting up libxrandr-dev:armhf (2:1.4.1-1) ...
Setting up libxcursor-dev:armhf (1:1.1.14-1) ...
Setting up x11proto-composite-dev (1:0.4.2-2) ...
Setting up libxcomposite-dev (1:0.4.4-1) ...
Setting up libxml2-utils (2.9.1+dfsg1-3) ...
Setting up libgtk2.0-dev (2.24.22-1) ...
Setting up libgail-common:armhf (2.24.22-1) ...
Setting up libgail-dev (2.24.22-1) ...
Setting up libgnomecanvas2-dev (2.30.3-1.2) ...
Setting up libgconf2-dev (3.2.6-1) ...
Setting up libgpg-error-dev (1.12-0.2) ...
Setting up libgcrypt11-dev (1.5.3-2) ...
Setting up libtasn1-3-dev (2.14-3) ...
Setting up libp11-kit-dev (0.20.1-3) ...
Setting up libgnutls-dev (2.12.23-8) ...
Setting up libxml2-dev:armhf (2.9.1+dfsg1-3) ...
Setting up libsepol1-dev (2.2-1) ...
Setting up libselinux1-dev (2.1.13-3+rpi1) ...
Setting up libgnomevfs2-dev:armhf (1:2.24.4-4) ...
Setting up libcanberra-dev:armhf (0.30-2+b2) ...
Setting up libgnome2-dev (2.32.1-4+b1) ...
Setting up libbonoboui2-dev (2.24.3-1) ...
Setting up libglade2-dev (1:2.6.4-1) ...
Setting up libgmp-dev:armhf (2:5.1.2+dfsg-3) ...
Setting up libgmp3-dev (2:5.1.2+dfsg-3) ...
Setting up libgnome-keyring-dev (3.4.1-1) ...
Setting up libgnomeui-common (2.24.5-2) ...
Setting up libgnomeui-0 (2.24.5-2) ...
Setting up libgnomeui-dev (2.24.5-2) ...
Setting up libgtksourceview2.0-common (2.10.5-1) ...
Setting up libgtksourceview2.0-0 (2.10.5-1) ...
Setting up libgtksourceview2.0-dev (2.10.5-1) ...
Setting up ocaml-base-nox (3.12.1-4) ...
Setting up librsvg2-common:armhf (2.40.0-1) ...
Setting up librsvg2-dev (2.40.0-1) ...
Setting up libtinfo-dev:armhf (5.9+20130608-1) ...
Setting up libncurses5-dev:armhf (5.9+20130608-1) ...
Setting up ocaml-interp (3.12.1-4) ...
Setting up ocaml-nox (3.12.1-4) ...
Setting up libocamlgraph-ocaml-dev (1.8.2-2) ...
Setting up libzarith-ocaml (1.2.1-2) ...
Setting up libzarith-ocaml-dev (1.2.1-2) ...
Setting up dh-ocaml (1.0.7) ...
Processing triggers for dictionaries-common ...
aspell-autobuildhash: processing: en [en-common]
aspell-autobuildhash: processing: en [en-variant_0]
aspell-autobuildhash: processing: en [en-variant_1]
aspell-autobuildhash: processing: en [en-variant_2]
aspell-autobuildhash: processing: en [en-w_accents-only]
aspell-autobuildhash: processing: en [en-wo_accents-only]
aspell-autobuildhash: processing: en [en_CA-variant_0]
aspell-autobuildhash: processing: en [en_CA-variant_1]
aspell-autobuildhash: processing: en [en_CA-w_accents-only]
aspell-autobuildhash: processing: en [en_CA-wo_accents-only]
aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]
aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]
aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]
aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]
aspell-autobuildhash: processing: en [en_GB-variant_0]
aspell-autobuildhash: processing: en [en_GB-variant_1]
aspell-autobuildhash: processing: en [en_US-w_accents-only]
aspell-autobuildhash: processing: en [en_US-wo_accents-only]
Setting up aspell (0.60.7~20110707-1) ...
Processing triggers for dictionaries-common ...
Setting up aspell-en (7.1-0-1) ...
Processing triggers for dictionaries-common ...
Setting up libenchant1c2a:armhf (1.6.0-10+b2) ...
Setting up libenchant-dev (1.6.0-10+b2) ...
Setting up libgtkspell0 (2.0.16-1) ...
Setting up libgtkspell-dev (2.0.16-1) ...
Setting up liblablgtk2-ocaml (2.14.2+dfsg-3) ...
Setting up liblablgtk2-gnome-ocaml (2.14.2+dfsg-3) ...
Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-3) ...
Setting up liblablgtk2-gnome-ocaml-dev (2.14.2+dfsg-3) ...
Setting up liblablgtksourceview2-ocaml (2.14.2+dfsg-3) ...
Setting up liblablgtksourceview2-ocaml-dev (2.14.2+dfsg-3) ...
Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Processing triggers for libc-bin ...
Processing triggers for libgdk-pixbuf2.0-0:armhf ...

┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment                                                            │
└──────────────────────────────────────────────────────────────────────────────┘

Kernel: Linux 3.11.0-armv7-x13 armhf (armv7l)
Toolchain package versions: binutils_2.23.90.20131017-1 dpkg-dev_1.16.12 g++-4.8_4.8.2-1+rpi1 gcc-4.8_4.8.2-1+rpi1 libc6-dev_2.17-93 libstdc++-4.8-dev_4.8.2-1+rpi1 libstdc++6_4.8.2-1+rpi1 linux-libc-dev_3.10.1-1+rpi1+b2
Package versions: adduser_3.113+nmu3 apt_0.9.12.1+rpi1 aspell_0.60.7~20110707-1 aspell-en_7.1-0-1 base-files_7.2+rpi1 base-passwd_3.5.28 bash_4.2+dfsg-1 binutils_2.23.90.20131017-1 bsdmainutils_9.0.5 bsdutils_1:2.20.1-5.5 build-essential_11.6 bzip2_1.0.6-5 coreutils_8.21-1 cpio_2.11+dfsg-1 cpp_4:4.8.1-3 cpp-4.8_4.8.2-1+rpi1 dash_0.5.7-3 dbus_1.6.18-1 dbus-x11_1.6.18-1 debconf_1.5.51 debconf-i18n_1.5.51 debfoster_2.7-1.2 debhelper_9.20131110 debianutils_4.4 desktop-file-utils_0.22-1 dh-ocaml_1.0.7 dictionaries-common_1.20.3 diffutils_1:3.3-1 dpkg_1.16.12 dpkg-dev_1.16.12 e2fslibs_1.42.8-1 e2fsprogs_1.42.8-1 fakeroot_1.18.4-2 file_1:5.14-2 findutils_4.4.2-6 fontconfig_2.11.0-1 fontconfig-config_2.11.0-1 fonts-dejavu-core_2.33+svn2514-3 g++_4:4.8.1-3 g++-4.8_4.8.2-1+rpi1 gcc_4:4.8.1-3 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6-base_4.6.4-4+rpi1 gcc-4.7-base_4.7.3-4+rpi1 gcc-4.8_4.8.2-1+rpi1 gcc-4.8-base_4.8.2-1+rpi1 gconf-service_3.2.6-1 gconf2_3.2.6-1 gconf2-common_3.2.6-1 gettext_0.18.3.1-1 gettext-base_0.18.3.1-1 gir1.2-atk-1.0_2.10.0-2 gir1.2-freedesktop_1.36.0-2 gir1.2-gconf-2.0_3.2.6-1 gir1.2-gdkpixbuf-2.0_2.28.2-1 gir1.2-glib-2.0_1.36.0-2 gir1.2-gnomekeyring-1.0_3.4.1-1 gir1.2-gtk-2.0_2.24.22-1 gir1.2-pango-1.0_1.36.0-1 gir1.2-rsvg-2.0_2.40.0-1 gnome-mime-data_2.18.0-1 gnupg_1.4.15-1.1 gpgv_1.4.15-1.1 grep_2.14-4 groff-base_1.22.2-3 gvfs_1.16.3-1+b1 gvfs-common_1.16.3-1 gvfs-daemons_1.16.3-1+b1 gvfs-libs_1.16.3-1+b1 gzip_1.6-2 hostname_3.14 initramfs-tools_0.114 initscripts_2.88dsf-43 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 klibc-utils_2.0.1-3.1+rpi1 kmod_9-3 libacl1_2.2.52-1 libapt-pkg4.12_0.9.12.1+rpi1 libart-2.0-2_2.3.21-2 libart-2.0-dev_2.3.21-2 libasan0_4.8.2-1+rpi1 libasound2_1.0.27.2-3 libasound2-data_1.0.27.2-3 libaspell15_0.60.7~20110707-1 libasprintf0c2_0.18.3.1-1 libatasmart4_0.19-3 libatk1.0-0_2.10.0-2 libatk1.0-data_2.10.0-2 libatk1.0-dev_2.10.0-2 libatomic1_4.8.2-1+rpi1 libattr1_1:2.4.47-1 libavahi-client-dev_0.6.31-2 libavahi-client3_0.6.31-2 libavahi-common-data_0.6.31-2 libavahi-common-dev_0.6.31-2 libavahi-common3_0.6.31-2 libavahi-glib-dev_0.6.31-2 libavahi-glib1_0.6.31-2 libblkid1_2.20.1-5.5 libbluray1_1:0.4.0-1 libbonobo2-0_2.32.1-2 libbonobo2-common_2.32.1-2 libbonobo2-dev_2.32.1-2 libbonoboui2-0_2.24.3-1 libbonoboui2-common_2.24.3-1 libbonoboui2-dev_2.24.3-1 libbz2-1.0_1.0.6-5 libc-bin_2.17-93 libc-dev-bin_2.17-93 libc6_2.17-93 libc6-dev_2.17-93 libcairo-gobject2_1.12.16-2 libcairo-script-interpreter2_1.12.16-2 libcairo2_1.12.16-2 libcairo2-dev_1.12.16-2 libcanberra-dev_0.30-2+b2 libcanberra0_0.30-2+b2 libcap2_1:2.22-1.2 libcloog-isl4_0.18.1-1 libcomerr2_1.42.8-1 libcroco3_0.6.8-2 libcups2_1.6.3-1+rpi1 libdatrie1_0.2.7.1-1 libdb5.1_5.1.29-6 libdbus-1-3_1.6.18-1 libdbus-1-dev_1.6.18-1 libdbus-glib-1-2_0.100.2-1 libdpkg-perl_1.16.12 libdrm-dev_2.4.46-4 libdrm-nouveau2_2.4.46-4 libdrm-omap1_2.4.46-4 libdrm-radeon1_2.4.46-4 libdrm2_2.4.46-4 libegl1-mesa_9.2.2-1 libegl1-mesa-dev_9.2.2-1 libegl1-mesa-drivers_9.2.2-1 libelfg0_0.8.13-3 libenchant-dev_1.6.0-10+b2 libenchant1c2a_1.6.0-10+b2 libexpat1_2.1.0-4 libexpat1-dev_2.1.0-4 libffi6_3.0.13-4 libfontconfig1_2.11.0-1 libfontconfig1-dev_2.11.0-1 libfontenc1_1:1.1.2-1 libfreetype6_2.4.9-1.1 libfreetype6-dev_2.4.9-1.1 libgail-common_2.24.22-1 libgail-dev_2.24.22-1 libgail18_2.24.22-1 libgbm1_9.2.2-1 libgc1c2_1:7.2d-5 libgcc-4.8-dev_4.8.2-1+rpi1 libgcc1_1:4.8.2-1+rpi1 libgconf-2-4_3.2.6-1 libgconf2-dev_3.2.6-1 libgcrypt11_1.5.3-2 libgcrypt11-dev_1.5.3-2 libgdbm3_1.8.3-12 libgdk-pixbuf2.0-0_2.28.2-1 libgdk-pixbuf2.0-common_2.28.2-1 libgdk-pixbuf2.0-dev_2.28.2-1 libgirepository-1.0-1_1.36.0-2 libgl1-mesa-dev_9.2.2-1 libgl1-mesa-glx_9.2.2-1 libglade2-0_1:2.6.4-1 libglade2-dev_1:2.6.4-1 libglapi-mesa_9.2.2-1 libglib2.0-0_2.36.4-1 libglib2.0-bin_2.36.4-1 libglib2.0-data_2.36.4-1 libglib2.0-dev_2.36.4-1 libgmp-dev_2:5.1.2+dfsg-3 libgmp10_2:5.1.2+dfsg-3 libgmp3-dev_2:5.1.2+dfsg-3 libgmpxx4ldbl_2:5.1.2+dfsg-3 libgnome-keyring-common_3.4.1-1 libgnome-keyring-dev_3.4.1-1 libgnome-keyring0_3.4.1-1 libgnome2-0_2.32.1-4+b1 libgnome2-common_2.32.1-4 libgnome2-dev_2.32.1-4+b1 libgnomecanvas2-0_2.30.3-1.2 libgnomecanvas2-common_2.30.3-1.2 libgnomecanvas2-dev_2.30.3-1.2 libgnomeui-0_2.24.5-2 libgnomeui-common_2.24.5-2 libgnomeui-dev_2.24.5-2 libgnomevfs2-0_1:2.24.4-4 libgnomevfs2-common_1:2.24.4-4 libgnomevfs2-dev_1:2.24.4-4 libgnutls-dev_2.12.23-8 libgnutls-openssl27_2.12.23-8 libgnutls26_2.12.23-8 libgnutlsxx27_2.12.23-8 libgomp1_4.8.2-1+rpi1 libgpg-error-dev_1.12-0.2 libgpg-error0_1.12-0.2 libgraphite2-3_1.2.3-1 libgssapi-krb5-2_1.11.3+dfsg-3 libgtk2.0-0_2.24.22-1 libgtk2.0-common_2.24.22-1 libgtk2.0-dev_2.24.22-1 libgtksourceview2.0-0_2.10.5-1 libgtksourceview2.0-common_2.10.5-1 libgtksourceview2.0-dev_2.10.5-1 libgtkspell-dev_2.0.16-1 libgtkspell0_2.0.16-1 libgudev-1.0-0_204-5 libharfbuzz-dev_0.9.19-1 libharfbuzz-icu0_0.9.19-1 libharfbuzz0a_0.9.19-1 libhunspell-1.3-0_1.3.2-6 libice-dev_2:1.0.8-2 libice6_2:1.0.8-2 libicu48_4.8.1.1-14 libidl-dev_0.8.14-0.3 libidl0_0.8.14-0.3 libisl10_0.12.1-1 libjasper1_1.900.1-14 libjbig0_2.0-2 libjpeg8_8d-1 libk5crypto3_1.11.3+dfsg-3 libkeyutils1_1.5.6-1 libklibc_2.0.1-3.1+rpi1 libkmod2_9-3 libkrb5-3_1.11.3+dfsg-3 libkrb5support0_1.11.3+dfsg-3 liblablgtk2-gnome-ocaml_2.14.2+dfsg-3 liblablgtk2-gnome-ocaml-dev_2.14.2+dfsg-3 liblablgtk2-ocaml_2.14.2+dfsg-3 liblablgtk2-ocaml-dev_2.14.2+dfsg-3 liblablgtksourceview2-ocaml_2.14.2+dfsg-3 liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-3 libldap-2.4-2_2.4.31-1+nmu2+b1 libllvm3.3_1:3.3-12 liblocale-gettext-perl_1.05-7+b3 libltdl7_2.4.2-1.3 liblzma5_5.1.1alpha+20120614-2 liblzo2-2_2.06-1.2 libmagic1_1:5.14-2 libmount1_2.20.1-5.5 libmpc3_1.0.1-1 libmpfr4_3.1.2-1 libncurses5_5.9+20130608-1 libncurses5-dev_5.9+20130608-1 libncursesw5_5.9+20130608-1 libnih-dbus1_1.0.3-4.1+b1 libnih1_1.0.3-4.1+b1 libocamlgraph-ocaml-dev_1.8.2-2 libogg0_1.3.1-1 libopenvg1-mesa_9.2.2-1 liborbit2_1:2.14.19-0.2 liborbit2-dev_1:2.14.19-0.2 libp11-kit-dev_0.20.1-3 libp11-kit0_0.20.1-3 libpam-modules_1.1.3-9 libpam-modules-bin_1.1.3-9 libpam-runtime_1.1.3-9 libpam0g_1.1.3-9 libpango-1.0-0_1.36.0-1 libpango1.0-0_1.36.0-1 libpango1.0-dev_1.36.0-1 libpangocairo-1.0-0_1.36.0-1 libpangoft2-1.0-0_1.36.0-1 libpangox-1.0-0_0.0.2-4 libpangoxft-1.0-0_1.36.0-1 libpcre3_1:8.31-2 libpcre3-dev_1:8.31-2 libpcrecpp0_1:8.31-2 libpipeline1_1.2.4-1 libpixman-1-0_0.30.2-1 libpixman-1-dev_0.30.2-1 libpng12-0_1.2.49-5 libpng12-dev_1.2.49-5 libpolkit-agent-1-0_0.105-4 libpolkit-gobject-1-0_0.105-4 libpopt-dev_1.16-8 libpopt0_1.16-8 libprocps0_1:3.3.4-2 libpthread-stubs0-dev_0.3-4 libpython-stdlib_2.7.5-5 libpython2.7-minimal_2.7.5-8+rvt libpython2.7-stdlib_2.7.5-8+rvt libreadline6_6.2+dfsg-0.1 librsvg2-2_2.40.0-1 librsvg2-common_2.40.0-1 librsvg2-dev_2.40.0-1 libsasl2-2_2.1.25.dfsg1-17 libsasl2-modules-db_2.1.25.dfsg1-17 libsecret-1-0_0.15-2 libsecret-common_0.15-2 libselinux1_2.1.13-3+rpi1 libselinux1-dev_2.1.13-3+rpi1 libsemanage-common_2.1.10-3+rpi1 libsemanage1_2.1.10-3+rpi1 libsepol1_2.2-1 libsepol1-dev_2.2-1 libslang2_2.2.4-15 libsm-dev_2:1.2.1-2 libsm6_2:1.2.1-2 libsqlite3-0_3.8.1-1 libss2_1.42.8-1 libssl1.0.0_1.0.1e-4 libstdc++-4.8-dev_4.8.2-1+rpi1 libstdc++6_4.8.2-1+rpi1 libsystemd-login0_204-5 libtasn1-3_2.14-3 libtasn1-3-dev_2.14-3 libtdb1_1.2.12-1 libtext-charwidth-perl_0.04-7+b3 libtext-iconv-perl_1.7-5+b3 libtext-wrapi18n-perl_0.06-7 libthai-data_0.1.20-1 libthai0_0.1.20-1 libtiff4_3.9.7-2 libtimedate-perl_1.2000-1 libtinfo-dev_5.9+20130608-1 libtinfo5_5.9+20130608-1 libudev1_204-5 libudisks2-0_2.1.1-1 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-23.2 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.5 libvorbis0a_1.3.2-1.3 libvorbisfile3_1.3.2-1.3 libwayland-client0_1.3.0-1 libwayland-server0_1.3.0-1 libx11-6_2:1.6.2-1 libx11-data_2:1.6.2-1 libx11-dev_2:1.6.2-1 libx11-xcb-dev_2:1.6.2-1 libx11-xcb1_2:1.6.2-1 libxau-dev_1:1.0.8-1 libxau6_1:1.0.8-1 libxaw7_2:1.0.11-1 libxcb-dri2-0_1.9.1-3 libxcb-dri2-0-dev_1.9.1-3 libxcb-glx0_1.9.1-3 libxcb-glx0-dev_1.9.1-3 libxcb-render0_1.9.1-3 libxcb-render0-dev_1.9.1-3 libxcb-shape0_1.9.1-3 libxcb-shm0_1.9.1-3 libxcb-shm0-dev_1.9.1-3 libxcb-xfixes0_1.9.1-3 libxcb1_1.9.1-3 libxcb1-dev_1.9.1-3 libxcomposite-dev_1:0.4.4-1 libxcomposite1_1:0.4.4-1 libxcursor-dev_1:1.1.14-1 libxcursor1_1:1.1.14-1 libxdamage-dev_1:1.1.4-1 libxdamage1_1:1.1.4-1 libxdmcp-dev_1:1.1.1-1 libxdmcp6_1:1.1.1-1 libxext-dev_2:1.3.2-1 libxext6_2:1.3.2-1 libxfixes-dev_1:5.0.1-1 libxfixes3_1:5.0.1-1 libxft-dev_2.3.1-1 libxft2_2.3.1-1 libxi-dev_2:1.7.2-1 libxi6_2:1.7.2-1 libxinerama-dev_2:1.1.3-1 libxinerama1_2:1.1.3-1 libxml2_2.9.1+dfsg1-3 libxml2-dev_2.9.1+dfsg1-3 libxml2-utils_2.9.1+dfsg1-3 libxmu6_2:1.1.1-1 libxmuu1_2:1.1.1-1 libxpm4_1:3.5.10-1 libxrandr-dev_2:1.4.1-1 libxrandr2_2:1.4.1-1 libxrender-dev_1:0.9.8-1 libxrender1_1:0.9.8-1 libxt6_1:1.1.4-1 libxtst6_2:1.2.2-1 libxv1_2:1.0.9-1 libxxf86dga1_2:1.1.4-1 libxxf86vm-dev_1:1.1.3-1 libxxf86vm1_1:1.1.3-1 libzarith-ocaml_1.2.1-2 libzarith-ocaml-dev_1.2.1-2 linux-libc-dev_3.10.1-1+rpi1+b2 login_1:4.1.5.1-1 lsb-base_4.1+Debian12+rpi1 make_3.81-8.2 makedev_2.3.1-93 man-db_2.6.5-2 mawk_1.3.3-17 mesa-common-dev_9.2.2-1 mime-support_3.54 mount_2.20.1-5.5 mountall_2.52 multiarch-support_2.17-93 ncurses-base_5.9+20130608-1 ncurses-bin_5.9+20130608-1 ocaml-base-nox_3.12.1-4 ocaml-interp_3.12.1-4 ocaml-nox_3.12.1-4 passwd_1:4.1.5.1-1 patch_2.7.1-3 perl_5.18.1-4 perl-base_5.18.1-4 perl-modules_5.18.1-4 pkg-config_0.26-1 plymouth_0.8.8-6+deb8u3 po-debconf_1.0.16+nmu2 procps_1:3.3.4-2 psmisc_22.20-1 python_2.7.5-5 python-minimal_2.7.5-5 python2.7_2.7.5-8+rvt python2.7-minimal_2.7.5-8+rvt raspbian-archive-keyring_20120528.2 readline-common_6.2+dfsg-0.1 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.2-2 sensible-utils_0.0.9 shared-mime-info_1.0-1 sysv-rc_2.88dsf-43 sysvinit_2.88dsf-43 sysvinit-utils_2.88dsf-43 tar_1.26+dfsg-8 ttf-dejavu-core_2.33+svn2514-3 tzdata_2013d-1 ucf_3.0027+nmu1 udev_204-5 udisks2_2.1.1-1 util-linux_2.20.1-5.5 x11-common_1:7.7+4 x11-utils_7.7+1 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.24-1 x11proto-damage-dev_1:1.2.1-2 x11proto-dri2-dev_2.8-2 x11proto-fixes-dev_1:5.0-2 x11proto-gl-dev_1.4.16-2 x11proto-input-dev_2.3-1 x11proto-kb-dev_1.0.6-2 x11proto-randr-dev_1.4.0-2 x11proto-render-dev_2:0.11.1-2 x11proto-xext-dev_7.2.1-1 x11proto-xf86vidmode-dev_2.3.1-2 x11proto-xinerama-dev_1.2.1-2 xorg-sgml-doctools_1:1.11-1 xtrans-dev_1.2.7-1 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.8.dfsg-1 zlib1g-dev_1:1.2.8.dfsg-1

┌──────────────────────────────────────────────────────────────────────────────┐
│ Build                                                                        │
└──────────────────────────────────────────────────────────────────────────────┘


Unpack source
─────────────

gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Sun Nov 17 14:01:49 2013 UTC using RSA key ID D4CACDFF
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./alt-ergo_0.95.2-1.dsc
dpkg-source: info: extracting alt-ergo in alt-ergo-0.95.2
dpkg-source: info: unpacking alt-ergo_0.95.2.orig.tar.gz
dpkg-source: info: unpacking alt-ergo_0.95.2-1.debian.tar.gz
dpkg-source: info: applying 0001-No-need-to-activate-debug-flag.patch

Check disc space
────────────────

Sufficient free space for build

User Environment
────────────────

APT_CONFIG=/var/lib/sbuild/apt.conf
COLUMNS=80
CONSOLE=/dev/console
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
INIT_VERSION=sysvinit-2.88
LC_ALL=POSIX
LINES=24
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PREVLEVEL=N
PWD=/
RUNLEVEL=2
SCHROOT_ALIAS_NAME=jessie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=jessie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=jessie-staging-armhf-sbuild-94186636-26eb-4f92-9a8b-ed7d27474724
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
previous=N
runlevel=2

dpkg-buildpackage
─────────────────

dpkg-buildpackage: source package alt-ergo
dpkg-buildpackage: source version 0.95.2-1
 dpkg-source --before-build alt-ergo-0.95.2
dpkg-buildpackage: host architecture armhf
 fakeroot debian/rules clean
dh --with ocaml clean
   dh_testdir
   debian/rules override_dh_auto_clean
make[1]: Entering directory `/«PKGBUILDDIR»'
if [ -f Makefile ]; then \
		/usr/bin/make dist-clean;   \
	fi
make[1]: Leaving directory `/«PKGBUILDDIR»'
   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 3.12.1
ocaml library path is /usr/lib/ocaml
checking for ocamlfind... no
checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes
checking for /usr/lib/ocaml/zarith/zarith.cma... yes
checking for ocp-ocamlopt... no
checking for ocamlopt... 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 `/«PKGBUILDDIR»'
/usr/bin/make all gui
Makefile:485: make[2]: Entering directory `/«PKGBUILDDIR»'
.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 `/«PKGBUILDDIR»'
make[2]: Entering directory `/«PKGBUILDDIR»'
ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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 `/«PKGBUILDDIR»'
make[1]: Leaving directory `/«PKGBUILDDIR»'
   dh_auto_test -a
 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 `/«PKGBUILDDIR»'
/usr/bin/make DESTDIR=debian/tmp install install-gui install-pack
make[2]: Entering directory `/«PKGBUILDDIR»'
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 `/«PKGBUILDDIR»'
make[1]: Leaving directory `/«PKGBUILDDIR»'
   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_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb -a
   dh_ocaml -a
W: libalt-ergo-ocaml-dev v0.95.2-1 doesn't resolve dependency on unit Smt_ast
W: libalt-ergo-ocaml-dev v0.95.2-1 doesn't resolve dependency on unit Sig
W: alt-ergo doesn't resolve dependency on unit Why_connected
W: alt-ergo doesn't resolve dependency on unit Ac
W: alt-ergo doesn't resolve dependency on unit Loc
W: alt-ergo doesn't resolve dependency on unit Symbols
W: alt-ergo doesn't resolve dependency on unit Smtlib2_parse
W: alt-ergo doesn't resolve dependency on unit Subst
W: alt-ergo doesn't resolve dependency on unit Pruning
W: alt-ergo doesn't resolve dependency on unit Term
W: alt-ergo doesn't resolve dependency on unit Main_text
W: alt-ergo doesn't resolve dependency on unit Gui_session
W: alt-ergo doesn't resolve dependency on unit Matching
W: alt-ergo doesn't resolve dependency on unit Boxed
W: alt-ergo doesn't resolve dependency on unit Triggers
W: alt-ergo doesn't resolve dependency on unit Ty
W: alt-ergo doesn't resolve dependency on unit Hstring
W: alt-ergo doesn't resolve dependency on unit Arith
W: alt-ergo doesn't resolve dependency on unit Arrays
W: alt-ergo doesn't resolve dependency on unit Exception
W: alt-ergo doesn't resolve dependency on unit Smtlib2_ast
W: alt-ergo doesn't resolve dependency on unit Sig
W: alt-ergo doesn't resolve dependency on unit Sat
W: alt-ergo doesn't resolve dependency on unit Options
W: alt-ergo doesn't resolve dependency on unit Intervals
W: alt-ergo doesn't resolve dependency on unit Why_ptree
W: alt-ergo doesn't resolve dependency on unit Main_gui
W: alt-ergo doesn't resolve dependency on unit Why_typing
W: alt-ergo doesn't resolve dependency on unit Why_lexer
W: alt-ergo doesn't resolve dependency on unit Smt_parser
W: alt-ergo doesn't resolve dependency on unit Formula
W: alt-ergo doesn't resolve dependency on unit Instantiation
W: alt-ergo doesn't resolve dependency on unit Version
W: alt-ergo doesn't resolve dependency on unit Smt_lex
W: alt-ergo doesn't resolve dependency on unit Custom_theory
W: alt-ergo doesn't resolve dependency on unit Fm
W: alt-ergo doesn't resolve dependency on unit Incr_match
W: alt-ergo doesn't resolve dependency on unit Gui_replay
W: alt-ergo doesn't resolve dependency on unit Smtlib2_lex
W: alt-ergo doesn't resolve dependency on unit Combine
W: alt-ergo doesn't resolve dependency on unit Cc
W: alt-ergo doesn't resolve dependency on unit Sum
W: alt-ergo doesn't resolve dependency on unit Smt_ast
W: alt-ergo doesn't resolve dependency on unit Timers
W: alt-ergo doesn't resolve dependency on unit Smt_to_why
W: alt-ergo doesn't resolve dependency on unit Polynome
W: alt-ergo doesn't resolve dependency on unit Numbers
W: alt-ergo doesn't resolve dependency on unit Hashcons
W: alt-ergo doesn't resolve dependency on unit Cnf
W: alt-ergo doesn't resolve dependency on unit Use
W: alt-ergo doesn't resolve dependency on unit Frontend
W: alt-ergo doesn't resolve dependency on unit Records
W: alt-ergo doesn't resolve dependency on unit Existantial
W: alt-ergo doesn't resolve dependency on unit Bitv
W: alt-ergo doesn't resolve dependency on unit Uf
W: alt-ergo doesn't resolve dependency on unit Why_annoted
W: alt-ergo doesn't resolve dependency on unit Literal
W: alt-ergo doesn't resolve dependency on unit Errors
W: alt-ergo doesn't resolve dependency on unit GtkSourceView2_types
W: alt-ergo doesn't resolve dependency on unit Smtlib2_to_why
W: alt-ergo doesn't resolve dependency on unit Explanation
W: alt-ergo doesn't resolve dependency on unit Why_parser
   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
dpkg-deb: building package `alt-ergo' in `../alt-ergo_0.95.2-1_armhf.deb'.
dpkg-deb: building package `libalt-ergo-ocaml-dev' in `../libalt-ergo-ocaml-dev_0.95.2-1_armhf.deb'.
 dpkg-genchanges -B -mRaspbian wandboard test autobuilder <root@raspbian.org> >../alt-ergo_0.95.2-1_armhf.changes
dpkg-genchanges: arch-specific upload - not including arch-independent packages
dpkg-genchanges: binary-only upload - not including any source code
 dpkg-source --after-build alt-ergo-0.95.2
dpkg-buildpackage: binary only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20131128-0536

Finished
────────

I: Built successfully

┌──────────────────────────────────────────────────────────────────────────────┐
│ Changes                                                                      │
└──────────────────────────────────────────────────────────────────────────────┘


alt-ergo_0.95.2-1_armhf.changes:
────────────────────────────────

Format: 1.8
Date: Sun, 17 Nov 2013 14:25:38 +0100
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: armhf
Version: 0.95.2-1
Distribution: jessie-staging
Urgency: low
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 alt-ergo   - Automatic theorem prover dedicated to program verification
 libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries
Changes: 
 alt-ergo (0.95.2-1) sid; urgency=low
 .
   * New upstream release.
   * Update debian/watch, now points to ocamlpro site.
   * Refresh patch 0001-No-need-to-activate-debug-flag.patch
   * Drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch:
     the file test.mlw is no longer relevant.
   * drop patches that have been applied by upstream:
     - 0003-Fix-a-typo.patch
     - 0004-Add-rules-and-targets-for-gui.byte.patch
     - 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
     - 0007-Fix-all-target.patch
     - 0008-Split-install-pack-into-two-separate-targets-opt-and.patch
     - 0009-clean-remove-META.patch
   * Add build-dependency on libzarith-ocaml-dev
   * debian/rules:
     - drop backup of .depend which is no longer needed
     - drop overwrite for dh_auto_configure
     - in dh_auto_build target, drop touching of configure
   * debian/copyright:
     - update Download field to ocamlpro
     - Upstream Contact : add alt-ergo-bugs mailing list
     - Update copyright holder and year for files *
     - Put paragraphs into the right order
   * install examples/ into /usr/share/doc/alt-ergo
   * Standards-version 3.9.5 (no change)
Checksums-Sha1: 
 d041076a8ef071cc15b16a8804c06d48a338e2c4 597158 alt-ergo_0.95.2-1_armhf.deb
 87faa4098367af13d0badb0f01fac2b2321ee6a7 221938 libalt-ergo-ocaml-dev_0.95.2-1_armhf.deb
Checksums-Sha256: 
 ec7d80b79b561759ec13e89bb4f1285307e310043fab8ace1ce664692336a305 597158 alt-ergo_0.95.2-1_armhf.deb
 8b0fd65f51e4ff0b19fcfe68e8be37214b518031e81cdfc6d24f8e2c809dc916 221938 libalt-ergo-ocaml-dev_0.95.2-1_armhf.deb
Files: 
 aca0bb48421e29846cc336e0703fcf4e 597158 math optional alt-ergo_0.95.2-1_armhf.deb
 a036fc8b2a88160b290fa4e6c1b48fe6 221938 ocaml optional libalt-ergo-ocaml-dev_0.95.2-1_armhf.deb

┌──────────────────────────────────────────────────────────────────────────────┐
│ Package contents                                                             │
└──────────────────────────────────────────────────────────────────────────────┘


alt-ergo_0.95.2-1_armhf.deb
───────────────────────────

 new debian package, version 2.0.
 size 597158 bytes: control archive=1431 bytes.
    1094 bytes,    23 lines      control              
    1658 bytes,    21 lines      md5sums              
 Package: alt-ergo
 Version: 0.95.2-1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 3053
 Depends: liblablgtk2-ocaml-yeug0, liblablgtksourceview2-ocaml-wz3i5, libzarith-ocaml-5s2g9, ocaml-base-nox-3.12.1
 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.

drwxr-xr-x root/root         0 2013-11-28 05:35 ./
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/bin/
-rwxr-xr-x root/root   1171376 2013-11-28 05:35 ./usr/bin/alt-ergo
-rwxr-xr-x root/root   1917459 2013-11-28 05:35 ./usr/bin/altgr-ergo
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/man/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/man/man1/
-rw-r--r-- root/root      1177 2013-11-28 05:35 ./usr/share/man/man1/alt-ergo.1.gz
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/gtksourceview-2.0/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/gtksourceview-2.0/language-specs/
-rw-r--r-- root/root      4309 2013-11-28 05:35 ./usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/doc/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/doc/alt-ergo/
-rw-r--r-- root/root     24060 2013-11-17 13:27 ./usr/share/doc/alt-ergo/copyright
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/doc/alt-ergo/examples/
drwxr-xr-x root/root         0 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/
-rw-r--r-- root/root       147 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/arrays.why
-rw-r--r-- root/root       141 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/bitv.why
-rw-r--r-- root/root        57 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/arith1.why
-rw-r--r-- root/root        61 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/invalid/arith2.why
drwxr-xr-x root/root         0 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/
-rw-r--r-- root/root        87 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith4.why
-rw-r--r-- root/root       106 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/ac_arith.why
-rw-r--r-- root/root       151 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arrays.why
-rw-r--r-- root/root       195 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/quantifiers.why
-rw-r--r-- root/root       183 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/enum_arrays.why
-rw-r--r-- root/root       189 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/congruence.why
-rw-r--r-- root/root       139 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/bitv.why
-rw-r--r-- root/root       120 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith1.why
-rw-r--r-- root/root       106 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith3.why
-rw-r--r-- root/root       125 2013-09-20 08:04 ./usr/share/doc/alt-ergo/examples/valid/arith2.why
-rw-r--r-- root/root      2210 2013-11-17 13:27 ./usr/share/doc/alt-ergo/changelog.Debian.gz
-rw-r--r-- root/root      2260 2013-09-20 08:04 ./usr/share/doc/alt-ergo/changelog.gz


libalt-ergo-ocaml-dev_0.95.2-1_armhf.deb
────────────────────────────────────────

 new debian package, version 2.0.
 size 221938 bytes: control archive=1085 bytes.
    1152 bytes,    26 lines      control              
     622 bytes,     8 lines      md5sums              
 Package: libalt-ergo-ocaml-dev
 Source: alt-ergo
 Version: 0.95.2-1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 887
 Depends: libzarith-ocaml-dev-5s2g9, ocaml-nox-3.12.1
 Suggests: why
 Breaks: alt-ergo (<< 0.95.1-1)
 Replaces: alt-ergo (<< 0.95.1-1)
 Section: ocaml
 Priority: optional
 Homepage: http://alt-ergo.lri.fr
 Description: Theorem prover dedicated to program verification - libraries
  Alt-Ergo is an automatic theorem prover geared towards application in
  program verification. It is based on CC(X), a congruence closure
  algorithm parameterized by an equational theory X. Alt-Ergo has
  built-in provers for propositional logic, linear arithmetic,
  uninterpreted function symbols, associative-commutative function
  symbols, polymorphic arrays, user-defined polymorphic record types
  and polymorphic enumeration types. It has restricted support for
  reasoning over arbitrary user-defined algebraic types, first-order
  quantifiers, and non-linear arithmetic.
  .
  This package contains the development libraries that are useful when
  writing OCaml programs linking to the alt-ergo API.

drwxr-xr-x root/root         0 2013-11-28 05:35 ./
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/lib/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/lib/ocaml/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/lib/ocaml/alt-ergo/
-rw-r--r-- root/root    674880 2013-11-28 05:35 ./usr/lib/ocaml/alt-ergo/altErgo.cmo
-rw-r--r-- root/root    203215 2013-11-28 05:35 ./usr/lib/ocaml/alt-ergo/altErgo.cmi
-rw-r--r-- root/root       209 2013-11-28 05:35 ./usr/lib/ocaml/alt-ergo/META
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/doc/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./usr/share/doc/libalt-ergo-ocaml-dev/
-rw-r--r-- root/root     24060 2013-11-17 13:27 ./usr/share/doc/libalt-ergo-ocaml-dev/copyright
-rw-r--r-- root/root      2210 2013-11-17 13:27 ./usr/share/doc/libalt-ergo-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root      2260 2013-09-20 08:04 ./usr/share/doc/libalt-ergo-ocaml-dev/changelog.gz
drwxr-xr-x root/root         0 2013-11-28 05:35 ./var/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./var/lib/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./var/lib/ocaml/
drwxr-xr-x root/root         0 2013-11-28 05:35 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root        80 2013-11-28 05:35 ./var/lib/ocaml/md5sums/libalt-ergo-ocaml-dev.md5sums
drwxr-xr-x root/root         0 2013-11-28 05:35 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root        49 2013-11-28 05:35 ./var/lib/ocaml/lintian/libalt-ergo-ocaml-dev.info


┌──────────────────────────────────────────────────────────────────────────────┐
│ Post Build                                                                   │
└──────────────────────────────────────────────────────────────────────────────┘


┌──────────────────────────────────────────────────────────────────────────────┐
│ Cleanup                                                                      │
└──────────────────────────────────────────────────────────────────────────────┘

Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use

┌──────────────────────────────────────────────────────────────────────────────┐
│ Summary                                                                      │
└──────────────────────────────────────────────────────────────────────────────┘

Build Architecture: armhf
Build-Space: 30796
Build-Time: 171
Distribution: jessie-staging
Host Architecture: armhf
Install-Time: 1193
Job: alt-ergo_0.95.2-1
Machine Architecture: armhf
Package: alt-ergo
Package-Time: 1417
Source-Version: 0.95.2-1
Space: 30796
Status: successful
Version: 0.95.2-1
────────────────────────────────────────────────────────────────────────────────
Finished at 20131128-0536
Build needed 00:23:37, 30796k disc space
Raspbian Package Auto-Building

Build log for alt-ergo (0.95.2-1) on armhf
