Raspbian Package Auto-Building

alt-ergo → 0.99.1+dfsg1-3 → armhf → 2015-06-01 12:26:28

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

╔══════════════════════════════════════════════════════════════════════════════╗
║ alt-ergo 0.99.1+dfsg1-3 (armhf)                            01 Jun 2015 11:58 ║
╚══════════════════════════════════════════════════════════════════════════════╝

Package: alt-ergo
Version: 0.99.1+dfsg1-3
Source Version: 0.99.1+dfsg1-3
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'build/alt-ergo-dY4RcJ/alt-ergo-0.99.1+dfsg1' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/alt-ergo-dY4RcJ' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-647614c9-074e-486f-abe9-275b86fe262e' with '«CHROOT»'

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

Get:1 http://172.17.0.1 stretch-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1 stretch-staging/main Sources [7914 kB]
Get:3 http://172.17.0.1 stretch-staging/main armhf Packages [9699 kB]
Ign http://172.17.0.1 stretch-staging/main Translation-en
Fetched 17.6 MB in 32s (542 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...
NOTICE: 'alt-ergo' packaging is maintained in the 'Git' version control system at:
git://anonscm.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
Need to get 238 kB of source archives.
Get:1 http://172.17.0.1/private/ stretch-staging/main alt-ergo 0.99.1+dfsg1-3 (dsc) [2233 B]
Get:2 http://172.17.0.1/private/ stretch-staging/main alt-ergo 0.99.1+dfsg1-3 (tar) [223 kB]
Get:3 http://172.17.0.1/private/ stretch-staging/main alt-ergo 0.99.1+dfsg1-3 (diff) [12.5 kB]
Fetched 238 kB in 0s (2966 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-Y9ZJtE/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...
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 62 not upgraded.
Need to get 0 B/812 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 ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 11998 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 7.0.50~), ocaml-nox (>= 3.11.1-3~), libocamlgraph-ocaml-dev (>= 1.8.5~), 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: libc6-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 7.0.50~), ocaml-nox (>= 3.11.1-3~), libocamlgraph-ocaml-dev (>= 1.8.5~), 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-617ZI_/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:
  aspell aspell-en bsdmainutils dbus dbus-x11 debhelper dh-ocaml
  dictionaries-common emacsen-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 intltool-debian libart-2.0-2
  libart-2.0-dev libasound2 libasound2-data libaspell15 libasprintf0c2
  libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client-dev
  libavahi-client3 libavahi-common-data libavahi-common-dev libavahi-common3
  libavahi-glib-dev libavahi-glib1 libbonobo2-0 libbonobo2-common
  libbonobo2-dev libbonoboui2-0 libbonoboui2-common libbonoboui2-dev
  libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev
  libcanberra-dev libcanberra0 libcap-ng0 libcroco3 libcups2 libdatrie1
  libdbus-1-3 libdbus-1-dev libdbus-glib-1-2 libelf1 libenchant-dev
  libenchant1c2a libexpat1 libexpat1-dev libffi6 libfontconfig1
  libfontconfig1-dev libfreetype6 libfreetype6-dev libgail-common libgail-dev
  libgail18 libgconf-2-4 libgconf2-dev libgdk-pixbuf2.0-0
  libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1
  libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data
  libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnome-2-0
  libgnome-keyring-common libgnome-keyring-dev libgnome-keyring0 libgnome2-0
  libgnome2-bin libgnome2-common libgnome2-dev libgnomecanvas2-0
  libgnomecanvas2-common libgnomecanvas2-dev libgnomeui-0 libgnomeui-common
  libgnomeui-dev libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev
  libgnutls-deb0-28 libgnutls-openssl27 libgnutls28-dev libgnutlsxx28
  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 libharfbuzz-dev libharfbuzz-gobject0
  libharfbuzz-icu0 libharfbuzz0b libhogweed2 libhunspell-1.3-0 libice-dev
  libice6 libicu52 libidl-dev libidl0 libjasper1 libjbig0 libjpeg62-turbo
  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
  libltdl7 liblzo2-2 libmagic1 libncurses5-dev libnettle4
  libocamlgraph-ocaml-dev libogg0 liborbit-2-0 liborbit2 liborbit2-dev
  libp11-kit-dev libp11-kit0 libpango-1.0-0 libpango1.0-dev
  libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre3
  libpcre3-dev libpcre32-3 libpcrecpp0 libpipeline1 libpixman-1-0
  libpixman-1-dev libpng12-dev 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 libselinux1-dev
  libsepol1-dev libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libtasn1-6
  libtasn1-6-dev libtdb1 libthai-data libthai0 libtiff5 libtinfo-dev
  libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev
  libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0
  libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1
  libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6
  libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev
  libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils
  libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml
  libzarith-ocaml-dev man-db mime-support nettle-dev ocaml-base-nox
  ocaml-compiler-libs ocaml-interp ocaml-nox orbit2 pkg-config po-debconf
  psmisc python python-minimal python2.7 python2.7-minimal shared-mime-info
  ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev
  x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev
  x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev
  xorg-sgml-doctools xtrans-dev zlib1g-dev
Suggested packages:
  aspell-doc spellutils wamerican wordlist whois vacation dh-make git
  gconf-defaults-service gettext-doc groff libasound2-plugins alsa-utils
  libbonobo2-bin libcairo2-doc libcanberra-gtk0 libcanberra-pulse cups-common
  libenchant-voikko libgail-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 gnutls-bin gnutls-doc
  guile-gnutls krb5-doc krb5-user gvfs libgtk2.0-doc libgtksourceview2.0-doc
  libice-doc libjasper-runtime liblablgtk2-gl-ocaml-dev ncurses-doc
  imagemagick libpango1.0-doc librsvg2-bin librsvg2-doc libsm-doc libxcb-doc
  libxext-doc less www-browser tuareg-mode ocaml-mode libmail-box-perl
  python-doc python-tk python2.7-doc binfmt-support
Recommended packages:
  curl wget lynx-cur autopoint libasprintf-dev libgettextpo-dev enchant
  libgconf2-doc xdg-user-dirs libgnomevfs2-extra hicolor-icon-theme
  libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary
  krb5-locales liblablgtk2-ocaml-doc ocaml-findlib libsasl2-modules
  libtasn1-doc libx11-doc xml-core ledit readline-editor camlp4
  libmail-sendmail-perl
The following NEW packages will be installed:
  aspell aspell-en bsdmainutils dbus dbus-x11 debhelper dh-ocaml
  dictionaries-common emacsen-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 intltool-debian libart-2.0-2
  libart-2.0-dev libasound2 libasound2-data libaspell15 libasprintf0c2
  libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client-dev
  libavahi-client3 libavahi-common-data libavahi-common-dev libavahi-common3
  libavahi-glib-dev libavahi-glib1 libbonobo2-0 libbonobo2-common
  libbonobo2-dev libbonoboui2-0 libbonoboui2-common libbonoboui2-dev
  libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev
  libcanberra-dev libcanberra0 libcap-ng0 libcroco3 libcups2 libdatrie1
  libdbus-1-dev libdbus-glib-1-2 libelf1 libenchant-dev libenchant1c2a
  libexpat1 libexpat1-dev libffi6 libfontconfig1 libfontconfig1-dev
  libfreetype6 libfreetype6-dev libgail-common libgail-dev libgail18
  libgconf-2-4 libgconf2-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common
  libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev
  libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev
  libgmp3-dev libgmpxx4ldbl libgnome-2-0 libgnome-keyring-common
  libgnome-keyring-dev libgnome-keyring0 libgnome2-0 libgnome2-bin
  libgnome2-common libgnome2-dev libgnomecanvas2-0 libgnomecanvas2-common
  libgnomecanvas2-dev libgnomeui-0 libgnomeui-common libgnomeui-dev
  libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev libgnutls-deb0-28
  libgnutls-openssl27 libgnutls28-dev libgnutlsxx28 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 libharfbuzz-dev libharfbuzz-gobject0
  libharfbuzz-icu0 libharfbuzz0b libhogweed2 libhunspell-1.3-0 libice-dev
  libice6 libicu52 libidl-dev libidl0 libjasper1 libjbig0 libjpeg62-turbo
  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
  libltdl7 liblzo2-2 libmagic1 libncurses5-dev libnettle4
  libocamlgraph-ocaml-dev libogg0 liborbit-2-0 liborbit2 liborbit2-dev
  libp11-kit-dev libp11-kit0 libpango-1.0-0 libpango1.0-dev
  libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3
  libpcre3-dev libpcre32-3 libpcrecpp0 libpipeline1 libpixman-1-0
  libpixman-1-dev libpng12-dev 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 libselinux1-dev
  libsepol1-dev libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libtasn1-6
  libtasn1-6-dev libtdb1 libthai-data libthai0 libtiff5 libtinfo-dev
  libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev
  libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0
  libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1
  libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6
  libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev
  libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils
  libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml
  libzarith-ocaml-dev man-db mime-support nettle-dev ocaml-base-nox
  ocaml-compiler-libs ocaml-interp ocaml-nox orbit2 pkg-config po-debconf
  psmisc python python-minimal python2.7 python2.7-minimal
  sbuild-build-depends-alt-ergo-dummy shared-mime-info ucf x11-common
  x11proto-composite-dev x11proto-core-dev x11proto-damage-dev
  x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev
  x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev
  xorg-sgml-doctools xtrans-dev zlib1g-dev
The following packages will be upgraded:
  libdbus-1-3 libpcre3
2 upgraded, 270 newly installed, 0 to remove and 60 not upgraded.
Need to get 92.0 MB/92.0 MB of archives.
After this operation, 331 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ stretch-staging/main libpcre3 armhf 2:8.35-5 [299 kB]
Get:2 http://172.17.0.1/private/ stretch-staging/main libpipeline1 armhf 1.4.0-1 [24.0 kB]
Get:3 http://172.17.0.1/private/ stretch-staging/main libpopt0 armhf 1.16-10 [46.2 kB]
Get:4 http://172.17.0.1/private/ stretch-staging/main libssl1.0.0 armhf 1.0.2a-1 [878 kB]
Get:5 http://172.17.0.1/private/ stretch-staging/main groff-base armhf 1.22.3-1 [1085 kB]
Get:6 http://172.17.0.1/private/ stretch-staging/main bsdmainutils armhf 9.0.6 [177 kB]
Get:7 http://172.17.0.1/private/ stretch-staging/main man-db armhf 2.7.0.2-5 [972 kB]
Get:8 http://172.17.0.1/private/ stretch-staging/main libasprintf0c2 armhf 0.19.4-1 [31.5 kB]
Get:9 http://172.17.0.1/private/ stretch-staging/main libnettle4 armhf 2.7.1-5 [178 kB]
Get:10 http://172.17.0.1/private/ stretch-staging/main libhogweed2 armhf 2.7.1-5 [117 kB]
Get:11 http://172.17.0.1/private/ stretch-staging/main libffi6 armhf 3.1-2 [18.1 kB]
Get:12 http://172.17.0.1/private/ stretch-staging/main libp11-kit0 armhf 0.23.1-2 [94.1 kB]
Get:13 http://172.17.0.1/private/ stretch-staging/main libtasn1-6 armhf 4.5-2 [43.9 kB]
Get:14 http://172.17.0.1/private/ stretch-staging/main libgnutls-deb0-28 armhf 3.3.15-2 [646 kB]
Get:15 http://172.17.0.1/private/ stretch-staging/main libgnutls-openssl27 armhf 3.3.15-2 [154 kB]
Get:16 http://172.17.0.1/private/ stretch-staging/main libkeyutils1 armhf 1.5.9-5 [10.9 kB]
Get:17 http://172.17.0.1/private/ stretch-staging/main libkrb5support0 armhf 1.12.1+dfsg-20 [54.9 kB]
Get:18 http://172.17.0.1/private/ stretch-staging/main libk5crypto3 armhf 1.12.1+dfsg-20 [108 kB]
Get:19 http://172.17.0.1/private/ stretch-staging/main libkrb5-3 armhf 1.12.1+dfsg-20 [258 kB]
Get:20 http://172.17.0.1/private/ stretch-staging/main libgssapi-krb5-2 armhf 1.12.1+dfsg-20 [128 kB]
Get:21 http://172.17.0.1/private/ stretch-staging/main libsasl2-modules-db armhf 2.1.26.dfsg1-13 [65.5 kB]
Get:22 http://172.17.0.1/private/ stretch-staging/main libsasl2-2 armhf 2.1.26.dfsg1-13 [97.2 kB]
Get:23 http://172.17.0.1/private/ stretch-staging/main libldap-2.4-2 armhf 2.4.40+dfsg-1 [192 kB]
Get:24 http://172.17.0.1/private/ stretch-staging/main libmagic1 armhf 1:5.22+15-2 [244 kB]
Get:25 http://172.17.0.1/private/ stretch-staging/main libxml2 armhf 2.9.1+dfsg1-5 [703 kB]
Get:26 http://172.17.0.1/private/ stretch-staging/main libpython2.7-minimal armhf 2.7.10~rc1-1 [379 kB]
Get:27 http://172.17.0.1/private/ stretch-staging/main python2.7-minimal armhf 2.7.10~rc1-1 [1156 kB]
Get:28 http://172.17.0.1/private/ stretch-staging/main python-minimal armhf 2.7.9-1 [40.1 kB]
Get:29 http://172.17.0.1/private/ stretch-staging/main mime-support all 3.58 [36.0 kB]
Get:30 http://172.17.0.1/private/ stretch-staging/main libexpat1 armhf 2.1.0-6 [60.2 kB]
Get:31 http://172.17.0.1/private/ stretch-staging/main libsqlite3-0 armhf 3.8.10.2-1 [389 kB]
Get:32 http://172.17.0.1/private/ stretch-staging/main libpython2.7-stdlib armhf 2.7.10~rc1-1 [1812 kB]
Get:33 http://172.17.0.1/private/ stretch-staging/main python2.7 armhf 2.7.10~rc1-1 [258 kB]
Get:34 http://172.17.0.1/private/ stretch-staging/main libpython-stdlib armhf 2.7.9-1 [19.6 kB]
Get:35 http://172.17.0.1/private/ stretch-staging/main python armhf 2.7.9-1 [151 kB]
Get:36 http://172.17.0.1/private/ stretch-staging/main libfreetype6 armhf 2.5.2-4 [412 kB]
Get:37 http://172.17.0.1/private/ stretch-staging/main ucf all 3.0030 [69.7 kB]
Get:38 http://172.17.0.1/private/ stretch-staging/main fonts-dejavu-core all 2.35-1 [1064 kB]
Get:39 http://172.17.0.1/private/ stretch-staging/main fontconfig-config all 2.11.0-6.3 [273 kB]
Get:40 http://172.17.0.1/private/ stretch-staging/main libfontconfig1 armhf 2.11.0-6.3 [311 kB]
Get:41 http://172.17.0.1/private/ stretch-staging/main fontconfig armhf 2.11.0-6.3 [402 kB]
Get:42 http://172.17.0.1/private/ stretch-staging/main libart-2.0-2 armhf 2.3.21-2 [63.8 kB]
Get:43 http://172.17.0.1/private/ stretch-staging/main libasound2-data all 1.0.28-1 [64.8 kB]
Get:44 http://172.17.0.1/private/ stretch-staging/main libasound2 armhf 1.0.28-1 [316 kB]
Get:45 http://172.17.0.1/private/ stretch-staging/main libaspell15 armhf 0.60.7~20110707-3 [299 kB]
Get:46 http://172.17.0.1/private/ stretch-staging/main libglib2.0-0 armhf 2.44.1-1 [2314 kB]
Get:47 http://172.17.0.1/private/ stretch-staging/main libatk1.0-data all 2.16.0-2 [183 kB]
Get:48 http://172.17.0.1/private/ stretch-staging/main libatk1.0-0 armhf 2.16.0-2 [84.8 kB]
Get:49 http://172.17.0.1/private/ stretch-staging/main libavahi-common-data armhf 0.6.31-5 [98.8 kB]
Get:50 http://172.17.0.1/private/ stretch-staging/main libavahi-common3 armhf 0.6.31-5 [48.0 kB]
Get:51 http://172.17.0.1/private/ stretch-staging/main libdbus-1-3 armhf 1.8.18-1 [149 kB]
Get:52 http://172.17.0.1/private/ stretch-staging/main libavahi-client3 armhf 0.6.31-5 [50.6 kB]
Get:53 http://172.17.0.1/private/ stretch-staging/main libavahi-glib1 armhf 0.6.31-5 [36.4 kB]
Get:54 http://172.17.0.1/private/ stretch-staging/main libbonobo2-common all 2.32.1-3 [243 kB]
Get:55 http://172.17.0.1/private/ stretch-staging/main liborbit-2-0 armhf 1:2.14.19-1 [200 kB]
Get:56 http://172.17.0.1/private/ stretch-staging/main libbonobo2-0 armhf 2.32.1-3 [236 kB]
Get:57 http://172.17.0.1/private/ stretch-staging/main libdbus-glib-1-2 armhf 0.102-1 [190 kB]
Get:58 http://172.17.0.1/private/ stretch-staging/main gconf2-common all 3.2.6-3 [1040 kB]
Get:59 http://172.17.0.1/private/ stretch-staging/main libgconf-2-4 armhf 3.2.6-3 [413 kB]
Get:60 http://172.17.0.1/private/ stretch-staging/main gconf-service armhf 3.2.6-3 [404 kB]
Get:61 http://172.17.0.1/private/ stretch-staging/main libpixman-1-0 armhf 0.32.6-3 [422 kB]
Get:62 http://172.17.0.1/private/ stretch-staging/main libxau6 armhf 1:1.0.8-1 [19.9 kB]
Get:63 http://172.17.0.1/private/ stretch-staging/main libxdmcp6 armhf 1:1.1.2-1 [25.0 kB]
Get:64 http://172.17.0.1/private/ stretch-staging/main libxcb1 armhf 1.10-3 [38.1 kB]
Get:65 http://172.17.0.1/private/ stretch-staging/main libx11-data all 2:1.6.3-1 [128 kB]
Get:66 http://172.17.0.1/private/ stretch-staging/main libx11-6 armhf 2:1.6.3-1 [678 kB]
Get:67 http://172.17.0.1/private/ stretch-staging/main libxcb-render0 armhf 1.10-3 [16.0 kB]
Get:68 http://172.17.0.1/private/ stretch-staging/main libxcb-shm0 armhf 1.10-3 [11.0 kB]
Get:69 http://172.17.0.1/private/ stretch-staging/main libxext6 armhf 2:1.3.3-1 [48.1 kB]
Get:70 http://172.17.0.1/private/ stretch-staging/main libxrender1 armhf 1:0.9.8-1 [30.4 kB]
Get:71 http://172.17.0.1/private/ stretch-staging/main libcairo2 armhf 1.14.2-2 [672 kB]
Get:72 http://172.17.0.1/private/ stretch-staging/main libjpeg62-turbo armhf 1:1.4.0-7 [102 kB]
Get:73 http://172.17.0.1/private/ stretch-staging/main libjasper1 armhf 1.900.1-debian1-2.4 [109 kB]
Get:74 http://172.17.0.1/private/ stretch-staging/main libjbig0 armhf 2.1-3.1 [27.5 kB]
Get:75 http://172.17.0.1/private/ stretch-staging/main libtiff5 armhf 4.0.3-13 [193 kB]
Get:76 http://172.17.0.1/private/ stretch-staging/main libgdk-pixbuf2.0-common all 2.31.4-2 [295 kB]
Get:77 http://172.17.0.1/private/ stretch-staging/main libgdk-pixbuf2.0-0 armhf 2.31.4-2 [149 kB]
Get:78 http://172.17.0.1/private/ stretch-staging/main libgtk2.0-common all 2.24.25-3 [3123 kB]
Get:79 http://172.17.0.1/private/ stretch-staging/main libcups2 armhf 1.7.5-11 [252 kB]
Get:80 http://172.17.0.1/private/ stretch-staging/main libthai-data all 0.1.22-1 [161 kB]
Get:81 http://172.17.0.1/private/ stretch-staging/main libdatrie1 armhf 0.2.9-1 [31.4 kB]
Get:82 http://172.17.0.1/private/ stretch-staging/main libthai0 armhf 0.1.22-1 [44.7 kB]
Get:83 http://172.17.0.1/private/ stretch-staging/main libpango-1.0-0 armhf 1.36.8-3 [274 kB]
Get:84 http://172.17.0.1/private/ stretch-staging/main libgraphite2-3 armhf 1.2.4-3 [48.2 kB]
Get:85 http://172.17.0.1/private/ stretch-staging/main libharfbuzz0b armhf 0.9.40-3 [482 kB]
Get:86 http://172.17.0.1/private/ stretch-staging/main libpangoft2-1.0-0 armhf 1.36.8-3 [207 kB]
Get:87 http://172.17.0.1/private/ stretch-staging/main libpangocairo-1.0-0 armhf 1.36.8-3 [197 kB]
Get:88 http://172.17.0.1/private/ stretch-staging/main libxcomposite1 armhf 1:0.4.4-1 [16.8 kB]
Get:89 http://172.17.0.1/private/ stretch-staging/main libxfixes3 armhf 1:5.0.1-2 [19.6 kB]
Get:90 http://172.17.0.1/private/ stretch-staging/main libxcursor1 armhf 1:1.1.14-1 [34.7 kB]
Get:91 http://172.17.0.1/private/ stretch-staging/main libxdamage1 armhf 1:1.1.4-2 [13.9 kB]
Get:92 http://172.17.0.1/private/ stretch-staging/main libxi6 armhf 2:1.7.4-1 [73.4 kB]
Get:93 http://172.17.0.1/private/ stretch-staging/main libxinerama1 armhf 2:1.1.3-1 [16.9 kB]
Get:94 http://172.17.0.1/private/ stretch-staging/main libxrandr2 armhf 2:1.4.2-1 [31.7 kB]
Get:95 http://172.17.0.1/private/ stretch-staging/main shared-mime-info armhf 1.3-1 [630 kB]
Get:96 http://172.17.0.1/private/ stretch-staging/main libgtk2.0-0 armhf 2.24.25-3 [2012 kB]
Get:97 http://172.17.0.1/private/ stretch-staging/main libglade2-0 armhf 1:2.6.4-2 [76.2 kB]
Get:98 http://172.17.0.1/private/ stretch-staging/main libltdl7 armhf 2.4.2-1.11 [42.5 kB]
Get:99 http://172.17.0.1/private/ stretch-staging/main libogg0 armhf 1.3.2-1 [17.2 kB]
Get:100 http://172.17.0.1/private/ stretch-staging/main libtdb1 armhf 1.3.5-1 [36.7 kB]
Get:101 http://172.17.0.1/private/ stretch-staging/main libvorbis0a armhf 1.3.4-2 [82.7 kB]
Get:102 http://172.17.0.1/private/ stretch-staging/main libvorbisfile3 armhf 1.3.4-2 [22.5 kB]
Get:103 http://172.17.0.1/private/ stretch-staging/main libcanberra0 armhf 0.30-2.1 [35.3 kB]
Get:104 http://172.17.0.1/private/ stretch-staging/main psmisc armhf 22.21-2 [117 kB]
Get:105 http://172.17.0.1/private/ stretch-staging/main libcap-ng0 armhf 0.7.6-1 [12.4 kB]
Get:106 http://172.17.0.1/private/ stretch-staging/main dbus armhf 1.8.18-1 [251 kB]
Get:107 http://172.17.0.1/private/ stretch-staging/main dbus-x11 armhf 1.8.18-1 [72.5 kB]
Get:108 http://172.17.0.1/private/ stretch-staging/main gconf2 armhf 3.2.6-3 [419 kB]
Get:109 http://172.17.0.1/private/ stretch-staging/main gnome-mime-data all 2.18.0-1 [725 kB]
Get:110 http://172.17.0.1/private/ stretch-staging/main libgnomevfs2-common all 1:2.24.4-6 [763 kB]
Get:111 http://172.17.0.1/private/ stretch-staging/main libgnomevfs2-0 armhf 1:2.24.4-6 [450 kB]
Get:112 http://172.17.0.1/private/ stretch-staging/main libgnome2-common all 2.32.1-5 [936 kB]
Get:113 http://172.17.0.1/private/ stretch-staging/main libgnome-2-0 armhf 2.32.1-5 [463 kB]
Get:114 http://172.17.0.1/private/ stretch-staging/main libgail18 armhf 2.24.25-3 [537 kB]
Get:115 http://172.17.0.1/private/ stretch-staging/main libgnomecanvas2-common all 2.30.3-2 [132 kB]
Get:116 http://172.17.0.1/private/ stretch-staging/main libgnomecanvas2-0 armhf 2.30.3-2 [94.7 kB]
Get:117 http://172.17.0.1/private/ stretch-staging/main x11-common all 1:7.7+9 [287 kB]
Get:118 http://172.17.0.1/private/ stretch-staging/main libice6 armhf 2:1.0.9-1 [51.2 kB]
Get:119 http://172.17.0.1/private/ stretch-staging/main libsm6 armhf 2:1.2.2-1 [31.2 kB]
Get:120 http://172.17.0.1/private/ stretch-staging/main libbonoboui2-common all 2.24.5-2 [192 kB]
Get:121 http://172.17.0.1/private/ stretch-staging/main libbonoboui2-0 armhf 2.24.5-2 [177 kB]
Get:122 http://172.17.0.1/private/ stretch-staging/main libcroco3 armhf 0.6.8-3 [121 kB]
Get:123 http://172.17.0.1/private/ stretch-staging/main libelf1 armhf 0.159-4.2 [159 kB]
Get:124 http://172.17.0.1/private/ stretch-staging/main emacsen-common all 2.0.8 [21.2 kB]
Get:125 http://172.17.0.1/private/ stretch-staging/main dictionaries-common all 1.25.2 [251 kB]
Get:126 http://172.17.0.1/private/ stretch-staging/main aspell armhf 0.60.7~20110707-3 [220 kB]
Get:127 http://172.17.0.1/private/ stretch-staging/main aspell-en all 7.1-0-1.1 [266 kB]
Get:128 http://172.17.0.1/private/ stretch-staging/main libhunspell-1.3-0 armhf 1.3.3-3 [123 kB]
Get:129 http://172.17.0.1/private/ stretch-staging/main libenchant1c2a armhf 1.6.0-10.1 [58.6 kB]
Get:130 http://172.17.0.1/private/ stretch-staging/main libgmpxx4ldbl armhf 2:6.0.0+dfsg-6+rpi1 [21.6 kB]
Get:131 http://172.17.0.1/private/ stretch-staging/main libgnome-keyring-common all 3.12.0-1 [59.5 kB]
Get:132 http://172.17.0.1/private/ stretch-staging/main libgnome-keyring0 armhf 3.12.0-1+b1 [79.9 kB]
Get:133 http://172.17.0.1/private/ stretch-staging/main libgnomeui-common all 2.24.5-3 [514 kB]
Get:134 http://172.17.0.1/private/ stretch-staging/main libgnomeui-0 armhf 2.24.5-3 [285 kB]
Get:135 http://172.17.0.1/private/ stretch-staging/main libicu52 armhf 52.1-9 [6554 kB]
Get:136 http://172.17.0.1/private/ stretch-staging/main libidl0 armhf 0.8.14-1 [110 kB]
Get:137 http://172.17.0.1/private/ stretch-staging/main liblzo2-2 armhf 2.08-1.2 [47.6 kB]
Get:138 http://172.17.0.1/private/ stretch-staging/main libxft2 armhf 2.3.2-1 [48.3 kB]
Get:139 http://172.17.0.1/private/ stretch-staging/main libpangoxft-1.0-0 armhf 1.36.8-3 [193 kB]
Get:140 http://172.17.0.1/private/ stretch-staging/main libpcrecpp0 armhf 2:8.35-5 [139 kB]
Get:141 http://172.17.0.1/private/ stretch-staging/main libunistring0 armhf 0.9.3-5.2 [253 kB]
Get:142 http://172.17.0.1/private/ stretch-staging/main libgnutlsxx28 armhf 3.3.15-2 [12.7 kB]
Get:143 http://172.17.0.1/private/ stretch-staging/main file armhf 1:5.22+15-2 [59.9 kB]
Get:144 http://172.17.0.1/private/ stretch-staging/main gettext-base armhf 0.19.4-1 [117 kB]
Get:145 http://172.17.0.1/private/ stretch-staging/main gettext armhf 0.19.4-1 [1168 kB]
Get:146 http://172.17.0.1/private/ stretch-staging/main intltool-debian all 0.35.0+20060710.2 [25.9 kB]
Get:147 http://172.17.0.1/private/ stretch-staging/main po-debconf all 1.0.18 [248 kB]
Get:148 http://172.17.0.1/private/ stretch-staging/main debhelper all 9.20150507 [824 kB]
Get:149 http://172.17.0.1/private/ stretch-staging/main libgirepository-1.0-1 armhf 1.42.0-2.2 [82.9 kB]
Get:150 http://172.17.0.1/private/ stretch-staging/main gir1.2-glib-2.0 armhf 1.42.0-2.2 [141 kB]
Get:151 http://172.17.0.1/private/ stretch-staging/main gir1.2-atk-1.0 armhf 2.16.0-2 [67.2 kB]
Get:152 http://172.17.0.1/private/ stretch-staging/main libcairo-gobject2 armhf 1.14.2-2 [314 kB]
Get:153 http://172.17.0.1/private/ stretch-staging/main gir1.2-freedesktop armhf 1.42.0-2.2 [22.1 kB]
Get:154 http://172.17.0.1/private/ stretch-staging/main gir1.2-gconf-2.0 armhf 3.2.6-3 [362 kB]
Get:155 http://172.17.0.1/private/ stretch-staging/main gir1.2-gdkpixbuf-2.0 armhf 2.31.4-2 [18.1 kB]
Get:156 http://172.17.0.1/private/ stretch-staging/main gir1.2-gnomekeyring-1.0 armhf 3.12.0-1+b1 [40.4 kB]
Get:157 http://172.17.0.1/private/ stretch-staging/main gir1.2-pango-1.0 armhf 1.36.8-3 [201 kB]
Get:158 http://172.17.0.1/private/ stretch-staging/main gir1.2-gtk-2.0 armhf 2.24.25-3 [696 kB]
Get:159 http://172.17.0.1/private/ stretch-staging/main librsvg2-2 armhf 2.40.9-2 [240 kB]
Get:160 http://172.17.0.1/private/ stretch-staging/main gir1.2-rsvg-2.0 armhf 2.40.9-2 [176 kB]
Get:161 http://172.17.0.1/private/ stretch-staging/main pkg-config armhf 0.28-1 [55.1 kB]
Get:162 http://172.17.0.1/private/ stretch-staging/main libart-2.0-dev armhf 2.3.21-2 [82.0 kB]
Get:163 http://172.17.0.1/private/ stretch-staging/main libglib2.0-data all 2.44.1-1 [2239 kB]
Get:164 http://172.17.0.1/private/ stretch-staging/main libglib2.0-bin armhf 2.44.1-1 [1389 kB]
Get:165 http://172.17.0.1/private/ stretch-staging/main libpcre16-3 armhf 2:8.35-5 [221 kB]
Get:166 http://172.17.0.1/private/ stretch-staging/main libpcre32-3 armhf 2:8.35-5 [214 kB]
Get:167 http://172.17.0.1/private/ stretch-staging/main libpcre3-dev armhf 2:8.35-5 [550 kB]
Get:168 http://172.17.0.1/private/ stretch-staging/main zlib1g-dev armhf 1:1.2.8.dfsg-2 [199 kB]
Get:169 http://172.17.0.1/private/ stretch-staging/main libglib2.0-dev armhf 2.44.1-1 [2541 kB]
Get:170 http://172.17.0.1/private/ stretch-staging/main libatk1.0-dev armhf 2.16.0-2 [129 kB]
Get:171 http://172.17.0.1/private/ stretch-staging/main libavahi-common-dev armhf 0.6.31-5 [61.4 kB]
Get:172 http://172.17.0.1/private/ stretch-staging/main libdbus-1-dev armhf 1.8.18-1 [196 kB]
Get:173 http://172.17.0.1/private/ stretch-staging/main libavahi-client-dev armhf 0.6.31-5 [55.4 kB]
Get:174 http://172.17.0.1/private/ stretch-staging/main libavahi-glib-dev armhf 0.6.31-5 [36.2 kB]
Get:175 http://172.17.0.1/private/ stretch-staging/main liborbit2 armhf 1:2.14.19-1 [109 kB]
Get:176 http://172.17.0.1/private/ stretch-staging/main libidl-dev armhf 0.8.14-1 [114 kB]
Get:177 http://172.17.0.1/private/ stretch-staging/main orbit2 armhf 1:2.14.19-1 [140 kB]
Get:178 http://172.17.0.1/private/ stretch-staging/main liborbit2-dev armhf 1:2.14.19-1 [309 kB]
Get:179 http://172.17.0.1/private/ stretch-staging/main libpopt-dev armhf 1.16-10 [47.0 kB]
Get:180 http://172.17.0.1/private/ stretch-staging/main libbonobo2-dev armhf 2.32.1-3 [581 kB]
Get:181 http://172.17.0.1/private/ stretch-staging/main xorg-sgml-doctools all 1:1.11-1 [21.9 kB]
Get:182 http://172.17.0.1/private/ stretch-staging/main x11proto-core-dev all 7.0.27-1 [729 kB]
Get:183 http://172.17.0.1/private/ stretch-staging/main libxau-dev armhf 1:1.0.8-1 [23.0 kB]
Get:184 http://172.17.0.1/private/ stretch-staging/main libxdmcp-dev armhf 1:1.1.2-1 [40.3 kB]
Get:185 http://172.17.0.1/private/ stretch-staging/main x11proto-input-dev all 2.3.1-1 [157 kB]
Get:186 http://172.17.0.1/private/ stretch-staging/main x11proto-kb-dev all 1.0.6-2 [269 kB]
Get:187 http://172.17.0.1/private/ stretch-staging/main xtrans-dev all 1.3.5-1 [100 kB]
Get:188 http://172.17.0.1/private/ stretch-staging/main libpthread-stubs0-dev armhf 0.3-4 [4042 B]
Get:189 http://172.17.0.1/private/ stretch-staging/main libxcb1-dev armhf 1.10-3 [78.1 kB]
Get:190 http://172.17.0.1/private/ stretch-staging/main libx11-dev armhf 2:1.6.3-1 [749 kB]
Get:191 http://172.17.0.1/private/ stretch-staging/main libpng12-dev armhf 1.2.50-2 [236 kB]
Get:192 http://172.17.0.1/private/ stretch-staging/main libgdk-pixbuf2.0-dev armhf 2.31.4-2 [54.0 kB]
Get:193 http://172.17.0.1/private/ stretch-staging/main libcairo-script-interpreter2 armhf 1.14.2-2 [342 kB]
Get:194 http://172.17.0.1/private/ stretch-staging/main libexpat1-dev armhf 2.1.0-6 [117 kB]
Get:195 http://172.17.0.1/private/ stretch-staging/main libfreetype6-dev armhf 2.5.2-4 [586 kB]
Get:196 http://172.17.0.1/private/ stretch-staging/main libfontconfig1-dev armhf 2.11.0-6.3 [875 kB]
Get:197 http://172.17.0.1/private/ stretch-staging/main x11proto-render-dev all 2:0.11.1-2 [20.8 kB]
Get:198 http://172.17.0.1/private/ stretch-staging/main libxrender-dev armhf 1:0.9.8-1 [38.8 kB]
Get:199 http://172.17.0.1/private/ stretch-staging/main x11proto-xext-dev all 7.3.0-1 [212 kB]
Get:200 http://172.17.0.1/private/ stretch-staging/main libxext-dev armhf 2:1.3.3-1 [102 kB]
Get:201 http://172.17.0.1/private/ stretch-staging/main libice-dev armhf 2:1.0.9-1 [58.1 kB]
Get:202 http://172.17.0.1/private/ stretch-staging/main libsm-dev armhf 2:1.2.2-1 [33.5 kB]
Get:203 http://172.17.0.1/private/ stretch-staging/main libpixman-1-dev armhf 0.32.6-3 [440 kB]
Get:204 http://172.17.0.1/private/ stretch-staging/main libxcb-render0-dev armhf 1.10-3 [21.7 kB]
Get:205 http://172.17.0.1/private/ stretch-staging/main libxcb-shm0-dev armhf 1.10-3 [12.4 kB]
Get:206 http://172.17.0.1/private/ stretch-staging/main libcairo2-dev armhf 1.14.2-2 [795 kB]
Get:207 http://172.17.0.1/private/ stretch-staging/main libharfbuzz-icu0 armhf 0.9.40-3 [375 kB]
Get:208 http://172.17.0.1/private/ stretch-staging/main libharfbuzz-gobject0 armhf 0.9.40-3 [380 kB]
Get:209 http://172.17.0.1/private/ stretch-staging/main libharfbuzz-dev armhf 0.9.40-3 [526 kB]
Get:210 http://172.17.0.1/private/ stretch-staging/main libxft-dev armhf 2.3.2-1 [59.1 kB]
Get:211 http://172.17.0.1/private/ stretch-staging/main libpango1.0-dev armhf 1.36.8-3 [439 kB]
Get:212 http://172.17.0.1/private/ stretch-staging/main x11proto-xinerama-dev all 1.2.1-2 [4938 B]
Get:213 http://172.17.0.1/private/ stretch-staging/main libxinerama-dev armhf 2:1.1.3-1 [19.5 kB]
Get:214 http://172.17.0.1/private/ stretch-staging/main x11proto-fixes-dev all 1:5.0-2 [19.2 kB]
Get:215 http://172.17.0.1/private/ stretch-staging/main libxfixes-dev armhf 1:5.0.1-2 [21.5 kB]
Get:216 http://172.17.0.1/private/ stretch-staging/main libxi-dev armhf 2:1.7.4-1 [231 kB]
Get:217 http://172.17.0.1/private/ stretch-staging/main x11proto-randr-dev all 1.4.1-2 [47.8 kB]
Get:218 http://172.17.0.1/private/ stretch-staging/main libxrandr-dev armhf 2:1.4.2-1 [39.3 kB]
Get:219 http://172.17.0.1/private/ stretch-staging/main libxcursor-dev armhf 1:1.1.14-1 [43.1 kB]
Get:220 http://172.17.0.1/private/ stretch-staging/main x11proto-composite-dev all 1:0.4.2-2 [15.3 kB]
Get:221 http://172.17.0.1/private/ stretch-staging/main libxcomposite-dev armhf 1:0.4.4-1 [20.5 kB]
Get:222 http://172.17.0.1/private/ stretch-staging/main x11proto-damage-dev all 1:1.2.1-2 [11.8 kB]
Get:223 http://172.17.0.1/private/ stretch-staging/main libxdamage-dev armhf 1:1.1.4-2 [13.7 kB]
Get:224 http://172.17.0.1/private/ stretch-staging/main libxml2-utils armhf 2.9.1+dfsg1-5 [89.4 kB]
Get:225 http://172.17.0.1/private/ stretch-staging/main libgtk2.0-dev armhf 2.24.25-3 [2829 kB]
Get:226 http://172.17.0.1/private/ stretch-staging/main libgail-common armhf 2.24.25-3 [611 kB]
Get:227 http://172.17.0.1/private/ stretch-staging/main libgail-dev armhf 2.24.25-3 [538 kB]
Get:228 http://172.17.0.1/private/ stretch-staging/main libgnomecanvas2-dev armhf 2.30.3-2 [114 kB]
Get:229 http://172.17.0.1/private/ stretch-staging/main libgconf2-dev armhf 3.2.6-3 [433 kB]
Get:230 http://172.17.0.1/private/ stretch-staging/main libgmp-dev armhf 2:6.0.0+dfsg-6+rpi1 [552 kB]
Get:231 http://172.17.0.1/private/ stretch-staging/main nettle-dev armhf 2.7.1-5 [834 kB]
Get:232 http://172.17.0.1/private/ stretch-staging/main libtasn1-6-dev armhf 4.5-2 [86.5 kB]
Get:233 http://172.17.0.1/private/ stretch-staging/main libp11-kit-dev armhf 0.23.1-2 [63.9 kB]
Get:234 http://172.17.0.1/private/ stretch-staging/main libgnutls28-dev armhf 3.3.15-2 [594 kB]
Get:235 http://172.17.0.1/private/ stretch-staging/main libxml2-dev armhf 2.9.1+dfsg1-5 [613 kB]
Get:236 http://172.17.0.1/private/ stretch-staging/main libsepol1-dev armhf 2.3-2 [151 kB]
Get:237 http://172.17.0.1/private/ stretch-staging/main libselinux1-dev armhf 2.3-2 [147 kB]
Get:238 http://172.17.0.1/private/ stretch-staging/main libgnomevfs2-dev armhf 1:2.24.4-6 [467 kB]
Get:239 http://172.17.0.1/private/ stretch-staging/main libcanberra-dev armhf 0.30-2.1 [14.2 kB]
Get:240 http://172.17.0.1/private/ stretch-staging/main libgnome2-dev armhf 2.32.1-5 [466 kB]
Get:241 http://172.17.0.1/private/ stretch-staging/main libbonoboui2-dev armhf 2.24.5-2 [330 kB]
Get:242 http://172.17.0.1/private/ stretch-staging/main libenchant-dev armhf 1.6.0-10.1 [54.3 kB]
Get:243 http://172.17.0.1/private/ stretch-staging/main libglade2-dev armhf 1:2.6.4-2 [113 kB]
Get:244 http://172.17.0.1/private/ stretch-staging/main libgmp3-dev armhf 2:6.0.0+dfsg-6+rpi1 [15.0 kB]
Get:245 http://172.17.0.1/private/ stretch-staging/main libgnome-keyring-dev armhf 3.12.0-1+b1 [84.8 kB]
Get:246 http://172.17.0.1/private/ stretch-staging/main libgnome2-bin armhf 2.32.1-5 [433 kB]
Get:247 http://172.17.0.1/private/ stretch-staging/main libgnome2-0 armhf 2.32.1-5 [429 kB]
Get:248 http://172.17.0.1/private/ stretch-staging/main libgnomeui-dev armhf 2.24.5-3 [337 kB]
Get:249 http://172.17.0.1/private/ stretch-staging/main libgtksourceview2.0-common all 2.10.5-2 [478 kB]
Get:250 http://172.17.0.1/private/ stretch-staging/main libgtksourceview2.0-0 armhf 2.10.5-2 [163 kB]
Get:251 http://172.17.0.1/private/ stretch-staging/main libgtksourceview2.0-dev armhf 2.10.5-2 [189 kB]
Get:252 http://172.17.0.1/private/ stretch-staging/main libgtkspell0 armhf 2.0.16-1.1 [22.5 kB]
Get:253 http://172.17.0.1/private/ stretch-staging/main libgtkspell-dev armhf 2.0.16-1.1 [28.9 kB]
Get:254 http://172.17.0.1/private/ stretch-staging/main ocaml-base-nox armhf 4.01.0-5+rpi1 [496 kB]
Get:255 http://172.17.0.1/private/ stretch-staging/main liblablgtk2-ocaml armhf 2.16.0+dfsg-1 [1071 kB]
Get:256 http://172.17.0.1/private/ stretch-staging/main liblablgtk2-gnome-ocaml armhf 2.16.0+dfsg-1 [113 kB]
Get:257 http://172.17.0.1/private/ stretch-staging/main librsvg2-common armhf 2.40.9-2 [177 kB]
Get:258 http://172.17.0.1/private/ stretch-staging/main librsvg2-dev armhf 2.40.9-2 [257 kB]
Get:259 http://172.17.0.1/private/ stretch-staging/main libtinfo-dev armhf 5.9+20140913-1 [65.4 kB]
Get:260 http://172.17.0.1/private/ stretch-staging/main libncurses5-dev armhf 5.9+20140913-1 [154 kB]
Get:261 http://172.17.0.1/private/ stretch-staging/main ocaml-compiler-libs armhf 4.01.0-5+rpi1 [1520 kB]
Get:262 http://172.17.0.1/private/ stretch-staging/main ocaml-interp armhf 4.01.0-5+rpi1 [305 kB]
Get:263 http://172.17.0.1/private/ stretch-staging/main ocaml-nox armhf 4.01.0-5+rpi1 [3727 kB]
Get:264 http://172.17.0.1/private/ stretch-staging/main liblablgtk2-ocaml-dev armhf 2.16.0+dfsg-1 [2370 kB]
Get:265 http://172.17.0.1/private/ stretch-staging/main liblablgtk2-gnome-ocaml-dev armhf 2.16.0+dfsg-1 [160 kB]
Get:266 http://172.17.0.1/private/ stretch-staging/main liblablgtksourceview2-ocaml armhf 2.16.0+dfsg-1 [145 kB]
Get:267 http://172.17.0.1/private/ stretch-staging/main liblablgtksourceview2-ocaml-dev armhf 2.16.0+dfsg-1 [209 kB]
Get:268 http://172.17.0.1/private/ stretch-staging/main libocamlgraph-ocaml-dev armhf 1.8.5-1 [1194 kB]
Get:269 http://172.17.0.1/private/ stretch-staging/main libzarith-ocaml armhf 1.2.1-2+b1 [32.3 kB]
Get:270 http://172.17.0.1/private/ stretch-staging/main libzarith-ocaml-dev armhf 1.2.1-2+b1 [60.0 kB]
Get:271 http://172.17.0.1/private/ stretch-staging/main dh-ocaml all 1.0.9 [83.5 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 92.0 MB in 27s (3331 kB/s)
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 11998 files and directories currently installed.)
Preparing to unpack .../libpcre3_2%3a8.35-5_armhf.deb ...
Unpacking libpcre3:armhf (2:8.35-5) over (2:8.35-3.3) ...
Setting up libpcre3:armhf (2:8.35-5) ...
Processing triggers for libc-bin (2.19-18) ...
Selecting previously unselected package libpipeline1:armhf.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 11998 files and directories currently installed.)
Preparing to unpack .../libpipeline1_1.4.0-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.0-1) ...
Selecting previously unselected package libpopt0:armhf.
Preparing to unpack .../libpopt0_1.16-10_armhf.deb ...
Unpacking libpopt0:armhf (1.16-10) ...
Selecting previously unselected package libssl1.0.0:armhf.
Preparing to unpack .../libssl1.0.0_1.0.2a-1_armhf.deb ...
Unpacking libssl1.0.0:armhf (1.0.2a-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../groff-base_1.22.3-1_armhf.deb ...
Unpacking groff-base (1.22.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.6_armhf.deb ...
Unpacking bsdmainutils (9.0.6) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.0.2-5_armhf.deb ...
Unpacking man-db (2.7.0.2-5) ...
Selecting previously unselected package libasprintf0c2:armhf.
Preparing to unpack .../libasprintf0c2_0.19.4-1_armhf.deb ...
Unpacking libasprintf0c2:armhf (0.19.4-1) ...
Selecting previously unselected package libnettle4:armhf.
Preparing to unpack .../libnettle4_2.7.1-5_armhf.deb ...
Unpacking libnettle4:armhf (2.7.1-5) ...
Selecting previously unselected package libhogweed2:armhf.
Preparing to unpack .../libhogweed2_2.7.1-5_armhf.deb ...
Unpacking libhogweed2:armhf (2.7.1-5) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../libffi6_3.1-2_armhf.deb ...
Unpacking libffi6:armhf (3.1-2) ...
Selecting previously unselected package libp11-kit0:armhf.
Preparing to unpack .../libp11-kit0_0.23.1-2_armhf.deb ...
Unpacking libp11-kit0:armhf (0.23.1-2) ...
Selecting previously unselected package libtasn1-6:armhf.
Preparing to unpack .../libtasn1-6_4.5-2_armhf.deb ...
Unpacking libtasn1-6:armhf (4.5-2) ...
Selecting previously unselected package libgnutls-deb0-28:armhf.
Preparing to unpack .../libgnutls-deb0-28_3.3.15-2_armhf.deb ...
Unpacking libgnutls-deb0-28:armhf (3.3.15-2) ...
Selecting previously unselected package libgnutls-openssl27:armhf.
Preparing to unpack .../libgnutls-openssl27_3.3.15-2_armhf.deb ...
Unpacking libgnutls-openssl27:armhf (3.3.15-2) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../libkeyutils1_1.5.9-5_armhf.deb ...
Unpacking libkeyutils1:armhf (1.5.9-5) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../libkrb5support0_1.12.1+dfsg-20_armhf.deb ...
Unpacking libkrb5support0:armhf (1.12.1+dfsg-20) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../libk5crypto3_1.12.1+dfsg-20_armhf.deb ...
Unpacking libk5crypto3:armhf (1.12.1+dfsg-20) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../libkrb5-3_1.12.1+dfsg-20_armhf.deb ...
Unpacking libkrb5-3:armhf (1.12.1+dfsg-20) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../libgssapi-krb5-2_1.12.1+dfsg-20_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.12.1+dfsg-20) ...
Selecting previously unselected package libsasl2-modules-db:armhf.
Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-13_armhf.deb ...
Unpacking libsasl2-modules-db:armhf (2.1.26.dfsg1-13) ...
Selecting previously unselected package libsasl2-2:armhf.
Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-13_armhf.deb ...
Unpacking libsasl2-2:armhf (2.1.26.dfsg1-13) ...
Selecting previously unselected package libldap-2.4-2:armhf.
Preparing to unpack .../libldap-2.4-2_2.4.40+dfsg-1_armhf.deb ...
Unpacking libldap-2.4-2:armhf (2.4.40+dfsg-1) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../libmagic1_1%3a5.22+15-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.22+15-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.1+dfsg1-5_armhf.deb ...
Unpacking libxml2:armhf (2.9.1+dfsg1-5) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../libpython2.7-minimal_2.7.10~rc1-1_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.10~rc1-1) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../python2.7-minimal_2.7.10~rc1-1_armhf.deb ...
Unpacking python2.7-minimal (2.7.10~rc1-1) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../python-minimal_2.7.9-1_armhf.deb ...
Unpacking python-minimal (2.7.9-1) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.58_all.deb ...
Unpacking mime-support (3.58) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../libexpat1_2.1.0-6_armhf.deb ...
Unpacking libexpat1:armhf (2.1.0-6) ...
Selecting previously unselected package libsqlite3-0:armhf.
Preparing to unpack .../libsqlite3-0_3.8.10.2-1_armhf.deb ...
Unpacking libsqlite3-0:armhf (3.8.10.2-1) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../libpython2.7-stdlib_2.7.10~rc1-1_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.10~rc1-1) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.10~rc1-1_armhf.deb ...
Unpacking python2.7 (2.7.10~rc1-1) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../libpython-stdlib_2.7.9-1_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.9-1) ...
Setting up libpython2.7-minimal:armhf (2.7.10~rc1-1) ...
Setting up python2.7-minimal (2.7.10~rc1-1) ...
Setting up python-minimal (2.7.9-1) ...
Selecting previously unselected package python.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 13572 files and directories currently installed.)
Preparing to unpack .../python_2.7.9-1_armhf.deb ...
Unpacking python (2.7.9-1) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../libfreetype6_2.5.2-4_armhf.deb ...
Unpacking libfreetype6:armhf (2.5.2-4) ...
Selecting previously unselected package ucf.
Preparing to unpack .../archives/ucf_3.0030_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0030) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../fonts-dejavu-core_2.35-1_all.deb ...
Unpacking fonts-dejavu-core (2.35-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../fontconfig-config_2.11.0-6.3_all.deb ...
Unpacking fontconfig-config (2.11.0-6.3) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../libfontconfig1_2.11.0-6.3_armhf.deb ...
Unpacking libfontconfig1:armhf (2.11.0-6.3) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../fontconfig_2.11.0-6.3_armhf.deb ...
Unpacking fontconfig (2.11.0-6.3) ...
Selecting previously unselected package libart-2.0-2:armhf.
Preparing to unpack .../libart-2.0-2_2.3.21-2_armhf.deb ...
Unpacking libart-2.0-2:armhf (2.3.21-2) ...
Selecting previously unselected package libasound2-data.
Preparing to unpack .../libasound2-data_1.0.28-1_all.deb ...
Unpacking libasound2-data (1.0.28-1) ...
Selecting previously unselected package libasound2:armhf.
Preparing to unpack .../libasound2_1.0.28-1_armhf.deb ...
Unpacking libasound2:armhf (1.0.28-1) ...
Selecting previously unselected package libaspell15:armhf.
Preparing to unpack .../libaspell15_0.60.7~20110707-3_armhf.deb ...
Unpacking libaspell15:armhf (0.60.7~20110707-3) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../libglib2.0-0_2.44.1-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.44.1-1) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../libatk1.0-data_2.16.0-2_all.deb ...
Unpacking libatk1.0-data (2.16.0-2) ...
Selecting previously unselected package libatk1.0-0:armhf.
Preparing to unpack .../libatk1.0-0_2.16.0-2_armhf.deb ...
Unpacking libatk1.0-0:armhf (2.16.0-2) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../libavahi-common-data_0.6.31-5_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.6.31-5) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../libavahi-common3_0.6.31-5_armhf.deb ...
Unpacking libavahi-common3:armhf (0.6.31-5) ...
Preparing to unpack .../libdbus-1-3_1.8.18-1_armhf.deb ...
Unpacking libdbus-1-3:armhf (1.8.18-1) over (1.8.16-1) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../libavahi-client3_0.6.31-5_armhf.deb ...
Unpacking libavahi-client3:armhf (0.6.31-5) ...
Selecting previously unselected package libavahi-glib1:armhf.
Preparing to unpack .../libavahi-glib1_0.6.31-5_armhf.deb ...
Unpacking libavahi-glib1:armhf (0.6.31-5) ...
Selecting previously unselected package libbonobo2-common.
Preparing to unpack .../libbonobo2-common_2.32.1-3_all.deb ...
Unpacking libbonobo2-common (2.32.1-3) ...
Selecting previously unselected package liborbit-2-0:armhf.
Preparing to unpack .../liborbit-2-0_1%3a2.14.19-1_armhf.deb ...
Unpacking liborbit-2-0:armhf (1:2.14.19-1) ...
Selecting previously unselected package libbonobo2-0:armhf.
Preparing to unpack .../libbonobo2-0_2.32.1-3_armhf.deb ...
Unpacking libbonobo2-0:armhf (2.32.1-3) ...
Selecting previously unselected package libdbus-glib-1-2:armhf.
Preparing to unpack .../libdbus-glib-1-2_0.102-1_armhf.deb ...
Unpacking libdbus-glib-1-2:armhf (0.102-1) ...
Selecting previously unselected package gconf2-common.
Preparing to unpack .../gconf2-common_3.2.6-3_all.deb ...
Unpacking gconf2-common (3.2.6-3) ...
Selecting previously unselected package libgconf-2-4:armhf.
Preparing to unpack .../libgconf-2-4_3.2.6-3_armhf.deb ...
Unpacking libgconf-2-4:armhf (3.2.6-3) ...
Selecting previously unselected package gconf-service.
Preparing to unpack .../gconf-service_3.2.6-3_armhf.deb ...
Unpacking gconf-service (3.2.6-3) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../libpixman-1-0_0.32.6-3_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.32.6-3) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../libxau6_1%3a1.0.8-1_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.8-1) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../libxdmcp6_1%3a1.1.2-1_armhf.deb ...
Unpacking libxdmcp6:armhf (1:1.1.2-1) ...
Selecting previously unselected package libxcb1:armhf.
Preparing to unpack .../libxcb1_1.10-3_armhf.deb ...
Unpacking libxcb1:armhf (1.10-3) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../libx11-data_2%3a1.6.3-1_all.deb ...
Unpacking libx11-data (2:1.6.3-1) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../libx11-6_2%3a1.6.3-1_armhf.deb ...
Unpacking libx11-6:armhf (2:1.6.3-1) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../libxcb-render0_1.10-3_armhf.deb ...
Unpacking libxcb-render0:armhf (1.10-3) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../libxcb-shm0_1.10-3_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.10-3) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../libxext6_2%3a1.3.3-1_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.3-1) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../libxrender1_1%3a0.9.8-1_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.8-1) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../libcairo2_1.14.2-2_armhf.deb ...
Unpacking libcairo2:armhf (1.14.2-2) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../libjpeg62-turbo_1%3a1.4.0-7_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:1.4.0-7) ...
Selecting previously unselected package libjasper1:armhf.
Preparing to unpack .../libjasper1_1.900.1-debian1-2.4_armhf.deb ...
Unpacking libjasper1:armhf (1.900.1-debian1-2.4) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../libjbig0_2.1-3.1_armhf.deb ...
Unpacking libjbig0:armhf (2.1-3.1) ...
Selecting previously unselected package libtiff5:armhf.
Preparing to unpack .../libtiff5_4.0.3-13_armhf.deb ...
Unpacking libtiff5:armhf (4.0.3-13) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../libgdk-pixbuf2.0-common_2.31.4-2_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.31.4-2) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:armhf.
Preparing to unpack .../libgdk-pixbuf2.0-0_2.31.4-2_armhf.deb ...
Unpacking libgdk-pixbuf2.0-0:armhf (2.31.4-2) ...
Selecting previously unselected package libgtk2.0-common.
Preparing to unpack .../libgtk2.0-common_2.24.25-3_all.deb ...
Unpacking libgtk2.0-common (2.24.25-3) ...
Selecting previously unselected package libcups2:armhf.
Preparing to unpack .../libcups2_1.7.5-11_armhf.deb ...
Unpacking libcups2:armhf (1.7.5-11) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../libthai-data_0.1.22-1_all.deb ...
Unpacking libthai-data (0.1.22-1) ...
Selecting previously unselected package libdatrie1:armhf.
Preparing to unpack .../libdatrie1_0.2.9-1_armhf.deb ...
Unpacking libdatrie1:armhf (0.2.9-1) ...
Selecting previously unselected package libthai0:armhf.
Preparing to unpack .../libthai0_0.1.22-1_armhf.deb ...
Unpacking libthai0:armhf (0.1.22-1) ...
Selecting previously unselected package libpango-1.0-0:armhf.
Preparing to unpack .../libpango-1.0-0_1.36.8-3_armhf.deb ...
Unpacking libpango-1.0-0:armhf (1.36.8-3) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../libgraphite2-3_1.2.4-3_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.2.4-3) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../libharfbuzz0b_0.9.40-3_armhf.deb ...
Unpacking libharfbuzz0b:armhf (0.9.40-3) ...
Selecting previously unselected package libpangoft2-1.0-0:armhf.
Preparing to unpack .../libpangoft2-1.0-0_1.36.8-3_armhf.deb ...
Unpacking libpangoft2-1.0-0:armhf (1.36.8-3) ...
Selecting previously unselected package libpangocairo-1.0-0:armhf.
Preparing to unpack .../libpangocairo-1.0-0_1.36.8-3_armhf.deb ...
Unpacking libpangocairo-1.0-0:armhf (1.36.8-3) ...
Selecting previously unselected package libxcomposite1:armhf.
Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_armhf.deb ...
Unpacking libxcomposite1:armhf (1:0.4.4-1) ...
Selecting previously unselected package libxfixes3:armhf.
Preparing to unpack .../libxfixes3_1%3a5.0.1-2_armhf.deb ...
Unpacking libxfixes3:armhf (1:5.0.1-2) ...
Selecting previously unselected package libxcursor1:armhf.
Preparing to unpack .../libxcursor1_1%3a1.1.14-1_armhf.deb ...
Unpacking libxcursor1:armhf (1:1.1.14-1) ...
Selecting previously unselected package libxdamage1:armhf.
Preparing to unpack .../libxdamage1_1%3a1.1.4-2_armhf.deb ...
Unpacking libxdamage1:armhf (1:1.1.4-2) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../libxi6_2%3a1.7.4-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.7.4-1) ...
Selecting previously unselected package libxinerama1:armhf.
Preparing to unpack .../libxinerama1_2%3a1.1.3-1_armhf.deb ...
Unpacking libxinerama1:armhf (2:1.1.3-1) ...
Selecting previously unselected package libxrandr2:armhf.
Preparing to unpack .../libxrandr2_2%3a1.4.2-1_armhf.deb ...
Unpacking libxrandr2:armhf (2:1.4.2-1) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../shared-mime-info_1.3-1_armhf.deb ...
Unpacking shared-mime-info (1.3-1) ...
Selecting previously unselected package libgtk2.0-0:armhf.
Preparing to unpack .../libgtk2.0-0_2.24.25-3_armhf.deb ...
Unpacking libgtk2.0-0:armhf (2.24.25-3) ...
Selecting previously unselected package libglade2-0:armhf.
Preparing to unpack .../libglade2-0_1%3a2.6.4-2_armhf.deb ...
Unpacking libglade2-0:armhf (1:2.6.4-2) ...
Selecting previously unselected package libltdl7:armhf.
Preparing to unpack .../libltdl7_2.4.2-1.11_armhf.deb ...
Unpacking libltdl7:armhf (2.4.2-1.11) ...
Selecting previously unselected package libogg0:armhf.
Preparing to unpack .../libogg0_1.3.2-1_armhf.deb ...
Unpacking libogg0:armhf (1.3.2-1) ...
Selecting previously unselected package libtdb1:armhf.
Preparing to unpack .../libtdb1_1.3.5-1_armhf.deb ...
Unpacking libtdb1:armhf (1.3.5-1) ...
Selecting previously unselected package libvorbis0a:armhf.
Preparing to unpack .../libvorbis0a_1.3.4-2_armhf.deb ...
Unpacking libvorbis0a:armhf (1.3.4-2) ...
Selecting previously unselected package libvorbisfile3:armhf.
Preparing to unpack .../libvorbisfile3_1.3.4-2_armhf.deb ...
Unpacking libvorbisfile3:armhf (1.3.4-2) ...
Selecting previously unselected package libcanberra0:armhf.
Preparing to unpack .../libcanberra0_0.30-2.1_armhf.deb ...
Unpacking libcanberra0:armhf (0.30-2.1) ...
Selecting previously unselected package psmisc.
Preparing to unpack .../psmisc_22.21-2_armhf.deb ...
Unpacking psmisc (22.21-2) ...
Selecting previously unselected package libcap-ng0:armhf.
Preparing to unpack .../libcap-ng0_0.7.6-1_armhf.deb ...
Unpacking libcap-ng0:armhf (0.7.6-1) ...
Selecting previously unselected package dbus.
Preparing to unpack .../dbus_1.8.18-1_armhf.deb ...
Unpacking dbus (1.8.18-1) ...
Selecting previously unselected package dbus-x11.
Preparing to unpack .../dbus-x11_1.8.18-1_armhf.deb ...
Unpacking dbus-x11 (1.8.18-1) ...
Selecting previously unselected package gconf2.
Preparing to unpack .../gconf2_3.2.6-3_armhf.deb ...
Unpacking gconf2 (3.2.6-3) ...
Selecting previously unselected package gnome-mime-data.
Preparing to unpack .../gnome-mime-data_2.18.0-1_all.deb ...
Unpacking gnome-mime-data (2.18.0-1) ...
Selecting previously unselected package libgnomevfs2-common.
Preparing to unpack .../libgnomevfs2-common_1%3a2.24.4-6_all.deb ...
Unpacking libgnomevfs2-common (1:2.24.4-6) ...
Selecting previously unselected package libgnomevfs2-0:armhf.
Preparing to unpack .../libgnomevfs2-0_1%3a2.24.4-6_armhf.deb ...
Unpacking libgnomevfs2-0:armhf (1:2.24.4-6) ...
Selecting previously unselected package libgnome2-common.
Preparing to unpack .../libgnome2-common_2.32.1-5_all.deb ...
Unpacking libgnome2-common (2.32.1-5) ...
Selecting previously unselected package libgnome-2-0:armhf.
Preparing to unpack .../libgnome-2-0_2.32.1-5_armhf.deb ...
Unpacking libgnome-2-0:armhf (2.32.1-5) ...
Selecting previously unselected package libgail18:armhf.
Preparing to unpack .../libgail18_2.24.25-3_armhf.deb ...
Unpacking libgail18:armhf (2.24.25-3) ...
Selecting previously unselected package libgnomecanvas2-common.
Preparing to unpack .../libgnomecanvas2-common_2.30.3-2_all.deb ...
Unpacking libgnomecanvas2-common (2.30.3-2) ...
Selecting previously unselected package libgnomecanvas2-0:armhf.
Preparing to unpack .../libgnomecanvas2-0_2.30.3-2_armhf.deb ...
Unpacking libgnomecanvas2-0:armhf (2.30.3-2) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../x11-common_1%3a7.7+9_all.deb ...
Unpacking x11-common (1:7.7+9) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../libice6_2%3a1.0.9-1_armhf.deb ...
Unpacking libice6:armhf (2:1.0.9-1) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../libsm6_2%3a1.2.2-1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.2-1) ...
Selecting previously unselected package libbonoboui2-common.
Preparing to unpack .../libbonoboui2-common_2.24.5-2_all.deb ...
Unpacking libbonoboui2-common (2.24.5-2) ...
Selecting previously unselected package libbonoboui2-0:armhf.
Preparing to unpack .../libbonoboui2-0_2.24.5-2_armhf.deb ...
Unpacking libbonoboui2-0:armhf (2.24.5-2) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../libcroco3_0.6.8-3_armhf.deb ...
Unpacking libcroco3:armhf (0.6.8-3) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../libelf1_0.159-4.2_armhf.deb ...
Unpacking libelf1:armhf (0.159-4.2) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../emacsen-common_2.0.8_all.deb ...
Unpacking emacsen-common (2.0.8) ...
Selecting previously unselected package dictionaries-common.
Preparing to unpack .../dictionaries-common_1.25.2_all.deb ...
Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common'
Unpacking dictionaries-common (1.25.2) ...
Selecting previously unselected package aspell.
Preparing to unpack .../aspell_0.60.7~20110707-3_armhf.deb ...
Unpacking aspell (0.60.7~20110707-3) ...
Selecting previously unselected package aspell-en.
Preparing to unpack .../aspell-en_7.1-0-1.1_all.deb ...
Unpacking aspell-en (7.1-0-1.1) ...
Selecting previously unselected package libhunspell-1.3-0:armhf.
Preparing to unpack .../libhunspell-1.3-0_1.3.3-3_armhf.deb ...
Unpacking libhunspell-1.3-0:armhf (1.3.3-3) ...
Selecting previously unselected package libenchant1c2a:armhf.
Preparing to unpack .../libenchant1c2a_1.6.0-10.1_armhf.deb ...
Unpacking libenchant1c2a:armhf (1.6.0-10.1) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../libgmpxx4ldbl_2%3a6.0.0+dfsg-6+rpi1_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.0.0+dfsg-6+rpi1) ...
Selecting previously unselected package libgnome-keyring-common.
Preparing to unpack .../libgnome-keyring-common_3.12.0-1_all.deb ...
Unpacking libgnome-keyring-common (3.12.0-1) ...
Selecting previously unselected package libgnome-keyring0:armhf.
Preparing to unpack .../libgnome-keyring0_3.12.0-1+b1_armhf.deb ...
Unpacking libgnome-keyring0:armhf (3.12.0-1+b1) ...
Selecting previously unselected package libgnomeui-common.
Preparing to unpack .../libgnomeui-common_2.24.5-3_all.deb ...
Unpacking libgnomeui-common (2.24.5-3) ...
Selecting previously unselected package libgnomeui-0:armhf.
Preparing to unpack .../libgnomeui-0_2.24.5-3_armhf.deb ...
Unpacking libgnomeui-0:armhf (2.24.5-3) ...
Selecting previously unselected package libicu52:armhf.
Preparing to unpack .../libicu52_52.1-9_armhf.deb ...
Unpacking libicu52:armhf (52.1-9) ...
Selecting previously unselected package libidl0:armhf.
Preparing to unpack .../libidl0_0.8.14-1_armhf.deb ...
Unpacking libidl0:armhf (0.8.14-1) ...
Selecting previously unselected package liblzo2-2:armhf.
Preparing to unpack .../liblzo2-2_2.08-1.2_armhf.deb ...
Unpacking liblzo2-2:armhf (2.08-1.2) ...
Selecting previously unselected package libxft2:armhf.
Preparing to unpack .../libxft2_2.3.2-1_armhf.deb ...
Unpacking libxft2:armhf (2.3.2-1) ...
Selecting previously unselected package libpangoxft-1.0-0:armhf.
Preparing to unpack .../libpangoxft-1.0-0_1.36.8-3_armhf.deb ...
Unpacking libpangoxft-1.0-0:armhf (1.36.8-3) ...
Selecting previously unselected package libpcrecpp0:armhf.
Preparing to unpack .../libpcrecpp0_2%3a8.35-5_armhf.deb ...
Unpacking libpcrecpp0:armhf (2:8.35-5) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../libunistring0_0.9.3-5.2_armhf.deb ...
Unpacking libunistring0:armhf (0.9.3-5.2) ...
Selecting previously unselected package libgnutlsxx28:armhf.
Preparing to unpack .../libgnutlsxx28_3.3.15-2_armhf.deb ...
Unpacking libgnutlsxx28:armhf (3.3.15-2) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.22+15-2_armhf.deb ...
Unpacking file (1:5.22+15-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.4-1_armhf.deb ...
Unpacking gettext-base (0.19.4-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.4-1_armhf.deb ...
Unpacking gettext (0.19.4-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../intltool-debian_0.35.0+20060710.2_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.2) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../po-debconf_1.0.18_all.deb ...
Unpacking po-debconf (1.0.18) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20150507_all.deb ...
Unpacking debhelper (9.20150507) ...
Selecting previously unselected package libgirepository-1.0-1:armhf.
Preparing to unpack .../libgirepository-1.0-1_1.42.0-2.2_armhf.deb ...
Unpacking libgirepository-1.0-1:armhf (1.42.0-2.2) ...
Selecting previously unselected package gir1.2-glib-2.0:armhf.
Preparing to unpack .../gir1.2-glib-2.0_1.42.0-2.2_armhf.deb ...
Unpacking gir1.2-glib-2.0:armhf (1.42.0-2.2) ...
Selecting previously unselected package gir1.2-atk-1.0.
Preparing to unpack .../gir1.2-atk-1.0_2.16.0-2_armhf.deb ...
Unpacking gir1.2-atk-1.0 (2.16.0-2) ...
Selecting previously unselected package libcairo-gobject2:armhf.
Preparing to unpack .../libcairo-gobject2_1.14.2-2_armhf.deb ...
Unpacking libcairo-gobject2:armhf (1.14.2-2) ...
Selecting previously unselected package gir1.2-freedesktop:armhf.
Preparing to unpack .../gir1.2-freedesktop_1.42.0-2.2_armhf.deb ...
Unpacking gir1.2-freedesktop:armhf (1.42.0-2.2) ...
Selecting previously unselected package gir1.2-gconf-2.0.
Preparing to unpack .../gir1.2-gconf-2.0_3.2.6-3_armhf.deb ...
Unpacking gir1.2-gconf-2.0 (3.2.6-3) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0:armhf.
Preparing to unpack .../gir1.2-gdkpixbuf-2.0_2.31.4-2_armhf.deb ...
Unpacking gir1.2-gdkpixbuf-2.0:armhf (2.31.4-2) ...
Selecting previously unselected package gir1.2-gnomekeyring-1.0.
Preparing to unpack .../gir1.2-gnomekeyring-1.0_3.12.0-1+b1_armhf.deb ...
Unpacking gir1.2-gnomekeyring-1.0 (3.12.0-1+b1) ...
Selecting previously unselected package gir1.2-pango-1.0:armhf.
Preparing to unpack .../gir1.2-pango-1.0_1.36.8-3_armhf.deb ...
Unpacking gir1.2-pango-1.0:armhf (1.36.8-3) ...
Selecting previously unselected package gir1.2-gtk-2.0.
Preparing to unpack .../gir1.2-gtk-2.0_2.24.25-3_armhf.deb ...
Unpacking gir1.2-gtk-2.0 (2.24.25-3) ...
Selecting previously unselected package librsvg2-2:armhf.
Preparing to unpack .../librsvg2-2_2.40.9-2_armhf.deb ...
Unpacking librsvg2-2:armhf (2.40.9-2) ...
Selecting previously unselected package gir1.2-rsvg-2.0:armhf.
Preparing to unpack .../gir1.2-rsvg-2.0_2.40.9-2_armhf.deb ...
Unpacking gir1.2-rsvg-2.0:armhf (2.40.9-2) ...
Selecting previously unselected package pkg-config.
Preparing to unpack .../pkg-config_0.28-1_armhf.deb ...
Unpacking pkg-config (0.28-1) ...
Selecting previously unselected package libart-2.0-dev.
Preparing to unpack .../libart-2.0-dev_2.3.21-2_armhf.deb ...
Unpacking libart-2.0-dev (2.3.21-2) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../libglib2.0-data_2.44.1-1_all.deb ...
Unpacking libglib2.0-data (2.44.1-1) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../libglib2.0-bin_2.44.1-1_armhf.deb ...
Unpacking libglib2.0-bin (2.44.1-1) ...
Selecting previously unselected package libpcre16-3:armhf.
Preparing to unpack .../libpcre16-3_2%3a8.35-5_armhf.deb ...
Unpacking libpcre16-3:armhf (2:8.35-5) ...
Selecting previously unselected package libpcre32-3:armhf.
Preparing to unpack .../libpcre32-3_2%3a8.35-5_armhf.deb ...
Unpacking libpcre32-3:armhf (2:8.35-5) ...
Selecting previously unselected package libpcre3-dev:armhf.
Preparing to unpack .../libpcre3-dev_2%3a8.35-5_armhf.deb ...
Unpacking libpcre3-dev:armhf (2:8.35-5) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-2_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.8.dfsg-2) ...
Selecting previously unselected package libglib2.0-dev.
Preparing to unpack .../libglib2.0-dev_2.44.1-1_armhf.deb ...
Unpacking libglib2.0-dev (2.44.1-1) ...
Selecting previously unselected package libatk1.0-dev.
Preparing to unpack .../libatk1.0-dev_2.16.0-2_armhf.deb ...
Unpacking libatk1.0-dev (2.16.0-2) ...
Selecting previously unselected package libavahi-common-dev.
Preparing to unpack .../libavahi-common-dev_0.6.31-5_armhf.deb ...
Unpacking libavahi-common-dev (0.6.31-5) ...
Selecting previously unselected package libdbus-1-dev:armhf.
Preparing to unpack .../libdbus-1-dev_1.8.18-1_armhf.deb ...
Unpacking libdbus-1-dev:armhf (1.8.18-1) ...
Selecting previously unselected package libavahi-client-dev.
Preparing to unpack .../libavahi-client-dev_0.6.31-5_armhf.deb ...
Unpacking libavahi-client-dev (0.6.31-5) ...
Selecting previously unselected package libavahi-glib-dev.
Preparing to unpack .../libavahi-glib-dev_0.6.31-5_armhf.deb ...
Unpacking libavahi-glib-dev (0.6.31-5) ...
Selecting previously unselected package liborbit2:armhf.
Preparing to unpack .../liborbit2_1%3a2.14.19-1_armhf.deb ...
Unpacking liborbit2:armhf (1:2.14.19-1) ...
Selecting previously unselected package libidl-dev:armhf.
Preparing to unpack .../libidl-dev_0.8.14-1_armhf.deb ...
Unpacking libidl-dev:armhf (0.8.14-1) ...
Selecting previously unselected package orbit2.
Preparing to unpack .../orbit2_1%3a2.14.19-1_armhf.deb ...
Unpacking orbit2 (1:2.14.19-1) ...
Selecting previously unselected package liborbit2-dev.
Preparing to unpack .../liborbit2-dev_1%3a2.14.19-1_armhf.deb ...
Unpacking liborbit2-dev (1:2.14.19-1) ...
Selecting previously unselected package libpopt-dev:armhf.
Preparing to unpack .../libpopt-dev_1.16-10_armhf.deb ...
Unpacking libpopt-dev:armhf (1.16-10) ...
Selecting previously unselected package libbonobo2-dev:armhf.
Preparing to unpack .../libbonobo2-dev_2.32.1-3_armhf.deb ...
Unpacking libbonobo2-dev:armhf (2.32.1-3) ...
Selecting previously unselected package xorg-sgml-doctools.
Preparing to unpack .../xorg-sgml-doctools_1%3a1.11-1_all.deb ...
Unpacking xorg-sgml-doctools (1:1.11-1) ...
Selecting previously unselected package x11proto-core-dev.
Preparing to unpack .../x11proto-core-dev_7.0.27-1_all.deb ...
Unpacking x11proto-core-dev (7.0.27-1) ...
Selecting previously unselected package libxau-dev:armhf.
Preparing to unpack .../libxau-dev_1%3a1.0.8-1_armhf.deb ...
Unpacking libxau-dev:armhf (1:1.0.8-1) ...
Selecting previously unselected package libxdmcp-dev:armhf.
Preparing to unpack .../libxdmcp-dev_1%3a1.1.2-1_armhf.deb ...
Unpacking libxdmcp-dev:armhf (1:1.1.2-1) ...
Selecting previously unselected package x11proto-input-dev.
Preparing to unpack .../x11proto-input-dev_2.3.1-1_all.deb ...
Unpacking x11proto-input-dev (2.3.1-1) ...
Selecting previously unselected package x11proto-kb-dev.
Preparing to unpack .../x11proto-kb-dev_1.0.6-2_all.deb ...
Unpacking x11proto-kb-dev (1.0.6-2) ...
Selecting previously unselected package xtrans-dev.
Preparing to unpack .../xtrans-dev_1.3.5-1_all.deb ...
Unpacking xtrans-dev (1.3.5-1) ...
Selecting previously unselected package libpthread-stubs0-dev:armhf.
Preparing to unpack .../libpthread-stubs0-dev_0.3-4_armhf.deb ...
Unpacking libpthread-stubs0-dev:armhf (0.3-4) ...
Selecting previously unselected package libxcb1-dev:armhf.
Preparing to unpack .../libxcb1-dev_1.10-3_armhf.deb ...
Unpacking libxcb1-dev:armhf (1.10-3) ...
Selecting previously unselected package libx11-dev:armhf.
Preparing to unpack .../libx11-dev_2%3a1.6.3-1_armhf.deb ...
Unpacking libx11-dev:armhf (2:1.6.3-1) ...
Selecting previously unselected package libpng12-dev:armhf.
Preparing to unpack .../libpng12-dev_1.2.50-2_armhf.deb ...
Unpacking libpng12-dev:armhf (1.2.50-2) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev.
Preparing to unpack .../libgdk-pixbuf2.0-dev_2.31.4-2_armhf.deb ...
Unpacking libgdk-pixbuf2.0-dev (2.31.4-2) ...
Selecting previously unselected package libcairo-script-interpreter2:armhf.
Preparing to unpack .../libcairo-script-interpreter2_1.14.2-2_armhf.deb ...
Unpacking libcairo-script-interpreter2:armhf (1.14.2-2) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../libexpat1-dev_2.1.0-6_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.1.0-6) ...
Selecting previously unselected package libfreetype6-dev.
Preparing to unpack .../libfreetype6-dev_2.5.2-4_armhf.deb ...
Unpacking libfreetype6-dev (2.5.2-4) ...
Selecting previously unselected package libfontconfig1-dev:armhf.
Preparing to unpack .../libfontconfig1-dev_2.11.0-6.3_armhf.deb ...
Unpacking libfontconfig1-dev:armhf (2.11.0-6.3) ...
Selecting previously unselected package x11proto-render-dev.
Preparing to unpack .../x11proto-render-dev_2%3a0.11.1-2_all.deb ...
Unpacking x11proto-render-dev (2:0.11.1-2) ...
Selecting previously unselected package libxrender-dev:armhf.
Preparing to unpack .../libxrender-dev_1%3a0.9.8-1_armhf.deb ...
Unpacking libxrender-dev:armhf (1:0.9.8-1) ...
Selecting previously unselected package x11proto-xext-dev.
Preparing to unpack .../x11proto-xext-dev_7.3.0-1_all.deb ...
Unpacking x11proto-xext-dev (7.3.0-1) ...
Selecting previously unselected package libxext-dev:armhf.
Preparing to unpack .../libxext-dev_2%3a1.3.3-1_armhf.deb ...
Unpacking libxext-dev:armhf (2:1.3.3-1) ...
Selecting previously unselected package libice-dev:armhf.
Preparing to unpack .../libice-dev_2%3a1.0.9-1_armhf.deb ...
Unpacking libice-dev:armhf (2:1.0.9-1) ...
Selecting previously unselected package libsm-dev:armhf.
Preparing to unpack .../libsm-dev_2%3a1.2.2-1_armhf.deb ...
Unpacking libsm-dev:armhf (2:1.2.2-1) ...
Selecting previously unselected package libpixman-1-dev.
Preparing to unpack .../libpixman-1-dev_0.32.6-3_armhf.deb ...
Unpacking libpixman-1-dev (0.32.6-3) ...
Selecting previously unselected package libxcb-render0-dev:armhf.
Preparing to unpack .../libxcb-render0-dev_1.10-3_armhf.deb ...
Unpacking libxcb-render0-dev:armhf (1.10-3) ...
Selecting previously unselected package libxcb-shm0-dev:armhf.
Preparing to unpack .../libxcb-shm0-dev_1.10-3_armhf.deb ...
Unpacking libxcb-shm0-dev:armhf (1.10-3) ...
Selecting previously unselected package libcairo2-dev.
Preparing to unpack .../libcairo2-dev_1.14.2-2_armhf.deb ...
Unpacking libcairo2-dev (1.14.2-2) ...
Selecting previously unselected package libharfbuzz-icu0:armhf.
Preparing to unpack .../libharfbuzz-icu0_0.9.40-3_armhf.deb ...
Unpacking libharfbuzz-icu0:armhf (0.9.40-3) ...
Selecting previously unselected package libharfbuzz-gobject0:armhf.
Preparing to unpack .../libharfbuzz-gobject0_0.9.40-3_armhf.deb ...
Unpacking libharfbuzz-gobject0:armhf (0.9.40-3) ...
Selecting previously unselected package libharfbuzz-dev.
Preparing to unpack .../libharfbuzz-dev_0.9.40-3_armhf.deb ...
Unpacking libharfbuzz-dev (0.9.40-3) ...
Selecting previously unselected package libxft-dev.
Preparing to unpack .../libxft-dev_2.3.2-1_armhf.deb ...
Unpacking libxft-dev (2.3.2-1) ...
Selecting previously unselected package libpango1.0-dev.
Preparing to unpack .../libpango1.0-dev_1.36.8-3_armhf.deb ...
Unpacking libpango1.0-dev (1.36.8-3) ...
Selecting previously unselected package x11proto-xinerama-dev.
Preparing to unpack .../x11proto-xinerama-dev_1.2.1-2_all.deb ...
Unpacking x11proto-xinerama-dev (1.2.1-2) ...
Selecting previously unselected package libxinerama-dev:armhf.
Preparing to unpack .../libxinerama-dev_2%3a1.1.3-1_armhf.deb ...
Unpacking libxinerama-dev:armhf (2:1.1.3-1) ...
Selecting previously unselected package x11proto-fixes-dev.
Preparing to unpack .../x11proto-fixes-dev_1%3a5.0-2_all.deb ...
Unpacking x11proto-fixes-dev (1:5.0-2) ...
Selecting previously unselected package libxfixes-dev:armhf.
Preparing to unpack .../libxfixes-dev_1%3a5.0.1-2_armhf.deb ...
Unpacking libxfixes-dev:armhf (1:5.0.1-2) ...
Selecting previously unselected package libxi-dev.
Preparing to unpack .../libxi-dev_2%3a1.7.4-1_armhf.deb ...
Unpacking libxi-dev (2:1.7.4-1) ...
Selecting previously unselected package x11proto-randr-dev.
Preparing to unpack .../x11proto-randr-dev_1.4.1-2_all.deb ...
Unpacking x11proto-randr-dev (1.4.1-2) ...
Selecting previously unselected package libxrandr-dev:armhf.
Preparing to unpack .../libxrandr-dev_2%3a1.4.2-1_armhf.deb ...
Unpacking libxrandr-dev:armhf (2:1.4.2-1) ...
Selecting previously unselected package libxcursor-dev:armhf.
Preparing to unpack .../libxcursor-dev_1%3a1.1.14-1_armhf.deb ...
Unpacking libxcursor-dev:armhf (1:1.1.14-1) ...
Selecting previously unselected package x11proto-composite-dev.
Preparing to unpack .../x11proto-composite-dev_1%3a0.4.2-2_all.deb ...
Unpacking x11proto-composite-dev (1:0.4.2-2) ...
Selecting previously unselected package libxcomposite-dev.
Preparing to unpack .../libxcomposite-dev_1%3a0.4.4-1_armhf.deb ...
Unpacking libxcomposite-dev (1:0.4.4-1) ...
Selecting previously unselected package x11proto-damage-dev.
Preparing to unpack .../x11proto-damage-dev_1%3a1.2.1-2_all.deb ...
Unpacking x11proto-damage-dev (1:1.2.1-2) ...
Selecting previously unselected package libxdamage-dev:armhf.
Preparing to unpack .../libxdamage-dev_1%3a1.1.4-2_armhf.deb ...
Unpacking libxdamage-dev:armhf (1:1.1.4-2) ...
Selecting previously unselected package libxml2-utils.
Preparing to unpack .../libxml2-utils_2.9.1+dfsg1-5_armhf.deb ...
Unpacking libxml2-utils (2.9.1+dfsg1-5) ...
Selecting previously unselected package libgtk2.0-dev.
Preparing to unpack .../libgtk2.0-dev_2.24.25-3_armhf.deb ...
Unpacking libgtk2.0-dev (2.24.25-3) ...
Selecting previously unselected package libgail-common:armhf.
Preparing to unpack .../libgail-common_2.24.25-3_armhf.deb ...
Unpacking libgail-common:armhf (2.24.25-3) ...
Selecting previously unselected package libgail-dev.
Preparing to unpack .../libgail-dev_2.24.25-3_armhf.deb ...
Unpacking libgail-dev (2.24.25-3) ...
Selecting previously unselected package libgnomecanvas2-dev:armhf.
Preparing to unpack .../libgnomecanvas2-dev_2.30.3-2_armhf.deb ...
Unpacking libgnomecanvas2-dev:armhf (2.30.3-2) ...
Selecting previously unselected package libgconf2-dev.
Preparing to unpack .../libgconf2-dev_3.2.6-3_armhf.deb ...
Unpacking libgconf2-dev (3.2.6-3) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../libgmp-dev_2%3a6.0.0+dfsg-6+rpi1_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.0.0+dfsg-6+rpi1) ...
Selecting previously unselected package nettle-dev.
Preparing to unpack .../nettle-dev_2.7.1-5_armhf.deb ...
Unpacking nettle-dev (2.7.1-5) ...
Selecting previously unselected package libtasn1-6-dev:armhf.
Preparing to unpack .../libtasn1-6-dev_4.5-2_armhf.deb ...
Unpacking libtasn1-6-dev:armhf (4.5-2) ...
Selecting previously unselected package libp11-kit-dev:armhf.
Preparing to unpack .../libp11-kit-dev_0.23.1-2_armhf.deb ...
Unpacking libp11-kit-dev:armhf (0.23.1-2) ...
Selecting previously unselected package libgnutls28-dev:armhf.
Preparing to unpack .../libgnutls28-dev_3.3.15-2_armhf.deb ...
Unpacking libgnutls28-dev:armhf (3.3.15-2) ...
Selecting previously unselected package libxml2-dev:armhf.
Preparing to unpack .../libxml2-dev_2.9.1+dfsg1-5_armhf.deb ...
Unpacking libxml2-dev:armhf (2.9.1+dfsg1-5) ...
Selecting previously unselected package libsepol1-dev:armhf.
Preparing to unpack .../libsepol1-dev_2.3-2_armhf.deb ...
Unpacking libsepol1-dev:armhf (2.3-2) ...
Selecting previously unselected package libselinux1-dev:armhf.
Preparing to unpack .../libselinux1-dev_2.3-2_armhf.deb ...
Unpacking libselinux1-dev:armhf (2.3-2) ...
Selecting previously unselected package libgnomevfs2-dev:armhf.
Preparing to unpack .../libgnomevfs2-dev_1%3a2.24.4-6_armhf.deb ...
Unpacking libgnomevfs2-dev:armhf (1:2.24.4-6) ...
Selecting previously unselected package libcanberra-dev:armhf.
Preparing to unpack .../libcanberra-dev_0.30-2.1_armhf.deb ...
Unpacking libcanberra-dev:armhf (0.30-2.1) ...
Selecting previously unselected package libgnome2-dev:armhf.
Preparing to unpack .../libgnome2-dev_2.32.1-5_armhf.deb ...
Unpacking libgnome2-dev:armhf (2.32.1-5) ...
Selecting previously unselected package libbonoboui2-dev:armhf.
Preparing to unpack .../libbonoboui2-dev_2.24.5-2_armhf.deb ...
Unpacking libbonoboui2-dev:armhf (2.24.5-2) ...
Selecting previously unselected package libenchant-dev.
Preparing to unpack .../libenchant-dev_1.6.0-10.1_armhf.deb ...
Unpacking libenchant-dev (1.6.0-10.1) ...
Selecting previously unselected package libglade2-dev:armhf.
Preparing to unpack .../libglade2-dev_1%3a2.6.4-2_armhf.deb ...
Unpacking libglade2-dev:armhf (1:2.6.4-2) ...
Selecting previously unselected package libgmp3-dev.
Preparing to unpack .../libgmp3-dev_2%3a6.0.0+dfsg-6+rpi1_armhf.deb ...
Unpacking libgmp3-dev (2:6.0.0+dfsg-6+rpi1) ...
Selecting previously unselected package libgnome-keyring-dev.
Preparing to unpack .../libgnome-keyring-dev_3.12.0-1+b1_armhf.deb ...
Unpacking libgnome-keyring-dev (3.12.0-1+b1) ...
Selecting previously unselected package libgnome2-bin.
Preparing to unpack .../libgnome2-bin_2.32.1-5_armhf.deb ...
Unpacking libgnome2-bin (2.32.1-5) ...
Selecting previously unselected package libgnome2-0:armhf.
Preparing to unpack .../libgnome2-0_2.32.1-5_armhf.deb ...
Unpacking libgnome2-0:armhf (2.32.1-5) ...
Selecting previously unselected package libgnomeui-dev:armhf.
Preparing to unpack .../libgnomeui-dev_2.24.5-3_armhf.deb ...
Unpacking libgnomeui-dev:armhf (2.24.5-3) ...
Selecting previously unselected package libgtksourceview2.0-common.
Preparing to unpack .../libgtksourceview2.0-common_2.10.5-2_all.deb ...
Unpacking libgtksourceview2.0-common (2.10.5-2) ...
Selecting previously unselected package libgtksourceview2.0-0.
Preparing to unpack .../libgtksourceview2.0-0_2.10.5-2_armhf.deb ...
Unpacking libgtksourceview2.0-0 (2.10.5-2) ...
Selecting previously unselected package libgtksourceview2.0-dev.
Preparing to unpack .../libgtksourceview2.0-dev_2.10.5-2_armhf.deb ...
Unpacking libgtksourceview2.0-dev (2.10.5-2) ...
Selecting previously unselected package libgtkspell0.
Preparing to unpack .../libgtkspell0_2.0.16-1.1_armhf.deb ...
Unpacking libgtkspell0 (2.0.16-1.1) ...
Selecting previously unselected package libgtkspell-dev.
Preparing to unpack .../libgtkspell-dev_2.0.16-1.1_armhf.deb ...
Unpacking libgtkspell-dev (2.0.16-1.1) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../ocaml-base-nox_4.01.0-5+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.01.0-5+rpi1) ...
Selecting previously unselected package liblablgtk2-ocaml.
Preparing to unpack .../liblablgtk2-ocaml_2.16.0+dfsg-1_armhf.deb ...
Unpacking liblablgtk2-ocaml (2.16.0+dfsg-1) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml.
Preparing to unpack .../liblablgtk2-gnome-ocaml_2.16.0+dfsg-1_armhf.deb ...
Unpacking liblablgtk2-gnome-ocaml (2.16.0+dfsg-1) ...
Selecting previously unselected package librsvg2-common:armhf.
Preparing to unpack .../librsvg2-common_2.40.9-2_armhf.deb ...
Unpacking librsvg2-common:armhf (2.40.9-2) ...
Selecting previously unselected package librsvg2-dev:armhf.
Preparing to unpack .../librsvg2-dev_2.40.9-2_armhf.deb ...
Unpacking librsvg2-dev:armhf (2.40.9-2) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../libtinfo-dev_5.9+20140913-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (5.9+20140913-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../libncurses5-dev_5.9+20140913-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (5.9+20140913-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../ocaml-compiler-libs_4.01.0-5+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.01.0-5+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../ocaml-interp_4.01.0-5+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.01.0-5+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../ocaml-nox_4.01.0-5+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.01.0-5+rpi1) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Preparing to unpack .../liblablgtk2-ocaml-dev_2.16.0+dfsg-1_armhf.deb ...
Unpacking liblablgtk2-ocaml-dev (2.16.0+dfsg-1) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml-dev.
Preparing to unpack .../liblablgtk2-gnome-ocaml-dev_2.16.0+dfsg-1_armhf.deb ...
Unpacking liblablgtk2-gnome-ocaml-dev (2.16.0+dfsg-1) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Preparing to unpack .../liblablgtksourceview2-ocaml_2.16.0+dfsg-1_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml (2.16.0+dfsg-1) ...
Selecting previously unselected package liblablgtksourceview2-ocaml-dev.
Preparing to unpack .../liblablgtksourceview2-ocaml-dev_2.16.0+dfsg-1_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml-dev (2.16.0+dfsg-1) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Preparing to unpack .../libocamlgraph-ocaml-dev_1.8.5-1_armhf.deb ...
Unpacking libocamlgraph-ocaml-dev (1.8.5-1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../libzarith-ocaml_1.2.1-2+b1_armhf.deb ...
Unpacking libzarith-ocaml (1.2.1-2+b1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../libzarith-ocaml-dev_1.2.1-2+b1_armhf.deb ...
Unpacking libzarith-ocaml-dev (1.2.1-2+b1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../dh-ocaml_1.0.9_all.deb ...
Unpacking dh-ocaml (1.0.9) ...
Selecting previously unselected package sbuild-build-depends-alt-ergo-dummy.
Preparing to unpack .../sbuild-build-depends-alt-ergo-dummy.deb ...
Unpacking sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Processing triggers for systemd (215-17) ...
Setting up libpipeline1:armhf (1.4.0-1) ...
Setting up libpopt0:armhf (1.16-10) ...
Setting up libssl1.0.0:armhf (1.0.2a-1) ...
Setting up groff-base (1.22.3-1) ...
Setting up bsdmainutils (9.0.6) ...
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.7.0.2-5) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libasprintf0c2:armhf (0.19.4-1) ...
Setting up libnettle4:armhf (2.7.1-5) ...
Setting up libhogweed2:armhf (2.7.1-5) ...
Setting up libffi6:armhf (3.1-2) ...
Setting up libp11-kit0:armhf (0.23.1-2) ...
Setting up libtasn1-6:armhf (4.5-2) ...
Setting up libgnutls-deb0-28:armhf (3.3.15-2) ...
Setting up libgnutls-openssl27:armhf (3.3.15-2) ...
Setting up libkeyutils1:armhf (1.5.9-5) ...
Setting up libkrb5support0:armhf (1.12.1+dfsg-20) ...
Setting up libk5crypto3:armhf (1.12.1+dfsg-20) ...
Setting up libkrb5-3:armhf (1.12.1+dfsg-20) ...
Setting up libgssapi-krb5-2:armhf (1.12.1+dfsg-20) ...
Setting up libsasl2-modules-db:armhf (2.1.26.dfsg1-13) ...
Setting up libsasl2-2:armhf (2.1.26.dfsg1-13) ...
Setting up libldap-2.4-2:armhf (2.4.40+dfsg-1) ...
Setting up libmagic1:armhf (1:5.22+15-2) ...
Setting up libxml2:armhf (2.9.1+dfsg1-5) ...
Setting up mime-support (3.58) ...
Setting up libexpat1:armhf (2.1.0-6) ...
Setting up libsqlite3-0:armhf (3.8.10.2-1) ...
Setting up libpython2.7-stdlib:armhf (2.7.10~rc1-1) ...
Setting up python2.7 (2.7.10~rc1-1) ...
Setting up libpython-stdlib:armhf (2.7.9-1) ...
Setting up python (2.7.9-1) ...
Setting up libfreetype6:armhf (2.5.2-4) ...
Setting up ucf (3.0030) ...
Setting up fonts-dejavu-core (2.35-1) ...
Setting up fontconfig-config (2.11.0-6.3) ...
Setting up libfontconfig1:armhf (2.11.0-6.3) ...
Setting up fontconfig (2.11.0-6.3) ...
Regenerating fonts cache... done.
Setting up libart-2.0-2:armhf (2.3.21-2) ...
Setting up libasound2-data (1.0.28-1) ...
Setting up libasound2:armhf (1.0.28-1) ...
Setting up libaspell15:armhf (0.60.7~20110707-3) ...
Setting up libglib2.0-0:armhf (2.44.1-1) ...
No schema files found: doing nothing.
Setting up libatk1.0-data (2.16.0-2) ...
Setting up libatk1.0-0:armhf (2.16.0-2) ...
Setting up libavahi-common-data:armhf (0.6.31-5) ...
Setting up libavahi-common3:armhf (0.6.31-5) ...
Setting up libdbus-1-3:armhf (1.8.18-1) ...
Setting up libavahi-client3:armhf (0.6.31-5) ...
Setting up libavahi-glib1:armhf (0.6.31-5) ...
Setting up libbonobo2-common (2.32.1-3) ...
Setting up liborbit-2-0:armhf (1:2.14.19-1) ...
Setting up libbonobo2-0:armhf (2.32.1-3) ...
Setting up libdbus-glib-1-2:armhf (0.102-1) ...
Setting up gconf2-common (3.2.6-3) ...

Creating config file /etc/gconf/2/path with new version
Setting up libgconf-2-4:armhf (3.2.6-3) ...
Setting up gconf-service (3.2.6-3) ...
Setting up libpixman-1-0:armhf (0.32.6-3) ...
Setting up libxau6:armhf (1:1.0.8-1) ...
Setting up libxdmcp6:armhf (1:1.1.2-1) ...
Setting up libxcb1:armhf (1.10-3) ...
Setting up libx11-data (2:1.6.3-1) ...
Setting up libx11-6:armhf (2:1.6.3-1) ...
Setting up libxcb-render0:armhf (1.10-3) ...
Setting up libxcb-shm0:armhf (1.10-3) ...
Setting up libxext6:armhf (2:1.3.3-1) ...
Setting up libxrender1:armhf (1:0.9.8-1) ...
Setting up libcairo2:armhf (1.14.2-2) ...
Setting up libjpeg62-turbo:armhf (1:1.4.0-7) ...
Setting up libjasper1:armhf (1.900.1-debian1-2.4) ...
Setting up libjbig0:armhf (2.1-3.1) ...
Setting up libtiff5:armhf (4.0.3-13) ...
Setting up libgdk-pixbuf2.0-common (2.31.4-2) ...
Setting up libgdk-pixbuf2.0-0:armhf (2.31.4-2) ...
Setting up libgtk2.0-common (2.24.25-3) ...
Setting up libcups2:armhf (1.7.5-11) ...
Setting up libthai-data (0.1.22-1) ...
Setting up libdatrie1:armhf (0.2.9-1) ...
Setting up libthai0:armhf (0.1.22-1) ...
Setting up libpango-1.0-0:armhf (1.36.8-3) ...
Setting up libgraphite2-3:armhf (1.2.4-3) ...
Setting up libharfbuzz0b:armhf (0.9.40-3) ...
Setting up libpangoft2-1.0-0:armhf (1.36.8-3) ...
Setting up libpangocairo-1.0-0:armhf (1.36.8-3) ...
Setting up libxcomposite1:armhf (1:0.4.4-1) ...
Setting up libxfixes3:armhf (1:5.0.1-2) ...
Setting up libxcursor1:armhf (1:1.1.14-1) ...
Setting up libxdamage1:armhf (1:1.1.4-2) ...
Setting up libxi6:armhf (2:1.7.4-1) ...
Setting up libxinerama1:armhf (2:1.1.3-1) ...
Setting up libxrandr2:armhf (2:1.4.2-1) ...
Setting up shared-mime-info (1.3-1) ...
Setting up libgtk2.0-0:armhf (2.24.25-3) ...
Setting up libglade2-0:armhf (1:2.6.4-2) ...
Setting up libltdl7:armhf (2.4.2-1.11) ...
Setting up libogg0:armhf (1.3.2-1) ...
Setting up libtdb1:armhf (1.3.5-1) ...
Setting up libvorbis0a:armhf (1.3.4-2) ...
Setting up libvorbisfile3:armhf (1.3.4-2) ...
Setting up libcanberra0:armhf (0.30-2.1) ...
Setting up psmisc (22.21-2) ...
Setting up libcap-ng0:armhf (0.7.6-1) ...
Setting up dbus (1.8.18-1) ...
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up dbus-x11 (1.8.18-1) ...
Setting up gconf2 (3.2.6-3) ...
Setting up gnome-mime-data (2.18.0-1) ...
Setting up libgnomevfs2-common (1:2.24.4-6) ...
Setting up libgnomevfs2-0:armhf (1:2.24.4-6) ...
Setting up libgnome2-common (2.32.1-5) ...
Setting up libgnome-2-0:armhf (2.32.1-5) ...
Setting up libgail18:armhf (2.24.25-3) ...
Setting up libgnomecanvas2-common (2.30.3-2) ...
Setting up libgnomecanvas2-0:armhf (2.30.3-2) ...
Setting up x11-common (1:7.7+9) ...
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.9-1) ...
Setting up libsm6:armhf (2:1.2.2-1) ...
Setting up libbonoboui2-common (2.24.5-2) ...
Setting up libbonoboui2-0:armhf (2.24.5-2) ...
Setting up libcroco3:armhf (0.6.8-3) ...
Setting up libelf1:armhf (0.159-4.2) ...
Setting up emacsen-common (2.0.8) ...
Setting up dictionaries-common (1.25.2) ...
Setting up aspell (0.60.7~20110707-3) ...
Setting up aspell-en (7.1-0-1.1) ...
Setting up libhunspell-1.3-0:armhf (1.3.3-3) ...
Setting up libenchant1c2a:armhf (1.6.0-10.1) ...
Setting up libgmpxx4ldbl:armhf (2:6.0.0+dfsg-6+rpi1) ...
Setting up libgnome-keyring-common (3.12.0-1) ...
Setting up libgnome-keyring0:armhf (3.12.0-1+b1) ...
Setting up libgnomeui-common (2.24.5-3) ...
Setting up libgnomeui-0:armhf (2.24.5-3) ...
Setting up libicu52:armhf (52.1-9) ...
Setting up libidl0:armhf (0.8.14-1) ...
Setting up liblzo2-2:armhf (2.08-1.2) ...
Setting up libxft2:armhf (2.3.2-1) ...
Setting up libpangoxft-1.0-0:armhf (1.36.8-3) ...
Setting up libpcrecpp0:armhf (2:8.35-5) ...
Setting up libunistring0:armhf (0.9.3-5.2) ...
Setting up libgnutlsxx28:armhf (3.3.15-2) ...
Setting up file (1:5.22+15-2) ...
Setting up gettext-base (0.19.4-1) ...
Setting up gettext (0.19.4-1) ...
Setting up intltool-debian (0.35.0+20060710.2) ...
Setting up po-debconf (1.0.18) ...
Setting up debhelper (9.20150507) ...
Setting up libgirepository-1.0-1:armhf (1.42.0-2.2) ...
Setting up gir1.2-glib-2.0:armhf (1.42.0-2.2) ...
Setting up gir1.2-atk-1.0 (2.16.0-2) ...
Setting up libcairo-gobject2:armhf (1.14.2-2) ...
Setting up gir1.2-freedesktop:armhf (1.42.0-2.2) ...
Setting up gir1.2-gconf-2.0 (3.2.6-3) ...
Setting up gir1.2-gdkpixbuf-2.0:armhf (2.31.4-2) ...
Setting up gir1.2-gnomekeyring-1.0 (3.12.0-1+b1) ...
Setting up gir1.2-pango-1.0:armhf (1.36.8-3) ...
Setting up gir1.2-gtk-2.0 (2.24.25-3) ...
Setting up librsvg2-2:armhf (2.40.9-2) ...
Setting up gir1.2-rsvg-2.0:armhf (2.40.9-2) ...
Setting up pkg-config (0.28-1) ...
Setting up libart-2.0-dev (2.3.21-2) ...
Setting up libglib2.0-data (2.44.1-1) ...
Setting up libglib2.0-bin (2.44.1-1) ...
Setting up libpcre16-3:armhf (2:8.35-5) ...
Setting up libpcre32-3:armhf (2:8.35-5) ...
Setting up libpcre3-dev:armhf (2:8.35-5) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-2) ...
Setting up libglib2.0-dev (2.44.1-1) ...
Setting up libatk1.0-dev (2.16.0-2) ...
Setting up libavahi-common-dev (0.6.31-5) ...
Setting up libdbus-1-dev:armhf (1.8.18-1) ...
Setting up libavahi-client-dev (0.6.31-5) ...
Setting up libavahi-glib-dev (0.6.31-5) ...
Setting up liborbit2:armhf (1:2.14.19-1) ...
Setting up libidl-dev:armhf (0.8.14-1) ...
Setting up orbit2 (1:2.14.19-1) ...
Setting up liborbit2-dev (1:2.14.19-1) ...
Setting up libpopt-dev:armhf (1.16-10) ...
Setting up libbonobo2-dev:armhf (2.32.1-3) ...
Setting up xorg-sgml-doctools (1:1.11-1) ...
Setting up x11proto-core-dev (7.0.27-1) ...
Setting up libxau-dev:armhf (1:1.0.8-1) ...
Setting up libxdmcp-dev:armhf (1:1.1.2-1) ...
Setting up x11proto-input-dev (2.3.1-1) ...
Setting up x11proto-kb-dev (1.0.6-2) ...
Setting up xtrans-dev (1.3.5-1) ...
Setting up libpthread-stubs0-dev:armhf (0.3-4) ...
Setting up libxcb1-dev:armhf (1.10-3) ...
Setting up libx11-dev:armhf (2:1.6.3-1) ...
Setting up libpng12-dev:armhf (1.2.50-2) ...
Setting up libgdk-pixbuf2.0-dev (2.31.4-2) ...
Setting up libcairo-script-interpreter2:armhf (1.14.2-2) ...
Setting up libexpat1-dev:armhf (2.1.0-6) ...
Setting up libfreetype6-dev (2.5.2-4) ...
Setting up libfontconfig1-dev:armhf (2.11.0-6.3) ...
Setting up x11proto-render-dev (2:0.11.1-2) ...
Setting up libxrender-dev:armhf (1:0.9.8-1) ...
Setting up x11proto-xext-dev (7.3.0-1) ...
Setting up libxext-dev:armhf (2:1.3.3-1) ...
Setting up libice-dev:armhf (2:1.0.9-1) ...
Setting up libsm-dev:armhf (2:1.2.2-1) ...
Setting up libpixman-1-dev (0.32.6-3) ...
Setting up libxcb-render0-dev:armhf (1.10-3) ...
Setting up libxcb-shm0-dev:armhf (1.10-3) ...
Setting up libcairo2-dev (1.14.2-2) ...
Setting up libharfbuzz-icu0:armhf (0.9.40-3) ...
Setting up libharfbuzz-gobject0:armhf (0.9.40-3) ...
Setting up libharfbuzz-dev (0.9.40-3) ...
Setting up libxft-dev (2.3.2-1) ...
Setting up libpango1.0-dev (1.36.8-3) ...
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up libxinerama-dev:armhf (2:1.1.3-1) ...
Setting up x11proto-fixes-dev (1:5.0-2) ...
Setting up libxfixes-dev:armhf (1:5.0.1-2) ...
Setting up libxi-dev (2:1.7.4-1) ...
Setting up x11proto-randr-dev (1.4.1-2) ...
Setting up libxrandr-dev:armhf (2:1.4.2-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 x11proto-damage-dev (1:1.2.1-2) ...
Setting up libxdamage-dev:armhf (1:1.1.4-2) ...
Setting up libxml2-utils (2.9.1+dfsg1-5) ...
Setting up libgtk2.0-dev (2.24.25-3) ...
Setting up libgail-common:armhf (2.24.25-3) ...
Setting up libgail-dev (2.24.25-3) ...
Setting up libgnomecanvas2-dev:armhf (2.30.3-2) ...
Setting up libgconf2-dev (3.2.6-3) ...
Setting up libgmp-dev:armhf (2:6.0.0+dfsg-6+rpi1) ...
Setting up nettle-dev (2.7.1-5) ...
Setting up libtasn1-6-dev:armhf (4.5-2) ...
Setting up libp11-kit-dev:armhf (0.23.1-2) ...
Setting up libgnutls28-dev:armhf (3.3.15-2) ...
Setting up libxml2-dev:armhf (2.9.1+dfsg1-5) ...
Setting up libsepol1-dev:armhf (2.3-2) ...
Setting up libselinux1-dev:armhf (2.3-2) ...
Setting up libgnomevfs2-dev:armhf (1:2.24.4-6) ...
Setting up libcanberra-dev:armhf (0.30-2.1) ...
Setting up libgnome2-dev:armhf (2.32.1-5) ...
Setting up libbonoboui2-dev:armhf (2.24.5-2) ...
Setting up libenchant-dev (1.6.0-10.1) ...
Setting up libglade2-dev:armhf (1:2.6.4-2) ...
Setting up libgmp3-dev (2:6.0.0+dfsg-6+rpi1) ...
Setting up libgnome-keyring-dev (3.12.0-1+b1) ...
Setting up libgnome2-bin (2.32.1-5) ...
Setting up libgnome2-0:armhf (2.32.1-5) ...
Setting up libgnomeui-dev:armhf (2.24.5-3) ...
Setting up libgtksourceview2.0-common (2.10.5-2) ...
Setting up libgtksourceview2.0-0 (2.10.5-2) ...
Setting up libgtksourceview2.0-dev (2.10.5-2) ...
Setting up libgtkspell0 (2.0.16-1.1) ...
Setting up libgtkspell-dev (2.0.16-1.1) ...
Setting up ocaml-base-nox (4.01.0-5+rpi1) ...
Setting up liblablgtk2-ocaml (2.16.0+dfsg-1) ...
Setting up liblablgtk2-gnome-ocaml (2.16.0+dfsg-1) ...
Setting up librsvg2-common:armhf (2.40.9-2) ...
Setting up librsvg2-dev:armhf (2.40.9-2) ...
Setting up libtinfo-dev:armhf (5.9+20140913-1) ...
Setting up libncurses5-dev:armhf (5.9+20140913-1) ...
Setting up liblablgtksourceview2-ocaml (2.16.0+dfsg-1) ...
Setting up libzarith-ocaml (1.2.1-2+b1) ...
Setting up dh-ocaml (1.0.9) ...
Setting up ocaml-compiler-libs (4.01.0-5+rpi1) ...
Setting up ocaml-interp (4.01.0-5+rpi1) ...
Setting up ocaml-nox (4.01.0-5+rpi1) ...
Setting up liblablgtk2-ocaml-dev (2.16.0+dfsg-1) ...
Setting up liblablgtk2-gnome-ocaml-dev (2.16.0+dfsg-1) ...
Setting up liblablgtksourceview2-ocaml-dev (2.16.0+dfsg-1) ...
Setting up libocamlgraph-ocaml-dev (1.8.5-1) ...
Setting up libzarith-ocaml-dev (1.2.1-2+b1) ...
Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.19-18) ...
Processing triggers for systemd (215-17) ...
Processing triggers for dictionaries-common (1.25.2) ...
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].
Processing triggers for libgdk-pixbuf2.0-0:armhf (2.31.4-2) ...

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

Kernel: Linux 3.19.0-trunk-armmp armhf (armv7l)
Toolchain package versions: binutils_2.25-5 dpkg-dev_1.17.25 g++-4.9_4.9.2-10 gcc-4.9_4.9.2-10 libc6-dev_2.19-18 libstdc++-4.9-dev_4.9.2-10 libstdc++6_4.9.2-10 linux-libc-dev_3.16.7-ckt4-1+rpi1
Package versions: acl_2.2.52-2 adduser_3.113+nmu3 apt_1.0.9.8 aspell_0.60.7~20110707-3 aspell-en_7.1-0-1.1 base-files_8+rpi1 base-passwd_3.5.37 bash_4.3-11 binutils_2.25-5 bsdmainutils_9.0.6 bsdutils_1:2.25.2-6 build-essential_11.7 bzip2_1.0.6-7 coreutils_8.23-4 cpio_2.11+dfsg-4.1 cpp_4:4.9.2-2 cpp-4.9_4.9.2-10 dash_0.5.7-4 dbus_1.8.18-1 dbus-x11_1.8.18-1 debconf_1.5.56 debconf-i18n_1.5.56 debfoster_2.7-2 debhelper_9.20150507 debianutils_4.4 dh-ocaml_1.0.9 dictionaries-common_1.25.2 diffutils_1:3.3-1 dmsetup_2:1.02.90-2.2 dpkg_1.17.25 dpkg-dev_1.17.25 e2fslibs_1.42.12-1.1 e2fsprogs_1.42.12-1.1 emacsen-common_2.0.8 fakeroot_1.20.2-1 file_1:5.22+15-2 findutils_4.4.2-9 fontconfig_2.11.0-6.3 fontconfig-config_2.11.0-6.3 fonts-dejavu-core_2.35-1 g++_4:4.9.2-2 g++-4.9_4.9.2-10 gcc_4:4.9.2-2 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.4-1 gcc-4.9_4.9.2-10 gcc-4.9-base_4.9.2-10 gconf-service_3.2.6-3 gconf2_3.2.6-3 gconf2-common_3.2.6-3 gettext_0.19.4-1 gettext-base_0.19.4-1 gir1.2-atk-1.0_2.16.0-2 gir1.2-freedesktop_1.42.0-2.2 gir1.2-gconf-2.0_3.2.6-3 gir1.2-gdkpixbuf-2.0_2.31.4-2 gir1.2-glib-2.0_1.42.0-2.2 gir1.2-gnomekeyring-1.0_3.12.0-1+b1 gir1.2-gtk-2.0_2.24.25-3 gir1.2-pango-1.0_1.36.8-3 gir1.2-rsvg-2.0_2.40.9-2 gnome-mime-data_2.18.0-1 gnupg_1.4.18-7 gpgv_1.4.18-7 grep_2.20-4.1 groff-base_1.22.3-1 gzip_1.6-4 hostname_3.15 init_1.22 init-system-helpers_1.22 initramfs-tools_0.120 initscripts_2.88dsf-59 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.2 klibc-utils_2.0.4-2+rpi1 kmod_18-3 libacl1_2.2.52-2 libapt-pkg4.12_1.0.9.8 libart-2.0-2_2.3.21-2 libart-2.0-dev_2.3.21-2 libasan1_4.9.2-10 libasound2_1.0.28-1 libasound2-data_1.0.28-1 libaspell15_0.60.7~20110707-3 libasprintf0c2_0.19.4-1 libatk1.0-0_2.16.0-2 libatk1.0-data_2.16.0-2 libatk1.0-dev_2.16.0-2 libatomic1_4.9.2-10 libattr1_1:2.4.47-2 libaudit-common_1:2.4-1 libaudit1_1:2.4-1 libavahi-client-dev_0.6.31-5 libavahi-client3_0.6.31-5 libavahi-common-data_0.6.31-5 libavahi-common-dev_0.6.31-5 libavahi-common3_0.6.31-5 libavahi-glib-dev_0.6.31-5 libavahi-glib1_0.6.31-5 libblkid1_2.25.2-6 libbonobo2-0_2.32.1-3 libbonobo2-common_2.32.1-3 libbonobo2-dev_2.32.1-3 libbonoboui2-0_2.24.5-2 libbonoboui2-common_2.24.5-2 libbonoboui2-dev_2.24.5-2 libbz2-1.0_1.0.6-7 libc-bin_2.19-18 libc-dev-bin_2.19-18 libc6_2.19-18 libc6-dev_2.19-18 libcairo-gobject2_1.14.2-2 libcairo-script-interpreter2_1.14.2-2 libcairo2_1.14.2-2 libcairo2-dev_1.14.2-2 libcanberra-dev_0.30-2.1 libcanberra0_0.30-2.1 libcap-ng0_0.7.6-1 libcap2_1:2.24-8 libcap2-bin_1:2.24-8 libcloog-isl4_0.18.2-1 libcomerr2_1.42.12-1.1 libcroco3_0.6.8-3 libcryptsetup4_2:1.6.6-5 libcups2_1.7.5-11 libdatrie1_0.2.9-1 libdb5.3_5.3.28-9 libdbus-1-3_1.8.18-1 libdbus-1-dev_1.8.18-1 libdbus-glib-1-2_0.102-1 libdebconfclient0_0.192 libdevmapper1.02.1_2:1.02.90-2.2 libdpkg-perl_1.17.25 libdrm2_2.4.58-2 libelf1_0.159-4.2 libenchant-dev_1.6.0-10.1 libenchant1c2a_1.6.0-10.1 libexpat1_2.1.0-6 libexpat1-dev_2.1.0-6 libfakeroot_1.20.2-1 libffi6_3.1-2 libfontconfig1_2.11.0-6.3 libfontconfig1-dev_2.11.0-6.3 libfreetype6_2.5.2-4 libfreetype6-dev_2.5.2-4 libgail-common_2.24.25-3 libgail-dev_2.24.25-3 libgail18_2.24.25-3 libgc1c2_1:7.2d-6.4 libgcc-4.9-dev_4.9.2-10 libgcc1_1:4.9.2-10 libgconf-2-4_3.2.6-3 libgconf2-dev_3.2.6-3 libgcrypt20_1.6.3-2 libgdbm3_1.8.3-13.1 libgdk-pixbuf2.0-0_2.31.4-2 libgdk-pixbuf2.0-common_2.31.4-2 libgdk-pixbuf2.0-dev_2.31.4-2 libgirepository-1.0-1_1.42.0-2.2 libglade2-0_1:2.6.4-2 libglade2-dev_1:2.6.4-2 libglib2.0-0_2.44.1-1 libglib2.0-bin_2.44.1-1 libglib2.0-data_2.44.1-1 libglib2.0-dev_2.44.1-1 libgmp-dev_2:6.0.0+dfsg-6+rpi1 libgmp10_2:6.0.0+dfsg-6+rpi1 libgmp3-dev_2:6.0.0+dfsg-6+rpi1 libgmpxx4ldbl_2:6.0.0+dfsg-6+rpi1 libgnome-2-0_2.32.1-5 libgnome-keyring-common_3.12.0-1 libgnome-keyring-dev_3.12.0-1+b1 libgnome-keyring0_3.12.0-1+b1 libgnome2-0_2.32.1-5 libgnome2-bin_2.32.1-5 libgnome2-common_2.32.1-5 libgnome2-dev_2.32.1-5 libgnomecanvas2-0_2.30.3-2 libgnomecanvas2-common_2.30.3-2 libgnomecanvas2-dev_2.30.3-2 libgnomeui-0_2.24.5-3 libgnomeui-common_2.24.5-3 libgnomeui-dev_2.24.5-3 libgnomevfs2-0_1:2.24.4-6 libgnomevfs2-common_1:2.24.4-6 libgnomevfs2-dev_1:2.24.4-6 libgnutls-deb0-28_3.3.15-2 libgnutls-openssl27_3.3.15-2 libgnutls28-dev_3.3.15-2 libgnutlsxx28_3.3.15-2 libgomp1_4.9.2-10 libgpg-error0_1.17-3 libgraphite2-3_1.2.4-3 libgssapi-krb5-2_1.12.1+dfsg-20 libgtk2.0-0_2.24.25-3 libgtk2.0-common_2.24.25-3 libgtk2.0-dev_2.24.25-3 libgtksourceview2.0-0_2.10.5-2 libgtksourceview2.0-common_2.10.5-2 libgtksourceview2.0-dev_2.10.5-2 libgtkspell-dev_2.0.16-1.1 libgtkspell0_2.0.16-1.1 libharfbuzz-dev_0.9.40-3 libharfbuzz-gobject0_0.9.40-3 libharfbuzz-icu0_0.9.40-3 libharfbuzz0b_0.9.40-3 libhogweed2_2.7.1-5 libhunspell-1.3-0_1.3.3-3 libice-dev_2:1.0.9-1 libice6_2:1.0.9-1 libicu52_52.1-9 libidl-dev_0.8.14-1 libidl0_0.8.14-1 libisl10_0.12.2-2 libjasper1_1.900.1-debian1-2.4 libjbig0_2.1-3.1 libjpeg62-turbo_1:1.4.0-7 libk5crypto3_1.12.1+dfsg-20 libkeyutils1_1.5.9-5 libklibc_2.0.4-2+rpi1 libkmod2_18-3 libkrb5-3_1.12.1+dfsg-20 libkrb5support0_1.12.1+dfsg-20 liblablgtk2-gnome-ocaml_2.16.0+dfsg-1 liblablgtk2-gnome-ocaml-dev_2.16.0+dfsg-1 liblablgtk2-ocaml_2.16.0+dfsg-1 liblablgtk2-ocaml-dev_2.16.0+dfsg-1 liblablgtksourceview2-ocaml_2.16.0+dfsg-1 liblablgtksourceview2-ocaml-dev_2.16.0+dfsg-1 libldap-2.4-2_2.4.40+dfsg-1 liblocale-gettext-perl_1.05-8+b1 libltdl7_2.4.2-1.11 liblzma5_5.1.1alpha+20120614-2 liblzo2-2_2.08-1.2 libmagic1_1:5.22+15-2 libmount1_2.25.2-6 libmpc3_1.0.2-1 libmpfr4_3.1.2-2 libncurses5_5.9+20140913-1 libncurses5-dev_5.9+20140913-1 libncursesw5_5.9+20140913-1 libnettle4_2.7.1-5 libnih-dbus1_1.0.3-4.3 libnih1_1.0.3-4.3 libocamlgraph-ocaml-dev_1.8.5-1 libogg0_1.3.2-1 liborbit-2-0_1:2.14.19-1 liborbit2_1:2.14.19-1 liborbit2-dev_1:2.14.19-1 libp11-kit-dev_0.23.1-2 libp11-kit0_0.23.1-2 libpam-modules_1.1.8-3.1 libpam-modules-bin_1.1.8-3.1 libpam-runtime_1.1.8-3.1 libpam0g_1.1.8-3.1 libpango-1.0-0_1.36.8-3 libpango1.0-dev_1.36.8-3 libpangocairo-1.0-0_1.36.8-3 libpangoft2-1.0-0_1.36.8-3 libpangoxft-1.0-0_1.36.8-3 libpcre16-3_2:8.35-5 libpcre3_2:8.35-5 libpcre3-dev_2:8.35-5 libpcre32-3_2:8.35-5 libpcrecpp0_2:8.35-5 libpipeline1_1.4.0-1 libpixman-1-0_0.32.6-3 libpixman-1-dev_0.32.6-3 libpng12-0_1.2.50-2 libpng12-dev_1.2.50-2 libpopt-dev_1.16-10 libpopt0_1.16-10 libprocps3_2:3.3.9-9 libpthread-stubs0-dev_0.3-4 libpython-stdlib_2.7.9-1 libpython2.7-minimal_2.7.10~rc1-1 libpython2.7-stdlib_2.7.10~rc1-1 libreadline6_6.3-8 librsvg2-2_2.40.9-2 librsvg2-common_2.40.9-2 librsvg2-dev_2.40.9-2 libsasl2-2_2.1.26.dfsg1-13 libsasl2-modules-db_2.1.26.dfsg1-13 libselinux1_2.3-2 libselinux1-dev_2.3-2 libsemanage-common_2.3-1 libsemanage1_2.3-1 libsepol1_2.3-2 libsepol1-dev_2.3-2 libslang2_2.3.0-2 libsm-dev_2:1.2.2-1 libsm6_2:1.2.2-1 libsmartcols1_2.25.2-6 libsqlite3-0_3.8.10.2-1 libss2_1.42.12-1.1 libssl1.0.0_1.0.2a-1 libstdc++-4.9-dev_4.9.2-10 libstdc++6_4.9.2-10 libsystemd0_215-17 libtasn1-6_4.5-2 libtasn1-6-dev_4.5-2 libtdb1_1.3.5-1 libtext-charwidth-perl_0.04-7+b4 libtext-iconv-perl_1.7-5+b5 libtext-wrapi18n-perl_0.06-7 libthai-data_0.1.22-1 libthai0_0.1.22-1 libtiff5_4.0.3-13 libtimedate-perl_2.3000-2 libtinfo-dev_5.9+20140913-1 libtinfo5_5.9+20140913-1 libubsan0_4.9.2-10 libudev1_215-17 libunistring0_0.9.3-5.2 libusb-0.1-4_2:0.1.12-25 libustr-1.0-1_1.0.4-3 libuuid1_2.25.2-6 libvorbis0a_1.3.4-2 libvorbisfile3_1.3.4-2 libx11-6_2:1.6.3-1 libx11-data_2:1.6.3-1 libx11-dev_2:1.6.3-1 libxau-dev_1:1.0.8-1 libxau6_1:1.0.8-1 libxcb-render0_1.10-3 libxcb-render0-dev_1.10-3 libxcb-shm0_1.10-3 libxcb-shm0-dev_1.10-3 libxcb1_1.10-3 libxcb1-dev_1.10-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-2 libxdamage1_1:1.1.4-2 libxdmcp-dev_1:1.1.2-1 libxdmcp6_1:1.1.2-1 libxext-dev_2:1.3.3-1 libxext6_2:1.3.3-1 libxfixes-dev_1:5.0.1-2 libxfixes3_1:5.0.1-2 libxft-dev_2.3.2-1 libxft2_2.3.2-1 libxi-dev_2:1.7.4-1 libxi6_2:1.7.4-1 libxinerama-dev_2:1.1.3-1 libxinerama1_2:1.1.3-1 libxml2_2.9.1+dfsg1-5 libxml2-dev_2.9.1+dfsg1-5 libxml2-utils_2.9.1+dfsg1-5 libxrandr-dev_2:1.4.2-1 libxrandr2_2:1.4.2-1 libxrender-dev_1:0.9.8-1 libxrender1_1:0.9.8-1 libzarith-ocaml_1.2.1-2+b1 libzarith-ocaml-dev_1.2.1-2+b1 linux-libc-dev_3.16.7-ckt4-1+rpi1 login_1:4.2-3 lsb-base_4.1+Debian13+rpi1+nmu1 make_4.0-8.1 makedev_2.3.1-93 man-db_2.7.0.2-5 mawk_1.3.3-17 mime-support_3.58 mount_2.25.2-6 mountall_2.54 multiarch-support_2.19-18 ncurses-base_5.9+20140913-1 ncurses-bin_5.9+20140913-1 nettle-dev_2.7.1-5 ocaml-base-nox_4.01.0-5+rpi1 ocaml-compiler-libs_4.01.0-5+rpi1 ocaml-interp_4.01.0-5+rpi1 ocaml-nox_4.01.0-5+rpi1 orbit2_1:2.14.19-1 passwd_1:4.2-3 patch_2.7.5-1 perl_5.20.2-3 perl-base_5.20.2-3 perl-modules_5.20.2-3 pkg-config_0.28-1 plymouth_0.9.0-9 po-debconf_1.0.18 procps_2:3.3.9-9 psmisc_22.21-2 python_2.7.9-1 python-minimal_2.7.9-1 python2.7_2.7.10~rc1-1 python2.7-minimal_2.7.10~rc1-1 raspbian-archive-keyring_20120528.2 readline-common_6.3-8 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.2-4 sensible-utils_0.0.9 shared-mime-info_1.3-1 startpar_0.59-3 systemd_215-17 systemd-sysv_215-17 sysv-rc_2.88dsf-59 sysvinit-utils_2.88dsf-59 tar_1.27.1-2 tzdata_2015c-1 ucf_3.0030 udev_215-17 util-linux_2.25.2-6 x11-common_1:7.7+9 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.27-1 x11proto-damage-dev_1:1.2.1-2 x11proto-fixes-dev_1:5.0-2 x11proto-input-dev_2.3.1-1 x11proto-kb-dev_1.0.6-2 x11proto-randr-dev_1.4.1-2 x11proto-render-dev_2:0.11.1-2 x11proto-xext-dev_7.3.0-1 x11proto-xinerama-dev_1.2.1-2 xorg-sgml-doctools_1:1.11-1 xtrans-dev_1.3.5-1 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.8.dfsg-2 zlib1g-dev_1:1.2.8.dfsg-2

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


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

gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Tue May 26 19:10:28 2015 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.99.1+dfsg1-3.dsc
dpkg-source: info: extracting alt-ergo in alt-ergo-0.99.1+dfsg1
dpkg-source: info: unpacking alt-ergo_0.99.1+dfsg1.orig.tar.gz
dpkg-source: info: unpacking alt-ergo_0.99.1+dfsg1-3.debian.tar.xz
dpkg-source: info: applying 0001-dont-activate-debug-flag
dpkg-source: info: applying 0002-non-free-dropped
dpkg-source: info: applying 0003-allow-set-build-date

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

Sufficient free space for build

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

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LANG=en_GB.UTF-8
LC_ALL=POSIX
LOGNAME=root
MAIL=/var/mail/root
OLDPWD=/usr/share/debootstrap/scripts
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PWD=/root
SCHROOT_ALIAS_NAME=stretch-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=stretch-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=stretch-staging-armhf-sbuild-647614c9-074e-486f-abe9-275b86fe262e
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
SHLVL=1
SSH_CLIENT=172.17.0.6 43413 22
SSH_CONNECTION=172.17.0.6 43413 172.17.2.3 22
SSH_TTY=/dev/pts/0
TERM=xterm
USER=buildd
_=/etc/init.d/buildd

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

dpkg-buildpackage: source package alt-ergo
dpkg-buildpackage: source version 0.99.1+dfsg1-3
dpkg-buildpackage: source distribution unstable
 dpkg-source --before-build alt-ergo-0.99.1+dfsg1
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 '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
if [ -f config.status ]; then \
	/usr/bin/make dist-clean;   \
fi
make[1]: Leaving directory '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
   dh_ocamlclean
   dh_clean
 debian/rules build-arch
dh --with ocaml build-arch
   dh_testdir -a
   dh_ocamlinit -a
   dh_auto_configure -a
	./configure --build=arm-linux-gnueabihf --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libexecdir=\${prefix}/lib/alt-ergo --disable-maintainer-mode --disable-dependency-tracking
configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking
checking for ocp-ocamlc... no
checking for ocamlc... ocamlc
ocaml version is 4.01.0
ocaml library path is /usr/lib/ocaml
checking for ocamlfind... no
checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes
checking for /usr/lib/ocaml/zarith/zarith.cma... yes
checking for ocp-ocamlopt... no
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocp-ocamlc.opt... no
checking for ocamlc.opt... no
checking for ocp-ocamlopt.opt... no
checking for ocamlopt.opt... no
checking for ocamldep... ocamldep
checking for ocamllex... ocamllex
checking for ocamllex.opt... no
checking for ocamlyacc... ocamlyacc
checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... yes
checking for ocamlweb... true
checking platform... configure: creating ./config.status
config.status: creating Makefile.configurable
config.status: WARNING:  'Makefile.configurable.in' seems to ignore the --datarootdir setting
configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking
   debian/rules override_dh_auto_build
make[1]: Entering directory '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
/usr/bin/make all gui BUILD_DATE="May 26, 2015"
make[2]: Entering directory '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
Makefile.users:262: .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
ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/version.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/symbols.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/term.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/structures/exception.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/why_ptree.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/parsing/errors.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/preprocess/pruning.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/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/theories/use.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/ac.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/uf.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/sum.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/records.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/polynome.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/intervals.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/bitv.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/arith.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/combine.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/theory.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/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/instances/matching.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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/sat/sat_solvers.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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_solvers.ml
ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/frontend.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -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.opt zarith.cmxa nums.cmxa graph.cmxa unix.cmxa dynlink.cmxa str.cmxa src/util/version.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/ty.cmx src/structures/why_ptree.cmx src/structures/smtlib2_ast.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/parsing/errors.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/parsing/smt_parser.cmx src/parsing/smt_lex.cmx src/parsing/smtlib2_parse.cmx src/parsing/smtlib2_lex.cmx src/preprocess/existantial.cmx src/preprocess/smt_to_why.cmx src/preprocess/smtlib2_to_why.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/preprocess/pruning.cmx src/instances/matching.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/fm.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/theory.cmx src/sat/sat_solvers.cmx src/main/frontend.cmx src/main/main_text.cmx
ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/gui/gui_session.mli
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -c -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -I 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
ocamlopt -annot -inline 100 -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I src/util -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.opt zarith.cmxa nums.cmxa graph.cmxa unix.cmxa dynlink.cmxa str.cmxa zarith.cmxa threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.cmx src/util/version.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/ty.cmx src/structures/why_ptree.cmx src/structures/smtlib2_ast.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/parsing/errors.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/parsing/smt_parser.cmx src/parsing/smt_lex.cmx src/parsing/smtlib2_parse.cmx src/parsing/smtlib2_lex.cmx src/preprocess/existantial.cmx src/preprocess/smt_to_why.cmx src/preprocess/smtlib2_to_why.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/preprocess/pruning.cmx src/instances/matching.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/fm.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/theory.cmx src/sat/sat_solvers.cmx src/main/frontend.cmx src/gui/gui_session.cmx src/gui/why_annoted.cmx src/gui/why_connected.cmx src/gui/gui_replay.cmx src/main/main_gui.cmx
make[2]: Leaving directory '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
make[1]: Leaving directory '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
   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 '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
/usr/bin/make DESTDIR=debian/tmp install install-gui
make[2]: Entering directory '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
mkdir -p debian/tmp/usr/share/man/man1
cp -f doc/*.1 debian/tmp/usr/share/man/man1
mkdir -p debian/tmp/usr/bin
cp -f alt-ergo.opt debian/tmp/usr/bin/alt-ergo
cp -f altgr-ergo.opt debian/tmp/usr/bin/altgr-ergo
mkdir -p debian/tmp/usr/share/alt-ergo/gtksourceview-2.0/language-specs
cp -f doc/gtk-lang/alt-ergo.lang debian/tmp/usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang
make[2]: Leaving directory '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
make[1]: Leaving directory '/«BUILDDIR»/alt-ergo-0.99.1+dfsg1'
   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
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libatk-1.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libgio-2.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libfontconfig.so.1 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libfreetype.so.6 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libcairo.so.2 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libpangoft2-1.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libpangocairo-1.0.so.0 (it uses none of the library's symbols)
   dh_installdeb -a
   dh_ocaml -a
   dh_gencontrol -a
dpkg-gencontrol: warning: Depends field of package alt-ergo: unknown substitution variable ${ocaml:Depends}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
   dh_md5sums -a
   dh_builddeb -a
dpkg-deb: building package `alt-ergo' in `../alt-ergo_0.99.1+dfsg1-3_armhf.deb'.
 dpkg-genchanges -B -mRaspbian wandboard test autobuilder <root@raspbian.org> >../alt-ergo_0.99.1+dfsg1-3_armhf.changes
dpkg-genchanges: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build alt-ergo-0.99.1+dfsg1
dpkg-buildpackage: binary-only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20150601-1224

Finished
────────

I: Built successfully

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


alt-ergo_0.99.1+dfsg1-3_armhf.changes:
──────────────────────────────────────

Format: 1.8
Date: Tue, 26 May 2015 20:48:35 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: armhf
Version: 0.99.1+dfsg1-3
Distribution: stretch-staging
Urgency: medium
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
Closes: 786846
Changes:
 alt-ergo (0.99.1+dfsg1-3) unstable; urgency=medium
 .
   * debian/control: fix domain name in Vcs fields
   * explicitly set the build date to the date of the last changelog entry
     (closes: #786846):
     - add patch 0003-allow-set-build-date to set the build date in the
       Makefile in a variable
     - debian/rules: pass the correct value of the build date to the Makefile
     Thanks to Juan Picca <jumapico@gmail.com> and Jakub Wilk <jwilk@debian.org>
     for the patch!
   * rename patch 0001-dont-activate-debug-flag to be consistent with other
     patches
Checksums-Sha1:
 42efc210a84b6a216dc17a10f9d8c6edd8ff1e9e 1962938 alt-ergo_0.99.1+dfsg1-3_armhf.deb
Checksums-Sha256:
 ec40181ba0e717666920627c82fbefc948739ef182d401a7ff10d57c79e397aa 1962938 alt-ergo_0.99.1+dfsg1-3_armhf.deb
Files:
 13bfc4273a14921dad04ef6f7616db31 1962938 math optional alt-ergo_0.99.1+dfsg1-3_armhf.deb

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


alt-ergo_0.99.1+dfsg1-3_armhf.deb
─────────────────────────────────

 new debian package, version 2.0.
 size 1962938 bytes: control archive=1594 bytes.
    1328 bytes,    23 lines      control              
    1667 bytes,    21 lines      md5sums              
 Package: alt-ergo
 Version: 0.99.1+dfsg1-3
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 9176
 Depends: libatk1.0-0 (>= 1.12.4), libc6 (>= 2.7), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0)
 Suggests: why
 Section: math
 Priority: optional
 Homepage: http://alt-ergo.lri.fr
 Description: Automatic theorem prover dedicated to program verification
  Alt-Ergo is an automatic theorem prover geared towards application in
  program verification. It is based on CC(X), a congruence closure
  algorithm parameterized by an equational theory X. Alt-Ergo has
  built-in provers for propositional logic, linear arithmetic,
  uninterpreted function symbols, associative-commutative function
  symbols, polymorphic arrays, user-defined polymorphic record types
  and polymorphic enumeration types. It has restricted support for
  reasoning over arbitrary user-defined algebraic types, first-order
  quantifiers, and non-linear arithmetic.
  .
  This package contains the prover as a command-line executable
  as well as the graphical interface.

drwxr-xr-x root/root         0 2015-06-01 12:23 ./
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/bin/
-rwxr-xr-x root/root   3478276 2015-06-01 12:22 ./usr/bin/alt-ergo
-rwxr-xr-x root/root   5879504 2015-06-01 12:22 ./usr/bin/altgr-ergo
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/share/
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/share/man/
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/share/man/man1/
-rw-r--r-- root/root      1177 2015-06-01 12:22 ./usr/share/man/man1/alt-ergo.1.gz
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/share/alt-ergo/
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/share/alt-ergo/gtksourceview-2.0/
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/share/alt-ergo/gtksourceview-2.0/language-specs/
-rw-r--r-- root/root      4309 2015-06-01 12:22 ./usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/share/doc/
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/share/doc/alt-ergo/
-rw-r--r-- root/root     24085 2015-05-26 18:49 ./usr/share/doc/alt-ergo/copyright
drwxr-xr-x root/root         0 2015-06-01 12:22 ./usr/share/doc/alt-ergo/examples/
drwxr-xr-x root/root         0 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/invalid/
-rw-r--r-- root/root        61 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/invalid/arith2.why
-rw-r--r-- root/root       147 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/invalid/arrays.why
-rw-r--r-- root/root        57 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/invalid/arith1.why
-rw-r--r-- root/root       141 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/invalid/bitv.why
drwxr-xr-x root/root         0 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/
-rw-r--r-- root/root        87 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/arith4.why
-rw-r--r-- root/root       189 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/congruence.why
-rw-r--r-- root/root       125 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/arith2.why
-rw-r--r-- root/root       151 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/arrays.why
-rw-r--r-- root/root       183 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/enum_arrays.why
-rw-r--r-- root/root       106 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/ac_arith.why
-rw-r--r-- root/root       106 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/arith3.why
-rw-r--r-- root/root       195 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/quantifiers.why
-rw-r--r-- root/root       120 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/arith1.why
-rw-r--r-- root/root       139 2014-12-30 11:12 ./usr/share/doc/alt-ergo/examples/valid/bitv.why
-rw-r--r-- root/root      2930 2015-05-26 18:49 ./usr/share/doc/alt-ergo/changelog.Debian.gz
-rw-r--r-- root/root      2757 2014-12-30 11:12 ./usr/share/doc/alt-ergo/changelog.gz


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


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

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

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

Build Architecture: armhf
Build-Space: 55104
Build-Time: 348
Distribution: stretch-staging
Host Architecture: armhf
Install-Time: 1170
Job: alt-ergo_0.99.1+dfsg1-3
Machine Architecture: armhf
Package: alt-ergo
Package-Time: 1572
Source-Version: 0.99.1+dfsg1-3
Space: 55104
Status: successful
Version: 0.99.1+dfsg1-3
────────────────────────────────────────────────────────────────────────────────
Finished at 20150601-1224
Build needed 00:26:12, 55104k disc space

Page generated on 2024-05-17 06:47:45 UTC
Pages written by Mehdi Dogguy
Architecture specific issues should be sent to <$arch@buildd.debian.org>
Service maintained by the wanna-build team <debian-wb-team@lists.debian.org>
Download code with git: git clone https://buildd.debian.org/git/pgstatus.git
Valid XHTML  Valid CSS