sbuild (Debian sbuild) 0.62.6 (07 Dec 2011) on build04.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ matita 0.99.1-1 (armhf) 29 May 2012 07:36 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: matita Version: 0.99.1-1 Source Version: 0.99.1-1 Distribution: testing Architecture: armhf I: NOTICE: Log filtering will replace 'build/matita-wk7Ala/matita-0.99.1' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/matita-wk7Ala' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-6c8a919e-649b-425b-ad73-7af8788a2831' 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 TranslationIndex 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: 'matita' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git Need to get 10.4 MB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main matita 0.99.1-1 (dsc) [1542 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main matita 0.99.1-1 (tar) [10.4 MB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main matita 0.99.1-1 (diff) [4364 B] Fetched 10.4 MB in 1s (10.3 MB/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-7WgCvj/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 12 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 ... 10675 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), ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper (>= 8), camlp5 (>= 5.04), liblablgtksourceview2-ocaml-dev, autoconf, help2man Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper (>= 8), camlp5 (>= 5.04), liblablgtksourceview2-ocaml-dev, autoconf, help2man dpkg-deb: building package `sbuild-build-depends-matita-dummy' in `/«BUILDDIR»/resolver-UbB7Zd/apt_archive/sbuild-build-depends-matita-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install matita 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 autoconf bsdmainutils camlp5 debhelper dictionaries-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 help2man html2text intltool-debian libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcroco3 libcryptgps-ocaml-dev libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat-ocaml libexpat-ocaml-dev libexpat1 libexpat1-dev libffi5 libfindlib-ocaml libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgdome2-0 libgdome2-dev libgdome2-ocaml libgdome2-ocaml-dev 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 libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libhttp-ocaml-dev libhunspell-1.3-0 libice-dev libice6 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev libmagic1 libncurses5-dev libocamlnet-ocaml libocamlnet-ocaml-dev libp11-kit0 libpango1.0-0 libpango1.0-dev libpcre-ocaml libpcre-ocaml-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 libxss1 libzip-ocaml libzip-ocaml-dev m4 man-db mime-support ocaml ocaml-base ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocaml-ulex08 pkg-config po-debconf python python-minimal python2.7 python2.7-minimal shared-mime-info tcl8.5 tk8.5 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 autoconf2.13 autoconf-archive gnu-standards autoconf-doc libtool wamerican wordlist whois vacation dh-make ispell emacsen-common 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 libgtksourceview2.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 tcl8.5-dev tk8.5-dev camlp4 ocaml-findlib-wizard libgdbm-dev tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc binfmt-support tclreadline Recommended packages: automake automaken 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 libocamlnet-ocaml-doc libnethttpd-ocaml-dev libx11-doc xml-core libfindlib-ocaml-dev ledit readline-editor libmail-sendmail-perl xterm x-terminal-emulator The following NEW packages will be installed: aspell aspell-en autoconf bsdmainutils camlp5 debhelper dictionaries-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 help2man html2text intltool-debian libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcroco3 libcryptgps-ocaml-dev libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat-ocaml libexpat-ocaml-dev libexpat1 libexpat1-dev libffi5 libfindlib-ocaml libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgdome2-0 libgdome2-dev libgdome2-ocaml libgdome2-ocaml-dev 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 libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libhttp-ocaml-dev libhunspell-1.3-0 libice-dev libice6 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev libmagic1 libncurses5-dev libocamlnet-ocaml libocamlnet-ocaml-dev libp11-kit0 libpango1.0-0 libpango1.0-dev libpcre-ocaml libpcre-ocaml-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 libxss1 libzip-ocaml libzip-ocaml-dev m4 man-db mime-support ocaml ocaml-base ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocaml-ulex08 pkg-config po-debconf python python-minimal python2.7 python2.7-minimal sbuild-build-depends-matita-dummy shared-mime-info tcl8.5 tk8.5 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, 196 newly installed, 0 to remove and 12 not upgraded. Need to get 10.5 MB/85.5 MB of archives. After this operation, 253 MB of additional disk space will be used. Get:1 http://repo.raspbian.lan/raspbian/ testing/main ocaml-base-nox armhf 3.12.1-3 [496 kB] Get:2 http://repo.raspbian.lan/raspbian/ testing/main ocaml-interp armhf 3.12.1-3 [318 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main ocaml-nox armhf 3.12.1-3 [4888 kB] Get:4 http://repo.raspbian.lan/raspbian/ testing/main libgdome2-0 armhf 0.8.1+debian-4.1 [94.6 kB] Get:5 http://repo.raspbian.lan/raspbian/ testing/main libgdome2-dev armhf 0.8.1+debian-4.1 [271 kB] Get:6 http://repo.raspbian.lan/raspbian/ testing/main libgdome2-ocaml armhf 0.2.6-6 [28.3 kB] Get:7 http://repo.raspbian.lan/raspbian/ testing/main libgdome2-ocaml-dev armhf 0.2.6-6 [275 kB] Get:8 http://repo.raspbian.lan/raspbian/ testing/main libhttp-ocaml-dev armhf 0.1.5-1 [77.8 kB] Get:9 http://repo.raspbian.lan/raspbian/ testing/main libzip-ocaml armhf 1.04-6 [59.7 kB] Get:10 http://repo.raspbian.lan/raspbian/ testing/main libzip-ocaml-dev armhf 1.04-6 [17.3 kB] Get:11 http://repo.raspbian.lan/raspbian/ testing/main ocaml-base armhf 3.12.1-3 [103 kB] Get:12 http://repo.raspbian.lan/raspbian/ testing/main ocaml armhf 3.12.1-3 [1639 kB] Get:13 http://repo.raspbian.lan/raspbian/ testing/main ocaml-compiler-libs armhf 3.12.1-3 [638 kB] Get:14 http://repo.raspbian.lan/raspbian/ testing/main camlp5 armhf 6.05-1 [1601 kB] Get:15 http://repo.raspbian.lan/raspbian/ testing/main ocaml-ulex08 armhf 0.8-10 [29.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 10.5 MB in 1s (9880 kB/s) Selecting previously unselected package libpcre3:armhf. (Reading database ... 10675 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-4_armhf.deb) ... Selecting previously unselected package libssl1.0.0:armhf. Unpacking libssl1.0.0:armhf (from .../libssl1.0.0_1.0.1c-1_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.12-1_armhf.deb) ... Selecting previously unselected package libgnutls26:armhf. Unpacking libgnutls26:armhf (from .../libgnutls26_2.12.19-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.11-3_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.7.8.dfsg-9.1_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.5.12-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-5_all.deb) ... Selecting previously unselected package libfontconfig1:armhf. Unpacking libfontconfig1:armhf (from .../libfontconfig1_2.9.0-5_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 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-5_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.0-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_0.90-1.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 libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package libxss1:armhf. Unpacking libxss1:armhf (from .../libxss1_1%3a1.2.2-1_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.1_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-5+rpi1_armhf.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../archives/m4_1.4.16-3_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.2-10_all.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.2-10_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.5_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 autoconf. Unpacking autoconf (from .../autoconf_2.69-1_all.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-5+rpi1_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.20120419_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 help2man. Unpacking help2man (from .../help2man_1.40.9_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-1_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-5_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 ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-3_armhf.deb) ... Selecting previously unselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.2.8+debian-1_armhf.deb) ... Selecting previously unselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.2.8+debian-1_armhf.deb) ... Selecting previously unselected package libtinfo-dev:armhf. Unpacking libtinfo-dev:armhf (from .../libtinfo-dev_5.9-7_armhf.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-7_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 libcryptgps-ocaml-dev. Unpacking libcryptgps-ocaml-dev (from .../libcryptgps-ocaml-dev_0.2.1-7_armhf.deb) ... Selecting previously unselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7_armhf.deb) ... Selecting previously unselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-7_armhf.deb) ... Selecting previously unselected package libexpat-ocaml. Unpacking libexpat-ocaml (from .../libexpat-ocaml_0.9.1+debian1-7_armhf.deb) ... Selecting previously unselected package libexpat-ocaml-dev. Unpacking libexpat-ocaml-dev (from .../libexpat-ocaml-dev_0.9.1+debian1-7_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 libgdome2-0. Unpacking libgdome2-0 (from .../libgdome2-0_0.8.1+debian-4.1_armhf.deb) ... Selecting previously unselected package libxml2-dev:armhf. Unpacking libxml2-dev:armhf (from .../libxml2-dev_2.7.8.dfsg-9.1_armhf.deb) ... Selecting previously unselected package libgdome2-dev. Unpacking libgdome2-dev (from .../libgdome2-dev_0.8.1+debian-4.1_armhf.deb) ... Selecting previously unselected package libgdome2-ocaml. Unpacking libgdome2-ocaml (from .../libgdome2-ocaml_0.2.6-6_armhf.deb) ... Selecting previously unselected package libgdome2-ocaml-dev. Unpacking libgdome2-ocaml-dev (from .../libgdome2-ocaml-dev_0.2.6-6_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 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.0-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.7.8.dfsg-9.1_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 libglade2-dev. Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1_armhf.deb) ... Selecting previously unselected package libgtksourceview2.0-common. Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.4-1_all.deb) ... Selecting previously unselected package libgtksourceview2.0-0. Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.4-1_armhf.deb) ... Selecting previously unselected package libgtksourceview2.0-dev. Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.4-1_armhf.deb) ... Selecting previously unselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_armhf.deb) ... Selecting previously unselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1_armhf.deb) ... Selecting previously unselected package libpcre-ocaml. Unpacking libpcre-ocaml (from .../libpcre-ocaml_6.2.5-1_armhf.deb) ... Selecting previously unselected package libocamlnet-ocaml. Unpacking libocamlnet-ocaml (from .../libocamlnet-ocaml_3.5.1-1_armhf.deb) ... Selecting previously unselected package libpcre-ocaml-dev. Unpacking libpcre-ocaml-dev (from .../libpcre-ocaml-dev_6.2.5-1_armhf.deb) ... Selecting previously unselected package libocamlnet-ocaml-dev. Unpacking libocamlnet-ocaml-dev (from .../libocamlnet-ocaml-dev_3.5.1-1_armhf.deb) ... Selecting previously unselected package libhttp-ocaml-dev. Unpacking libhttp-ocaml-dev (from .../libhttp-ocaml-dev_0.1.5-1_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package libzip-ocaml. Unpacking libzip-ocaml (from .../libzip-ocaml_1.04-6_armhf.deb) ... Selecting previously unselected package libzip-ocaml-dev. Unpacking libzip-ocaml-dev (from .../libzip-ocaml-dev_1.04-6_armhf.deb) ... Selecting previously unselected package tcl8.5. Unpacking tcl8.5 (from .../tcl8.5_8.5.11-1_armhf.deb) ... Selecting previously unselected package tk8.5. Unpacking tk8.5 (from .../tk8.5_8.5.11-1_armhf.deb) ... Selecting previously unselected package ocaml-base. Unpacking ocaml-base (from .../ocaml-base_3.12.1-3_armhf.deb) ... Selecting previously unselected package ocaml. Unpacking ocaml (from .../ocaml_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.05-1_armhf.deb) ... Selecting previously unselected package ocaml-ulex08. Unpacking ocaml-ulex08 (from .../ocaml-ulex08_0.8-10_armhf.deb) ... Selecting previously unselected package sbuild-build-depends-matita-dummy. Unpacking sbuild-build-depends-matita-dummy (from .../sbuild-build-depends-matita-dummy.deb) ... Setting up libpcre3:armhf (1:8.30-5) ... Setting up libpipeline1:armhf (1.2.1-1) ... Setting up libpopt0:armhf (1.16-4) ... Setting up libssl1.0.0:armhf (1.0.1c-1) ... 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.12-1) ... Setting up libgnutls26:armhf (2.12.19-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.11-3) ... Setting up libxml2:armhf (2.7.8.dfsg-9.1) ... 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.5.12-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-5) ... Setting up libfontconfig1:armhf (2.9.0-5) ... 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 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-5) ... 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.0-1) ... Setting up libxinerama1:armhf (2:1.1.2-1) ... Setting up libxrandr2:armhf (2:1.3.2-2) ... Setting up shared-mime-info (0.90-1.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 libunistring0:armhf (0.9.3-5) ... Setting up libxss1:armhf (1:1.2.2-1) ... Setting up bsdmainutils (9.0.1) ... 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-5+rpi1) ... Setting up m4 (1.4.16-3) ... 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.2-10) ... Setting up python (2.7.2-10) ... Setting up libaspell15 (0.60.7~20110707-1) ... Setting up dictionaries-common (1.12.5) ... Setting up autoconf (2.69-1) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5+rpi1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20120419) ... 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 help2man (1.40.9) ... 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-1) ... 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-5) ... 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 ocaml-base-nox (3.12.1-3) ... Setting up libfindlib-ocaml (1.2.8+debian-1) ... Setting up ocaml-findlib (1.2.8+debian-1) ... Setting up libtinfo-dev:armhf (5.9-7) ... Setting up libncurses5-dev (5.9-7) ... Setting up ocaml-interp (3.12.1-3) ... Setting up ocaml-nox (3.12.1-3) ... Setting up libcryptgps-ocaml-dev (0.2.1-7) ... Setting up libexpat-ocaml (0.9.1+debian1-7) ... Setting up libexpat-ocaml-dev (0.9.1+debian1-7) ... Setting up libgdk-pixbuf2.0-dev (2.26.1-1) ... Setting up libgdome2-0 (0.8.1+debian-4.1) ... Setting up libxml2-dev:armhf (2.7.8.dfsg-9.1) ... Setting up libgdome2-dev (0.8.1+debian-4.1) ... Setting up libgdome2-ocaml (0.2.6-6) ... Setting up libgdome2-ocaml-dev (0.2.6-6) ... Setting up libglade2-0 (1:2.6.4-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.0-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.7.8.dfsg-9.1) ... Setting up libgtk2.0-dev (2.24.10-1) ... Setting up libglade2-dev (1:2.6.4-1) ... Setting up libgtksourceview2.0-common (2.10.4-1) ... Setting up libgtksourceview2.0-0 (2.10.4-1) ... Setting up libgtksourceview2.0-dev (2.10.4-1) ... Setting up libpcre-ocaml (6.2.5-1) ... Setting up libocamlnet-ocaml (3.5.1-1) ... Setting up libpcre-ocaml-dev (6.2.5-1) ... Setting up libocamlnet-ocaml-dev (3.5.1-1) ... Setting up libhttp-ocaml-dev (0.1.5-1) ... Setting up libzip-ocaml (1.04-6) ... Setting up libzip-ocaml-dev (1.04-6) ... Setting up tcl8.5 (8.5.11-1) ... update-alternatives: using /usr/bin/tclsh8.5 to provide /usr/bin/tclsh (tclsh) in auto mode. Setting up tk8.5 (8.5.11-1) ... update-alternatives: using /usr/bin/wish8.5 to provide /usr/bin/wish (wish) in auto mode. Setting up ocaml-base (3.12.1-3) ... Setting up ocaml (3.12.1-3) ... Setting up ocaml-compiler-libs (3.12.1-3) ... Setting up camlp5 (6.05-1) ... Setting up ocaml-ulex08 (0.8-10) ... 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 libenchant-dev (1.6.0-7) ... Setting up libgtkspell0 (2.0.16-1) ... Setting up libgtkspell-dev (2.0.16-1) ... Setting up liblablgtk2-ocaml (2.14.2+dfsg-2) ... Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-2) ... Setting up liblablgtksourceview2-ocaml (2.14.2+dfsg-2) ... Setting up liblablgtksourceview2-ocaml-dev (2.14.2+dfsg-2) ... Setting up sbuild-build-depends-matita-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-2-mx5 armhf (armv7l) Toolchain package versions: binutils_2.22-6 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-32 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 linux-libc-dev_3.2.12-1 Package versions: apt_0.8.15.10 aspell_0.60.7~20110707-1 aspell-en_7.1-0-1 autoconf_2.69-1 base-files_6.7 base-passwd_3.5.24 bash_4.2-2 binutils_2.22-6 bsdmainutils_9.0.1 bsdutils_1:2.20.1-4 build-essential_11.5+b1 bzip2_1.0.6-1 camlp5_6.05-1 coreutils_8.13-3.1 cpp_4:4.6.2-4 cpp-4.6_4.6.3-1.1+rpi2 dash_0.5.7-3 debconf_1.5.42 debfoster_2.7-1.1 debhelper_9.20120419 debian-archive-keyring_2010.08.28 debianutils_4.3 dictionaries-common_1.12.5 diffutils_1:3.2-6 dpkg_1.16.3 dpkg-dev_1.16.3 e2fslibs_1.42.2-2 e2fsprogs_1.42.2-2 fakeroot_1.18.3-1 file_5.11-1 findutils_4.4.2-4 fontconfig_2.9.0-5 fontconfig-config_2.9.0-5 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-5+rpi1 gettext-base_0.18.1.1-5+rpi1 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.11-3 groff-base_1.21-7 gzip_1.4-5 help2man_1.40.9 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 libaspell15_0.60.7~20110707-1 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-4 libbz2-1.0_1.0.6-1 libc-bin_2.13-32 libc-dev-bin_2.13-32 libc6_2.13-32 libc6-dev_2.13-32 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.2-2 libcroco3_0.6.5-1 libcryptgps-ocaml-dev_0.2.1-7 libcups2_1.5.3-1 libdatrie1_0.2.5-3 libdb5.1_5.1.29-1 libdbus-1-3_1.5.12-1 libdpkg-perl_1.16.3 libelf1_0.152-1+rpi1 libenchant-dev_1.6.0-7 libenchant1c2a_1.6.0-7 libexpat-ocaml_0.9.1+debian1-7 libexpat-ocaml-dev_0.9.1+debian1-7 libexpat1_2.1.0-1 libexpat1-dev_2.1.0-1 libffi5_3.0.10-3+b3 libfile-fcntllock-perl_0.14-1 libfindlib-ocaml_1.2.8+debian-1 libfontconfig1_2.9.0-5 libfontconfig1-dev_2.9.0-5 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 libgdome2-0_0.8.1+debian-4.1 libgdome2-dev_0.8.1+debian-4.1 libgdome2-ocaml_0.2.6-6 libgdome2-ocaml-dev_0.2.6-6 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-1.1 libgnutls26_2.12.19-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 libgtksourceview2.0-0_2.10.4-1 libgtksourceview2.0-common_2.10.4-1 libgtksourceview2.0-dev_2.10.4-1 libgtkspell-dev_2.0.16-1 libgtkspell0_2.0.16-1 libhttp-ocaml-dev_0.1.5-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-2 liblablgtk2-ocaml-dev_2.14.2+dfsg-2 liblablgtksourceview2-ocaml_2.14.2+dfsg-2 liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-2 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20110809-3 libmagic1_5.11-1 libmount1_2.20.1-4 libmpc2_0.9-4 libmpfr4_3.1.0-4 libncurses5_5.9-7 libncurses5-dev_5.9-7 libncursesw5_5.9-7 libocamlnet-ocaml_3.5.1-1 libocamlnet-ocaml-dev_3.5.1-1 libp11-kit0_0.12-3 libpam-modules_1.1.3-7 libpam-modules-bin_1.1.3-7 libpam-runtime_1.1.3-7 libpam0g_1.1.3-7.1 libpango1.0-0_1.30.0-1 libpango1.0-dev_1.30.0-1 libpcre-ocaml_6.2.5-1 libpcre-ocaml-dev_6.2.5-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-4 libpthread-stubs0_0.3-3 libpthread-stubs0-dev_0.3-3 libreadline6_6.2-8 libselinux1_2.1.9-2 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.11-3 libss2_1.42.2-2 libssl1.0.0_1.0.1c-1 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.12-1 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-7 libtinfo5_5.9-7 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-4 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.0-1 libxi6_2:1.6.0-1 libxinerama-dev_2:1.1.2-1 libxinerama1_2:1.1.2-1 libxml2_2.7.8.dfsg-9.1 libxml2-dev_2.7.8.dfsg-9.1 libxml2-utils_2.7.8.dfsg-9.1 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 libxss1_1:1.2.2-1 libzip-ocaml_1.04-6 libzip-ocaml-dev_1.04-6 linux-libc-dev_3.2.12-1 login_1:4.1.5-1 lsb-base_4.1+Debian2 m4_1.4.16-3 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-4 multiarch-support_2.13-32 ncurses-base_5.9-6 ncurses-bin_5.9-7 ocaml_3.12.1-3 ocaml-base_3.12.1-3 ocaml-base-nox_3.12.1-3 ocaml-compiler-libs_3.12.1-3 ocaml-findlib_1.2.8+debian-1 ocaml-interp_3.12.1-3 ocaml-nox_3.12.1-3 ocaml-ulex08_0.8-10 passwd_1:4.1.5-1 patch_2.6.1-3 perl_5.14.2-9 perl-base_5.14.2-9 perl-modules_5.14.2-9 pkg-config_0.26-1 po-debconf_1.0.16+nmu2 python_2.7.2-10 python-minimal_2.7.2-10 python2.7_2.7.3~rc2-2.1 python2.7-minimal_2.7.3~rc2-2.1 readline-common_6.2-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-matita-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.6 shared-mime-info_0.90-1.1 sysv-rc_2.88dsf-22.1 sysvinit_2.88dsf-22.1 sysvinit-utils_2.88dsf-22.1 tar_1.26-4 tcl8.5_8.5.11-1 tk8.5_8.5.11-1 ttf-dejavu-core_2.33-2 tzdata_2012c-1 ucf_3.0025+nmu3 util-linux_2.20.1-4 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-1 zlib1g-dev_1:1.2.7.dfsg-1 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Sun May 6 21:01:59 2012 UTC using DSA key ID 0123F2F2 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./matita_0.99.1-1.dsc dpkg-source: info: extracting matita in matita-0.99.1 dpkg-source: info: unpacking matita_0.99.1.orig.tar.gz dpkg-source: info: unpacking matita_0.99.1-1.debian.tar.gz dpkg-source: info: applying configure 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-6c8a919e-649b-425b-ad73-7af8788a2831 SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── dpkg-buildpackage: source package matita dpkg-buildpackage: source version 0.99.1-1 dpkg-source --before-build matita-0.99.1 dpkg-buildpackage: host architecture armhf fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/«PKGBUILDDIR»' dh_auto_clean rm -f Makefile.defs components/extlib/componentsConf.ml config.log config.status configure matita/.depend.opt matita/help/C/version.txt matita/matita.conf.xml matita/matita.glade.utf8 make[1]: Leaving directory `/«PKGBUILDDIR»' dh_clean debian/rules build-arch dh build-arch dh_testdir -a debian/rules override_dh_auto_configure make[1]: Entering directory `/«PKGBUILDDIR»' autoconf ./configure --with-runtime-dir=/usr/share/matita \ --prefix=/usr/ \ --with-dbhost=FAKE_HOST checking for ocamlc... yes checking for ocamlopt... no configure: WARNING: could not find ocamlopt: native code compilation disabled checking for ocamlfind... yes checking for lablgladecc2... yes checking for camlp5o... yes creating METAs ... done checking for expat ocaml library... yes checking for gdome2 ocaml library... yes checking for http ocaml library... yes checking for lablgtk2 ocaml library... yes checking for lablgtksourceview2.gtksourceview2 ocaml library... yes checking for netstring ocaml library... yes checking for ulex08 ocaml library... yes checking for zip ocaml library... yes checking for helm-disambiguation ocaml library... yes checking for helm-grafite ocaml library... yes checking for helm-grafite_engine ocaml library... yes checking for helm-ng_disambiguation ocaml library... yes checking for helm-ng_cic_content ocaml library... yes checking for helm-grafite_parser ocaml library... yes checking for helm-content_pres ocaml library... yes checking for helm-ng_paramodulation ocaml library... yes checking for helm-ng_tactics ocaml library... yes checking for lablgtk2.glade ocaml library... yes checking for lablgtksourceview2.gtksourceview2 ocaml library... yes checking --enable-debug argument... no, debugging enabled. checking --enable-annot argument... no, type annotation disabled. checking --with-runtime-dir argument... /usr/share/matita checking --with-dbhost argument... FAKE_HOST configure: creating ./config.status config.status: creating components/extlib/componentsConf.ml config.status: creating matita/matita.conf.xml config.status: creating matita/buildTimeConf.ml config.status: creating matita/help/C/version.txt config.status: creating Makefile.defs make[1]: Leaving directory `/«PKGBUILDDIR»' dh_auto_build -a make[1]: Entering directory `/«PKGBUILDDIR»' make rec@depend@components rec@depend@matita make[2]: Entering directory `/«PKGBUILDDIR»' make -C components depend DESTDIR= make[3]: Entering directory `/«PKGBUILDDIR»/components' ocamlfind: Package `helm-utf8_macros' not found ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' make[4]: Entering directory `/«PKGBUILDDIR»/components/syntax_extensions' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/syntax_extensions' ocamlfind: Package `helm-utf8_macros' not found ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' make[4]: Entering directory `/«PKGBUILDDIR»/components/syntax_extensions' OCAMLC utf8MacroTable.ml OCAMLC utf8Macro.mli OCAMLC utf8Macro.ml OCAMLC -a utf8_macros.cma OCAMLC pa_unicode_macro.ml OCAMLC -a pa_unicode_macro.cma OCAMLC profiling_macros.ml OCAMLC -a profiling_macros.cma make[4]: Leaving directory `/«PKGBUILDDIR»/components/syntax_extensions' make[4]: Entering directory `/«PKGBUILDDIR»/components/extlib' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/extlib' make[4]: Entering directory `/«PKGBUILDDIR»/components/xml' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/xml' make[4]: Entering directory `/«PKGBUILDDIR»/components/registry' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/registry' ocamlfind: Package `helm-utf8_macros' not found ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' make[4]: Entering directory `/«PKGBUILDDIR»/components/syntax_extensions' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/syntax_extensions' make[4]: Entering directory `/«PKGBUILDDIR»/components/thread' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/thread' make[4]: Entering directory `/«PKGBUILDDIR»/components/logger' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/logger' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_kernel' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_kernel' make[4]: Entering directory `/«PKGBUILDDIR»/components/getter' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/getter' make[4]: Entering directory `/«PKGBUILDDIR»/components/library' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/library' make[4]: Entering directory `/«PKGBUILDDIR»/components/content' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/content' make[4]: Entering directory `/«PKGBUILDDIR»/components/grafite' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/grafite' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_refiner' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_refiner' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_library' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_library' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_cic_content' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_cic_content' make[4]: Entering directory `/«PKGBUILDDIR»/components/disambiguation' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/disambiguation' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_disambiguation' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_disambiguation' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_paramodulation' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_paramodulation' make[4]: Entering directory `/«PKGBUILDDIR»/components/content_pres' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/content_pres' make[4]: Entering directory `/«PKGBUILDDIR»/components/grafite_parser' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/grafite_parser' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_tactics' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_tactics' make[4]: Entering directory `/«PKGBUILDDIR»/components/grafite_engine' OCAMLDEP make[4]: Leaving directory `/«PKGBUILDDIR»/components/grafite_engine' make[3]: Leaving directory `/«PKGBUILDDIR»/components' make -C matita depend DESTDIR= make[3]: Entering directory `/«PKGBUILDDIR»/matita' OCAMLDEP make[3]: Leaving directory `/«PKGBUILDDIR»/matita' make[2]: Leaving directory `/«PKGBUILDDIR»' make -C components world DESTDIR= make[2]: Entering directory `/«PKGBUILDDIR»/components' make[3]: Entering directory `/«PKGBUILDDIR»/components/extlib' OCAMLC componentsConf.mli OCAMLC componentsConf.ml OCAMLC hExtlib.mli OCAMLC hExtlib.ml OCAMLC hMarshal.mli OCAMLC hMarshal.ml OCAMLC patternMatcher.mli OCAMLC patternMatcher.ml OCAMLC hLog.mli OCAMLC hLog.ml OCAMLC trie.mli OCAMLC trie.ml OCAMLC discrimination_tree.mli OCAMLC discrimination_tree.ml OCAMLC hTopoSort.mli OCAMLC hTopoSort.ml OCAMLC graphvizPp.mli OCAMLC graphvizPp.ml OCAMLC -a extlib.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/extlib' make[3]: Entering directory `/«PKGBUILDDIR»/components/xml' OCAMLC xml.mli OCAMLC xml.ml OCAMLC xmlPushParser.mli OCAMLC xmlPushParser.ml OCAMLC -a xml.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/xml' make[3]: Entering directory `/«PKGBUILDDIR»/components/registry' OCAMLC helm_registry.mli OCAMLC helm_registry.ml OCAMLC -a registry.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/registry' ocamlfind: Package `helm-utf8_macros' not found ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' make[3]: Entering directory `/«PKGBUILDDIR»/components/syntax_extensions' make[3]: Leaving directory `/«PKGBUILDDIR»/components/syntax_extensions' make[3]: Entering directory `/«PKGBUILDDIR»/components/thread' OCAMLC threadSafe.mli OCAMLC threadSafe.ml OCAMLC extThread.mli OCAMLC extThread.ml OCAMLC -a thread.cma OCAMLC fake/threadSafe.mli OCAMLC -a thread_fake.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/thread' make[3]: Entering directory `/«PKGBUILDDIR»/components/logger' OCAMLC helmLogger.mli OCAMLC helmLogger.ml OCAMLC -a logger.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/logger' make[3]: Entering directory `/«PKGBUILDDIR»/components/ng_kernel' OCAMLC nUri.mli OCAMLC nReference.mli OCAMLC nCic.ml OCAMLC nUri.ml OCAMLC nReference.ml OCAMLC nCicUtils.mli OCAMLC nCicUtils.ml OCAMLC nCicSubstitution.mli OCAMLC nCicSubstitution.ml OCAMLC nCicEnvironment.mli OCAMLC nCicEnvironment.ml OCAMLC nCicReduction.mli OCAMLC nCicReduction.ml OCAMLC nCicTypeChecker.mli OCAMLC nCicTypeChecker.ml OCAMLC nCicUntrusted.mli OCAMLC nCicUntrusted.ml OCAMLC nCicPp.mli OCAMLC nCicPp.ml OCAMLC -a ng_kernel.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/ng_kernel' make[3]: Entering directory `/«PKGBUILDDIR»/components/getter' OCAMLC http_getter_types.ml OCAMLC http_getter_wget.mli OCAMLC http_getter_wget.ml OCAMLC http_getter_logger.mli OCAMLC http_getter_logger.ml OCAMLC http_getter_misc.mli OCAMLC http_getter_misc.ml OCAMLC http_getter_const.mli OCAMLC http_getter_const.ml OCAMLC http_getter_env.mli OCAMLC http_getter_env.ml OCAMLC http_getter_storage.mli OCAMLC http_getter_storage.ml OCAMLC http_getter_common.mli OCAMLC http_getter_common.ml OCAMLC http_getter.mli OCAMLC http_getter.ml OCAMLC -a getter.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/getter' make[3]: Entering directory `/«PKGBUILDDIR»/components/library' OCAMLC librarian.mli OCAMLC librarian.ml OCAMLC libraryMisc.mli OCAMLC libraryMisc.ml OCAMLC libraryClean.mli OCAMLC libraryClean.ml OCAMLC -a library.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/library' make[3]: Entering directory `/«PKGBUILDDIR»/components/content' OCAMLC notationPt.ml OCAMLC content.mli OCAMLC content.ml OCAMLC notationUtil.mli OCAMLC notationUtil.ml OCAMLC notationEnv.mli OCAMLC notationEnv.ml OCAMLC notationPp.mli OCAMLC notationPp.ml OCAMLC -a content.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/content' make[3]: Entering directory `/«PKGBUILDDIR»/components/grafite' OCAMLC grafiteAst.ml OCAMLC grafiteAstPp.mli OCAMLC grafiteAstPp.ml File "grafiteAstPp.ml", line 112, characters 23-183: Warning 8: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: (NIntroGuess _|NAutoInteractive (_, _)) OCAMLC -a grafite.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/grafite' make[3]: Entering directory `/«PKGBUILDDIR»/components/ng_refiner' OCAMLC nDiscriminationTree.mli OCAMLC nDiscriminationTree.ml OCAMLC nCicMetaSubst.mli OCAMLC nCicMetaSubst.ml OCAMLC nCicUnifHint.mli OCAMLC nCicUnifHint.ml File "nCicUnifHint.ml", line 346, characters 6-9: Warning 26: unused variable fmt. File "nCicUnifHint.ml", line 338, characters 19-24: Warning 26: unused variable concl. File "nCicUnifHint.ml", line 338, characters 6-17: Warning 26: unused variable recproblems. File "nCicUnifHint.ml", line 331, characters 6-13: Warning 27: unused variable context. File "nCicUnifHint.ml", line 330, characters 14-15: Warning 27: unused variable p. File "nCicUnifHint.ml", line 403, characters 23-24: Warning 27: unused variable l. File "nCicUnifHint.ml", line 407, characters 20-21: Warning 27: unused variable y. File "nCicUnifHint.ml", line 407, characters 17-18: Warning 27: unused variable x. OCAMLC nCicCoercion.mli OCAMLC nCicCoercion.ml OCAMLC nCicRefineUtil.mli OCAMLC nCicRefineUtil.ml OCAMLC nCicUnification.mli OCAMLC nCicUnification.ml File "nCicUnification.ml", line 143, characters 8-20: Warning 6: labels were omitted in the application of this function. OCAMLC nCicRefiner.mli OCAMLC nCicRefiner.ml File "nCicRefiner.ml", line 569, characters 17-31: Warning 26: unused variable constructorsno. File "nCicRefiner.ml", line 566, characters 56-62: Warning 27: unused variable leftno. File "nCicRefiner.ml", line 566, characters 28-31: Warning 27: unused variable uri. File "nCicRefiner.ml", line 657, characters 50-56: Warning 27: unused variable leftno. File "nCicRefiner.ml", line 674, characters 20-30: Warning 26: unused variable has_rights. File "nCicRefiner.ml", line 776, characters 16-22: Warning 27: unused variable left_p. File "nCicRefiner.ml", line 561, characters 60-66: Warning 27: unused variable leftno. File "nCicRefiner.ml", line 561, characters 55-59: Warning 27: unused variable tyno. File "nCicRefiner.ml", line 887, characters 7-11: Warning 27: unused variable exc2. File "nCicRefiner.ml", line 1242, characters 20-55: Warning 26: unused variable t. OCAMLC -a ng_refiner.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/ng_refiner' make[3]: Entering directory `/«PKGBUILDDIR»/components/ng_library' OCAMLC nCicLibrary.mli OCAMLC nCicLibrary.ml OCAMLC -a ng_library.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/ng_library' make[3]: Entering directory `/«PKGBUILDDIR»/components/ng_cic_content' OCAMLC ncic2astMatcher.mli OCAMLC ncic2astMatcher.ml OCAMLC interpretations.mli OCAMLC interpretations.ml OCAMLC -a ng_cic_content.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/ng_cic_content' make[3]: Entering directory `/«PKGBUILDDIR»/components/disambiguation' OCAMLC -rectypes disambiguateTypes.mli OCAMLC -rectypes disambiguateTypes.ml OCAMLC disambiguate.mli OCAMLC disambiguate.ml File "disambiguate.ml", line 449, characters 10-41: Warning 26: unused variable node. OCAMLC multiPassDisambiguator.mli OCAMLC multiPassDisambiguator.ml OCAMLC -a disambiguation.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/disambiguation' make[3]: Entering directory `/«PKGBUILDDIR»/components/ng_disambiguation' OCAMLC nnumber_notation.mli OCAMLC nnumber_notation.ml OCAMLC disambiguateChoices.mli OCAMLC disambiguateChoices.ml OCAMLC nCicDisambiguate.mli OCAMLC nCicDisambiguate.ml OCAMLC grafiteDisambiguate.mli OCAMLC grafiteDisambiguate.ml OCAMLC -a ng_disambiguation.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/ng_disambiguation' make[3]: Entering directory `/«PKGBUILDDIR»/components/ng_paramodulation' OCAMLC terms.mli OCAMLC terms.ml OCAMLC pp.mli OCAMLC pp.ml OCAMLC foSubst.mli OCAMLC foSubst.ml OCAMLC orderings.mli OCAMLC orderings.ml OCAMLC foUtils.mli OCAMLC foUtils.ml OCAMLC foUnif.mli OCAMLC foUnif.ml OCAMLC index.mli OCAMLC index.ml OCAMLC superposition.mli OCAMLC superposition.ml OCAMLC stats.mli OCAMLC stats.ml OCAMLC paramod.mli OCAMLC paramod.ml File "paramod.ml", line 497, characters 8-18: Warning 26: unused variable g_passives. File "paramod.ml", line 566, characters 35-40: Warning 20: this argument will not be used by the function. File "paramod.ml", line 603, characters 38-43: Warning 20: this argument will not be used by the function. OCAMLC nCicBlob.mli OCAMLC nCicBlob.ml OCAMLC nCicProof.mli OCAMLC nCicProof.ml File "nCicProof.ml", line 183, characters 22-23: Warning 26: unused variable f. File "nCicProof.ml", line 204, characters 8-15: Warning 26: unused variable compose. OCAMLC nCicParamod.mli OCAMLC nCicParamod.ml OCAMLC -a ng_paramodulation.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/ng_paramodulation' make[3]: Entering directory `/«PKGBUILDDIR»/components/content_pres' OCAMLC renderingAttrs.mli OCAMLC renderingAttrs.ml OCAMLC cicNotationLexer.mli OCAMLC cicNotationLexer.ml OCAMLC cicNotationParser.mli OCAMLC cicNotationParser.ml OCAMLC mpresentation.mli OCAMLC mpresentation.ml OCAMLC box.mli OCAMLC box.ml OCAMLC content2presMatcher.mli OCAMLC content2presMatcher.ml OCAMLC termContentPres.mli OCAMLC termContentPres.ml OCAMLC cicNotationPres.mli OCAMLC boxPp.mli OCAMLC boxPp.ml OCAMLC cicNotationPres.ml OCAMLC content2pres.mli OCAMLC content2pres.ml OCAMLC -a content_pres.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/content_pres' make[3]: Entering directory `/«PKGBUILDDIR»/components/grafite_parser' OCAMLC grafiteParser.mli OCAMLC grafiteParser.ml OCAMLC print_grammar.mli OCAMLC print_grammar.ml OCAMLC -a grafite_parser.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/grafite_parser' make[3]: Entering directory `/«PKGBUILDDIR»/components/ng_tactics' OCAMLC continuationals.mli OCAMLC continuationals.ml OCAMLC nCicTacReduction.mli OCAMLC nCicTacReduction.ml OCAMLC nTacStatus.mli OCAMLC nTacStatus.ml OCAMLC nCicElim.mli OCAMLC nCicElim.ml OCAMLC nTactics.mli OCAMLC nTactics.ml OCAMLC nnAuto.mli OCAMLC nnAuto.ml File "nnAuto.ml", line 969, characters 8-17: Warning 26: unused variable old_og_no. File "nnAuto.ml", line 1165, characters 6-9: Warning 26: unused variable sm1. OCAMLC nDestructTac.mli OCAMLC nDestructTac.ml File "nDestructTac.ml", line 485, characters 10-12: Warning 26: unused variable x'. OCAMLC nInversion.mli OCAMLC nInversion.ml OCAMLC -a ng_tactics.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/ng_tactics' make[3]: Entering directory `/«PKGBUILDDIR»/components/grafite_engine' OCAMLC grafiteTypes.mli OCAMLC grafiteTypes.ml OCAMLC nCicCoercDeclaration.mli OCAMLC nCicCoercDeclaration.ml OCAMLC grafiteEngine.mli OCAMLC grafiteEngine.ml OCAMLC -a grafite_engine.cma make[3]: Leaving directory `/«PKGBUILDDIR»/components/grafite_engine' make[2]: Leaving directory `/«PKGBUILDDIR»/components' make -C matita world DESTDIR= make[2]: Entering directory `/«PKGBUILDDIR»/matita' OCAMLDEP OCAMLC buildTimeConf.ml OCAMLC matitaGeneratedGui.ml OCAMLC lablGraphviz.mli OCAMLC lablGraphviz.ml OCAMLC matitaTypes.mli OCAMLC matitaTypes.ml OCAMLC applyTransformation.mli OCAMLC matitaGuiTypes.mli OCAMLC matitaMisc.mli OCAMLC matitaMisc.ml OCAMLC applyTransformation.ml OCAMLC matitaEngine.mli OCAMLC matitaEngine.ml OCAMLC matitaExcPp.mli OCAMLC matitaExcPp.ml OCAMLC matitaInit.mli OCAMLC matitaInit.ml OCAMLC matitaGtkMisc.mli OCAMLC matitaGtkMisc.ml OCAMLC virtuals.mli OCAMLC virtuals.ml OCAMLC cicMathView.mli OCAMLC cicMathView.ml File "cicMathView.ml", line 177, characters 4-14: Warning 26: unused variable text_width. File "cicMathView.ml", line 693, characters 47-62: Warning 26: unused variable ofn. OCAMLC predefined_virtuals.mli OCAMLC predefined_virtuals.ml OCAMLC matitaMathView.mli OCAMLC matitaMathView.ml File "matitaMathView.ml", line 487, characters 11-14: Warning 26: unused variable fmt. File "matitaMathView.ml", line 245, characters 6-9: Warning 26: unused variable gui. OCAMLC matitaScript.mli OCAMLC matitaScript.ml OCAMLC matitaGui.mli OCAMLC matitaGui.ml OCAMLC matita.ml OCAMLC matitaclean.mli OCAMLC matitaclean.ml OCAMLC matitac.ml make[2]: Leaving directory `/«PKGBUILDDIR»/matita' make[1]: Leaving directory `/«PKGBUILDDIR»' dh_auto_test -a fakeroot debian/rules binary-arch dh binary-arch dh_testroot -a dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install make[1]: Entering directory `/«PKGBUILDDIR»' dh_auto_install --destdir=debian/tmp make[2]: Entering directory `/«PKGBUILDDIR»' make -C components install-indep DESTDIR=/«PKGBUILDDIR»/debian/tmp make[3]: Entering directory `/«PKGBUILDDIR»/components' make[3]: Nothing to be done for `install-indep'. make[3]: Leaving directory `/«PKGBUILDDIR»/components' make -C matita install-indep DESTDIR=/«PKGBUILDDIR»/debian/tmp make[3]: Entering directory `/«PKGBUILDDIR»/matita' make[3]: Nothing to be done for `install-indep'. make[3]: Leaving directory `/«PKGBUILDDIR»/matita' make -C components install-arch DESTDIR=/«PKGBUILDDIR»/debian/tmp make[3]: Entering directory `/«PKGBUILDDIR»/components' make[4]: Entering directory `/«PKGBUILDDIR»/components/extlib' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/extlib' make[4]: Entering directory `/«PKGBUILDDIR»/components/xml' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/xml' make[4]: Entering directory `/«PKGBUILDDIR»/components/registry' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/registry' ocamlfind: Package `helm-utf8_macros' not found ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' make[4]: Entering directory `/«PKGBUILDDIR»/components/syntax_extensions' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/syntax_extensions' make[4]: Entering directory `/«PKGBUILDDIR»/components/thread' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/thread' make[4]: Entering directory `/«PKGBUILDDIR»/components/logger' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/logger' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_kernel' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_kernel' make[4]: Entering directory `/«PKGBUILDDIR»/components/getter' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/getter' make[4]: Entering directory `/«PKGBUILDDIR»/components/library' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/library' make[4]: Entering directory `/«PKGBUILDDIR»/components/content' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/content' make[4]: Entering directory `/«PKGBUILDDIR»/components/grafite' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/grafite' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_refiner' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_refiner' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_library' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_library' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_cic_content' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_cic_content' make[4]: Entering directory `/«PKGBUILDDIR»/components/disambiguation' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/disambiguation' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_disambiguation' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_disambiguation' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_paramodulation' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_paramodulation' make[4]: Entering directory `/«PKGBUILDDIR»/components/content_pres' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/content_pres' make[4]: Entering directory `/«PKGBUILDDIR»/components/grafite_parser' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/grafite_parser' make[4]: Entering directory `/«PKGBUILDDIR»/components/ng_tactics' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/ng_tactics' make[4]: Entering directory `/«PKGBUILDDIR»/components/grafite_engine' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/«PKGBUILDDIR»/components/grafite_engine' make[3]: Leaving directory `/«PKGBUILDDIR»/components' make -C matita install-arch DESTDIR=/«PKGBUILDDIR»/debian/tmp make[3]: Entering directory `/«PKGBUILDDIR»/matita' make[3]: Leaving directory `/«PKGBUILDDIR»/matita' make[2]: Leaving directory `/«PKGBUILDDIR»' cp matita/matita.byte debian/matita/usr/bin/ || true cp: cannot stat `matita/matita.byte': No such file or directory cp matita/matitac.byte debian/matita/usr/bin/ || true cp: cannot stat `matita/matitac.byte': No such file or directory cp matita/matita.opt debian/matita/usr/bin/ || true cp: cannot stat `matita/matita.opt': No such file or directory cp matita/matitac.opt debian/matita/usr/bin/ || true cp: cannot stat `matita/matitac.opt': No such file or directory mkdir -p debian/tmp/usr/share/man/man1/ MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \ help2man --name="Matita interative theorem prover - batch compiler" -N \ debian/tmp/usr/share/matita/matitac \ | gzip -9 > debian/tmp/usr/share/man/man1/matitac.1.gz MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \ help2man --name="Matita interative theorem prover - cleanup tool" -N \ debian/tmp/usr/share/matita/matitaclean \ | gzip -9 > debian/tmp/usr/share/man/man1/matitaclean.1.gz if [ -e debian/tmp/usr/share/matita/matitac.opt ]; then\ ln -s /usr/share/man/man1/matitac.1.gz \ debian/tmp/usr/share/man/man1/matitac.opt.1.gz;\ fi # install .opt .byte (symlinks are installed with .install mkdir -p debian/matita/usr/bin/ # make depend on the interpreter if needed if [ ! -e matita/matitac.opt ]; then \ echo "interpreter:Depends=ocaml-base-nox-3.12.1" \ >> debian/matita.substvars; \ else \ echo "interpreter:Depends=" \ >> debian/matita.substvars; \ fi make[1]: Leaving directory `/«PKGBUILDDIR»' dh_install -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_gencontrol -a dpkg-gencontrol: warning: Depends field of package matita: unknown substitution variable ${shlibs:Depends} dh_md5sums -a dh_builddeb -a dpkg-deb: building package `matita' in `../matita_0.99.1-1_armhf.deb'. dpkg-genchanges -B -mbuildd >../matita_0.99.1-1_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 matita-0.99.1 dpkg-buildpackage: binary only upload (no source included) ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120529-0749 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ matita_0.99.1-1_armhf.changes: ────────────────────────────── Format: 1.8 Date: Sun, 06 May 2012 20:35:57 +0200 Source: matita Binary: matita Architecture: armhf Version: 0.99.1-1 Distribution: testing Urgency: low Maintainer: buildd Changed-By: Enrico Tassi Description: matita - interactive theorem prover Changes: matita (0.99.1-1) unstable; urgency=low . * New upstream release * Removed package matita-doc (doc is available via F1) * Switch to dh * Add matita.desktop * Remove the following patches (integrated upstream): - Fix-FTBFS-with-camlp5-6.05 - matita.conf.xml.in - slist-sep - numbers - native-compilers * New patch 'configure' to avoid useless build-dep on mysql ocaml bindings * Cleanup debian Checksums-Sha1: 5ce1970fefe809d1a7f97ba8603a88b661146241 9374898 matita_0.99.1-1_armhf.deb Checksums-Sha256: e20f27f663a464aee9596d0b7eef3e7bad64829d06a3a63244114b980b495aae 9374898 matita_0.99.1-1_armhf.deb Files: 6557ec65ecbb3c81c447310732443c2d 9374898 math optional matita_0.99.1-1_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ matita_0.99.1-1_armhf.deb ───────────────────────── new debian package, version 2.0. size 9374898 bytes: control archive= 5224 bytes. 423 bytes, 13 lines control 12830 bytes, 168 lines md5sums 185 bytes, 7 lines * postinst #!/bin/sh 160 bytes, 5 lines * postrm #!/bin/sh Package: matita Version: 0.99.1-1 Architecture: armhf Maintainer: Debian OCaml Maintainers Installed-Size: 22482 Depends: ocaml-base-nox-3.12.1 Recommends: graphviz, yelp Section: math Priority: optional Homepage: http://matita.cs.unibo.it Description: interactive theorem prover Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions. drwxr-xr-x root/root 0 2012-05-29 07:48 ./ drwxr-xr-x root/root 0 2012-05-29 07:47 ./usr/ drwxr-xr-x root/root 0 2012-05-29 07:48 ./usr/bin/ -rwxr-xr-x root/root 11670169 2012-05-29 07:48 ./usr/bin/matita -rwxr-xr-x root/root 9521985 2012-05-29 07:48 ./usr/bin/matitac drwxr-xr-x root/root 0 2012-05-29 07:48 ./usr/share/ drwxr-xr-x root/root 0 2012-05-29 07:48 ./usr/share/menu/ -rw-r--r-- root/root 224 2012-05-06 08:34 ./usr/share/menu/matita drwxr-xr-x root/root 0 2012-05-29 07:48 ./usr/share/matita/ -rw-r--r-- root/root 4665 2012-05-29 07:43 ./usr/share/matita/matita.conf.xml -rw-r--r-- root/root 6370 2012-03-13 04:49 ./usr/share/matita/matita.lang drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/icons/ -rw-r--r-- root/root 3650 2012-03-13 04:49 ./usr/share/matita/icons/matita_very_small.png -rw-r--r-- root/root 11017 2012-03-13 04:49 ./usr/share/matita/icons/whelp.svg -rw-r--r-- root/root 1073 2012-03-13 04:49 ./usr/share/matita/icons/whelp.png -rw-r--r-- root/root 893 2012-03-13 04:49 ./usr/share/matita/icons/matita-object.png -rw-r--r-- root/root 17605 2012-03-13 04:49 ./usr/share/matita/icons/matita.png -rw-r--r-- root/root 706 2012-03-13 04:49 ./usr/share/matita/icons/matita-folder.png -rw-r--r-- root/root 1072 2012-03-13 04:49 ./usr/share/matita/icons/matita-bulb-low.png -rw-r--r-- root/root 1287 2012-03-13 04:49 ./usr/share/matita/icons/matita-theory.png -rw-r--r-- root/root 1149 2012-03-13 04:49 ./usr/share/matita/icons/matita-bulb-high.png -rw-r--r-- root/root 1733 2012-03-13 04:49 ./usr/share/matita/icons/matita-32.xpm -rw-r--r-- root/root 12270 2012-03-13 04:49 ./usr/share/matita/icons/matita_medium.png -rw-r--r-- root/root 1272 2012-03-13 04:49 ./usr/share/matita/icons/matita-bulb-medium.png -rw-r--r-- root/root 4786 2012-03-13 04:49 ./usr/share/matita/icons/matita_small.png -rw-r--r-- root/root 157131 2012-03-13 04:49 ./usr/share/matita/icons/meegg.png drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/lib/ drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/lib/arithmetics/ -rw-r--r-- root/root 3758 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/congruence.ma -rw-r--r-- root/root 11466 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/log.ma -rw-r--r-- root/root 4996 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/exp.ma -rw-r--r-- root/root 9808 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/nat_commented.ma -rw-r--r-- root/root 6208 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/nth_prime.ma -rw-r--r-- root/root 5975 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/factorial.ma -rw-r--r-- root/root 8898 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/minimization.ma -rw-r--r-- root/root 4455 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/binomial.ma -rw-r--r-- root/root 20369 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/nat.ma -rw-r--r-- root/root 21742 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/sigma_pi.ma -rw-r--r-- root/root 13631 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/gcd.ma -rw-r--r-- root/root 14504 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/primes.ma -rw-r--r-- root/root 12260 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/div_and_mod.ma -rw-r--r-- root/root 4773 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/chinese_reminder.ma -rw-r--r-- root/root 31862 2012-03-13 04:49 ./usr/share/matita/lib/arithmetics/bigops.ma drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/lib/lambda/ -rw-r--r-- root/root 3046 2012-03-13 04:49 ./usr/share/matita/lib/lambda/ext_lambda.ma -rw-r--r-- root/root 6854 2012-03-13 04:49 ./usr/share/matita/lib/lambda/arity.ma -rw-r--r-- root/root 9816 2012-03-13 04:49 ./usr/share/matita/lib/lambda/par_reduction.ma -rw-r--r-- root/root 7521 2012-03-13 04:49 ./usr/share/matita/lib/lambda/subst.ma -rw-r--r-- root/root 10196 2012-03-13 04:49 ./usr/share/matita/lib/lambda/arity_eval.ma -rw-r--r-- root/root 1781 2012-03-13 04:49 ./usr/share/matita/lib/lambda/cube.ma -rw-r--r-- root/root 7936 2012-03-13 04:49 ./usr/share/matita/lib/lambda/subject.ma -rw-r--r-- root/root 5441 2012-03-13 04:49 ./usr/share/matita/lib/lambda/rc_eval.ma -rw-r--r-- root/root 2485 2012-03-13 04:49 ./usr/share/matita/lib/lambda/rc_hsat.ma -rw-r--r-- root/root 2576 2012-03-13 04:49 ./usr/share/matita/lib/lambda/convertibility.ma -rw-r--r-- root/root 1320 2012-03-13 04:49 ./usr/share/matita/lib/lambda/CC2FO_K_cube.ma -rw-r--r-- root/root 6680 2012-03-13 04:49 ./usr/share/matita/lib/lambda/CC2FO_K.ma -rw-r--r-- root/root 3271 2012-03-13 04:49 ./usr/share/matita/lib/lambda/lambda_notation.ma -rw-r--r-- root/root 1616 2012-03-13 04:49 ./usr/share/matita/lib/lambda/terms.ma -rw-r--r-- root/root 6376 2012-03-13 04:49 ./usr/share/matita/lib/lambda/types.ma -rw-r--r-- root/root 4704 2012-03-13 04:49 ./usr/share/matita/lib/lambda/ext.ma -rw-r--r-- root/root 4246 2012-03-13 04:49 ./usr/share/matita/lib/lambda/lift.ma -rw-r--r-- root/root 5792 2012-03-13 04:49 ./usr/share/matita/lib/lambda/rc_sat.ma -rw-r--r-- root/root 4135 2012-03-13 04:49 ./usr/share/matita/lib/lambda/inversion.ma -rw-r--r-- root/root 6455 2012-03-13 04:49 ./usr/share/matita/lib/lambda/degree.ma -rw-r--r-- root/root 11283 2012-03-13 04:49 ./usr/share/matita/lib/lambda/reduction.ma -rw-r--r-- root/root 2609 2012-03-13 04:49 ./usr/share/matita/lib/lambda/sn.ma -rw-r--r-- root/root 4389 2012-03-13 04:49 ./usr/share/matita/lib/lambda/subterms.ma -rw-r--r-- root/root 21 2012-03-13 04:49 ./usr/share/matita/lib/root drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/lib/lambdaN/ -rw-r--r-- root/root 3038 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/ext_lambda.ma -rw-r--r-- root/root 6854 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/arity.ma -rw-r--r-- root/root 9542 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/par_reduction.ma -rw-r--r-- root/root 9904 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/subst.ma -rw-r--r-- root/root 10196 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/arity_eval.ma -rw-r--r-- root/root 1781 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/cube.ma -rw-r--r-- root/root 8246 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/subject.ma -rw-r--r-- root/root 5441 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/rc_eval.ma -rw-r--r-- root/root 2485 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/rc_hsat.ma -rw-r--r-- root/root 2552 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/convertibility.ma -rw-r--r-- root/root 2986 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/lambda_notation.ma -rw-r--r-- root/root 1735 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/terms.ma -rw-r--r-- root/root 6380 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/types.ma -rw-r--r-- root/root 4173 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/thinning.ma -rw-r--r-- root/root 4660 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/ext.ma -rw-r--r-- root/root 5792 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/rc_sat.ma -rw-r--r-- root/root 4432 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/inversion.ma -rw-r--r-- root/root 11875 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/reduction.ma -rw-r--r-- root/root 2609 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/sn.ma -rw-r--r-- root/root 4487 2012-03-13 04:49 ./usr/share/matita/lib/lambdaN/subterms.ma -rw-r--r-- root/root 4177 2012-03-13 04:49 ./usr/share/matita/lib/hints_declaration.ma drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/lib/formal_topology/ -rw-r--r-- root/root 5626 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma -rw-r--r-- root/root 7364 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/subsets.ma -rw-r--r-- root/root 1857 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/saturations.ma -rw-r--r-- root/root 13953 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/relations.ma -rw-r--r-- root/root 2381 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma -rw-r--r-- root/root 4125 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma -rw-r--r-- root/root 3889 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/o-formal_topologies.ma -rw-r--r-- root/root 8382 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/basic_pairs.ma -rw-r--r-- root/root 10001 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/r-o-basic_pairs.ma -rw-r--r-- root/root 9569 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/o-basic_pairs.ma -rw-r--r-- root/root 4871 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/apply_functor.ma -rw-r--r-- root/root 1641 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/saturations_to_o-saturations.ma -rw-r--r-- root/root 9660 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/basic_topologies.ma -rw-r--r-- root/root 6816 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma -rw-r--r-- root/root 1910 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/o-saturations.ma -rw-r--r-- root/root 12306 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/relations_to_o-algebra.ma -rw-r--r-- root/root 241 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/replace.sh -rw-r--r-- root/root 9014 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/o-basic_topologies.ma -rw-r--r-- root/root 2678 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma -rw-r--r-- root/root 3877 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/formal_topologies.ma -rw-r--r-- root/root 20289 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/categories.ma -rw-r--r-- root/root 17664 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/o-algebra.ma -rw-r--r-- root/root 1228 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/notation.ma -rw-r--r-- root/root 4448 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/concrete_spaces.ma -rw-r--r-- root/root 7449 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/cprop_connectives.ma -rw-r--r-- root/root 5410 2012-03-13 04:49 ./usr/share/matita/lib/formal_topology/o-concrete_spaces.ma drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/lib/basics/ -rw-r--r-- root/root 4683 2012-03-13 04:49 ./usr/share/matita/lib/basics/star.ma -rw-r--r-- root/root 3496 2012-03-13 04:49 ./usr/share/matita/lib/basics/relations.ma drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/lib/basics/lists/ -rw-r--r-- root/root 11320 2012-03-13 04:49 ./usr/share/matita/lib/basics/lists/list.ma -rw-r--r-- root/root 7749 2012-03-13 04:49 ./usr/share/matita/lib/basics/lists/listb.ma -rw-r--r-- root/root 3182 2012-03-13 04:49 ./usr/share/matita/lib/basics/jmeq.ma -rw-r--r-- root/root 1272 2012-03-13 04:49 ./usr/share/matita/lib/basics/pts.ma -rw-r--r-- root/root 3400 2012-03-13 04:49 ./usr/share/matita/lib/basics/bool.ma -rw-r--r-- root/root 8071 2012-03-13 04:49 ./usr/share/matita/lib/basics/types.ma -rw-r--r-- root/root 770 2012-03-13 04:49 ./usr/share/matita/lib/basics/russell.ma -rw-r--r-- root/root 8618 2012-03-13 04:49 ./usr/share/matita/lib/basics/logic.ma -rw-r--r-- root/root 10004 2012-03-13 04:49 ./usr/share/matita/lib/basics/core_notation.ma -rw-r--r-- root/root 3276 2012-03-13 04:49 ./usr/share/matita/lib/basics/deqsets.ma -rw-r--r-- root/root 3916 2012-03-13 04:49 ./usr/share/matita/lib/basics/sets.ma drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/lib/re/ -rw-r--r-- root/root 5037 2012-03-13 04:49 ./usr/share/matita/lib/re/lang.ma -rw-r--r-- root/root 17632 2012-03-13 04:49 ./usr/share/matita/lib/re/re.ma -rw-r--r-- root/root 18361 2012-03-13 04:49 ./usr/share/matita/lib/re/moves.ma -rw-r--r-- root/root 31994 2012-03-13 04:49 ./usr/share/matita/lib/re/reb.ma -rw-r--r-- root/root 916 2012-03-13 04:49 ./usr/share/matita/LICENSE drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/help/ drwxr-xr-x root/root 0 2012-05-29 07:43 ./usr/share/matita/help/C/ -rw-r--r-- root/root 36544 2012-03-13 04:49 ./usr/share/matita/help/C/sec_terms.xml -rw-r--r-- root/root 6273 2012-03-13 04:49 ./usr/share/matita/help/C/tactics_quickref.xml -rw-r--r-- root/root 17 2012-03-13 04:49 ./usr/share/matita/help/C/version.txt.in -rw-r--r-- root/root 7170 2012-03-13 04:49 ./usr/share/matita/help/C/sec_gettingstarted.xml -rw-r--r-- root/root 149 2012-03-13 04:49 ./usr/share/matita/help/C/sec_license.xml -rw-r--r-- root/root 151 2012-03-13 04:49 ./usr/share/matita/help/C/tactic_quickref.xml -rw-r--r-- root/root 139 2012-03-13 04:49 ./usr/share/matita/help/C/declarative_tactics_quickref.xml -rw-r--r-- root/root 38339 2012-03-13 04:49 ./usr/share/matita/help/C/sec_tactics.xml -rw-r--r-- root/root 646 2012-03-13 04:49 ./usr/share/matita/help/C/docbook.css -rw-r--r-- root/root 30112 2012-03-13 04:49 ./usr/share/matita/help/C/sec_commands.xml drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/help/C/figures/ -rw-r--r-- root/root 67006 2012-03-13 04:49 ./usr/share/matita/help/C/figures/vbox1.png -rw-r--r-- root/root 3650 2012-03-13 04:49 ./usr/share/matita/help/C/figures/matita.png -rw-r--r-- root/root 5538 2012-03-13 04:49 ./usr/share/matita/help/C/figures/database.dia -rw-r--r-- root/root 7058 2012-03-13 04:49 ./usr/share/matita/help/C/figures/vbox6.png -rw-r--r-- root/root 27551 2012-03-13 04:49 ./usr/share/matita/help/C/figures/vbox35.png -rw-r--r-- root/root 205032 2012-03-13 04:49 ./usr/share/matita/help/C/figures/vbox7.png -rw-r--r-- root/root 42328 2012-03-13 04:49 ./usr/share/matita/help/C/figures/vbox5.png -rw-r--r-- root/root 38415 2012-03-13 04:49 ./usr/share/matita/help/C/figures/vbox2.png -rw-r--r-- root/root 15256 2012-03-13 04:49 ./usr/share/matita/help/C/figures/database.png -rw-r--r-- root/root 24475 2012-03-13 04:49 ./usr/share/matita/help/C/figures/vbox3.png -rw-r--r-- root/root 47008 2012-03-13 04:49 ./usr/share/matita/help/C/figures/vbox4.png -rw-r--r-- root/root 8316 2012-03-13 04:49 ./usr/share/matita/help/C/matita.xml -rw-r--r-- root/root 20627 2012-03-13 04:49 ./usr/share/matita/help/C/sec_usernotation.xml -rw-r--r-- root/root 373 2012-03-13 04:49 ./usr/share/matita/help/C/TODO drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/help/C/xsl/ -rw-r--r-- root/root 2248 2012-03-13 04:49 ./usr/share/matita/help/C/xsl/matita-xhtml.xsl -rw-r--r-- root/root 285 2012-03-13 04:49 ./usr/share/matita/help/C/xsl/matita-fo.xsl -rw-r--r-- root/root 1888 2012-03-13 04:49 ./usr/share/matita/help/C/xsl/tactic_quickref.xsl -rw-r--r-- root/root 16507 2012-03-13 04:49 ./usr/share/matita/help/C/sec_declarative_tactics.xml drwxr-xr-x root/root 0 2012-03-13 04:50 ./usr/share/matita/help/C/scripts/ -rwxr-xr-x root/root 123 2012-03-13 04:49 ./usr/share/matita/help/C/scripts/fix-symbols.sh -rw-r--r-- root/root 4211 2012-03-13 04:49 ./usr/share/matita/help/C/sec_intro.xml -rw-r--r-- root/root 7 2012-05-29 07:43 ./usr/share/matita/help/C/version.txt -rw-r--r-- root/root 24026 2012-03-13 04:49 ./usr/share/matita/help/C/sec_install.xml -rw-r--r-- root/root 11962 2012-03-13 04:49 ./usr/share/matita/help/C/sec_tacticals.xml -rw-r--r-- root/root 61877 2012-03-13 04:49 ./usr/share/matita/help/C/xhtml1-transitional.dtd -rw-r--r-- root/root 1293 2012-03-13 04:49 ./usr/share/matita/help/C/Makefile -rw-r--r-- root/root 1047 2012-03-13 04:49 ./usr/share/matita/help/C/legal.xml -rw-r--r-- root/root 2601 2012-03-13 04:49 ./usr/share/matita/matita.gtkrc -rw-r--r-- root/root 1002 2012-03-13 04:49 ./usr/share/matita/matita.ma.templ -rw-r--r-- root/root 232 2012-03-13 04:49 ./usr/share/matita/AUTHORS -rw-r--r-- root/root 467 2012-03-13 04:49 ./usr/share/matita/closed.xml drwxr-xr-x root/root 0 2012-05-29 07:48 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-05-29 07:48 ./usr/share/doc/matita/ -rw-r--r-- root/root 1951 2012-05-06 13:32 ./usr/share/doc/matita/changelog.Debian.gz -rw-r--r-- root/root 1045 2012-05-06 08:34 ./usr/share/doc/matita/copyright drwxr-xr-x root/root 0 2012-05-29 07:48 ./usr/share/applications/ -rw-r--r-- root/root 181 2012-05-06 12:07 ./usr/share/applications/matita.desktop drwxr-xr-x root/root 0 2012-05-29 07:48 ./usr/share/man/ drwxr-xr-x root/root 0 2012-05-29 07:48 ./usr/share/man/man1/ -rw-r--r-- root/root 742 2012-05-29 07:48 ./usr/share/man/man1/matitac.1.gz -rw-r--r-- root/root 750 2012-05-29 07:48 ./usr/share/man/man1/matitaclean.1.gz lrwxrwxrwx root/root 0 2012-05-29 07:48 ./usr/bin/matitaclean -> matitac ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 12 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: aspell* aspell-en* autoconf* bsdmainutils* camlp5* debhelper* dictionaries-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* help2man* html2text* intltool-debian* libaspell15* libatk1.0-0* libatk1.0-data* libatk1.0-dev* libavahi-client3* libavahi-common-data* libavahi-common3* libcairo-gobject2* libcairo-script-interpreter2* libcairo2* libcairo2-dev* libcroco3* libcryptgps-ocaml-dev* libcups2* libdatrie1* libdbus-1-3* libelf1* libenchant-dev* libenchant1c2a* libexpat-ocaml* libexpat-ocaml-dev* libexpat1* libexpat1-dev* libffi5* libfindlib-ocaml* libfontconfig1* libfontconfig1-dev* libfreetype6* libfreetype6-dev* libgcrypt11* libgdk-pixbuf2.0-0* libgdk-pixbuf2.0-common* libgdk-pixbuf2.0-dev* libgdome2-0* libgdome2-dev* libgdome2-ocaml* libgdome2-ocaml-dev* 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* libgtksourceview2.0-0* libgtksourceview2.0-common* libgtksourceview2.0-dev* libgtkspell-dev* libgtkspell0* libhttp-ocaml-dev* libhunspell-1.3-0* libice-dev* libice6* libjasper1* libjbig0* libjpeg8* libk5crypto3* libkeyutils1* libkrb5-3* libkrb5support0* liblablgtk2-ocaml* liblablgtk2-ocaml-dev* liblablgtksourceview2-ocaml* liblablgtksourceview2-ocaml-dev* libmagic1* libncurses5-dev* libocamlnet-ocaml* libocamlnet-ocaml-dev* libp11-kit0* libpango1.0-0* libpango1.0-dev* libpcre-ocaml* libpcre-ocaml-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* libxss1* libzip-ocaml* libzip-ocaml-dev* m4* man-db* mime-support* ocaml* ocaml-base* ocaml-base-nox* ocaml-compiler-libs* ocaml-findlib* ocaml-interp* ocaml-nox* ocaml-ulex08* pkg-config* po-debconf* python* python-minimal* python2.7* python2.7-minimal* sbuild-build-depends-core-dummy* sbuild-build-depends-matita-dummy* shared-mime-info* tcl8.5* tk8.5* 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, 197 to remove and 12 not upgraded. After this operation, 253 MB disk space will be freed. (Reading database ... 20976 files and directories currently installed.) Removing sbuild-build-depends-matita-dummy ... Removing liblablgtksourceview2-ocaml-dev ... Removing liblablgtksourceview2-ocaml ... Removing liblablgtk2-ocaml-dev ... Removing liblablgtk2-ocaml ... Removing libgtkspell-dev ... Removing libgtkspell0 ... Purging configuration files for libgtkspell0 ... Removing libenchant-dev ... Removing libenchant1c2a ... Removing aspell-en ... Purging configuration files for aspell-en ... Removing aspell ... Removing autoconf ... Purging configuration files for autoconf ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing ocaml-ulex08 ... Removing camlp5 ... 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 file ... Removing libgtksourceview2.0-dev ... Removing libglade2-dev ... Removing libgtk2.0-dev ... Removing libpango1.0-dev ... Removing libgtksourceview2.0-0 ... Purging configuration files for libgtksourceview2.0-0 ... Removing libglade2-0 ... Purging configuration files for libglade2-0 ... Removing libgtk2.0-0:armhf ... Purging configuration files for libgtk2.0-0:armhf ... Removing gir1.2-pango-1.0 ... Removing libpango1.0-0:armhf ... Purging configuration files for libpango1.0-0:armhf ... Removing fontconfig ... Purging configuration files for fontconfig ... Removing ocaml ... Removing ocaml-base ... Removing tk8.5 ... Purging configuration files for tk8.5 ... Removing libxft-dev ... Removing libxft2:armhf ... Purging configuration files for libxft2:armhf ... 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 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 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 help2man ... Removing html2text ... Purging configuration files for html2text ... 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 libcroco3:armhf ... Purging configuration files for libcroco3:armhf ... Removing libhttp-ocaml-dev ... Removing libocamlnet-ocaml-dev ... Removing libcryptgps-ocaml-dev ... 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 libgdome2-ocaml-dev ... Removing libgdome2-dev ... Removing libglib2.0-dev ... Removing libglib2.0-bin ... Purging configuration files for libglib2.0-bin ... Removing libelf1 ... Purging configuration files for libelf1 ... Removing libexpat-ocaml-dev ... Removing libexpat-ocaml ... Removing python ... Purging configuration files for python ... Removing python2.7 ... Purging configuration files for python2.7 ... Removing libexpat1-dev ... Removing libexpat1:armhf ... Purging configuration files for libexpat1:armhf ... Removing shared-mime-info ... Purging configuration files for shared-mime-info ... Removing pkg-config ... Removing libgirepository-1.0-1 ... Purging configuration files for libgirepository-1.0-1 ... Removing libgdome2-ocaml ... Removing libgdome2-0 ... Purging configuration files for libgdome2-0 ... 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 libpcre-ocaml-dev ... Removing ocaml-findlib ... Purging configuration files for ocaml-findlib ... Removing libfindlib-ocaml ... Purging configuration files for libfindlib-ocaml ... Removing libfreetype6-dev ... 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 libglib2.0-data ... 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 libgtksourceview2.0-common ... Removing libhunspell-1.3-0:armhf ... Purging configuration files for libhunspell-1.3-0:armhf ... 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 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 libmagic1:armhf ... Purging configuration files for libmagic1:armhf ... Removing ocaml-compiler-libs ... Removing libzip-ocaml-dev ... Removing ocaml-nox ... Purging configuration files for ocaml-nox ... Removing libncurses5-dev ... Removing libocamlnet-ocaml ... Removing libp11-kit0:armhf ... Purging configuration files for libp11-kit0:armhf ... Removing libpcre-ocaml ... Removing libpcre3-dev ... Removing libpcrecpp0:armhf ... Purging configuration files for libpcrecpp0:armhf ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libpixman-1-dev ... Removing libpixman-1-0:armhf ... Purging configuration files for libpixman-1-0:armhf ... Removing libpng12-dev ... Removing libpng12-0:armhf ... Purging configuration files for libpng12-0:armhf ... 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 libtasn1-3:armhf ... Purging configuration files for libtasn1-3:armhf ... Removing libthai-data ... Removing libtinfo-dev:armhf ... Removing libunistring0:armhf ... Purging configuration files for libunistring0:armhf ... Removing libxss1:armhf ... Purging configuration files for libxss1:armhf ... 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 libxau-dev:armhf ... 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 libxdmcp-dev:armhf ... Removing libxdmcp6:armhf ... Purging configuration files for libxdmcp6:armhf ... Removing libxml2-utils ... Removing libxml2-dev:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing libzip-ocaml ... Removing m4 ... Removing mime-support ... Purging configuration files for mime-support ... Removing ocaml-interp ... Purging configuration files for ocaml-interp ... Removing ocaml-base-nox ... Removing sbuild-build-depends-core-dummy ... Removing tcl8.5 ... Purging configuration files for tcl8.5 ... Removing ttf-dejavu-core ... 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 ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: armhf Build-Space: 150876 Build-Time: 361 Distribution: testing Install-Time: 378 Job: matita_0.99.1-1 Package: matita Package-Time: 764 Source-Version: 0.99.1-1 Space: 150876 Status: successful Version: 0.99.1-1 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120529-0749 Build needed 00:12:44, 150876k disc space