sbuild (Debian sbuild) 0.62.6 (07 Dec 2011) on build01.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ aac-tactics 0.2.pl2-7 (armhf) 22 Jun 2012 20:24 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: aac-tactics Version: 0.2.pl2-7 Source Version: 0.2.pl2-7 Distribution: testing Architecture: armhf I: NOTICE: Log filtering will replace 'build/aac-tactics-62cscJ/aac-tactics-0.2.pl2' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/aac-tactics-62cscJ' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-f77da7a9-f8f6-4d5f-afd6-c235ab4f1723' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Hit http://repo.raspbian.lan testing InRelease Hit http://repo.raspbian.lan testing/main Sources Hit http://repo.raspbian.lan testing/main armhf Packages Ign http://repo.raspbian.lan testing/main Translation-en Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'aac-tactics' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git Need to get 82.4 kB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main aac-tactics 0.2.pl2-7 (dsc) [2218 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main aac-tactics 0.2.pl2-7 (tar) [77.4 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main aac-tactics 0.2.pl2-7 (diff) [2746 B] Fetched 82.4 kB in 0s (1088 kB/s) Download complete and in download only mode Check arch ────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-1yPYig/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 9 not upgraded. Need to get 0 B/704 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 10659 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 8), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.3), libcoq-ocaml-dev Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 8), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.3), libcoq-ocaml-dev dpkg-deb: building package `sbuild-build-depends-aac-tactics-dummy' in `/«BUILDDIR»/resolver-hYCQ6P/apt_archive/sbuild-build-depends-aac-tactics-dummy.deb'. OK 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 extra packages will be installed: aspell aspell-en bsdmainutils camlp5 coq coq-theories debhelper dh-ocaml dictionaries-common emacsen-common file fontconfig fontconfig-config gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-pango-1.0 groff-base html2text intltool-debian libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libffi5 libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgettextpo0 libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtkspell-dev libgtkspell0 libhunspell-1.3-0 libice-dev libice6 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev libmagic1 libncurses5-dev libp11-kit0 libpango1.0-0 libpango1.0-dev libpcre3 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-0 libpng12-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libtasn1-3 libthai-data libthai0 libtiff4 libtinfo-dev libunistring0 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox pkg-config po-debconf python python-minimal python2.7 python2.7-minimal shared-mime-info ttf-dejavu-core x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: aspell-doc spellutils wamerican wordlist whois vacation ocaml-findlib proofgeneral ledit readline-editor why coq-doc dh-make git ispell jed-extra gettext-doc groff libcairo2-doc cups-common libenchant-voikko rng-tools glade glade-gnome libglib2.0-doc krb5-doc krb5-user librsvg2-common gvfs libgtk2.0-doc libice-doc libjasper-runtime liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev ncurses-doc ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp libpango1.0-doc imagemagick libsm-doc libxcb-doc libxext-doc less www-browser libgdbm-dev tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc binfmt-support Recommended packages: curl wget lynx-cur autopoint dbus enchant hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary krb5-locales liblablgtk2-ocaml-doc libx11-doc xml-core camlp4 libmail-sendmail-perl The following NEW packages will be installed: aspell aspell-en bsdmainutils camlp5 coq coq-theories debhelper dh-ocaml dictionaries-common emacsen-common file fontconfig fontconfig-config gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-pango-1.0 groff-base html2text intltool-debian libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libffi5 libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgettextpo0 libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtkspell-dev libgtkspell0 libhunspell-1.3-0 libice-dev libice6 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev libmagic1 libncurses5-dev libp11-kit0 libpango1.0-0 libpango1.0-dev libpcre3 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-0 libpng12-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libtasn1-3 libthai-data libthai0 libtiff4 libtinfo-dev libunistring0 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 man-db mime-support ocaml-base-nox ocaml-compiler-libs 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 ttf-dejavu-core 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, 174 newly installed, 0 to remove and 9 not upgraded. Need to get 61.0 MB/129 MB of archives. After this operation, 420 MB of additional disk space will be used. Get:1 http://repo.raspbian.lan/raspbian/ testing/main coq-theories all 8.3.pl4+dfsg-2 [54.4 MB] Get:2 http://repo.raspbian.lan/raspbian/ testing/main liblablgtk2-ocaml armhf 2.14.2+dfsg-3 [318 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main libcoq-ocaml armhf 8.3.pl4+dfsg-2 [533 kB] Get:4 http://repo.raspbian.lan/raspbian/ testing/main coq armhf 8.3.pl4+dfsg-2 [1813 kB] Get:5 http://repo.raspbian.lan/raspbian/ testing/main liblablgtk2-ocaml-dev armhf 2.14.2+dfsg-3 [1377 kB] Get:6 http://repo.raspbian.lan/raspbian/ testing/main libcoq-ocaml-dev armhf 8.3.pl4+dfsg-2 [2536 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 61.0 MB in 17s (3431 kB/s) Selecting previously unselected package libpcre3:armhf. (Reading database ... 10659 files and directories currently installed.) Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package libpipeline1:armhf. Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.1-1_armhf.deb) ... Selecting previously unselected package libpopt0:armhf. Unpacking libpopt0:armhf (from .../libpopt0_1.16-7_armhf.deb) ... Selecting previously unselected package libssl1.0.0:armhf. Unpacking libssl1.0.0:armhf (from .../libssl1.0.0_1.0.1c-3+rpi1_armhf.deb) ... Selecting previously unselected package libasprintf0c2:armhf. Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package libgpg-error0:armhf. Unpacking libgpg-error0:armhf (from .../libgpg-error0_1.10-3_armhf.deb) ... Selecting previously unselected package libgcrypt11:armhf. Unpacking libgcrypt11:armhf (from .../libgcrypt11_1.5.0-3_armhf.deb) ... Selecting previously unselected package libp11-kit0:armhf. Unpacking libp11-kit0:armhf (from .../libp11-kit0_0.12-3_armhf.deb) ... Selecting previously unselected package libtasn1-3:armhf. Unpacking libtasn1-3:armhf (from .../libtasn1-3_2.13-2_armhf.deb) ... Selecting previously unselected package libgnutls26:armhf. Unpacking libgnutls26:armhf (from .../libgnutls26_2.12.20-1_armhf.deb) ... Selecting previously unselected package libkeyutils1:armhf. Unpacking libkeyutils1:armhf (from .../libkeyutils1_1.5.5-2_armhf.deb) ... Selecting previously unselected package libkrb5support0:armhf. Unpacking libkrb5support0:armhf (from .../libkrb5support0_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libk5crypto3:armhf. Unpacking libk5crypto3:armhf (from .../libk5crypto3_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libkrb5-3:armhf. Unpacking libkrb5-3:armhf (from .../libkrb5-3_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Unpacking libgssapi-krb5-2:armhf (from .../libgssapi-krb5-2_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_5.11-1_armhf.deb) ... Selecting previously unselected package libsqlite3-0:armhf. Unpacking libsqlite3-0:armhf (from .../libsqlite3-0_3.7.12.1-1_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.8.0+dfsg1-3_armhf.deb) ... Selecting previously unselected package libffi5:armhf. Unpacking libffi5:armhf (from .../libffi5_3.0.10-3+b3_armhf.deb) ... Selecting previously unselected package libglib2.0-0:armhf. Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.32.3-1_armhf.deb) ... Selecting previously unselected package libatk1.0-data. Unpacking libatk1.0-data (from .../libatk1.0-data_2.4.0-2_all.deb) ... Selecting previously unselected package libatk1.0-0:armhf. Unpacking libatk1.0-0:armhf (from .../libatk1.0-0_2.4.0-2_armhf.deb) ... Selecting previously unselected package libavahi-common-data:armhf. Unpacking libavahi-common-data:armhf (from .../libavahi-common-data_0.6.31-1_armhf.deb) ... Selecting previously unselected package libavahi-common3:armhf. Unpacking libavahi-common3:armhf (from .../libavahi-common3_0.6.31-1_armhf.deb) ... Selecting previously unselected package libdbus-1-3:armhf. Unpacking libdbus-1-3:armhf (from .../libdbus-1-3_1.6.0-1_armhf.deb) ... Selecting previously unselected package libavahi-client3:armhf. Unpacking libavahi-client3:armhf (from .../libavahi-client3_0.6.31-1_armhf.deb) ... Selecting previously unselected package libexpat1:armhf. Unpacking libexpat1:armhf (from .../libexpat1_2.1.0-1_armhf.deb) ... Selecting previously unselected package libfreetype6:armhf. Unpacking libfreetype6:armhf (from .../libfreetype6_2.4.9-1_armhf.deb) ... Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.9.0-6_all.deb) ... Selecting previously unselected package libfontconfig1:armhf. Unpacking libfontconfig1:armhf (from .../libfontconfig1_2.9.0-6_armhf.deb) ... Selecting previously unselected package libpixman-1-0:armhf. Unpacking libpixman-1-0:armhf (from .../libpixman-1-0_0.24.4-1_armhf.deb) ... Selecting previously unselected package libpng12-0:armhf. Unpacking libpng12-0:armhf (from .../libpng12-0_1.2.49-1_armhf.deb) ... Selecting previously unselected package libxau6:armhf. Unpacking libxau6:armhf (from .../libxau6_1%3a1.0.7-1_armhf.deb) ... Selecting previously unselected package libxdmcp6:armhf. Unpacking libxdmcp6:armhf (from .../libxdmcp6_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libxcb1:armhf. Unpacking libxcb1:armhf (from .../libxcb1_1.8.1-1_armhf.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.4.99.901-2_all.deb) ... Selecting previously unselected package libx11-6:armhf. Unpacking libx11-6:armhf (from .../libx11-6_2%3a1.4.99.901-2_armhf.deb) ... Selecting previously unselected package libxcb-render0:armhf. Unpacking libxcb-render0:armhf (from .../libxcb-render0_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxcb-shm0:armhf. Unpacking libxcb-shm0:armhf (from .../libxcb-shm0_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxrender1:armhf. Unpacking libxrender1:armhf (from .../libxrender1_1%3a0.9.7-1_armhf.deb) ... Selecting previously unselected package libcairo2:armhf. Unpacking libcairo2:armhf (from .../libcairo2_1.12.2-1_armhf.deb) ... Selecting previously unselected package libcairo-gobject2:armhf. Unpacking libcairo-gobject2:armhf (from .../libcairo-gobject2_1.12.2-1_armhf.deb) ... Selecting previously unselected package libcairo-script-interpreter2:armhf. Unpacking libcairo-script-interpreter2:armhf (from .../libcairo-script-interpreter2_1.12.2-1_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.5-1_armhf.deb) ... Selecting previously unselected package libcups2:armhf. Unpacking libcups2:armhf (from .../libcups2_1.5.3-1_armhf.deb) ... Selecting previously unselected package libdatrie1:armhf. Unpacking libdatrie1:armhf (from .../libdatrie1_0.2.5-3_armhf.deb) ... Selecting previously unselected package libjpeg8:armhf. Unpacking libjpeg8:armhf (from .../libjpeg8_8d-1_armhf.deb) ... Selecting previously unselected package libjasper1:armhf. Unpacking libjasper1:armhf (from .../libjasper1_1.900.1-13_armhf.deb) ... Selecting previously unselected package libjbig0:armhf. Unpacking libjbig0:armhf (from .../libjbig0_2.0-2_armhf.deb) ... Selecting previously unselected package libtiff4:armhf. Unpacking libtiff4:armhf (from .../libtiff4_3.9.6-5_armhf.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.26.1-1_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-0:armhf. Unpacking libgdk-pixbuf2.0-0:armhf (from .../libgdk-pixbuf2.0-0_2.26.1-1_armhf.deb) ... Selecting previously unselected package libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package libgettextpo0:armhf. Unpacking libgettextpo0:armhf (from .../libgettextpo0_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.10-1_all.deb) ... Selecting previously unselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.17-1_all.deb) ... Selecting previously unselected package libthai0:armhf. Unpacking libthai0:armhf (from .../libthai0_0.1.17-1_armhf.deb) ... Selecting previously unselected package libxft2:armhf. Unpacking libxft2:armhf (from .../libxft2_2.2.0-3_armhf.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.9.0-6_armhf.deb) ... Selecting previously unselected package libpango1.0-0:armhf. Unpacking libpango1.0-0:armhf (from .../libpango1.0-0_1.30.0-1_armhf.deb) ... Selecting previously unselected package libxcomposite1:armhf. Unpacking libxcomposite1:armhf (from .../libxcomposite1_1%3a0.4.3-2_armhf.deb) ... Selecting previously unselected package libxfixes3:armhf. Unpacking libxfixes3:armhf (from .../libxfixes3_1%3a5.0-4_armhf.deb) ... Selecting previously unselected package libxcursor1:armhf. Unpacking libxcursor1:armhf (from .../libxcursor1_1%3a1.1.13-1_armhf.deb) ... Selecting previously unselected package libxdamage1:armhf. Unpacking libxdamage1:armhf (from .../libxdamage1_1%3a1.1.3-2_armhf.deb) ... Selecting previously unselected package libxext6:armhf. Unpacking libxext6:armhf (from .../libxext6_2%3a1.3.1-2_armhf.deb) ... Selecting previously unselected package libxi6:armhf. Unpacking libxi6:armhf (from .../libxi6_2%3a1.6.1-1_armhf.deb) ... Selecting previously unselected package libxinerama1:armhf. Unpacking libxinerama1:armhf (from .../libxinerama1_2%3a1.1.2-1_armhf.deb) ... Selecting previously unselected package libxrandr2:armhf. Unpacking libxrandr2:armhf (from .../libxrandr2_2%3a1.3.2-2_armhf.deb) ... Selecting previously unselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_1.0-1_armhf.deb) ... Selecting previously unselected package libgtk2.0-0:armhf. Unpacking libgtk2.0-0:armhf (from .../libgtk2.0-0_2.24.10-1_armhf.deb) ... Selecting previously unselected package libhunspell-1.3-0:armhf. Unpacking libhunspell-1.3-0:armhf (from .../libhunspell-1.3-0_1.3.2-4_armhf.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.6+13_all.deb) ... Selecting previously unselected package libice6:armhf. Unpacking libice6:armhf (from .../libice6_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libpcrecpp0:armhf. Unpacking libpcrecpp0:armhf (from .../libpcrecpp0_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package libsm6:armhf. Unpacking libsm6:armhf (from .../libsm6_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.3_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-7_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.1-2_armhf.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.52-1_all.deb) ... Selecting previously unselected package python2.7-minimal. Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.3~rc2-2.1_armhf.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.3~rc2-2.1_armhf.deb) ... Selecting previously unselected package python-minimal. Unpacking python-minimal (from .../python-minimal_2.7.3~rc2-1_all.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.3~rc2-1_all.deb) ... Selecting previously unselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1_armhf.deb) ... Selecting previously unselected package dictionaries-common. Unpacking dictionaries-common (from .../dictionaries-common_1.12.8_all.deb) ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Selecting previously unselected package aspell. Unpacking aspell (from .../aspell_0.60.7~20110707-1_armhf.deb) ... Selecting previously unselected package aspell-en. Unpacking aspell-en (from .../aspell-en_7.1-0-1_all.deb) ... Selecting previously unselected package coq-theories. Unpacking coq-theories (from .../coq-theories_8.3.pl4+dfsg-2_all.deb) ... Selecting previously unselected package emacsen-common. Unpacking emacsen-common (from .../emacsen-common_2.0.3_all.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-3_armhf.deb) ... Selecting previously unselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1_armhf.deb) ... Selecting previously unselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7_armhf.deb) ... Selecting previously unselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-3_armhf.deb) ... Selecting previously unselected package libcoq-ocaml. Unpacking libcoq-ocaml (from .../libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb) ... Selecting previously unselected package coq. Unpacking coq (from .../coq_8.3.pl4+dfsg-2_armhf.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120608_all.deb) ... Selecting previously unselected package libgirepository-1.0-1. Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_1.32.1-1_armhf.deb) ... Selecting previously unselected package gir1.2-glib-2.0. Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_1.32.1-1_armhf.deb) ... Selecting previously unselected package gir1.2-atk-1.0. Unpacking gir1.2-atk-1.0 (from .../gir1.2-atk-1.0_2.4.0-2_armhf.deb) ... Selecting previously unselected package gir1.2-freedesktop. Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_1.32.1-1_armhf.deb) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0. Unpacking gir1.2-gdkpixbuf-2.0 (from .../gir1.2-gdkpixbuf-2.0_2.26.1-1_armhf.deb) ... Selecting previously unselected package gir1.2-pango-1.0. Unpacking gir1.2-pango-1.0 (from .../gir1.2-pango-1.0_1.30.0-1_armhf.deb) ... Selecting previously unselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.26-1_armhf.deb) ... Selecting previously unselected package libelf1. Unpacking libelf1 (from .../libelf1_0.152-1+rpi1_armhf.deb) ... Selecting previously unselected package libglib2.0-data. Unpacking libglib2.0-data (from .../libglib2.0-data_2.32.3-1_all.deb) ... Selecting previously unselected package libglib2.0-bin. Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.32.3-1_armhf.deb) ... Selecting previously unselected package libpcre3-dev. Unpacking libpcre3-dev (from .../libpcre3-dev_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package zlib1g-dev:armhf. Unpacking zlib1g-dev:armhf (from .../zlib1g-dev_1%3a1.2.7.dfsg-11_armhf.deb) ... Selecting previously unselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.32.3-1_armhf.deb) ... Selecting previously unselected package libatk1.0-dev. Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.4.0-2_armhf.deb) ... Selecting previously unselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.1.0-1_armhf.deb) ... Selecting previously unselected package libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.9-1_armhf.deb) ... Selecting previously unselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.9.0-6_armhf.deb) ... Selecting previously unselected package xorg-sgml-doctools. Unpacking xorg-sgml-doctools (from .../xorg-sgml-doctools_1%3a1.10-1_all.deb) ... Selecting previously unselected package x11proto-core-dev. Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.23-1_all.deb) ... Selecting previously unselected package libxau-dev:armhf. Unpacking libxau-dev:armhf (from .../libxau-dev_1%3a1.0.7-1_armhf.deb) ... Selecting previously unselected package libxdmcp-dev:armhf. Unpacking libxdmcp-dev:armhf (from .../libxdmcp-dev_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package x11proto-input-dev. Unpacking x11proto-input-dev (from .../x11proto-input-dev_2.2-1_all.deb) ... Selecting previously unselected package x11proto-kb-dev. Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.6-1_all.deb) ... Selecting previously unselected package xtrans-dev. Unpacking xtrans-dev (from .../xtrans-dev_1.2.7-1_all.deb) ... Selecting previously unselected package libpthread-stubs0:armhf. Unpacking libpthread-stubs0:armhf (from .../libpthread-stubs0_0.3-3_armhf.deb) ... Selecting previously unselected package libpthread-stubs0-dev:armhf. Unpacking libpthread-stubs0-dev:armhf (from .../libpthread-stubs0-dev_0.3-3_armhf.deb) ... Selecting previously unselected package libxcb1-dev:armhf. Unpacking libxcb1-dev:armhf (from .../libxcb1-dev_1.8.1-1_armhf.deb) ... Selecting previously unselected package libx11-dev:armhf. Unpacking libx11-dev:armhf (from .../libx11-dev_2%3a1.4.99.901-2_armhf.deb) ... Selecting previously unselected package x11proto-render-dev. Unpacking x11proto-render-dev (from .../x11proto-render-dev_2%3a0.11.1-2_all.deb) ... Selecting previously unselected package libxrender-dev:armhf. Unpacking libxrender-dev:armhf (from .../libxrender-dev_1%3a0.9.7-1_armhf.deb) ... Selecting previously unselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.49-1_armhf.deb) ... Selecting previously unselected package libice-dev:armhf. Unpacking libice-dev:armhf (from .../libice-dev_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libsm-dev:armhf. Unpacking libsm-dev:armhf (from .../libsm-dev_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package libpixman-1-dev. Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.24.4-1_armhf.deb) ... Selecting previously unselected package libxcb-render0-dev:armhf. Unpacking libxcb-render0-dev:armhf (from .../libxcb-render0-dev_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxcb-shm0-dev:armhf. Unpacking libxcb-shm0-dev:armhf (from .../libxcb-shm0-dev_1.8.1-1_armhf.deb) ... Selecting previously unselected package libcairo2-dev. Unpacking libcairo2-dev (from .../libcairo2-dev_1.12.2-1_armhf.deb) ... Selecting previously unselected package libtinfo-dev:armhf. Unpacking libtinfo-dev:armhf (from .../libtinfo-dev_5.9-8_armhf.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-8_armhf.deb) ... Selecting previously unselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.12.1-3_armhf.deb) ... Selecting previously unselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-3_armhf.deb) ... Selecting previously unselected package ocaml-compiler-libs. Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_3.12.1-3_armhf.deb) ... Selecting previously unselected package camlp5. Unpacking camlp5 (from .../camlp5_6.06-1_armhf.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.26.1-1_armhf.deb) ... Selecting previously unselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.2.0-3_armhf.deb) ... Selecting previously unselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.30.0-1_armhf.deb) ... Selecting previously unselected package x11proto-xext-dev. Unpacking x11proto-xext-dev (from .../x11proto-xext-dev_7.2.1-1_all.deb) ... Selecting previously unselected package libxext-dev:armhf. Unpacking libxext-dev:armhf (from .../libxext-dev_2%3a1.3.1-2_armhf.deb) ... Selecting previously unselected package x11proto-xinerama-dev. Unpacking x11proto-xinerama-dev (from .../x11proto-xinerama-dev_1.2.1-2_all.deb) ... Selecting previously unselected package libxinerama-dev:armhf. Unpacking libxinerama-dev:armhf (from .../libxinerama-dev_2%3a1.1.2-1_armhf.deb) ... Selecting previously unselected package libxi-dev. Unpacking libxi-dev (from .../libxi-dev_2%3a1.6.1-1_armhf.deb) ... Selecting previously unselected package x11proto-randr-dev. Unpacking x11proto-randr-dev (from .../x11proto-randr-dev_1.3.2-2_all.deb) ... Selecting previously unselected package libxrandr-dev. Unpacking libxrandr-dev (from .../libxrandr-dev_2%3a1.3.2-2_armhf.deb) ... Selecting previously unselected package x11proto-fixes-dev. Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a5.0-2_all.deb) ... Selecting previously unselected package libxfixes-dev. Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a5.0-4_armhf.deb) ... Selecting previously unselected package libxcursor-dev:armhf. Unpacking libxcursor-dev:armhf (from .../libxcursor-dev_1%3a1.1.13-1_armhf.deb) ... Selecting previously unselected package x11proto-composite-dev. Unpacking x11proto-composite-dev (from .../x11proto-composite-dev_1%3a0.4.2-2_all.deb) ... Selecting previously unselected package libxcomposite-dev. Unpacking libxcomposite-dev (from .../libxcomposite-dev_1%3a0.4.3-2_armhf.deb) ... Selecting previously unselected package x11proto-damage-dev. Unpacking x11proto-damage-dev (from .../x11proto-damage-dev_1%3a1.2.1-2_all.deb) ... Selecting previously unselected package libxdamage-dev. Unpacking libxdamage-dev (from .../libxdamage-dev_1%3a1.1.3-2_armhf.deb) ... Selecting previously unselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.8.0+dfsg1-3_armhf.deb) ... Selecting previously unselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.10-1_armhf.deb) ... Selecting previously unselected package libxml2-dev:armhf. Unpacking libxml2-dev:armhf (from .../libxml2-dev_2.8.0+dfsg1-3_armhf.deb) ... Selecting previously unselected package libglade2-dev. Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1_armhf.deb) ... Selecting previously unselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-7_armhf.deb) ... Selecting previously unselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-3_armhf.deb) ... Selecting previously unselected package libcoq-ocaml-dev. Unpacking libcoq-ocaml-dev (from .../libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb) ... Selecting previously unselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_1.0.5_all.deb) ... Selecting previously unselected package sbuild-build-depends-aac-tactics-dummy. Unpacking sbuild-build-depends-aac-tactics-dummy (from .../sbuild-build-depends-aac-tactics-dummy.deb) ... Setting up libpcre3:armhf (1:8.30-5) ... Setting up libpipeline1:armhf (1.2.1-1) ... Setting up libpopt0:armhf (1.16-7) ... Setting up libssl1.0.0:armhf (1.0.1c-3+rpi1) ... Setting up libasprintf0c2:armhf (0.18.1.1-9) ... Setting up libgpg-error0:armhf (1.10-3) ... Setting up libgcrypt11:armhf (1.5.0-3) ... Setting up libp11-kit0:armhf (0.12-3) ... Setting up libtasn1-3:armhf (2.13-2) ... Setting up libgnutls26:armhf (2.12.20-1) ... Setting up libkeyutils1:armhf (1.5.5-2) ... Setting up libkrb5support0:armhf (1.10.1+dfsg-1) ... Setting up libk5crypto3:armhf (1.10.1+dfsg-1) ... Setting up libkrb5-3:armhf (1.10.1+dfsg-1) ... Setting up libgssapi-krb5-2:armhf (1.10.1+dfsg-1) ... Setting up libmagic1:armhf (5.11-1) ... Setting up libsqlite3-0:armhf (3.7.12.1-1) ... Setting up libxml2:armhf (2.8.0+dfsg1-3) ... Setting up libffi5:armhf (3.0.10-3+b3) ... Setting up libglib2.0-0:armhf (2.32.3-1) ... No schema files found: doing nothing. Setting up libatk1.0-data (2.4.0-2) ... Setting up libatk1.0-0:armhf (2.4.0-2) ... Setting up libavahi-common-data:armhf (0.6.31-1) ... Setting up libavahi-common3:armhf (0.6.31-1) ... Setting up libdbus-1-3:armhf (1.6.0-1) ... Setting up libavahi-client3:armhf (0.6.31-1) ... Setting up libexpat1:armhf (2.1.0-1) ... Setting up libfreetype6:armhf (2.4.9-1) ... Setting up ttf-dejavu-core (2.33-2) ... Setting up fontconfig-config (2.9.0-6) ... Setting up libfontconfig1:armhf (2.9.0-6) ... Setting up libpixman-1-0:armhf (0.24.4-1) ... Setting up libpng12-0:armhf (1.2.49-1) ... Setting up libxau6:armhf (1:1.0.7-1) ... Setting up libxdmcp6:armhf (1:1.1.1-1) ... Setting up libxcb1:armhf (1.8.1-1) ... Setting up libx11-data (2:1.4.99.901-2) ... Setting up libx11-6:armhf (2:1.4.99.901-2) ... Setting up libxcb-render0:armhf (1.8.1-1) ... Setting up libxcb-shm0:armhf (1.8.1-1) ... Setting up libxrender1:armhf (1:0.9.7-1) ... Setting up libcairo2:armhf (1.12.2-1) ... Setting up libcairo-gobject2:armhf (1.12.2-1) ... Setting up libcairo-script-interpreter2:armhf (1.12.2-1) ... Setting up libcroco3:armhf (0.6.5-1) ... Setting up libcups2:armhf (1.5.3-1) ... Setting up libdatrie1:armhf (0.2.5-3) ... Setting up libjpeg8:armhf (8d-1) ... Setting up libjasper1:armhf (1.900.1-13) ... Setting up libjbig0:armhf (2.0-2) ... Setting up libtiff4:armhf (3.9.6-5) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1) ... Setting up libgdk-pixbuf2.0-0:armhf (2.26.1-1) ... Setting up libunistring0:armhf (0.9.3-5) ... Setting up libgettextpo0:armhf (0.18.1.1-9) ... Setting up libgtk2.0-common (2.24.10-1) ... Setting up libthai-data (0.1.17-1) ... Setting up libthai0:armhf (0.1.17-1) ... Setting up libxft2:armhf (2.2.0-3) ... Setting up fontconfig (2.9.0-6) ... Cleaning up old fontconfig caches... done. Regenerating fonts cache... done. Setting up libpango1.0-0:armhf (1.30.0-1) ... Setting up libxcomposite1:armhf (1:0.4.3-2) ... Setting up libxfixes3:armhf (1:5.0-4) ... Setting up libxcursor1:armhf (1:1.1.13-1) ... Setting up libxdamage1:armhf (1:1.1.3-2) ... Setting up libxext6:armhf (2:1.3.1-2) ... Setting up libxi6:armhf (2:1.6.1-1) ... Setting up libxinerama1:armhf (2:1.1.2-1) ... Setting up libxrandr2:armhf (2:1.3.2-2) ... Setting up shared-mime-info (1.0-1) ... Setting up libgtk2.0-0:armhf (2.24.10-1) ... Setting up libhunspell-1.3-0:armhf (1.3.2-4) ... Setting up x11-common (1:7.6+13) ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:armhf (2:1.0.8-2) ... Setting up libpcrecpp0:armhf (1:8.30-5) ... Setting up libsm6:armhf (2:1.2.1-2) ... Setting up bsdmainutils (9.0.3) ... 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 groff-base (1.21-7) ... Setting up man-db (2.6.1-2) ... Building database of manual pages ... Setting up file (5.11-1) ... Setting up gettext-base (0.18.1.1-9) ... Setting up mime-support (3.52-1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.7-minimal (2.7.3~rc2-2.1) ... Setting up python2.7 (2.7.3~rc2-2.1) ... Setting up python-minimal (2.7.3~rc2-1) ... Setting up python (2.7.3~rc2-1) ... Setting up libaspell15 (0.60.7~20110707-1) ... Setting up dictionaries-common (1.12.8) ... Setting up emacsen-common (2.0.3) ... Setting up ocaml-base-nox (3.12.1-3) ... Setting up libglade2-0 (1:2.6.4-1) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-9) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20120608) ... Setting up libgirepository-1.0-1 (1.32.1-1) ... Setting up gir1.2-glib-2.0 (1.32.1-1) ... Setting up gir1.2-atk-1.0 (2.4.0-2) ... Setting up gir1.2-freedesktop (1.32.1-1) ... Setting up gir1.2-gdkpixbuf-2.0 (2.26.1-1) ... Setting up gir1.2-pango-1.0 (1.30.0-1) ... Setting up pkg-config (0.26-1) ... Setting up libelf1 (0.152-1+rpi1) ... Setting up libglib2.0-data (2.32.3-1) ... Setting up libglib2.0-bin (2.32.3-1) ... Setting up libpcre3-dev (1:8.30-5) ... Setting up zlib1g-dev:armhf (1:1.2.7.dfsg-11) ... Setting up libglib2.0-dev (2.32.3-1) ... Setting up libatk1.0-dev (2.4.0-2) ... Setting up libexpat1-dev (2.1.0-1) ... Setting up libfreetype6-dev (2.4.9-1) ... Setting up libfontconfig1-dev (2.9.0-6) ... Setting up xorg-sgml-doctools (1:1.10-1) ... Setting up x11proto-core-dev (7.0.23-1) ... Setting up libxau-dev:armhf (1:1.0.7-1) ... Setting up libxdmcp-dev:armhf (1:1.1.1-1) ... Setting up x11proto-input-dev (2.2-1) ... Setting up x11proto-kb-dev (1.0.6-1) ... Setting up xtrans-dev (1.2.7-1) ... Setting up libpthread-stubs0:armhf (0.3-3) ... Setting up libpthread-stubs0-dev:armhf (0.3-3) ... Setting up libxcb1-dev:armhf (1.8.1-1) ... Setting up libx11-dev:armhf (2:1.4.99.901-2) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:armhf (1:0.9.7-1) ... Setting up libpng12-dev (1.2.49-1) ... Setting up libice-dev:armhf (2:1.0.8-2) ... Setting up libsm-dev:armhf (2:1.2.1-2) ... Setting up libpixman-1-dev (0.24.4-1) ... Setting up libxcb-render0-dev:armhf (1.8.1-1) ... Setting up libxcb-shm0-dev:armhf (1.8.1-1) ... Setting up libcairo2-dev (1.12.2-1) ... Setting up libtinfo-dev:armhf (5.9-8) ... Setting up libncurses5-dev (5.9-8) ... Setting up ocaml-interp (3.12.1-3) ... Setting up ocaml-nox (3.12.1-3) ... Setting up ocaml-compiler-libs (3.12.1-3) ... Setting up camlp5 (6.06-1) ... Setting up libgdk-pixbuf2.0-dev (2.26.1-1) ... Setting up libxft-dev (2.2.0-3) ... Setting up libpango1.0-dev (1.30.0-1) ... Setting up x11proto-xext-dev (7.2.1-1) ... Setting up libxext-dev:armhf (2:1.3.1-2) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev:armhf (2:1.1.2-1) ... Setting up libxi-dev (2:1.6.1-1) ... Setting up x11proto-randr-dev (1.3.2-2) ... Setting up libxrandr-dev (2:1.3.2-2) ... Setting up x11proto-fixes-dev (1:5.0-2) ... Setting up libxfixes-dev (1:5.0-4) ... Setting up libxcursor-dev:armhf (1:1.1.13-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.3-2) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev (1:1.1.3-2) ... Setting up libxml2-utils (2.8.0+dfsg1-3) ... Setting up libgtk2.0-dev (2.24.10-1) ... Setting up libxml2-dev:armhf (2.8.0+dfsg1-3) ... Setting up libglade2-dev (1:2.6.4-1) ... Setting up dh-ocaml (1.0.5) ... Processing triggers for dictionaries-common ... aspell-autobuildhash: processing: en [en-common] aspell-autobuildhash: processing: en [en-variant_0] aspell-autobuildhash: processing: en [en-variant_1] aspell-autobuildhash: processing: en [en-variant_2] aspell-autobuildhash: processing: en [en-w_accents-only] aspell-autobuildhash: processing: en [en-wo_accents-only] aspell-autobuildhash: processing: en [en_CA-variant_0] aspell-autobuildhash: processing: en [en_CA-variant_1] aspell-autobuildhash: processing: en [en_CA-w_accents-only] aspell-autobuildhash: processing: en [en_CA-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-variant_0] aspell-autobuildhash: processing: en [en_GB-variant_1] aspell-autobuildhash: processing: en [en_US-w_accents-only] aspell-autobuildhash: processing: en [en_US-wo_accents-only] Setting up aspell (0.60.7~20110707-1) ... Processing triggers for dictionaries-common ... Setting up aspell-en (7.1-0-1) ... Processing triggers for dictionaries-common ... Setting up libenchant1c2a (1.6.0-7) ... Setting up libgtkspell0 (2.0.16-1) ... Setting up liblablgtk2-ocaml (2.14.2+dfsg-3) ... Setting up libcoq-ocaml (8.3.pl4+dfsg-2) ... Setting up libenchant-dev (1.6.0-7) ... Setting up libgtkspell-dev (2.0.16-1) ... Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-3) ... Setting up coq-theories (8.3.pl4+dfsg-2) ... Setting up coq (8.3.pl4+dfsg-2) ... Install emacsen-common for emacs Install coq for emacs Setting up libcoq-ocaml-dev (8.3.pl4+dfsg-2) ... Setting up sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-2-mx5 armhf (armv7l) Toolchain package versions: binutils_2.22-6.1 dpkg-dev_1.16.3 g++-4.6_4.6.3-1.1+rpi2 gcc-4.6_4.6.3-1.1+rpi2 libc6-dev_2.13-33 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 linux-libc-dev_3.2.18-1 Package versions: apt_0.9.3+rpi1 aspell_0.60.7~20110707-1 aspell-en_7.1-0-1 base-files_6.9 base-passwd_3.5.24 bash_4.2-2 binutils_2.22-6.1 bsdmainutils_9.0.3 bsdutils_1:2.20.1-5 build-essential_11.5+b1 bzip2_1.0.6-3 camlp5_6.06-1 coq_8.3.pl4+dfsg-2 coq-theories_8.3.pl4+dfsg-2 coreutils_8.13-3.2 cpp_4:4.6.2-4 cpp-4.6_4.6.3-1.1+rpi2 dash_0.5.7-3 debconf_1.5.43 debfoster_2.7-1.1 debhelper_9.20120608 debian-archive-keyring_2012.3 debianutils_4.3.1 dh-ocaml_1.0.5 dictionaries-common_1.12.8 diffutils_1:3.2-6 dpkg_1.16.3 dpkg-dev_1.16.3 e2fslibs_1.42.2-2 e2fsprogs_1.42.2-2 emacsen-common_2.0.3 fakeroot_1.18.3-1 file_5.11-1 findutils_4.4.2-4 fontconfig_2.9.0-6 fontconfig-config_2.9.0-6 g++_4:4.6.2-4 g++-4.6_4.6.3-1.1+rpi2 gcc_4:4.6.2-4 gcc-4.4-base_4.4.7-1.1+rpi1 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-1.1+rpi2 gcc-4.6-base_4.6.3-1.1+rpi2 gcc-4.7-base_4.7.0-1.1+rpi gettext_0.18.1.1-9 gettext-base_0.18.1.1-9 gir1.2-atk-1.0_2.4.0-2 gir1.2-freedesktop_1.32.1-1 gir1.2-gdkpixbuf-2.0_2.26.1-1 gir1.2-glib-2.0_1.32.1-1 gir1.2-pango-1.0_1.30.0-1 gnupg_1.4.12-4 gpgv_1.4.12-4 grep_2.12-2 groff-base_1.21-7 gzip_1.4-5 hostname_3.11 html2text_1.3.2a-15 initscripts_2.88dsf-22.1 insserv_1.14.0-3 intltool-debian_0.35.0+20060710.1 libacl1_2.2.51-7 libapt-pkg4.12_0.9.3+rpi1 libaspell15_0.60.7~20110707-1 libasprintf0c2_0.18.1.1-9 libatk1.0-0_2.4.0-2 libatk1.0-data_2.4.0-2 libatk1.0-dev_2.4.0-2 libattr1_1:2.4.46-7 libavahi-client3_0.6.31-1 libavahi-common-data_0.6.31-1 libavahi-common3_0.6.31-1 libblkid1_2.20.1-5 libbz2-1.0_1.0.6-3 libc-bin_2.13-33 libc-dev-bin_2.13-33 libc6_2.13-33 libc6-dev_2.13-33 libcairo-gobject2_1.12.2-1 libcairo-script-interpreter2_1.12.2-1 libcairo2_1.12.2-1 libcairo2-dev_1.12.2-1 libclass-isa-perl_0.36-3 libcomerr2_1.42.4-3 libcoq-ocaml_8.3.pl4+dfsg-2 libcoq-ocaml-dev_8.3.pl4+dfsg-2 libcroco3_0.6.5-1 libcups2_1.5.3-1 libdatrie1_0.2.5-3 libdb5.1_5.1.29-1 libdbus-1-3_1.6.0-1 libdpkg-perl_1.16.3 libelf1_0.152-1+rpi1 libenchant-dev_1.6.0-7 libenchant1c2a_1.6.0-7 libexpat1_2.1.0-1 libexpat1-dev_2.1.0-1 libffi5_3.0.10-3+b3 libfile-fcntllock-perl_0.14-1 libfontconfig1_2.9.0-6 libfontconfig1-dev_2.9.0-6 libfreetype6_2.4.9-1 libfreetype6-dev_2.4.9-1 libgc1c2_1:7.1-8 libgcc1_1:4.7.0-1.1+rpi libgcrypt11_1.5.0-3 libgdbm3_1.8.3-10 libgdk-pixbuf2.0-0_2.26.1-1 libgdk-pixbuf2.0-common_2.26.1-1 libgdk-pixbuf2.0-dev_2.26.1-1 libgettextpo0_0.18.1.1-9 libgirepository-1.0-1_1.32.1-1 libglade2-0_1:2.6.4-1 libglade2-dev_1:2.6.4-1 libglib2.0-0_2.32.3-1 libglib2.0-bin_2.32.3-1 libglib2.0-data_2.32.3-1 libglib2.0-dev_2.32.3-1 libgmp10_2:5.0.5+dfsg-2 libgnutls26_2.12.20-1 libgomp1_4.7.0-1.1+rpi libgpg-error0_1.10-3 libgssapi-krb5-2_1.10.1+dfsg-1 libgtk2.0-0_2.24.10-1 libgtk2.0-common_2.24.10-1 libgtk2.0-dev_2.24.10-1 libgtkspell-dev_2.0.16-1 libgtkspell0_2.0.16-1 libhunspell-1.3-0_1.3.2-4 libice-dev_2:1.0.8-2 libice6_2:1.0.8-2 libjasper1_1.900.1-13 libjbig0_2.0-2 libjpeg8_8d-1 libk5crypto3_1.10.1+dfsg-1 libkeyutils1_1.5.5-2 libkrb5-3_1.10.1+dfsg-1 libkrb5support0_1.10.1+dfsg-1 liblablgtk2-ocaml_2.14.2+dfsg-3 liblablgtk2-ocaml-dev_2.14.2+dfsg-3 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20110809-3 libmagic1_5.11-1 libmount1_2.20.1-5 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-8 libncurses5-dev_5.9-8 libncursesw5_5.9-8 libp11-kit0_0.12-3 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-7.1 libpam0g_1.1.3-7.1 libpango1.0-0_1.30.0-1 libpango1.0-dev_1.30.0-1 libpcre3_1:8.30-5 libpcre3-dev_1:8.30-5 libpcrecpp0_1:8.30-5 libpipeline1_1.2.1-1 libpixman-1-0_0.24.4-1 libpixman-1-dev_0.24.4-1 libpng12-0_1.2.49-1 libpng12-dev_1.2.49-1 libpopt0_1.16-7 libpthread-stubs0_0.3-3 libpthread-stubs0-dev_0.3-3 libreadline6_6.2-8 libselinux1_2.1.9-5 libsemanage-common_2.1.6-2 libsemanage1_2.1.6-2 libsepol1_2.1.4-3 libslang2_2.2.4-10 libsm-dev_2:1.2.1-2 libsm6_2:1.2.1-2 libsqlite3-0_3.7.12.1-1 libss2_1.42.2-2 libssl1.0.0_1.0.1c-3+rpi1 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 libswitch-perl_2.16-2 libtasn1-3_2.13-2 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libthai-data_0.1.17-1 libthai0_0.1.17-1 libtiff4_3.9.6-5 libtimedate-perl_1.2000-1 libtinfo-dev_5.9-8 libtinfo5_5.9-8 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libustr-1.0-1_1.0.4-2 libuuid1_2.20.1-5 libx11-6_2:1.4.99.901-2 libx11-data_2:1.4.99.901-2 libx11-dev_2:1.4.99.901-2 libxau-dev_1:1.0.7-1 libxau6_1:1.0.7-1 libxcb-render0_1.8.1-1 libxcb-render0-dev_1.8.1-1 libxcb-shm0_1.8.1-1 libxcb-shm0-dev_1.8.1-1 libxcb1_1.8.1-1 libxcb1-dev_1.8.1-1 libxcomposite-dev_1:0.4.3-2 libxcomposite1_1:0.4.3-2 libxcursor-dev_1:1.1.13-1 libxcursor1_1:1.1.13-1 libxdamage-dev_1:1.1.3-2 libxdamage1_1:1.1.3-2 libxdmcp-dev_1:1.1.1-1 libxdmcp6_1:1.1.1-1 libxext-dev_2:1.3.1-2 libxext6_2:1.3.1-2 libxfixes-dev_1:5.0-4 libxfixes3_1:5.0-4 libxft-dev_2.2.0-3 libxft2_2.2.0-3 libxi-dev_2:1.6.1-1 libxi6_2:1.6.1-1 libxinerama-dev_2:1.1.2-1 libxinerama1_2:1.1.2-1 libxml2_2.8.0+dfsg1-3 libxml2-dev_2.8.0+dfsg1-3 libxml2-utils_2.8.0+dfsg1-3 libxrandr-dev_2:1.3.2-2 libxrandr2_2:1.3.2-2 libxrender-dev_1:0.9.7-1 libxrender1_1:0.9.7-1 linux-libc-dev_3.2.18-1 login_1:4.1.5.1-1 lsb-base_4.1+Debian6 make_3.81-8.2 man-db_2.6.1-2 mawk_1.3.3-17 mime-support_3.52-1 mount_2.20.1-5 multiarch-support_2.13-33 ncurses-base_5.9-7 ncurses-bin_5.9-8 ocaml-base-nox_3.12.1-3 ocaml-compiler-libs_3.12.1-3 ocaml-interp_3.12.1-3 ocaml-nox_3.12.1-3 passwd_1:4.1.5.1-1 patch_2.6.1-3 perl_5.14.2-11 perl-base_5.14.2-11 perl-modules_5.14.2-11 pkg-config_0.26-1 po-debconf_1.0.16+nmu2 python_2.7.3~rc2-1 python-minimal_2.7.3~rc2-1 python2.7_2.7.3~rc2-2.1 python2.7-minimal_2.7.3~rc2-2.1 raspbian-archive-keyring_20120528.2 readline-common_6.2-8 sbuild-build-depends-aac-tactics-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.1-10 sensible-utils_0.0.7 shared-mime-info_1.0-1 sysv-rc_2.88dsf-22.1 sysvinit_2.88dsf-22.1 sysvinit-utils_2.88dsf-22.1 tar_1.26-4 ttf-dejavu-core_2.33-2 tzdata_2012c-1 ucf_3.0025+nmu3 util-linux_2.20.1-5 x11-common_1:7.6+13 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.23-1 x11proto-damage-dev_1:1.2.1-2 x11proto-fixes-dev_1:5.0-2 x11proto-input-dev_2.2-1 x11proto-kb-dev_1.0.6-1 x11proto-randr-dev_1.3.2-2 x11proto-render-dev_2:0.11.1-2 x11proto-xext-dev_7.2.1-1 x11proto-xinerama-dev_1.2.1-2 xorg-sgml-doctools_1:1.10-1 xtrans-dev_1.2.7-1 xz-utils_5.1.1alpha+20110809-3 zlib1g_1:1.2.7.dfsg-11 zlib1g-dev_1:1.2.7.dfsg-11 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Sat Jun 9 08:35:47 2012 UTC using RSA key ID 49881AD3 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./aac-tactics_0.2.pl2-7.dsc dpkg-source: info: extracting aac-tactics in aac-tactics-0.2.pl2 dpkg-source: info: unpacking aac-tactics_0.2.pl2.orig.tar.gz dpkg-source: info: unpacking aac-tactics_0.2.pl2-7.debian.tar.gz Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=buildd PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/usr/games SCHROOT_CHROOT_NAME=testing-armhf-sbuild SCHROOT_COMMAND=env SCHROOT_GID=108 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=testing-armhf-sbuild-f77da7a9-f8f6-4d5f-afd6-c235ab4f1723 SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── dpkg-buildpackage: source package aac-tactics dpkg-buildpackage: source version 0.2.pl2-7 dpkg-source --before-build aac-tactics-0.2.pl2 dpkg-buildpackage: host architecture armhf fakeroot debian/rules clean dh clean --with ocaml dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/«PKGBUILDDIR»' rm -Rf .depend *.glob *.d *.*o *.*a *.cm* doc html make[1]: Leaving directory `/«PKGBUILDDIR»' dh_ocamlclean dh_clean debian/rules build-arch dh build-arch --with ocaml dh_testdir -a dh_ocamlinit -a debian/rules override_dh_auto_configure make[1]: Entering directory `/«PKGBUILDDIR»' ./make_makefile make[1]: Leaving directory `/«PKGBUILDDIR»' debian/rules override_dh_auto_build make[1]: Entering directory `/«PKGBUILDDIR»' /usr/bin/make world make[2]: Entering directory `/«PKGBUILDDIR»' ocamldep -slash AAC_coq.mli AAC_helper.mli AAC_search_monad.mli AAC_matcher.mli AAC_theory.mli AAC_print.mli AAC_rewrite.mli > .depend ocamldep -slash -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" "AAC_rewrite.ml" > "AAC_rewrite.ml.d" ocamldep -slash -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" "AAC_print.ml" > "AAC_print.ml.d" ocamldep -slash -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" "AAC_theory.ml" > "AAC_theory.ml.d" ocamldep -slash -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" "AAC_matcher.ml" > "AAC_matcher.ml.d" ocamldep -slash -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" "AAC_search_monad.ml" > "AAC_search_monad.ml.d" ocamldep -slash -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" "AAC_helper.ml" > "AAC_helper.ml.d" ocamldep -slash -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" "AAC_coq.ml" > "AAC_coq.ml.d" coqdep -c -slash -R . AAC_tactics "Caveats.v" > "Caveats.v.d" || ( RV=$?; rm -f "Caveats.v.d"; exit ${RV} ) coqdep -c -slash -R . AAC_tactics "Tutorial.v" > "Tutorial.v.d" || ( RV=$?; rm -f "Tutorial.v.d"; exit ${RV} ) coqdep -c -slash -R . AAC_tactics "Instances.v" > "Instances.v.d" || ( RV=$?; rm -f "Instances.v.d"; exit ${RV} ) coqdep -c -slash -R . AAC_tactics "AAC.v" > "AAC.v.d" || ( RV=$?; rm -f "AAC.v.d"; exit ${RV} ) *** Warning: in file AAC.v, declared ML module aac_tactics has not been found ! make[2]: Leaving directory `/«PKGBUILDDIR»' make[2]: Entering directory `/«PKGBUILDDIR»' ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 AAC_coq.mli ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" AAC_coq.ml ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 AAC_helper.mli ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" AAC_helper.ml ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 AAC_search_monad.mli ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" AAC_search_monad.ml ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 AAC_matcher.mli ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" AAC_matcher.ml ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 AAC_theory.mli ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" AAC_theory.ml ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 AAC_print.mli ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" AAC_print.ml ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 AAC_rewrite.mli ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -impl" AAC_rewrite.ml ocamlc -rectypes -g -a -o aac_tactics.cma AAC_coq.cmo AAC_helper.cmo AAC_search_monad.cmo AAC_matcher.cmo AAC_theory.cmo AAC_print.cmo AAC_rewrite.cmo coqc -q -byte -R . AAC_tactics AAC coqc -q -byte -R . AAC_tactics Instances coqc -q -byte -R . AAC_tactics Tutorial All solutions: occurence 0: transitivity through (forall x : X, x + x) 1 possible(s) substitution(s) 0: [x: (f (a + a)); ] occurence 1: transitivity through (forall x : X, f (x + x) + f (a + a)) 1 possible(s) substitution(s) 0: [x: a; ] All solutions: occurence 0: transitivity through (forall x y : X, 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, 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, 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, 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, a * x * a) 1 possible(s) substitution(s) 0: [x: 1; ] All solutions: occurence 0: transitivity through (forall x y z : X, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, (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, 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, (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) + a * b + (1 * 0 + 1 * 0)) occurence 12: transitivity through (a * (b * c + c) + a * (b + (1 * 0 + 1 * 0))) occurence 13: transitivity through (a * (b * c + c) + (a + (1 * 0 + 1 * 0)) * b) occurence 14: transitivity through (a * b + a * (b * c + c + (1 * 0 + 1 * 0))) occurence 15: transitivity through (a * b + a * (c + b * (c + (1 * 0 + 1 * 0)))) occurence 16: transitivity through (a * b + a * (c + (b + (1 * 0 + 1 * 0)) * c)) occurence 17: transitivity through (a * b + (a + (1 * 0 + 1 * 0)) * (b * c + c)) occurence 18: transitivity through (a * (b * c + c) + a * b + (0 * 1 + 0 * 1)) occurence 19: transitivity through (a * (b * c + c) + a * (b + (0 * 1 + 0 * 1))) occurence 20: transitivity through (a * (b * c + c) + (a + (0 * 1 + 0 * 1)) * b) occurence 21: transitivity through (a * b + a * (b * c + c + (0 * 1 + 0 * 1))) occurence 22: transitivity through (a * b + a * (c + b * (c + (0 * 1 + 0 * 1)))) occurence 23: transitivity through (a * b + a * (c + (b + (0 * 1 + 0 * 1)) * c)) occurence 24: transitivity through (a * b + (a + (0 * 1 + 0 * 1)) * (b * c + c)) occurence 25: transitivity through (a * (b * c + c) + (1 * 1 + 1 * 0) * (a * b)) occurence 26: transitivity through (a * (b * c + c) + a * b * (1 * 1 + 1 * 0)) occurence 27: transitivity through (a * (b * c + c) + a * ((1 * 1 + 1 * 0) * b)) occurence 28: transitivity through (a * b + (1 * 1 + 1 * 0) * (a * (b * c + c))) occurence 29: transitivity through (a * b + a * (b * c + c) * (1 * 1 + 1 * 0)) occurence 30: transitivity through (a * b + a * (b * c + (1 * 1 + 1 * 0) * c)) occurence 31: transitivity through (a * b + a * (b * c + c * (1 * 1 + 1 * 0))) occurence 32: transitivity through (a * b + a * (c + (1 * 1 + 1 * 0) * (b * c))) occurence 33: transitivity through (a * b + a * (c + b * c * (1 * 1 + 1 * 0))) occurence 34: transitivity through (a * b + a * (c + b * ((1 * 1 + 1 * 0) * c))) occurence 35: transitivity through (a * b + a * ((1 * 1 + 1 * 0) * (b * c + c))) occurence 36: transitivity through ((a * (b * c + c) + a * b) * (1 * 1 + 1 * 0)) occurence 37: transitivity through ((1 * 1 + 1 * 0) * (a * (b * c + c) + a * b)) occurence 38: transitivity through (a * (b * c + c) + (1 * 0 + 1 * 1) * (a * b)) occurence 39: transitivity through (a * (b * c + c) + a * b * (1 * 0 + 1 * 1)) occurence 40: transitivity through (a * (b * c + c) + a * ((1 * 0 + 1 * 1) * b)) occurence 41: transitivity through (a * b + (1 * 0 + 1 * 1) * (a * (b * c + c))) occurence 42: transitivity through (a * b + a * (b * c + c) * (1 * 0 + 1 * 1)) occurence 43: transitivity through (a * b + a * (b * c + (1 * 0 + 1 * 1) * c)) occurence 44: transitivity through (a * b + a * (b * c + c * (1 * 0 + 1 * 1))) occurence 45: transitivity through (a * b + a * (c + (1 * 0 + 1 * 1) * (b * c))) occurence 46: transitivity through (a * b + a * (c + b * c * (1 * 0 + 1 * 1))) occurence 47: transitivity through (a * b + a * (c + b * ((1 * 0 + 1 * 1) * c))) occurence 48: transitivity through (a * b + a * ((1 * 0 + 1 * 1) * (b * c + c))) occurence 49: transitivity through ((a * (b * c + c) + a * b) * (1 * 0 + 1 * 1)) occurence 50: transitivity through ((1 * 0 + 1 * 1) * (a * (b * c + c) + a * b)) 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, MinMax.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, MinMax.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 (Zabs a + - Zabs b + 0) occurence 1: transitivity through (Zabs a + - (Zabs b + 0)) occurence 2: transitivity through (Zabs a + - Zabs (b + 0)) occurence 3: transitivity through (- Zabs b + Zabs (a + 0)) Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing coqc -q -byte -R . AAC_tactics Caveats All solutions: occurence 0: transitivity through (forall x : Z, - (x + x) + (b + b + c)) 1 possible(s) substitution(s) 0: [x: a; ] occurence 1: transitivity through (forall x : Z, x + x + (- (a + a) + c)) 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) 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) 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) mkdir -p doc; ocamldoc -html -rectypes -d doc -m A -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/ocaml/camlp5 AAC_coq.mli AAC_helper.mli AAC_search_monad.mli AAC_matcher.mli AAC_theory.mli AAC_print.mli AAC_rewrite.mli && touch doc mkdir -p html coqdoc -toc -utf8 -html -g -R . AAC_tactics -d html AAC.v Instances.v Tutorial.v Caveats.v coqdoc --no-index --no-externals -s -utf8 -html -R . AAC_tactics -d html Tutorial.v coqdoc --no-index --no-externals -s -utf8 -html -R . AAC_tactics -d html 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 dh_installdirs -a dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_installman -a dh_installcatalogs -a dh_installcron -a dh_installdebconf -a dh_installemacsen -a dh_installifupdown -a dh_installinfo -a dh_installinit -a dh_installmenu -a dh_installmime -a dh_installmodules -a dh_installlogcheck -a dh_installlogrotate -a dh_installpam -a dh_installppp -a dh_installudev -a dh_installwm -a dh_installxfonts -a dh_installgsettings -a dh_bugfiles -a dh_ucf -a dh_lintian -a dh_gconf -a dh_icons -a dh_perl -a dh_usrlocal -a dh_link -a dh_compress -a dh_fixperms -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a W: libaac-tactics-ocaml-dev/libaac-tactics-ocaml v0.2.pl2-7 doesn't resolve dependency on unit Decl_expr debian/rules override_dh_gencontrol make[1]: Entering directory `/«PKGBUILDDIR»' dh_gencontrol -- -VF:CoqABI="8.3pl4+3.12.1" dpkg-gencontrol: warning: Depends field of package libaac-tactics-ocaml: unknown substitution variable ${shlibs:Depends} 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_0.2.pl2-7_armhf.deb'. dpkg-deb: building package `libaac-tactics-ocaml-dev' in `../libaac-tactics-ocaml-dev_0.2.pl2-7_armhf.deb'. dpkg-genchanges -B -mbuildd >../aac-tactics_0.2.pl2-7_armhf.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build aac-tactics-0.2.pl2 dpkg-buildpackage: binary only upload (no source included) ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120622-2036 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ aac-tactics_0.2.pl2-7_armhf.changes: ──────────────────────────────────── Format: 1.8 Date: Sat, 09 Jun 2012 10:31:21 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: armhf Version: 0.2.pl2-7 Distribution: testing Urgency: low Maintainer: buildd Changed-By: Stéphane Glondu 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 (0.2.pl2-7) unstable; urgency=low . * Recompile with camlp5 6.06 (no changes) Checksums-Sha1: 1ec68128830de98e35bac8e2daeed7c68647a98f 33728 libaac-tactics-ocaml_0.2.pl2-7_armhf.deb 882906fb38b52f07e17a803c3bbc37b732f2fef2 20344 libaac-tactics-ocaml-dev_0.2.pl2-7_armhf.deb Checksums-Sha256: beb821ea2d6101bcec5a8cc3bd5ec8c0702833a8c45cfa7e7ee492c4c32851f8 33728 libaac-tactics-ocaml_0.2.pl2-7_armhf.deb fd4dc65328feaf1eb573b58a6ff74ac671a6853ca0ab9821333eaeaf442ccf49 20344 libaac-tactics-ocaml-dev_0.2.pl2-7_armhf.deb Files: dad153ff5422e60121163373ca69b3c8 33728 ocaml optional libaac-tactics-ocaml_0.2.pl2-7_armhf.deb 28dabfce5e76d8c5cbba82ff76d54648 20344 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-7_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ libaac-tactics-ocaml_0.2.pl2-7_armhf.deb ──────────────────────────────────────── new debian package, version 2.0. size 33728 bytes: control archive= 716 bytes. 654 bytes, 18 lines control 337 bytes, 4 lines md5sums Package: libaac-tactics-ocaml Source: aac-tactics Version: 0.2.pl2-7 Architecture: armhf Maintainer: Debian OCaml Maintainers Installed-Size: 174 Depends: libcoq-ocaml-x6al0, ocaml-base-nox-3.12.1 Recommends: libaac-tactics-coq Enhances: coq Provides: libaac-tactics-ocaml-jhie7 Section: ocaml Priority: optional Homepage: http://sardes.inrialpes.fr/~braibant/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 2012-06-22 20:36 ./ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/share/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/share/doc/libaac-tactics-ocaml/ -rw-r--r-- root/root 478 2012-06-09 01:31 ./usr/share/doc/libaac-tactics-ocaml/changelog.Debian.gz -rw-r--r-- root/root 1050 2010-12-24 02:19 ./usr/share/doc/libaac-tactics-ocaml/copyright -rw-r--r-- root/root 536 2011-02-21 02:00 ./usr/share/doc/libaac-tactics-ocaml/changelog.gz drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/lib/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/lib/coq/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/lib/coq/user-contrib/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/lib/coq/user-contrib/AAC_tactics/ -rw-r--r-- root/root 135057 2012-06-22 20:30 ./usr/lib/coq/user-contrib/AAC_tactics/aac_tactics.cma libaac-tactics-ocaml-dev_0.2.pl2-7_armhf.deb ──────────────────────────────────────────── new debian package, version 2.0. size 20344 bytes: control archive= 1187 bytes. 739 bytes, 17 lines control 1649 bytes, 19 lines md5sums Package: libaac-tactics-ocaml-dev Source: aac-tactics Version: 0.2.pl2-7 Architecture: armhf Maintainer: Debian OCaml Maintainers Installed-Size: 115 Depends: camlp5-1kaa3, libaac-tactics-ocaml-jhie7, libcoq-ocaml-dev-x6al0, ocaml-nox-3.12.1 Provides: libaac-tactics-ocaml-dev-jhie7 Section: ocaml Priority: optional Homepage: http://sardes.inrialpes.fr/~braibant/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 2012-06-22 20:36 ./ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/share/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/share/doc/libaac-tactics-ocaml-dev/ -rw-r--r-- root/root 478 2012-06-09 01:31 ./usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 1050 2010-12-24 02:19 ./usr/share/doc/libaac-tactics-ocaml-dev/copyright -rw-r--r-- root/root 536 2011-02-21 02:00 ./usr/share/doc/libaac-tactics-ocaml-dev/changelog.gz drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/lib/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/lib/coq/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/lib/coq/user-contrib/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./usr/lib/coq/user-contrib/AAC_tactics/ -rw-r--r-- root/root 11384 2012-06-22 20:30 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_coq.cmi -rw-r--r-- root/root 1261 2011-02-21 02:00 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_helper.mli -rw-r--r-- root/root 2345 2012-06-22 20:30 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_print.cmi -rw-r--r-- root/root 2243 2012-06-22 20:30 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_matcher.cmi -rw-r--r-- root/root 619 2011-02-21 02:00 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_rewrite.mli -rw-r--r-- root/root 7837 2011-02-21 02:00 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_theory.mli -rw-r--r-- root/root 1106 2011-02-21 02:00 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_print.mli -rw-r--r-- root/root 5778 2012-06-22 20:30 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_theory.cmi -rw-r--r-- root/root 1385 2012-06-22 20:30 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_helper.cmi -rw-r--r-- root/root 7369 2011-02-21 02:00 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_matcher.mli -rw-r--r-- root/root 151 2012-06-22 20:30 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_rewrite.cmi -rw-r--r-- root/root 1452 2011-02-21 02:00 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_search_monad.mli -rw-r--r-- root/root 8282 2011-02-21 02:00 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_coq.mli -rw-r--r-- root/root 1289 2012-06-22 20:30 ./usr/lib/coq/user-contrib/AAC_tactics/AAC_search_monad.cmi drwxr-xr-x root/root 0 2012-06-22 20:36 ./var/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./var/lib/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2012-06-22 20:36 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 227 2012-06-22 20:36 ./var/lib/ocaml/lintian/libaac-tactics-ocaml-dev.info drwxr-xr-x root/root 0 2012-06-22 20:36 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 746 2012-06-22 20:36 ./var/lib/ocaml/md5sums/libaac-tactics-ocaml-dev.md5sums ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 9 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: aspell* aspell-en* bsdmainutils* camlp5* coq* coq-theories* debhelper* dh-ocaml* dictionaries-common* emacsen-common* file* fontconfig* fontconfig-config* gettext* gettext-base* gir1.2-atk-1.0* gir1.2-freedesktop* gir1.2-gdkpixbuf-2.0* gir1.2-glib-2.0* gir1.2-pango-1.0* groff-base* html2text* intltool-debian* libaspell15* libasprintf0c2* libatk1.0-0* libatk1.0-data* libatk1.0-dev* libavahi-client3* libavahi-common-data* libavahi-common3* libcairo-gobject2* libcairo-script-interpreter2* libcairo2* libcairo2-dev* libcoq-ocaml* libcoq-ocaml-dev* libcroco3* libcups2* libdatrie1* libdbus-1-3* libelf1* libenchant-dev* libenchant1c2a* libexpat1* libexpat1-dev* libffi5* libfontconfig1* libfontconfig1-dev* libfreetype6* libfreetype6-dev* libgcrypt11* libgdk-pixbuf2.0-0* libgdk-pixbuf2.0-common* libgdk-pixbuf2.0-dev* libgettextpo0* libgirepository-1.0-1* libglade2-0* libglade2-dev* libglib2.0-0* libglib2.0-bin* libglib2.0-data* libglib2.0-dev* libgnutls26* libgpg-error0* libgssapi-krb5-2* libgtk2.0-0* libgtk2.0-common* libgtk2.0-dev* libgtkspell-dev* libgtkspell0* libhunspell-1.3-0* libice-dev* libice6* libjasper1* libjbig0* libjpeg8* libk5crypto3* libkeyutils1* libkrb5-3* libkrb5support0* liblablgtk2-ocaml* liblablgtk2-ocaml-dev* libmagic1* libncurses5-dev* libp11-kit0* libpango1.0-0* libpango1.0-dev* libpcre3* libpcre3-dev* libpcrecpp0* libpipeline1* libpixman-1-0* libpixman-1-dev* libpng12-0* libpng12-dev* libpopt0* libpthread-stubs0* libpthread-stubs0-dev* libsm-dev* libsm6* libsqlite3-0* libssl1.0.0* libtasn1-3* libthai-data* libthai0* libtiff4* libtinfo-dev* libunistring0* libx11-6* libx11-data* libx11-dev* libxau-dev* libxau6* libxcb-render0* libxcb-render0-dev* libxcb-shm0* libxcb-shm0-dev* libxcb1* libxcb1-dev* libxcomposite-dev* libxcomposite1* libxcursor-dev* libxcursor1* libxdamage-dev* libxdamage1* libxdmcp-dev* libxdmcp6* libxext-dev* libxext6* libxfixes-dev* libxfixes3* libxft-dev* libxft2* libxi-dev* libxi6* libxinerama-dev* libxinerama1* libxml2* libxml2-dev* libxml2-utils* libxrandr-dev* libxrandr2* libxrender-dev* libxrender1* man-db* mime-support* ocaml-base-nox* ocaml-compiler-libs* ocaml-interp* ocaml-nox* pkg-config* po-debconf* python* python-minimal* python2.7* python2.7-minimal* sbuild-build-depends-aac-tactics-dummy* sbuild-build-depends-core-dummy* shared-mime-info* ttf-dejavu-core* 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, 0 newly installed, 175 to remove and 9 not upgraded. After this operation, 420 MB disk space will be freed. (Reading database ... 20401 files and directories currently installed.) Removing sbuild-build-depends-aac-tactics-dummy ... Removing libcoq-ocaml-dev ... Removing liblablgtk2-ocaml-dev ... Removing libgtkspell-dev ... Removing libenchant-dev ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing camlp5 ... Removing dh-ocaml ... Removing file ... Removing libglade2-dev ... Removing libgtk2.0-dev ... Removing libpango1.0-dev ... Removing gir1.2-pango-1.0 ... Removing libxft-dev ... Removing libcairo2-dev ... Removing libfontconfig1-dev ... Removing libcairo-script-interpreter2:armhf ... Purging configuration files for libcairo-script-interpreter2:armhf ... Removing gir1.2-freedesktop ... Removing libcairo-gobject2:armhf ... Purging configuration files for libcairo-gobject2:armhf ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing gettext-base ... Removing libatk1.0-dev ... Removing gir1.2-atk-1.0 ... Removing libgdk-pixbuf2.0-dev ... Removing gir1.2-gdkpixbuf-2.0 ... Removing gir1.2-glib-2.0 ... Removing groff-base ... Purging configuration files for groff-base ... Removing html2text ... Purging configuration files for html2text ... Removing libasprintf0c2:armhf ... Removing libcroco3:armhf ... Purging configuration files for libcroco3:armhf ... Removing libglib2.0-dev ... Removing libglib2.0-bin ... Purging configuration files for libglib2.0-bin ... Removing libelf1 ... Purging configuration files for libelf1 ... Removing python ... Purging configuration files for python ... Removing python2.7 ... Purging configuration files for python2.7 ... Removing libexpat1-dev ... Removing pkg-config ... Removing libgirepository-1.0-1 ... Purging configuration files for libgirepository-1.0-1 ... Removing libfreetype6-dev ... Removing libgettextpo0:armhf ... Removing libglib2.0-data ... Removing libsm-dev:armhf ... Removing libice-dev:armhf ... Removing libsm6:armhf ... Purging configuration files for libsm6:armhf ... Removing libice6:armhf ... Purging configuration files for libice6:armhf ... Removing libmagic1:armhf ... Purging configuration files for libmagic1:armhf ... Removing ocaml-compiler-libs ... Removing ocaml-nox ... Purging configuration files for ocaml-nox ... Removing libncurses5-dev ... Removing libpcre3-dev ... Removing libpcrecpp0:armhf ... Purging configuration files for libpcrecpp0:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libpixman-1-dev ... Removing libpng12-dev ... Removing libpopt0:armhf ... Purging configuration files for libpopt0:armhf ... Removing libxcb-shm0-dev:armhf ... Removing libxcb-render0-dev:armhf ... Removing libxrandr-dev ... Removing libxcursor-dev:armhf ... Removing libxrender-dev:armhf ... Removing libxinerama-dev:armhf ... Removing libxi-dev ... Removing libxdamage-dev ... Removing libxcomposite-dev ... Removing libxfixes-dev ... Removing libxext-dev:armhf ... Removing libx11-dev:armhf ... Removing libxcb1-dev:armhf ... Removing libpthread-stubs0-dev:armhf ... Removing libpthread-stubs0:armhf ... Removing libsqlite3-0:armhf ... Purging configuration files for libsqlite3-0:armhf ... Removing python-minimal ... Removing python2.7-minimal ... Purging configuration files for python2.7-minimal ... Removing libssl1.0.0:armhf ... Purging configuration files for libssl1.0.0:armhf ... Removing libtinfo-dev:armhf ... Removing libunistring0:armhf ... Purging configuration files for libunistring0:armhf ... Removing libxau-dev:armhf ... Removing libxdmcp-dev:armhf ... Removing libxml2-utils ... Removing libxml2-dev:armhf ... Removing mime-support ... Purging configuration files for mime-support ... Removing ocaml-interp ... Purging configuration files for ocaml-interp ... Removing sbuild-build-depends-core-dummy ... Removing x11-common ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of stop. Purging configuration files for x11-common ... Removing x11proto-composite-dev ... Removing x11proto-damage-dev ... Removing x11proto-fixes-dev ... Removing x11proto-xext-dev ... Removing x11proto-render-dev ... Removing x11proto-input-dev ... Removing x11proto-core-dev ... Removing x11proto-kb-dev ... Removing x11proto-randr-dev ... Removing x11proto-xinerama-dev ... Removing xorg-sgml-doctools ... Removing xtrans-dev ... Removing zlib1g-dev:armhf ... Removing coq ... Remove coq for emacs Purging configuration files for coq ... Removing coq-theories ... Removing libcoq-ocaml ... Removing liblablgtk2-ocaml ... Removing libgtkspell0 ... Purging configuration files for libgtkspell0 ... Removing libenchant1c2a ... Removing aspell-en ... Purging configuration files for aspell-en ... Removing aspell ... Removing dictionaries-common ... Removing 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Purging configuration files for dictionaries-common ... Removing emacsen-common ... Purging configuration files for emacsen-common ... Removing libglade2-0 ... Purging configuration files for libglade2-0 ... Removing libgtk2.0-0:armhf ... Purging configuration files for libgtk2.0-0:armhf ... Removing libpango1.0-0:armhf ... Purging configuration files for libpango1.0-0:armhf ... Removing fontconfig ... Purging configuration files for fontconfig ... Removing libxft2:armhf ... Purging configuration files for libxft2:armhf ... Removing libcairo2:armhf ... Purging configuration files for libcairo2:armhf ... Removing libfontconfig1:armhf ... Purging configuration files for libfontconfig1:armhf ... Removing fontconfig-config ... Purging configuration files for fontconfig-config ... Removing libaspell15 ... Purging configuration files for libaspell15 ... Removing libatk1.0-0:armhf ... Purging configuration files for libatk1.0-0:armhf ... Removing libatk1.0-data ... Removing libcups2:armhf ... Purging configuration files for libcups2:armhf ... Removing libavahi-client3:armhf ... Purging configuration files for libavahi-client3:armhf ... Removing libavahi-common3:armhf ... Purging configuration files for libavahi-common3:armhf ... Removing libavahi-common-data:armhf ... Removing libthai0:armhf ... Purging configuration files for libthai0:armhf ... Removing libdatrie1:armhf ... Purging configuration files for libdatrie1:armhf ... Removing libdbus-1-3:armhf ... Purging configuration files for libdbus-1-3:armhf ... Removing libexpat1:armhf ... Purging configuration files for libexpat1:armhf ... Removing shared-mime-info ... Purging configuration files for shared-mime-info ... Removing libgdk-pixbuf2.0-0:armhf ... Purging configuration files for libgdk-pixbuf2.0-0:armhf ... Removing libglib2.0-0:armhf ... Purging configuration files for libglib2.0-0:armhf ... Removing libffi5:armhf ... Purging configuration files for libffi5:armhf ... Removing libfreetype6:armhf ... Purging configuration files for libfreetype6:armhf ... Removing libgnutls26:armhf ... Purging configuration files for libgnutls26:armhf ... Removing libgcrypt11:armhf ... Purging configuration files for libgcrypt11:armhf ... Removing libgdk-pixbuf2.0-common ... Removing libgpg-error0:armhf ... Purging configuration files for libgpg-error0:armhf ... Removing libgssapi-krb5-2:armhf ... Purging configuration files for libgssapi-krb5-2:armhf ... Removing libgtk2.0-common ... Purging configuration files for libgtk2.0-common ... Removing libhunspell-1.3-0:armhf ... Purging configuration files for libhunspell-1.3-0:armhf ... Removing libjasper1:armhf ... Purging configuration files for libjasper1:armhf ... Removing libtiff4:armhf ... Purging configuration files for libtiff4:armhf ... Removing libjbig0:armhf ... Purging configuration files for libjbig0:armhf ... Removing libjpeg8:armhf ... Removing libkrb5-3:armhf ... Purging configuration files for libkrb5-3:armhf ... Removing libk5crypto3:armhf ... Purging configuration files for libk5crypto3:armhf ... Removing libkrb5support0:armhf ... Purging configuration files for libkrb5support0:armhf ... Removing libkeyutils1:armhf ... Purging configuration files for libkeyutils1:armhf ... Removing libp11-kit0:armhf ... Purging configuration files for libp11-kit0:armhf ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpixman-1-0:armhf ... Purging configuration files for libpixman-1-0:armhf ... Removing libpng12-0:armhf ... Purging configuration files for libpng12-0:armhf ... Removing libtasn1-3:armhf ... Purging configuration files for libtasn1-3:armhf ... Removing libthai-data ... Removing libxrandr2:armhf ... Purging configuration files for libxrandr2:armhf ... Removing libxcursor1:armhf ... Purging configuration files for libxcursor1:armhf ... Removing libxrender1:armhf ... Purging configuration files for libxrender1:armhf ... Removing libxinerama1:armhf ... Purging configuration files for libxinerama1:armhf ... Removing libxi6:armhf ... Purging configuration files for libxi6:armhf ... Removing libxfixes3:armhf ... Purging configuration files for libxfixes3:armhf ... Removing libxext6:armhf ... Purging configuration files for libxext6:armhf ... Removing libxdamage1:armhf ... Purging configuration files for libxdamage1:armhf ... Removing libxcomposite1:armhf ... Purging configuration files for libxcomposite1:armhf ... Removing libx11-6:armhf ... Purging configuration files for libx11-6:armhf ... Removing libx11-data ... Removing libxcb-shm0:armhf ... Purging configuration files for libxcb-shm0:armhf ... Removing libxcb-render0:armhf ... Purging configuration files for libxcb-render0:armhf ... Removing libxcb1:armhf ... Purging configuration files for libxcb1:armhf ... Removing libxau6:armhf ... Purging configuration files for libxau6:armhf ... Removing libxdmcp6:armhf ... Purging configuration files for libxdmcp6:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing ocaml-base-nox ... Removing ttf-dejavu-core ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: armhf Build-Space: 4044 Build-Time: 377 Distribution: testing Install-Time: 325 Job: aac-tactics_0.2.pl2-7 Package: aac-tactics Package-Time: 721 Source-Version: 0.2.pl2-7 Space: 4044 Status: successful Version: 0.2.pl2-7 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120622-2036 Build needed 00:12:01, 4044k disc space