Raspbian Package Auto-Building

Build log for aac-tactics (8.6.1-2+b1) on armhf

aac-tactics8.6.1-2+b1armhf → 2018-01-12 14:31:52

sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-02

+==============================================================================+
| aac-tactics 8.6.1-2+b1 (armhf)               Fri, 12 Jan 2018 14:21:10 +0000 |
+==============================================================================+

Package: aac-tactics
Version: 8.6.1-2+b1
Source Version: 8.6.1-2
Distribution: buster-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/buster-staging-armhf-sbuild-857ff43b-d91e-4e11-9dec-3f90aeff559c' with '<<CHROOT>>'

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

Get:1 http://172.17.0.1/private buster-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private buster-staging/main Sources [10.5 MB]
Get:3 http://172.17.0.1/private buster-staging/main armhf Packages [12.3 MB]
Fetched 22.8 MB in 8s (2698 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:
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
Please use:
git clone https://anonscm.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 80.6 kB of source archives.
Get:1 http://172.17.0.1/private buster-staging/main aac-tactics 8.6.1-2 (dsc) [2238 B]
Get:2 http://172.17.0.1/private buster-staging/main aac-tactics 8.6.1-2 (tar) [75.1 kB]
Get:3 http://172.17.0.1/private buster-staging/main aac-tactics 8.6.1-2 (diff) [3248 B]
Fetched 80.6 kB in 0s (951 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/aac-tactics-czke7v/aac-tactics-8.6.1' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/aac-tactics-czke7v' with '<<BUILDDIR>>'

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


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

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

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

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

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

Arch check ok (armhf included in any all)

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


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

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-3RjEsF/apt_archive/sbuild-build-depends-aac-tactics-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-aac-tactics-dummy sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-3RjEsF/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-3RjEsF/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-3RjEsF/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-3RjEsF/apt_archive ./ Sources [537 B]
Get:5 copy:/<<BUILDDIR>>/resolver-3RjEsF/apt_archive ./ Packages [619 B]
Fetched 2489 B in 0s (7128 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
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 packages were automatically installed and are no longer required:
  ca-certificates e2fsprogs-l10n libsasl2-modules openssl
Use 'apt autoremove' to remove them.
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 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-harfbuzz-0.0 gir1.2-pango-1.0 gnome-icon-theme groff-base
  gtk-update-icon-cache hicolor-icon-theme 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-dev libfile-stripnondeterminism-perl
  libfindlib-ocaml 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
  libglib2.0-dev-bin 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 libhunspell-1.6-0 libice-dev libice6 libicu-dev libicu57
  libjbig0 libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
  liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml
  liblablgtksourceview2-ocaml-dev liblzo2-2 libncurses5-dev 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 libpthread-stubs0-dev
  libpython-stdlib libpython2.7-minimal libpython2.7-stdlib librsvg2-2
  librsvg2-common libsigsegv2 libsm-dev libsm6 libtext-iconv-perl libthai-data
  libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool 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 ocaml-base-nox
  ocaml-compiler-libs ocaml-findlib ocaml-interp 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 proofgeneral ledit | readline-editor why coq-doc
  dh-make dwz git wordlist gettext-doc libasprintf-dev libgettextpo-dev groff
  libcairo2-doc cups-common libenchant-voikko glade | glade-gnome
  libglib2.0-doc libgraphite2-utils krb5-doc krb5-user 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
  librsvg2-bin libsm-doc libtool-doc gfortran | fortran95-compiler gcj-jdk
  libxcb-doc libxext-doc m4-doc less www-browser apparmor camlp4 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 libarchive-cpio-perl
  libgdk-pixbuf2.0-bin xdg-user-dirs libgail-common libgtk2.0-bin
  hunspell-en-us | hunspell-dictionary | myspell-dictionary krb5-locales
  liblablgtk2-ocaml-doc libpng-tools libltdl-dev libx11-doc
  libfindlib-ocaml-dev ledit | readline-editor camlp4 libmail-sendmail-perl
The following NEW packages will be installed:
  aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils
  camlp5 coq coq-theories debhelper dh-autoreconf dh-ocaml
  dh-strip-nondeterminism dictionaries-common emacsen-common 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-harfbuzz-0.0 gir1.2-pango-1.0 gnome-icon-theme groff-base
  gtk-update-icon-cache hicolor-icon-theme 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-dev libfile-stripnondeterminism-perl
  libfindlib-ocaml 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
  libglib2.0-dev-bin 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 libhunspell-1.6-0 libice-dev libice6 libicu-dev libicu57
  libjbig0 libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
  liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml
  liblablgtksourceview2-ocaml-dev liblzo2-2 libncurses5-dev 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 libpthread-stubs0-dev
  libpython-stdlib libpython2.7-minimal libpython2.7-stdlib librsvg2-2
  librsvg2-common libsigsegv2 libsm-dev libsm6 libtext-iconv-perl libthai-data
  libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool 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 ocaml-base-nox
  ocaml-compiler-libs ocaml-findlib ocaml-interp 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, 200 newly installed, 0 to remove and 44 not upgraded.
Need to get 202 MB of archives.
After this operation, 830 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-3RjEsF/apt_archive ./ sbuild-build-depends-aac-tactics-dummy 0.invalid.0 [908 B]
Get:2 http://172.17.0.1/private buster-staging/main armhf groff-base armhf 1.22.3-9 [1005 kB]
Get:3 http://172.17.0.1/private buster-staging/main armhf libbsd0 armhf 0.8.6-3 [95.9 kB]
Get:4 http://172.17.0.1/private buster-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:5 http://172.17.0.1/private buster-staging/main armhf libpipeline1 armhf 1.5.0-1 [24.6 kB]
Get:6 http://172.17.0.1/private buster-staging/main armhf man-db armhf 2.7.6.1-4 [1012 kB]
Get:7 http://172.17.0.1/private buster-staging/main armhf libfreetype6 armhf 2.8.1-1 [402 kB]
Get:8 http://172.17.0.1/private buster-staging/main armhf ucf all 3.0036 [70.2 kB]
Get:9 http://172.17.0.1/private buster-staging/main armhf fonts-dejavu-core all 2.37-1 [1068 kB]
Get:10 http://172.17.0.1/private buster-staging/main armhf fontconfig-config all 2.12.6-0.1 [304 kB]
Get:11 http://172.17.0.1/private buster-staging/main armhf libfontconfig1 armhf 2.12.6-0.1 [351 kB]
Get:12 http://172.17.0.1/private buster-staging/main armhf fontconfig armhf 2.12.6-0.1 [438 kB]
Get:13 http://172.17.0.1/private buster-staging/main armhf libglib2.0-0 armhf 2.54.2-5 [2645 kB]
Get:14 http://172.17.0.1/private buster-staging/main armhf libatk1.0-data all 2.26.1-2 [144 kB]
Get:15 http://172.17.0.1/private buster-staging/main armhf libatk1.0-0 armhf 2.26.1-2 [42.5 kB]
Get:16 http://172.17.0.1/private buster-staging/main armhf libpixman-1-0 armhf 0.34.0-2 [451 kB]
Get:17 http://172.17.0.1/private buster-staging/main armhf libxau6 armhf 1:1.0.8-1+b2 [19.1 kB]
Get:18 http://172.17.0.1/private buster-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:19 http://172.17.0.1/private buster-staging/main armhf libxcb1 armhf 1.12-1 [129 kB]
Get:20 http://172.17.0.1/private buster-staging/main armhf libx11-data all 2:1.6.4-3 [290 kB]
Get:21 http://172.17.0.1/private buster-staging/main armhf libx11-6 armhf 2:1.6.4-3 [683 kB]
Get:22 http://172.17.0.1/private buster-staging/main armhf libxcb-render0 armhf 1.12-1 [104 kB]
Get:23 http://172.17.0.1/private buster-staging/main armhf libxcb-shm0 armhf 1.12-1 [95.9 kB]
Get:24 http://172.17.0.1/private buster-staging/main armhf libxext6 armhf 2:1.3.3-1+b2 [47.8 kB]
Get:25 http://172.17.0.1/private buster-staging/main armhf libxrender1 armhf 1:0.9.10-1 [29.9 kB]
Get:26 http://172.17.0.1/private buster-staging/main armhf libcairo2 armhf 1.15.8-3 [557 kB]
Get:27 http://172.17.0.1/private buster-staging/main armhf libjpeg62-turbo armhf 1:1.5.2-2+b1 [110 kB]
Get:28 http://172.17.0.1/private buster-staging/main armhf libjbig0 armhf 2.1-3.1+b2 [27.6 kB]
Get:29 http://172.17.0.1/private buster-staging/main armhf libtiff5 armhf 4.0.9-3 [224 kB]
Get:30 http://172.17.0.1/private buster-staging/main armhf libicu57 armhf 57.1-8 [7411 kB]
Get:31 http://172.17.0.1/private buster-staging/main armhf libxml2 armhf 2.9.4+dfsg1-6.1 [602 kB]
Get:32 http://172.17.0.1/private buster-staging/main armhf shared-mime-info armhf 1.9-2 [749 kB]
Get:33 http://172.17.0.1/private buster-staging/main armhf libgdk-pixbuf2.0-common all 2.36.11-1 [312 kB]
Get:34 http://172.17.0.1/private buster-staging/main armhf libgdk-pixbuf2.0-0 armhf 2.36.11-1 [153 kB]
Get:35 http://172.17.0.1/private buster-staging/main armhf libgtk2.0-common all 2.24.31-5 [2691 kB]
Get:36 http://172.17.0.1/private buster-staging/main armhf libavahi-common-data armhf 0.7-3 [122 kB]
Get:37 http://172.17.0.1/private buster-staging/main armhf libavahi-common3 armhf 0.7-3 [50.6 kB]
Get:38 http://172.17.0.1/private buster-staging/main armhf libavahi-client3 armhf 0.7-3 [53.4 kB]
Get:39 http://172.17.0.1/private buster-staging/main armhf libkeyutils1 armhf 1.5.9-9.2 [12.1 kB]
Get:40 http://172.17.0.1/private buster-staging/main armhf libkrb5support0 armhf 1.15.2-2 [58.6 kB]
Get:41 http://172.17.0.1/private buster-staging/main armhf libk5crypto3 armhf 1.15.2-2 [116 kB]
Get:42 http://172.17.0.1/private buster-staging/main armhf libkrb5-3 armhf 1.15.2-2 [263 kB]
Get:43 http://172.17.0.1/private buster-staging/main armhf libgssapi-krb5-2 armhf 1.15.2-2 [133 kB]
Get:44 http://172.17.0.1/private buster-staging/main armhf libcups2 armhf 2.2.6-4 [282 kB]
Get:45 http://172.17.0.1/private buster-staging/main armhf libthai-data all 0.1.27-1 [168 kB]
Get:46 http://172.17.0.1/private buster-staging/main armhf libdatrie1 armhf 0.2.10-6 [33.2 kB]
Get:47 http://172.17.0.1/private buster-staging/main armhf libthai0 armhf 0.1.27-1 [50.0 kB]
Get:48 http://172.17.0.1/private buster-staging/main armhf libpango-1.0-0 armhf 1.40.14-1 [181 kB]
Get:49 http://172.17.0.1/private buster-staging/main armhf libgraphite2-3 armhf 1.3.10-8 [71.9 kB]
Get:50 http://172.17.0.1/private buster-staging/main armhf libharfbuzz0b armhf 1.7.2-1 [705 kB]
Get:51 http://172.17.0.1/private buster-staging/main armhf libpangoft2-1.0-0 armhf 1.40.14-1 [74.3 kB]
Get:52 http://172.17.0.1/private buster-staging/main armhf libpangocairo-1.0-0 armhf 1.40.14-1 [63.4 kB]
Get:53 http://172.17.0.1/private buster-staging/main armhf libxcomposite1 armhf 1:0.4.4-2 [16.1 kB]
Get:54 http://172.17.0.1/private buster-staging/main armhf libxfixes3 armhf 1:5.0.3-1 [20.6 kB]
Get:55 http://172.17.0.1/private buster-staging/main armhf libxcursor1 armhf 1:1.1.15-1 [33.4 kB]
Get:56 http://172.17.0.1/private buster-staging/main armhf libxdamage1 armhf 1:1.1.4-3 [14.0 kB]
Get:57 http://172.17.0.1/private buster-staging/main armhf libxi6 armhf 2:1.7.9-1 [77.8 kB]
Get:58 http://172.17.0.1/private buster-staging/main armhf libxinerama1 armhf 2:1.1.3-1+b3 [16.3 kB]
Get:59 http://172.17.0.1/private buster-staging/main armhf libxrandr2 armhf 2:1.5.1-1 [34.5 kB]
Get:60 http://172.17.0.1/private buster-staging/main armhf hicolor-icon-theme all 0.17-1 [11.5 kB]
Get:61 http://172.17.0.1/private buster-staging/main armhf gtk-update-icon-cache armhf 3.22.26-2+rpi1 [77.1 kB]
Get:62 http://172.17.0.1/private buster-staging/main armhf libcroco3 armhf 0.6.12-2 [132 kB]
Get:63 http://172.17.0.1/private buster-staging/main armhf librsvg2-2 armhf 2.40.20-2 [285 kB]
Get:64 http://172.17.0.1/private buster-staging/main armhf librsvg2-common armhf 2.40.20-2 [209 kB]
Get:65 http://172.17.0.1/private buster-staging/main armhf gnome-icon-theme all 3.12.0-2 [9890 kB]
Get:66 http://172.17.0.1/private buster-staging/main armhf libgtk2.0-0 armhf 2.24.31-5 [1497 kB]
Get:67 http://172.17.0.1/private buster-staging/main armhf libglade2-0 armhf 1:2.6.4-2 [76.2 kB]
Get:68 http://172.17.0.1/private buster-staging/main armhf liblzo2-2 armhf 2.08-1.2 [47.6 kB]
Get:69 http://172.17.0.1/private buster-staging/main armhf libpython2.7-minimal armhf 2.7.14-4 [393 kB]
Get:70 http://172.17.0.1/private buster-staging/main armhf python2.7-minimal armhf 2.7.14-4 [1075 kB]
Get:71 http://172.17.0.1/private buster-staging/main armhf python-minimal armhf 2.7.14-4 [41.0 kB]
Get:72 http://172.17.0.1/private buster-staging/main armhf libpython2.7-stdlib armhf 2.7.14-4 [1841 kB]
Get:73 http://172.17.0.1/private buster-staging/main armhf python2.7 armhf 2.7.14-4 [293 kB]
Get:74 http://172.17.0.1/private buster-staging/main armhf libpython-stdlib armhf 2.7.14-4 [20.4 kB]
Get:75 http://172.17.0.1/private buster-staging/main armhf python armhf 2.7.14-4 [155 kB]
Get:76 http://172.17.0.1/private buster-staging/main armhf libtext-iconv-perl armhf 1.7-5+b9 [14.6 kB]
Get:77 http://172.17.0.1/private buster-staging/main armhf gettext-base armhf 0.19.8.1-4 [117 kB]
Get:78 http://172.17.0.1/private buster-staging/main armhf libaspell15 armhf 0.60.7~20110707-4 [285 kB]
Get:79 http://172.17.0.1/private buster-staging/main armhf emacsen-common all 2.0.8 [21.2 kB]
Get:80 http://172.17.0.1/private buster-staging/main armhf dictionaries-common all 1.27.2 [245 kB]
Get:81 http://172.17.0.1/private buster-staging/main armhf aspell armhf 0.60.7~20110707-4 [215 kB]
Get:82 http://172.17.0.1/private buster-staging/main armhf aspell-en all 2017.08.24-0-0.1 [300 kB]
Get:83 http://172.17.0.1/private buster-staging/main armhf libsigsegv2 armhf 2.11-1 [29.3 kB]
Get:84 http://172.17.0.1/private buster-staging/main armhf m4 armhf 1.4.18-1 [185 kB]
Get:85 http://172.17.0.1/private buster-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:86 http://172.17.0.1/private buster-staging/main armhf autotools-dev all 20171216.1 [75.9 kB]
Get:87 http://172.17.0.1/private buster-staging/main armhf automake all 1:1.15.1-3 [736 kB]
Get:88 http://172.17.0.1/private buster-staging/main armhf autopoint all 0.19.8.1-4 [434 kB]
Get:89 http://172.17.0.1/private buster-staging/main armhf coq-theories armhf 8.6-5 [22.9 MB]
Get:90 http://172.17.0.1/private buster-staging/main armhf ocaml-base-nox armhf 4.05.0-10+rpi1 [578 kB]
Get:91 http://172.17.0.1/private buster-staging/main armhf libhunspell-1.6-0 armhf 1.6.2-1 [165 kB]
Get:92 http://172.17.0.1/private buster-staging/main armhf libenchant1c2a armhf 1.6.0-11.1 [58.3 kB]
Get:93 http://172.17.0.1/private buster-staging/main armhf libgtkspell0 armhf 2.0.16-1.1 [22.5 kB]
Get:94 http://172.17.0.1/private buster-staging/main armhf liblablgtk2-ocaml armhf 2.18.5+dfsg-1+b1 [763 kB]
Get:95 http://172.17.0.1/private buster-staging/main armhf libgtksourceview2.0-common all 2.10.5-3 [470 kB]
Get:96 http://172.17.0.1/private buster-staging/main armhf libgtksourceview2.0-0 armhf 2.10.5-3 [168 kB]
Get:97 http://172.17.0.1/private buster-staging/main armhf liblablgtksourceview2-ocaml armhf 2.18.5+dfsg-1+b1 [113 kB]
Get:98 http://172.17.0.1/private buster-staging/main armhf libcoq-ocaml armhf 8.6-5 [3535 kB]
Get:99 http://172.17.0.1/private buster-staging/main armhf libtinfo-dev armhf 6.0+20171125-1 [66.5 kB]
Get:100 http://172.17.0.1/private buster-staging/main armhf libncurses5-dev armhf 6.0+20171125-1 [152 kB]
Get:101 http://172.17.0.1/private buster-staging/main armhf ocaml-compiler-libs armhf 4.05.0-10+rpi1 [19.2 MB]
Get:102 http://172.17.0.1/private buster-staging/main armhf ocaml-interp armhf 4.05.0-10+rpi1 [3586 kB]
Get:103 http://172.17.0.1/private buster-staging/main armhf ocaml-nox armhf 4.05.0-10+rpi1 [25.2 MB]
Get:104 http://172.17.0.1/private buster-staging/main armhf libfindlib-ocaml armhf 1.7.3-2 [164 kB]
Get:105 http://172.17.0.1/private buster-staging/main armhf ocaml-findlib armhf 1.7.3-2 [314 kB]
Get:106 http://172.17.0.1/private buster-staging/main armhf coq armhf 8.6-5 [16.5 MB]
Get:107 http://172.17.0.1/private buster-staging/main armhf libtool all 2.4.6-2 [545 kB]
Get:108 http://172.17.0.1/private buster-staging/main armhf dh-autoreconf all 15 [16.2 kB]
Get:109 http://172.17.0.1/private buster-staging/main armhf libarchive-zip-perl all 1.60-1 [95.6 kB]
Get:110 http://172.17.0.1/private buster-staging/main armhf libfile-stripnondeterminism-perl all 0.040-1 [18.4 kB]
Get:111 http://172.17.0.1/private buster-staging/main armhf libtimedate-perl all 2.3000-2 [42.2 kB]
Get:112 http://172.17.0.1/private buster-staging/main armhf dh-strip-nondeterminism all 0.040-1 [11.8 kB]
Get:113 http://172.17.0.1/private buster-staging/main armhf gettext armhf 0.19.8.1-4 [1218 kB]
Get:114 http://172.17.0.1/private buster-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:115 http://172.17.0.1/private buster-staging/main armhf po-debconf all 1.0.20 [247 kB]
Get:116 http://172.17.0.1/private buster-staging/main armhf debhelper all 11 [990 kB]
Get:117 http://172.17.0.1/private buster-staging/main armhf dh-ocaml all 1.1.0 [83.3 kB]
Get:118 http://172.17.0.1/private buster-staging/main armhf libgirepository-1.0-1 armhf 1.54.1-4 [77.2 kB]
Get:119 http://172.17.0.1/private buster-staging/main armhf gir1.2-glib-2.0 armhf 1.54.1-4 [141 kB]
Get:120 http://172.17.0.1/private buster-staging/main armhf gir1.2-atk-1.0 armhf 2.26.1-2 [24.9 kB]
Get:121 http://172.17.0.1/private buster-staging/main armhf libcairo-gobject2 armhf 1.15.8-3 [89.1 kB]
Get:122 http://172.17.0.1/private buster-staging/main armhf gir1.2-freedesktop armhf 1.54.1-4 [19.6 kB]
Get:123 http://172.17.0.1/private buster-staging/main armhf gir1.2-gdkpixbuf-2.0 armhf 2.36.11-1 [15.3 kB]
Get:124 http://172.17.0.1/private buster-staging/main armhf libxft2 armhf 2.3.2-1+b2 [49.3 kB]
Get:125 http://172.17.0.1/private buster-staging/main armhf libpangoxft-1.0-0 armhf 1.40.14-1 [58.7 kB]
Get:126 http://172.17.0.1/private buster-staging/main armhf gir1.2-pango-1.0 armhf 1.40.14-1 [67.7 kB]
Get:127 http://172.17.0.1/private buster-staging/main armhf gir1.2-gtk-2.0 armhf 2.24.31-5 [212 kB]
Get:128 http://172.17.0.1/private buster-staging/main armhf libharfbuzz-gobject0 armhf 1.7.2-1 [519 kB]
Get:129 http://172.17.0.1/private buster-staging/main armhf gir1.2-harfbuzz-0.0 armhf 1.7.2-1 [526 kB]
Get:130 http://172.17.0.1/private buster-staging/main armhf icu-devtools armhf 57.1-8 [156 kB]
Get:131 http://172.17.0.1/private buster-staging/main armhf pkg-config armhf 0.29-4 [59.2 kB]
Get:132 http://172.17.0.1/private buster-staging/main armhf libelf1 armhf 0.170-0.2 [160 kB]
Get:133 http://172.17.0.1/private buster-staging/main armhf libglib2.0-data all 2.54.2-5 [2542 kB]
Get:134 http://172.17.0.1/private buster-staging/main armhf libglib2.0-bin armhf 2.54.2-5 [1595 kB]
Get:135 http://172.17.0.1/private buster-staging/main armhf libglib2.0-dev-bin armhf 2.54.2-5 [1630 kB]
Get:136 http://172.17.0.1/private buster-staging/main armhf libpcre16-3 armhf 2:8.39-8 [234 kB]
Get:137 http://172.17.0.1/private buster-staging/main armhf libpcre32-3 armhf 2:8.39-8 [226 kB]
Get:138 http://172.17.0.1/private buster-staging/main armhf libpcrecpp0v5 armhf 2:8.39-8 [150 kB]
Get:139 http://172.17.0.1/private buster-staging/main armhf libpcre3-dev armhf 2:8.39-8 [561 kB]
Get:140 http://172.17.0.1/private buster-staging/main armhf zlib1g-dev armhf 1:1.2.8.dfsg-5 [198 kB]
Get:141 http://172.17.0.1/private buster-staging/main armhf libglib2.0-dev armhf 2.54.2-5 [2700 kB]
Get:142 http://172.17.0.1/private buster-staging/main armhf libatk1.0-dev armhf 2.26.1-2 [87.1 kB]
Get:143 http://172.17.0.1/private buster-staging/main armhf libcairo-script-interpreter2 armhf 1.15.8-3 [117 kB]
Get:144 http://172.17.0.1/private buster-staging/main armhf libexpat1-dev armhf 2.2.5-3 [123 kB]
Get:145 http://172.17.0.1/private buster-staging/main armhf libpng-dev armhf 1.6.34-1 [274 kB]
Get:146 http://172.17.0.1/private buster-staging/main armhf libfreetype6-dev armhf 2.8.1-1 [2594 kB]
Get:147 http://172.17.0.1/private buster-staging/main armhf libfontconfig1-dev armhf 2.12.6-0.1 [903 kB]
Get:148 http://172.17.0.1/private buster-staging/main armhf xorg-sgml-doctools all 1:1.11-1 [21.9 kB]
Get:149 http://172.17.0.1/private buster-staging/main armhf x11proto-core-dev all 7.0.31-1 [728 kB]
Get:150 http://172.17.0.1/private buster-staging/main armhf libxau-dev armhf 1:1.0.8-1+b2 [22.4 kB]
Get:151 http://172.17.0.1/private buster-staging/main armhf libxdmcp-dev armhf 1:1.1.2-3 [40.9 kB]
Get:152 http://172.17.0.1/private buster-staging/main armhf x11proto-input-dev all 2.3.2-1 [158 kB]
Get:153 http://172.17.0.1/private buster-staging/main armhf x11proto-kb-dev all 1.0.7-1 [233 kB]
Get:154 http://172.17.0.1/private buster-staging/main armhf xtrans-dev all 1.3.5-1 [100 kB]
Get:155 http://172.17.0.1/private buster-staging/main armhf libpthread-stubs0-dev armhf 0.3-4 [4042 B]
Get:156 http://172.17.0.1/private buster-staging/main armhf libxcb1-dev armhf 1.12-1 [165 kB]
Get:157 http://172.17.0.1/private buster-staging/main armhf libx11-dev armhf 2:1.6.4-3 [753 kB]
Get:158 http://172.17.0.1/private buster-staging/main armhf x11proto-render-dev all 2:0.11.1-2 [20.8 kB]
Get:159 http://172.17.0.1/private buster-staging/main armhf libxrender-dev armhf 1:0.9.10-1 [37.7 kB]
Get:160 http://172.17.0.1/private buster-staging/main armhf x11proto-xext-dev all 7.3.0-1 [212 kB]
Get:161 http://172.17.0.1/private buster-staging/main armhf libxext-dev armhf 2:1.3.3-1+b2 [102 kB]
Get:162 http://172.17.0.1/private buster-staging/main armhf x11-common all 1:7.7+19 [251 kB]
Get:163 http://172.17.0.1/private buster-staging/main armhf libice6 armhf 2:1.0.9-2 [51.6 kB]
Get:164 http://172.17.0.1/private buster-staging/main armhf libsm6 armhf 2:1.2.2-1+b3 [31.2 kB]
Get:165 http://172.17.0.1/private buster-staging/main armhf libice-dev armhf 2:1.0.9-2 [58.8 kB]
Get:166 http://172.17.0.1/private buster-staging/main armhf libsm-dev armhf 2:1.2.2-1+b3 [33.4 kB]
Get:167 http://172.17.0.1/private buster-staging/main armhf libpixman-1-dev armhf 0.34.0-2 [469 kB]
Get:168 http://172.17.0.1/private buster-staging/main armhf libxcb-render0-dev armhf 1.12-1 [108 kB]
Get:169 http://172.17.0.1/private buster-staging/main armhf libxcb-shm0-dev armhf 1.12-1 [97.1 kB]
Get:170 http://172.17.0.1/private buster-staging/main armhf libcairo2-dev armhf 1.15.8-3 [579 kB]
Get:171 http://172.17.0.1/private buster-staging/main armhf camlp5 armhf 7.01-1+b1 [3286 kB]
Get:172 http://172.17.0.1/private buster-staging/main armhf libgdk-pixbuf2.0-dev armhf 2.36.11-1 [54.0 kB]
Get:173 http://172.17.0.1/private buster-staging/main armhf libharfbuzz-icu0 armhf 1.7.2-1 [513 kB]
Get:174 http://172.17.0.1/private buster-staging/main armhf libgraphite2-dev armhf 1.3.10-8 [22.0 kB]
Get:175 http://172.17.0.1/private buster-staging/main armhf libicu-dev armhf 57.1-8 [15.8 MB]
Get:176 http://172.17.0.1/private buster-staging/main armhf libharfbuzz-dev armhf 1.7.2-1 [767 kB]
Get:177 http://172.17.0.1/private buster-staging/main armhf libxft-dev armhf 2.3.2-1+b2 [60.2 kB]
Get:178 http://172.17.0.1/private buster-staging/main armhf libpango1.0-dev armhf 1.40.14-1 [302 kB]
Get:179 http://172.17.0.1/private buster-staging/main armhf x11proto-xinerama-dev all 1.2.1-2 [4938 B]
Get:180 http://172.17.0.1/private buster-staging/main armhf libxinerama-dev armhf 2:1.1.3-1+b3 [18.7 kB]
Get:181 http://172.17.0.1/private buster-staging/main armhf x11proto-fixes-dev all 1:5.0-2 [19.2 kB]
Get:182 http://172.17.0.1/private buster-staging/main armhf libxfixes-dev armhf 1:5.0.3-1 [22.7 kB]
Get:183 http://172.17.0.1/private buster-staging/main armhf libxi-dev armhf 2:1.7.9-1 [236 kB]
Get:184 http://172.17.0.1/private buster-staging/main armhf x11proto-randr-dev all 1.5.0-1 [49.7 kB]
Get:185 http://172.17.0.1/private buster-staging/main armhf libxrandr-dev armhf 2:1.5.1-1 [42.5 kB]
Get:186 http://172.17.0.1/private buster-staging/main armhf libxcursor-dev armhf 1:1.1.15-1 [41.1 kB]
Get:187 http://172.17.0.1/private buster-staging/main armhf x11proto-composite-dev all 1:0.4.2-2 [15.3 kB]
Get:188 http://172.17.0.1/private buster-staging/main armhf libxcomposite-dev armhf 1:0.4.4-2 [19.8 kB]
Get:189 http://172.17.0.1/private buster-staging/main armhf x11proto-damage-dev all 1:1.2.1-2 [11.8 kB]
Get:190 http://172.17.0.1/private buster-staging/main armhf libxdamage-dev armhf 1:1.1.4-3 [13.9 kB]
Get:191 http://172.17.0.1/private buster-staging/main armhf libxml2-utils armhf 2.9.4+dfsg1-6.1 [95.9 kB]
Get:192 http://172.17.0.1/private buster-staging/main armhf libgtk2.0-dev armhf 2.24.31-5 [2328 kB]
Get:193 http://172.17.0.1/private buster-staging/main armhf libxml2-dev armhf 2.9.4+dfsg1-6.1 [672 kB]
Get:194 http://172.17.0.1/private buster-staging/main armhf libglade2-dev armhf 1:2.6.4-2 [113 kB]
Get:195 http://172.17.0.1/private buster-staging/main armhf libenchant-dev armhf 1.6.0-11.1 [52.2 kB]
Get:196 http://172.17.0.1/private buster-staging/main armhf libgtkspell-dev armhf 2.0.16-1.1 [28.9 kB]
Get:197 http://172.17.0.1/private buster-staging/main armhf liblablgtk2-ocaml-dev armhf 2.18.5+dfsg-1+b1 [1558 kB]
Get:198 http://172.17.0.1/private buster-staging/main armhf libgtksourceview2.0-dev armhf 2.10.5-3 [187 kB]
Get:199 http://172.17.0.1/private buster-staging/main armhf liblablgtksourceview2-ocaml-dev armhf 2.18.5+dfsg-1+b1 [146 kB]
Get:200 http://172.17.0.1/private buster-staging/main armhf libcoq-ocaml-dev armhf 8.6-5 [14.3 MB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 202 MB in 27s (7252 kB/s)
Selecting previously unselected package groff-base.
(Reading database ... 16237 files and directories currently installed.)
Preparing to unpack .../00-groff-base_1.22.3-9_armhf.deb ...
Unpacking groff-base (1.22.3-9) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../01-libbsd0_0.8.6-3_armhf.deb ...
Unpacking libbsd0:armhf (0.8.6-3) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../02-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../03-libpipeline1_1.5.0-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.0-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../04-man-db_2.7.6.1-4_armhf.deb ...
Unpacking man-db (2.7.6.1-4) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../05-libfreetype6_2.8.1-1_armhf.deb ...
Unpacking libfreetype6:armhf (2.8.1-1) ...
Selecting previously unselected package ucf.
Preparing to unpack .../06-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 .../07-fonts-dejavu-core_2.37-1_all.deb ...
Unpacking fonts-dejavu-core (2.37-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../08-fontconfig-config_2.12.6-0.1_all.deb ...
Unpacking fontconfig-config (2.12.6-0.1) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../09-libfontconfig1_2.12.6-0.1_armhf.deb ...
Unpacking libfontconfig1:armhf (2.12.6-0.1) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../10-fontconfig_2.12.6-0.1_armhf.deb ...
Unpacking fontconfig (2.12.6-0.1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../11-libglib2.0-0_2.54.2-5_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.54.2-5) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../12-libatk1.0-data_2.26.1-2_all.deb ...
Unpacking libatk1.0-data (2.26.1-2) ...
Selecting previously unselected package libatk1.0-0:armhf.
Preparing to unpack .../13-libatk1.0-0_2.26.1-2_armhf.deb ...
Unpacking libatk1.0-0:armhf (2.26.1-2) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../14-libpixman-1-0_0.34.0-2_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.34.0-2) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../15-libxau6_1%3a1.0.8-1+b2_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.8-1+b2) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../16-libxdmcp6_1%3a1.1.2-3_armhf.deb ...
Unpacking libxdmcp6:armhf (1:1.1.2-3) ...
Selecting previously unselected package libxcb1:armhf.
Preparing to unpack .../17-libxcb1_1.12-1_armhf.deb ...
Unpacking libxcb1:armhf (1.12-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../18-libx11-data_2%3a1.6.4-3_all.deb ...
Unpacking libx11-data (2:1.6.4-3) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../19-libx11-6_2%3a1.6.4-3_armhf.deb ...
Unpacking libx11-6:armhf (2:1.6.4-3) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../20-libxcb-render0_1.12-1_armhf.deb ...
Unpacking libxcb-render0:armhf (1.12-1) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../21-libxcb-shm0_1.12-1_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.12-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../22-libxext6_2%3a1.3.3-1+b2_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.3-1+b2) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../23-libxrender1_1%3a0.9.10-1_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.10-1) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../24-libcairo2_1.15.8-3_armhf.deb ...
Unpacking libcairo2:armhf (1.15.8-3) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../25-libjpeg62-turbo_1%3a1.5.2-2+b1_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:1.5.2-2+b1) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../26-libjbig0_2.1-3.1+b2_armhf.deb ...
Unpacking libjbig0:armhf (2.1-3.1+b2) ...
Selecting previously unselected package libtiff5:armhf.
Preparing to unpack .../27-libtiff5_4.0.9-3_armhf.deb ...
Unpacking libtiff5:armhf (4.0.9-3) ...
Selecting previously unselected package libicu57:armhf.
Preparing to unpack .../28-libicu57_57.1-8_armhf.deb ...
Unpacking libicu57:armhf (57.1-8) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../29-libxml2_2.9.4+dfsg1-6.1_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-6.1) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../30-shared-mime-info_1.9-2_armhf.deb ...
Unpacking shared-mime-info (1.9-2) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../31-libgdk-pixbuf2.0-common_2.36.11-1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.36.11-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:armhf.
Preparing to unpack .../32-libgdk-pixbuf2.0-0_2.36.11-1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-0:armhf (2.36.11-1) ...
Selecting previously unselected package libgtk2.0-common.
Preparing to unpack .../33-libgtk2.0-common_2.24.31-5_all.deb ...
Unpacking libgtk2.0-common (2.24.31-5) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../34-libavahi-common-data_0.7-3_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.7-3) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../35-libavahi-common3_0.7-3_armhf.deb ...
Unpacking libavahi-common3:armhf (0.7-3) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../36-libavahi-client3_0.7-3_armhf.deb ...
Unpacking libavahi-client3:armhf (0.7-3) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../37-libkeyutils1_1.5.9-9.2_armhf.deb ...
Unpacking libkeyutils1:armhf (1.5.9-9.2) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../38-libkrb5support0_1.15.2-2_armhf.deb ...
Unpacking libkrb5support0:armhf (1.15.2-2) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../39-libk5crypto3_1.15.2-2_armhf.deb ...
Unpacking libk5crypto3:armhf (1.15.2-2) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../40-libkrb5-3_1.15.2-2_armhf.deb ...
Unpacking libkrb5-3:armhf (1.15.2-2) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../41-libgssapi-krb5-2_1.15.2-2_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.15.2-2) ...
Selecting previously unselected package libcups2:armhf.
Preparing to unpack .../42-libcups2_2.2.6-4_armhf.deb ...
Unpacking libcups2:armhf (2.2.6-4) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../43-libthai-data_0.1.27-1_all.deb ...
Unpacking libthai-data (0.1.27-1) ...
Selecting previously unselected package libdatrie1:armhf.
Preparing to unpack .../44-libdatrie1_0.2.10-6_armhf.deb ...
Unpacking libdatrie1:armhf (0.2.10-6) ...
Selecting previously unselected package libthai0:armhf.
Preparing to unpack .../45-libthai0_0.1.27-1_armhf.deb ...
Unpacking libthai0:armhf (0.1.27-1) ...
Selecting previously unselected package libpango-1.0-0:armhf.
Preparing to unpack .../46-libpango-1.0-0_1.40.14-1_armhf.deb ...
Unpacking libpango-1.0-0:armhf (1.40.14-1) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../47-libgraphite2-3_1.3.10-8_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.10-8) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../48-libharfbuzz0b_1.7.2-1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (1.7.2-1) ...
Selecting previously unselected package libpangoft2-1.0-0:armhf.
Preparing to unpack .../49-libpangoft2-1.0-0_1.40.14-1_armhf.deb ...
Unpacking libpangoft2-1.0-0:armhf (1.40.14-1) ...
Selecting previously unselected package libpangocairo-1.0-0:armhf.
Preparing to unpack .../50-libpangocairo-1.0-0_1.40.14-1_armhf.deb ...
Unpacking libpangocairo-1.0-0:armhf (1.40.14-1) ...
Selecting previously unselected package libxcomposite1:armhf.
Preparing to unpack .../51-libxcomposite1_1%3a0.4.4-2_armhf.deb ...
Unpacking libxcomposite1:armhf (1:0.4.4-2) ...
Selecting previously unselected package libxfixes3:armhf.
Preparing to unpack .../52-libxfixes3_1%3a5.0.3-1_armhf.deb ...
Unpacking libxfixes3:armhf (1:5.0.3-1) ...
Selecting previously unselected package libxcursor1:armhf.
Preparing to unpack .../53-libxcursor1_1%3a1.1.15-1_armhf.deb ...
Unpacking libxcursor1:armhf (1:1.1.15-1) ...
Selecting previously unselected package libxdamage1:armhf.
Preparing to unpack .../54-libxdamage1_1%3a1.1.4-3_armhf.deb ...
Unpacking libxdamage1:armhf (1:1.1.4-3) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../55-libxi6_2%3a1.7.9-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.7.9-1) ...
Selecting previously unselected package libxinerama1:armhf.
Preparing to unpack .../56-libxinerama1_2%3a1.1.3-1+b3_armhf.deb ...
Unpacking libxinerama1:armhf (2:1.1.3-1+b3) ...
Selecting previously unselected package libxrandr2:armhf.
Preparing to unpack .../57-libxrandr2_2%3a1.5.1-1_armhf.deb ...
Unpacking libxrandr2:armhf (2:1.5.1-1) ...
Selecting previously unselected package hicolor-icon-theme.
Preparing to unpack .../58-hicolor-icon-theme_0.17-1_all.deb ...
Unpacking hicolor-icon-theme (0.17-1) ...
Selecting previously unselected package gtk-update-icon-cache.
Preparing to unpack .../59-gtk-update-icon-cache_3.22.26-2+rpi1_armhf.deb ...
No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed.
No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed.
Unpacking gtk-update-icon-cache (3.22.26-2+rpi1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../60-libcroco3_0.6.12-2_armhf.deb ...
Unpacking libcroco3:armhf (0.6.12-2) ...
Selecting previously unselected package librsvg2-2:armhf.
Preparing to unpack .../61-librsvg2-2_2.40.20-2_armhf.deb ...
Unpacking librsvg2-2:armhf (2.40.20-2) ...
Selecting previously unselected package librsvg2-common:armhf.
Preparing to unpack .../62-librsvg2-common_2.40.20-2_armhf.deb ...
Unpacking librsvg2-common:armhf (2.40.20-2) ...
Selecting previously unselected package gnome-icon-theme.
Preparing to unpack .../63-gnome-icon-theme_3.12.0-2_all.deb ...
Unpacking gnome-icon-theme (3.12.0-2) ...
Selecting previously unselected package libgtk2.0-0:armhf.
Preparing to unpack .../64-libgtk2.0-0_2.24.31-5_armhf.deb ...
Unpacking libgtk2.0-0:armhf (2.24.31-5) ...
Selecting previously unselected package libglade2-0:armhf.
Preparing to unpack .../65-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 .../66-liblzo2-2_2.08-1.2_armhf.deb ...
Unpacking liblzo2-2:armhf (2.08-1.2) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../67-libpython2.7-minimal_2.7.14-4_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.14-4) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../68-python2.7-minimal_2.7.14-4_armhf.deb ...
Unpacking python2.7-minimal (2.7.14-4) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../69-python-minimal_2.7.14-4_armhf.deb ...
Unpacking python-minimal (2.7.14-4) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../70-libpython2.7-stdlib_2.7.14-4_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.14-4) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../71-python2.7_2.7.14-4_armhf.deb ...
Unpacking python2.7 (2.7.14-4) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../72-libpython-stdlib_2.7.14-4_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.14-4) ...
Setting up libpython2.7-minimal:armhf (2.7.14-4) ...
Setting up python2.7-minimal (2.7.14-4) ...
Setting up python-minimal (2.7.14-4) ...
Selecting previously unselected package python.
(Reading database ... 25509 files and directories currently installed.)
Preparing to unpack .../000-python_2.7.14-4_armhf.deb ...
Unpacking python (2.7.14-4) ...
Selecting previously unselected package libtext-iconv-perl.
Preparing to unpack .../001-libtext-iconv-perl_1.7-5+b9_armhf.deb ...
Unpacking libtext-iconv-perl (1.7-5+b9) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../002-gettext-base_0.19.8.1-4_armhf.deb ...
Unpacking gettext-base (0.19.8.1-4) ...
Selecting previously unselected package libaspell15:armhf.
Preparing to unpack .../003-libaspell15_0.60.7~20110707-4_armhf.deb ...
Unpacking libaspell15:armhf (0.60.7~20110707-4) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../004-emacsen-common_2.0.8_all.deb ...
Unpacking emacsen-common (2.0.8) ...
Selecting previously unselected package dictionaries-common.
Preparing to unpack .../005-dictionaries-common_1.27.2_all.deb ...
Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common'
Unpacking dictionaries-common (1.27.2) ...
Selecting previously unselected package aspell.
Preparing to unpack .../006-aspell_0.60.7~20110707-4_armhf.deb ...
Unpacking aspell (0.60.7~20110707-4) ...
Selecting previously unselected package aspell-en.
Preparing to unpack .../007-aspell-en_2017.08.24-0-0.1_all.deb ...
Unpacking aspell-en (2017.08.24-0-0.1) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../008-libsigsegv2_2.11-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.11-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../009-m4_1.4.18-1_armhf.deb ...
Unpacking m4 (1.4.18-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../010-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../011-autotools-dev_20171216.1_all.deb ...
Unpacking autotools-dev (20171216.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../012-automake_1%3a1.15.1-3_all.deb ...
Unpacking automake (1:1.15.1-3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../013-autopoint_0.19.8.1-4_all.deb ...
Unpacking autopoint (0.19.8.1-4) ...
Selecting previously unselected package coq-theories.
Preparing to unpack .../014-coq-theories_8.6-5_armhf.deb ...
Unpacking coq-theories (8.6-5) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../015-ocaml-base-nox_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.05.0-10+rpi1) ...
Selecting previously unselected package libhunspell-1.6-0:armhf.
Preparing to unpack .../016-libhunspell-1.6-0_1.6.2-1_armhf.deb ...
Unpacking libhunspell-1.6-0:armhf (1.6.2-1) ...
Selecting previously unselected package libenchant1c2a:armhf.
Preparing to unpack .../017-libenchant1c2a_1.6.0-11.1_armhf.deb ...
Unpacking libenchant1c2a:armhf (1.6.0-11.1) ...
Selecting previously unselected package libgtkspell0.
Preparing to unpack .../018-libgtkspell0_2.0.16-1.1_armhf.deb ...
Unpacking libgtkspell0 (2.0.16-1.1) ...
Selecting previously unselected package liblablgtk2-ocaml.
Preparing to unpack .../019-liblablgtk2-ocaml_2.18.5+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtk2-ocaml (2.18.5+dfsg-1+b1) ...
Selecting previously unselected package libgtksourceview2.0-common.
Preparing to unpack .../020-libgtksourceview2.0-common_2.10.5-3_all.deb ...
Unpacking libgtksourceview2.0-common (2.10.5-3) ...
Selecting previously unselected package libgtksourceview2.0-0:armhf.
Preparing to unpack .../021-libgtksourceview2.0-0_2.10.5-3_armhf.deb ...
Unpacking libgtksourceview2.0-0:armhf (2.10.5-3) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Preparing to unpack .../022-liblablgtksourceview2-ocaml_2.18.5+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml (2.18.5+dfsg-1+b1) ...
Selecting previously unselected package libcoq-ocaml.
Preparing to unpack .../023-libcoq-ocaml_8.6-5_armhf.deb ...
Unpacking libcoq-ocaml (8.6-5) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../024-libtinfo-dev_6.0+20171125-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20171125-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../025-libncurses5-dev_6.0+20171125-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.0+20171125-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../026-ocaml-compiler-libs_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.05.0-10+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../027-ocaml-interp_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.05.0-10+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../028-ocaml-nox_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.05.0-10+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../029-libfindlib-ocaml_1.7.3-2_armhf.deb ...
Unpacking libfindlib-ocaml (1.7.3-2) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../030-ocaml-findlib_1.7.3-2_armhf.deb ...
Unpacking ocaml-findlib (1.7.3-2) ...
Selecting previously unselected package coq.
Preparing to unpack .../031-coq_8.6-5_armhf.deb ...
Unpacking coq (8.6-5) ...
Selecting previously unselected package libtool.
Preparing to unpack .../032-libtool_2.4.6-2_all.deb ...
Unpacking libtool (2.4.6-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../033-dh-autoreconf_15_all.deb ...
Unpacking dh-autoreconf (15) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../034-libarchive-zip-perl_1.60-1_all.deb ...
Unpacking libarchive-zip-perl (1.60-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../035-libfile-stripnondeterminism-perl_0.040-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.040-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../036-libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../037-dh-strip-nondeterminism_0.040-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.040-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../038-gettext_0.19.8.1-4_armhf.deb ...
Unpacking gettext (0.19.8.1-4) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../039-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 .../040-po-debconf_1.0.20_all.deb ...
Unpacking po-debconf (1.0.20) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../041-debhelper_11_all.deb ...
Unpacking debhelper (11) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../042-dh-ocaml_1.1.0_all.deb ...
Unpacking dh-ocaml (1.1.0) ...
Selecting previously unselected package libgirepository-1.0-1:armhf.
Preparing to unpack .../043-libgirepository-1.0-1_1.54.1-4_armhf.deb ...
Unpacking libgirepository-1.0-1:armhf (1.54.1-4) ...
Selecting previously unselected package gir1.2-glib-2.0:armhf.
Preparing to unpack .../044-gir1.2-glib-2.0_1.54.1-4_armhf.deb ...
Unpacking gir1.2-glib-2.0:armhf (1.54.1-4) ...
Selecting previously unselected package gir1.2-atk-1.0:armhf.
Preparing to unpack .../045-gir1.2-atk-1.0_2.26.1-2_armhf.deb ...
Unpacking gir1.2-atk-1.0:armhf (2.26.1-2) ...
Selecting previously unselected package libcairo-gobject2:armhf.
Preparing to unpack .../046-libcairo-gobject2_1.15.8-3_armhf.deb ...
Unpacking libcairo-gobject2:armhf (1.15.8-3) ...
Selecting previously unselected package gir1.2-freedesktop:armhf.
Preparing to unpack .../047-gir1.2-freedesktop_1.54.1-4_armhf.deb ...
Unpacking gir1.2-freedesktop:armhf (1.54.1-4) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0:armhf.
Preparing to unpack .../048-gir1.2-gdkpixbuf-2.0_2.36.11-1_armhf.deb ...
Unpacking gir1.2-gdkpixbuf-2.0:armhf (2.36.11-1) ...
Selecting previously unselected package libxft2:armhf.
Preparing to unpack .../049-libxft2_2.3.2-1+b2_armhf.deb ...
Unpacking libxft2:armhf (2.3.2-1+b2) ...
Selecting previously unselected package libpangoxft-1.0-0:armhf.
Preparing to unpack .../050-libpangoxft-1.0-0_1.40.14-1_armhf.deb ...
Unpacking libpangoxft-1.0-0:armhf (1.40.14-1) ...
Selecting previously unselected package gir1.2-pango-1.0:armhf.
Preparing to unpack .../051-gir1.2-pango-1.0_1.40.14-1_armhf.deb ...
Unpacking gir1.2-pango-1.0:armhf (1.40.14-1) ...
Selecting previously unselected package gir1.2-gtk-2.0.
Preparing to unpack .../052-gir1.2-gtk-2.0_2.24.31-5_armhf.deb ...
Unpacking gir1.2-gtk-2.0 (2.24.31-5) ...
Selecting previously unselected package libharfbuzz-gobject0:armhf.
Preparing to unpack .../053-libharfbuzz-gobject0_1.7.2-1_armhf.deb ...
Unpacking libharfbuzz-gobject0:armhf (1.7.2-1) ...
Selecting previously unselected package gir1.2-harfbuzz-0.0:armhf.
Preparing to unpack .../054-gir1.2-harfbuzz-0.0_1.7.2-1_armhf.deb ...
Unpacking gir1.2-harfbuzz-0.0:armhf (1.7.2-1) ...
Selecting previously unselected package icu-devtools.
Preparing to unpack .../055-icu-devtools_57.1-8_armhf.deb ...
Unpacking icu-devtools (57.1-8) ...
Selecting previously unselected package pkg-config.
Preparing to unpack .../056-pkg-config_0.29-4_armhf.deb ...
Unpacking pkg-config (0.29-4) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../057-libelf1_0.170-0.2_armhf.deb ...
Unpacking libelf1:armhf (0.170-0.2) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../058-libglib2.0-data_2.54.2-5_all.deb ...
Unpacking libglib2.0-data (2.54.2-5) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../059-libglib2.0-bin_2.54.2-5_armhf.deb ...
Unpacking libglib2.0-bin (2.54.2-5) ...
Selecting previously unselected package libglib2.0-dev-bin.
Preparing to unpack .../060-libglib2.0-dev-bin_2.54.2-5_armhf.deb ...
Unpacking libglib2.0-dev-bin (2.54.2-5) ...
Selecting previously unselected package libpcre16-3:armhf.
Preparing to unpack .../061-libpcre16-3_2%3a8.39-8_armhf.deb ...
Unpacking libpcre16-3:armhf (2:8.39-8) ...
Selecting previously unselected package libpcre32-3:armhf.
Preparing to unpack .../062-libpcre32-3_2%3a8.39-8_armhf.deb ...
Unpacking libpcre32-3:armhf (2:8.39-8) ...
Selecting previously unselected package libpcrecpp0v5:armhf.
Preparing to unpack .../063-libpcrecpp0v5_2%3a8.39-8_armhf.deb ...
Unpacking libpcrecpp0v5:armhf (2:8.39-8) ...
Selecting previously unselected package libpcre3-dev:armhf.
Preparing to unpack .../064-libpcre3-dev_2%3a8.39-8_armhf.deb ...
Unpacking libpcre3-dev:armhf (2:8.39-8) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../065-zlib1g-dev_1%3a1.2.8.dfsg-5_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.8.dfsg-5) ...
Selecting previously unselected package libglib2.0-dev:armhf.
Preparing to unpack .../066-libglib2.0-dev_2.54.2-5_armhf.deb ...
Unpacking libglib2.0-dev:armhf (2.54.2-5) ...
Selecting previously unselected package libatk1.0-dev:armhf.
Preparing to unpack .../067-libatk1.0-dev_2.26.1-2_armhf.deb ...
Unpacking libatk1.0-dev:armhf (2.26.1-2) ...
Selecting previously unselected package libcairo-script-interpreter2:armhf.
Preparing to unpack .../068-libcairo-script-interpreter2_1.15.8-3_armhf.deb ...
Unpacking libcairo-script-interpreter2:armhf (1.15.8-3) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../069-libexpat1-dev_2.2.5-3_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.2.5-3) ...
Selecting previously unselected package libpng-dev:armhf.
Preparing to unpack .../070-libpng-dev_1.6.34-1_armhf.deb ...
Unpacking libpng-dev:armhf (1.6.34-1) ...
Selecting previously unselected package libfreetype6-dev:armhf.
Preparing to unpack .../071-libfreetype6-dev_2.8.1-1_armhf.deb ...
Unpacking libfreetype6-dev:armhf (2.8.1-1) ...
Selecting previously unselected package libfontconfig1-dev:armhf.
Preparing to unpack .../072-libfontconfig1-dev_2.12.6-0.1_armhf.deb ...
Unpacking libfontconfig1-dev:armhf (2.12.6-0.1) ...
Selecting previously unselected package xorg-sgml-doctools.
Preparing to unpack .../073-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 .../074-x11proto-core-dev_7.0.31-1_all.deb ...
Unpacking x11proto-core-dev (7.0.31-1) ...
Selecting previously unselected package libxau-dev:armhf.
Preparing to unpack .../075-libxau-dev_1%3a1.0.8-1+b2_armhf.deb ...
Unpacking libxau-dev:armhf (1:1.0.8-1+b2) ...
Selecting previously unselected package libxdmcp-dev:armhf.
Preparing to unpack .../076-libxdmcp-dev_1%3a1.1.2-3_armhf.deb ...
Unpacking libxdmcp-dev:armhf (1:1.1.2-3) ...
Selecting previously unselected package x11proto-input-dev.
Preparing to unpack .../077-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 .../078-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 .../079-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 .../080-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 .../081-libxcb1-dev_1.12-1_armhf.deb ...
Unpacking libxcb1-dev:armhf (1.12-1) ...
Selecting previously unselected package libx11-dev:armhf.
Preparing to unpack .../082-libx11-dev_2%3a1.6.4-3_armhf.deb ...
Unpacking libx11-dev:armhf (2:1.6.4-3) ...
Selecting previously unselected package x11proto-render-dev.
Preparing to unpack .../083-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 .../084-libxrender-dev_1%3a0.9.10-1_armhf.deb ...
Unpacking libxrender-dev:armhf (1:0.9.10-1) ...
Selecting previously unselected package x11proto-xext-dev.
Preparing to unpack .../085-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 .../086-libxext-dev_2%3a1.3.3-1+b2_armhf.deb ...
Unpacking libxext-dev:armhf (2:1.3.3-1+b2) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../087-x11-common_1%3a7.7+19_all.deb ...
Unpacking x11-common (1:7.7+19) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../088-libice6_2%3a1.0.9-2_armhf.deb ...
Unpacking libice6:armhf (2:1.0.9-2) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../089-libsm6_2%3a1.2.2-1+b3_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.2-1+b3) ...
Selecting previously unselected package libice-dev:armhf.
Preparing to unpack .../090-libice-dev_2%3a1.0.9-2_armhf.deb ...
Unpacking libice-dev:armhf (2:1.0.9-2) ...
Selecting previously unselected package libsm-dev:armhf.
Preparing to unpack .../091-libsm-dev_2%3a1.2.2-1+b3_armhf.deb ...
Unpacking libsm-dev:armhf (2:1.2.2-1+b3) ...
Selecting previously unselected package libpixman-1-dev:armhf.
Preparing to unpack .../092-libpixman-1-dev_0.34.0-2_armhf.deb ...
Unpacking libpixman-1-dev:armhf (0.34.0-2) ...
Selecting previously unselected package libxcb-render0-dev:armhf.
Preparing to unpack .../093-libxcb-render0-dev_1.12-1_armhf.deb ...
Unpacking libxcb-render0-dev:armhf (1.12-1) ...
Selecting previously unselected package libxcb-shm0-dev:armhf.
Preparing to unpack .../094-libxcb-shm0-dev_1.12-1_armhf.deb ...
Unpacking libxcb-shm0-dev:armhf (1.12-1) ...
Selecting previously unselected package libcairo2-dev.
Preparing to unpack .../095-libcairo2-dev_1.15.8-3_armhf.deb ...
Unpacking libcairo2-dev (1.15.8-3) ...
Selecting previously unselected package camlp5.
Preparing to unpack .../096-camlp5_7.01-1+b1_armhf.deb ...
Unpacking camlp5 (7.01-1+b1) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev.
Preparing to unpack .../097-libgdk-pixbuf2.0-dev_2.36.11-1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-dev (2.36.11-1) ...
Selecting previously unselected package libharfbuzz-icu0:armhf.
Preparing to unpack .../098-libharfbuzz-icu0_1.7.2-1_armhf.deb ...
Unpacking libharfbuzz-icu0:armhf (1.7.2-1) ...
Selecting previously unselected package libgraphite2-dev:armhf.
Preparing to unpack .../099-libgraphite2-dev_1.3.10-8_armhf.deb ...
Unpacking libgraphite2-dev:armhf (1.3.10-8) ...
Selecting previously unselected package libicu-dev.
Preparing to unpack .../100-libicu-dev_57.1-8_armhf.deb ...
Unpacking libicu-dev (57.1-8) ...
Selecting previously unselected package libharfbuzz-dev:armhf.
Preparing to unpack .../101-libharfbuzz-dev_1.7.2-1_armhf.deb ...
Unpacking libharfbuzz-dev:armhf (1.7.2-1) ...
Selecting previously unselected package libxft-dev.
Preparing to unpack .../102-libxft-dev_2.3.2-1+b2_armhf.deb ...
Unpacking libxft-dev (2.3.2-1+b2) ...
Selecting previously unselected package libpango1.0-dev.
Preparing to unpack .../103-libpango1.0-dev_1.40.14-1_armhf.deb ...
Unpacking libpango1.0-dev (1.40.14-1) ...
Selecting previously unselected package x11proto-xinerama-dev.
Preparing to unpack .../104-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 .../105-libxinerama-dev_2%3a1.1.3-1+b3_armhf.deb ...
Unpacking libxinerama-dev:armhf (2:1.1.3-1+b3) ...
Selecting previously unselected package x11proto-fixes-dev.
Preparing to unpack .../106-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 .../107-libxfixes-dev_1%3a5.0.3-1_armhf.deb ...
Unpacking libxfixes-dev:armhf (1:5.0.3-1) ...
Selecting previously unselected package libxi-dev:armhf.
Preparing to unpack .../108-libxi-dev_2%3a1.7.9-1_armhf.deb ...
Unpacking libxi-dev:armhf (2:1.7.9-1) ...
Selecting previously unselected package x11proto-randr-dev.
Preparing to unpack .../109-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 .../110-libxrandr-dev_2%3a1.5.1-1_armhf.deb ...
Unpacking libxrandr-dev:armhf (2:1.5.1-1) ...
Selecting previously unselected package libxcursor-dev:armhf.
Preparing to unpack .../111-libxcursor-dev_1%3a1.1.15-1_armhf.deb ...
Unpacking libxcursor-dev:armhf (1:1.1.15-1) ...
Selecting previously unselected package x11proto-composite-dev.
Preparing to unpack .../112-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:armhf.
Preparing to unpack .../113-libxcomposite-dev_1%3a0.4.4-2_armhf.deb ...
Unpacking libxcomposite-dev:armhf (1:0.4.4-2) ...
Selecting previously unselected package x11proto-damage-dev.
Preparing to unpack .../114-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 .../115-libxdamage-dev_1%3a1.1.4-3_armhf.deb ...
Unpacking libxdamage-dev:armhf (1:1.1.4-3) ...
Selecting previously unselected package libxml2-utils.
Preparing to unpack .../116-libxml2-utils_2.9.4+dfsg1-6.1_armhf.deb ...
Unpacking libxml2-utils (2.9.4+dfsg1-6.1) ...
Selecting previously unselected package libgtk2.0-dev.
Preparing to unpack .../117-libgtk2.0-dev_2.24.31-5_armhf.deb ...
Unpacking libgtk2.0-dev (2.24.31-5) ...
Selecting previously unselected package libxml2-dev:armhf.
Preparing to unpack .../118-libxml2-dev_2.9.4+dfsg1-6.1_armhf.deb ...
Unpacking libxml2-dev:armhf (2.9.4+dfsg1-6.1) ...
Selecting previously unselected package libglade2-dev:armhf.
Preparing to unpack .../119-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 .../120-libenchant-dev_1.6.0-11.1_armhf.deb ...
Unpacking libenchant-dev (1.6.0-11.1) ...
Selecting previously unselected package libgtkspell-dev.
Preparing to unpack .../121-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 .../122-liblablgtk2-ocaml-dev_2.18.5+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtk2-ocaml-dev (2.18.5+dfsg-1+b1) ...
Selecting previously unselected package libgtksourceview2.0-dev:armhf.
Preparing to unpack .../123-libgtksourceview2.0-dev_2.10.5-3_armhf.deb ...
Unpacking libgtksourceview2.0-dev:armhf (2.10.5-3) ...
Selecting previously unselected package liblablgtksourceview2-ocaml-dev.
Preparing to unpack .../124-liblablgtksourceview2-ocaml-dev_2.18.5+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml-dev (2.18.5+dfsg-1+b1) ...
Selecting previously unselected package libcoq-ocaml-dev.
Preparing to unpack .../125-libcoq-ocaml-dev_8.6-5_armhf.deb ...
Unpacking libcoq-ocaml-dev (8.6-5) ...
Selecting previously unselected package sbuild-build-depends-aac-tactics-dummy.
Preparing to unpack .../126-sbuild-build-depends-aac-tactics-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ...
Setting up libgtk2.0-common (2.24.31-5) ...
Setting up libjpeg62-turbo:armhf (1:1.5.2-2+b1) ...
Setting up libarchive-zip-perl (1.60-1) ...
Processing triggers for mime-support (3.60) ...
Setting up libhunspell-1.6-0:armhf (1.6.2-1) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libjbig0:armhf (2.1-3.1+b2) ...
Setting up libsigsegv2:armhf (2.11-1) ...
Setting up libpthread-stubs0-dev:armhf (0.3-4) ...
Setting up libaspell15:armhf (0.60.7~20110707-4) ...
Setting up fonts-dejavu-core (2.37-1) ...
Setting up libelf1:armhf (0.170-0.2) ...
Setting up groff-base (1.22.3-9) ...
Setting up libglib2.0-0:armhf (2.54.2-5) ...
No schema files found: doing nothing.
Setting up xorg-sgml-doctools (1:1.11-1) ...
Setting up emacsen-common (2.0.8) ...
Setting up ocaml-base-nox (4.05.0-10+rpi1) ...
Setting up libtinfo-dev:armhf (6.0+20171125-1) ...
Setting up dh-ocaml (1.1.0) ...
Setting up libgdk-pixbuf2.0-common (2.36.11-1) ...
Setting up libdatrie1:armhf (0.2.10-6) ...
Setting up libtiff5:armhf (4.0.9-3) ...
Setting up gettext-base (0.19.8.1-4) ...
Setting up libpipeline1:armhf (1.5.0-1) ...
Setting up x11proto-kb-dev (1.0.7-1) ...
Setting up m4 (1.4.18-1) ...
Setting up libicu57:armhf (57.1-8) ...
Setting up libbsd0:armhf (0.8.6-3) ...
Setting up ucf (3.0036) ...
Setting up libgirepository-1.0-1:armhf (1.54.1-4) ...
Setting up libxml2:armhf (2.9.4+dfsg1-6.1) ...
Setting up libfreetype6:armhf (2.8.1-1) ...
Setting up libgraphite2-3:armhf (1.3.10-8) ...
Setting up libcroco3:armhf (0.6.12-2) ...
Setting up libncurses5-dev:armhf (6.0+20171125-1) ...
Setting up libatk1.0-data (2.26.1-2) ...
Setting up pkg-config (0.29-4) ...
Setting up libpixman-1-0:armhf (0.34.0-2) ...
Setting up xtrans-dev (1.3.5-1) ...
Setting up gir1.2-glib-2.0:armhf (1.54.1-4) ...
Setting up libglib2.0-data (2.54.2-5) ...
Setting up libgtksourceview2.0-common (2.10.5-3) ...
Processing triggers for libc-bin (2.25-5+rpi1) ...
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up autotools-dev (20171216.1) ...
Setting up libpixman-1-dev:armhf (0.34.0-2) ...
Setting up libatk1.0-0:armhf (2.26.1-2) ...
Setting up libtext-iconv-perl (1.7-5+b9) ...
Setting up x11proto-randr-dev (1.5.0-1) ...
Processing triggers for systemd (236-1) ...
Setting up libexpat1-dev:armhf (2.2.5-3) ...
Setting up shared-mime-info (1.9-2) ...
Setting up libpcrecpp0v5:armhf (2:8.39-8) ...
Setting up libpcre32-3:armhf (2:8.39-8) ...
Setting up icu-devtools (57.1-8) ...
Setting up libpcre16-3:armhf (2:8.39-8) ...
Setting up libthai-data (0.1.27-1) ...
Setting up libxdmcp6:armhf (1:1.1.2-3) ...
Setting up libkeyutils1:armhf (1.5.9-9.2) ...
Setting up bsdmainutils (11.1.2) ...
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 x11-common (1:7.7+19) ...
update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults
invoke-rc.d: could not determine current runlevel
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up hicolor-icon-theme (0.17-1) ...
Setting up libglib2.0-bin (2.54.2-5) ...
Setting up libgraphite2-dev:armhf (1.3.10-8) ...
Setting up libfindlib-ocaml (1.7.3-2) ...
Setting up ocaml-findlib (1.7.3-2) ...
Setting up libx11-data (2:1.6.4-3) ...
Setting up libpython2.7-stdlib:armhf (2.7.14-4) ...
Setting up libxau6:armhf (1:1.0.8-1+b2) ...
Setting up autopoint (0.19.8.1-4) ...
Setting up liblzo2-2:armhf (2.08-1.2) ...
Setting up libavahi-common-data:armhf (0.7-3) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-5) ...
Setting up libfile-stripnondeterminism-perl (0.040-1) ...
Setting up libtool (2.4.6-2) ...
Setting up libpcre3-dev:armhf (2:8.39-8) ...
Setting up gir1.2-atk-1.0:armhf (2.26.1-2) ...
Setting up fontconfig-config (2.12.6-0.1) ...
Setting up x11proto-core-dev (7.0.31-1) ...
Setting up libglib2.0-dev-bin (2.54.2-5) ...
Setting up gettext (0.19.8.1-4) ...
Setting up dictionaries-common (1.27.2) ...
Setting up libxml2-utils (2.9.4+dfsg1-6.1) ...
Setting up python2.7 (2.7.14-4) ...
Setting up libharfbuzz0b:armhf (1.7.2-1) ...
Setting up libxau-dev:armhf (1:1.0.8-1+b2) ...
Setting up autoconf (2.69-11) ...
Setting up libthai0:armhf (0.1.27-1) ...
Setting up libicu-dev (57.1-8) ...
Setting up libkrb5support0:armhf (1.15.2-2) ...
Setting up libglib2.0-dev:armhf (2.54.2-5) ...
Setting up libxml2-dev:armhf (2.9.4+dfsg1-6.1) ...
Setting up libpython-stdlib:armhf (2.7.14-4) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up libxdmcp-dev:armhf (1:1.1.2-3) ...
Setting up automake (1:1.15.1-3) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up libice6:armhf (2:1.0.9-2) ...
Setting up man-db (2.7.6.1-4) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libavahi-common3:armhf (0.7-3) ...
Setting up libpng-dev:armhf (1.6.34-1) ...
Setting up x11proto-render-dev (2:0.11.1-2) ...
Setting up aspell (0.60.7~20110707-4) ...
Setting up libxcb1:armhf (1.12-1) ...
Setting up x11proto-input-dev (2.3.2-1) ...
Setting up libharfbuzz-gobject0:armhf (1.7.2-1) ...
Setting up python (2.7.14-4) ...
Setting up libfontconfig1:armhf (2.12.6-0.1) ...
Setting up libsm6:armhf (2:1.2.2-1+b3) ...
Setting up libk5crypto3:armhf (1.15.2-2) ...
Setting up libxcb-render0:armhf (1.12-1) ...
Setting up libharfbuzz-icu0:armhf (1.7.2-1) ...
Setting up po-debconf (1.0.20) ...
Setting up libx11-6:armhf (2:1.6.4-3) ...
Setting up libatk1.0-dev:armhf (2.26.1-2) ...
Setting up x11proto-xext-dev (7.3.0-1) ...
Setting up gir1.2-harfbuzz-0.0:armhf (1.7.2-1) ...
Setting up libfreetype6-dev:armhf (2.8.1-1) ...
Setting up libice-dev:armhf (2:1.0.9-2) ...
Setting up aspell-en (2017.08.24-0-0.1) ...
Setting up libxcomposite1:armhf (1:0.4.4-2) ...
Setting up libxcb-shm0:armhf (1.12-1) ...
Setting up libxrender1:armhf (1:0.9.10-1) ...
Setting up libxcb1-dev:armhf (1.12-1) ...
Setting up libavahi-client3:armhf (0.7-3) ...
Setting up libkrb5-3:armhf (1.15.2-2) ...
Setting up libx11-dev:armhf (2:1.6.4-3) ...
Setting up libxft2:armhf (2.3.2-1+b2) ...
Setting up libharfbuzz-dev:armhf (1.7.2-1) ...
Setting up fontconfig (2.12.6-0.1) ...
Regenerating fonts cache... done.
Setting up libfontconfig1-dev:armhf (2.12.6-0.1) ...
Setting up libenchant1c2a:armhf (1.6.0-11.1) ...
Setting up libsm-dev:armhf (2:1.2.2-1+b3) ...
Setting up libxext6:armhf (2:1.3.3-1+b2) ...
Setting up libxfixes3:armhf (1:5.0.3-1) ...
Setting up x11proto-fixes-dev (1:5.0-2) ...
Setting up libgdk-pixbuf2.0-0:armhf (2.36.11-1) ...
Setting up libxcb-shm0-dev:armhf (1.12-1) ...
Setting up gir1.2-gdkpixbuf-2.0:armhf (2.36.11-1) ...
Setting up libxrender-dev:armhf (1:0.9.10-1) ...
Setting up libgssapi-krb5-2:armhf (1.15.2-2) ...
Setting up libxcb-render0-dev:armhf (1.12-1) ...
Setting up x11proto-damage-dev (1:1.2.1-2) ...
Setting up libxft-dev (2.3.2-1+b2) ...
Setting up gtk-update-icon-cache (3.22.26-2+rpi1) ...
Setting up libgdk-pixbuf2.0-dev (2.36.11-1) ...
Setting up libxcursor1:armhf (1:1.1.15-1) ...
Setting up libxext-dev:armhf (2:1.3.3-1+b2) ...
Setting up libpango-1.0-0:armhf (1.40.14-1) ...
Setting up libenchant-dev (1.6.0-11.1) ...
Setting up libxfixes-dev:armhf (1:5.0.3-1) ...
Setting up x11proto-composite-dev (1:0.4.2-2) ...
Setting up libxrandr2:armhf (2:1.5.1-1) ...
Setting up libcups2:armhf (2.2.6-4) ...
Setting up libxi6:armhf (2:1.7.9-1) ...
Setting up libcairo2:armhf (1.15.8-3) ...
Setting up libxinerama1:armhf (2:1.1.3-1+b3) ...
Setting up libxcursor-dev:armhf (1:1.1.15-1) ...
Setting up libxdamage1:armhf (1:1.1.4-3) ...
Setting up libxrandr-dev:armhf (2:1.5.1-1) ...
Setting up libxcomposite-dev:armhf (1:0.4.4-2) ...
Setting up libcairo-script-interpreter2:armhf (1.15.8-3) ...
Setting up libcairo-gobject2:armhf (1.15.8-3) ...
Setting up libxdamage-dev:armhf (1:1.1.4-3) ...
Setting up libpangoft2-1.0-0:armhf (1.40.14-1) ...
Setting up libxinerama-dev:armhf (2:1.1.3-1+b3) ...
Setting up libxi-dev:armhf (2:1.7.9-1) ...
Setting up libcairo2-dev (1.15.8-3) ...
Setting up gir1.2-freedesktop:armhf (1.54.1-4) ...
Setting up libpangoxft-1.0-0:armhf (1.40.14-1) ...
Setting up libpangocairo-1.0-0:armhf (1.40.14-1) ...
Setting up gir1.2-pango-1.0:armhf (1.40.14-1) ...
Setting up libpango1.0-dev (1.40.14-1) ...
Setting up librsvg2-2:armhf (2.40.20-2) ...
Setting up librsvg2-common:armhf (2.40.20-2) ...
Setting up gnome-icon-theme (3.12.0-2) ...
update-alternatives: using /usr/share/icons/gnome/scalable/places/debian-swirl.svg to provide /usr/share/icons/gnome/scalable/places/start-here.svg (start-here.svg) in auto mode
Setting up libgtk2.0-0:armhf (2.24.31-5) ...
Setting up libgtksourceview2.0-0:armhf (2.10.5-3) ...
Setting up libgtkspell0 (2.0.16-1.1) ...
Setting up libglade2-0:armhf (1:2.6.4-2) ...
Setting up gir1.2-gtk-2.0 (2.24.31-5) ...
Setting up liblablgtk2-ocaml (2.18.5+dfsg-1+b1) ...
Setting up libgtk2.0-dev (2.24.31-5) ...
Setting up liblablgtksourceview2-ocaml (2.18.5+dfsg-1+b1) ...
Setting up libglade2-dev:armhf (1:2.6.4-2) ...
Setting up libgtkspell-dev (2.0.16-1.1) ...
Setting up libcoq-ocaml (8.6-5) ...
Setting up libgtksourceview2.0-dev:armhf (2.10.5-3) ...
Setting up coq-theories (8.6-5) ...
Setting up ocaml-compiler-libs (4.05.0-10+rpi1) ...
Setting up debhelper (11) ...
Setting up dh-autoreconf (15) ...
Setting up ocaml-interp (4.05.0-10+rpi1) ...
Setting up dh-strip-nondeterminism (0.040-1) ...
Setting up ocaml-nox (4.05.0-10+rpi1) ...
Setting up camlp5 (7.01-1+b1) ...
Setting up coq (8.6-5) ...
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 liblablgtk2-ocaml-dev (2.18.5+dfsg-1+b1) ...
Setting up liblablgtksourceview2-ocaml-dev (2.18.5+dfsg-1+b1) ...
Setting up libcoq-ocaml-dev (8.6-5) ...
Setting up sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.25-5+rpi1) ...
Processing triggers for systemd (236-1) ...
Processing triggers for dictionaries-common (1.27.2) ...
aspell-autobuildhash: processing: en [en-common].
aspell-autobuildhash: processing: en [en-variant_0].
aspell-autobuildhash: processing: en [en-variant_1].
aspell-autobuildhash: processing: en [en-variant_2].
aspell-autobuildhash: processing: en [en-w_accents-only].
aspell-autobuildhash: processing: en [en-wo_accents-only].
aspell-autobuildhash: processing: en [en_AU-variant_0].
aspell-autobuildhash: processing: en [en_AU-variant_1].
aspell-autobuildhash: processing: en [en_AU-w_accents-only].
aspell-autobuildhash: processing: en [en_AU-wo_accents-only].
aspell-autobuildhash: processing: en [en_CA-variant_0].
aspell-autobuildhash: processing: en [en_CA-variant_1].
aspell-autobuildhash: processing: en [en_CA-w_accents-only].
aspell-autobuildhash: processing: en [en_CA-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only].
aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only].
aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-variant_0].
aspell-autobuildhash: processing: en [en_GB-variant_1].
aspell-autobuildhash: processing: en [en_US-w_accents-only].
aspell-autobuildhash: processing: en [en_US-wo_accents-only].
Processing triggers for libgdk-pixbuf2.0-0:armhf (2.36.11-1) ...
W: No sandbox user '_apt' on the system, can not drop privileges

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

Kernel: Linux 4.4.0-79-generic armhf (armv8l)
Toolchain package versions: binutils_2.29.1-12+rpi1 dpkg-dev_1.19.0.4 g++-7_7.2.0-18 gcc-7_7.2.0-18 libc6-dev_2.25-5+rpi1 libstdc++-7-dev_7.2.0-18 libstdc++6_7.2.0-18 linux-libc-dev_4.9.51-1+rpi3+b1
Package versions: adduser_3.116 apt_1.6~alpha5+b1 aspell_0.60.7~20110707-4 aspell-en_2017.08.24-0-0.1 autoconf_2.69-11 automake_1:1.15.1-3 autopoint_0.19.8.1-4 autotools-dev_20171216.1 base-files_10+rpi1 base-passwd_3.5.44 bash_4.4-5 binutils_2.29.1-12+rpi1 binutils-arm-linux-gnueabihf_2.29.1-12+rpi1 binutils-common_2.29.1-12+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.30.2-0.1 build-essential_12.4 bzip2_1.0.6-8.1 ca-certificates_20170717 camlp5_7.01-1+b1 coq_8.6-5 coq-theories_8.6-5 coreutils_8.28-1 cpio_2.12+dfsg-6 cpp_4:7.2.0-1d1 cpp-7_7.2.0-18 dash_0.5.8-2.5 debconf_1.5.65 debhelper_11 debianutils_4.8.3 dh-autoreconf_15 dh-ocaml_1.1.0 dh-python_2.20170125 dh-strip-nondeterminism_0.040-1 dictionaries-common_1.27.2 diffutils_1:3.6-1 dirmngr_2.2.3-1 dmsetup_2:1.02.145-4.1 dpkg_1.19.0.4 dpkg-dev_1.19.0.4 e2fslibs_1.43.7-1 e2fsprogs_1.43.7-1 e2fsprogs-l10n_1.43.7-1 emacsen-common_2.0.8 fakeroot_1.22-2 fdisk_2.30.2-0.1 file_1:5.32-1 findutils_4.6.0+git+20170828-2 fontconfig_2.12.6-0.1 fontconfig-config_2.12.6-0.1 fonts-dejavu-core_2.37-1 g++_4:7.2.0-1d1 g++-7_7.2.0-18 gcc_4:7.2.0-1d1 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-base_5.4.1-4 gcc-7_7.2.0-18 gcc-7-base_7.2.0-18 gettext_0.19.8.1-4 gettext-base_0.19.8.1-4 gir1.2-atk-1.0_2.26.1-2 gir1.2-freedesktop_1.54.1-4 gir1.2-gdkpixbuf-2.0_2.36.11-1 gir1.2-glib-2.0_1.54.1-4 gir1.2-gtk-2.0_2.24.31-5 gir1.2-harfbuzz-0.0_1.7.2-1 gir1.2-pango-1.0_1.40.14-1 gnome-icon-theme_3.12.0-2 gnupg_2.2.3-1 gnupg-agent_2.2.3-1 gnupg-l10n_2.2.3-1 gnupg-utils_2.2.3-1 gpg_2.2.3-1 gpg-agent_2.2.3-1 gpg-wks-client_2.2.3-1 gpg-wks-server_2.2.3-1 gpgconf_2.2.3-1 gpgsm_2.2.3-1 gpgv_2.2.3-1 grep_3.1-2 groff-base_1.22.3-9 gtk-update-icon-cache_3.22.26-2+rpi1 gzip_1.6-5 hicolor-icon-theme_0.17-1 hostname_3.18 icu-devtools_57.1-8 init-system-helpers_1.51 initramfs-tools_0.130 initramfs-tools-core_0.130 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-9+rpi1 kmod_24-1 libacl1_2.2.52-3 libapparmor1_2.11.1-4 libapt-pkg5.0_1.6~alpha5+b1 libarchive-zip-perl_1.60-1 libasan4_7.2.0-18 libaspell15_0.60.7~20110707-4 libassuan0_2.5.1-1 libatk1.0-0_2.26.1-2 libatk1.0-data_2.26.1-2 libatk1.0-dev_2.26.1-2 libatomic1_7.2.0-18 libattr1_1:2.4.47-2 libaudit-common_1:2.8.2-1 libaudit1_1:2.8.2-1 libavahi-client3_0.7-3 libavahi-common-data_0.7-3 libavahi-common3_0.7-3 libbinutils_2.29.1-12+rpi1 libblkid1_2.30.2-0.1 libbsd0_0.8.6-3 libbz2-1.0_1.0.6-8.1 libc-bin_2.25-5+rpi1 libc-dev-bin_2.25-5+rpi1 libc6_2.25-5+rpi1 libc6-dev_2.25-5+rpi1 libcairo-gobject2_1.15.8-3 libcairo-script-interpreter2_1.15.8-3 libcairo2_1.15.8-3 libcairo2-dev_1.15.8-3 libcap-ng0_0.7.7-3.1+b1 libcap2_1:2.25-1.2 libcc1-0_7.2.0-18 libcilkrts5_7.2.0-18 libcomerr2_1.43.7-1 libcoq-ocaml_8.6-5 libcoq-ocaml-dev_8.6-5 libcroco3_0.6.12-2 libcryptsetup4_2:1.7.5-1 libcups2_2.2.6-4 libdatrie1_0.2.10-6 libdb5.3_5.3.28-13.1 libdbus-1-3_1.12.2-1 libdebconfclient0_0.237 libdevmapper1.02.1_2:1.02.145-4.1 libdpkg-perl_1.19.0.4 libdrm-common_2.4.89-1+rpi1 libdrm2_2.4.89-1+rpi1 libelf1_0.170-0.2 libenchant-dev_1.6.0-11.1 libenchant1c2a_1.6.0-11.1 libexpat1_2.2.5-3 libexpat1-dev_2.2.5-3 libfakeroot_1.22-2 libfdisk1_2.30.2-0.1 libffi6_3.2.1-7 libfile-stripnondeterminism-perl_0.040-1 libfindlib-ocaml_1.7.3-2 libfontconfig1_2.12.6-0.1 libfontconfig1-dev_2.12.6-0.1 libfreetype6_2.8.1-1 libfreetype6-dev_2.8.1-1 libgcc-7-dev_7.2.0-18 libgcc1_1:7.2.0-18 libgcrypt20_1.8.1-4 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.36.11-1 libgdk-pixbuf2.0-common_2.36.11-1 libgdk-pixbuf2.0-dev_2.36.11-1 libgirepository-1.0-1_1.54.1-4 libglade2-0_1:2.6.4-2 libglade2-dev_1:2.6.4-2 libglib2.0-0_2.54.2-5 libglib2.0-bin_2.54.2-5 libglib2.0-data_2.54.2-5 libglib2.0-dev_2.54.2-5 libglib2.0-dev-bin_2.54.2-5 libgmp10_2:6.1.2+dfsg-1.1 libgnutls30_3.5.16-1 libgomp1_7.2.0-18 libgpg-error0_1.27-5 libgraphite2-3_1.3.10-8 libgraphite2-dev_1.3.10-8 libgssapi-krb5-2_1.15.2-2 libgtk2.0-0_2.24.31-5 libgtk2.0-common_2.24.31-5 libgtk2.0-dev_2.24.31-5 libgtksourceview2.0-0_2.10.5-3 libgtksourceview2.0-common_2.10.5-3 libgtksourceview2.0-dev_2.10.5-3 libgtkspell-dev_2.0.16-1.1 libgtkspell0_2.0.16-1.1 libharfbuzz-dev_1.7.2-1 libharfbuzz-gobject0_1.7.2-1 libharfbuzz-icu0_1.7.2-1 libharfbuzz0b_1.7.2-1 libhogweed4_3.4-1 libhunspell-1.6-0_1.6.2-1 libice-dev_2:1.0.9-2 libice6_2:1.0.9-2 libicu-dev_57.1-8 libicu57_57.1-8 libidn11_1.33-2.1 libidn2-0_2.0.4-1.1 libip4tc0_1.6.1-2+b1 libisl15_0.18-1 libjbig0_2.1-3.1+b2 libjpeg62-turbo_1:1.5.2-2+b1 libk5crypto3_1.15.2-2 libkeyutils1_1.5.9-9.2 libklibc_2.0.4-9+rpi1 libkmod2_24-1 libkrb5-3_1.15.2-2 libkrb5support0_1.15.2-2 libksba8_1.3.5-2 liblablgtk2-ocaml_2.18.5+dfsg-1+b1 liblablgtk2-ocaml-dev_2.18.5+dfsg-1+b1 liblablgtksourceview2-ocaml_2.18.5+dfsg-1+b1 liblablgtksourceview2-ocaml-dev_2.18.5+dfsg-1+b1 libldap-2.4-2_2.4.45+dfsg-1 libldap-common_2.4.45+dfsg-1 liblz4-1_0.0~r131-2 liblzma5_5.2.2-1.3 liblzo2-2_2.08-1.2 libmagic-mgc_1:5.32-1 libmagic1_1:5.32-1 libmount1_2.30.2-0.1 libmpc3_1.0.3-2 libmpdec2_2.4.2-1 libmpfr4_3.1.6-1 libncurses5_6.0+20171125-1 libncurses5-dev_6.0+20171125-1 libncursesw5_6.0+20171125-1 libnettle6_3.4-1 libnpth0_1.5-3 libp11-kit0_0.23.9-2 libpam-modules_1.1.8-3.6 libpam-modules-bin_1.1.8-3.6 libpam-runtime_1.1.8-3.6 libpam0g_1.1.8-3.6 libpango-1.0-0_1.40.14-1 libpango1.0-dev_1.40.14-1 libpangocairo-1.0-0_1.40.14-1 libpangoft2-1.0-0_1.40.14-1 libpangoxft-1.0-0_1.40.14-1 libpcre16-3_2:8.39-8 libpcre3_2:8.39-8 libpcre3-dev_2:8.39-8 libpcre32-3_2:8.39-8 libpcrecpp0v5_2:8.39-8 libperl5.24_5.24.1-7 libperl5.26_5.26.1-3 libpipeline1_1.5.0-1 libpixman-1-0_0.34.0-2 libpixman-1-dev_0.34.0-2 libplymouth4_0.9.3-1 libpng-dev_1.6.34-1 libpng16-16_1.6.34-1 libprocps6_2:3.3.12-3 libpthread-stubs0-dev_0.3-4 libpython-stdlib_2.7.14-4 libpython2.7-minimal_2.7.14-4 libpython2.7-stdlib_2.7.14-4 libpython3-stdlib_3.6.4~rc1-2 libpython3.6-minimal_3.6.4-1 libpython3.6-stdlib_3.6.4-1 libreadline7_7.0-3 librsvg2-2_2.40.20-2 librsvg2-common_2.40.20-2 libsasl2-2_2.1.27~101-g0780600+dfsg-3 libsasl2-modules_2.1.27~101-g0780600+dfsg-3 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3 libseccomp2_2.3.1-2.1 libselinux1_2.7-2 libsemanage-common_2.7-2 libsemanage1_2.7-2 libsepol1_2.7-1 libsigsegv2_2.11-1 libsm-dev_2:1.2.2-1+b3 libsm6_2:1.2.2-1+b3 libsmartcols1_2.30.2-0.1 libsqlite3-0_3.21.0-1 libss2_1.43.7-1 libssl1.1_1.1.0g-2 libstdc++-7-dev_7.2.0-18 libstdc++6_7.2.0-18 libsystemd0_236-1 libtasn1-6_4.12-3 libtext-iconv-perl_1.7-5+b9 libthai-data_0.1.27-1 libthai0_0.1.27-1 libtiff5_4.0.9-3 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20171125-1 libtinfo5_6.0+20171125-1 libtool_2.4.6-2 libubsan0_7.2.0-18 libudev1_236-1 libunistring2_0.9.8-1 libustr-1.0-1_1.0.4-6 libuuid1_2.30.2-0.1 libx11-6_2:1.6.4-3 libx11-data_2:1.6.4-3 libx11-dev_2:1.6.4-3 libxau-dev_1:1.0.8-1+b2 libxau6_1:1.0.8-1+b2 libxcb-render0_1.12-1 libxcb-render0-dev_1.12-1 libxcb-shm0_1.12-1 libxcb-shm0-dev_1.12-1 libxcb1_1.12-1 libxcb1-dev_1.12-1 libxcomposite-dev_1:0.4.4-2 libxcomposite1_1:0.4.4-2 libxcursor-dev_1:1.1.15-1 libxcursor1_1:1.1.15-1 libxdamage-dev_1:1.1.4-3 libxdamage1_1:1.1.4-3 libxdmcp-dev_1:1.1.2-3 libxdmcp6_1:1.1.2-3 libxext-dev_2:1.3.3-1+b2 libxext6_2:1.3.3-1+b2 libxfixes-dev_1:5.0.3-1 libxfixes3_1:5.0.3-1 libxft-dev_2.3.2-1+b2 libxft2_2.3.2-1+b2 libxi-dev_2:1.7.9-1 libxi6_2:1.7.9-1 libxinerama-dev_2:1.1.3-1+b3 libxinerama1_2:1.1.3-1+b3 libxml2_2.9.4+dfsg1-6.1 libxml2-dev_2.9.4+dfsg1-6.1 libxml2-utils_2.9.4+dfsg1-6.1 libxrandr-dev_2:1.5.1-1 libxrandr2_2:1.5.1-1 libxrender-dev_1:0.9.10-1 libxrender1_1:0.9.10-1 linux-base_4.5 linux-libc-dev_4.9.51-1+rpi3+b1 login_1:4.5-1 lsb-base_9.20170808+rpi1 m4_1.4.18-1 make_4.1-9.1 makedev_2.3.1-93 man-db_2.7.6.1-4 mawk_1.3.3-17 mime-support_3.60 mount_2.30.2-0.1 multiarch-support_2.25-5+rpi1 nano_2.9.1-1 ncurses-base_6.0+20171125-1 ncurses-bin_6.0+20171125-1 ocaml-base-nox_4.05.0-10+rpi1 ocaml-compiler-libs_4.05.0-10+rpi1 ocaml-findlib_1.7.3-2 ocaml-interp_4.05.0-10+rpi1 ocaml-nox_4.05.0-10+rpi1 openssl_1.1.0g-2 passwd_1:4.5-1 patch_2.7.5-1 perl_5.26.1-3 perl-base_5.26.1-3 perl-modules-5.24_5.24.1-7 perl-modules-5.26_5.26.1-3 pinentry-curses_1.0.0-3 pkg-config_0.29-4 plymouth_0.9.3-1 po-debconf_1.0.20 procps_2:3.3.12-3 python_2.7.14-4 python-minimal_2.7.14-4 python2.7_2.7.14-4 python2.7-minimal_2.7.14-4 python3_3.6.4~rc1-2 python3-distutils_3.6.4~rc1-6 python3-minimal_3.6.4~rc1-2 python3.6_3.6.4-1 python3.6-2to3_3.6.4-1 python3.6-minimal_3.6.4-1 raspbian-archive-keyring_20120528.2 readline-common_7.0-3 sbuild-build-depends-aac-tactics-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.11 shared-mime-info_1.9-2 systemd_236-1 sysvinit-utils_2.88dsf-59.10 tar_1.29b-2 tzdata_2017c-1 ucf_3.0036 udev_236-1 util-linux_2.30.2-0.1 x11-common_1:7.7+19 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.31-1 x11proto-damage-dev_1:1.2.1-2 x11proto-fixes-dev_1:5.0-2 x11proto-input-dev_2.3.2-1 x11proto-kb-dev_1.0.7-1 x11proto-randr-dev_1.5.0-1 x11proto-render-dev_2:0.11.1-2 x11proto-xext-dev_7.3.0-1 x11proto-xinerama-dev_1.2.1-2 xorg-sgml-doctools_1:1.11-1 xtrans-dev_1.3.5-1 xz-utils_5.2.2-1.3 zlib1g_1:1.2.8.dfsg-5 zlib1g-dev_1:1.2.8.dfsg-5

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


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

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Mon Oct  9 08:39:01 2017 UTC
gpgv:                using RSA key 58EB0999C64E897EE894B8037853DA4D49881AD3
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./aac-tactics_8.6.1-2.dsc
dpkg-source: info: extracting aac-tactics in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking aac-tactics_8.6.1.orig.tar.gz
dpkg-source: info: unpacking aac-tactics_8.6.1-2.debian.tar.xz

Check disk space
----------------

Sufficient free space for build

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

Created changelog entry for binNMU version 8.6.1-2+b1

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

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=buster-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=buster-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=buster-staging-armhf-sbuild-857ff43b-d91e-4e11-9dec-3f90aeff559c
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

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

dpkg-buildpackage: info: source package aac-tactics
dpkg-buildpackage: info: source version 8.6.1-2+b1
dpkg-buildpackage: info: source distribution buster-staging
 dpkg-source --before-build aac-tactics-8.6.1
dpkg-buildpackage: info: host architecture armhf
 fakeroot debian/rules clean
dh clean --with ocaml
   dh_auto_clean
	make -j1 clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq Makefile
make[2]: Entering directory '/<<PKGBUILDDIR>>'
make[2]: Nothing to be done for 'Makefile'.
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq clean
make[2]: Entering directory '/<<PKGBUILDDIR>>'
rm -f aac_rewrite.cmo coq.cmo helper.cmo search_monad.cmo matcher.cmo theory.cmo print.cmo aac.cmo aac.cmi aac_rewrite.cmi coq.cmi helper.cmi matcher.cmi print.cmi search_monad.cmi theory.cmi 
rm -f aac_rewrite.cmx coq.cmx helper.cmx search_monad.cmx matcher.cmx theory.cmx print.cmx aac.cmx  aac_rewrite.cmxs coq.cmxs helper.cmxs search_monad.cmxs matcher.cmxs theory.cmxs print.cmxs aac.cmxs aac_rewrite.o coq.o helper.o search_monad.o matcher.o theory.o print.o aac.o 
rm -f 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 aac_rewrite.mli.d aac_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
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_ocamlclean
   dh_clean
 debian/rules build-arch
dh build-arch --with ocaml
   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 -f Make -o Makefile.coq
make -f Makefile.coq Makefile
make[3]: Entering directory '/<<PKGBUILDDIR>>'
CAMLDEP aac_rewrite.mli
CAMLDEP print.mli
CAMLDEP theory.mli
CAMLDEP matcher.mli
CAMLDEP search_monad.mli
CAMLDEP helper.mli
CAMLDEP coq.mli
COQDEP aac.mlpack
CAMLDEP print.ml
CAMLDEP theory.ml
CAMLDEP matcher.ml
CAMLDEP search_monad.ml
CAMLDEP helper.ml
CAMLDEP coq.ml
CAMLDEP -pp aac_rewrite.ml4
COQDEP Caveats.v
COQDEP Tutorial.v
COQDEP Instances.v
COQDEP AAC.v
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: 'Makefile.coq' is up to date.
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make -f Makefile.coq opt html
make[2]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make all "OPT:=-opt"
make[3]: Entering directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq Makefile
make[4]: Entering directory '/<<PKGBUILDDIR>>'
make[4]: Nothing to be done for 'Makefile'.
make[4]: Leaving directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq all
make[4]: Entering directory '/<<PKGBUILDDIR>>'
CAMLC -c coq.mli
CAMLC -c coq.ml
CAMLC -c helper.mli
CAMLC -c helper.ml
CAMLC -c search_monad.mli
CAMLC -c search_monad.ml
CAMLC -c matcher.mli
CAMLC -c matcher.ml
CAMLC -c theory.mli
CAMLC -c theory.ml
CAMLC -c print.mli
CAMLC -c print.ml
CAMLC -c aac_rewrite.mli
CAMLC -pp -c aac_rewrite.ml4
CAMLC -pack -o aac.cmo
CAMLOPT -c -for-pack Aac coq.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module CErrors, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Context, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Coqlib, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Environ, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Equality, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Evarutil, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Feedback, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Names, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Printer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Proofview, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Refiner, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Sigma, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacmach, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tactics, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Term, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Termops, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Typeclasses, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Typing, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Universes, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Vars, and its interface was not compiled with -opaque
CAMLOPT -c -for-pack Aac helper.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Feedback, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Printer, and its interface was not compiled with -opaque
CAMLOPT -c -for-pack Aac search_monad.ml
CAMLOPT -c -for-pack Aac matcher.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module CErrors, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Feedback, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque
CAMLOPT -c -for-pack Aac theory.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module CErrors, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Constr, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Context, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Hashset, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Option, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Term, and its interface was not compiled with -opaque
CAMLOPT -c -for-pack Aac print.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Context, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Feedback, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Names, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Printer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque
CAMLOPT -c -pp -for-pack Aac aac_rewrite.ml4
File "_none_", line 1:
Warning 58: no cmx file was found in path for module CErrors, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module CLexer, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Constrarg, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Extraargs, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Genarg, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Genintern, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Geninterp, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Loc, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Mltop, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Names, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Pcoq, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Pptactic, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Proofview, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Refiner, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Stdarg, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacentries, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacenv, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacintern, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacinterp, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacmach, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacsubst, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Tactics, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Term, and its interface was not compiled with -opaque
CAMLOPT -pack -o aac.cmx
CAMLOPT -shared -o aac.cmxs
COQC AAC.v
COQC Instances.v
COQC Tutorial.v
All solutions:
occurence 0: transitivity through (forall x : X, plus x x)
1 possible(s) substitution(s)
0:	[x: (f (a + a)); ]

occurence 1: transitivity through (forall x : X,
                                    plus (f (x + x)) (f (a + a)))
1 possible(s) substitution(s)
0:	[x: a; ]


All solutions:
occurence 0: transitivity through (forall x y : X, dot (a * x * y) b)
3 possible(s) substitution(s)
0:	[x: c; y: (d * c * d); ]
1:	[x: (c * d); y: (c * d); ]
2:	[x: (c * d * c); y: d; ]


All solutions:
occurence 0: transitivity through (forall x y : X, dot (a * x * y) b)
4 possible(s) substitution(s)
0:	[x: c; y: (d * c * d * b); ]
1:	[x: (c * d); y: (c * d * b); ]
2:	[x: (c * d * c); y: (d * b); ]
3:	[x: (c * d * c * d); y: b; ]

occurence 1: transitivity through (forall x y : X, dot (a * x * y * b) b)
3 possible(s) substitution(s)
0:	[x: c; y: (d * c * d); ]
1:	[x: (c * d); y: (c * d); ]
2:	[x: (c * d * c); y: d; ]


All solutions:
occurence 0: transitivity through (forall x y : X, dot (a * x * y) b)
1 possible(s) substitution(s)
0:	[x: (c * d + c * d); y: b; ]


All solutions:
occurence 0: transitivity through (forall x : X, dot (a * x) a)
1 possible(s) substitution(s)
0:	[x: 1; ]


All solutions:
occurence 0: transitivity through (forall x y z : X,
                                   plus (x * y + x * z) (a * b))
2 possible(s) substitution(s)
0:	[x: a; y: c; z: (b * c); ]
1:	[x: a; y: (b * c); z: c; ]

occurence 1: transitivity through (forall x y z : X,
                                    plus (x * y + x * z) (a * c))
2 possible(s) substitution(s)
0:	[x: a; y: (b * c); z: b; ]
1:	[x: a; y: b; z: (b * c); ]

occurence 2: transitivity through (forall x y z : X,
                                    plus (x * y + x * z) (a * b * c))
2 possible(s) substitution(s)
0:	[x: a; y: c; z: b; ]
1:	[x: a; y: b; z: c; ]


Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (forall x y z : X, plus (x * y) (x * z))
6 possible(s) substitution(s)
0:	[x: 1; y: (a * (b * c + c)); z: (a * b); ]
1:	[x: a; y: (b * c + c); z: b; ]
2:	[x: 1; y: 0; z: (a * (b * c + c) + a * b); ]
3:	[x: 1; y: (a * (b * c + c) + a * b); z: 0; ]
4:	[x: 1; y: (a * b); z: (a * (b * c + c)); ]
5:	[x: a; y: b; z: (b * c + c); ]

occurence 1: transitivity through (forall x y z : X,
                                    plus (x * y + x * z) (a * b))
2 possible(s) substitution(s)
0:	[x: 1; y: (a * (b * c + c)); z: 0; ]
1:	[x: 1; y: 0; z: (a * (b * c + c)); ]

occurence 2: transitivity through (forall x y z : X,
                                    plus (a * (x * y + x * z)) (a * b))
4 possible(s) substitution(s)
0:	[x: 1; y: (b * c); z: c; ]
1:	[x: 1; y: 0; z: (b * c + c); ]
2:	[x: 1; y: (b * c + c); z: 0; ]
3:	[x: 1; y: c; z: (b * c); ]

occurence 3: transitivity through (forall x y z : X,
                                    plus (a * (x * y + x * z + c)) (a * b))
2 possible(s) substitution(s)
0:	[x: 1; y: (b * c); z: 0; ]
1:	[x: 1; y: 0; z: (b * c); ]

occurence 4: transitivity through (forall x y z : X,
                                    plus (x * y + x * z) (a * (b * c + c)))
2 possible(s) substitution(s)
0:	[x: 1; y: (a * b); z: 0; ]
1:	[x: 1; y: 0; z: (a * b); ]

occurence 5: transitivity through (forall x y z : X,
                                    plus (a * (b * (x * y + x * z) + c))
                                      (a * b))
2 possible(s) substitution(s)
0:	[x: 1; y: c; z: 0; ]
1:	[x: 1; y: 0; z: c; ]

occurence 6: transitivity through (forall x y z : X,
                                    plus (a * ((x * y + x * z) * c + c))
                                      (a * b))
2 possible(s) substitution(s)
0:	[x: 1; y: b; z: 0; ]
1:	[x: 1; y: 0; z: b; ]

occurence 7: transitivity through (forall x y z : X,
                                    plus (a * (x * y + x * z + b * c))
                                      (a * b))
2 possible(s) substitution(s)
0:	[x: 1; y: c; z: 0; ]
1:	[x: 1; y: 0; z: c; ]

occurence 8: transitivity through (forall x y z : X,
                                    plus ((x * y + x * z) * (b * c + c))
                                      (a * b))
2 possible(s) substitution(s)
0:	[x: 1; y: a; z: 0; ]
1:	[x: 1; y: 0; z: a; ]

occurence 9: transitivity through (forall x y z : X,
                                    plus (a * (x * y + x * z))
                                      (a * (b * c + c)))
2 possible(s) substitution(s)
0:	[x: 1; y: b; z: 0; ]
1:	[x: 1; y: 0; z: b; ]

occurence 10: transitivity through (forall x y z : X,
                                     plus ((x * y + x * z) * b)
                                       (a * (b * c + c)))
2 possible(s) substitution(s)
0:	[x: 1; y: a; z: 0; ]
1:	[x: 1; y: 0; z: a; ]

occurence 11: transitivity through (a * (b * c + c) +
                                     (1 * 1 + 1 * 0) * (a * b))

occurence 12: transitivity through 
(a * (b * c + c) + a * b * (1 * 1 + 1 * 0))

occurence 13: transitivity through 
(a * (b * c + c) + a * ((1 * 1 + 1 * 0) * b))

occurence 14: transitivity through 
(a * b + (1 * 1 + 1 * 0) * (a * (b * c + c)))

occurence 15: transitivity through 
(a * b + a * (b * c + c) * (1 * 1 + 1 * 0))

occurence 16: transitivity through 
(a * b + a * (b * c + (1 * 1 + 1 * 0) * c))

occurence 17: transitivity through 
(a * b + a * (b * c + c * (1 * 1 + 1 * 0)))

occurence 18: transitivity through 
(a * b + a * (c + (1 * 1 + 1 * 0) * (b * c)))

occurence 19: transitivity through 
(a * b + a * (c + b * c * (1 * 1 + 1 * 0)))

occurence 20: transitivity through 
(a * b + a * (c + b * ((1 * 1 + 1 * 0) * c)))

occurence 21: transitivity through 
(a * b + a * ((1 * 1 + 1 * 0) * (b * c + c)))

occurence 22: transitivity through 
((a * (b * c + c) + a * b) * (1 * 1 + 1 * 0))

occurence 23: transitivity through 
((1 * 1 + 1 * 0) * (a * (b * c + c) + a * b))

occurence 24: transitivity through 
(a * (b * c + c) + (1 * 0 + 1 * 1) * (a * b))

occurence 25: transitivity through 
(a * (b * c + c) + a * b * (1 * 0 + 1 * 1))

occurence 26: transitivity through 
(a * (b * c + c) + a * ((1 * 0 + 1 * 1) * b))

occurence 27: transitivity through 
(a * b + (1 * 0 + 1 * 1) * (a * (b * c + c)))

occurence 28: transitivity through 
(a * b + a * (b * c + c) * (1 * 0 + 1 * 1))

occurence 29: transitivity through 
(a * b + a * (b * c + (1 * 0 + 1 * 1) * c))

occurence 30: transitivity through 
(a * b + a * (b * c + c * (1 * 0 + 1 * 1)))

occurence 31: transitivity through 
(a * b + a * (c + (1 * 0 + 1 * 1) * (b * c)))

occurence 32: transitivity through 
(a * b + a * (c + b * c * (1 * 0 + 1 * 1)))

occurence 33: transitivity through 
(a * b + a * (c + b * ((1 * 0 + 1 * 1) * c)))

occurence 34: transitivity through 
(a * b + a * ((1 * 0 + 1 * 1) * (b * c + c)))

occurence 35: transitivity through 
((a * (b * c + c) + a * b) * (1 * 0 + 1 * 1))

occurence 36: transitivity through 
((1 * 0 + 1 * 1) * (a * (b * c + c) + a * b))

occurence 37: transitivity through 
(a * (b * c + c) + a * b + (1 * 0 + 1 * 0))

occurence 38: transitivity through 
(a * (b * c + c) + a * (b + (1 * 0 + 1 * 0)))

occurence 39: transitivity through 
(a * (b * c + c) + (a + (1 * 0 + 1 * 0)) * b)

occurence 40: transitivity through 
(a * b + a * (b * c + c + (1 * 0 + 1 * 0)))

occurence 41: transitivity through 
(a * b + a * (c + b * (c + (1 * 0 + 1 * 0))))

occurence 42: transitivity through 
(a * b + a * (c + (b + (1 * 0 + 1 * 0)) * c))

occurence 43: transitivity through 
(a * b + (a + (1 * 0 + 1 * 0)) * (b * c + c))

occurence 44: transitivity through 
(a * (b * c + c) + a * b + (0 * 1 + 0 * 1))

occurence 45: transitivity through 
(a * (b * c + c) + a * (b + (0 * 1 + 0 * 1)))

occurence 46: transitivity through 
(a * (b * c + c) + (a + (0 * 1 + 0 * 1)) * b)

occurence 47: transitivity through 
(a * b + a * (b * c + c + (0 * 1 + 0 * 1)))

occurence 48: transitivity through 
(a * b + a * (c + b * (c + (0 * 1 + 0 * 1))))

occurence 49: transitivity through 
(a * b + a * (c + (b + (0 * 1 + 0 * 1)) * c))

occurence 50: transitivity through 
(a * b + (a + (0 * 1 + 0 * 1)) * (b * c + c))

occurence 51: transitivity through 
(a * (b * c + c) + a * b * (1 + (1 * 0 + 1 * 0)))

occurence 52: transitivity through 
(a * (b * c + c) + a * ((1 + (1 * 0 + 1 * 0)) * b))

occurence 53: transitivity through 
(a * (b * c + c) + (1 + (1 * 0 + 1 * 0)) * (a * b))

occurence 54: transitivity through 
(a * b + a * (b * c + c) * (1 + (1 * 0 + 1 * 0)))

occurence 55: transitivity through 
(a * b + a * (c + b * c * (1 + (1 * 0 + 1 * 0))))

occurence 56: transitivity through 
(a * b + a * (c + b * ((1 + (1 * 0 + 1 * 0)) * c)))

occurence 57: transitivity through 
(a * b + a * (c + (1 + (1 * 0 + 1 * 0)) * (b * c)))

occurence 58: transitivity through 
(a * b + a * ((1 + (1 * 0 + 1 * 0)) * (b * c + c)))

occurence 59: transitivity through 
(a * b + (1 + (1 * 0 + 1 * 0)) * (a * (b * c + c)))

occurence 60: transitivity through 
(a * (b * c + c) + a * b * (1 + (0 * 1 + 0 * 1)))

occurence 61: transitivity through 
(a * (b * c + c) + a * ((1 + (0 * 1 + 0 * 1)) * b))

occurence 62: transitivity through 
(a * (b * c + c) + (1 + (0 * 1 + 0 * 1)) * (a * b))

occurence 63: transitivity through 
(a * b + a * (b * c + c) * (1 + (0 * 1 + 0 * 1)))

occurence 64: transitivity through 
(a * b + a * (c + b * c * (1 + (0 * 1 + 0 * 1))))

occurence 65: transitivity through 
(a * b + a * (c + b * ((1 + (0 * 1 + 0 * 1)) * c)))

occurence 66: transitivity through 
(a * b + a * (c + (1 + (0 * 1 + 0 * 1)) * (b * c)))

occurence 67: transitivity through 
(a * b + a * ((1 + (0 * 1 + 0 * 1)) * (b * c + c)))

occurence 68: transitivity through 
(a * b + (1 + (0 * 1 + 0 * 1)) * (a * (b * c + c)))


All solutions:
occurence 0: transitivity through (forall x y z : nat,
                                   Nat.max (x + y) (x + z))
2 possible(s) substitution(s)
0:	[x: a; y: b; z: c; ]
1:	[x: a; y: c; z: b; ]


All solutions:
occurence 0: transitivity through (forall x y z : nat,
                                   Nat.max (x + y) (x + z))
2 possible(s) substitution(s)
0:	[x: a; y: b; z: c; ]
1:	[x: a; y: c; z: b; ]


Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (Z.abs a + - Z.abs b + 0)

occurence 1: transitivity through 
(Z.abs a + - (Z.abs b + 0))

occurence 2: transitivity through 
(Z.abs a + - Z.abs (b + 0))

occurence 3: transitivity through 
(- Z.abs b + Z.abs (a + 0))


Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
COQC Caveats.v
All solutions:
occurence 0: transitivity through (forall x : Z, (- (x + x) + (b + b + c))%Z)
1 possible(s) substitution(s)
0:	[x: a; ]

occurence 1: transitivity through (forall x : Z, (x + x + (- (a + a) + c))%Z)
1 possible(s) substitution(s)
0:	[x: b; ]


Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (y * 1)

occurence 1: transitivity through 
(1 * y)


Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (c * b + a + 0)

occurence 1: transitivity through 
(a + b * (c + 0))

occurence 2: transitivity through 
(a + c * (b + 0))


Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (c + b + a + 0)


Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through ((c + b + a) * 1)

occurence 1: transitivity through 
(c + a + b * 1)

occurence 2: transitivity through 
(a + (c + b) * 1)

occurence 3: transitivity through 
(b + a + c * 1)

occurence 4: transitivity through 
(c + (b + a) * 1)

occurence 5: transitivity through 
(c + b + a * 1)

occurence 6: transitivity through 
(b + (c + a) * 1)


All solutions:
occurence 0: transitivity through (forall x y : nat, (x * x + y * x + c)%nat)
1 possible(s) substitution(s)
0:	[x: a; y: b; ]


Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (forall x y : nat, (x * x + y * x + c)%nat)
1 possible(s) substitution(s)
0:	[x: a; y: b; ]

occurence 1: transitivity through ((a * b + a * a + c) * (1 * 1 + 0 * 1))

occurence 2: transitivity through 
(a * b + c + a * a * (1 * 1 + 0 * 1))

occurence 3: transitivity through 
(c + (a * b + a * a) * (1 * 1 + 0 * 1))

occurence 4: transitivity through 
(a * a + c + a * b * (1 * 1 + 0 * 1))

occurence 5: transitivity through 
(a * b + (a * a + c) * (1 * 1 + 0 * 1))

occurence 6: transitivity through 
(a * b + a * a + c * (1 * 1 + 0 * 1))

occurence 7: transitivity through 
(a * a + (a * b + c) * (1 * 1 + 0 * 1))


Warning:
[aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through ((a * b + a * a + c) * 1)

occurence 1: transitivity through 
(a * b + c + a * a * 1)

occurence 2: transitivity through 
(c + (a * b + a * a) * 1)

occurence 3: transitivity through 
(a * a + c + a * b * 1)

occurence 4: transitivity through 
(a * b + (a * a + c) * 1)

occurence 5: transitivity through 
(a * b + a * a + c * 1)

occurence 6: transitivity through 
(a * a + (a * b + c) * 1)


make[4]: Leaving directory '/<<PKGBUILDDIR>>'
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
mkdir -p html
"coqdoc" -toc -interpolate -utf8 -html -R "." AAC_tactics -d html AAC.v Instances.v Tutorial.v Caveats.v
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_auto_test -a
 fakeroot debian/rules binary-arch
dh binary-arch --with ocaml
   dh_testroot -a
   dh_prep -a
   debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make -f Makefile.coq install DSTROOT=/<<PKGBUILDDIR>>/debian/tmp
make[2]: Entering directory '/<<PKGBUILDDIR>>'
cd "." && for i in aac.cmxs; do \
 install -d "`dirname "/<<PKGBUILDDIR>>/debian/tmp""/usr/lib/coq/user-contrib"/AAC_tactics/$i`"; \
 install -m 0755 $i "/<<PKGBUILDDIR>>/debian/tmp""/usr/lib/coq/user-contrib"/AAC_tactics/$i; \
done
cd "." && for i in AAC.vo Instances.vo Tutorial.vo Caveats.vo AAC.v Instances.v Tutorial.v Caveats.v AAC.glob Instances.glob Tutorial.glob Caveats.glob                                 aac.cmo aac.cmi aac_rewrite.cmi coq.cmi helper.cmi matcher.cmi print.cmi search_monad.cmi theory.cmi ; do \
 install -d "`dirname "/<<PKGBUILDDIR>>/debian/tmp""/usr/lib/coq/user-contrib"/AAC_tactics/$i`"; \
 install -m 0644 $i "/<<PKGBUILDDIR>>/debian/tmp""/usr/lib/coq/user-contrib"/AAC_tactics/$i; \
done
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   debian/rules override_dh_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
find debian/tmp -type f -name '*.glob' -delete
dh_install --fail-missing
dh_install: Please use dh_missing --list-missing/--fail-missing instead
dh_install: This feature will be removed in compat 12.
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_ocamldoc -a
Warning: Element Rewrite not found
Warning: Element Rewrite not found
   dh_installdocs -a
   dh_installchangelogs -a
   dh_lintian -a
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -a
   dh_compress -a
   dh_fixperms -a
   dh_missing -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb -a
   dh_ocaml -a
   debian/rules override_dh_gencontrol
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_gencontrol -- -VF:CoqABI="8.6+4.05.0"
dpkg-gencontrol: warning: Depends field of package libaac-tactics-ocaml-dev: unknown substitution variable ${shlibs:Depends}
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_md5sums -a
   dh_builddeb -a
dpkg-deb: building package 'libaac-tactics-ocaml' in '../libaac-tactics-ocaml_8.6.1-2+b1_armhf.deb'.
dpkg-deb: building package 'libaac-tactics-ocaml-dbgsym' in '../libaac-tactics-ocaml-dbgsym_8.6.1-2+b1_armhf.deb'.
dpkg-deb: building package 'libaac-tactics-ocaml-dev' in '../libaac-tactics-ocaml-dev_8.6.1-2+b1_armhf.deb'.
 dpkg-genbuildinfo --build=any
 dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> >../aac-tactics_8.6.1-2+b1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build aac-tactics-8.6.1
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2018-01-12T14:31:49Z

Finished
--------

I: Built successfully

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


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


aac-tactics_8.6.1-2+b1_armhf.changes:
-------------------------------------

Format: 1.8
Date: Mon, 09 Oct 2017 10:33:39 +0200
Source: aac-tactics (8.6.1-2)
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Binary-Only: yes
Architecture: armhf
Version: 8.6.1-2+b1
Distribution: buster-staging
Urgency: low
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Description:
 libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories)
 libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin)
 libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)
Changes:
 aac-tactics (8.6.1-2+b1) buster-staging; urgency=low, binary-only=yes
 .
   * Binary-only non-maintainer upload for armhf; no source changes.
   * rebuild due to debcheck failure
Checksums-Sha1:
 d369513d73310fe825e9f0926f8e1cac427005b8 11162 aac-tactics_8.6.1-2+b1_armhf.buildinfo
 f9a735175a9d9c762ab07133328fdf45b2e648fb 18412 libaac-tactics-ocaml-dbgsym_8.6.1-2+b1_armhf.deb
 6de30a01ea671d00841c715727b6a6b2ecff910b 38756 libaac-tactics-ocaml-dev_8.6.1-2+b1_armhf.deb
 fb204db101ebe1cb618ae7417ad1561b3ce984e0 116792 libaac-tactics-ocaml_8.6.1-2+b1_armhf.deb
Checksums-Sha256:
 db3ddb6ad225b92e4674171a07a312851f6cad7130b715979dbb6d8f88ef6031 11162 aac-tactics_8.6.1-2+b1_armhf.buildinfo
 c969b6507b97df9d1ed5b9ce5eac29be46954310bc6a9f8d800530245a991687 18412 libaac-tactics-ocaml-dbgsym_8.6.1-2+b1_armhf.deb
 b93bfe419317db4582f4702558bb315bb74f1a84198892261dc3af550d3bcac0 38756 libaac-tactics-ocaml-dev_8.6.1-2+b1_armhf.deb
 52bdfdf488b602ea24b46950e1a475f1d56d644269d7f207d3b1fab38c4705e8 116792 libaac-tactics-ocaml_8.6.1-2+b1_armhf.deb
Files:
 2d49227888dbd885701a40071cdcceb5 11162 math optional aac-tactics_8.6.1-2+b1_armhf.buildinfo
 49a7e9cfd1f2e5326a07453ad2bd389e 18412 debug optional libaac-tactics-ocaml-dbgsym_8.6.1-2+b1_armhf.deb
 8b916db989b331336f7ac0acd26c6db5 38756 ocaml optional libaac-tactics-ocaml-dev_8.6.1-2+b1_armhf.deb
 caf45d82c85e7d238eacb9f44502c8a5 116792 ocaml optional libaac-tactics-ocaml_8.6.1-2+b1_armhf.deb

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


libaac-tactics-ocaml-dbgsym_8.6.1-2+b1_armhf.deb
------------------------------------------------

 new Debian package, version 2.0.
 size 18412 bytes: control archive=544 bytes.
     419 bytes,    12 lines      control              
     106 bytes,     1 lines      md5sums              
 Package: libaac-tactics-ocaml-dbgsym
 Source: aac-tactics (8.6.1-2)
 Version: 8.6.1-2+b1
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 103
 Depends: libaac-tactics-ocaml (= 8.6.1-2+b1)
 Section: debug
 Priority: optional
 Description: debug symbols for libaac-tactics-ocaml
 Build-Ids: 5bb325caa42cb4bdbb8c82055fe0d356a45c1f50

drwxr-xr-x root/root         0 2017-10-09 08:33 ./
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/debug/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/debug/.build-id/5b/
-rw-r--r-- root/root     94568 2017-10-09 08:33 ./usr/lib/debug/.build-id/5b/b325caa42cb4bdbb8c82055fe0d356a45c1f50.debug
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/doc/
lrwxrwxrwx root/root         0 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dbgsym -> libaac-tactics-ocaml


libaac-tactics-ocaml-dev_8.6.1-2+b1_armhf.deb
---------------------------------------------

 new Debian package, version 2.0.
 size 38756 bytes: control archive=3020 bytes.
     744 bytes,    17 lines      control              
    8806 bytes,    91 lines      md5sums              
 Package: libaac-tactics-ocaml-dev
 Source: aac-tactics (8.6.1-2)
 Version: 8.6.1-2+b1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 415
 Depends: camlp5-cunr4, libaac-tactics-ocaml-hv7z9, libcoq-ocaml-dev-4uhq1, ocaml-nox-4.05.0
 Provides: libaac-tactics-ocaml-dev-hv7z9
 Section: ocaml
 Priority: optional
 Homepage: https://github.com/coq-contribs/aac-tactics
 Description: Coq tactics for reasoning modulo AC (devt files)
  This Coq plugin provides tactics for rewriting universally quantified
  equations, modulo associative (and possibly commutative) operators.
  .
  This package provides the static native-code library, needed to build
  custom toplevels, and the compiled interfaces.

drwxr-xr-x root/root         0 2017-10-09 08:33 ./
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/coq/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/coq/user-contrib/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/
-rw-r--r-- root/root     21623 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/aac.cmi
-rw-r--r-- root/root       200 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/aac_rewrite.cmi
-rw-r--r-- root/root       619 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/aac_rewrite.mli
-rw-r--r-- root/root     12869 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/coq.cmi
-rw-r--r-- root/root      8322 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/coq.mli
-rw-r--r-- root/root      1717 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/helper.cmi
-rw-r--r-- root/root      1261 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/helper.mli
-rw-r--r-- root/root      2472 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/matcher.cmi
-rw-r--r-- root/root      7353 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/matcher.mli
-rw-r--r-- root/root      3378 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/print.cmi
-rw-r--r-- root/root      1068 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/print.mli
-rw-r--r-- root/root      1413 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/search_monad.cmi
-rw-r--r-- root/root      1452 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/search_monad.mli
-rw-r--r-- root/root      6923 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/theory.cmi
-rw-r--r-- root/root      7742 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/theory.mli
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/doc-base/
-rw-r--r-- root/root       364 2017-10-09 08:33 ./usr/share/doc-base/libaac-tactics-ocaml-dev.doc-base.apiref
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/doc/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/
-rw-r--r-- root/root       222 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.armhf.gz
-rw-r--r-- root/root      1064 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root       536 2016-12-28 13:28 ./usr/share/doc/libaac-tactics-ocaml-dev/changelog.gz
-rw-r--r-- root/root      1116 2017-10-09 08:32 ./usr/share/doc/libaac-tactics-ocaml-dev/copyright
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/
-rw-r--r-- root/root      1614 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Aac_rewrite.html
-rw-r--r-- root/root      1873 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Bool.html
-rw-r--r-- root/root      2350 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Classes.html
-rw-r--r-- root/root      2119 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Comparison.html
-rw-r--r-- root/root      3970 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Equivalence.html
-rw-r--r-- root/root      1795 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Leibniz.html
-rw-r--r-- root/root      1993 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.List.html
-rw-r--r-- root/root      1920 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Nat.html
-rw-r--r-- root/root      2059 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Option.html
-rw-r--r-- root/root      2079 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pair.html
-rw-r--r-- root/root      1918 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pos.html
-rw-r--r-- root/root      2568 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Relation.html
-rw-r--r-- root/root      9027 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Rewrite.html
-rw-r--r-- root/root      3775 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Transitive.html
-rw-r--r-- root/root     10706 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.html
-rw-r--r-- root/root      1776 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.CONTROL.html
-rw-r--r-- root/root      3006 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.Debug.html
-rw-r--r-- root/root      2287 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.html
-rw-r--r-- root/root      2772 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Subst.html
-rw-r--r-- root/root      8871 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Terms.html
-rw-r--r-- root/root      8875 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.html
-rw-r--r-- root/root      2648 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Print.html
-rw-r--r-- root/root      4836 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Search_monad.html
-rw-r--r-- root/root      2883 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sigma.html
-rw-r--r-- root/root      3233 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Stubs.html
-rw-r--r-- root/root      3379 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sym.html
-rw-r--r-- root/root     10193 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Trans.html
-rw-r--r-- root/root      4144 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.html
-rw-r--r-- root/root      2790 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index.html
-rw-r--r-- root/root      1153 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_attributes.html
-rw-r--r-- root/root      1143 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_class_types.html
-rw-r--r-- root/root      1135 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_classes.html
-rw-r--r-- root/root      1141 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_exceptions.html
-rw-r--r-- root/root      1141 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_extensions.html
-rw-r--r-- root/root      1147 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_methods.html
-rw-r--r-- root/root      1287 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_module_types.html
-rw-r--r-- root/root      5488 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_modules.html
-rw-r--r-- root/root      4475 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_types.html
-rw-r--r-- root/root     20471 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_values.html
-rw-r--r-- root/root      2825 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/style.css
-rw-r--r-- root/root      1095 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Aac_rewrite.html
-rw-r--r-- root/root      1364 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Bool.html
-rw-r--r-- root/root      2432 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Classes.html
-rw-r--r-- root/root      1596 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Comparison.html
-rw-r--r-- root/root      4122 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Equivalence.html
-rw-r--r-- root/root      1384 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Leibniz.html
-rw-r--r-- root/root      1620 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.List.html
-rw-r--r-- root/root      1361 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Nat.html
-rw-r--r-- root/root      1922 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Option.html
-rw-r--r-- root/root      1821 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pair.html
-rw-r--r-- root/root      1361 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pos.html
-rw-r--r-- root/root      1947 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Relation.html
-rw-r--r-- root/root      4754 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Rewrite.html
-rw-r--r-- root/root      3752 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Transitive.html
-rw-r--r-- root/root     28881 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.html
-rw-r--r-- root/root      1292 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.CONTROL.html
-rw-r--r-- root/root      2610 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.Debug.html
-rw-r--r-- root/root      3523 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.html
-rw-r--r-- root/root      2136 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Subst.html
-rw-r--r-- root/root      4714 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Terms.html
-rw-r--r-- root/root      9464 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.html
-rw-r--r-- root/root      2036 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Print.html
-rw-r--r-- root/root      5528 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Search_monad.html
-rw-r--r-- root/root      2666 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sigma.html
-rw-r--r-- root/root      2364 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Stubs.html
-rw-r--r-- root/root      2125 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sym.html
-rw-r--r-- root/root      6359 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Trans.html
-rw-r--r-- root/root     12970 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.html
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/lintian/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/lintian/overrides/
-rw-r--r-- root/root       110 2017-10-09 08:32 ./usr/share/lintian/overrides/libaac-tactics-ocaml-dev
drwxr-xr-x root/root         0 2017-10-09 08:33 ./var/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./var/lib/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./var/lib/ocaml/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root        84 2017-10-09 08:33 ./var/lib/ocaml/lintian/libaac-tactics-ocaml-dev.info
drwxr-xr-x root/root         0 2017-10-09 08:33 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root       929 2017-10-09 08:33 ./var/lib/ocaml/md5sums/libaac-tactics-ocaml-dev.md5sums


libaac-tactics-ocaml_8.6.1-2+b1_armhf.deb
-----------------------------------------

 new Debian package, version 2.0.
 size 116792 bytes: control archive=860 bytes.
     675 bytes,    18 lines      control              
     504 bytes,     6 lines      md5sums              
 Package: libaac-tactics-ocaml
 Source: aac-tactics (8.6.1-2)
 Version: 8.6.1-2+b1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 476
 Depends: libcoq-ocaml-4uhq1, ocaml-base-nox-4.05.0, libc6 (>= 2.4)
 Recommends: libaac-tactics-coq
 Enhances: coq
 Provides: libaac-tactics-ocaml-hv7z9
 Section: ocaml
 Priority: optional
 Homepage: https://github.com/coq-contribs/aac-tactics
 Description: Coq tactics for reasoning modulo AC (plugin)
  This Coq plugin provides tactics for rewriting universally quantified
  equations, modulo associative (and possibly commutative) operators.
  .
  This package provides the plugin itself.

drwxr-xr-x root/root         0 2017-10-09 08:33 ./
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/coq/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/coq/user-contrib/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/
-rw-r--r-- root/root    126594 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/aac.cmo
-rw-r--r-- root/root    344040 2017-10-09 08:33 ./usr/lib/coq/user-contrib/AAC_tactics/aac.cmxs
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/doc/
drwxr-xr-x root/root         0 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml/
-rw-r--r-- root/root       222 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml/changelog.Debian.armhf.gz
-rw-r--r-- root/root      1064 2017-10-09 08:33 ./usr/share/doc/libaac-tactics-ocaml/changelog.Debian.gz
-rw-r--r-- root/root       536 2016-12-28 13:28 ./usr/share/doc/libaac-tactics-ocaml/changelog.gz
-rw-r--r-- root/root      1116 2017-10-09 08:32 ./usr/share/doc/libaac-tactics-ocaml/copyright


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


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

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

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

Build Architecture: armhf
Build-Space: 6708
Build-Time: 38
Distribution: buster-staging
Host Architecture: armhf
Install-Time: 585
Job: aac-tactics_8.6.1-2
Machine Architecture: armhf
Package: aac-tactics
Package-Time: 639
Source-Version: 8.6.1-2
Space: 6708
Status: successful
Version: 8.6.1-2+b1
--------------------------------------------------------------------------------
Finished at 2018-01-12T14:31:49Z
Build needed 00:10:39, 6708k disk space