Build log for aac-tactics (0.4-5+b1) on armhf

aac-tactics → 0.4-5+b1 → armhf → 2016-06-05 10:45:12

sbuild (Debian sbuild) 0.66.0 (04 Oct 2015) on bm-wb-02

+==============================================================================+
| aac-tactics 0.4-5+b1 (armhf)                               05 Jun 2016 10:25 |
+==============================================================================+

Package: aac-tactics
Version: 0.4-5+b1
Source Version: 0.4-5
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'build/aac-tactics-vG9yv5/aac-tactics-0.4' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/aac-tactics-vG9yv5' with '<<BUILDDIR>>'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-b9994874-274a-4869-9365-f960ea5c1cbc' 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 [9032 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf Packages [11.0 MB]
Fetched 20.1 MB in 22s (889 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: 'aac-tactics' packaging is maintained in the 'Git' version control system at:
git://anonscm.debian.org/pkg-ocaml-maint/packages/aac-tactics.git
Please use:
git clone git://anonscm.debian.org/pkg-ocaml-maint/packages/aac-tactics.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 82.6 kB of source archives.
Get:1 http://172.17.0.1/private stretch-staging/main aac-tactics 0.4-5 (dsc) [2238 B]
Get:2 http://172.17.0.1/private stretch-staging/main aac-tactics 0.4-5 (tar) [77.3 kB]
Get:3 http://172.17.0.1/private stretch-staging/main aac-tactics 0.4-5 (diff) [2980 B]
Fetched 82.6 kB in 0s (1169 kB/s)
Download complete and in download only mode

Check architectures
-------------------


Check dependencies
------------------

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-APosgB/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Get:1 file:/<<BUILDDIR>>/resolver-APosgB/apt_archive ./ InRelease
Ign:1 file:/<<BUILDDIR>>/resolver-APosgB/apt_archive ./ InRelease
Get:2 file:/<<BUILDDIR>>/resolver-APosgB/apt_archive ./ Release [2119 B]
Get:2 file:/<<BUILDDIR>>/resolver-APosgB/apt_archive ./ Release [2119 B]
Get:3 file:/<<BUILDDIR>>/resolver-APosgB/apt_archive ./ Release.gpg [299 B]
Get:3 file:/<<BUILDDIR>>/resolver-APosgB/apt_archive ./ Release.gpg [299 B]
Get:4 file:/<<BUILDDIR>>/resolver-APosgB/apt_archive ./ Sources [194 B]
Get:5 file:/<<BUILDDIR>>/resolver-APosgB/apt_archive ./ Packages [506 B]
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: file:///<<BUILDDIR>>/resolver-APosgB/apt_archive/./Release.gpg: Signature by key 3493EC2B8E6DC280C121C60435506D9A48F77B2E uses weak digest algorithm (SHA1)
Reading package lists...

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

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 36 not upgraded.
Need to get 0 B/768 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 file:/<<BUILDDIR>>/resolver-APosgB/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [768 B]
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 13653 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
Merged Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), libcoq-ocaml-dev
Filtered Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), libcoq-ocaml-dev
dpkg-deb: building package 'sbuild-build-depends-aac-tactics-dummy' in '/<<BUILDDIR>>/resolver-uNVT7O/apt_archive/sbuild-build-depends-aac-tactics-dummy.deb'.
OK
Get:1 file:/<<BUILDDIR>>/resolver-uNVT7O/apt_archive ./ InRelease
Ign:1 file:/<<BUILDDIR>>/resolver-uNVT7O/apt_archive ./ InRelease
Get:2 file:/<<BUILDDIR>>/resolver-uNVT7O/apt_archive ./ Release [2119 B]
Get:2 file:/<<BUILDDIR>>/resolver-uNVT7O/apt_archive ./ Release [2119 B]
Get:3 file:/<<BUILDDIR>>/resolver-uNVT7O/apt_archive ./ Release.gpg [299 B]
Get:3 file:/<<BUILDDIR>>/resolver-uNVT7O/apt_archive ./ Release.gpg [299 B]
Get:4 file:/<<BUILDDIR>>/resolver-uNVT7O/apt_archive ./ Sources [242 B]
Get:5 file:/<<BUILDDIR>>/resolver-uNVT7O/apt_archive ./ Packages [560 B]
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: file:///<<BUILDDIR>>/resolver-uNVT7O/apt_archive/./Release.gpg: Signature by key 3493EC2B8E6DC280C121C60435506D9A48F77B2E uses weak digest algorithm (SHA1)
Reading package lists...

+------------------------------------------------------------------------------+
| Install aac-tactics build dependencies (apt-based resolver)                  |
+------------------------------------------------------------------------------+

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils
  camlp5 coq coq-theories debhelper dh-autoreconf dh-ocaml
  dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig
  fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0
  gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0
  gir1.2-pango-1.0 groff-base icu-devtools intltool-debian libarchive-zip-perl
  libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3
  libavahi-common-data libavahi-common3 libbsd0 libcairo-gobject2
  libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml
  libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libelf1 libenchant-dev
  libenchant1c2a libexpat1 libexpat1-dev libffi6
  libfile-stripnondeterminism-perl libfontconfig1 libfontconfig1-dev
  libfreetype6 libfreetype6-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 libgnutls30
  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
  libicu55 libidn11 libjbig0 libjpeg62-turbo libk5crypto3 libkeyutils1
  libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev
  liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblzo2-2
  libmagic1 libncurses5-dev libnettle6 libp11-kit0 libpango-1.0-0
  libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0
  libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1
  libpixman-1-0 libpixman-1-dev libpng-dev libpng16-16 libpthread-stubs0-dev
  libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsigsegv2
  libsm-dev libsm6 libsqlite3-0 libssl1.0.2 libtasn1-6 libtext-iconv-perl
  libthai-data libthai0 libtiff5 libtinfo-dev libtool libunistring0 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 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs
  ocaml-interp ocaml-native-compilers ocaml-nox pkg-config po-debconf python
  python-minimal python2.7 python2.7-minimal shared-mime-info ucf x11-common
  x11proto-composite-dev x11proto-core-dev x11proto-damage-dev
  x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev
  x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev
  xorg-sgml-doctools xtrans-dev zlib1g-dev
Suggested packages:
  aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican
  | wordlist whois vacation ocaml-findlib proofgeneral ledit | readline-editor
  why coq-doc dh-make git wordlist gettext-doc libasprintf-dev
  libgettextpo-dev groff libcairo2-doc cups-common libenchant-voikko glade
  | glade-gnome libglib2.0-doc gnutls-bin krb5-doc krb5-user librsvg2-common
  gvfs libgtk2.0-doc libgtksourceview2.0-doc libice-doc icu-doc
  liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev ncurses-doc imagemagick
  libpango1.0-doc libsm-doc libtool-doc gfortran | fortran95-compiler gcj-jdk
  libxcb-doc libxext-doc less www-browser ocaml-doc tuareg-mode | ocaml-mode
  libmail-box-perl python-doc python-tk python2.7-doc binfmt-support
Recommended packages:
  coqide | proofgeneral curl | wget | lynx-cur enchant xdg-user-dirs
  hicolor-icon-theme libgtk2.0-bin hunspell-en-us | hunspell-dictionary
  | myspell-dictionary krb5-locales liblablgtk2-ocaml-doc libpng-tools
  libltdl-dev libx11-doc xml-core ledit | readline-editor camlp4
  libmail-sendmail-perl
The following NEW packages will be installed:
  aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils
  camlp5 coq coq-theories debhelper dh-autoreconf dh-ocaml
  dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig
  fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0
  gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0
  gir1.2-pango-1.0 groff-base icu-devtools intltool-debian libarchive-zip-perl
  libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3
  libavahi-common-data libavahi-common3 libbsd0 libcairo-gobject2
  libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml
  libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libelf1 libenchant-dev
  libenchant1c2a libexpat1 libexpat1-dev libffi6
  libfile-stripnondeterminism-perl libfontconfig1 libfontconfig1-dev
  libfreetype6 libfreetype6-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 libgnutls30
  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
  libicu55 libidn11 libjbig0 libjpeg62-turbo libk5crypto3 libkeyutils1
  libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev
  liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblzo2-2
  libmagic1 libncurses5-dev libnettle6 libp11-kit0 libpango-1.0-0
  libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0
  libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1
  libpixman-1-0 libpixman-1-dev libpng-dev libpng16-16 libpthread-stubs0-dev
  libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsigsegv2
  libsm-dev libsm6 libsqlite3-0 libssl1.0.2 libtasn1-6 libtext-iconv-perl
  libthai-data libthai0 libtiff5 libtinfo-dev libtool libunistring0 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 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs
  ocaml-interp ocaml-native-compilers ocaml-nox pkg-config po-debconf python
  python-minimal python2.7 python2.7-minimal
  sbuild-build-depends-aac-tactics-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
0 upgraded, 206 newly installed, 0 to remove and 36 not upgraded.
Need to get 155 MB/155 MB of archives.
After this operation, 674 MB of additional disk space will be used.
Get:1 file:/<<BUILDDIR>>/resolver-uNVT7O/apt_archive ./ sbuild-build-depends-aac-tactics-dummy 0.invalid.0 [818 B]
Get:2 http://172.17.0.1/private stretch-staging/main armhf groff-base armhf 1.22.3-7 [1083 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf libbsd0 armhf 0.8.3-1 [89.0 kB]
Get:4 http://172.17.0.1/private stretch-staging/main armhf bsdmainutils armhf 9.0.10 [177 kB]
Get:5 http://172.17.0.1/private stretch-staging/main armhf libpipeline1 armhf 1.4.1-2 [23.7 kB]
Get:6 http://172.17.0.1/private stretch-staging/main armhf man-db armhf 2.7.5-1 [975 kB]
Get:7 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-minimal armhf 2.7.11-9 [382 kB]
Get:8 http://172.17.0.1/private stretch-staging/main armhf python2.7-minimal armhf 2.7.11-9 [1163 kB]
Get:9 http://172.17.0.1/private stretch-staging/main armhf python-minimal armhf 2.7.11-1 [40.0 kB]
Get:10 http://172.17.0.1/private stretch-staging/main armhf mime-support all 3.60 [36.7 kB]
Get:11 http://172.17.0.1/private stretch-staging/main armhf libexpat1 armhf 2.1.1-2 [60.2 kB]
Get:12 http://172.17.0.1/private stretch-staging/main armhf libffi6 armhf 3.2.1-4 [18.5 kB]
Get:13 http://172.17.0.1/private stretch-staging/main armhf libsqlite3-0 armhf 3.13.0-1 [479 kB]
Get:14 http://172.17.0.1/private stretch-staging/main armhf libssl1.0.2 armhf 1.0.2h-1 [889 kB]
Get:15 http://172.17.0.1/private stretch-staging/main armhf libpython2.7-stdlib armhf 2.7.11-9 [1817 kB]
Get:16 http://172.17.0.1/private stretch-staging/main armhf python2.7 armhf 2.7.11-9 [271 kB]
Get:17 http://172.17.0.1/private stretch-staging/main armhf libpython-stdlib armhf 2.7.11-1 [19.5 kB]
Get:18 http://172.17.0.1/private stretch-staging/main armhf python armhf 2.7.11-1 [150 kB]
Get:19 http://172.17.0.1/private stretch-staging/main armhf libfreetype6 armhf 2.6.3-3 [384 kB]
Get:20 http://172.17.0.1/private stretch-staging/main armhf ucf all 3.0036 [70.2 kB]
Get:21 http://172.17.0.1/private stretch-staging/main armhf fonts-dejavu-core all 2.35-1 [1064 kB]
Get:22 http://172.17.0.1/private stretch-staging/main armhf fontconfig-config all 2.11.0-6.4 [271 kB]
Get:23 http://172.17.0.1/private stretch-staging/main armhf libfontconfig1 armhf 2.11.0-6.4 [313 kB]
Get:24 http://172.17.0.1/private stretch-staging/main armhf fontconfig armhf 2.11.0-6.4 [401 kB]
Get:25 http://172.17.0.1/private stretch-staging/main armhf libaspell15 armhf 0.60.7~20110707-3 [299 kB]
Get:26 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-0 armhf 2.48.1-1 [2548 kB]
Get:27 http://172.17.0.1/private stretch-staging/main armhf libatk1.0-data all 2.20.0-1 [185 kB]
Get:28 http://172.17.0.1/private stretch-staging/main armhf libatk1.0-0 armhf 2.20.0-1 [85.0 kB]
Get:29 http://172.17.0.1/private stretch-staging/main armhf libpixman-1-0 armhf 0.33.6-1 [454 kB]
Get:30 http://172.17.0.1/private stretch-staging/main armhf libxau6 armhf 1:1.0.8-1 [19.9 kB]
Get:31 http://172.17.0.1/private stretch-staging/main armhf libxdmcp6 armhf 1:1.1.2-1.1 [24.9 kB]
Get:32 http://172.17.0.1/private stretch-staging/main armhf libxcb1 armhf 1.11.1-1 [40.9 kB]
Get:33 http://172.17.0.1/private stretch-staging/main armhf libx11-data all 2:1.6.3-1 [128 kB]
Get:34 http://172.17.0.1/private stretch-staging/main armhf libx11-6 armhf 2:1.6.3-1 [678 kB]
Get:35 http://172.17.0.1/private stretch-staging/main armhf libxcb-render0 armhf 1.11.1-1 [17.0 kB]
Get:36 http://172.17.0.1/private stretch-staging/main armhf libxcb-shm0 armhf 1.11.1-1 [11.5 kB]
Get:37 http://172.17.0.1/private stretch-staging/main armhf libxext6 armhf 2:1.3.3-1 [48.1 kB]
Get:38 http://172.17.0.1/private stretch-staging/main armhf libxrender1 armhf 1:0.9.9-2 [28.9 kB]
Get:39 http://172.17.0.1/private stretch-staging/main armhf libcairo2 armhf 1.14.6-1 [688 kB]
Get:40 http://172.17.0.1/private stretch-staging/main armhf libjpeg62-turbo armhf 1:1.4.2-2 [104 kB]
Get:41 http://172.17.0.1/private stretch-staging/main armhf libpng16-16 armhf 1.6.21-5 [257 kB]
Get:42 http://172.17.0.1/private stretch-staging/main armhf libjbig0 armhf 2.1-3.1 [27.5 kB]
Get:43 http://172.17.0.1/private stretch-staging/main armhf libtiff5 armhf 4.0.6-1 [201 kB]
Get:44 http://172.17.0.1/private stretch-staging/main armhf libicu55 armhf 55.1-7 [7380 kB]
Get:45 http://172.17.0.1/private stretch-staging/main armhf libxml2 armhf 2.9.3+dfsg1-1 [800 kB]
Get:46 http://172.17.0.1/private stretch-staging/main armhf shared-mime-info armhf 1.6-1 [671 kB]
Get:47 http://172.17.0.1/private stretch-staging/main armhf libgdk-pixbuf2.0-common all 2.34.0-1 [309 kB]
Get:48 http://172.17.0.1/private stretch-staging/main armhf libgdk-pixbuf2.0-0 armhf 2.34.0-1 [146 kB]
Get:49 http://172.17.0.1/private stretch-staging/main armhf libgtk2.0-common all 2.24.30-2 [2689 kB]
Get:50 http://172.17.0.1/private stretch-staging/main armhf libavahi-common-data armhf 0.6.32~rc+dfsg-1 [99.5 kB]
Get:51 http://172.17.0.1/private stretch-staging/main armhf libavahi-common3 armhf 0.6.32~rc+dfsg-1 [48.1 kB]
Get:52 http://172.17.0.1/private stretch-staging/main armhf libavahi-client3 armhf 0.6.32~rc+dfsg-1 [50.7 kB]
Get:53 http://172.17.0.1/private stretch-staging/main armhf libnettle6 armhf 3.2-1 [202 kB]
Get:54 http://172.17.0.1/private stretch-staging/main armhf libhogweed4 armhf 3.2-1 [126 kB]
Get:55 http://172.17.0.1/private stretch-staging/main armhf libidn11 armhf 1.32-3 [110 kB]
Get:56 http://172.17.0.1/private stretch-staging/main armhf libp11-kit0 armhf 0.23.2-3 [93.3 kB]
Get:57 http://172.17.0.1/private stretch-staging/main armhf libtasn1-6 armhf 4.8-1 [44.1 kB]
Get:58 http://172.17.0.1/private stretch-staging/main armhf libgnutls30 armhf 3.4.12-2 [734 kB]
Get:59 http://172.17.0.1/private stretch-staging/main armhf libkeyutils1 armhf 1.5.9-9 [11.9 kB]
Get:60 http://172.17.0.1/private stretch-staging/main armhf libkrb5support0 armhf 1.13.2+dfsg-5 [56.6 kB]
Get:61 http://172.17.0.1/private stretch-staging/main armhf libk5crypto3 armhf 1.13.2+dfsg-5 [110 kB]
Get:62 http://172.17.0.1/private stretch-staging/main armhf libkrb5-3 armhf 1.13.2+dfsg-5 [259 kB]
Get:63 http://172.17.0.1/private stretch-staging/main armhf libgssapi-krb5-2 armhf 1.13.2+dfsg-5 [130 kB]
Get:64 http://172.17.0.1/private stretch-staging/main armhf libcups2 armhf 2.1.3-5 [267 kB]
Get:65 http://172.17.0.1/private stretch-staging/main armhf libthai-data all 0.1.24-2 [163 kB]
Get:66 http://172.17.0.1/private stretch-staging/main armhf libdatrie1 armhf 0.2.10-2 [32.5 kB]
Get:67 http://172.17.0.1/private stretch-staging/main armhf libthai0 armhf 0.1.24-2 [46.6 kB]
Get:68 http://172.17.0.1/private stretch-staging/main armhf libpango-1.0-0 armhf 1.40.1-1 [293 kB]
Get:69 http://172.17.0.1/private stretch-staging/main armhf libgraphite2-3 armhf 1.3.8-1 [62.5 kB]
Get:70 http://172.17.0.1/private stretch-staging/main armhf libharfbuzz0b armhf 1.2.6-2 [585 kB]
Get:71 http://172.17.0.1/private stretch-staging/main armhf libpangoft2-1.0-0 armhf 1.40.1-1 [231 kB]
Get:72 http://172.17.0.1/private stretch-staging/main armhf libpangocairo-1.0-0 armhf 1.40.1-1 [220 kB]
Get:73 http://172.17.0.1/private stretch-staging/main armhf libxcomposite1 armhf 1:0.4.4-1 [16.8 kB]
Get:74 http://172.17.0.1/private stretch-staging/main armhf libxfixes3 armhf 1:5.0.1-2+b2 [19.9 kB]
Get:75 http://172.17.0.1/private stretch-staging/main armhf libxcursor1 armhf 1:1.1.14-1+b1 [31.9 kB]
Get:76 http://172.17.0.1/private stretch-staging/main armhf libxdamage1 armhf 1:1.1.4-2+b1 [14.1 kB]
Get:77 http://172.17.0.1/private stretch-staging/main armhf libxi6 armhf 2:1.7.6-1 [75.9 kB]
Get:78 http://172.17.0.1/private stretch-staging/main armhf libxinerama1 armhf 2:1.1.3-1+b1 [16.4 kB]
Get:79 http://172.17.0.1/private stretch-staging/main armhf libxrandr2 armhf 2:1.5.0-1 [33.3 kB]
Get:80 http://172.17.0.1/private stretch-staging/main armhf libgtk2.0-0 armhf 2.24.30-2 [1505 kB]
Get:81 http://172.17.0.1/private stretch-staging/main armhf libglade2-0 armhf 1:2.6.4-2 [76.2 kB]
Get:82 http://172.17.0.1/private stretch-staging/main armhf liblzo2-2 armhf 2.08-1.2 [47.6 kB]
Get:83 http://172.17.0.1/private stretch-staging/main armhf libpcrecpp0v5 armhf 2:8.38-3.1 [148 kB]
Get:84 http://172.17.0.1/private stretch-staging/main armhf libxft2 armhf 2.3.2-1 [48.3 kB]
Get:85 http://172.17.0.1/private stretch-staging/main armhf libtext-iconv-perl armhf 1.7-5+b7 [14.6 kB]
Get:86 http://172.17.0.1/private stretch-staging/main armhf libmagic1 armhf 1:5.25-2 [250 kB]
Get:87 http://172.17.0.1/private stretch-staging/main armhf file armhf 1:5.25-2 [61.2 kB]
Get:88 http://172.17.0.1/private stretch-staging/main armhf gettext-base armhf 0.19.7-2 [111 kB]
Get:89 http://172.17.0.1/private stretch-staging/main armhf libsigsegv2 armhf 2.10-5 [28.4 kB]
Get:90 http://172.17.0.1/private stretch-staging/main armhf m4 armhf 1.4.17-5 [239 kB]
Get:91 http://172.17.0.1/private stretch-staging/main armhf emacsen-common all 2.0.8 [21.2 kB]
Get:92 http://172.17.0.1/private stretch-staging/main armhf dictionaries-common all 1.27.0 [245 kB]
Get:93 http://172.17.0.1/private stretch-staging/main armhf aspell armhf 0.60.7~20110707-3 [220 kB]
Get:94 http://172.17.0.1/private stretch-staging/main armhf aspell-en all 7.1-0-1.1 [266 kB]
Get:95 http://172.17.0.1/private stretch-staging/main armhf autoconf all 2.69-10 [338 kB]
Get:96 http://172.17.0.1/private stretch-staging/main armhf autotools-dev all 20160430.1 [72.6 kB]
Get:97 http://172.17.0.1/private stretch-staging/main armhf automake all 1:1.15-4 [735 kB]
Get:98 http://172.17.0.1/private stretch-staging/main armhf autopoint all 0.19.7-2 [424 kB]
Get:99 http://172.17.0.1/private stretch-staging/main armhf coq-theories armhf 8.5-2+b1 [24.1 MB]
Get:100 http://172.17.0.1/private stretch-staging/main armhf ocaml-base-nox armhf 4.02.3-6+rpi1 [509 kB]
Get:101 http://172.17.0.1/private stretch-staging/main armhf libhunspell-1.4-0 armhf 1.4.1-2 [152 kB]
Get:102 http://172.17.0.1/private stretch-staging/main armhf libenchant1c2a armhf 1.6.0-11+b1 [58.9 kB]
Get:103 http://172.17.0.1/private stretch-staging/main armhf libgtkspell0 armhf 2.0.16-1.1 [22.5 kB]
Get:104 http://172.17.0.1/private stretch-staging/main armhf liblablgtk2-ocaml armhf 2.18.3+dfsg-1+b1 [689 kB]
Get:105 http://172.17.0.1/private stretch-staging/main armhf libgtksourceview2.0-common all 2.10.5-2 [478 kB]
Get:106 http://172.17.0.1/private stretch-staging/main armhf libgtksourceview2.0-0 armhf 2.10.5-2 [163 kB]
Get:107 http://172.17.0.1/private stretch-staging/main armhf liblablgtksourceview2-ocaml armhf 2.18.3+dfsg-1+b1 [107 kB]
Get:108 http://172.17.0.1/private stretch-staging/main armhf libcoq-ocaml armhf 8.5-2+b1 [3368 kB]
Get:109 http://172.17.0.1/private stretch-staging/main armhf libtinfo-dev armhf 6.0+20160319-1 [65.7 kB]
Get:110 http://172.17.0.1/private stretch-staging/main armhf libncurses5-dev armhf 6.0+20160319-1 [153 kB]
Get:111 http://172.17.0.1/private stretch-staging/main armhf ocaml-compiler-libs armhf 4.02.3-6+rpi1 [9650 kB]
Get:112 http://172.17.0.1/private stretch-staging/main armhf ocaml-interp armhf 4.02.3-6+rpi1 [360 kB]
Get:113 http://172.17.0.1/private stretch-staging/main armhf ocaml-nox armhf 4.02.3-6+rpi1 [5632 kB]
Get:114 http://172.17.0.1/private stretch-staging/main armhf ocaml-native-compilers armhf 4.02.3-6+rpi1 [2358 kB]
Get:115 http://172.17.0.1/private stretch-staging/main armhf coq armhf 8.5-2+b1 [12.6 MB]
Get:116 http://172.17.0.1/private stretch-staging/main armhf libcroco3 armhf 0.6.11-1 [131 kB]
Get:117 http://172.17.0.1/private stretch-staging/main armhf libunistring0 armhf 0.9.6+really0.9.3-0.1 [252 kB]
Get:118 http://172.17.0.1/private stretch-staging/main armhf gettext armhf 0.19.7-2 [1400 kB]
Get:119 http://172.17.0.1/private stretch-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:120 http://172.17.0.1/private stretch-staging/main armhf po-debconf all 1.0.19 [249 kB]
Get:121 http://172.17.0.1/private stretch-staging/main armhf libarchive-zip-perl all 1.57-1 [95.1 kB]
Get:122 http://172.17.0.1/private stretch-staging/main armhf libfile-stripnondeterminism-perl all 0.018-1 [12.1 kB]
Get:123 http://172.17.0.1/private stretch-staging/main armhf dh-strip-nondeterminism all 0.018-1 [7196 B]
Get:124 http://172.17.0.1/private stretch-staging/main armhf libtool all 2.4.6-0.1 [200 kB]
Get:125 http://172.17.0.1/private stretch-staging/main armhf dh-autoreconf all 12 [15.8 kB]
Get:126 http://172.17.0.1/private stretch-staging/main armhf debhelper all 9.20160403 [800 kB]
Get:127 http://172.17.0.1/private stretch-staging/main armhf libgirepository-1.0-1 armhf 1.48.0-2 [83.5 kB]
Get:128 http://172.17.0.1/private stretch-staging/main armhf gir1.2-glib-2.0 armhf 1.48.0-2 [145 kB]
Get:129 http://172.17.0.1/private stretch-staging/main armhf gir1.2-atk-1.0 armhf 2.20.0-1 [67.8 kB]
Get:130 http://172.17.0.1/private stretch-staging/main armhf libcairo-gobject2 armhf 1.14.6-1 [332 kB]
Get:131 http://172.17.0.1/private stretch-staging/main armhf gir1.2-freedesktop armhf 1.48.0-2 [22.8 kB]
Get:132 http://172.17.0.1/private stretch-staging/main armhf gir1.2-gdkpixbuf-2.0 armhf 2.34.0-1 [19.8 kB]
Get:133 http://172.17.0.1/private stretch-staging/main armhf libpangoxft-1.0-0 armhf 1.40.1-1 [215 kB]
Get:134 http://172.17.0.1/private stretch-staging/main armhf gir1.2-pango-1.0 armhf 1.40.1-1 [224 kB]
Get:135 http://172.17.0.1/private stretch-staging/main armhf gir1.2-gtk-2.0 armhf 2.24.30-2 [211 kB]
Get:136 http://172.17.0.1/private stretch-staging/main armhf icu-devtools armhf 55.1-7 [163 kB]
Get:137 http://172.17.0.1/private stretch-staging/main armhf pkg-config armhf 0.29-4 [59.2 kB]
Get:138 http://172.17.0.1/private stretch-staging/main armhf libelf1 armhf 0.163-5.1 [162 kB]
Get:139 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-data all 2.48.1-1 [2503 kB]
Get:140 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-bin armhf 2.48.1-1 [1625 kB]
Get:141 http://172.17.0.1/private stretch-staging/main armhf libpcre16-3 armhf 2:8.38-3.1 [229 kB]
Get:142 http://172.17.0.1/private stretch-staging/main armhf libpcre32-3 armhf 2:8.38-3.1 [223 kB]
Get:143 http://172.17.0.1/private stretch-staging/main armhf libpcre3-dev armhf 2:8.38-3.1 [556 kB]
Get:144 http://172.17.0.1/private stretch-staging/main armhf zlib1g-dev armhf 1:1.2.8.dfsg-2+b1 [197 kB]
Get:145 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-dev armhf 2.48.1-1 [2783 kB]
Get:146 http://172.17.0.1/private stretch-staging/main armhf libatk1.0-dev armhf 2.20.0-1 [130 kB]
Get:147 http://172.17.0.1/private stretch-staging/main armhf libcairo-script-interpreter2 armhf 1.14.6-1 [360 kB]
Get:148 http://172.17.0.1/private stretch-staging/main armhf libexpat1-dev armhf 2.1.1-2 [117 kB]
Get:149 http://172.17.0.1/private stretch-staging/main armhf libpng-dev armhf 1.6.21-5 [224 kB]
Get:150 http://172.17.0.1/private stretch-staging/main armhf libfreetype6-dev armhf 2.6.3-3 [5758 kB]
Get:151 http://172.17.0.1/private stretch-staging/main armhf libfontconfig1-dev armhf 2.11.0-6.4 [875 kB]
Get:152 http://172.17.0.1/private stretch-staging/main armhf xorg-sgml-doctools all 1:1.11-1 [21.9 kB]
Get:153 http://172.17.0.1/private stretch-staging/main armhf x11proto-core-dev all 7.0.29-1 [728 kB]
Get:154 http://172.17.0.1/private stretch-staging/main armhf libxau-dev armhf 1:1.0.8-1 [23.0 kB]
Get:155 http://172.17.0.1/private stretch-staging/main armhf libxdmcp-dev armhf 1:1.1.2-1.1 [40.8 kB]
Get:156 http://172.17.0.1/private stretch-staging/main armhf x11proto-input-dev all 2.3.2-1 [158 kB]
Get:157 http://172.17.0.1/private stretch-staging/main armhf x11proto-kb-dev all 1.0.7-1 [233 kB]
Get:158 http://172.17.0.1/private stretch-staging/main armhf xtrans-dev all 1.3.5-1 [100 kB]
Get:159 http://172.17.0.1/private stretch-staging/main armhf libpthread-stubs0-dev armhf 0.3-4 [4042 B]
Get:160 http://172.17.0.1/private stretch-staging/main armhf libxcb1-dev armhf 1.11.1-1 [75.9 kB]
Get:161 http://172.17.0.1/private stretch-staging/main armhf libx11-dev armhf 2:1.6.3-1 [749 kB]
Get:162 http://172.17.0.1/private stretch-staging/main armhf x11proto-render-dev all 2:0.11.1-2 [20.8 kB]
Get:163 http://172.17.0.1/private stretch-staging/main armhf libxrender-dev armhf 1:0.9.9-2 [36.5 kB]
Get:164 http://172.17.0.1/private stretch-staging/main armhf x11proto-xext-dev all 7.3.0-1 [212 kB]
Get:165 http://172.17.0.1/private stretch-staging/main armhf libxext-dev armhf 2:1.3.3-1 [102 kB]
Get:166 http://172.17.0.1/private stretch-staging/main armhf x11-common all 1:7.7+15 [251 kB]
Get:167 http://172.17.0.1/private stretch-staging/main armhf libice6 armhf 2:1.0.9-1+b1 [51.9 kB]
Get:168 http://172.17.0.1/private stretch-staging/main armhf libsm6 armhf 2:1.2.2-1+b1 [31.2 kB]
Get:169 http://172.17.0.1/private stretch-staging/main armhf libice-dev armhf 2:1.0.9-1+b1 [59.0 kB]
Get:170 http://172.17.0.1/private stretch-staging/main armhf libsm-dev armhf 2:1.2.2-1+b1 [33.5 kB]
Get:171 http://172.17.0.1/private stretch-staging/main armhf libpixman-1-dev armhf 0.33.6-1 [476 kB]
Get:172 http://172.17.0.1/private stretch-staging/main armhf libxcb-render0-dev armhf 1.11.1-1 [20.8 kB]
Get:173 http://172.17.0.1/private stretch-staging/main armhf libxcb-shm0-dev armhf 1.11.1-1 [12.6 kB]
Get:174 http://172.17.0.1/private stretch-staging/main armhf libcairo2-dev armhf 1.14.6-1 [812 kB]
Get:175 http://172.17.0.1/private stretch-staging/main armhf camlp5 armhf 6.14-2 [2406 kB]
Get:176 http://172.17.0.1/private stretch-staging/main armhf libgdk-pixbuf2.0-dev armhf 2.34.0-1 [55.8 kB]
Get:177 http://172.17.0.1/private stretch-staging/main armhf libharfbuzz-icu0 armhf 1.2.6-2 [436 kB]
Get:178 http://172.17.0.1/private stretch-staging/main armhf libharfbuzz-gobject0 armhf 1.2.6-2 [441 kB]
Get:179 http://172.17.0.1/private stretch-staging/main armhf libgraphite2-dev armhf 1.3.8-1 [21.0 kB]
Get:180 http://172.17.0.1/private stretch-staging/main armhf libicu-dev armhf 55.1-7 [8339 kB]
Get:181 http://172.17.0.1/private stretch-staging/main armhf libharfbuzz-dev armhf 1.2.6-2 [639 kB]
Get:182 http://172.17.0.1/private stretch-staging/main armhf libxft-dev armhf 2.3.2-1 [59.1 kB]
Get:183 http://172.17.0.1/private stretch-staging/main armhf libpango1.0-dev armhf 1.40.1-1 [453 kB]
Get:184 http://172.17.0.1/private stretch-staging/main armhf x11proto-xinerama-dev all 1.2.1-2 [4938 B]
Get:185 http://172.17.0.1/private stretch-staging/main armhf libxinerama-dev armhf 2:1.1.3-1+b1 [18.7 kB]
Get:186 http://172.17.0.1/private stretch-staging/main armhf x11proto-fixes-dev all 1:5.0-2 [19.2 kB]
Get:187 http://172.17.0.1/private stretch-staging/main armhf libxfixes-dev armhf 1:5.0.1-2+b2 [21.9 kB]
Get:188 http://172.17.0.1/private stretch-staging/main armhf libxi-dev armhf 2:1.7.6-1 [233 kB]
Get:189 http://172.17.0.1/private stretch-staging/main armhf x11proto-randr-dev all 1.5.0-1 [49.7 kB]
Get:190 http://172.17.0.1/private stretch-staging/main armhf libxrandr-dev armhf 2:1.5.0-1 [41.0 kB]
Get:191 http://172.17.0.1/private stretch-staging/main armhf libxcursor-dev armhf 1:1.1.14-1+b1 [39.5 kB]
Get:192 http://172.17.0.1/private stretch-staging/main armhf x11proto-composite-dev all 1:0.4.2-2 [15.3 kB]
Get:193 http://172.17.0.1/private stretch-staging/main armhf libxcomposite-dev armhf 1:0.4.4-1 [20.5 kB]
Get:194 http://172.17.0.1/private stretch-staging/main armhf x11proto-damage-dev all 1:1.2.1-2 [11.8 kB]
Get:195 http://172.17.0.1/private stretch-staging/main armhf libxdamage-dev armhf 1:1.1.4-2+b1 [13.9 kB]
Get:196 http://172.17.0.1/private stretch-staging/main armhf libxml2-utils armhf 2.9.3+dfsg1-1 [101 kB]
Get:197 http://172.17.0.1/private stretch-staging/main armhf libgtk2.0-dev armhf 2.24.30-2 [2333 kB]
Get:198 http://172.17.0.1/private stretch-staging/main armhf libxml2-dev armhf 2.9.3+dfsg1-1 [720 kB]
Get:199 http://172.17.0.1/private stretch-staging/main armhf libglade2-dev armhf 1:2.6.4-2 [113 kB]
Get:200 http://172.17.0.1/private stretch-staging/main armhf libenchant-dev armhf 1.6.0-11+b1 [55.6 kB]
Get:201 http://172.17.0.1/private stretch-staging/main armhf libgtkspell-dev armhf 2.0.16-1.1 [28.9 kB]
Get:202 http://172.17.0.1/private stretch-staging/main armhf liblablgtk2-ocaml-dev armhf 2.18.3+dfsg-1+b1 [1477 kB]
Get:203 http://172.17.0.1/private stretch-staging/main armhf libgtksourceview2.0-dev armhf 2.10.5-2 [189 kB]
Get:204 http://172.17.0.1/private stretch-staging/main armhf liblablgtksourceview2-ocaml-dev armhf 2.18.3+dfsg-1+b1 [140 kB]
Get:205 http://172.17.0.1/private stretch-staging/main armhf libcoq-ocaml-dev armhf 8.5-2+b1 [13.8 MB]
Get:206 http://172.17.0.1/private stretch-staging/main armhf dh-ocaml all 1.0.10 [83.7 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 155 MB in 14s (10.4 MB/s)
Selecting previously unselected package groff-base.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 13653 files and directories currently installed.)
Preparing to unpack .../groff-base_1.22.3-7_armhf.deb ...
Unpacking groff-base (1.22.3-7) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../libbsd0_0.8.3-1_armhf.deb ...
Unpacking libbsd0:armhf (0.8.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.10_armhf.deb ...
Unpacking bsdmainutils (9.0.10) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../libpipeline1_1.4.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.5-1_armhf.deb ...
Unpacking man-db (2.7.5-1) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../libpython2.7-minimal_2.7.11-9_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.11-9) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../python2.7-minimal_2.7.11-9_armhf.deb ...
Unpacking python2.7-minimal (2.7.11-9) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../python-minimal_2.7.11-1_armhf.deb ...
Unpacking python-minimal (2.7.11-1) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.60_all.deb ...
Unpacking mime-support (3.60) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../libexpat1_2.1.1-2_armhf.deb ...
Unpacking libexpat1:armhf (2.1.1-2) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../libffi6_3.2.1-4_armhf.deb ...
Unpacking libffi6:armhf (3.2.1-4) ...
Selecting previously unselected package libsqlite3-0:armhf.
Preparing to unpack .../libsqlite3-0_3.13.0-1_armhf.deb ...
Unpacking libsqlite3-0:armhf (3.13.0-1) ...
Selecting previously unselected package libssl1.0.2:armhf.
Preparing to unpack .../libssl1.0.2_1.0.2h-1_armhf.deb ...
Unpacking libssl1.0.2:armhf (1.0.2h-1) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../libpython2.7-stdlib_2.7.11-9_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.11-9) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.11-9_armhf.deb ...
Unpacking python2.7 (2.7.11-9) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../libpython-stdlib_2.7.11-1_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.11-1) ...
Processing triggers for libc-bin (2.22-7) ...
Setting up libpython2.7-minimal:armhf (2.7.11-9) ...
Setting up python2.7-minimal (2.7.11-9) ...
Setting up python-minimal (2.7.11-1) ...
Selecting previously unselected package python.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 15022 files and directories currently installed.)
Preparing to unpack .../python_2.7.11-1_armhf.deb ...
Unpacking python (2.7.11-1) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../libfreetype6_2.6.3-3_armhf.deb ...
Unpacking libfreetype6:armhf (2.6.3-3) ...
Selecting previously unselected package ucf.
Preparing to unpack .../archives/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 .../fonts-dejavu-core_2.35-1_all.deb ...
Unpacking fonts-dejavu-core (2.35-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../fontconfig-config_2.11.0-6.4_all.deb ...
Unpacking fontconfig-config (2.11.0-6.4) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../libfontconfig1_2.11.0-6.4_armhf.deb ...
Unpacking libfontconfig1:armhf (2.11.0-6.4) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../fontconfig_2.11.0-6.4_armhf.deb ...
Unpacking fontconfig (2.11.0-6.4) ...
Selecting previously unselected package libaspell15:armhf.
Preparing to unpack .../libaspell15_0.60.7~20110707-3_armhf.deb ...
Unpacking libaspell15:armhf (0.60.7~20110707-3) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../libglib2.0-0_2.48.1-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.48.1-1) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../libatk1.0-data_2.20.0-1_all.deb ...
Unpacking libatk1.0-data (2.20.0-1) ...
Selecting previously unselected package libatk1.0-0:armhf.
Preparing to unpack .../libatk1.0-0_2.20.0-1_armhf.deb ...
Unpacking libatk1.0-0:armhf (2.20.0-1) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../libpixman-1-0_0.33.6-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.33.6-1) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../libxau6_1%3a1.0.8-1_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.8-1) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../libxdmcp6_1%3a1.1.2-1.1_armhf.deb ...
Unpacking libxdmcp6:armhf (1:1.1.2-1.1) ...
Selecting previously unselected package libxcb1:armhf.
Preparing to unpack .../libxcb1_1.11.1-1_armhf.deb ...
Unpacking libxcb1:armhf (1.11.1-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../libx11-data_2%3a1.6.3-1_all.deb ...
Unpacking libx11-data (2:1.6.3-1) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../libx11-6_2%3a1.6.3-1_armhf.deb ...
Unpacking libx11-6:armhf (2:1.6.3-1) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../libxcb-render0_1.11.1-1_armhf.deb ...
Unpacking libxcb-render0:armhf (1.11.1-1) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../libxcb-shm0_1.11.1-1_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.11.1-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../libxext6_2%3a1.3.3-1_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.3-1) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../libxrender1_1%3a0.9.9-2_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.9-2) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../libcairo2_1.14.6-1_armhf.deb ...
Unpacking libcairo2:armhf (1.14.6-1) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../libjpeg62-turbo_1%3a1.4.2-2_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:1.4.2-2) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../libpng16-16_1.6.21-5_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.21-5) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../libjbig0_2.1-3.1_armhf.deb ...
Unpacking libjbig0:armhf (2.1-3.1) ...
Selecting previously unselected package libtiff5:armhf.
Preparing to unpack .../libtiff5_4.0.6-1_armhf.deb ...
Unpacking libtiff5:armhf (4.0.6-1) ...
Selecting previously unselected package libicu55:armhf.
Preparing to unpack .../libicu55_55.1-7_armhf.deb ...
Unpacking libicu55:armhf (55.1-7) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.3+dfsg1-1_armhf.deb ...
Unpacking libxml2:armhf (2.9.3+dfsg1-1) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../shared-mime-info_1.6-1_armhf.deb ...
Unpacking shared-mime-info (1.6-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../libgdk-pixbuf2.0-common_2.34.0-1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.34.0-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:armhf.
Preparing to unpack .../libgdk-pixbuf2.0-0_2.34.0-1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-0:armhf (2.34.0-1) ...
Selecting previously unselected package libgtk2.0-common.
Preparing to unpack .../libgtk2.0-common_2.24.30-2_all.deb ...
Unpacking libgtk2.0-common (2.24.30-2) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../libavahi-common-data_0.6.32~rc+dfsg-1_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.6.32~rc+dfsg-1) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../libavahi-common3_0.6.32~rc+dfsg-1_armhf.deb ...
Unpacking libavahi-common3:armhf (0.6.32~rc+dfsg-1) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../libavahi-client3_0.6.32~rc+dfsg-1_armhf.deb ...
Unpacking libavahi-client3:armhf (0.6.32~rc+dfsg-1) ...
Selecting previously unselected package libnettle6:armhf.
Preparing to unpack .../libnettle6_3.2-1_armhf.deb ...
Unpacking libnettle6:armhf (3.2-1) ...
Selecting previously unselected package libhogweed4:armhf.
Preparing to unpack .../libhogweed4_3.2-1_armhf.deb ...
Unpacking libhogweed4:armhf (3.2-1) ...
Selecting previously unselected package libidn11:armhf.
Preparing to unpack .../libidn11_1.32-3_armhf.deb ...
Unpacking libidn11:armhf (1.32-3) ...
Selecting previously unselected package libp11-kit0:armhf.
Preparing to unpack .../libp11-kit0_0.23.2-3_armhf.deb ...
Unpacking libp11-kit0:armhf (0.23.2-3) ...
Selecting previously unselected package libtasn1-6:armhf.
Preparing to unpack .../libtasn1-6_4.8-1_armhf.deb ...
Unpacking libtasn1-6:armhf (4.8-1) ...
Selecting previously unselected package libgnutls30:armhf.
Preparing to unpack .../libgnutls30_3.4.12-2_armhf.deb ...
Unpacking libgnutls30:armhf (3.4.12-2) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../libkeyutils1_1.5.9-9_armhf.deb ...
Unpacking libkeyutils1:armhf (1.5.9-9) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../libkrb5support0_1.13.2+dfsg-5_armhf.deb ...
Unpacking libkrb5support0:armhf (1.13.2+dfsg-5) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../libk5crypto3_1.13.2+dfsg-5_armhf.deb ...
Unpacking libk5crypto3:armhf (1.13.2+dfsg-5) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../libkrb5-3_1.13.2+dfsg-5_armhf.deb ...
Unpacking libkrb5-3:armhf (1.13.2+dfsg-5) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../libgssapi-krb5-2_1.13.2+dfsg-5_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.13.2+dfsg-5) ...
Selecting previously unselected package libcups2:armhf.
Preparing to unpack .../libcups2_2.1.3-5_armhf.deb ...
Unpacking libcups2:armhf (2.1.3-5) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../libthai-data_0.1.24-2_all.deb ...
Unpacking libthai-data (0.1.24-2) ...
Selecting previously unselected package libdatrie1:armhf.
Preparing to unpack .../libdatrie1_0.2.10-2_armhf.deb ...
Unpacking libdatrie1:armhf (0.2.10-2) ...
Selecting previously unselected package libthai0:armhf.
Preparing to unpack .../libthai0_0.1.24-2_armhf.deb ...
Unpacking libthai0:armhf (0.1.24-2) ...
Selecting previously unselected package libpango-1.0-0:armhf.
Preparing to unpack .../libpango-1.0-0_1.40.1-1_armhf.deb ...
Unpacking libpango-1.0-0:armhf (1.40.1-1) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../libgraphite2-3_1.3.8-1_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.8-1) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../libharfbuzz0b_1.2.6-2_armhf.deb ...
Unpacking libharfbuzz0b:armhf (1.2.6-2) ...
Selecting previously unselected package libpangoft2-1.0-0:armhf.
Preparing to unpack .../libpangoft2-1.0-0_1.40.1-1_armhf.deb ...
Unpacking libpangoft2-1.0-0:armhf (1.40.1-1) ...
Selecting previously unselected package libpangocairo-1.0-0:armhf.
Preparing to unpack .../libpangocairo-1.0-0_1.40.1-1_armhf.deb ...
Unpacking libpangocairo-1.0-0:armhf (1.40.1-1) ...
Selecting previously unselected package libxcomposite1:armhf.
Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_armhf.deb ...
Unpacking libxcomposite1:armhf (1:0.4.4-1) ...
Selecting previously unselected package libxfixes3:armhf.
Preparing to unpack .../libxfixes3_1%3a5.0.1-2+b2_armhf.deb ...
Unpacking libxfixes3:armhf (1:5.0.1-2+b2) ...
Selecting previously unselected package libxcursor1:armhf.
Preparing to unpack .../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 .../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 .../libxi6_2%3a1.7.6-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.7.6-1) ...
Selecting previously unselected package libxinerama1:armhf.
Preparing to unpack .../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 .../libxrandr2_2%3a1.5.0-1_armhf.deb ...
Unpacking libxrandr2:armhf (2:1.5.0-1) ...
Selecting previously unselected package libgtk2.0-0:armhf.
Preparing to unpack .../libgtk2.0-0_2.24.30-2_armhf.deb ...
Unpacking libgtk2.0-0:armhf (2.24.30-2) ...
Selecting previously unselected package libglade2-0:armhf.
Preparing to unpack .../libglade2-0_1%3a2.6.4-2_armhf.deb ...
Unpacking libglade2-0:armhf (1:2.6.4-2) ...
Selecting previously unselected package liblzo2-2:armhf.
Preparing to unpack .../liblzo2-2_2.08-1.2_armhf.deb ...
Unpacking liblzo2-2:armhf (2.08-1.2) ...
Selecting previously unselected package libpcrecpp0v5:armhf.
Preparing to unpack .../libpcrecpp0v5_2%3a8.38-3.1_armhf.deb ...
Unpacking libpcrecpp0v5:armhf (2:8.38-3.1) ...
Selecting previously unselected package libxft2:armhf.
Preparing to unpack .../libxft2_2.3.2-1_armhf.deb ...
Unpacking libxft2:armhf (2.3.2-1) ...
Selecting previously unselected package libtext-iconv-perl.
Preparing to unpack .../libtext-iconv-perl_1.7-5+b7_armhf.deb ...
Unpacking libtext-iconv-perl (1.7-5+b7) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../libmagic1_1%3a5.25-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.25-2) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.25-2_armhf.deb ...
Unpacking file (1:5.25-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.7-2_armhf.deb ...
Unpacking gettext-base (0.19.7-2) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../libsigsegv2_2.10-5_armhf.deb ...
Unpacking libsigsegv2:armhf (2.10-5) ...
Selecting previously unselected package m4.
Preparing to unpack .../archives/m4_1.4.17-5_armhf.deb ...
Unpacking m4 (1.4.17-5) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../emacsen-common_2.0.8_all.deb ...
Unpacking emacsen-common (2.0.8) ...
Selecting previously unselected package dictionaries-common.
Preparing to unpack .../dictionaries-common_1.27.0_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.0) ...
Selecting previously unselected package aspell.
Preparing to unpack .../aspell_0.60.7~20110707-3_armhf.deb ...
Unpacking aspell (0.60.7~20110707-3) ...
Selecting previously unselected package aspell-en.
Preparing to unpack .../aspell-en_7.1-0-1.1_all.deb ...
Unpacking aspell-en (7.1-0-1.1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.69-10_all.deb ...
Unpacking autoconf (2.69-10) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20160430.1_all.deb ...
Unpacking autotools-dev (20160430.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../automake_1%3a1.15-4_all.deb ...
Unpacking automake (1:1.15-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../autopoint_0.19.7-2_all.deb ...
Unpacking autopoint (0.19.7-2) ...
Selecting previously unselected package coq-theories.
Preparing to unpack .../coq-theories_8.5-2+b1_armhf.deb ...
Unpacking coq-theories (8.5-2+b1) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../ocaml-base-nox_4.02.3-6+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.02.3-6+rpi1) ...
Selecting previously unselected package libhunspell-1.4-0:armhf.
Preparing to unpack .../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 .../libenchant1c2a_1.6.0-11+b1_armhf.deb ...
Unpacking libenchant1c2a:armhf (1.6.0-11+b1) ...
Selecting previously unselected package libgtkspell0.
Preparing to unpack .../libgtkspell0_2.0.16-1.1_armhf.deb ...
Unpacking libgtkspell0 (2.0.16-1.1) ...
Selecting previously unselected package liblablgtk2-ocaml.
Preparing to unpack .../liblablgtk2-ocaml_2.18.3+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtk2-ocaml (2.18.3+dfsg-1+b1) ...
Selecting previously unselected package libgtksourceview2.0-common.
Preparing to unpack .../libgtksourceview2.0-common_2.10.5-2_all.deb ...
Unpacking libgtksourceview2.0-common (2.10.5-2) ...
Selecting previously unselected package libgtksourceview2.0-0.
Preparing to unpack .../libgtksourceview2.0-0_2.10.5-2_armhf.deb ...
Unpacking libgtksourceview2.0-0 (2.10.5-2) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Preparing to unpack .../liblablgtksourceview2-ocaml_2.18.3+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-1+b1) ...
Selecting previously unselected package libcoq-ocaml.
Preparing to unpack .../libcoq-ocaml_8.5-2+b1_armhf.deb ...
Unpacking libcoq-ocaml (8.5-2+b1) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../libtinfo-dev_6.0+20160319-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20160319-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../libncurses5-dev_6.0+20160319-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.0+20160319-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../ocaml-compiler-libs_4.02.3-6+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.02.3-6+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../ocaml-interp_4.02.3-6+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.02.3-6+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../ocaml-nox_4.02.3-6+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.02.3-6+rpi1) ...
Selecting previously unselected package ocaml-native-compilers.
Preparing to unpack .../ocaml-native-compilers_4.02.3-6+rpi1_armhf.deb ...
Unpacking ocaml-native-compilers (4.02.3-6+rpi1) ...
Selecting previously unselected package coq.
Preparing to unpack .../coq_8.5-2+b1_armhf.deb ...
Unpacking coq (8.5-2+b1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../libcroco3_0.6.11-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.11-1) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../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 .../gettext_0.19.7-2_armhf.deb ...
Unpacking gettext (0.19.7-2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../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 .../po-debconf_1.0.19_all.deb ...
Unpacking po-debconf (1.0.19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../libarchive-zip-perl_1.57-1_all.deb ...
Unpacking libarchive-zip-perl (1.57-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../libfile-stripnondeterminism-perl_0.018-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.018-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../dh-strip-nondeterminism_0.018-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.018-1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../libtool_2.4.6-0.1_all.deb ...
Unpacking libtool (2.4.6-0.1) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../dh-autoreconf_12_all.deb ...
Unpacking dh-autoreconf (12) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20160403_all.deb ...
Unpacking debhelper (9.20160403) ...
Selecting previously unselected package libgirepository-1.0-1:armhf.
Preparing to unpack .../libgirepository-1.0-1_1.48.0-2_armhf.deb ...
Unpacking libgirepository-1.0-1:armhf (1.48.0-2) ...
Selecting previously unselected package gir1.2-glib-2.0:armhf.
Preparing to unpack .../gir1.2-glib-2.0_1.48.0-2_armhf.deb ...
Unpacking gir1.2-glib-2.0:armhf (1.48.0-2) ...
Selecting previously unselected package gir1.2-atk-1.0.
Preparing to unpack .../gir1.2-atk-1.0_2.20.0-1_armhf.deb ...
Unpacking gir1.2-atk-1.0 (2.20.0-1) ...
Selecting previously unselected package libcairo-gobject2:armhf.
Preparing to unpack .../libcairo-gobject2_1.14.6-1_armhf.deb ...
Unpacking libcairo-gobject2:armhf (1.14.6-1) ...
Selecting previously unselected package gir1.2-freedesktop:armhf.
Preparing to unpack .../gir1.2-freedesktop_1.48.0-2_armhf.deb ...
Unpacking gir1.2-freedesktop:armhf (1.48.0-2) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0:armhf.
Preparing to unpack .../gir1.2-gdkpixbuf-2.0_2.34.0-1_armhf.deb ...
Unpacking gir1.2-gdkpixbuf-2.0:armhf (2.34.0-1) ...
Selecting previously unselected package libpangoxft-1.0-0:armhf.
Preparing to unpack .../libpangoxft-1.0-0_1.40.1-1_armhf.deb ...
Unpacking libpangoxft-1.0-0:armhf (1.40.1-1) ...
Selecting previously unselected package gir1.2-pango-1.0:armhf.
Preparing to unpack .../gir1.2-pango-1.0_1.40.1-1_armhf.deb ...
Unpacking gir1.2-pango-1.0:armhf (1.40.1-1) ...
Selecting previously unselected package gir1.2-gtk-2.0.
Preparing to unpack .../gir1.2-gtk-2.0_2.24.30-2_armhf.deb ...
Unpacking gir1.2-gtk-2.0 (2.24.30-2) ...
Selecting previously unselected package icu-devtools.
Preparing to unpack .../icu-devtools_55.1-7_armhf.deb ...
Unpacking icu-devtools (55.1-7) ...
Selecting previously unselected package pkg-config.
Preparing to unpack .../pkg-config_0.29-4_armhf.deb ...
Unpacking pkg-config (0.29-4) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../libelf1_0.163-5.1_armhf.deb ...
Unpacking libelf1:armhf (0.163-5.1) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../libglib2.0-data_2.48.1-1_all.deb ...
Unpacking libglib2.0-data (2.48.1-1) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../libglib2.0-bin_2.48.1-1_armhf.deb ...
Unpacking libglib2.0-bin (2.48.1-1) ...
Selecting previously unselected package libpcre16-3:armhf.
Preparing to unpack .../libpcre16-3_2%3a8.38-3.1_armhf.deb ...
Unpacking libpcre16-3:armhf (2:8.38-3.1) ...
Selecting previously unselected package libpcre32-3:armhf.
Preparing to unpack .../libpcre32-3_2%3a8.38-3.1_armhf.deb ...
Unpacking libpcre32-3:armhf (2:8.38-3.1) ...
Selecting previously unselected package libpcre3-dev:armhf.
Preparing to unpack .../libpcre3-dev_2%3a8.38-3.1_armhf.deb ...
Unpacking libpcre3-dev:armhf (2:8.38-3.1) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-2+b1_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.8.dfsg-2+b1) ...
Selecting previously unselected package libglib2.0-dev.
Preparing to unpack .../libglib2.0-dev_2.48.1-1_armhf.deb ...
Unpacking libglib2.0-dev (2.48.1-1) ...
Selecting previously unselected package libatk1.0-dev.
Preparing to unpack .../libatk1.0-dev_2.20.0-1_armhf.deb ...
Unpacking libatk1.0-dev (2.20.0-1) ...
Selecting previously unselected package libcairo-script-interpreter2:armhf.
Preparing to unpack .../libcairo-script-interpreter2_1.14.6-1_armhf.deb ...
Unpacking libcairo-script-interpreter2:armhf (1.14.6-1) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../libexpat1-dev_2.1.1-2_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.1.1-2) ...
Selecting previously unselected package libpng-dev:armhf.
Preparing to unpack .../libpng-dev_1.6.21-5_armhf.deb ...
Unpacking libpng-dev:armhf (1.6.21-5) ...
Selecting previously unselected package libfreetype6-dev.
Preparing to unpack .../libfreetype6-dev_2.6.3-3_armhf.deb ...
Unpacking libfreetype6-dev (2.6.3-3) ...
Selecting previously unselected package libfontconfig1-dev:armhf.
Preparing to unpack .../libfontconfig1-dev_2.11.0-6.4_armhf.deb ...
Unpacking libfontconfig1-dev:armhf (2.11.0-6.4) ...
Selecting previously unselected package xorg-sgml-doctools.
Preparing to unpack .../xorg-sgml-doctools_1%3a1.11-1_all.deb ...
Unpacking xorg-sgml-doctools (1:1.11-1) ...
Selecting previously unselected package x11proto-core-dev.
Preparing to unpack .../x11proto-core-dev_7.0.29-1_all.deb ...
Unpacking x11proto-core-dev (7.0.29-1) ...
Selecting previously unselected package libxau-dev:armhf.
Preparing to unpack .../libxau-dev_1%3a1.0.8-1_armhf.deb ...
Unpacking libxau-dev:armhf (1:1.0.8-1) ...
Selecting previously unselected package libxdmcp-dev:armhf.
Preparing to unpack .../libxdmcp-dev_1%3a1.1.2-1.1_armhf.deb ...
Unpacking libxdmcp-dev:armhf (1:1.1.2-1.1) ...
Selecting previously unselected package x11proto-input-dev.
Preparing to unpack .../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 .../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 .../xtrans-dev_1.3.5-1_all.deb ...
Unpacking xtrans-dev (1.3.5-1) ...
Selecting previously unselected package libpthread-stubs0-dev:armhf.
Preparing to unpack .../libpthread-stubs0-dev_0.3-4_armhf.deb ...
Unpacking libpthread-stubs0-dev:armhf (0.3-4) ...
Selecting previously unselected package libxcb1-dev:armhf.
Preparing to unpack .../libxcb1-dev_1.11.1-1_armhf.deb ...
Unpacking libxcb1-dev:armhf (1.11.1-1) ...
Selecting previously unselected package libx11-dev:armhf.
Preparing to unpack .../libx11-dev_2%3a1.6.3-1_armhf.deb ...
Unpacking libx11-dev:armhf (2:1.6.3-1) ...
Selecting previously unselected package x11proto-render-dev.
Preparing to unpack .../x11proto-render-dev_2%3a0.11.1-2_all.deb ...
Unpacking x11proto-render-dev (2:0.11.1-2) ...
Selecting previously unselected package libxrender-dev:armhf.
Preparing to unpack .../libxrender-dev_1%3a0.9.9-2_armhf.deb ...
Unpacking libxrender-dev:armhf (1:0.9.9-2) ...
Selecting previously unselected package x11proto-xext-dev.
Preparing to unpack .../x11proto-xext-dev_7.3.0-1_all.deb ...
Unpacking x11proto-xext-dev (7.3.0-1) ...
Selecting previously unselected package libxext-dev:armhf.
Preparing to unpack .../libxext-dev_2%3a1.3.3-1_armhf.deb ...
Unpacking libxext-dev:armhf (2:1.3.3-1) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../x11-common_1%3a7.7+15_all.deb ...
Unpacking x11-common (1:7.7+15) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../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 .../libsm6_2%3a1.2.2-1+b1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.2-1+b1) ...
Selecting previously unselected package libice-dev:armhf.
Preparing to unpack .../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 .../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 .../libpixman-1-dev_0.33.6-1_armhf.deb ...
Unpacking libpixman-1-dev (0.33.6-1) ...
Selecting previously unselected package libxcb-render0-dev:armhf.
Preparing to unpack .../libxcb-render0-dev_1.11.1-1_armhf.deb ...
Unpacking libxcb-render0-dev:armhf (1.11.1-1) ...
Selecting previously unselected package libxcb-shm0-dev:armhf.
Preparing to unpack .../libxcb-shm0-dev_1.11.1-1_armhf.deb ...
Unpacking libxcb-shm0-dev:armhf (1.11.1-1) ...
Selecting previously unselected package libcairo2-dev.
Preparing to unpack .../libcairo2-dev_1.14.6-1_armhf.deb ...
Unpacking libcairo2-dev (1.14.6-1) ...
Selecting previously unselected package camlp5.
Preparing to unpack .../camlp5_6.14-2_armhf.deb ...
Unpacking camlp5 (6.14-2) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev.
Preparing to unpack .../libgdk-pixbuf2.0-dev_2.34.0-1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-dev (2.34.0-1) ...
Selecting previously unselected package libharfbuzz-icu0:armhf.
Preparing to unpack .../libharfbuzz-icu0_1.2.6-2_armhf.deb ...
Unpacking libharfbuzz-icu0:armhf (1.2.6-2) ...
Selecting previously unselected package libharfbuzz-gobject0:armhf.
Preparing to unpack .../libharfbuzz-gobject0_1.2.6-2_armhf.deb ...
Unpacking libharfbuzz-gobject0:armhf (1.2.6-2) ...
Selecting previously unselected package libgraphite2-dev.
Preparing to unpack .../libgraphite2-dev_1.3.8-1_armhf.deb ...
Unpacking libgraphite2-dev (1.3.8-1) ...
Selecting previously unselected package libicu-dev:armhf.
Preparing to unpack .../libicu-dev_55.1-7_armhf.deb ...
Unpacking libicu-dev:armhf (55.1-7) ...
Selecting previously unselected package libharfbuzz-dev:armhf.
Preparing to unpack .../libharfbuzz-dev_1.2.6-2_armhf.deb ...
Unpacking libharfbuzz-dev:armhf (1.2.6-2) ...
Selecting previously unselected package libxft-dev.
Preparing to unpack .../libxft-dev_2.3.2-1_armhf.deb ...
Unpacking libxft-dev (2.3.2-1) ...
Selecting previously unselected package libpango1.0-dev.
Preparing to unpack .../libpango1.0-dev_1.40.1-1_armhf.deb ...
Unpacking libpango1.0-dev (1.40.1-1) ...
Selecting previously unselected package x11proto-xinerama-dev.
Preparing to unpack .../x11proto-xinerama-dev_1.2.1-2_all.deb ...
Unpacking x11proto-xinerama-dev (1.2.1-2) ...
Selecting previously unselected package libxinerama-dev:armhf.
Preparing to unpack .../libxinerama-dev_2%3a1.1.3-1+b1_armhf.deb ...
Unpacking libxinerama-dev:armhf (2:1.1.3-1+b1) ...
Selecting previously unselected package x11proto-fixes-dev.
Preparing to unpack .../x11proto-fixes-dev_1%3a5.0-2_all.deb ...
Unpacking x11proto-fixes-dev (1:5.0-2) ...
Selecting previously unselected package libxfixes-dev:armhf.
Preparing to unpack .../libxfixes-dev_1%3a5.0.1-2+b2_armhf.deb ...
Unpacking libxfixes-dev:armhf (1:5.0.1-2+b2) ...
Selecting previously unselected package libxi-dev.
Preparing to unpack .../libxi-dev_2%3a1.7.6-1_armhf.deb ...
Unpacking libxi-dev (2:1.7.6-1) ...
Selecting previously unselected package x11proto-randr-dev.
Preparing to unpack .../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 .../libxrandr-dev_2%3a1.5.0-1_armhf.deb ...
Unpacking libxrandr-dev:armhf (2:1.5.0-1) ...
Selecting previously unselected package libxcursor-dev:armhf.
Preparing to unpack .../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 .../x11proto-composite-dev_1%3a0.4.2-2_all.deb ...
Unpacking x11proto-composite-dev (1:0.4.2-2) ...
Selecting previously unselected package libxcomposite-dev.
Preparing to unpack .../libxcomposite-dev_1%3a0.4.4-1_armhf.deb ...
Unpacking libxcomposite-dev (1:0.4.4-1) ...
Selecting previously unselected package x11proto-damage-dev.
Preparing to unpack .../x11proto-damage-dev_1%3a1.2.1-2_all.deb ...
Unpacking x11proto-damage-dev (1:1.2.1-2) ...
Selecting previously unselected package libxdamage-dev:armhf.
Preparing to unpack .../libxdamage-dev_1%3a1.1.4-2+b1_armhf.deb ...
Unpacking libxdamage-dev:armhf (1:1.1.4-2+b1) ...
Selecting previously unselected package libxml2-utils.
Preparing to unpack .../libxml2-utils_2.9.3+dfsg1-1_armhf.deb ...
Unpacking libxml2-utils (2.9.3+dfsg1-1) ...
Selecting previously unselected package libgtk2.0-dev.
Preparing to unpack .../libgtk2.0-dev_2.24.30-2_armhf.deb ...
Unpacking libgtk2.0-dev (2.24.30-2) ...
Selecting previously unselected package libxml2-dev:armhf.
Preparing to unpack .../libxml2-dev_2.9.3+dfsg1-1_armhf.deb ...
Unpacking libxml2-dev:armhf (2.9.3+dfsg1-1) ...
Selecting previously unselected package libglade2-dev:armhf.
Preparing to unpack .../libglade2-dev_1%3a2.6.4-2_armhf.deb ...
Unpacking libglade2-dev:armhf (1:2.6.4-2) ...
Selecting previously unselected package libenchant-dev.
Preparing to unpack .../libenchant-dev_1.6.0-11+b1_armhf.deb ...
Unpacking libenchant-dev (1.6.0-11+b1) ...
Selecting previously unselected package libgtkspell-dev.
Preparing to unpack .../libgtkspell-dev_2.0.16-1.1_armhf.deb ...
Unpacking libgtkspell-dev (2.0.16-1.1) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Preparing to unpack .../liblablgtk2-ocaml-dev_2.18.3+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtk2-ocaml-dev (2.18.3+dfsg-1+b1) ...
Selecting previously unselected package libgtksourceview2.0-dev.
Preparing to unpack .../libgtksourceview2.0-dev_2.10.5-2_armhf.deb ...
Unpacking libgtksourceview2.0-dev (2.10.5-2) ...
Selecting previously unselected package liblablgtksourceview2-ocaml-dev.
Preparing to unpack .../liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-1+b1) ...
Selecting previously unselected package libcoq-ocaml-dev.
Preparing to unpack .../libcoq-ocaml-dev_8.5-2+b1_armhf.deb ...
Unpacking libcoq-ocaml-dev (8.5-2+b1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../dh-ocaml_1.0.10_all.deb ...
Unpacking dh-ocaml (1.0.10) ...
Selecting previously unselected package sbuild-build-depends-aac-tactics-dummy.
Preparing to unpack .../sbuild-build-depends-aac-tactics-dummy.deb ...
Unpacking sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.22-7) ...
Processing triggers for systemd (229-5) ...
Setting up groff-base (1.22.3-7) ...
Setting up libbsd0:armhf (0.8.3-1) ...
Setting up bsdmainutils (9.0.10) ...
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 libpipeline1:armhf (1.4.1-2) ...
Setting up man-db (2.7.5-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up mime-support (3.60) ...
Setting up libexpat1:armhf (2.1.1-2) ...
Setting up libffi6:armhf (3.2.1-4) ...
Setting up libsqlite3-0:armhf (3.13.0-1) ...
Setting up libssl1.0.2:armhf (1.0.2h-1) ...
Setting up libpython2.7-stdlib:armhf (2.7.11-9) ...
Setting up python2.7 (2.7.11-9) ...
Setting up libpython-stdlib:armhf (2.7.11-1) ...
Setting up python (2.7.11-1) ...
Setting up libfreetype6:armhf (2.6.3-3) ...
Setting up ucf (3.0036) ...
Setting up fonts-dejavu-core (2.35-1) ...
Setting up fontconfig-config (2.11.0-6.4) ...
Setting up libfontconfig1:armhf (2.11.0-6.4) ...
Setting up fontconfig (2.11.0-6.4) ...
Regenerating fonts cache... done.
Setting up libaspell15:armhf (0.60.7~20110707-3) ...
Setting up libglib2.0-0:armhf (2.48.1-1) ...
No schema files found: doing nothing.
Setting up libatk1.0-data (2.20.0-1) ...
Setting up libatk1.0-0:armhf (2.20.0-1) ...
Setting up libpixman-1-0:armhf (0.33.6-1) ...
Setting up libxau6:armhf (1:1.0.8-1) ...
Setting up libxdmcp6:armhf (1:1.1.2-1.1) ...
Setting up libxcb1:armhf (1.11.1-1) ...
Setting up libx11-data (2:1.6.3-1) ...
Setting up libx11-6:armhf (2:1.6.3-1) ...
Setting up libxcb-render0:armhf (1.11.1-1) ...
Setting up libxcb-shm0:armhf (1.11.1-1) ...
Setting up libxext6:armhf (2:1.3.3-1) ...
Setting up libxrender1:armhf (1:0.9.9-2) ...
Setting up libcairo2:armhf (1.14.6-1) ...
Setting up libjpeg62-turbo:armhf (1:1.4.2-2) ...
Setting up libpng16-16:armhf (1.6.21-5) ...
Setting up libjbig0:armhf (2.1-3.1) ...
Setting up libtiff5:armhf (4.0.6-1) ...
Setting up libicu55:armhf (55.1-7) ...
Setting up libxml2:armhf (2.9.3+dfsg1-1) ...
Setting up shared-mime-info (1.6-1) ...
Setting up libgdk-pixbuf2.0-common (2.34.0-1) ...
Setting up libgdk-pixbuf2.0-0:armhf (2.34.0-1) ...
Setting up libgtk2.0-common (2.24.30-2) ...
Setting up libavahi-common-data:armhf (0.6.32~rc+dfsg-1) ...
Setting up libavahi-common3:armhf (0.6.32~rc+dfsg-1) ...
Setting up libavahi-client3:armhf (0.6.32~rc+dfsg-1) ...
Setting up libnettle6:armhf (3.2-1) ...
Setting up libhogweed4:armhf (3.2-1) ...
Setting up libidn11:armhf (1.32-3) ...
Setting up libp11-kit0:armhf (0.23.2-3) ...
Setting up libtasn1-6:armhf (4.8-1) ...
Setting up libgnutls30:armhf (3.4.12-2) ...
Setting up libkeyutils1:armhf (1.5.9-9) ...
Setting up libkrb5support0:armhf (1.13.2+dfsg-5) ...
Setting up libk5crypto3:armhf (1.13.2+dfsg-5) ...
Setting up libkrb5-3:armhf (1.13.2+dfsg-5) ...
Setting up libgssapi-krb5-2:armhf (1.13.2+dfsg-5) ...
Setting up libcups2:armhf (2.1.3-5) ...
Setting up libthai-data (0.1.24-2) ...
Setting up libdatrie1:armhf (0.2.10-2) ...
Setting up libthai0:armhf (0.1.24-2) ...
Setting up libpango-1.0-0:armhf (1.40.1-1) ...
Setting up libgraphite2-3:armhf (1.3.8-1) ...
Setting up libharfbuzz0b:armhf (1.2.6-2) ...
Setting up libpangoft2-1.0-0:armhf (1.40.1-1) ...
Setting up libpangocairo-1.0-0:armhf (1.40.1-1) ...
Setting up libxcomposite1:armhf (1:0.4.4-1) ...
Setting up libxfixes3:armhf (1:5.0.1-2+b2) ...
Setting up libxcursor1:armhf (1:1.1.14-1+b1) ...
Setting up libxdamage1:armhf (1:1.1.4-2+b1) ...
Setting up libxi6:armhf (2:1.7.6-1) ...
Setting up libxinerama1:armhf (2:1.1.3-1+b1) ...
Setting up libxrandr2:armhf (2:1.5.0-1) ...
Setting up libgtk2.0-0:armhf (2.24.30-2) ...
Setting up libglade2-0:armhf (1:2.6.4-2) ...
Setting up liblzo2-2:armhf (2.08-1.2) ...
Setting up libpcrecpp0v5:armhf (2:8.38-3.1) ...
Setting up libxft2:armhf (2.3.2-1) ...
Setting up libtext-iconv-perl (1.7-5+b7) ...
Setting up libmagic1:armhf (1:5.25-2) ...
Setting up file (1:5.25-2) ...
Setting up gettext-base (0.19.7-2) ...
Setting up libsigsegv2:armhf (2.10-5) ...
Setting up m4 (1.4.17-5) ...
Setting up emacsen-common (2.0.8) ...
Setting up dictionaries-common (1.27.0) ...
Setting up aspell (0.60.7~20110707-3) ...
Setting up aspell-en (7.1-0-1.1) ...
Setting up autoconf (2.69-10) ...
Setting up autotools-dev (20160430.1) ...
Setting up automake (1:1.15-4) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up autopoint (0.19.7-2) ...
Setting up ocaml-base-nox (4.02.3-6+rpi1) ...
Setting up libhunspell-1.4-0:armhf (1.4.1-2) ...
Setting up libenchant1c2a:armhf (1.6.0-11+b1) ...
Setting up libgtkspell0 (2.0.16-1.1) ...
Setting up liblablgtk2-ocaml (2.18.3+dfsg-1+b1) ...
Setting up libgtksourceview2.0-common (2.10.5-2) ...
Setting up libgtksourceview2.0-0 (2.10.5-2) ...
Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-1+b1) ...
Setting up libcoq-ocaml (8.5-2+b1) ...
Setting up libtinfo-dev:armhf (6.0+20160319-1) ...
Setting up libncurses5-dev:armhf (6.0+20160319-1) ...
Setting up libcroco3:armhf (0.6.11-1) ...
Setting up libunistring0:armhf (0.9.6+really0.9.3-0.1) ...
Setting up gettext (0.19.7-2) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up po-debconf (1.0.19) ...
Setting up libarchive-zip-perl (1.57-1) ...
Setting up libfile-stripnondeterminism-perl (0.018-1) ...
Setting up libtool (2.4.6-0.1) ...
Setting up libgirepository-1.0-1:armhf (1.48.0-2) ...
Setting up gir1.2-glib-2.0:armhf (1.48.0-2) ...
Setting up gir1.2-atk-1.0 (2.20.0-1) ...
Setting up libcairo-gobject2:armhf (1.14.6-1) ...
Setting up gir1.2-freedesktop:armhf (1.48.0-2) ...
Setting up gir1.2-gdkpixbuf-2.0:armhf (2.34.0-1) ...
Setting up libpangoxft-1.0-0:armhf (1.40.1-1) ...
Setting up gir1.2-pango-1.0:armhf (1.40.1-1) ...
Setting up gir1.2-gtk-2.0 (2.24.30-2) ...
Setting up icu-devtools (55.1-7) ...
Setting up pkg-config (0.29-4) ...
Setting up libelf1:armhf (0.163-5.1) ...
Setting up libglib2.0-data (2.48.1-1) ...
Setting up libglib2.0-bin (2.48.1-1) ...
Setting up libpcre16-3:armhf (2:8.38-3.1) ...
Setting up libpcre32-3:armhf (2:8.38-3.1) ...
Setting up libpcre3-dev:armhf (2:8.38-3.1) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-2+b1) ...
Setting up libglib2.0-dev (2.48.1-1) ...
Setting up libatk1.0-dev (2.20.0-1) ...
Setting up libcairo-script-interpreter2:armhf (1.14.6-1) ...
Setting up libexpat1-dev:armhf (2.1.1-2) ...
Setting up libpng-dev:armhf (1.6.21-5) ...
Setting up libfreetype6-dev (2.6.3-3) ...
Setting up libfontconfig1-dev:armhf (2.11.0-6.4) ...
Setting up xorg-sgml-doctools (1:1.11-1) ...
Setting up x11proto-core-dev (7.0.29-1) ...
Setting up libxau-dev:armhf (1:1.0.8-1) ...
Setting up libxdmcp-dev:armhf (1:1.1.2-1.1) ...
Setting up x11proto-input-dev (2.3.2-1) ...
Setting up x11proto-kb-dev (1.0.7-1) ...
Setting up xtrans-dev (1.3.5-1) ...
Setting up libpthread-stubs0-dev:armhf (0.3-4) ...
Setting up libxcb1-dev:armhf (1.11.1-1) ...
Setting up libx11-dev:armhf (2:1.6.3-1) ...
Setting up x11proto-render-dev (2:0.11.1-2) ...
Setting up libxrender-dev:armhf (1:0.9.9-2) ...
Setting up x11proto-xext-dev (7.3.0-1) ...
Setting up libxext-dev:armhf (2:1.3.3-1) ...
Setting up x11-common (1:7.7+15) ...
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 libice6:armhf (2:1.0.9-1+b1) ...
Setting up libsm6:armhf (2:1.2.2-1+b1) ...
Setting up libice-dev:armhf (2:1.0.9-1+b1) ...
Setting up libsm-dev:armhf (2:1.2.2-1+b1) ...
Setting up libpixman-1-dev (0.33.6-1) ...
Setting up libxcb-render0-dev:armhf (1.11.1-1) ...
Setting up libxcb-shm0-dev:armhf (1.11.1-1) ...
Setting up libcairo2-dev (1.14.6-1) ...
Setting up libgdk-pixbuf2.0-dev (2.34.0-1) ...
Setting up libharfbuzz-icu0:armhf (1.2.6-2) ...
Setting up libharfbuzz-gobject0:armhf (1.2.6-2) ...
Setting up libgraphite2-dev (1.3.8-1) ...
Setting up libicu-dev:armhf (55.1-7) ...
Setting up libharfbuzz-dev:armhf (1.2.6-2) ...
Setting up libxft-dev (2.3.2-1) ...
Setting up libpango1.0-dev (1.40.1-1) ...
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up libxinerama-dev:armhf (2:1.1.3-1+b1) ...
Setting up x11proto-fixes-dev (1:5.0-2) ...
Setting up libxfixes-dev:armhf (1:5.0.1-2+b2) ...
Setting up libxi-dev (2:1.7.6-1) ...
Setting up x11proto-randr-dev (1.5.0-1) ...
Setting up libxrandr-dev:armhf (2:1.5.0-1) ...
Setting up libxcursor-dev:armhf (1:1.1.14-1+b1) ...
Setting up x11proto-composite-dev (1:0.4.2-2) ...
Setting up libxcomposite-dev (1:0.4.4-1) ...
Setting up x11proto-damage-dev (1:1.2.1-2) ...
Setting up libxdamage-dev:armhf (1:1.1.4-2+b1) ...
Setting up libxml2-utils (2.9.3+dfsg1-1) ...
Setting up libgtk2.0-dev (2.24.30-2) ...
Setting up libxml2-dev:armhf (2.9.3+dfsg1-1) ...
Setting up libglade2-dev:armhf (1:2.6.4-2) ...
Setting up libenchant-dev (1.6.0-11+b1) ...
Setting up libgtkspell-dev (2.0.16-1.1) ...
Setting up libgtksourceview2.0-dev (2.10.5-2) ...
Setting up dh-ocaml (1.0.10) ...
Setting up ocaml-compiler-libs (4.02.3-6+rpi1) ...
Setting up coq-theories (8.5-2+b1) ...
Setting up dh-autoreconf (12) ...
Setting up ocaml-interp (4.02.3-6+rpi1) ...
Setting up ocaml-nox (4.02.3-6+rpi1) ...
Setting up ocaml-native-compilers (4.02.3-6+rpi1) ...
Setting up coq (8.5-2+b1) ...
ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file.
Install coq for emacs
Setting up debhelper (9.20160403) ...
Setting up camlp5 (6.14-2) ...
Setting up liblablgtk2-ocaml-dev (2.18.3+dfsg-1+b1) ...
Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-1+b1) ...
Setting up libcoq-ocaml-dev (8.5-2+b1) ...
Setting up sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ...
Setting up dh-strip-nondeterminism (0.018-1) ...
Processing triggers for libc-bin (2.22-7) ...
Processing triggers for dictionaries-common (1.27.0) ...
aspell-autobuildhash: processing: en [en-common].
aspell-autobuildhash: processing: en [en-variant_0].
aspell-autobuildhash: processing: en [en-variant_1].
aspell-autobuildhash: processing: en [en-variant_2].
aspell-autobuildhash: processing: en [en-w_accents-only].
aspell-autobuildhash: processing: en [en-wo_accents-only].
aspell-autobuildhash: processing: en [en_CA-variant_0].
aspell-autobuildhash: processing: en [en_CA-variant_1].
aspell-autobuildhash: processing: en [en_CA-w_accents-only].
aspell-autobuildhash: processing: en [en_CA-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only].
aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only].
aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-variant_0].
aspell-autobuildhash: processing: en [en_GB-variant_1].
aspell-autobuildhash: processing: en [en_US-w_accents-only].
aspell-autobuildhash: processing: en [en_US-wo_accents-only].
Processing triggers for systemd (229-5) ...
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.26-8 dpkg-dev_1.18.7 g++-5_5.3.1-19 gcc-5_5.3.1-19 libc6-dev_2.22-7 libstdc++-4.9-dev_4.9.3-14 libstdc++-5-dev_5.3.1-19 libstdc++6_6.1.1-1+rpi1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch
Package versions: acl_2.2.52-3 adduser_3.114 apt_1.2.12 aspell_0.60.7~20110707-3 aspell-en_7.1-0-1.1 autoconf_2.69-10 automake_1:1.15-4 autopoint_0.19.7-2 autotools-dev_20160430.1 base-files_9.6+rpi1 base-passwd_3.5.39 bash_4.3-14 binutils_2.26-8 bsdmainutils_9.0.10 bsdutils_1:2.28-5 build-essential_11.7 bzip2_1.0.6-8 camlp5_6.14-2 coq_8.5-2+b1 coq-theories_8.5-2+b1 coreutils_8.25-2 cpio_2.11+dfsg-5 cpp_4:5.3.1-1+rpi1 cpp-5_5.3.1-19 dash_0.5.8-2.2 debconf_1.5.59 debfoster_2.7-2 debhelper_9.20160403 debianutils_4.7 dh-autoreconf_12 dh-ocaml_1.0.10 dh-strip-nondeterminism_0.018-1 dictionaries-common_1.27.0 diffutils_1:3.3-3 dmsetup_2:1.02.124-1 dpkg_1.18.7 dpkg-dev_1.18.7 e2fslibs_1.43-2 e2fsprogs_1.43-2 emacsen-common_2.0.8 fakeroot_1.20.2-1 file_1:5.25-2 findutils_4.6.0+git+20160126-2 fontconfig_2.11.0-6.4 fontconfig-config_2.11.0-6.4 fonts-dejavu-core_2.35-1 g++_4:5.3.1-1+rpi1 g++-5_5.3.1-19 gcc_4:5.3.1-1+rpi1 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-5_5.3.1-19 gcc-5-base_5.3.1-19 gcc-6-base_6.1.1-1+rpi1 gettext_0.19.7-2 gettext-base_0.19.7-2 gir1.2-atk-1.0_2.20.0-1 gir1.2-freedesktop_1.48.0-2 gir1.2-gdkpixbuf-2.0_2.34.0-1 gir1.2-glib-2.0_1.48.0-2 gir1.2-gtk-2.0_2.24.30-2 gir1.2-pango-1.0_1.40.1-1 gnupg_1.4.20-6 gpgv_1.4.20-6 grep_2.25-1 groff-base_1.22.3-7 gzip_1.6-5 hostname_3.17 icu-devtools_55.1-7 init_1.33 init-system-helpers_1.33 initscripts_2.88dsf-59.4 insserv_1.14.0-5.3 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-8+rpi1 kmod_22-1.1 libacl1_2.2.52-3 libapparmor1_2.10-4 libapt-pkg4.12_1.0.9.10 libapt-pkg5.0_1.2.12 libarchive-zip-perl_1.57-1 libasan1_4.9.3-14 libasan2_5.3.1-19 libaspell15_0.60.7~20110707-3 libatk1.0-0_2.20.0-1 libatk1.0-data_2.20.0-1 libatk1.0-dev_2.20.0-1 libatomic1_6.1.1-1+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.5.2-1+rpi1 libaudit1_1:2.5.2-1+rpi1 libavahi-client3_0.6.32~rc+dfsg-1 libavahi-common-data_0.6.32~rc+dfsg-1 libavahi-common3_0.6.32~rc+dfsg-1 libblkid1_2.28-5 libbsd0_0.8.3-1 libbz2-1.0_1.0.6-8 libc-bin_2.22-7 libc-dev-bin_2.22-7 libc6_2.22-7 libc6-dev_2.22-7 libcairo-gobject2_1.14.6-1 libcairo-script-interpreter2_1.14.6-1 libcairo2_1.14.6-1 libcairo2-dev_1.14.6-1 libcap2_1:2.24-12 libcap2-bin_1:2.24-12 libcc1-0_6.1.1-1+rpi1 libcomerr2_1.43~WIP.2016.03.15-2 libcoq-ocaml_8.5-2+b1 libcoq-ocaml-dev_8.5-2+b1 libcroco3_0.6.11-1 libcryptsetup4_2:1.7.0-2 libcups2_2.1.3-5 libdatrie1_0.2.10-2 libdb5.3_5.3.28-11 libdbus-1-3_1.10.8-1 libdebconfclient0_0.210 libdevmapper1.02.1_2:1.02.124-1 libdpkg-perl_1.18.7 libdrm2_2.4.68-1 libelf1_0.163-5.1 libenchant-dev_1.6.0-11+b1 libenchant1c2a_1.6.0-11+b1 libexpat1_2.1.1-2 libexpat1-dev_2.1.1-2 libfakeroot_1.20.2-1 libfdisk1_2.28-5 libffi6_3.2.1-4 libfile-stripnondeterminism-perl_0.018-1 libfontconfig1_2.11.0-6.4 libfontconfig1-dev_2.11.0-6.4 libfreetype6_2.6.3-3 libfreetype6-dev_2.6.3-3 libfuse2_2.9.6-1 libgc1c2_1:7.4.2-7.4 libgcc-4.9-dev_4.9.3-14 libgcc-5-dev_5.3.1-19 libgcc1_1:6.1.1-1+rpi1 libgcrypt20_1.7.0-2 libgdbm3_1.8.3-13.1 libgdk-pixbuf2.0-0_2.34.0-1 libgdk-pixbuf2.0-common_2.34.0-1 libgdk-pixbuf2.0-dev_2.34.0-1 libgirepository-1.0-1_1.48.0-2 libglade2-0_1:2.6.4-2 libglade2-dev_1:2.6.4-2 libglib2.0-0_2.48.1-1 libglib2.0-bin_2.48.1-1 libglib2.0-data_2.48.1-1 libglib2.0-dev_2.48.1-1 libgmp10_2:6.1.0+dfsg-2 libgnutls30_3.4.12-2 libgomp1_6.1.1-1+rpi1 libgpg-error0_1.22-2 libgraphite2-3_1.3.8-1 libgraphite2-dev_1.3.8-1 libgssapi-krb5-2_1.13.2+dfsg-5 libgtk2.0-0_2.24.30-2 libgtk2.0-common_2.24.30-2 libgtk2.0-dev_2.24.30-2 libgtksourceview2.0-0_2.10.5-2 libgtksourceview2.0-common_2.10.5-2 libgtksourceview2.0-dev_2.10.5-2 libgtkspell-dev_2.0.16-1.1 libgtkspell0_2.0.16-1.1 libharfbuzz-dev_1.2.6-2 libharfbuzz-gobject0_1.2.6-2 libharfbuzz-icu0_1.2.6-2 libharfbuzz0b_1.2.6-2 libhogweed4_3.2-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_55.1-7 libicu55_55.1-7 libidn11_1.32-3 libisl15_0.16.1-1 libjbig0_2.1-3.1 libjpeg62-turbo_1:1.4.2-2 libk5crypto3_1.13.2+dfsg-5 libkeyutils1_1.5.9-9 libklibc_2.0.4-8+rpi1 libkmod2_22-1.1 libkrb5-3_1.13.2+dfsg-5 libkrb5support0_1.13.2+dfsg-5 liblablgtk2-ocaml_2.18.3+dfsg-1+b1 liblablgtk2-ocaml-dev_2.18.3+dfsg-1+b1 liblablgtksourceview2-ocaml_2.18.3+dfsg-1+b1 liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-1+b1 liblz4-1_0.0~r131-2 liblzma5_5.1.1alpha+20120614-2.1 liblzo2-2_2.08-1.2 libmagic1_1:5.25-2 libmount1_2.28-5 libmpc3_1.0.3-1 libmpfr4_3.1.4-1 libncurses5_6.0+20160319-1 libncurses5-dev_6.0+20160319-1 libncursesw5_6.0+20160319-1 libnettle6_3.2-1 libp11-kit0_0.23.2-3 libpam-modules_1.1.8-3.2 libpam-modules-bin_1.1.8-3.2 libpam-runtime_1.1.8-3.2 libpam0g_1.1.8-3.2 libpango-1.0-0_1.40.1-1 libpango1.0-dev_1.40.1-1 libpangocairo-1.0-0_1.40.1-1 libpangoft2-1.0-0_1.40.1-1 libpangoxft-1.0-0_1.40.1-1 libpcre16-3_2:8.38-3.1 libpcre3_2:8.38-3.1 libpcre3-dev_2:8.38-3.1 libpcre32-3_2:8.38-3.1 libpcrecpp0v5_2:8.38-3.1 libperl5.22_5.22.2-1 libpipeline1_1.4.1-2 libpixman-1-0_0.33.6-1 libpixman-1-dev_0.33.6-1 libpng-dev_1.6.21-5 libpng12-0_1.2.54-6 libpng16-16_1.6.21-5 libprocps3_2:3.3.9-9 libprocps5_2:3.3.11-3 libpthread-stubs0-dev_0.3-4 libpython-stdlib_2.7.11-1 libpython2.7-minimal_2.7.11-9 libpython2.7-stdlib_2.7.11-9 libreadline6_6.3-8+b3 libseccomp2_2.3.0-1 libselinux1_2.5-2 libsemanage-common_2.5-1 libsemanage1_2.5-1 libsepol1_2.5-1 libsigsegv2_2.10-5 libslang2_2.3.0-2.3 libsm-dev_2:1.2.2-1+b1 libsm6_2:1.2.2-1+b1 libsmartcols1_2.28-5 libsqlite3-0_3.13.0-1 libss2_1.43~WIP.2016.03.15-2 libssl1.0.2_1.0.2h-1 libstdc++-4.9-dev_4.9.3-14 libstdc++-5-dev_5.3.1-19 libstdc++6_6.1.1-1+rpi1 libsystemd0_229-5 libtasn1-6_4.8-1 libtext-iconv-perl_1.7-5+b7 libthai-data_0.1.24-2 libthai0_0.1.24-2 libtiff5_4.0.6-1 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160319-1 libtinfo5_6.0+20160319-1 libtool_2.4.6-0.1 libubsan0_6.1.1-1+rpi1 libudev1_229-5 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-5 libuuid1_2.28-5 libx11-6_2:1.6.3-1 libx11-data_2:1.6.3-1 libx11-dev_2:1.6.3-1 libxau-dev_1:1.0.8-1 libxau6_1:1.0.8-1 libxcb-render0_1.11.1-1 libxcb-render0-dev_1.11.1-1 libxcb-shm0_1.11.1-1 libxcb-shm0-dev_1.11.1-1 libxcb1_1.11.1-1 libxcb1-dev_1.11.1-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.1-2+b2 libxfixes3_1:5.0.1-2+b2 libxft-dev_2.3.2-1 libxft2_2.3.2-1 libxi-dev_2:1.7.6-1 libxi6_2:1.7.6-1 libxinerama-dev_2:1.1.3-1+b1 libxinerama1_2:1.1.3-1+b1 libxml2_2.9.3+dfsg1-1 libxml2-dev_2.9.3+dfsg1-1 libxml2-utils_2.9.3+dfsg1-1 libxrandr-dev_2:1.5.0-1 libxrandr2_2:1.5.0-1 libxrender-dev_1:0.9.9-2 libxrender1_1:0.9.9-2 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch login_1:4.2-3.1 lsb-base_9.20160110+rpi1 m4_1.4.17-5 make_4.1-9 makedev_2.3.1-93 man-db_2.7.5-1 manpages_4.06-1 mawk_1.3.3-17 mime-support_3.60 mount_2.28-5 multiarch-support_2.22-7 nano_2.5.3-3 ncurses-base_6.0+20160319-1 ncurses-bin_6.0+20160319-1 ocaml-base-nox_4.02.3-6+rpi1 ocaml-compiler-libs_4.02.3-6+rpi1 ocaml-interp_4.02.3-6+rpi1 ocaml-native-compilers_4.02.3-6+rpi1 ocaml-nox_4.02.3-6+rpi1 passwd_1:4.2-3.1 patch_2.7.5-1 perl_5.22.2-1 perl-base_5.22.2-1 perl-modules-5.22_5.22.2-1 pkg-config_0.29-4 po-debconf_1.0.19 procps_2:3.3.11-3 python_2.7.11-1 python-minimal_2.7.11-1 python2.7_2.7.11-9 python2.7-minimal_2.7.11-9 raspbian-archive-keyring_20120528.2 readline-common_6.3-8 sbuild-build-depends-aac-tactics-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.2-7.1 sensible-utils_0.0.9 shared-mime-info_1.6-1 startpar_0.59-3 systemd_229-5 systemd-sysv_229-5 sysv-rc_2.88dsf-59.4 sysvinit-utils_2.88dsf-59.4 tar_1.28-2.2+rpi1 tzdata_2016d-2 ucf_3.0036 udev_229-5 util-linux_2.28-5 x11-common_1:7.7+15 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.29-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.1.1alpha+20120614-2.1 zlib1g_1:1.2.8.dfsg-2+b1 zlib1g-dev_1:1.2.8.dfsg-2+b1

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


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

gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Wed Oct 14 12:43:46 2015 UTC using RSA key ID 49881AD3
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./aac-tactics_0.4-5.dsc
dpkg-source: info: extracting aac-tactics in aac-tactics-0.4
dpkg-source: info: unpacking aac-tactics_0.4.orig.tar.gz
dpkg-source: info: unpacking aac-tactics_0.4-5.debian.tar.xz

Check disc space
----------------

Sufficient free space for build

Hack binNMU version
-------------------

Created changelog entry for binNMU version 0.4-5+b1

User Environment
----------------

DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LOGNAME=buildd
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-b9994874-274a-4869-9365-f960ea5c1cbc
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd

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

dpkg-buildpackage: info: source package aac-tactics
dpkg-buildpackage: info: source version 0.4-5+b1
dpkg-buildpackage: info: source distribution stretch-staging
 dpkg-source --before-build aac-tactics-0.4
dpkg-buildpackage: info: host architecture armhf
 fakeroot debian/rules clean
dh clean --with ocaml
   dh_testdir
   dh_auto_clean
	make -j1 clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
coq_makefile -R . AAC_tactics coq.mli helper.mli search_monad.mli matcher.mli theory.mli print.mli evm_compute.mli evm_compute.ml coq.ml helper.ml search_monad.ml matcher.ml theory.ml print.ml rewrite.ml4 aac.mlpack AAC.v  Instances.v Tutorial.v Caveats.v  -o Makefile.coq
make -f Makefile.coq clean
make[2]: Entering directory '/<<PKGBUILDDIR>>'
rm -f rewrite.cmo evm_compute.cmo coq.cmo helper.cmo search_monad.cmo matcher.cmo theory.cmo print.cmo aac.cmo aac.cmi coq.cmi evm_compute.cmi helper.cmi matcher.cmi print.cmi rewrite.cmi search_monad.cmi theory.cmi 
rm -f rewrite.cmx evm_compute.cmx coq.cmx helper.cmx search_monad.cmx matcher.cmx theory.cmx print.cmx aac.cmx  rewrite.cmxs evm_compute.cmxs coq.cmxs helper.cmxs search_monad.cmxs matcher.cmxs theory.cmxs print.cmxs aac.cmxs rewrite.o evm_compute.o coq.o helper.o search_monad.o matcher.o theory.o print.o aac.o 
rm -f evm_compute.ml.d coq.ml.d helper.ml.d search_monad.ml.d matcher.ml.d theory.ml.d print.ml.d coq.mli.d helper.mli.d search_monad.mli.d matcher.mli.d theory.mli.d print.mli.d evm_compute.mli.d rewrite.ml4.d aac.mlpack.d
rm -f   
find . -name .coq-native -type d -empty -delete
rm -f AAC.vo Instances.vo Tutorial.vo Caveats.vo AAC.vio Instances.vio Tutorial.vio Caveats.vio AAC.g Instances.g Tutorial.g Caveats.g AAC.v.d Instances.v.d Tutorial.v.d Caveats.v.d AAC.v.beautified Instances.v.beautified Tutorial.v.beautified Caveats.v.beautified AAC.v.old Instances.v.old Tutorial.v.old Caveats.v.old
rm -f all.ps all-gal.ps all.pdf all-gal.pdf all.glob AAC.glob Instances.glob Tutorial.glob Caveats.glob AAC.tex Instances.tex Tutorial.tex Caveats.tex AAC.g.tex Instances.g.tex Tutorial.g.tex Caveats.g.tex all-mli.tex
rm -rf html mlihtml uninstall_me.sh
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
rm -f Makefile.coq .depend
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_ocamlclean
   dh_clean
 debian/rules build-arch
dh build-arch --with ocaml
   dh_testdir -a
   dh_update_autotools_config -a
   dh_ocamlinit -a
   dh_auto_configure -a
   debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make Makefile.coq
make[2]: Entering directory '/<<PKGBUILDDIR>>'
coq_makefile -R . AAC_tactics coq.mli helper.mli search_monad.mli matcher.mli theory.mli print.mli evm_compute.mli evm_compute.ml coq.ml helper.ml search_monad.ml matcher.ml theory.ml print.ml rewrite.ml4 aac.mlpack AAC.v  Instances.v Tutorial.v Caveats.v  -o Makefile.coq
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make -f Makefile.coq opt html
make[2]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/ocamldep.opt -slash  "evm_compute.mli" > "evm_compute.mli.d" || ( RV=$?; rm -f "evm_compute.mli.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "print.mli" > "print.mli.d" || ( RV=$?; rm -f "print.mli.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "theory.mli" > "theory.mli.d" || ( RV=$?; rm -f "theory.mli.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "matcher.mli" > "matcher.mli.d" || ( RV=$?; rm -f "matcher.mli.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "search_monad.mli" > "search_monad.mli.d" || ( RV=$?; rm -f "search_monad.mli.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "helper.mli" > "helper.mli.d" || ( RV=$?; rm -f "helper.mli.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "coq.mli" > "coq.mli.d" || ( RV=$?; rm -f "coq.mli.d"; exit ${RV} )
"coqdep" -c  -c "aac.mlpack" > "aac.mlpack.d" || ( RV=$?; rm -f "aac.mlpack.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "print.ml" > "print.ml.d" || ( RV=$?; rm -f "print.ml.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "theory.ml" > "theory.ml.d" || ( RV=$?; rm -f "theory.ml.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "matcher.ml" > "matcher.ml.d" || ( RV=$?; rm -f "matcher.ml.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "search_monad.ml" > "search_monad.ml.d" || ( RV=$?; rm -f "search_monad.ml.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "helper.ml" > "helper.ml.d" || ( RV=$?; rm -f "helper.ml.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "coq.ml" > "coq.ml.d" || ( RV=$?; rm -f "coq.ml.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  "evm_compute.ml" > "evm_compute.ml.d" || ( RV=$?; rm -f "evm_compute.ml.d"; exit ${RV} )
/usr/bin/ocamldep.opt -slash  -pp '/usr/bin/camlp5o -I /usr/lib/ocaml/ -I /usr/lib/ocaml/threads/ -I "/usr/lib/coq/kernel" -I "/usr/lib/coq/lib" -I "/usr/lib/coq/library" -I "/usr/lib/coq/parsing" -I "/usr/lib/coq/pretyping" -I "/usr/lib/coq/interp" -I "/usr/lib/coq/printing" -I "/usr/lib/coq/intf" -I "/usr/lib/coq/proofs" -I "/usr/lib/coq/tactics" -I "/usr/lib/coq/tools" -I "/usr/lib/coq/toplevel" -I "/usr/lib/coq/stm" -I "/usr/lib/coq/grammar" -I "/usr/lib/coq/config" -I "/usr/lib/coq//plugins/btauto" -I "/usr/lib/coq//plugins/cc" -I "/usr/lib/coq//plugins/decl_mode" -I "/usr/lib/coq//plugins/derive" -I "/usr/lib/coq//plugins/extraction" -I "/usr/lib/coq//plugins/firstorder" -I "/usr/lib/coq//plugins/fourier" -I "/usr/lib/coq//plugins/funind" -I "/usr/lib/coq//plugins/micromega" -I "/usr/lib/coq//plugins/nsatz" -I "/usr/lib/coq//plugins/omega" -I "/usr/lib/coq//plugins/quote" -I "/usr/lib/coq//plugins/romega" -I "/usr/lib/coq//plugins/rtauto" -I "/usr/lib/coq//plugins/setoid_ring" -I "/usr/lib/coq//plugins/syntax" -I "/usr/lib/coq//plugins/xml" compat5.cmo pa_extend.cmo q_MLast.cmo pa_macro.cmo unix.cma threads.cma grammar.cma -loc loc -impl' -impl "rewrite.ml4" > "rewrite.ml4.d" || ( RV=$?; rm -f "rewrite.ml4.d"; exit ${RV} )
"coqdep" -c -R "." AAC_tactics "Caveats.v" > "Caveats.v.d" || ( RV=$?; rm -f "Caveats.v.d"; exit ${RV} )
"coqdep" -c -R "." AAC_tactics "Tutorial.v" > "Tutorial.v.d" || ( RV=$?; rm -f "Tutorial.v.d"; exit ${RV} )
"coqdep" -c -R "." AAC_tactics "Instances.v" > "Instances.v.d" || ( RV=$?; rm -f "Instances.v.d"; exit ${RV} )
"coqdep" -c -R "." AAC_tactics "AAC.v" > "AAC.v.d" || ( RV=$?; rm -f "AAC.v.d"; exit ${RV} )
*** Warning: in file AAC.v, declared ML module aac has not been found!
*** Warning: in file AAC.v, declared ML module aac has not been found!
/usr/bin/make all "OPT:=-opt"
make[3]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make -f Makefile.coq all
make[4]: Entering directory '/<<PKGBUILDDIR>>'
"coqc"  -q -opt -R "." AAC_tactics   AAC
File "./AAC.v", line 497, characters 8-20:
Error: The constructor vcons (in type vT) expects 2 arguments.
Makefile.coq:424: recipe for target 'AAC.vo' failed
make[4]: *** [AAC.vo] Error 1
make[4]: Leaving directory '/<<PKGBUILDDIR>>'
Makefile:16: recipe for target 'all' failed
make[3]: *** [all] Error 2
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
Makefile.coq:307: recipe for target 'opt' failed
make[2]: *** [opt] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
debian/rules:18: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
debian/rules:14: recipe for target 'build-arch' failed
make: *** [build-arch] Error 2
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
--------------------------------------------------------------------------------
Build finished at 20160605-1044

Finished
--------

E: Build failure (dpkg-buildpackage died)

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

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

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

Build Architecture: armhf
Build-Space: 560
Build-Time: 18
Distribution: stretch-staging
Fail-Stage: build
Host Architecture: armhf
Install-Time: 1056
Job: aac-tactics_0.4-5
Machine Architecture: armhf
Package: aac-tactics
Package-Time: 1117
Source-Version: 0.4-5
Space: 560
Status: attempted
Version: 0.4-5+b1
--------------------------------------------------------------------------------
Finished at 20160605-1044
Build needed 00:18:37, 560k disc space
Raspbian Package Auto-Building

Build log for aac-tactics (0.4-5+b1) on armhf
