Raspbian Package Auto-Building

alt-ergo → 1.30-1 → armhf → 2016-12-23 05:18:07

sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on bm-wb-02

+==============================================================================+
| alt-ergo 1.30-1 (armhf)                      Fri, 23 Dec 2016 04:40:24 +0000 |
+==============================================================================+

Package: alt-ergo
Version: 1.30-1
Source Version: 1.30-1
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-52e0ce6e-affd-44d7-93a3-8d79de664616' with '<<CHROOT>>'

+------------------------------------------------------------------------------+
| Update chroot                                                                |
+------------------------------------------------------------------------------+

Get:1 http://172.17.0.1/private stretch-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private stretch-staging/main Sources [9638 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf Packages [11.6 MB]
Fetched 21.2 MB in 23s (911 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Fetch source files                                                           |
+------------------------------------------------------------------------------+


Check APT
---------

Checking available source versions...

Download source files with APT
------------------------------

Reading package lists...
NOTICE: 'alt-ergo' packaging is maintained in the 'Git' version control system at:
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
Please use:
git clone https://anonscm.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 397 kB of source archives.
Get:1 http://172.17.0.1/private stretch-staging/main alt-ergo 1.30-1 (dsc) [2247 B]
Get:2 http://172.17.0.1/private stretch-staging/main alt-ergo 1.30-1 (tar) [380 kB]
Get:3 http://172.17.0.1/private stretch-staging/main alt-ergo 1.30-1 (diff) [14.2 kB]
Fetched 397 kB in 0s (7578 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/alt-ergo-SiWVvI/alt-ergo-1.30' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/alt-ergo-SiWVvI' with '<<BUILDDIR>>'

+------------------------------------------------------------------------------+
| Install build-essential                                                      |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-FWVV6A/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-FWVV6A/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-FWVV6A/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg:               imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg:              unchanged: 1
gpg:       secret keys read: 1
gpg:   secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ Packages [430 B]
Fetched 2106 B in 0s (3415 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install core build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  fuse2fs gnupg-l10n libfuse2 manpages
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 36 not upgraded.
Need to get 776 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [776 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 776 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 13928 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Check architectures                                                          |
+------------------------------------------------------------------------------+

Arch check ok (armhf included in any)

+------------------------------------------------------------------------------+
| Install package build dependencies                                           |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: debhelper (>= 10), ocaml-nox (>= 3.12.1), ocaml-findlib, 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, libzip-ocaml-dev, ocplib-simplex-ocaml-dev, dh-ocaml (>= 0.9.0~)
Filtered Build-Depends: debhelper (>= 10), ocaml-nox (>= 3.12.1), ocaml-findlib, 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, libzip-ocaml-dev, ocplib-simplex-ocaml-dev, dh-ocaml (>= 0.9.0~)
dpkg-deb: building package 'sbuild-build-depends-alt-ergo-dummy' in '/<<BUILDDIR>>/resolver-FWVV6A/apt_archive/sbuild-build-depends-alt-ergo-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-alt-ergo-dummy sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ Sources [601 B]
Get:5 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ Packages [684 B]
Fetched 2618 B in 0s (4397 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
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 packages were automatically installed and are no longer required:
  fuse2fs gnupg-l10n libfuse2 manpages
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
  aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils dbus
  dbus-user-session debhelper dh-autoreconf dh-ocaml dh-python
  dh-strip-nondeterminism 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-icon-theme gnome-mime-data groff-base
  gtk-update-icon-cache hicolor-icon-theme icu-devtools intltool-debian
  libarchive-zip-perl libart-2.0-2 libart-2.0-dev libasound2 libasound2-data
  libaspell15 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 libbsd0
  libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev
  libcanberra-dev libcanberra0 libcroco3 libcups2 libdatrie1 libdbus-1-dev
  libdbus-glib-1-2 libelf1 libenchant-dev libenchant1c2a libexpat1
  libexpat1-dev libffi6 libfile-stripnondeterminism-perl libfindlib-ocaml
  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-common libgnome2-dev libgnomecanvas2-0 libgnomecanvas2-common
  libgnomecanvas2-dev libgnomeui-0 libgnomeui-common libgnomeui-dev
  libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev libgnutls-dane0
  libgnutls-openssl27 libgnutls28-dev libgnutls30 libgnutlsxx28 libgraphite2-3
  libgraphite2-dev 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 libhogweed4 libhunspell-1.4-0 libice-dev
  libice6 libicu-dev libicu57 libidl-2-0 libidl-dev libidn11-dev 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 libldap-common libltdl7
  liblzo2-2 libmagic-mgc libmagic1 libmpdec2 libncurses5 libncurses5-dev
  libncursesw5 libnettle6 libocamlgraph-ocaml-dev libogg0 liborbit-2-0
  liborbit2 liborbit2-dev libp11-kit-dev libp11-kit0 libpam-systemd
  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 libpcrecpp0v5
  libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpng16-16
  libpopt-dev libpopt0 libpthread-stubs0-dev libpython-stdlib
  libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib
  libpython3.5-minimal libpython3.5-stdlib librsvg2-2 librsvg2-common
  librsvg2-dev libsasl2-2 libsasl2-modules-db libselinux1-dev libsepol1
  libsepol1-dev libsigsegv2 libsm-dev libsm6 libssl1.0.2 libssl1.1 libsystemd0
  libtasn1-6 libtasn1-6-dev libtdb1 libtext-iconv-perl libthai-data libthai0
  libtiff5 libtinfo-dev libtinfo5 libtool libunbound2 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
  libzip-ocaml libzip-ocaml-dev m4 man-db mime-support nettle-dev
  ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox
  ocplib-simplex-ocaml-dev orbit2 pkg-config po-debconf psmisc python
  python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.5
  python3.5-minimal shared-mime-info systemd 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 zlib1g-dev
Suggested packages:
  aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican
  | wordlist whois vacation dh-make git wordlist gconf-defaults-service
  gettext-doc libasprintf-dev libgettextpo-dev 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
  gmp-doc libgmp10-doc libmpfr-dev gnome-keyring desktop-base libgnome2-doc
  libgnomecanvas2-doc libgnomeui-doc libgnomevfs2-bin dns-root-data gnutls-doc
  gnutls-bin krb5-doc krb5-user gvfs libgtk2.0-doc libgtksourceview2.0-doc
  libice-doc icu-doc liblablgtk2-gl-ocaml-dev ncurses-doc imagemagick
  libpango1.0-doc librsvg2-bin librsvg2-doc libsm-doc libtool-doc gfortran
  | fortran95-compiler gcj-jdk libxcb-doc libxext-doc less www-browser camlp4
  ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl python-doc python-tk
  python2.7-doc binfmt-support python3-doc python3-tk python3-venv
  python3.5-venv python3.5-doc systemd-ui systemd-container policykit-1
Recommended packages:
  curl | wget | lynx-cur dbus-x11 enchant libgconf2-doc xdg-user-dirs
  libgnomevfs2-extra libgtk2.0-bin hunspell-en-us | hunspell-dictionary
  | myspell-dictionary krb5-locales liblablgtk2-ocaml-doc libgpm2 libpng-tools
  libsasl2-modules libtasn1-doc libltdl-dev libx11-doc xml-core
  libfindlib-ocaml-dev ledit | readline-editor camlp4 libmail-sendmail-perl
The following NEW packages will be installed:
  aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils dbus
  dbus-user-session debhelper dh-autoreconf dh-ocaml dh-python
  dh-strip-nondeterminism 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-icon-theme gnome-mime-data groff-base
  gtk-update-icon-cache hicolor-icon-theme icu-devtools intltool-debian
  libarchive-zip-perl libart-2.0-2 libart-2.0-dev libasound2 libasound2-data
  libaspell15 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 libbsd0
  libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev
  libcanberra-dev libcanberra0 libcroco3 libcups2 libdatrie1 libdbus-1-dev
  libdbus-glib-1-2 libelf1 libenchant-dev libenchant1c2a libexpat1
  libexpat1-dev libffi6 libfile-stripnondeterminism-perl libfindlib-ocaml
  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-common libgnome2-dev libgnomecanvas2-0 libgnomecanvas2-common
  libgnomecanvas2-dev libgnomeui-0 libgnomeui-common libgnomeui-dev
  libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev libgnutls-dane0
  libgnutls-openssl27 libgnutls28-dev libgnutls30 libgnutlsxx28 libgraphite2-3
  libgraphite2-dev 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 libhogweed4 libhunspell-1.4-0 libice-dev
  libice6 libicu-dev libicu57 libidl-2-0 libidl-dev libidn11-dev 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 libldap-common libltdl7
  liblzo2-2 libmagic-mgc libmagic1 libmpdec2 libncurses5-dev libnettle6
  libocamlgraph-ocaml-dev libogg0 liborbit-2-0 liborbit2 liborbit2-dev
  libp11-kit-dev libp11-kit0 libpam-systemd 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 libpcrecpp0v5 libpipeline1 libpixman-1-0
  libpixman-1-dev libpng-dev libpng16-16 libpopt-dev libpopt0
  libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal
  libpython2.7-stdlib libpython3-stdlib libpython3.5-minimal
  libpython3.5-stdlib librsvg2-2 librsvg2-common librsvg2-dev libsasl2-2
  libsasl2-modules-db libselinux1-dev libsepol1-dev libsigsegv2 libsm-dev
  libsm6 libssl1.0.2 libssl1.1 libtasn1-6 libtasn1-6-dev libtdb1
  libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libtool
  libunbound2 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 libzip-ocaml libzip-ocaml-dev m4 man-db mime-support
  nettle-dev ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp
  ocaml-nox ocplib-simplex-ocaml-dev orbit2 pkg-config po-debconf psmisc
  python python-minimal python2.7 python2.7-minimal python3 python3-minimal
  python3.5 python3.5-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:
  libncurses5 libncursesw5 libsepol1 libsystemd0 libtinfo5 systemd zlib1g
7 upgraded, 305 newly installed, 0 to remove and 29 not upgraded.
Need to get 144 MB/146 MB of archives.
After this operation, 529 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-FWVV6A/apt_archive ./ sbuild-build-depends-alt-ergo-dummy 0.invalid.0 [886 B]
Get:2 http://172.17.0.1/private stretch-staging/main armhf systemd armhf 232-7 [2218 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf libsystemd0 armhf 232-7 [252 kB]
Get:4 http://172.17.0.1/private stretch-staging/main armhf libpopt0 armhf 1.16-10 [46.2 kB]
Get:5 http://172.17.0.1/private stretch-staging/main armhf groff-base armhf 1.22.3-8 [1087 kB]
Get:6 http://172.17.0.1/private stretch-staging/main armhf libbsd0 armhf 0.8.3-1 [89.0 kB]
Get:7 http://172.17.0.1/private stretch-staging/main armhf libncurses5 armhf 6.0+20161126-1 [74.0 kB]
Get:8 http://172.17.0.1/private stretch-staging/main armhf libtinfo5 armhf 6.0+20161126-1 [288 kB]
Get:9 http://172.17.0.1/private stretch-staging/main armhf libncursesw5 armhf 6.0+20161126-1 [93.4 kB]
Get:10 http://172.17.0.1/private stretch-staging/main armhf bsdmainutils armhf 9.0.12 [178 kB]
Get:11 http://172.17.0.1/private stretch-staging/main armhf libpipeline1 armhf 1.4.1-2 [23.7 kB]
Get:12 http://172.17.0.1/private stretch-staging/main armhf zlib1g armhf 1:1.2.8.dfsg-4 [81.6 kB]
Get:13 http://172.17.0.1/private stretch-staging/main armhf man-db armhf 2.7.5-2 [971 kB]
Get:14 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-minimal armhf 2.7.13~rc1-1 [389 kB]
Get:15 http://172.17.0.1/private stretch-staging/main armhf python2.7-minimal armhf 2.7.13~rc1-1 [1177 kB]
Get:16 http://172.17.0.1/private stretch-staging/main armhf python-minimal armhf 2.7.11-2 [40.3 kB]
Get:17 http://172.17.0.1/private stretch-staging/main armhf mime-support all 3.60 [36.7 kB]
Get:18 http://172.17.0.1/private stretch-staging/main armhf libexpat1 armhf 2.2.0-1 [61.7 kB]
Get:19 http://172.17.0.1/private stretch-staging/main armhf libssl1.1 armhf 1.1.0c-2 [1101 kB]
Get:20 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-stdlib armhf 2.7.13~rc1-1 [1829 kB]
Get:21 http://172.17.0.1/private stretch-staging/main armhf python2.7 armhf 2.7.13~rc1-1 [285 kB]
Get:22 http://172.17.0.1/private stretch-staging/main armhf libpython-stdlib armhf 2.7.11-2 [19.8 kB]
Get:23 http://172.17.0.1/private stretch-staging/main armhf python armhf 2.7.11-2 [153 kB]
Get:24 http://172.17.0.1/private stretch-staging/main armhf libpng16-16 armhf 1.6.26-6 [263 kB]
Get:25 http://172.17.0.1/private stretch-staging/main armhf libfreetype6 armhf 2.6.3-3+b1 [385 kB]
Get:26 http://172.17.0.1/private stretch-staging/main armhf ucf all 3.0036 [70.2 kB]
Get:27 http://172.17.0.1/private stretch-staging/main armhf fonts-dejavu-core all 2.37-1 [1068 kB]
Get:28 http://172.17.0.1/private stretch-staging/main armhf fontconfig-config all 2.11.0-6.7 [271 kB]
Get:29 http://172.17.0.1/private stretch-staging/main armhf libfontconfig1 armhf 2.11.0-6.7 [313 kB]
Get:30 http://172.17.0.1/private stretch-staging/main armhf fontconfig armhf 2.11.0-6.7 [402 kB]
Get:31 http://172.17.0.1/private stretch-staging/main armhf libart-2.0-2 armhf 2.3.21-2 [63.8 kB]
Get:32 http://172.17.0.1/private stretch-staging/main armhf libaspell15 armhf 0.60.7~20110707-3 [299 kB]
Get:33 http://172.17.0.1/private stretch-staging/main armhf libbonobo2-common all 2.32.1-3 [243 kB]
Get:34 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-0 armhf 2.50.2-2 [2527 kB]
Get:35 http://172.17.0.1/private stretch-staging/main armhf liborbit-2-0 armhf 1:2.14.19-2 [199 kB]
Get:36 http://172.17.0.1/private stretch-staging/main armhf libicu57 armhf 57.1-5 [7427 kB]
Get:37 http://172.17.0.1/private stretch-staging/main armhf libxml2 armhf 2.9.4+dfsg1-2.1 [804 kB]
Get:38 http://172.17.0.1/private stretch-staging/main armhf libbonobo2-0 armhf 2.32.1-3 [236 kB]
Get:39 http://172.17.0.1/private stretch-staging/main armhf libatk1.0-data all 2.22.0-1 [172 kB]
Get:40 http://172.17.0.1/private stretch-staging/main armhf libatk1.0-0 armhf 2.22.0-1 [70.4 kB]
Get:41 http://172.17.0.1/private stretch-staging/main armhf libpixman-1-0 armhf 0.34.0-1 [451 kB]
Get:42 http://172.17.0.1/private stretch-staging/main armhf libxau6 armhf 1:1.0.8-1 [19.9 kB]
Get:43 http://172.17.0.1/private stretch-staging/main armhf libxdmcp6 armhf 1:1.1.2-1.1 [24.9 kB]
Get:44 http://172.17.0.1/private stretch-staging/main armhf libxcb1 armhf 1.12-1 [129 kB]
Get:45 http://172.17.0.1/private stretch-staging/main armhf libx11-data all 2:1.6.4-2 [290 kB]
Get:46 http://172.17.0.1/private stretch-staging/main armhf libx11-6 armhf 2:1.6.4-2 [681 kB]
Get:47 http://172.17.0.1/private stretch-staging/main armhf libxcb-render0 armhf 1.12-1 [104 kB]
Get:48 http://172.17.0.1/private stretch-staging/main armhf libxcb-shm0 armhf 1.12-1 [95.9 kB]
Get:49 http://172.17.0.1/private stretch-staging/main armhf libxext6 armhf 2:1.3.3-1 [48.1 kB]
Get:50 http://172.17.0.1/private stretch-staging/main armhf libxrender1 armhf 1:0.9.10-1 [29.9 kB]
Get:51 http://172.17.0.1/private stretch-staging/main armhf libcairo2 armhf 1.14.6-1.1 [686 kB]
Get:52 http://172.17.0.1/private stretch-staging/main armhf libjpeg62-turbo armhf 1:1.5.1-2 [109 kB]
Get:53 http://172.17.0.1/private stretch-staging/main armhf libjbig0 armhf 2.1-3.1 [27.5 kB]
Get:54 http://172.17.0.1/private stretch-staging/main armhf libtiff5 armhf 4.0.7-1 [209 kB]
Get:55 http://172.17.0.1/private stretch-staging/main armhf shared-mime-info armhf 1.7-1 [717 kB]
Get:56 http://172.17.0.1/private stretch-staging/main armhf libgdk-pixbuf2.0-common all 2.36.0-1 [305 kB]
Get:57 http://172.17.0.1/private stretch-staging/main armhf libgdk-pixbuf2.0-0 armhf 2.36.0-1 [149 kB]
Get:58 http://172.17.0.1/private stretch-staging/main armhf libgtk2.0-common all 2.24.31-1 [2690 kB]
Get:59 http://172.17.0.1/private stretch-staging/main armhf libavahi-common-data armhf 0.6.32-1 [118 kB]
Get:60 http://172.17.0.1/private stretch-staging/main armhf libavahi-common3 armhf 0.6.32-1 [48.6 kB]
Get:61 http://172.17.0.1/private stretch-staging/main armhf libavahi-client3 armhf 0.6.32-1 [51.2 kB]
Get:62 http://172.17.0.1/private stretch-staging/main armhf libgnutls30 armhf 3.5.7-2 [816 kB]
Get:63 http://172.17.0.1/private stretch-staging/main armhf libkeyutils1 armhf 1.5.9-9 [11.9 kB]
Get:64 http://172.17.0.1/private stretch-staging/main armhf libkrb5support0 armhf 1.15-1 [57.9 kB]
Get:65 http://172.17.0.1/private stretch-staging/main armhf libk5crypto3 armhf 1.15-1 [115 kB]
Get:66 http://172.17.0.1/private stretch-staging/main armhf libkrb5-3 armhf 1.15-1 [262 kB]
Get:67 http://172.17.0.1/private stretch-staging/main armhf libgssapi-krb5-2 armhf 1.15-1 [132 kB]
Get:68 http://172.17.0.1/private stretch-staging/main armhf libcups2 armhf 2.2.1-2+b5 [272 kB]
Get:69 http://172.17.0.1/private stretch-staging/main armhf libthai-data all 0.1.25-2 [165 kB]
Get:70 http://172.17.0.1/private stretch-staging/main armhf libdatrie1 armhf 0.2.10-4 [32.8 kB]
Get:71 http://172.17.0.1/private stretch-staging/main armhf libthai0 armhf 0.1.25-2 [48.7 kB]
Get:72 http://172.17.0.1/private stretch-staging/main armhf libpango-1.0-0 armhf 1.40.3-3 [300 kB]
Get:73 http://172.17.0.1/private stretch-staging/main armhf libgraphite2-3 armhf 1.3.9-2 [62.9 kB]
Get:74 http://172.17.0.1/private stretch-staging/main armhf libharfbuzz0b armhf 1.2.7-1+b1 [589 kB]
Get:75 http://172.17.0.1/private stretch-staging/main armhf libpangoft2-1.0-0 armhf 1.40.3-3 [196 kB]
Get:76 http://172.17.0.1/private stretch-staging/main armhf libpangocairo-1.0-0 armhf 1.40.3-3 [186 kB]
Get:77 http://172.17.0.1/private stretch-staging/main armhf libxcomposite1 armhf 1:0.4.4-1 [16.8 kB]
Get:78 http://172.17.0.1/private stretch-staging/main armhf libxfixes3 armhf 1:5.0.3-1 [20.6 kB]
Get:79 http://172.17.0.1/private stretch-staging/main armhf libxcursor1 armhf 1:1.1.14-1+b1 [31.9 kB]
Get:80 http://172.17.0.1/private stretch-staging/main armhf libxdamage1 armhf 1:1.1.4-2+b1 [14.1 kB]
Get:81 http://172.17.0.1/private stretch-staging/main armhf libxi6 armhf 2:1.7.8-1 [77.7 kB]
Get:82 http://172.17.0.1/private stretch-staging/main armhf libxinerama1 armhf 2:1.1.3-1+b1 [16.4 kB]
Get:83 http://172.17.0.1/private stretch-staging/main armhf libxrandr2 armhf 2:1.5.1-1 [34.5 kB]
Get:84 http://172.17.0.1/private stretch-staging/main armhf hicolor-icon-theme all 0.15-1 [9550 B]
Get:85 http://172.17.0.1/private stretch-staging/main armhf gtk-update-icon-cache armhf 3.22.2-1+rpi1 [80.6 kB]
Get:86 http://172.17.0.1/private stretch-staging/main armhf libcroco3 armhf 0.6.11-2 [131 kB]
Get:87 http://172.17.0.1/private stretch-staging/main armhf librsvg2-2 armhf 2.40.16-1 [266 kB]
Get:88 http://172.17.0.1/private stretch-staging/main armhf librsvg2-common armhf 2.40.16-1 [193 kB]
Get:89 http://172.17.0.1/private stretch-staging/main armhf gnome-icon-theme all 3.12.0-2 [9890 kB]
Get:90 http://172.17.0.1/private stretch-staging/main armhf libgtk2.0-0 armhf 2.24.31-1 [1508 kB]
Get:91 http://172.17.0.1/private stretch-staging/main armhf libglade2-0 armhf 1:2.6.4-2 [76.2 kB]
Get:92 http://172.17.0.1/private stretch-staging/main armhf libdbus-glib-1-2 armhf 0.108-1 [196 kB]
Get:93 http://172.17.0.1/private stretch-staging/main armhf gconf2-common all 3.2.6-4 [1040 kB]
Get:94 http://172.17.0.1/private stretch-staging/main armhf libgconf-2-4 armhf 3.2.6-4 [415 kB]
Get:95 http://172.17.0.1/private stretch-staging/main armhf libsasl2-modules-db armhf 2.1.27~101-g0780600+dfsg-1 [66.7 kB]
Get:96 http://172.17.0.1/private stretch-staging/main armhf libsasl2-2 armhf 2.1.27~101-g0780600+dfsg-1 [97.9 kB]
Get:97 http://172.17.0.1/private stretch-staging/main armhf libldap-common all 2.4.44+dfsg-2+rpi1 [84.5 kB]
Get:98 http://172.17.0.1/private stretch-staging/main armhf libldap-2.4-2 armhf 2.4.44+dfsg-2+rpi1 [195 kB]
Get:99 http://172.17.0.1/private stretch-staging/main armhf gconf-service armhf 3.2.6-4 [406 kB]
Get:100 http://172.17.0.1/private stretch-staging/main armhf libasound2-data all 1.1.2-1 [207 kB]
Get:101 http://172.17.0.1/private stretch-staging/main armhf libasound2 armhf 1.1.2-1 [478 kB]
Get:102 http://172.17.0.1/private stretch-staging/main armhf libltdl7 armhf 2.4.6-2 [386 kB]
Get:103 http://172.17.0.1/private stretch-staging/main armhf libtdb1 armhf 1.3.11-2 [38.0 kB]
Get:104 http://172.17.0.1/private stretch-staging/main armhf libogg0 armhf 1.3.2-1 [17.2 kB]
Get:105 http://172.17.0.1/private stretch-staging/main armhf libvorbis0a armhf 1.3.5-3 [81.5 kB]
Get:106 http://172.17.0.1/private stretch-staging/main armhf libvorbisfile3 armhf 1.3.5-3 [22.9 kB]
Get:107 http://172.17.0.1/private stretch-staging/main armhf libcanberra0 armhf 0.30-3+b2 [36.5 kB]
Get:108 http://172.17.0.1/private stretch-staging/main armhf libavahi-glib1 armhf 0.6.32-1 [37.3 kB]
Get:109 http://172.17.0.1/private stretch-staging/main armhf dbus armhf 1.10.14-1 [187 kB]
Get:110 http://172.17.0.1/private stretch-staging/main armhf libpam-systemd armhf 232-7 [167 kB]
Get:111 http://172.17.0.1/private stretch-staging/main armhf dbus-user-session all 1.10.14-1 [75.2 kB]
Get:112 http://172.17.0.1/private stretch-staging/main armhf psmisc armhf 22.21-2.1 [117 kB]
Get:113 http://172.17.0.1/private stretch-staging/main armhf gconf2 armhf 3.2.6-4 [419 kB]
Get:114 http://172.17.0.1/private stretch-staging/main armhf gnome-mime-data all 2.18.0-1 [725 kB]
Get:115 http://172.17.0.1/private stretch-staging/main armhf libgnomevfs2-common all 1:2.24.4-6.1 [760 kB]
Get:116 http://172.17.0.1/private stretch-staging/main armhf libgnomevfs2-0 armhf 1:2.24.4-6.1+b1 [454 kB]
Get:117 http://172.17.0.1/private stretch-staging/main armhf libgnome2-common all 2.32.1-5 [936 kB]
Get:118 http://172.17.0.1/private stretch-staging/main armhf libgnome-2-0 armhf 2.32.1-5 [463 kB]
Get:119 http://172.17.0.1/private stretch-staging/main armhf libgnome-keyring-common all 3.12.0-1 [59.5 kB]
Get:120 http://172.17.0.1/private stretch-staging/main armhf libgnome-keyring0 armhf 3.12.0-1+b1 [79.9 kB]
Get:121 http://172.17.0.1/private stretch-staging/main armhf liblzo2-2 armhf 2.08-1.2 [47.6 kB]
Get:122 http://172.17.0.1/private stretch-staging/main armhf libpcrecpp0v5 armhf 2:8.39-2 [149 kB]
Get:123 http://172.17.0.1/private stretch-staging/main armhf libxft2 armhf 2.3.2-1 [48.3 kB]
Get:124 http://172.17.0.1/private stretch-staging/main armhf libpython3.5-minimal armhf 3.5.2-8 [566 kB]
Get:125 http://172.17.0.1/private stretch-staging/main armhf python3.5-minimal armhf 3.5.2-8 [1443 kB]
Get:126 http://172.17.0.1/private stretch-staging/main armhf python3-minimal armhf 3.5.1-4 [35.3 kB]
Get:127 http://172.17.0.1/private stretch-staging/main armhf libmpdec2 armhf 2.4.2-1 [67.5 kB]
Get:128 http://172.17.0.1/private stretch-staging/main armhf libpython3.5-stdlib armhf 3.5.2-8 [2090 kB]
Get:129 http://172.17.0.1/private stretch-staging/main armhf python3.5 armhf 3.5.2-8 [227 kB]
Get:130 http://172.17.0.1/private stretch-staging/main armhf libpython3-stdlib armhf 3.5.1-4 [18.6 kB]
Get:131 http://172.17.0.1/private stretch-staging/main armhf dh-python all 2.20160818 [83.0 kB]
Get:132 http://172.17.0.1/private stretch-staging/main armhf python3 armhf 3.5.1-4 [21.7 kB]
Get:133 http://172.17.0.1/private stretch-staging/main armhf libsepol1 armhf 2.6-2 [205 kB]
Get:134 http://172.17.0.1/private stretch-staging/main armhf libtext-iconv-perl armhf 1.7-5+b8 [14.6 kB]
Get:135 http://172.17.0.1/private stretch-staging/main armhf libmagic-mgc armhf 1:5.29-1 [219 kB]
Get:136 http://172.17.0.1/private stretch-staging/main armhf libmagic1 armhf 1:5.29-1 [104 kB]
Get:137 http://172.17.0.1/private stretch-staging/main armhf file armhf 1:5.29-1 [63.3 kB]
Get:138 http://172.17.0.1/private stretch-staging/main armhf gettext-base armhf 0.19.8.1-1 [117 kB]
Get:139 http://172.17.0.1/private stretch-staging/main armhf libgnutls-openssl27 armhf 3.5.7-2 [176 kB]
Get:140 http://172.17.0.1/private stretch-staging/main armhf libsigsegv2 armhf 2.10-5 [28.4 kB]
Get:141 http://172.17.0.1/private stretch-staging/main armhf m4 armhf 1.4.17-5 [239 kB]
Get:142 http://172.17.0.1/private stretch-staging/main armhf emacsen-common all 2.0.8 [21.2 kB]
Get:143 http://172.17.0.1/private stretch-staging/main armhf dictionaries-common all 1.27.2 [245 kB]
Get:144 http://172.17.0.1/private stretch-staging/main armhf aspell armhf 0.60.7~20110707-3 [220 kB]
Get:145 http://172.17.0.1/private stretch-staging/main armhf aspell-en all 2016.11.20-0-0.1 [299 kB]
Get:146 http://172.17.0.1/private stretch-staging/main armhf autoconf all 2.69-10 [338 kB]
Get:147 http://172.17.0.1/private stretch-staging/main armhf autotools-dev all 20161112.1 [73.4 kB]
Get:148 http://172.17.0.1/private stretch-staging/main armhf automake all 1:1.15-5 [733 kB]
Get:149 http://172.17.0.1/private stretch-staging/main armhf autopoint all 0.19.8.1-1 [433 kB]
Get:150 http://172.17.0.1/private stretch-staging/main armhf libtool all 2.4.6-2 [545 kB]
Get:151 http://172.17.0.1/private stretch-staging/main armhf dh-autoreconf all 12 [15.8 kB]
Get:152 http://172.17.0.1/private stretch-staging/main armhf libarchive-zip-perl all 1.59-1 [95.5 kB]
Get:153 http://172.17.0.1/private stretch-staging/main armhf libfile-stripnondeterminism-perl all 0.028-1 [14.6 kB]
Get:154 http://172.17.0.1/private stretch-staging/main armhf dh-strip-nondeterminism all 0.028-1 [9020 B]
Get:155 http://172.17.0.1/private stretch-staging/main armhf libunistring0 armhf 0.9.6+really0.9.3-0.1 [252 kB]
Get:156 http://172.17.0.1/private stretch-staging/main armhf gettext armhf 0.19.8.1-1 [1433 kB]
Get:157 http://172.17.0.1/private stretch-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:158 http://172.17.0.1/private stretch-staging/main armhf po-debconf all 1.0.20 [247 kB]
Get:159 http://172.17.0.1/private stretch-staging/main armhf debhelper all 10.2.2 [826 kB]
Get:160 http://172.17.0.1/private stretch-staging/main armhf libgirepository-1.0-1 armhf 1.50.0-1 [76.4 kB]
Get:161 http://172.17.0.1/private stretch-staging/main armhf gir1.2-glib-2.0 armhf 1.50.0-1 [139 kB]
Get:162 http://172.17.0.1/private stretch-staging/main armhf gir1.2-atk-1.0 armhf 2.22.0-1 [53.5 kB]
Get:163 http://172.17.0.1/private stretch-staging/main armhf libcairo-gobject2 armhf 1.14.6-1.1 [332 kB]
Get:164 http://172.17.0.1/private stretch-staging/main armhf gir1.2-freedesktop armhf 1.50.0-1 [15.2 kB]
Get:165 http://172.17.0.1/private stretch-staging/main armhf gir1.2-gconf-2.0 armhf 3.2.6-4 [362 kB]
Get:166 http://172.17.0.1/private stretch-staging/main armhf gir1.2-gdkpixbuf-2.0 armhf 2.36.0-1 [14.9 kB]
Get:167 http://172.17.0.1/private stretch-staging/main armhf gir1.2-gnomekeyring-1.0 armhf 3.12.0-1+b1 [40.4 kB]
Get:168 http://172.17.0.1/private stretch-staging/main armhf libpangoxft-1.0-0 armhf 1.40.3-3 [181 kB]
Get:169 http://172.17.0.1/private stretch-staging/main armhf gir1.2-pango-1.0 armhf 1.40.3-3 [189 kB]
Get:170 http://172.17.0.1/private stretch-staging/main armhf gir1.2-gtk-2.0 armhf 2.24.31-1 [212 kB]
Get:171 http://172.17.0.1/private stretch-staging/main armhf gir1.2-rsvg-2.0 armhf 2.40.16-1 [192 kB]
Get:172 http://172.17.0.1/private stretch-staging/main armhf icu-devtools armhf 57.1-5 [156 kB]
Get:173 http://172.17.0.1/private stretch-staging/main armhf libart-2.0-dev armhf 2.3.21-2 [82.0 kB]
Get:174 http://172.17.0.1/private stretch-staging/main armhf libelf1 armhf 0.166-2.2 [169 kB]
Get:175 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-data all 2.50.2-2 [2514 kB]
Get:176 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-bin armhf 2.50.2-2 [1607 kB]
Get:177 http://172.17.0.1/private stretch-staging/main armhf libpcre16-3 armhf 2:8.39-2 [235 kB]
Get:178 http://172.17.0.1/private stretch-staging/main armhf libpcre32-3 armhf 2:8.39-2 [227 kB]
Get:179 http://172.17.0.1/private stretch-staging/main armhf libpcre3-dev armhf 2:8.39-2 [568 kB]
Get:180 http://172.17.0.1/private stretch-staging/main armhf zlib1g-dev armhf 1:1.2.8.dfsg-4 [198 kB]
Get:181 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-dev armhf 2.50.2-2 [2774 kB]
Get:182 http://172.17.0.1/private stretch-staging/main armhf libatk1.0-dev armhf 2.22.0-1 [115 kB]
Get:183 http://172.17.0.1/private stretch-staging/main armhf libavahi-common-dev armhf 0.6.32-1 [62.5 kB]
Get:184 http://172.17.0.1/private stretch-staging/main armhf libdbus-1-dev armhf 1.10.14-1 [198 kB]
Get:185 http://172.17.0.1/private stretch-staging/main armhf libavahi-client-dev armhf 0.6.32-1 [56.2 kB]
Get:186 http://172.17.0.1/private stretch-staging/main armhf libavahi-glib-dev armhf 0.6.32-1 [37.5 kB]
Get:187 http://172.17.0.1/private stretch-staging/main armhf libidl-2-0 armhf 0.8.14-4 [111 kB]
Get:188 http://172.17.0.1/private stretch-staging/main armhf liborbit2 armhf 1:2.14.19-2 [109 kB]
Get:189 http://172.17.0.1/private stretch-staging/main armhf libidl-dev armhf 0.8.14-4 [122 kB]
Get:190 http://172.17.0.1/private stretch-staging/main armhf orbit2 armhf 1:2.14.19-2 [147 kB]
Get:191 http://172.17.0.1/private stretch-staging/main armhf liborbit2-dev armhf 1:2.14.19-2 [309 kB]
Get:192 http://172.17.0.1/private stretch-staging/main armhf libpopt-dev armhf 1.16-10 [47.0 kB]
Get:193 http://172.17.0.1/private stretch-staging/main armhf libbonobo2-dev armhf 2.32.1-3 [581 kB]
Get:194 http://172.17.0.1/private stretch-staging/main armhf libgnomecanvas2-common all 2.30.3-3 [127 kB]
Get:195 http://172.17.0.1/private stretch-staging/main armhf libgail18 armhf 2.24.31-1 [52.0 kB]
Get:196 http://172.17.0.1/private stretch-staging/main armhf libgail-common armhf 2.24.31-1 [126 kB]
Get:197 http://172.17.0.1/private stretch-staging/main armhf libgnomecanvas2-0 armhf 2.30.3-3 [96.4 kB]
Get:198 http://172.17.0.1/private stretch-staging/main armhf x11-common all 1:7.7+18 [251 kB]
Get:199 http://172.17.0.1/private stretch-staging/main armhf libice6 armhf 2:1.0.9-1+b1 [51.9 kB]
Get:200 http://172.17.0.1/private stretch-staging/main armhf libsm6 armhf 2:1.2.2-1+b1 [31.2 kB]
Get:201 http://172.17.0.1/private stretch-staging/main armhf libbonoboui2-common all 2.24.5-4 [137 kB]
Get:202 http://172.17.0.1/private stretch-staging/main armhf libbonoboui2-0 armhf 2.24.5-4 [132 kB]
Get:203 http://172.17.0.1/private stretch-staging/main armhf xorg-sgml-doctools all 1:1.11-1 [21.9 kB]
Get:204 http://172.17.0.1/private stretch-staging/main armhf x11proto-core-dev all 7.0.31-1 [728 kB]
Get:205 http://172.17.0.1/private stretch-staging/main armhf libxau-dev armhf 1:1.0.8-1 [23.0 kB]
Get:206 http://172.17.0.1/private stretch-staging/main armhf libxdmcp-dev armhf 1:1.1.2-1.1 [40.8 kB]
Get:207 http://172.17.0.1/private stretch-staging/main armhf x11proto-input-dev all 2.3.2-1 [158 kB]
Get:208 http://172.17.0.1/private stretch-staging/main armhf x11proto-kb-dev all 1.0.7-1 [233 kB]
Get:209 http://172.17.0.1/private stretch-staging/main armhf xtrans-dev all 1.3.5-1 [100 kB]
Get:210 http://172.17.0.1/private stretch-staging/main armhf libpthread-stubs0-dev armhf 0.3-4 [4042 B]
Get:211 http://172.17.0.1/private stretch-staging/main armhf libxcb1-dev armhf 1.12-1 [165 kB]
Get:212 http://172.17.0.1/private stretch-staging/main armhf libx11-dev armhf 2:1.6.4-2 [753 kB]
Get:213 http://172.17.0.1/private stretch-staging/main armhf libpng-dev armhf 1.6.26-6 [231 kB]
Get:214 http://172.17.0.1/private stretch-staging/main armhf libgdk-pixbuf2.0-dev armhf 2.36.0-1 [53.0 kB]
Get:215 http://172.17.0.1/private stretch-staging/main armhf libcairo-script-interpreter2 armhf 1.14.6-1.1 [361 kB]
Get:216 http://172.17.0.1/private stretch-staging/main armhf libexpat1-dev armhf 2.2.0-1 [117 kB]
Get:217 http://172.17.0.1/private stretch-staging/main armhf libfreetype6-dev armhf 2.6.3-3+b1 [5757 kB]
Get:218 http://172.17.0.1/private stretch-staging/main armhf libfontconfig1-dev armhf 2.11.0-6.7 [877 kB]
Get:219 http://172.17.0.1/private stretch-staging/main armhf x11proto-render-dev all 2:0.11.1-2 [20.8 kB]
Get:220 http://172.17.0.1/private stretch-staging/main armhf libxrender-dev armhf 1:0.9.10-1 [37.7 kB]
Get:221 http://172.17.0.1/private stretch-staging/main armhf x11proto-xext-dev all 7.3.0-1 [212 kB]
Get:222 http://172.17.0.1/private stretch-staging/main armhf libxext-dev armhf 2:1.3.3-1 [102 kB]
Get:223 http://172.17.0.1/private stretch-staging/main armhf libice-dev armhf 2:1.0.9-1+b1 [59.0 kB]
Get:224 http://172.17.0.1/private stretch-staging/main armhf libsm-dev armhf 2:1.2.2-1+b1 [33.5 kB]
Get:225 http://172.17.0.1/private stretch-staging/main armhf libpixman-1-dev armhf 0.34.0-1 [472 kB]
Get:226 http://172.17.0.1/private stretch-staging/main armhf libxcb-render0-dev armhf 1.12-1 [108 kB]
Get:227 http://172.17.0.1/private stretch-staging/main armhf libxcb-shm0-dev armhf 1.12-1 [97.1 kB]
Get:228 http://172.17.0.1/private stretch-staging/main armhf libcairo2-dev armhf 1.14.6-1.1 [808 kB]
Get:229 http://172.17.0.1/private stretch-staging/main armhf libharfbuzz-icu0 armhf 1.2.7-1+b1 [438 kB]
Get:230 http://172.17.0.1/private stretch-staging/main armhf libharfbuzz-gobject0 armhf 1.2.7-1+b1 [443 kB]
Get:231 http://172.17.0.1/private stretch-staging/main armhf libgraphite2-dev armhf 1.3.9-2 [21.2 kB]
Get:232 http://172.17.0.1/private stretch-staging/main armhf libicu-dev armhf 57.1-5 [15.8 MB]
Get:233 http://172.17.0.1/private stretch-staging/main armhf libharfbuzz-dev armhf 1.2.7-1+b1 [643 kB]
Get:234 http://172.17.0.1/private stretch-staging/main armhf libxft-dev armhf 2.3.2-1 [59.1 kB]
Get:235 http://172.17.0.1/private stretch-staging/main armhf libpango1.0-dev armhf 1.40.3-3 [431 kB]
Get:236 http://172.17.0.1/private stretch-staging/main armhf x11proto-xinerama-dev all 1.2.1-2 [4938 B]
Get:237 http://172.17.0.1/private stretch-staging/main armhf libxinerama-dev armhf 2:1.1.3-1+b1 [18.7 kB]
Get:238 http://172.17.0.1/private stretch-staging/main armhf x11proto-fixes-dev all 1:5.0-2 [19.2 kB]
Get:239 http://172.17.0.1/private stretch-staging/main armhf libxfixes-dev armhf 1:5.0.3-1 [22.7 kB]
Get:240 http://172.17.0.1/private stretch-staging/main armhf libxi-dev armhf 2:1.7.8-1 [235 kB]
Get:241 http://172.17.0.1/private stretch-staging/main armhf x11proto-randr-dev all 1.5.0-1 [49.7 kB]
Get:242 http://172.17.0.1/private stretch-staging/main armhf libxrandr-dev armhf 2:1.5.1-1 [42.5 kB]
Get:243 http://172.17.0.1/private stretch-staging/main armhf libxcursor-dev armhf 1:1.1.14-1+b1 [39.5 kB]
Get:244 http://172.17.0.1/private stretch-staging/main armhf x11proto-composite-dev all 1:0.4.2-2 [15.3 kB]
Get:245 http://172.17.0.1/private stretch-staging/main armhf libxcomposite-dev armhf 1:0.4.4-1 [20.5 kB]
Get:246 http://172.17.0.1/private stretch-staging/main armhf x11proto-damage-dev all 1:1.2.1-2 [11.8 kB]
Get:247 http://172.17.0.1/private stretch-staging/main armhf libxdamage-dev armhf 1:1.1.4-2+b1 [13.9 kB]
Get:248 http://172.17.0.1/private stretch-staging/main armhf libxml2-utils armhf 2.9.4+dfsg1-2.1 [102 kB]
Get:249 http://172.17.0.1/private stretch-staging/main armhf libgtk2.0-dev armhf 2.24.31-1 [2333 kB]
Get:250 http://172.17.0.1/private stretch-staging/main armhf libgail-dev armhf 2.24.31-1 [52.8 kB]
Get:251 http://172.17.0.1/private stretch-staging/main armhf libgnomecanvas2-dev armhf 2.30.3-3 [110 kB]
Get:252 http://172.17.0.1/private stretch-staging/main armhf libgconf2-dev armhf 3.2.6-4 [435 kB]
Get:253 http://172.17.0.1/private stretch-staging/main armhf libgnutlsxx28 armhf 3.5.7-2 [11.7 kB]
Get:254 http://172.17.0.1/private stretch-staging/main armhf libunbound2 armhf 1.5.10-3 [320 kB]
Get:255 http://172.17.0.1/private stretch-staging/main armhf libgnutls-dane0 armhf 3.5.7-2 [176 kB]
Get:256 http://172.17.0.1/private stretch-staging/main armhf libgmpxx4ldbl armhf 2:6.1.1+dfsg-1 [21.5 kB]
Get:257 http://172.17.0.1/private stretch-staging/main armhf libgmp-dev armhf 2:6.1.1+dfsg-1 [561 kB]
Get:258 http://172.17.0.1/private stretch-staging/main armhf nettle-dev armhf 3.3-1 [1048 kB]
Get:259 http://172.17.0.1/private stretch-staging/main armhf libtasn1-6-dev armhf 4.9-4 [95.1 kB]
Get:260 http://172.17.0.1/private stretch-staging/main armhf libp11-kit-dev armhf 0.23.2-5 [62.9 kB]
Get:261 http://172.17.0.1/private stretch-staging/main armhf libidn11-dev armhf 1.33-1 [590 kB]
Get:262 http://172.17.0.1/private stretch-staging/main armhf libgnutls28-dev armhf 3.5.7-2 [780 kB]
Get:263 http://172.17.0.1/private stretch-staging/main armhf libxml2-dev armhf 2.9.4+dfsg1-2.1 [723 kB]
Get:264 http://172.17.0.1/private stretch-staging/main armhf libsepol1-dev armhf 2.6-2 [285 kB]
Get:265 http://172.17.0.1/private stretch-staging/main armhf libselinux1-dev armhf 2.6-3 [171 kB]
Get:266 http://172.17.0.1/private stretch-staging/main armhf libgnomevfs2-dev armhf 1:2.24.4-6.1+b1 [470 kB]
Get:267 http://172.17.0.1/private stretch-staging/main armhf libcanberra-dev armhf 0.30-3+b2 [14.7 kB]
Get:268 http://172.17.0.1/private stretch-staging/main armhf libgnome2-dev armhf 2.32.1-5 [466 kB]
Get:269 http://172.17.0.1/private stretch-staging/main armhf libbonoboui2-dev armhf 2.24.5-4 [280 kB]
Get:270 http://172.17.0.1/private stretch-staging/main armhf libhunspell-1.4-0 armhf 1.4.1-2 [152 kB]
Get:271 http://172.17.0.1/private stretch-staging/main armhf libenchant1c2a armhf 1.6.0-11+b1 [58.9 kB]
Get:272 http://172.17.0.1/private stretch-staging/main armhf libenchant-dev armhf 1.6.0-11+b1 [55.6 kB]
Get:273 http://172.17.0.1/private stretch-staging/main armhf ocaml-base-nox armhf 4.02.3-8+rpi1 [520 kB]
Get:274 http://172.17.0.1/private stretch-staging/main armhf libfindlib-ocaml armhf 1.6.2-1 [158 kB]
Get:275 http://172.17.0.1/private stretch-staging/main armhf libglade2-dev armhf 1:2.6.4-2 [113 kB]
Get:276 http://172.17.0.1/private stretch-staging/main armhf libgmp3-dev armhf 2:6.1.1+dfsg-1 [15.1 kB]
Get:277 http://172.17.0.1/private stretch-staging/main armhf libgnome-keyring-dev armhf 3.12.0-1+b1 [84.8 kB]
Get:278 http://172.17.0.1/private stretch-staging/main armhf libgnomeui-common all 2.24.5-3.1 [513 kB]
Get:279 http://172.17.0.1/private stretch-staging/main armhf libgnomeui-0 armhf 2.24.5-3.1 [288 kB]
Get:280 http://172.17.0.1/private stretch-staging/main armhf libgnomeui-dev armhf 2.24.5-3.1 [339 kB]
Get:281 http://172.17.0.1/private stretch-staging/main armhf libgtksourceview2.0-common all 2.10.5-3 [470 kB]
Get:282 http://172.17.0.1/private stretch-staging/main armhf libgtksourceview2.0-0 armhf 2.10.5-3 [168 kB]
Get:283 http://172.17.0.1/private stretch-staging/main armhf libgtksourceview2.0-dev armhf 2.10.5-3 [187 kB]
Get:284 http://172.17.0.1/private stretch-staging/main armhf libgtkspell0 armhf 2.0.16-1.1 [22.5 kB]
Get:285 http://172.17.0.1/private stretch-staging/main armhf libgtkspell-dev armhf 2.0.16-1.1 [28.9 kB]
Get:286 http://172.17.0.1/private stretch-staging/main armhf liblablgtk2-ocaml armhf 2.18.3+dfsg-2 [691 kB]
Get:287 http://172.17.0.1/private stretch-staging/main armhf liblablgtk2-gnome-ocaml armhf 2.18.3+dfsg-2 [85.2 kB]
Get:288 http://172.17.0.1/private stretch-staging/main armhf librsvg2-dev armhf 2.40.16-1 [275 kB]
Get:289 http://172.17.0.1/private stretch-staging/main armhf libtinfo-dev armhf 6.0+20161126-1 [65.3 kB]
Get:290 http://172.17.0.1/private stretch-staging/main armhf libncurses5-dev armhf 6.0+20161126-1 [245 kB]
Get:291 http://172.17.0.1/private stretch-staging/main armhf ocaml-compiler-libs armhf 4.02.3-8+rpi1 [9717 kB]
Get:292 http://172.17.0.1/private stretch-staging/main armhf ocaml-interp armhf 4.02.3-8+rpi1 [361 kB]
Get:293 http://172.17.0.1/private stretch-staging/main armhf ocaml-nox armhf 4.02.3-8+rpi1 [5548 kB]
Get:294 http://172.17.0.1/private stretch-staging/main armhf liblablgtk2-ocaml-dev armhf 2.18.3+dfsg-2 [1471 kB]
Get:295 http://172.17.0.1/private stretch-staging/main armhf liblablgtk2-gnome-ocaml-dev armhf 2.18.3+dfsg-2 [111 kB]
Get:296 http://172.17.0.1/private stretch-staging/main armhf liblablgtksourceview2-ocaml armhf 2.18.3+dfsg-2 [106 kB]
Get:297 http://172.17.0.1/private stretch-staging/main armhf liblablgtksourceview2-ocaml-dev armhf 2.18.3+dfsg-2 [139 kB]
Get:298 http://172.17.0.1/private stretch-staging/main armhf libocamlgraph-ocaml-dev armhf 1.8.6-1+b1 [1199 kB]
Get:299 http://172.17.0.1/private stretch-staging/main armhf libzarith-ocaml armhf 1.4.1-1 [24.7 kB]
Get:300 http://172.17.0.1/private stretch-staging/main armhf libzarith-ocaml-dev armhf 1.4.1-1 [44.6 kB]
Get:301 http://172.17.0.1/private stretch-staging/main armhf libzip-ocaml armhf 1.06-2 [71.9 kB]
Get:302 http://172.17.0.1/private stretch-staging/main armhf libzip-ocaml-dev armhf 1.06-2 [44.1 kB]
Get:303 http://172.17.0.1/private stretch-staging/main armhf ocaml-findlib armhf 1.6.2-1 [264 kB]
Get:304 http://172.17.0.1/private stretch-staging/main armhf dh-ocaml all 1.0.10 [83.7 kB]
Get:305 http://172.17.0.1/private stretch-staging/main armhf ocplib-simplex-ocaml-dev armhf 0.3-1 [205 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 144 MB in 17s (8030 kB/s)
(Reading database ... 13928 files and directories currently installed.)
Preparing to unpack .../0-systemd_232-7_armhf.deb ...
Unpacking systemd (232-7) over (232-6) ...
Preparing to unpack .../1-libsystemd0_232-7_armhf.deb ...
Unpacking libsystemd0:armhf (232-7) over (232-6) ...
Setting up libsystemd0:armhf (232-7) ...
Selecting previously unselected package libpopt0:armhf.
(Reading database ... 13928 files and directories currently installed.)
Preparing to unpack .../0-libpopt0_1.16-10_armhf.deb ...
Unpacking libpopt0:armhf (1.16-10) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../1-groff-base_1.22.3-8_armhf.deb ...
Unpacking groff-base (1.22.3-8) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../2-libbsd0_0.8.3-1_armhf.deb ...
Unpacking libbsd0:armhf (0.8.3-1) ...
Preparing to unpack .../3-libncurses5_6.0+20161126-1_armhf.deb ...
Unpacking libncurses5:armhf (6.0+20161126-1) over (6.0+20160917-1) ...
Preparing to unpack .../4-libtinfo5_6.0+20161126-1_armhf.deb ...
Unpacking libtinfo5:armhf (6.0+20161126-1) over (6.0+20160917-1) ...
Setting up libtinfo5:armhf (6.0+20161126-1) ...
(Reading database ... 14162 files and directories currently installed.)
Preparing to unpack .../libncursesw5_6.0+20161126-1_armhf.deb ...
Unpacking libncursesw5:armhf (6.0+20161126-1) over (6.0+20160917-1) ...
Setting up libncursesw5:armhf (6.0+20161126-1) ...
Selecting previously unselected package bsdmainutils.
(Reading database ... 14162 files and directories currently installed.)
Preparing to unpack .../0-bsdmainutils_9.0.12_armhf.deb ...
Unpacking bsdmainutils (9.0.12) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../1-libpipeline1_1.4.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.1-2) ...
Preparing to unpack .../2-zlib1g_1%3a1.2.8.dfsg-4_armhf.deb ...
Unpacking zlib1g:armhf (1:1.2.8.dfsg-4) over (1:1.2.8.dfsg-2+b1) ...
Setting up zlib1g:armhf (1:1.2.8.dfsg-4) ...
Selecting previously unselected package man-db.
(Reading database ... 14282 files and directories currently installed.)
Preparing to unpack .../00-man-db_2.7.5-2_armhf.deb ...
Unpacking man-db (2.7.5-2) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../01-libpython2.7-minimal_2.7.13~rc1-1_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.13~rc1-1) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../02-python2.7-minimal_2.7.13~rc1-1_armhf.deb ...
Unpacking python2.7-minimal (2.7.13~rc1-1) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../03-python-minimal_2.7.11-2_armhf.deb ...
Unpacking python-minimal (2.7.11-2) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../04-mime-support_3.60_all.deb ...
Unpacking mime-support (3.60) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../05-libexpat1_2.2.0-1_armhf.deb ...
Unpacking libexpat1:armhf (2.2.0-1) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../06-libffi6_3.2.1-6_armhf.deb ...
Unpacking libffi6:armhf (3.2.1-6) ...
Selecting previously unselected package libssl1.1:armhf.
Preparing to unpack .../07-libssl1.1_1.1.0c-2_armhf.deb ...
Unpacking libssl1.1:armhf (1.1.0c-2) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../08-libpython2.7-stdlib_2.7.13~rc1-1_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.13~rc1-1) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../09-python2.7_2.7.13~rc1-1_armhf.deb ...
Unpacking python2.7 (2.7.13~rc1-1) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../10-libpython-stdlib_2.7.11-2_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.11-2) ...
Setting up libpython2.7-minimal:armhf (2.7.13~rc1-1) ...
Setting up python2.7-minimal (2.7.13~rc1-1) ...
Setting up python-minimal (2.7.11-2) ...
Selecting previously unselected package python.
(Reading database ... 15319 files and directories currently installed.)
Preparing to unpack .../000-python_2.7.11-2_armhf.deb ...
Unpacking python (2.7.11-2) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../001-libpng16-16_1.6.26-6_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.26-6) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../002-libfreetype6_2.6.3-3+b1_armhf.deb ...
Unpacking libfreetype6:armhf (2.6.3-3+b1) ...
Selecting previously unselected package ucf.
Preparing to unpack .../003-ucf_3.0036_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0036) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../004-fonts-dejavu-core_2.37-1_all.deb ...
Unpacking fonts-dejavu-core (2.37-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../005-fontconfig-config_2.11.0-6.7_all.deb ...
Unpacking fontconfig-config (2.11.0-6.7) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../006-libfontconfig1_2.11.0-6.7_armhf.deb ...
Unpacking libfontconfig1:armhf (2.11.0-6.7) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../007-fontconfig_2.11.0-6.7_armhf.deb ...
Unpacking fontconfig (2.11.0-6.7) ...
Selecting previously unselected package libart-2.0-2:armhf.
Preparing to unpack .../008-libart-2.0-2_2.3.21-2_armhf.deb ...
Unpacking libart-2.0-2:armhf (2.3.21-2) ...
Selecting previously unselected package libaspell15:armhf.
Preparing to unpack .../009-libaspell15_0.60.7~20110707-3_armhf.deb ...
Unpacking libaspell15:armhf (0.60.7~20110707-3) ...
Selecting previously unselected package libbonobo2-common.
Preparing to unpack .../010-libbonobo2-common_2.32.1-3_all.deb ...
Unpacking libbonobo2-common (2.32.1-3) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../011-libglib2.0-0_2.50.2-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.50.2-2) ...
Selecting previously unselected package liborbit-2-0:armhf.
Preparing to unpack .../012-liborbit-2-0_1%3a2.14.19-2_armhf.deb ...
Unpacking liborbit-2-0:armhf (1:2.14.19-2) ...
Selecting previously unselected package libicu57:armhf.
Preparing to unpack .../013-libicu57_57.1-5_armhf.deb ...
Unpacking libicu57:armhf (57.1-5) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../014-libxml2_2.9.4+dfsg1-2.1_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-2.1) ...
Selecting previously unselected package libbonobo2-0:armhf.
Preparing to unpack .../015-libbonobo2-0_2.32.1-3_armhf.deb ...
Unpacking libbonobo2-0:armhf (2.32.1-3) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../016-libatk1.0-data_2.22.0-1_all.deb ...
Unpacking libatk1.0-data (2.22.0-1) ...
Selecting previously unselected package libatk1.0-0:armhf.
Preparing to unpack .../017-libatk1.0-0_2.22.0-1_armhf.deb ...
Unpacking libatk1.0-0:armhf (2.22.0-1) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../018-libpixman-1-0_0.34.0-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.34.0-1) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../019-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 .../020-libxdmcp6_1%3a1.1.2-1.1_armhf.deb ...
Unpacking libxdmcp6:armhf (1:1.1.2-1.1) ...
Selecting previously unselected package libxcb1:armhf.
Preparing to unpack .../021-libxcb1_1.12-1_armhf.deb ...
Unpacking libxcb1:armhf (1.12-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../022-libx11-data_2%3a1.6.4-2_all.deb ...
Unpacking libx11-data (2:1.6.4-2) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../023-libx11-6_2%3a1.6.4-2_armhf.deb ...
Unpacking libx11-6:armhf (2:1.6.4-2) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../024-libxcb-render0_1.12-1_armhf.deb ...
Unpacking libxcb-render0:armhf (1.12-1) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../025-libxcb-shm0_1.12-1_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.12-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../026-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 .../027-libxrender1_1%3a0.9.10-1_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.10-1) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../028-libcairo2_1.14.6-1.1_armhf.deb ...
Unpacking libcairo2:armhf (1.14.6-1.1) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../029-libjpeg62-turbo_1%3a1.5.1-2_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:1.5.1-2) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../030-libjbig0_2.1-3.1_armhf.deb ...
Unpacking libjbig0:armhf (2.1-3.1) ...
Selecting previously unselected package libtiff5:armhf.
Preparing to unpack .../031-libtiff5_4.0.7-1_armhf.deb ...
Unpacking libtiff5:armhf (4.0.7-1) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../032-shared-mime-info_1.7-1_armhf.deb ...
Unpacking shared-mime-info (1.7-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../033-libgdk-pixbuf2.0-common_2.36.0-1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.36.0-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:armhf.
Preparing to unpack .../034-libgdk-pixbuf2.0-0_2.36.0-1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-0:armhf (2.36.0-1) ...
Selecting previously unselected package libgtk2.0-common.
Preparing to unpack .../035-libgtk2.0-common_2.24.31-1_all.deb ...
Unpacking libgtk2.0-common (2.24.31-1) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../036-libavahi-common-data_0.6.32-1_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.6.32-1) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../037-libavahi-common3_0.6.32-1_armhf.deb ...
Unpacking libavahi-common3:armhf (0.6.32-1) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../038-libavahi-client3_0.6.32-1_armhf.deb ...
Unpacking libavahi-client3:armhf (0.6.32-1) ...
Selecting previously unselected package libnettle6:armhf.
Preparing to unpack .../039-libnettle6_3.3-1_armhf.deb ...
Unpacking libnettle6:armhf (3.3-1) ...
Selecting previously unselected package libhogweed4:armhf.
Preparing to unpack .../040-libhogweed4_3.3-1_armhf.deb ...
Unpacking libhogweed4:armhf (3.3-1) ...
Selecting previously unselected package libp11-kit0:armhf.
Preparing to unpack .../041-libp11-kit0_0.23.2-5_armhf.deb ...
Unpacking libp11-kit0:armhf (0.23.2-5) ...
Selecting previously unselected package libtasn1-6:armhf.
Preparing to unpack .../042-libtasn1-6_4.9-4_armhf.deb ...
Unpacking libtasn1-6:armhf (4.9-4) ...
Selecting previously unselected package libgnutls30:armhf.
Preparing to unpack .../043-libgnutls30_3.5.7-2_armhf.deb ...
Unpacking libgnutls30:armhf (3.5.7-2) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../044-libkeyutils1_1.5.9-9_armhf.deb ...
Unpacking libkeyutils1:armhf (1.5.9-9) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../045-libkrb5support0_1.15-1_armhf.deb ...
Unpacking libkrb5support0:armhf (1.15-1) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../046-libk5crypto3_1.15-1_armhf.deb ...
Unpacking libk5crypto3:armhf (1.15-1) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../047-libkrb5-3_1.15-1_armhf.deb ...
Unpacking libkrb5-3:armhf (1.15-1) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../048-libgssapi-krb5-2_1.15-1_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.15-1) ...
Selecting previously unselected package libcups2:armhf.
Preparing to unpack .../049-libcups2_2.2.1-2+b5_armhf.deb ...
Unpacking libcups2:armhf (2.2.1-2+b5) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../050-libthai-data_0.1.25-2_all.deb ...
Unpacking libthai-data (0.1.25-2) ...
Selecting previously unselected package libdatrie1:armhf.
Preparing to unpack .../051-libdatrie1_0.2.10-4_armhf.deb ...
Unpacking libdatrie1:armhf (0.2.10-4) ...
Selecting previously unselected package libthai0:armhf.
Preparing to unpack .../052-libthai0_0.1.25-2_armhf.deb ...
Unpacking libthai0:armhf (0.1.25-2) ...
Selecting previously unselected package libpango-1.0-0:armhf.
Preparing to unpack .../053-libpango-1.0-0_1.40.3-3_armhf.deb ...
Unpacking libpango-1.0-0:armhf (1.40.3-3) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../054-libgraphite2-3_1.3.9-2_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.9-2) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../055-libharfbuzz0b_1.2.7-1+b1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (1.2.7-1+b1) ...
Selecting previously unselected package libpangoft2-1.0-0:armhf.
Preparing to unpack .../056-libpangoft2-1.0-0_1.40.3-3_armhf.deb ...
Unpacking libpangoft2-1.0-0:armhf (1.40.3-3) ...
Selecting previously unselected package libpangocairo-1.0-0:armhf.
Preparing to unpack .../057-libpangocairo-1.0-0_1.40.3-3_armhf.deb ...
Unpacking libpangocairo-1.0-0:armhf (1.40.3-3) ...
Selecting previously unselected package libxcomposite1:armhf.
Preparing to unpack .../058-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 .../059-libxfixes3_1%3a5.0.3-1_armhf.deb ...
Unpacking libxfixes3:armhf (1:5.0.3-1) ...
Selecting previously unselected package libxcursor1:armhf.
Preparing to unpack .../060-libxcursor1_1%3a1.1.14-1+b1_armhf.deb ...
Unpacking libxcursor1:armhf (1:1.1.14-1+b1) ...
Selecting previously unselected package libxdamage1:armhf.
Preparing to unpack .../061-libxdamage1_1%3a1.1.4-2+b1_armhf.deb ...
Unpacking libxdamage1:armhf (1:1.1.4-2+b1) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../062-libxi6_2%3a1.7.8-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.7.8-1) ...
Selecting previously unselected package libxinerama1:armhf.
Preparing to unpack .../063-libxinerama1_2%3a1.1.3-1+b1_armhf.deb ...
Unpacking libxinerama1:armhf (2:1.1.3-1+b1) ...
Selecting previously unselected package libxrandr2:armhf.
Preparing to unpack .../064-libxrandr2_2%3a1.5.1-1_armhf.deb ...
Unpacking libxrandr2:armhf (2:1.5.1-1) ...
Selecting previously unselected package hicolor-icon-theme.
Preparing to unpack .../065-hicolor-icon-theme_0.15-1_all.deb ...
Unpacking hicolor-icon-theme (0.15-1) ...
Selecting previously unselected package gtk-update-icon-cache.
Preparing to unpack .../066-gtk-update-icon-cache_3.22.2-1+rpi1_armhf.deb ...
No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed.
No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed.
Unpacking gtk-update-icon-cache (3.22.2-1+rpi1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../067-libcroco3_0.6.11-2_armhf.deb ...
Unpacking libcroco3:armhf (0.6.11-2) ...
Selecting previously unselected package librsvg2-2:armhf.
Preparing to unpack .../068-librsvg2-2_2.40.16-1_armhf.deb ...
Unpacking librsvg2-2:armhf (2.40.16-1) ...
Selecting previously unselected package librsvg2-common:armhf.
Preparing to unpack .../069-librsvg2-common_2.40.16-1_armhf.deb ...
Unpacking librsvg2-common:armhf (2.40.16-1) ...
Selecting previously unselected package gnome-icon-theme.
Preparing to unpack .../070-gnome-icon-theme_3.12.0-2_all.deb ...
Unpacking gnome-icon-theme (3.12.0-2) ...
Selecting previously unselected package libgtk2.0-0:armhf.
Preparing to unpack .../071-libgtk2.0-0_2.24.31-1_armhf.deb ...
Unpacking libgtk2.0-0:armhf (2.24.31-1) ...
Selecting previously unselected package libglade2-0:armhf.
Preparing to unpack .../072-libglade2-0_1%3a2.6.4-2_armhf.deb ...
Unpacking libglade2-0:armhf (1:2.6.4-2) ...
Selecting previously unselected package libdbus-glib-1-2:armhf.
Preparing to unpack .../073-libdbus-glib-1-2_0.108-1_armhf.deb ...
Unpacking libdbus-glib-1-2:armhf (0.108-1) ...
Selecting previously unselected package gconf2-common.
Preparing to unpack .../074-gconf2-common_3.2.6-4_all.deb ...
Unpacking gconf2-common (3.2.6-4) ...
Selecting previously unselected package libgconf-2-4:armhf.
Preparing to unpack .../075-libgconf-2-4_3.2.6-4_armhf.deb ...
Unpacking libgconf-2-4:armhf (3.2.6-4) ...
Selecting previously unselected package libsasl2-modules-db:armhf.
Preparing to unpack .../076-libsasl2-modules-db_2.1.27~101-g0780600+dfsg-1_armhf.deb ...
Unpacking libsasl2-modules-db:armhf (2.1.27~101-g0780600+dfsg-1) ...
Selecting previously unselected package libsasl2-2:armhf.
Preparing to unpack .../077-libsasl2-2_2.1.27~101-g0780600+dfsg-1_armhf.deb ...
Unpacking libsasl2-2:armhf (2.1.27~101-g0780600+dfsg-1) ...
Selecting previously unselected package libldap-common.
Preparing to unpack .../078-libldap-common_2.4.44+dfsg-2+rpi1_all.deb ...
Unpacking libldap-common (2.4.44+dfsg-2+rpi1) ...
Selecting previously unselected package libldap-2.4-2:armhf.
Preparing to unpack .../079-libldap-2.4-2_2.4.44+dfsg-2+rpi1_armhf.deb ...
Unpacking libldap-2.4-2:armhf (2.4.44+dfsg-2+rpi1) ...
Selecting previously unselected package gconf-service.
Preparing to unpack .../080-gconf-service_3.2.6-4_armhf.deb ...
Unpacking gconf-service (3.2.6-4) ...
Selecting previously unselected package libasound2-data.
Preparing to unpack .../081-libasound2-data_1.1.2-1_all.deb ...
Unpacking libasound2-data (1.1.2-1) ...
Selecting previously unselected package libasound2:armhf.
Preparing to unpack .../082-libasound2_1.1.2-1_armhf.deb ...
Unpacking libasound2:armhf (1.1.2-1) ...
Selecting previously unselected package libltdl7:armhf.
Preparing to unpack .../083-libltdl7_2.4.6-2_armhf.deb ...
Unpacking libltdl7:armhf (2.4.6-2) ...
Selecting previously unselected package libtdb1:armhf.
Preparing to unpack .../084-libtdb1_1.3.11-2_armhf.deb ...
Unpacking libtdb1:armhf (1.3.11-2) ...
Selecting previously unselected package libogg0:armhf.
Preparing to unpack .../085-libogg0_1.3.2-1_armhf.deb ...
Unpacking libogg0:armhf (1.3.2-1) ...
Selecting previously unselected package libvorbis0a:armhf.
Preparing to unpack .../086-libvorbis0a_1.3.5-3_armhf.deb ...
Unpacking libvorbis0a:armhf (1.3.5-3) ...
Selecting previously unselected package libvorbisfile3:armhf.
Preparing to unpack .../087-libvorbisfile3_1.3.5-3_armhf.deb ...
Unpacking libvorbisfile3:armhf (1.3.5-3) ...
Selecting previously unselected package libcanberra0:armhf.
Preparing to unpack .../088-libcanberra0_0.30-3+b2_armhf.deb ...
Unpacking libcanberra0:armhf (0.30-3+b2) ...
Selecting previously unselected package libavahi-glib1:armhf.
Preparing to unpack .../089-libavahi-glib1_0.6.32-1_armhf.deb ...
Unpacking libavahi-glib1:armhf (0.6.32-1) ...
Selecting previously unselected package dbus.
Preparing to unpack .../090-dbus_1.10.14-1_armhf.deb ...
Unpacking dbus (1.10.14-1) ...
Selecting previously unselected package libpam-systemd:armhf.
Preparing to unpack .../091-libpam-systemd_232-7_armhf.deb ...
Unpacking libpam-systemd:armhf (232-7) ...
Selecting previously unselected package dbus-user-session.
Preparing to unpack .../092-dbus-user-session_1.10.14-1_all.deb ...
Unpacking dbus-user-session (1.10.14-1) ...
Selecting previously unselected package psmisc.
Preparing to unpack .../093-psmisc_22.21-2.1_armhf.deb ...
Unpacking psmisc (22.21-2.1) ...
Selecting previously unselected package gconf2.
Preparing to unpack .../094-gconf2_3.2.6-4_armhf.deb ...
Unpacking gconf2 (3.2.6-4) ...
Selecting previously unselected package gnome-mime-data.
Preparing to unpack .../095-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 .../096-libgnomevfs2-common_1%3a2.24.4-6.1_all.deb ...
Unpacking libgnomevfs2-common (1:2.24.4-6.1) ...
Selecting previously unselected package libgnomevfs2-0:armhf.
Preparing to unpack .../097-libgnomevfs2-0_1%3a2.24.4-6.1+b1_armhf.deb ...
Unpacking libgnomevfs2-0:armhf (1:2.24.4-6.1+b1) ...
Selecting previously unselected package libgnome2-common.
Preparing to unpack .../098-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 .../099-libgnome-2-0_2.32.1-5_armhf.deb ...
Unpacking libgnome-2-0:armhf (2.32.1-5) ...
Selecting previously unselected package libgnome-keyring-common.
Preparing to unpack .../100-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 .../101-libgnome-keyring0_3.12.0-1+b1_armhf.deb ...
Unpacking libgnome-keyring0:armhf (3.12.0-1+b1) ...
Selecting previously unselected package liblzo2-2:armhf.
Preparing to unpack .../102-liblzo2-2_2.08-1.2_armhf.deb ...
Unpacking liblzo2-2:armhf (2.08-1.2) ...
Selecting previously unselected package libpcrecpp0v5:armhf.
Preparing to unpack .../103-libpcrecpp0v5_2%3a8.39-2_armhf.deb ...
Unpacking libpcrecpp0v5:armhf (2:8.39-2) ...
Selecting previously unselected package libxft2:armhf.
Preparing to unpack .../104-libxft2_2.3.2-1_armhf.deb ...
Unpacking libxft2:armhf (2.3.2-1) ...
Selecting previously unselected package libssl1.0.2:armhf.
Preparing to unpack .../105-libssl1.0.2_1.0.2j-4_armhf.deb ...
Unpacking libssl1.0.2:armhf (1.0.2j-4) ...
Selecting previously unselected package libpython3.5-minimal:armhf.
Preparing to unpack .../106-libpython3.5-minimal_3.5.2-8_armhf.deb ...
Unpacking libpython3.5-minimal:armhf (3.5.2-8) ...
Selecting previously unselected package python3.5-minimal.
Preparing to unpack .../107-python3.5-minimal_3.5.2-8_armhf.deb ...
Unpacking python3.5-minimal (3.5.2-8) ...
Selecting previously unselected package python3-minimal.
Preparing to unpack .../108-python3-minimal_3.5.1-4_armhf.deb ...
Unpacking python3-minimal (3.5.1-4) ...
Selecting previously unselected package libmpdec2:armhf.
Preparing to unpack .../109-libmpdec2_2.4.2-1_armhf.deb ...
Unpacking libmpdec2:armhf (2.4.2-1) ...
Selecting previously unselected package libpython3.5-stdlib:armhf.
Preparing to unpack .../110-libpython3.5-stdlib_3.5.2-8_armhf.deb ...
Unpacking libpython3.5-stdlib:armhf (3.5.2-8) ...
Selecting previously unselected package python3.5.
Preparing to unpack .../111-python3.5_3.5.2-8_armhf.deb ...
Unpacking python3.5 (3.5.2-8) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../112-libpython3-stdlib_3.5.1-4_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.5.1-4) ...
Selecting previously unselected package dh-python.
Preparing to unpack .../113-dh-python_2.20160818_all.deb ...
Unpacking dh-python (2.20160818) ...
Setting up libssl1.0.2:armhf (1.0.2j-4) ...
Setting up libpython3.5-minimal:armhf (3.5.2-8) ...
Setting up libexpat1:armhf (2.2.0-1) ...
Setting up python3.5-minimal (3.5.2-8) ...
Setting up python3-minimal (3.5.1-4) ...
Selecting previously unselected package python3.
(Reading database ... 25704 files and directories currently installed.)
Preparing to unpack .../0-python3_3.5.1-4_armhf.deb ...
Unpacking python3 (3.5.1-4) ...
Preparing to unpack .../1-libsepol1_2.6-2_armhf.deb ...
Unpacking libsepol1:armhf (2.6-2) over (2.6-1) ...
Setting up libsepol1:armhf (2.6-2) ...
Selecting previously unselected package libtext-iconv-perl.
(Reading database ... 25720 files and directories currently installed.)
Preparing to unpack .../000-libtext-iconv-perl_1.7-5+b8_armhf.deb ...
Unpacking libtext-iconv-perl (1.7-5+b8) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../001-libmagic-mgc_1%3a5.29-1_armhf.deb ...
Unpacking libmagic-mgc (1:5.29-1) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../002-libmagic1_1%3a5.29-1_armhf.deb ...
Unpacking libmagic1:armhf (1:5.29-1) ...
Selecting previously unselected package file.
Preparing to unpack .../003-file_1%3a5.29-1_armhf.deb ...
Unpacking file (1:5.29-1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../004-gettext-base_0.19.8.1-1_armhf.deb ...
Unpacking gettext-base (0.19.8.1-1) ...
Selecting previously unselected package libgnutls-openssl27:armhf.
Preparing to unpack .../005-libgnutls-openssl27_3.5.7-2_armhf.deb ...
Unpacking libgnutls-openssl27:armhf (3.5.7-2) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../006-libsigsegv2_2.10-5_armhf.deb ...
Unpacking libsigsegv2:armhf (2.10-5) ...
Selecting previously unselected package m4.
Preparing to unpack .../007-m4_1.4.17-5_armhf.deb ...
Unpacking m4 (1.4.17-5) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../008-emacsen-common_2.0.8_all.deb ...
Unpacking emacsen-common (2.0.8) ...
Selecting previously unselected package dictionaries-common.
Preparing to unpack .../009-dictionaries-common_1.27.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.27.2) ...
Selecting previously unselected package aspell.
Preparing to unpack .../010-aspell_0.60.7~20110707-3_armhf.deb ...
Unpacking aspell (0.60.7~20110707-3) ...
Selecting previously unselected package aspell-en.
Preparing to unpack .../011-aspell-en_2016.11.20-0-0.1_all.deb ...
Unpacking aspell-en (2016.11.20-0-0.1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../012-autoconf_2.69-10_all.deb ...
Unpacking autoconf (2.69-10) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../013-autotools-dev_20161112.1_all.deb ...
Unpacking autotools-dev (20161112.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../014-automake_1%3a1.15-5_all.deb ...
Unpacking automake (1:1.15-5) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../015-autopoint_0.19.8.1-1_all.deb ...
Unpacking autopoint (0.19.8.1-1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../016-libtool_2.4.6-2_all.deb ...
Unpacking libtool (2.4.6-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../017-dh-autoreconf_12_all.deb ...
Unpacking dh-autoreconf (12) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../018-libarchive-zip-perl_1.59-1_all.deb ...
Unpacking libarchive-zip-perl (1.59-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../019-libfile-stripnondeterminism-perl_0.028-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.028-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../020-dh-strip-nondeterminism_0.028-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.028-1) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../021-libunistring0_0.9.6+really0.9.3-0.1_armhf.deb ...
Unpacking libunistring0:armhf (0.9.6+really0.9.3-0.1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../022-gettext_0.19.8.1-1_armhf.deb ...
Unpacking gettext (0.19.8.1-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../023-intltool-debian_0.35.0+20060710.4_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.4) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../024-po-debconf_1.0.20_all.deb ...
Unpacking po-debconf (1.0.20) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../025-debhelper_10.2.2_all.deb ...
Unpacking debhelper (10.2.2) ...
Selecting previously unselected package libgirepository-1.0-1:armhf.
Preparing to unpack .../026-libgirepository-1.0-1_1.50.0-1_armhf.deb ...
Unpacking libgirepository-1.0-1:armhf (1.50.0-1) ...
Selecting previously unselected package gir1.2-glib-2.0:armhf.
Preparing to unpack .../027-gir1.2-glib-2.0_1.50.0-1_armhf.deb ...
Unpacking gir1.2-glib-2.0:armhf (1.50.0-1) ...
Selecting previously unselected package gir1.2-atk-1.0:armhf.
Preparing to unpack .../028-gir1.2-atk-1.0_2.22.0-1_armhf.deb ...
Unpacking gir1.2-atk-1.0:armhf (2.22.0-1) ...
Selecting previously unselected package libcairo-gobject2:armhf.
Preparing to unpack .../029-libcairo-gobject2_1.14.6-1.1_armhf.deb ...
Unpacking libcairo-gobject2:armhf (1.14.6-1.1) ...
Selecting previously unselected package gir1.2-freedesktop:armhf.
Preparing to unpack .../030-gir1.2-freedesktop_1.50.0-1_armhf.deb ...
Unpacking gir1.2-freedesktop:armhf (1.50.0-1) ...
Selecting previously unselected package gir1.2-gconf-2.0.
Preparing to unpack .../031-gir1.2-gconf-2.0_3.2.6-4_armhf.deb ...
Unpacking gir1.2-gconf-2.0 (3.2.6-4) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0:armhf.
Preparing to unpack .../032-gir1.2-gdkpixbuf-2.0_2.36.0-1_armhf.deb ...
Unpacking gir1.2-gdkpixbuf-2.0:armhf (2.36.0-1) ...
Selecting previously unselected package gir1.2-gnomekeyring-1.0.
Preparing to unpack .../033-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 libpangoxft-1.0-0:armhf.
Preparing to unpack .../034-libpangoxft-1.0-0_1.40.3-3_armhf.deb ...
Unpacking libpangoxft-1.0-0:armhf (1.40.3-3) ...
Selecting previously unselected package gir1.2-pango-1.0:armhf.
Preparing to unpack .../035-gir1.2-pango-1.0_1.40.3-3_armhf.deb ...
Unpacking gir1.2-pango-1.0:armhf (1.40.3-3) ...
Selecting previously unselected package gir1.2-gtk-2.0.
Preparing to unpack .../036-gir1.2-gtk-2.0_2.24.31-1_armhf.deb ...
Unpacking gir1.2-gtk-2.0 (2.24.31-1) ...
Selecting previously unselected package gir1.2-rsvg-2.0:armhf.
Preparing to unpack .../037-gir1.2-rsvg-2.0_2.40.16-1_armhf.deb ...
Unpacking gir1.2-rsvg-2.0:armhf (2.40.16-1) ...
Selecting previously unselected package icu-devtools.
Preparing to unpack .../038-icu-devtools_57.1-5_armhf.deb ...
Unpacking icu-devtools (57.1-5) ...
Selecting previously unselected package pkg-config.
Preparing to unpack .../039-pkg-config_0.29-4_armhf.deb ...
Unpacking pkg-config (0.29-4) ...
Selecting previously unselected package libart-2.0-dev.
Preparing to unpack .../040-libart-2.0-dev_2.3.21-2_armhf.deb ...
Unpacking libart-2.0-dev (2.3.21-2) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../041-libelf1_0.166-2.2_armhf.deb ...
Unpacking libelf1:armhf (0.166-2.2) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../042-libglib2.0-data_2.50.2-2_all.deb ...
Unpacking libglib2.0-data (2.50.2-2) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../043-libglib2.0-bin_2.50.2-2_armhf.deb ...
Unpacking libglib2.0-bin (2.50.2-2) ...
Selecting previously unselected package libpcre16-3:armhf.
Preparing to unpack .../044-libpcre16-3_2%3a8.39-2_armhf.deb ...
Unpacking libpcre16-3:armhf (2:8.39-2) ...
Selecting previously unselected package libpcre32-3:armhf.
Preparing to unpack .../045-libpcre32-3_2%3a8.39-2_armhf.deb ...
Unpacking libpcre32-3:armhf (2:8.39-2) ...
Selecting previously unselected package libpcre3-dev:armhf.
Preparing to unpack .../046-libpcre3-dev_2%3a8.39-2_armhf.deb ...
Unpacking libpcre3-dev:armhf (2:8.39-2) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../047-zlib1g-dev_1%3a1.2.8.dfsg-4_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.8.dfsg-4) ...
Selecting previously unselected package libglib2.0-dev.
Preparing to unpack .../048-libglib2.0-dev_2.50.2-2_armhf.deb ...
Unpacking libglib2.0-dev (2.50.2-2) ...
Selecting previously unselected package libatk1.0-dev:armhf.
Preparing to unpack .../049-libatk1.0-dev_2.22.0-1_armhf.deb ...
Unpacking libatk1.0-dev:armhf (2.22.0-1) ...
Selecting previously unselected package libavahi-common-dev:armhf.
Preparing to unpack .../050-libavahi-common-dev_0.6.32-1_armhf.deb ...
Unpacking libavahi-common-dev:armhf (0.6.32-1) ...
Selecting previously unselected package libdbus-1-dev:armhf.
Preparing to unpack .../051-libdbus-1-dev_1.10.14-1_armhf.deb ...
Unpacking libdbus-1-dev:armhf (1.10.14-1) ...
Selecting previously unselected package libavahi-client-dev:armhf.
Preparing to unpack .../052-libavahi-client-dev_0.6.32-1_armhf.deb ...
Unpacking libavahi-client-dev:armhf (0.6.32-1) ...
Selecting previously unselected package libavahi-glib-dev:armhf.
Preparing to unpack .../053-libavahi-glib-dev_0.6.32-1_armhf.deb ...
Unpacking libavahi-glib-dev:armhf (0.6.32-1) ...
Selecting previously unselected package libidl-2-0:armhf.
Preparing to unpack .../054-libidl-2-0_0.8.14-4_armhf.deb ...
Unpacking libidl-2-0:armhf (0.8.14-4) ...
Selecting previously unselected package liborbit2:armhf.
Preparing to unpack .../055-liborbit2_1%3a2.14.19-2_armhf.deb ...
Unpacking liborbit2:armhf (1:2.14.19-2) ...
Selecting previously unselected package libidl-dev:armhf.
Preparing to unpack .../056-libidl-dev_0.8.14-4_armhf.deb ...
Unpacking libidl-dev:armhf (0.8.14-4) ...
Selecting previously unselected package orbit2.
Preparing to unpack .../057-orbit2_1%3a2.14.19-2_armhf.deb ...
Unpacking orbit2 (1:2.14.19-2) ...
Selecting previously unselected package liborbit2-dev.
Preparing to unpack .../058-liborbit2-dev_1%3a2.14.19-2_armhf.deb ...
Unpacking liborbit2-dev (1:2.14.19-2) ...
Selecting previously unselected package libpopt-dev:armhf.
Preparing to unpack .../059-libpopt-dev_1.16-10_armhf.deb ...
Unpacking libpopt-dev:armhf (1.16-10) ...
Selecting previously unselected package libbonobo2-dev:armhf.
Preparing to unpack .../060-libbonobo2-dev_2.32.1-3_armhf.deb ...
Unpacking libbonobo2-dev:armhf (2.32.1-3) ...
Selecting previously unselected package libgnomecanvas2-common.
Preparing to unpack .../061-libgnomecanvas2-common_2.30.3-3_all.deb ...
Unpacking libgnomecanvas2-common (2.30.3-3) ...
Selecting previously unselected package libgail18:armhf.
Preparing to unpack .../062-libgail18_2.24.31-1_armhf.deb ...
Unpacking libgail18:armhf (2.24.31-1) ...
Selecting previously unselected package libgail-common:armhf.
Preparing to unpack .../063-libgail-common_2.24.31-1_armhf.deb ...
Unpacking libgail-common:armhf (2.24.31-1) ...
Selecting previously unselected package libgnomecanvas2-0:armhf.
Preparing to unpack .../064-libgnomecanvas2-0_2.30.3-3_armhf.deb ...
Unpacking libgnomecanvas2-0:armhf (2.30.3-3) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../065-x11-common_1%3a7.7+18_all.deb ...
Unpacking x11-common (1:7.7+18) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../066-libice6_2%3a1.0.9-1+b1_armhf.deb ...
Unpacking libice6:armhf (2:1.0.9-1+b1) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../067-libsm6_2%3a1.2.2-1+b1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.2-1+b1) ...
Selecting previously unselected package libbonoboui2-common.
Preparing to unpack .../068-libbonoboui2-common_2.24.5-4_all.deb ...
Unpacking libbonoboui2-common (2.24.5-4) ...
Selecting previously unselected package libbonoboui2-0:armhf.
Preparing to unpack .../069-libbonoboui2-0_2.24.5-4_armhf.deb ...
Unpacking libbonoboui2-0:armhf (2.24.5-4) ...
Selecting previously unselected package xorg-sgml-doctools.
Preparing to unpack .../070-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 .../071-x11proto-core-dev_7.0.31-1_all.deb ...
Unpacking x11proto-core-dev (7.0.31-1) ...
Selecting previously unselected package libxau-dev:armhf.
Preparing to unpack .../072-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 .../073-libxdmcp-dev_1%3a1.1.2-1.1_armhf.deb ...
Unpacking libxdmcp-dev:armhf (1:1.1.2-1.1) ...
Selecting previously unselected package x11proto-input-dev.
Preparing to unpack .../074-x11proto-input-dev_2.3.2-1_all.deb ...
Unpacking x11proto-input-dev (2.3.2-1) ...
Selecting previously unselected package x11proto-kb-dev.
Preparing to unpack .../075-x11proto-kb-dev_1.0.7-1_all.deb ...
Unpacking x11proto-kb-dev (1.0.7-1) ...
Selecting previously unselected package xtrans-dev.
Preparing to unpack .../076-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 .../077-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 .../078-libxcb1-dev_1.12-1_armhf.deb ...
Unpacking libxcb1-dev:armhf (1.12-1) ...
Selecting previously unselected package libx11-dev:armhf.
Preparing to unpack .../079-libx11-dev_2%3a1.6.4-2_armhf.deb ...
Unpacking libx11-dev:armhf (2:1.6.4-2) ...
Selecting previously unselected package libpng-dev:armhf.
Preparing to unpack .../080-libpng-dev_1.6.26-6_armhf.deb ...
Unpacking libpng-dev:armhf (1.6.26-6) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev.
Preparing to unpack .../081-libgdk-pixbuf2.0-dev_2.36.0-1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-dev (2.36.0-1) ...
Selecting previously unselected package libcairo-script-interpreter2:armhf.
Preparing to unpack .../082-libcairo-script-interpreter2_1.14.6-1.1_armhf.deb ...
Unpacking libcairo-script-interpreter2:armhf (1.14.6-1.1) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../083-libexpat1-dev_2.2.0-1_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.2.0-1) ...
Selecting previously unselected package libfreetype6-dev.
Preparing to unpack .../084-libfreetype6-dev_2.6.3-3+b1_armhf.deb ...
Unpacking libfreetype6-dev (2.6.3-3+b1) ...
Selecting previously unselected package libfontconfig1-dev:armhf.
Preparing to unpack .../085-libfontconfig1-dev_2.11.0-6.7_armhf.deb ...
Unpacking libfontconfig1-dev:armhf (2.11.0-6.7) ...
Selecting previously unselected package x11proto-render-dev.
Preparing to unpack .../086-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 .../087-libxrender-dev_1%3a0.9.10-1_armhf.deb ...
Unpacking libxrender-dev:armhf (1:0.9.10-1) ...
Selecting previously unselected package x11proto-xext-dev.
Preparing to unpack .../088-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 .../089-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 .../090-libice-dev_2%3a1.0.9-1+b1_armhf.deb ...
Unpacking libice-dev:armhf (2:1.0.9-1+b1) ...
Selecting previously unselected package libsm-dev:armhf.
Preparing to unpack .../091-libsm-dev_2%3a1.2.2-1+b1_armhf.deb ...
Unpacking libsm-dev:armhf (2:1.2.2-1+b1) ...
Selecting previously unselected package libpixman-1-dev.
Preparing to unpack .../092-libpixman-1-dev_0.34.0-1_armhf.deb ...
Unpacking libpixman-1-dev (0.34.0-1) ...
Selecting previously unselected package libxcb-render0-dev:armhf.
Preparing to unpack .../093-libxcb-render0-dev_1.12-1_armhf.deb ...
Unpacking libxcb-render0-dev:armhf (1.12-1) ...
Selecting previously unselected package libxcb-shm0-dev:armhf.
Preparing to unpack .../094-libxcb-shm0-dev_1.12-1_armhf.deb ...
Unpacking libxcb-shm0-dev:armhf (1.12-1) ...
Selecting previously unselected package libcairo2-dev.
Preparing to unpack .../095-libcairo2-dev_1.14.6-1.1_armhf.deb ...
Unpacking libcairo2-dev (1.14.6-1.1) ...
Selecting previously unselected package libharfbuzz-icu0:armhf.
Preparing to unpack .../096-libharfbuzz-icu0_1.2.7-1+b1_armhf.deb ...
Unpacking libharfbuzz-icu0:armhf (1.2.7-1+b1) ...
Selecting previously unselected package libharfbuzz-gobject0:armhf.
Preparing to unpack .../097-libharfbuzz-gobject0_1.2.7-1+b1_armhf.deb ...
Unpacking libharfbuzz-gobject0:armhf (1.2.7-1+b1) ...
Selecting previously unselected package libgraphite2-dev.
Preparing to unpack .../098-libgraphite2-dev_1.3.9-2_armhf.deb ...
Unpacking libgraphite2-dev (1.3.9-2) ...
Selecting previously unselected package libicu-dev.
Preparing to unpack .../099-libicu-dev_57.1-5_armhf.deb ...
Unpacking libicu-dev (57.1-5) ...
Selecting previously unselected package libharfbuzz-dev:armhf.
Preparing to unpack .../100-libharfbuzz-dev_1.2.7-1+b1_armhf.deb ...
Unpacking libharfbuzz-dev:armhf (1.2.7-1+b1) ...
Selecting previously unselected package libxft-dev.
Preparing to unpack .../101-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 .../102-libpango1.0-dev_1.40.3-3_armhf.deb ...
Unpacking libpango1.0-dev (1.40.3-3) ...
Selecting previously unselected package x11proto-xinerama-dev.
Preparing to unpack .../103-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 .../104-libxinerama-dev_2%3a1.1.3-1+b1_armhf.deb ...
Unpacking libxinerama-dev:armhf (2:1.1.3-1+b1) ...
Selecting previously unselected package x11proto-fixes-dev.
Preparing to unpack .../105-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 .../106-libxfixes-dev_1%3a5.0.3-1_armhf.deb ...
Unpacking libxfixes-dev:armhf (1:5.0.3-1) ...
Selecting previously unselected package libxi-dev:armhf.
Preparing to unpack .../107-libxi-dev_2%3a1.7.8-1_armhf.deb ...
Unpacking libxi-dev:armhf (2:1.7.8-1) ...
Selecting previously unselected package x11proto-randr-dev.
Preparing to unpack .../108-x11proto-randr-dev_1.5.0-1_all.deb ...
Unpacking x11proto-randr-dev (1.5.0-1) ...
Selecting previously unselected package libxrandr-dev:armhf.
Preparing to unpack .../109-libxrandr-dev_2%3a1.5.1-1_armhf.deb ...
Unpacking libxrandr-dev:armhf (2:1.5.1-1) ...
Selecting previously unselected package libxcursor-dev:armhf.
Preparing to unpack .../110-libxcursor-dev_1%3a1.1.14-1+b1_armhf.deb ...
Unpacking libxcursor-dev:armhf (1:1.1.14-1+b1) ...
Selecting previously unselected package x11proto-composite-dev.
Preparing to unpack .../111-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 .../112-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 .../113-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 .../114-libxdamage-dev_1%3a1.1.4-2+b1_armhf.deb ...
Unpacking libxdamage-dev:armhf (1:1.1.4-2+b1) ...
Selecting previously unselected package libxml2-utils.
Preparing to unpack .../115-libxml2-utils_2.9.4+dfsg1-2.1_armhf.deb ...
Unpacking libxml2-utils (2.9.4+dfsg1-2.1) ...
Selecting previously unselected package libgtk2.0-dev.
Preparing to unpack .../116-libgtk2.0-dev_2.24.31-1_armhf.deb ...
Unpacking libgtk2.0-dev (2.24.31-1) ...
Selecting previously unselected package libgail-dev.
Preparing to unpack .../117-libgail-dev_2.24.31-1_armhf.deb ...
Unpacking libgail-dev (2.24.31-1) ...
Selecting previously unselected package libgnomecanvas2-dev:armhf.
Preparing to unpack .../118-libgnomecanvas2-dev_2.30.3-3_armhf.deb ...
Unpacking libgnomecanvas2-dev:armhf (2.30.3-3) ...
Selecting previously unselected package libgconf2-dev.
Preparing to unpack .../119-libgconf2-dev_3.2.6-4_armhf.deb ...
Unpacking libgconf2-dev (3.2.6-4) ...
Selecting previously unselected package libgnutlsxx28:armhf.
Preparing to unpack .../120-libgnutlsxx28_3.5.7-2_armhf.deb ...
Unpacking libgnutlsxx28:armhf (3.5.7-2) ...
Selecting previously unselected package libunbound2:armhf.
Preparing to unpack .../121-libunbound2_1.5.10-3_armhf.deb ...
Unpacking libunbound2:armhf (1.5.10-3) ...
Selecting previously unselected package libgnutls-dane0:armhf.
Preparing to unpack .../122-libgnutls-dane0_3.5.7-2_armhf.deb ...
Unpacking libgnutls-dane0:armhf (3.5.7-2) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../123-libgmpxx4ldbl_2%3a6.1.1+dfsg-1_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.1.1+dfsg-1) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../124-libgmp-dev_2%3a6.1.1+dfsg-1_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.1.1+dfsg-1) ...
Selecting previously unselected package nettle-dev.
Preparing to unpack .../125-nettle-dev_3.3-1_armhf.deb ...
Unpacking nettle-dev (3.3-1) ...
Selecting previously unselected package libtasn1-6-dev:armhf.
Preparing to unpack .../126-libtasn1-6-dev_4.9-4_armhf.deb ...
Unpacking libtasn1-6-dev:armhf (4.9-4) ...
Selecting previously unselected package libp11-kit-dev:armhf.
Preparing to unpack .../127-libp11-kit-dev_0.23.2-5_armhf.deb ...
Unpacking libp11-kit-dev:armhf (0.23.2-5) ...
Selecting previously unselected package libidn11-dev.
Preparing to unpack .../128-libidn11-dev_1.33-1_armhf.deb ...
Unpacking libidn11-dev (1.33-1) ...
Selecting previously unselected package libgnutls28-dev:armhf.
Preparing to unpack .../129-libgnutls28-dev_3.5.7-2_armhf.deb ...
Unpacking libgnutls28-dev:armhf (3.5.7-2) ...
Selecting previously unselected package libxml2-dev:armhf.
Preparing to unpack .../130-libxml2-dev_2.9.4+dfsg1-2.1_armhf.deb ...
Unpacking libxml2-dev:armhf (2.9.4+dfsg1-2.1) ...
Selecting previously unselected package libsepol1-dev:armhf.
Preparing to unpack .../131-libsepol1-dev_2.6-2_armhf.deb ...
Unpacking libsepol1-dev:armhf (2.6-2) ...
Selecting previously unselected package libselinux1-dev:armhf.
Preparing to unpack .../132-libselinux1-dev_2.6-3_armhf.deb ...
Unpacking libselinux1-dev:armhf (2.6-3) ...
Selecting previously unselected package libgnomevfs2-dev:armhf.
Preparing to unpack .../133-libgnomevfs2-dev_1%3a2.24.4-6.1+b1_armhf.deb ...
Unpacking libgnomevfs2-dev:armhf (1:2.24.4-6.1+b1) ...
Selecting previously unselected package libcanberra-dev:armhf.
Preparing to unpack .../134-libcanberra-dev_0.30-3+b2_armhf.deb ...
Unpacking libcanberra-dev:armhf (0.30-3+b2) ...
Selecting previously unselected package libgnome2-dev:armhf.
Preparing to unpack .../135-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 .../136-libbonoboui2-dev_2.24.5-4_armhf.deb ...
Unpacking libbonoboui2-dev:armhf (2.24.5-4) ...
Selecting previously unselected package libhunspell-1.4-0:armhf.
Preparing to unpack .../137-libhunspell-1.4-0_1.4.1-2_armhf.deb ...
Unpacking libhunspell-1.4-0:armhf (1.4.1-2) ...
Selecting previously unselected package libenchant1c2a:armhf.
Preparing to unpack .../138-libenchant1c2a_1.6.0-11+b1_armhf.deb ...
Unpacking libenchant1c2a:armhf (1.6.0-11+b1) ...
Selecting previously unselected package libenchant-dev.
Preparing to unpack .../139-libenchant-dev_1.6.0-11+b1_armhf.deb ...
Unpacking libenchant-dev (1.6.0-11+b1) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../140-ocaml-base-nox_4.02.3-8+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.02.3-8+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../141-libfindlib-ocaml_1.6.2-1_armhf.deb ...
Unpacking libfindlib-ocaml (1.6.2-1) ...
Selecting previously unselected package libglade2-dev:armhf.
Preparing to unpack .../142-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 .../143-libgmp3-dev_2%3a6.1.1+dfsg-1_armhf.deb ...
Unpacking libgmp3-dev (2:6.1.1+dfsg-1) ...
Selecting previously unselected package libgnome-keyring-dev.
Preparing to unpack .../144-libgnome-keyring-dev_3.12.0-1+b1_armhf.deb ...
Unpacking libgnome-keyring-dev (3.12.0-1+b1) ...
Selecting previously unselected package libgnomeui-common.
Preparing to unpack .../145-libgnomeui-common_2.24.5-3.1_all.deb ...
Unpacking libgnomeui-common (2.24.5-3.1) ...
Selecting previously unselected package libgnomeui-0:armhf.
Preparing to unpack .../146-libgnomeui-0_2.24.5-3.1_armhf.deb ...
Unpacking libgnomeui-0:armhf (2.24.5-3.1) ...
Selecting previously unselected package libgnomeui-dev:armhf.
Preparing to unpack .../147-libgnomeui-dev_2.24.5-3.1_armhf.deb ...
Unpacking libgnomeui-dev:armhf (2.24.5-3.1) ...
Selecting previously unselected package libgtksourceview2.0-common.
Preparing to unpack .../148-libgtksourceview2.0-common_2.10.5-3_all.deb ...
Unpacking libgtksourceview2.0-common (2.10.5-3) ...
Selecting previously unselected package libgtksourceview2.0-0:armhf.
Preparing to unpack .../149-libgtksourceview2.0-0_2.10.5-3_armhf.deb ...
Unpacking libgtksourceview2.0-0:armhf (2.10.5-3) ...
Selecting previously unselected package libgtksourceview2.0-dev:armhf.
Preparing to unpack .../150-libgtksourceview2.0-dev_2.10.5-3_armhf.deb ...
Unpacking libgtksourceview2.0-dev:armhf (2.10.5-3) ...
Selecting previously unselected package libgtkspell0.
Preparing to unpack .../151-libgtkspell0_2.0.16-1.1_armhf.deb ...
Unpacking libgtkspell0 (2.0.16-1.1) ...
Selecting previously unselected package libgtkspell-dev.
Preparing to unpack .../152-libgtkspell-dev_2.0.16-1.1_armhf.deb ...
Unpacking libgtkspell-dev (2.0.16-1.1) ...
Selecting previously unselected package liblablgtk2-ocaml.
Preparing to unpack .../153-liblablgtk2-ocaml_2.18.3+dfsg-2_armhf.deb ...
Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml.
Preparing to unpack .../154-liblablgtk2-gnome-ocaml_2.18.3+dfsg-2_armhf.deb ...
Unpacking liblablgtk2-gnome-ocaml (2.18.3+dfsg-2) ...
Selecting previously unselected package librsvg2-dev:armhf.
Preparing to unpack .../155-librsvg2-dev_2.40.16-1_armhf.deb ...
Unpacking librsvg2-dev:armhf (2.40.16-1) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../156-libtinfo-dev_6.0+20161126-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20161126-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../157-libncurses5-dev_6.0+20161126-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.0+20161126-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../158-ocaml-compiler-libs_4.02.3-8+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.02.3-8+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../159-ocaml-interp_4.02.3-8+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.02.3-8+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../160-ocaml-nox_4.02.3-8+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.02.3-8+rpi1) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Preparing to unpack .../161-liblablgtk2-ocaml-dev_2.18.3+dfsg-2_armhf.deb ...
Unpacking liblablgtk2-ocaml-dev (2.18.3+dfsg-2) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml-dev.
Preparing to unpack .../162-liblablgtk2-gnome-ocaml-dev_2.18.3+dfsg-2_armhf.deb ...
Unpacking liblablgtk2-gnome-ocaml-dev (2.18.3+dfsg-2) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Preparing to unpack .../163-liblablgtksourceview2-ocaml_2.18.3+dfsg-2_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ...
Selecting previously unselected package liblablgtksourceview2-ocaml-dev.
Preparing to unpack .../164-liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Preparing to unpack .../165-libocamlgraph-ocaml-dev_1.8.6-1+b1_armhf.deb ...
Unpacking libocamlgraph-ocaml-dev (1.8.6-1+b1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../166-libzarith-ocaml_1.4.1-1_armhf.deb ...
Unpacking libzarith-ocaml (1.4.1-1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../167-libzarith-ocaml-dev_1.4.1-1_armhf.deb ...
Unpacking libzarith-ocaml-dev (1.4.1-1) ...
Selecting previously unselected package libzip-ocaml.
Preparing to unpack .../168-libzip-ocaml_1.06-2_armhf.deb ...
Unpacking libzip-ocaml (1.06-2) ...
Selecting previously unselected package libzip-ocaml-dev.
Preparing to unpack .../169-libzip-ocaml-dev_1.06-2_armhf.deb ...
Unpacking libzip-ocaml-dev (1.06-2) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../170-ocaml-findlib_1.6.2-1_armhf.deb ...
Unpacking ocaml-findlib (1.6.2-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../171-dh-ocaml_1.0.10_all.deb ...
Unpacking dh-ocaml (1.0.10) ...
Selecting previously unselected package ocplib-simplex-ocaml-dev.
Preparing to unpack .../172-ocplib-simplex-ocaml-dev_0.3-1_armhf.deb ...
Unpacking ocplib-simplex-ocaml-dev (0.3-1) ...
Selecting previously unselected package sbuild-build-depends-alt-ergo-dummy.
Preparing to unpack .../173-sbuild-build-depends-alt-ergo-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Setting up libncurses5:armhf (6.0+20161126-1) ...
Setting up libsepol1-dev:armhf (2.6-2) ...
Setting up libart-2.0-2:armhf (2.3.21-2) ...
Setting up libnettle6:armhf (3.3-1) ...
Setting up libtdb1:armhf (1.3.11-2) ...
Setting up libpopt0:armhf (1.16-10) ...
Setting up libgnomeui-common (2.24.5-3.1) ...
Setting up libgtk2.0-common (2.24.31-1) ...
Setting up libgnome-keyring-common (3.12.0-1) ...
Setting up libpopt-dev:armhf (1.16-10) ...
Setting up libjpeg62-turbo:armhf (1:1.5.1-2) ...
Setting up libarchive-zip-perl (1.59-1) ...
Setting up psmisc (22.21-2.1) ...
Setting up mime-support (3.60) ...
Setting up libpng16-16:armhf (1.6.26-6) ...
Setting up libjbig0:armhf (2.1-3.1) ...
Setting up libsigsegv2:armhf (2.10-5) ...
Setting up libldap-common (2.4.44+dfsg-2+rpi1) ...
Setting up libpthread-stubs0-dev:armhf (0.3-4) ...
Setting up libaspell15:armhf (0.60.7~20110707-3) ...
Setting up fonts-dejavu-core (2.37-1) ...
Setting up libgnomecanvas2-common (2.30.3-3) ...
Setting up libbonobo2-common (2.32.1-3) ...
Setting up libelf1:armhf (0.166-2.2) ...
Setting up groff-base (1.22.3-8) ...
Setting up libasound2-data (1.1.2-1) ...
Setting up xorg-sgml-doctools (1:1.11-1) ...
Setting up emacsen-common (2.0.8) ...
Setting up ocaml-base-nox (4.02.3-8+rpi1) ...
Setting up libsasl2-modules-db:armhf (2.1.27~101-g0780600+dfsg-1) ...
Setting up libsasl2-2:armhf (2.1.27~101-g0780600+dfsg-1) ...
Setting up libtinfo-dev:armhf (6.0+20161126-1) ...
Setting up dh-ocaml (1.0.10) ...
Setting up libgdk-pixbuf2.0-common (2.36.0-1) ...
Setting up libbonoboui2-common (2.24.5-4) ...
Setting up libdatrie1:armhf (0.2.10-4) ...
Setting up libtiff5:armhf (4.0.7-1) ...
Setting up gettext-base (0.19.8.1-1) ...
Setting up libpipeline1:armhf (1.4.1-2) ...
Setting up gnome-mime-data (2.18.0-1) ...
Setting up x11proto-kb-dev (1.0.7-1) ...
Setting up m4 (1.4.17-5) ...
Setting up ocplib-simplex-ocaml-dev (0.3-1) ...
Setting up libicu57:armhf (57.1-5) ...
Setting up libbsd0:armhf (0.8.3-1) ...
Setting up ucf (3.0036) ...
Setting up libxml2:armhf (2.9.4+dfsg1-2.1) ...
Setting up libfreetype6:armhf (2.6.3-3+b1) ...
Setting up libtasn1-6:armhf (4.9-4) ...
Setting up libmagic-mgc (1:5.29-1) ...
Setting up libasound2:armhf (1.1.2-1) ...
Setting up libmagic1:armhf (1:5.29-1) ...
Setting up libhogweed4:armhf (3.3-1) ...
Setting up libgraphite2-3:armhf (1.3.9-2) ...
Setting up libogg0:armhf (1.3.2-1) ...
Setting up libncurses5-dev:armhf (6.0+20161126-1) ...
Setting up libatk1.0-data (2.22.0-1) ...
Setting up libpixman-1-0:armhf (0.34.0-1) ...
Setting up xtrans-dev (1.3.5-1) ...
Setting up libglib2.0-data (2.50.2-2) ...
Setting up libgtksourceview2.0-common (2.10.5-3) ...
Processing triggers for libc-bin (2.24-7+rpi1) ...
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up autotools-dev (20161112.1) ...
Setting up libunistring0:armhf (0.9.6+really0.9.3-0.1) ...
Setting up libpixman-1-dev (0.34.0-1) ...
Setting up libssl1.1:armhf (1.1.0c-2) ...
Setting up libtext-iconv-perl (1.7-5+b8) ...
Setting up x11proto-randr-dev (1.5.0-1) ...
Setting up systemd (232-7) ...
Adding group `systemd-journal' (GID 111) ...
Done.
Setting up libltdl7:armhf (2.4.6-2) ...
Setting up libexpat1-dev:armhf (2.2.0-1) ...
Setting up libpcrecpp0v5:armhf (2:8.39-2) ...
Setting up libpcre32-3:armhf (2:8.39-2) ...
Setting up libffi6:armhf (3.2.1-6) ...
Setting up icu-devtools (57.1-5) ...
Setting up libpcre16-3:armhf (2:8.39-2) ...
Setting up libzarith-ocaml (1.4.1-1) ...
Setting up libthai-data (0.1.25-2) ...
Setting up libxdmcp6:armhf (1:1.1.2-1.1) ...
Setting up dbus (1.10.14-1) ...
Running in chroot, ignoring request.
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libkeyutils1:armhf (1.5.9-9) ...
Setting up bsdmainutils (9.0.12) ...
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 libgmpxx4ldbl:armhf (2:6.1.1+dfsg-1) ...
Setting up libvorbis0a:armhf (1.3.5-3) ...
Setting up x11-common (1:7.7+18) ...
update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults
Running in chroot, ignoring request.
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up hicolor-icon-theme (0.15-1) ...
Setting up libgraphite2-dev (1.3.9-2) ...
Setting up libzip-ocaml (1.06-2) ...
Setting up libfindlib-ocaml (1.6.2-1) ...
Setting up libhunspell-1.4-0:armhf (1.4.1-2) ...
Setting up ocaml-findlib (1.6.2-1) ...
Setting up libx11-data (2:1.6.4-2) ...
Setting up libpython2.7-stdlib:armhf (2.7.13~rc1-1) ...
Setting up libxau6:armhf (1:1.0.8-1) ...
Setting up autopoint (0.19.8.1-1) ...
Setting up libmpdec2:armhf (2.4.2-1) ...
Setting up liblzo2-2:armhf (2.08-1.2) ...
Setting up libavahi-common-data:armhf (0.6.32-1) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-4) ...
Setting up libfile-stripnondeterminism-perl (0.028-1) ...
Setting up libvorbisfile3:armhf (1.3.5-3) ...
Setting up libgmp-dev:armhf (2:6.1.1+dfsg-1) ...
Setting up gconf2-common (3.2.6-4) ...

Creating config file /etc/gconf/2/path with new version
Setting up libunbound2:armhf (1.5.10-3) ...
Setting up libpcre3-dev:armhf (2:8.39-2) ...
Setting up fontconfig-config (2.11.0-6.7) ...
Setting up libpam-systemd:armhf (232-7) ...
Setting up x11proto-core-dev (7.0.31-1) ...
Setting up libcanberra0:armhf (0.30-3+b2) ...
Setting up dictionaries-common (1.27.2) ...
Setting up libglib2.0-0:armhf (2.50.2-2) ...
No schema files found: doing nothing.
Setting up libpython3.5-stdlib:armhf (3.5.2-8) ...
Setting up libcanberra-dev:armhf (0.30-3+b2) ...
Setting up libxml2-utils (2.9.4+dfsg1-2.1) ...
Setting up python2.7 (2.7.13~rc1-1) ...
Setting up libtasn1-6-dev:armhf (4.9-4) ...
Setting up libharfbuzz0b:armhf (1.2.7-1+b1) ...
Setting up libxau-dev:armhf (1:1.0.8-1) ...
Setting up autoconf (2.69-10) ...
Setting up libthai0:armhf (0.1.25-2) ...
Setting up libicu-dev (57.1-5) ...
Setting up file (1:5.29-1) ...
Setting up libkrb5support0:armhf (1.15-1) ...
Setting up libgirepository-1.0-1:armhf (1.50.0-1) ...
Setting up dbus-user-session (1.10.14-1) ...
Setting up libgnome-keyring0:armhf (3.12.0-1+b1) ...
Setting up libxml2-dev:armhf (2.9.4+dfsg1-2.1) ...
Setting up libcroco3:armhf (0.6.11-2) ...
Setting up libpython-stdlib:armhf (2.7.11-2) ...
Setting up pkg-config (0.29-4) ...
Setting up gir1.2-glib-2.0:armhf (1.50.0-1) ...
Setting up libxdmcp-dev:armhf (1:1.1.2-1.1) ...
Setting up liborbit-2-0:armhf (1:2.14.19-2) ...
Setting up libatk1.0-0:armhf (2.22.0-1) ...
Setting up libp11-kit0:armhf (0.23.2-5) ...
Setting up automake (1:1.15-5) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up gir1.2-gnomekeyring-1.0 (3.12.0-1+b1) ...
Setting up libice6:armhf (2:1.0.9-1+b1) ...
Setting up libart-2.0-dev (2.3.21-2) ...
Setting up man-db (2.7.5-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up shared-mime-info (1.7-1) ...
Setting up nettle-dev (3.3-1) ...
Setting up libavahi-common3:armhf (0.6.32-1) ...
Setting up libavahi-glib1:armhf (0.6.32-1) ...
Setting up libpng-dev:armhf (1.6.26-6) ...
Setting up x11proto-render-dev (2:0.11.1-2) ...
Setting up aspell (0.60.7~20110707-3) ...
Setting up libselinux1-dev:armhf (2.6-3) ...
Setting up libglib2.0-bin (2.50.2-2) ...
Setting up libxcb1:armhf (1.12-1) ...
Setting up x11proto-input-dev (2.3.2-1) ...
Setting up libharfbuzz-gobject0:armhf (1.2.7-1+b1) ...
Setting up python (2.7.11-2) ...
Setting up libidn11-dev (1.33-1) ...
Setting up libgmp3-dev (2:6.1.1+dfsg-1) ...
Setting up libtool (2.4.6-2) ...
Setting up python3.5 (3.5.2-8) ...
Setting up libpython3-stdlib:armhf (3.5.1-4) ...
Setting up libfontconfig1:armhf (2.11.0-6.7) ...
Setting up libdbus-1-dev:armhf (1.10.14-1) ...
Setting up libsm6:armhf (2:1.2.2-1+b1) ...
Setting up libk5crypto3:armhf (1.15-1) ...
Setting up gir1.2-atk-1.0:armhf (2.22.0-1) ...
Setting up libxcb-render0:armhf (1.12-1) ...
Setting up libharfbuzz-icu0:armhf (1.2.7-1+b1) ...
Setting up libidl-2-0:armhf (0.8.14-4) ...
Setting up gettext (0.19.8.1-1) ...
Setting up libdbus-glib-1-2:armhf (0.108-1) ...
Setting up libavahi-common-dev:armhf (0.6.32-1) ...
Setting up libgconf-2-4:armhf (3.2.6-4) ...
Setting up libgnutls30:armhf (3.5.7-2) ...
Setting up libx11-6:armhf (2:1.6.4-2) ...
Setting up libp11-kit-dev:armhf (0.23.2-5) ...
Setting up liborbit2:armhf (1:2.14.19-2) ...
Setting up libbonobo2-0:armhf (2.32.1-3) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up x11proto-xext-dev (7.3.0-1) ...
Setting up libgnutlsxx28:armhf (3.5.7-2) ...
Setting up libfreetype6-dev (2.6.3-3+b1) ...
Setting up libldap-2.4-2:armhf (2.4.44+dfsg-2+rpi1) ...
Setting up libice-dev:armhf (2:1.0.9-1+b1) ...
Setting up libgnutls-dane0:armhf (3.5.7-2) ...
Setting up libgnutls-openssl27:armhf (3.5.7-2) ...
Setting up aspell-en (2016.11.20-0-0.1) ...
Setting up libxcomposite1:armhf (1:0.4.4-1) ...
Setting up libxcb-shm0:armhf (1.12-1) ...
Setting up libxrender1:armhf (1:0.9.10-1) ...
Setting up libxcb1-dev:armhf (1.12-1) ...
Setting up libavahi-client3:armhf (0.6.32-1) ...
Setting up libkrb5-3:armhf (1.15-1) ...
Setting up libx11-dev:armhf (2:1.6.4-2) ...
Setting up libxft2:armhf (2.3.2-1) ...
Setting up orbit2 (1:2.14.19-2) ...
Setting up fontconfig (2.11.0-6.7) ...
Regenerating fonts cache... done.
Setting up libfontconfig1-dev:armhf (2.11.0-6.7) ...
Setting up libenchant1c2a:armhf (1.6.0-11+b1) ...
Setting up libsm-dev:armhf (2:1.2.2-1+b1) ...
Setting up libxext6:armhf (2:1.3.3-1) ...
Setting up libxfixes3:armhf (1:5.0.3-1) ...
Setting up po-debconf (1.0.20) ...
Setting up libavahi-client-dev:armhf (0.6.32-1) ...
Setting up x11proto-fixes-dev (1:5.0-2) ...
Setting up libgdk-pixbuf2.0-0:armhf (2.36.0-1) ...
Setting up libxcb-shm0-dev:armhf (1.12-1) ...
Setting up gir1.2-gdkpixbuf-2.0:armhf (2.36.0-1) ...
Setting up libxrender-dev:armhf (1:0.9.10-1) ...
Setting up libgnutls28-dev:armhf (3.5.7-2) ...
Setting up libgssapi-krb5-2:armhf (1.15-1) ...
Setting up gconf-service (3.2.6-4) ...
Setting up libxcb-render0-dev:armhf (1.12-1) ...
Setting up x11proto-damage-dev (1:1.2.1-2) ...
Setting up libxft-dev (2.3.2-1) ...
Setting up gtk-update-icon-cache (3.22.2-1+rpi1) ...
Setting up libxcursor1:armhf (1:1.1.14-1+b1) ...
Setting up libxext-dev:armhf (2:1.3.3-1) ...
Setting up libpango-1.0-0:armhf (1.40.3-3) ...
Setting up libxfixes-dev:armhf (1:5.0.3-1) ...
Setting up x11proto-composite-dev (1:0.4.2-2) ...
Setting up libxrandr2:armhf (2:1.5.1-1) ...
Setting up libcups2:armhf (2.2.1-2+b5) ...
Setting up libxi6:armhf (2:1.7.8-1) ...
Setting up libcairo2:armhf (1.14.6-1.1) ...
Setting up libxinerama1:armhf (2:1.1.3-1+b1) ...
Setting up libxcursor-dev:armhf (1:1.1.14-1+b1) ...
Setting up gconf2 (3.2.6-4) ...
Setting up libxdamage1:armhf (1:1.1.4-2+b1) ...
Setting up libxrandr-dev:armhf (2:1.5.1-1) ...
Setting up libxcomposite-dev (1:0.4.4-1) ...
Setting up libcairo-script-interpreter2:armhf (1.14.6-1.1) ...
Setting up libcairo-gobject2:armhf (1.14.6-1.1) ...
Setting up libgnomevfs2-common (1:2.24.4-6.1) ...
Setting up libxdamage-dev:armhf (1:1.1.4-2+b1) ...
Setting up gir1.2-gconf-2.0 (3.2.6-4) ...
Setting up libpangoft2-1.0-0:armhf (1.40.3-3) ...
Setting up libxinerama-dev:armhf (2:1.1.3-1+b1) ...
Setting up libxi-dev:armhf (2:1.7.8-1) ...
Setting up libgnomevfs2-0:armhf (1:2.24.4-6.1+b1) ...
Setting up libgnome2-common (2.32.1-5) ...
Setting up gir1.2-freedesktop:armhf (1.50.0-1) ...
Setting up libpangoxft-1.0-0:armhf (1.40.3-3) ...
Setting up libpangocairo-1.0-0:armhf (1.40.3-3) ...
Setting up libgnome-2-0:armhf (2.32.1-5) ...
Setting up gir1.2-pango-1.0:armhf (1.40.3-3) ...
Setting up librsvg2-2:armhf (2.40.16-1) ...
Setting up librsvg2-common:armhf (2.40.16-1) ...
Setting up gir1.2-rsvg-2.0:armhf (2.40.16-1) ...
Setting up gnome-icon-theme (3.12.0-2) ...
update-alternatives: using /usr/share/icons/gnome/scalable/places/debian-swirl.svg to provide /usr/share/icons/gnome/scalable/places/start-here.svg (start-here.svg) in auto mode
Setting up libgtk2.0-0:armhf (2.24.31-1) ...
Setting up libgail18:armhf (2.24.31-1) ...
Setting up libgtksourceview2.0-0:armhf (2.10.5-3) ...
Setting up libgail-common:armhf (2.24.31-1) ...
Setting up libgtkspell0 (2.0.16-1.1) ...
Setting up libglade2-0:armhf (1:2.6.4-2) ...
Setting up gir1.2-gtk-2.0 (2.24.31-1) ...
Setting up liblablgtk2-ocaml (2.18.3+dfsg-2) ...
Setting up libgnomecanvas2-0:armhf (2.30.3-3) ...
Setting up libbonoboui2-0:armhf (2.24.5-4) ...
Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ...
Setting up libgnomeui-0:armhf (2.24.5-3.1) ...
Setting up liblablgtk2-gnome-ocaml (2.18.3+dfsg-2) ...
Setting up ocaml-compiler-libs (4.02.3-8+rpi1) ...
Setting up dh-autoreconf (12) ...
Setting up python3 (3.5.1-4) ...
Setting up ocaml-interp (4.02.3-8+rpi1) ...
Setting up libglib2.0-dev (2.50.2-2) ...
Setting up dh-strip-nondeterminism (0.028-1) ...
Setting up libgdk-pixbuf2.0-dev (2.36.0-1) ...
Setting up libgnome-keyring-dev (3.12.0-1+b1) ...
Setting up libenchant-dev (1.6.0-11+b1) ...
Setting up libharfbuzz-dev:armhf (1.2.7-1+b1) ...
Setting up dh-python (2.20160818) ...
Setting up libidl-dev:armhf (0.8.14-4) ...
Setting up debhelper (10.2.2) ...
Setting up libgconf2-dev (3.2.6-4) ...
Setting up ocaml-nox (4.02.3-8+rpi1) ...
Setting up libcairo2-dev (1.14.6-1.1) ...
Setting up libocamlgraph-ocaml-dev (1.8.6-1+b1) ...
Setting up libavahi-glib-dev:armhf (0.6.32-1) ...
Setting up libatk1.0-dev:armhf (2.22.0-1) ...
Setting up libzip-ocaml-dev (1.06-2) ...
Setting up librsvg2-dev:armhf (2.40.16-1) ...
Setting up libzarith-ocaml-dev (1.4.1-1) ...
Setting up liborbit2-dev (1:2.14.19-2) ...
Setting up libpango1.0-dev (1.40.3-3) ...
Setting up libgnomevfs2-dev:armhf (1:2.24.4-6.1+b1) ...
Setting up libbonobo2-dev:armhf (2.32.1-3) ...
Setting up libgtk2.0-dev (2.24.31-1) ...
Setting up libgnome2-dev:armhf (2.32.1-5) ...
Setting up libglade2-dev:armhf (1:2.6.4-2) ...
Setting up libgtkspell-dev (2.0.16-1.1) ...
Setting up libgtksourceview2.0-dev:armhf (2.10.5-3) ...
Setting up liblablgtk2-ocaml-dev (2.18.3+dfsg-2) ...
Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2) ...
Setting up libgail-dev (2.24.31-1) ...
Setting up libgnomecanvas2-dev:armhf (2.30.3-3) ...
Setting up libbonoboui2-dev:armhf (2.24.5-4) ...
Setting up libgnomeui-dev:armhf (2.24.5-3.1) ...
Setting up liblablgtk2-gnome-ocaml-dev (2.18.3+dfsg-2) ...
Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.24-7+rpi1) ...
Processing triggers for systemd (232-7) ...
Processing triggers for dictionaries-common (1.27.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_AU-variant_0].
aspell-autobuildhash: processing: en [en_AU-variant_1].
aspell-autobuildhash: processing: en [en_AU-w_accents-only].
aspell-autobuildhash: processing: en [en_AU-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.36.0-1) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Build environment                                                            |
+------------------------------------------------------------------------------+

Kernel: Linux 3.19.0-trunk-armmp armhf (armv7l)
Toolchain package versions: binutils_2.27.51.20161127-1 dpkg-dev_1.18.15 g++-6_6.2.1-5+rpi1 gcc-6_6.2.1-5+rpi1 libc6-dev_2.24-7+rpi1 libstdc++-4.9-dev_4.9.3-14 libstdc++-6-dev_6.2.1-5+rpi1 libstdc++6_6.2.1-5+rpi1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch
Package versions: acl_2.2.52-3 adduser_3.115 apt_1.4~beta1 aspell_0.60.7~20110707-3 aspell-en_2016.11.20-0-0.1 autoconf_2.69-10 automake_1:1.15-5 autopoint_0.19.8.1-1 autotools-dev_20161112.1 base-files_9.7+rpi1 base-passwd_3.5.41 bash_4.4-2 binutils_2.27.51.20161127-1 bsdmainutils_9.0.12 bsdutils_1:2.29-1 build-essential_12.2 bzip2_1.0.6-8 coreutils_8.25-2 cpio_2.11+dfsg-6 cpp_4:6.1.1-1 cpp-6_6.2.1-5+rpi1 dash_0.5.8-2.3 dbus_1.10.14-1 dbus-user-session_1.10.14-1 debconf_1.5.59 debfoster_2.7-2.1 debhelper_10.2.2 debianutils_4.8.1 dh-autoreconf_12 dh-ocaml_1.0.10 dh-python_2.20160818 dh-strip-nondeterminism_0.028-1 dictionaries-common_1.27.2 diffutils_1:3.5-1 dmsetup_2:1.02.136-1 dpkg_1.18.15 dpkg-dev_1.18.15 e2fslibs_1.43.3-1 e2fsprogs_1.43.3-1 emacsen-common_2.0.8 fakeroot_1.21-2 file_1:5.29-1 findutils_4.6.0+git+20161106-1 fontconfig_2.11.0-6.7 fontconfig-config_2.11.0-6.7 fonts-dejavu-core_2.37-1 fuse2fs_1.43.3-1 g++_4:6.1.1-1 g++-6_6.2.1-5+rpi1 gcc_4:6.1.1-1 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.5-4 gcc-4.9-base_4.9.3-14 gcc-6_6.2.1-5+rpi1 gcc-6-base_6.2.1-5+rpi1 gconf-service_3.2.6-4 gconf2_3.2.6-4 gconf2-common_3.2.6-4 gettext_0.19.8.1-1 gettext-base_0.19.8.1-1 gir1.2-atk-1.0_2.22.0-1 gir1.2-freedesktop_1.50.0-1 gir1.2-gconf-2.0_3.2.6-4 gir1.2-gdkpixbuf-2.0_2.36.0-1 gir1.2-glib-2.0_1.50.0-1 gir1.2-gnomekeyring-1.0_3.12.0-1+b1 gir1.2-gtk-2.0_2.24.31-1 gir1.2-pango-1.0_1.40.3-3 gir1.2-rsvg-2.0_2.40.16-1 gnome-icon-theme_3.12.0-2 gnome-mime-data_2.18.0-1 gnupg_2.1.16-2 gnupg-agent_2.1.16-2 gnupg-l10n_2.1.16-2 gpgv_2.1.16-2 grep_2.26-1 groff-base_1.22.3-8 gtk-update-icon-cache_3.22.2-1+rpi1 gzip_1.6-5 hicolor-icon-theme_0.15-1 hostname_3.18 icu-devtools_57.1-5 init_1.46 init-system-helpers_1.46 initscripts_2.88dsf-59.8 insserv_1.14.0-5.4 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-9+rpi1 kmod_23-1 libacl1_2.2.52-3 libapparmor1_2.10.95-6 libapt-pkg4.12_1.0.9.10 libapt-pkg5.0_1.4~beta1 libarchive-zip-perl_1.59-1 libart-2.0-2_2.3.21-2 libart-2.0-dev_2.3.21-2 libasan1_4.9.3-14 libasan3_6.2.1-5+rpi1 libasound2_1.1.2-1 libasound2-data_1.1.2-1 libaspell15_0.60.7~20110707-3 libassuan0_2.4.3-2 libatk1.0-0_2.22.0-1 libatk1.0-data_2.22.0-1 libatk1.0-dev_2.22.0-1 libatomic1_6.2.1-5+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.6.7-1 libaudit1_1:2.6.7-1 libavahi-client-dev_0.6.32-1 libavahi-client3_0.6.32-1 libavahi-common-data_0.6.32-1 libavahi-common-dev_0.6.32-1 libavahi-common3_0.6.32-1 libavahi-glib-dev_0.6.32-1 libavahi-glib1_0.6.32-1 libblkid1_2.29-1 libbonobo2-0_2.32.1-3 libbonobo2-common_2.32.1-3 libbonobo2-dev_2.32.1-3 libbonoboui2-0_2.24.5-4 libbonoboui2-common_2.24.5-4 libbonoboui2-dev_2.24.5-4 libbsd0_0.8.3-1 libbz2-1.0_1.0.6-8 libc-bin_2.24-7+rpi1 libc-dev-bin_2.24-7+rpi1 libc6_2.24-7+rpi1 libc6-dev_2.24-7+rpi1 libcairo-gobject2_1.14.6-1.1 libcairo-script-interpreter2_1.14.6-1.1 libcairo2_1.14.6-1.1 libcairo2-dev_1.14.6-1.1 libcanberra-dev_0.30-3+b2 libcanberra0_0.30-3+b2 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcap2-bin_1:2.25-1 libcc1-0_6.2.1-5+rpi1 libcomerr2_1.43.3-1 libcroco3_0.6.11-2 libcryptsetup4_2:1.7.3-2 libcups2_2.2.1-2+b5 libdatrie1_0.2.10-4 libdb5.3_5.3.28-12 libdbus-1-3_1.10.14-1 libdbus-1-dev_1.10.14-1 libdbus-glib-1-2_0.108-1 libdebconfclient0_0.218 libdevmapper1.02.1_2:1.02.136-1 libdpkg-perl_1.18.15 libdrm2_2.4.74-1 libelf1_0.166-2.2 libenchant-dev_1.6.0-11+b1 libenchant1c2a_1.6.0-11+b1 libexpat1_2.2.0-1 libexpat1-dev_2.2.0-1 libfakeroot_1.21-2 libfdisk1_2.29-1 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.028-1 libfindlib-ocaml_1.6.2-1 libfontconfig1_2.11.0-6.7 libfontconfig1-dev_2.11.0-6.7 libfreetype6_2.6.3-3+b1 libfreetype6-dev_2.6.3-3+b1 libfuse2_2.9.7-1 libgail-common_2.24.31-1 libgail-dev_2.24.31-1 libgail18_2.24.31-1 libgc1c2_1:7.4.2-8 libgcc-4.9-dev_4.9.3-14 libgcc-6-dev_6.2.1-5+rpi1 libgcc1_1:6.2.1-5+rpi1 libgconf-2-4_3.2.6-4 libgconf2-dev_3.2.6-4 libgcrypt20_1.7.3-2 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.36.0-1 libgdk-pixbuf2.0-common_2.36.0-1 libgdk-pixbuf2.0-dev_2.36.0-1 libgirepository-1.0-1_1.50.0-1 libglade2-0_1:2.6.4-2 libglade2-dev_1:2.6.4-2 libglib2.0-0_2.50.2-2 libglib2.0-bin_2.50.2-2 libglib2.0-data_2.50.2-2 libglib2.0-dev_2.50.2-2 libgmp-dev_2:6.1.1+dfsg-1 libgmp10_2:6.1.1+dfsg-1 libgmp3-dev_2:6.1.1+dfsg-1 libgmpxx4ldbl_2:6.1.1+dfsg-1 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-common_2.32.1-5 libgnome2-dev_2.32.1-5 libgnomecanvas2-0_2.30.3-3 libgnomecanvas2-common_2.30.3-3 libgnomecanvas2-dev_2.30.3-3 libgnomeui-0_2.24.5-3.1 libgnomeui-common_2.24.5-3.1 libgnomeui-dev_2.24.5-3.1 libgnomevfs2-0_1:2.24.4-6.1+b1 libgnomevfs2-common_1:2.24.4-6.1 libgnomevfs2-dev_1:2.24.4-6.1+b1 libgnutls-dane0_3.5.7-2 libgnutls-openssl27_3.5.7-2 libgnutls28-dev_3.5.7-2 libgnutls30_3.5.7-2 libgnutlsxx28_3.5.7-2 libgomp1_6.2.1-5+rpi1 libgpg-error0_1.25-1 libgraphite2-3_1.3.9-2 libgraphite2-dev_1.3.9-2 libgssapi-krb5-2_1.15-1 libgtk2.0-0_2.24.31-1 libgtk2.0-common_2.24.31-1 libgtk2.0-dev_2.24.31-1 libgtksourceview2.0-0_2.10.5-3 libgtksourceview2.0-common_2.10.5-3 libgtksourceview2.0-dev_2.10.5-3 libgtkspell-dev_2.0.16-1.1 libgtkspell0_2.0.16-1.1 libharfbuzz-dev_1.2.7-1+b1 libharfbuzz-gobject0_1.2.7-1+b1 libharfbuzz-icu0_1.2.7-1+b1 libharfbuzz0b_1.2.7-1+b1 libhogweed4_3.3-1 libhunspell-1.4-0_1.4.1-2 libice-dev_2:1.0.9-1+b1 libice6_2:1.0.9-1+b1 libicu-dev_57.1-5 libicu57_57.1-5 libidl-2-0_0.8.14-4 libidl-dev_0.8.14-4 libidn11_1.33-1 libidn11-dev_1.33-1 libip4tc0_1.6.0-4 libisl15_0.17.1-1 libjbig0_2.1-3.1 libjpeg62-turbo_1:1.5.1-2 libk5crypto3_1.15-1 libkeyutils1_1.5.9-9 libklibc_2.0.4-9+rpi1 libkmod2_23-1 libkrb5-3_1.15-1 libkrb5support0_1.15-1 libksba8_1.3.5-2 liblablgtk2-gnome-ocaml_2.18.3+dfsg-2 liblablgtk2-gnome-ocaml-dev_2.18.3+dfsg-2 liblablgtk2-ocaml_2.18.3+dfsg-2 liblablgtk2-ocaml-dev_2.18.3+dfsg-2 liblablgtksourceview2-ocaml_2.18.3+dfsg-2 liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2 libldap-2.4-2_2.4.44+dfsg-2+rpi1 libldap-common_2.4.44+dfsg-2+rpi1 libltdl7_2.4.6-2 liblz4-1_0.0~r131-2 liblzma5_5.2.2-1.2 liblzo2-2_2.08-1.2 libmagic-mgc_1:5.29-1 libmagic1_1:5.29-1 libmount1_2.29-1 libmpc3_1.0.3-1 libmpdec2_2.4.2-1 libmpfr4_3.1.5-1 libncurses5_6.0+20161126-1 libncurses5-dev_6.0+20161126-1 libncursesw5_6.0+20161126-1 libnettle6_3.3-1 libnpth0_1.3-1 libocamlgraph-ocaml-dev_1.8.6-1+b1 libogg0_1.3.2-1 liborbit-2-0_1:2.14.19-2 liborbit2_1:2.14.19-2 liborbit2-dev_1:2.14.19-2 libp11-kit-dev_0.23.2-5 libp11-kit0_0.23.2-5 libpam-modules_1.1.8-3.3 libpam-modules-bin_1.1.8-3.3 libpam-runtime_1.1.8-3.3 libpam-systemd_232-7 libpam0g_1.1.8-3.3 libpango-1.0-0_1.40.3-3 libpango1.0-dev_1.40.3-3 libpangocairo-1.0-0_1.40.3-3 libpangoft2-1.0-0_1.40.3-3 libpangoxft-1.0-0_1.40.3-3 libpcre16-3_2:8.39-2 libpcre3_2:8.39-2 libpcre3-dev_2:8.39-2 libpcre32-3_2:8.39-2 libpcrecpp0v5_2:8.39-2 libperl5.24_5.24.1~rc4-1 libpipeline1_1.4.1-2 libpixman-1-0_0.34.0-1 libpixman-1-dev_0.34.0-1 libpng-dev_1.6.26-6 libpng12-0_1.2.54-6 libpng16-16_1.6.26-6 libpopt-dev_1.16-10 libpopt0_1.16-10 libprocps3_2:3.3.9-9 libprocps6_2:3.3.12-3 libpthread-stubs0-dev_0.3-4 libpython-stdlib_2.7.11-2 libpython2.7-minimal_2.7.13~rc1-1 libpython2.7-stdlib_2.7.13~rc1-1 libpython3-stdlib_3.5.1-4 libpython3.5-minimal_3.5.2-8 libpython3.5-stdlib_3.5.2-8 libreadline7_7.0-1 librsvg2-2_2.40.16-1 librsvg2-common_2.40.16-1 librsvg2-dev_2.40.16-1 libsasl2-2_2.1.27~101-g0780600+dfsg-1 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-1 libseccomp2_2.3.1-2.1 libselinux1_2.6-3 libselinux1-dev_2.6-3 libsemanage-common_2.6-1 libsemanage1_2.6-1 libsepol1_2.6-2 libsepol1-dev_2.6-2 libsigsegv2_2.10-5 libslang2_2.3.1-5 libsm-dev_2:1.2.2-1+b1 libsm6_2:1.2.2-1+b1 libsmartcols1_2.29-1 libsqlite3-0_3.15.2-1 libss2_1.43.3-1 libssl1.0.2_1.0.2j-4 libssl1.1_1.1.0c-2 libstdc++-4.9-dev_4.9.3-14 libstdc++-6-dev_6.2.1-5+rpi1 libstdc++6_6.2.1-5+rpi1 libsystemd0_232-7 libtasn1-6_4.9-4 libtasn1-6-dev_4.9-4 libtdb1_1.3.11-2 libtext-iconv-perl_1.7-5+b8 libthai-data_0.1.25-2 libthai0_0.1.25-2 libtiff5_4.0.7-1 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20161126-1 libtinfo5_6.0+20161126-1 libtool_2.4.6-2 libubsan0_6.2.1-5+rpi1 libudev1_232-6 libunbound2_1.5.10-3 libunistring0_0.9.6+really0.9.3-0.1 libusb-0.1-4_2:0.1.12-30 libustr-1.0-1_1.0.4-6 libuuid1_2.29-1 libvorbis0a_1.3.5-3 libvorbisfile3_1.3.5-3 libx11-6_2:1.6.4-2 libx11-data_2:1.6.4-2 libx11-dev_2:1.6.4-2 libxau-dev_1:1.0.8-1 libxau6_1:1.0.8-1 libxcb-render0_1.12-1 libxcb-render0-dev_1.12-1 libxcb-shm0_1.12-1 libxcb-shm0-dev_1.12-1 libxcb1_1.12-1 libxcb1-dev_1.12-1 libxcomposite-dev_1:0.4.4-1 libxcomposite1_1:0.4.4-1 libxcursor-dev_1:1.1.14-1+b1 libxcursor1_1:1.1.14-1+b1 libxdamage-dev_1:1.1.4-2+b1 libxdamage1_1:1.1.4-2+b1 libxdmcp-dev_1:1.1.2-1.1 libxdmcp6_1:1.1.2-1.1 libxext-dev_2:1.3.3-1 libxext6_2:1.3.3-1 libxfixes-dev_1:5.0.3-1 libxfixes3_1:5.0.3-1 libxft-dev_2.3.2-1 libxft2_2.3.2-1 libxi-dev_2:1.7.8-1 libxi6_2:1.7.8-1 libxinerama-dev_2:1.1.3-1+b1 libxinerama1_2:1.1.3-1+b1 libxml2_2.9.4+dfsg1-2.1 libxml2-dev_2.9.4+dfsg1-2.1 libxml2-utils_2.9.4+dfsg1-2.1 libxrandr-dev_2:1.5.1-1 libxrandr2_2:1.5.1-1 libxrender-dev_1:0.9.10-1 libxrender1_1:0.9.10-1 libzarith-ocaml_1.4.1-1 libzarith-ocaml-dev_1.4.1-1 libzip-ocaml_1.06-2 libzip-ocaml-dev_1.06-2 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch login_1:4.2-3.3 lsb-base_9.20161125+rpi1 m4_1.4.17-5 make_4.1-9 makedev_2.3.1-93 man-db_2.7.5-2 manpages_4.08-1 mawk_1.3.3-17 mime-support_3.60 mount_2.29-1 multiarch-support_2.24-7+rpi1 nano_2.7.1-1 ncurses-base_6.0+20160917-1 ncurses-bin_6.0+20160917-1 nettle-dev_3.3-1 ocaml-base-nox_4.02.3-8+rpi1 ocaml-compiler-libs_4.02.3-8+rpi1 ocaml-findlib_1.6.2-1 ocaml-interp_4.02.3-8+rpi1 ocaml-nox_4.02.3-8+rpi1 ocplib-simplex-ocaml-dev_0.3-1 orbit2_1:2.14.19-2 passwd_1:4.2-3.3 patch_2.7.5-1 perl_5.24.1~rc4-1 perl-base_5.24.1~rc4-1 perl-modules-5.24_5.24.1~rc4-1 pinentry-curses_0.9.7-9 pkg-config_0.29-4 po-debconf_1.0.20 procps_2:3.3.12-3 psmisc_22.21-2.1 python_2.7.11-2 python-minimal_2.7.11-2 python2.7_2.7.13~rc1-1 python2.7-minimal_2.7.13~rc1-1 python3_3.5.1-4 python3-minimal_3.5.1-4 python3.5_3.5.2-8 python3.5-minimal_3.5.2-8 raspbian-archive-keyring_20120528.2 readline-common_7.0-1 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.2-8 sensible-utils_0.0.9 shared-mime-info_1.7-1 startpar_0.59-3.1 systemd_232-7 systemd-sysv_232-6 sysv-rc_2.88dsf-59.8 sysvinit-utils_2.88dsf-59.8 tar_1.29b-1.1 tzdata_2016j-2 ucf_3.0036 udev_232-6 util-linux_2.29-1 x11-common_1:7.7+18 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.31-1 x11proto-damage-dev_1:1.2.1-2 x11proto-fixes-dev_1:5.0-2 x11proto-input-dev_2.3.2-1 x11proto-kb-dev_1.0.7-1 x11proto-randr-dev_1.5.0-1 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.2.2-1.2 zlib1g_1:1.2.8.dfsg-4 zlib1g-dev_1:1.2.8.dfsg-4

+------------------------------------------------------------------------------+
| Build                                                                        |
+------------------------------------------------------------------------------+


Unpack source
-------------

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Mon Dec 12 19:42:03 2016 UTC
gpgv:                using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./alt-ergo_1.30-1.dsc
dpkg-source: info: extracting alt-ergo in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking alt-ergo_1.30.orig.tar.gz
dpkg-source: info: unpacking alt-ergo_1.30-1.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
dpkg-source: info: applying spelling

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
LC_ALL=POSIX
LOGNAME=root
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
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-52e0ce6e-affd-44d7-93a3-8d79de664616
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=xterm
USER=buildd

dpkg-buildpackage
-----------------

dpkg-buildpackage: info: source package alt-ergo
dpkg-buildpackage: info: source version 1.30-1
dpkg-buildpackage: info: source distribution unstable
 dpkg-source --before-build alt-ergo-1.30
dpkg-buildpackage: info: host architecture armhf
 fakeroot debian/rules clean
dh  clean --with ocaml
   dh_testdir
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
if [ -f config.status ]; then \
	/usr/bin/make dist-clean;   \
fi
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_autoreconf_clean
   dh_ocamlclean
   dh_clean
 debian/rules build-arch
dh  build-arch --with ocaml
   dh_testdir -a
   dh_update_autotools_config -a
   dh_autoreconf -a
aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
   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 --libdir=\${prefix}/lib/arm-linux-gnueabihf --libexecdir=\${prefix}/lib/arm-linux-gnueabihf --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.02.3
ocaml library path is /usr/lib/ocaml
checking for ocamlfind... yes
ocamlfind found zarith in -I /usr/lib/ocaml/zarith
ocamlfind: Package `camlzip' not found
checking for /usr/lib/ocaml/zip/zip.cma... yes
ocamlfind found ocplib-simplex in -I /usr/lib/ocaml/ocplib-simplex
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
ocamlfind found lablgtk2.sourceview2 in -I /usr/lib/ocaml/lablgtk2
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 '/<<PKGBUILDDIR>>'
/usr/bin/make all gui BUILD_DATE="December 12, 2016"
make[2]: Entering directory '/<<PKGBUILDDIR>>'
Makefile.users:263: .depend: No such file or directory
ocamlyacc -v src/parsing/why_parser.mly 
ocamllex src/parsing/why_lexer.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
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/config.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/emap.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/emap.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/myUnix.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/myUnix.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/myDynlink.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/myDynlink.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/myZip.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/myZip.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/util.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/util.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/lists.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/lists.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/numbersInterface.mli
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/numsNumbers.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/numsNumbers.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/zarithNumbers.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/zarithNumbers.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/gc_debug.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/gc_debug.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/parsed.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/parsed.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/typed.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/typed.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/errors.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/errors.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/profiling_default.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/profiling_default.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/profiling.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/profiling.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/preprocess/existantial.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/commands.mli
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/inequalities.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/inequalities.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/intervalCalculus.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/intervalCalculus.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/ccx.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/ccx.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/instances.mli
ocamlopt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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/instances.ml
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -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 unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa src/util/config.cmx src/util/version.cmx src/util/emap.cmx src/util/myUnix.cmx src/util/myDynlink.cmx src/util/myZip.cmx src/util/util.cmx src/util/lists.cmx src/util/numsNumbers.cmx src/util/zarithNumbers.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/gc_debug.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/parsed.cmx src/structures/typed.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/structures/errors.cmx src/util/profiling_default.cmx src/util/profiling.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/preprocess/existantial.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/instances/instances.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/inequalities.cmx src/theories/intervalCalculus.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/ccx.cmx src/theories/theory.cmx src/sat/sat_solvers.cmx src/main/frontend.cmx src/main/main_text.cmx
ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I 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 -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads  -I +zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -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 unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa zarith.cmxa threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.cmx src/util/config.cmx src/util/version.cmx src/util/emap.cmx src/util/myUnix.cmx src/util/myDynlink.cmx src/util/myZip.cmx src/util/util.cmx src/util/lists.cmx src/util/numsNumbers.cmx src/util/zarithNumbers.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/gc_debug.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/parsed.cmx src/structures/typed.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/structures/errors.cmx src/util/profiling_default.cmx src/util/profiling.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/preprocess/existantial.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/instances/instances.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/inequalities.cmx src/theories/intervalCalculus.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/ccx.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 '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_auto_test -a
 fakeroot debian/rules binary-arch
dh  binary-arch --with ocaml
   dh_testroot -a
   dh_prep -a
   debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make DESTDIR=debian/tmp install install-gui
make[2]: Entering directory '/<<PKGBUILDDIR>>'
mkdir -p debian/tmp/usr/share/man/man1
cp -f doc/*.1 debian/tmp/usr/share/man/man1
mkdir -p debian/tmp/usr/bin
cp -f alt-ergo.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 '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_install -a
   dh_ocamldoc -a
   dh_installdocs -a
   dh_installchangelogs -a
   dh_installexamples -a
   dh_installman -a
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -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 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 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 libpangocairo-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 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 libfontconfig.so.1 (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
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-dbgsym' in '../alt-ergo-dbgsym_1.30-1_armhf.deb'.
dpkg-deb: building package 'alt-ergo' in '../alt-ergo_1.30-1_armhf.deb'.
 dpkg-genbuildinfo --build=any
dpkg-genbuildinfo: warning: File::FcntlLock not available; using flock which is not NFS-safe
 dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../alt-ergo_1.30-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build alt-ergo-1.30
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2016-12-23T05:16:05Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Post Build Chroot                                                            |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Changes                                                                      |
+------------------------------------------------------------------------------+


alt-ergo_1.30-1_armhf.changes:
------------------------------

Format: 1.8
Date: Mon, 12 Dec 2016 19:58:57 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: armhf
Version: 1.30-1
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
Changes:
 alt-ergo (1.30-1) unstable; urgency=medium
 .
   * new upstream version:
     - refreshed patch 0001-dont-activate-debug-flags
     - refreshed patch 0002-non-free-dropped
     - refreshed patch 0003-allow-set-build-date
     - added build-dependency on ocplib-simplex-ocaml-dev, libzip-ocaml-dev,
       and ocaml-findlib
   * debhelper compatibility level 10:
     - bumped build-dependency on debhelper
     - bumped value in debian/compat
     - debian/rules: sequence before options in dh invocation
   * standards-version 3.9.8 (no change)
   * debian/control: dropped redundant Testsuite
   * updated Vcs-{Git,Browser}
   * patch spelling: various upstream spelling errors
Checksums-Sha1:
 7dbb5ef59ef84437a5cace2f3895a6d37cba5e51 451934 alt-ergo-dbgsym_1.30-1_armhf.deb
 1bd65f14f311ede578b9b61a25ac0d9414672cfd 13315 alt-ergo_1.30-1_armhf.buildinfo
 e47fa638b0956a688bb6f1097d22628480669e3d 2171680 alt-ergo_1.30-1_armhf.deb
Checksums-Sha256:
 9c3197c1aa8afc93038f29f2d246ee70a67fcc9a26bef47bb3f3cc7de95690bf 451934 alt-ergo-dbgsym_1.30-1_armhf.deb
 94d51c23cd5e98d01aa89a663901225707a8c9a9e32202cfef1dd9ca5ad70fc4 13315 alt-ergo_1.30-1_armhf.buildinfo
 346b8f7b5a7097d238c8637c24866956498f7285b75eac668d93acbaf964667e 2171680 alt-ergo_1.30-1_armhf.deb
Files:
 6f5c626d303a845eefbdee5629c84417 451934 debug extra alt-ergo-dbgsym_1.30-1_armhf.deb
 0dca1b9f981295b43d56119390cd9c8d 13315 math optional alt-ergo_1.30-1_armhf.buildinfo
 ab7f20ded08689ee598beb96dfe88e12 2171680 math optional alt-ergo_1.30-1_armhf.deb

+------------------------------------------------------------------------------+
| Package contents                                                             |
+------------------------------------------------------------------------------+


alt-ergo-dbgsym_1.30-1_armhf.deb
--------------------------------

 new debian package, version 2.0.
 size 451934 bytes: control archive=526 bytes.
     434 bytes,    13 lines      control              
     212 bytes,     2 lines      md5sums              
 Package: alt-ergo-dbgsym
 Source: alt-ergo
 Version: 1.30-1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 2449
 Depends: alt-ergo (= 1.30-1)
 Section: debug
 Priority: extra
 Homepage: http://alt-ergo.lri.fr
 Description: Debug symbols for alt-ergo
 Auto-Built-Package: debug-symbols
 Build-Ids: 5bdfe05df054029f8e061734d7cbcd7ac24de2fb 70856be47e1bf65a99d4ab59fbe38dc15f323b90

drwxr-xr-x root/root         0 2016-12-12 18:58 ./
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/lib/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/lib/debug/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/lib/debug/.build-id/5b/
-rw-r--r-- root/root   1676992 2016-12-12 18:58 ./usr/lib/debug/.build-id/5b/dfe05df054029f8e061734d7cbcd7ac24de2fb.debug
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/lib/debug/.build-id/70/
-rw-r--r-- root/root    818888 2016-12-12 18:58 ./usr/lib/debug/.build-id/70/856be47e1bf65a99d4ab59fbe38dc15f323b90.debug
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/doc/
lrwxrwxrwx root/root         0 2016-12-12 18:58 ./usr/share/doc/alt-ergo-dbgsym -> alt-ergo


alt-ergo_1.30-1_armhf.deb
-------------------------

 new debian package, version 2.0.
 size 2171680 bytes: control archive=1511 bytes.
    1342 bytes,    23 lines      control              
    1667 bytes,    21 lines      md5sums              
 Package: alt-ergo
 Version: 1.30-1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 10386
 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), zlib1g (>= 1:1.1.4)
 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 2016-12-12 18:58 ./
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/bin/
-rwxr-xr-x root/root   4105712 2016-12-12 18:58 ./usr/bin/alt-ergo
-rwxr-xr-x root/root   6456332 2016-12-12 18:58 ./usr/bin/altgr-ergo
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/alt-ergo/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/alt-ergo/gtksourceview-2.0/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/alt-ergo/gtksourceview-2.0/language-specs/
-rw-r--r-- root/root      4309 2016-12-12 18:58 ./usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/doc/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/doc/alt-ergo/
-rw-r--r-- root/root      3308 2016-12-12 18:58 ./usr/share/doc/alt-ergo/changelog.Debian.gz
-rw-r--r-- root/root      5576 2016-11-21 06:54 ./usr/share/doc/alt-ergo/changelog.gz
-rw-r--r-- root/root     24098 2016-12-12 18:58 ./usr/share/doc/alt-ergo/copyright
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/doc/alt-ergo/examples/
drwxr-xr-x root/root         0 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/
-rw-r--r-- root/root        57 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/arith1.why
-rw-r--r-- root/root        61 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/arith2.why
-rw-r--r-- root/root       147 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/arrays.why
-rw-r--r-- root/root       141 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/bitv.why
drwxr-xr-x root/root         0 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/
-rw-r--r-- root/root       106 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/ac_arith.why
-rw-r--r-- root/root       120 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arith1.why
-rw-r--r-- root/root       125 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arith2.why
-rw-r--r-- root/root       106 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arith3.why
-rw-r--r-- root/root        87 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arith4.why
-rw-r--r-- root/root       151 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arrays.why
-rw-r--r-- root/root       139 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/bitv.why
-rw-r--r-- root/root       189 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/congruence.why
-rw-r--r-- root/root       183 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/enum_arrays.why
-rw-r--r-- root/root       195 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/quantifiers.why
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/man/
drwxr-xr-x root/root         0 2016-12-12 18:58 ./usr/share/man/man1/
-rw-r--r-- root/root      1177 2016-12-12 18:58 ./usr/share/man/man1/alt-ergo.1.gz


+------------------------------------------------------------------------------+
| Post Build                                                                   |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                                                      |
+------------------------------------------------------------------------------+

Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: armhf
Build-Space: 77956
Build-Time: 575
Distribution: stretch-staging
Host Architecture: armhf
Install-Time: 1521
Job: alt-ergo_1.30-1
Machine Architecture: armhf
Package: alt-ergo
Package-Time: 2141
Source-Version: 1.30-1
Space: 77956
Status: successful
Version: 1.30-1
--------------------------------------------------------------------------------
Finished at 2016-12-23T05:16:05Z
Build needed 00:35:41, 77956k disc space

Page generated on 2024-05-17 02:19:13 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