RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 2.6.38-1209-omap4 #21-Ubuntu SMP PREEMPT Thu Jan 26 15:18:48 UTC 2012 armv7l Buildd toolchain package versions: launchpad-buildd_113~0.IS.08.04 python-lpbuildd_113~0.IS.08.04 bzr_2.3.4-0ubuntu1. Syncing the system clock with the buildd NTP service... 17 May 19:16:43 ntpdate[30742]: adjust time server 10.211.37.1 offset 0.000971 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'd82d6fd0251ac3c07133b6d2da8aa326ffdd61e8', '/home/buildd/filecache-default/aeaabf49751e07ab94fd72b56663393a1967281d'] Unpacking chroot for build d82d6fd0251ac3c07133b6d2da8aa326ffdd61e8 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'd82d6fd0251ac3c07133b6d2da8aa326ffdd61e8'] Mounting chroot for build d82d6fd0251ac3c07133b6d2da8aa326ffdd61e8 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'd82d6fd0251ac3c07133b6d2da8aa326ffdd61e8', 'deb http://ftpmaster.internal/ubuntu quantal main universe'] Overriding sources.list in build-d82d6fd0251ac3c07133b6d2da8aa326ffdd61e8 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'd82d6fd0251ac3c07133b6d2da8aa326ffdd61e8', 'armhf'] Updating debian chroot for build d82d6fd0251ac3c07133b6d2da8aa326ffdd61e8 Ign http://archive-team.internal quantal InRelease Ign http://ftpmaster.internal quantal InRelease Ign http://archive-team.internal quantal Release.gpg Get:1 http://archive-team.internal quantal Release [749 B] Get:2 http://ftpmaster.internal quantal Release.gpg [198 B] Ign http://archive-team.internal quantal/main TranslationIndex Get:3 http://ftpmaster.internal quantal Release [49.6 kB] Get:4 http://archive-team.internal quantal/main armhf Packages [113 kB] Get:5 http://ftpmaster.internal quantal/main armhf Packages [1271 kB] Ign http://archive-team.internal quantal/main Translation-en Get:6 http://ftpmaster.internal quantal/universe armhf Packages [4809 kB] Get:7 http://ftpmaster.internal quantal/main TranslationIndex [74 B] Get:8 http://ftpmaster.internal quantal/universe TranslationIndex [75 B] Get:9 http://ftpmaster.internal quantal/main Translation-en [718 kB] Get:10 http://ftpmaster.internal quantal/universe Translation-en [3480 kB] Fetched 10.4 MB in 30s (343 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: debconf ifupdown libgcrypt11 libglib2.0-0 libncurses5 libncursesw5 libpcre3 libsqlite3-0 libtinfo5 linux-libc-dev ncurses-base ncurses-bin tzdata 13 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 3633 kB of archives. After this operation, 336 kB disk space will be freed. WARNING: The following packages cannot be authenticated! ncurses-bin ncurses-base debconf libncursesw5 libtinfo5 libncurses5 libsqlite3-0 ifupdown libpcre3 libglib2.0-0 libgcrypt11 tzdata linux-libc-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ quantal/main ncurses-bin armhf 5.9-7 [146 kB] Get:2 http://ftpmaster.internal/ubuntu/ quantal/main ncurses-base all 5.9-7 [21.9 kB] Get:3 http://ftpmaster.internal/ubuntu/ quantal/main debconf all 1.5.43ubuntu1 [146 kB] Get:4 http://ftpmaster.internal/ubuntu/ quantal/main libncursesw5 armhf 5.9-7 [108 kB] Get:5 http://ftpmaster.internal/ubuntu/ quantal/main libtinfo5 armhf 5.9-7 [81.6 kB] Get:6 http://ftpmaster.internal/ubuntu/ quantal/main libncurses5 armhf 5.9-7 [84.8 kB] Get:7 http://ftpmaster.internal/ubuntu/ quantal/main libsqlite3-0 armhf 3.7.11-3 [291 kB] Get:8 http://ftpmaster.internal/ubuntu/ quantal/main ifupdown armhf 0.7~rc2+experimentalubuntu2 [45.9 kB] Get:9 http://ftpmaster.internal/ubuntu/ quantal/main libpcre3 armhf 1:8.30-5 [151 kB] Get:10 http://ftpmaster.internal/ubuntu/ quantal/main libglib2.0-0 armhf 2.33.1-1 [1043 kB] Get:11 http://ftpmaster.internal/ubuntu/ quantal/main libgcrypt11 armhf 1.5.0-3ubuntu1 [266 kB] Get:12 http://ftpmaster.internal/ubuntu/ quantal/main tzdata all 2012c-1 [408 kB] Get:13 http://ftpmaster.internal/ubuntu/ quantal/main linux-libc-dev armhf 3.4.0-2.6 [840 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 3633 kB in 0s (3956 kB/s) (Reading database ... 12139 files and directories currently installed.) Preparing to replace ncurses-bin 5.9-6 (using .../ncurses-bin_5.9-7_armhf.deb) ... Unpacking replacement ncurses-bin ... Setting up ncurses-bin (5.9-7) ... (Reading database ... 12140 files and directories currently installed.) Preparing to replace ncurses-base 5.9-6 (using .../ncurses-base_5.9-7_all.deb) ... Unpacking replacement ncurses-base ... Setting up ncurses-base (5.9-7) ... (Reading database ... 12140 files and directories currently installed.) Preparing to replace debconf 1.5.42ubuntu1 (using .../debconf_1.5.43ubuntu1_all.deb) ... Unpacking replacement debconf ... Setting up debconf (1.5.43ubuntu1) ... (Reading database ... 12138 files and directories currently installed.) Preparing to replace libncursesw5 5.9-6 (using .../libncursesw5_5.9-7_armhf.deb) ... Unpacking replacement libncursesw5 ... Preparing to replace libtinfo5 5.9-6 (using .../libtinfo5_5.9-7_armhf.deb) ... Unpacking replacement libtinfo5 ... Setting up libtinfo5 (5.9-7) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12137 files and directories currently installed.) Preparing to replace libncurses5 5.9-6 (using .../libncurses5_5.9-7_armhf.deb) ... Unpacking replacement libncurses5 ... Setting up libncurses5 (5.9-7) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12133 files and directories currently installed.) Preparing to replace libsqlite3-0 3.7.11-2 (using .../libsqlite3-0_3.7.11-3_armhf.deb) ... Unpacking replacement libsqlite3-0 ... Preparing to replace ifupdown 0.7~rc2+experimentalubuntu1 (using .../ifupdown_0.7~rc2+experimentalubuntu2_armhf.deb) ... Unpacking replacement ifupdown ... Preparing to replace libpcre3 1:8.30-4 (using .../libpcre3_1%3a8.30-5_armhf.deb) ... Unpacking replacement libpcre3 ... Preparing to replace libglib2.0-0 2.32.2-1 (using .../libglib2.0-0_2.33.1-1_armhf.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace libgcrypt11 1.5.0-3 (using .../libgcrypt11_1.5.0-3ubuntu1_armhf.deb) ... Unpacking replacement libgcrypt11 ... Preparing to replace tzdata 2012b-1 (using .../tzdata_2012c-1_all.deb) ... Unpacking replacement tzdata ... Setting up tzdata (2012c-1) ... Current default time zone: 'Etc/UTC' Local time is now: Thu May 17 19:18:47 UTC 2012. Universal Time is now: Thu May 17 19:18:47 UTC 2012. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 12133 files and directories currently installed.) Preparing to replace linux-libc-dev 3.4.0-1.3 (using .../linux-libc-dev_3.4.0-2.6_armhf.deb) ... Unpacking replacement linux-libc-dev ... Setting up libncursesw5 (5.9-7) ... Setting up libsqlite3-0 (3.7.11-3) ... Setting up ifupdown (0.7~rc2+experimentalubuntu2) ... Installing new version of config file /etc/network/if-up.d/upstart ... Setting up libpcre3 (1:8.30-5) ... Setting up libglib2.0-0 (2.33.1-1) ... No schema files found: doing nothing. Setting up libgcrypt11 (1.5.0-3ubuntu1) ... Setting up linux-libc-dev (3.4.0-2.6) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'd82d6fd0251ac3c07133b6d2da8aa326ffdd61e8', 'armhf', 'quantal', '--nolog', '--batch', '--archive=ubuntu', '--dist=quantal', '--purpose=PRIMARY', '--architecture=armhf', '--comp=universe', 'matita_0.99.1-1.dsc'] Initiating build d82d6fd0251ac3c07133b6d2da8aa326ffdd61e8 with 2 jobs across 2 processor cores. Automatic build of matita_0.99.1-1 on nikusui by sbuild/armhf 1.170.5 Build started at 20120517-1918 ****************************************************************************** matita_0.99.1-1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: 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 Checking for already installed source dependencies... ocaml: missing ocaml-findlib: missing libgdome2-ocaml-dev: missing liblablgtk2-ocaml-dev: missing libocamlnet-ocaml-dev: missing libzip-ocaml-dev: missing libhttp-ocaml-dev: missing ocaml-ulex08: missing libexpat-ocaml-dev: missing debhelper: missing camlp5: missing liblablgtksourceview2-ocaml-dev: missing autoconf: missing help2man: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install ocaml ocaml-findlib libgdome2-ocaml-dev liblablgtk2-ocaml-dev libocamlnet-ocaml-dev libzip-ocaml-dev libhttp-ocaml-dev ocaml-ulex08 libexpat-ocaml-dev debhelper camlp5 liblablgtksourceview2-ocaml-dev autoconf help2man Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: aspell aspell-en bsdmainutils dh-apparmor 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-gtk-2.0 gir1.2-pango-1.0 groff-base 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 libenchant-dev libenchant1c2a libexpat-ocaml libexpat1 libexpat1-dev libfindlib-ocaml libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgdome2-0 libgdome2-dev libgdome2-ocaml libgettextpo0 libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-bin libglib2.0-data libglib2.0-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libhunspell-1.3-0 libice-dev libice6 libjasper1 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtksourceview2-ocaml liblocale-gettext-perl libmagic1 libncurses5-dev libocamlnet-ocaml libpango1.0-0 libpango1.0-dev libpcre-ocaml libpcre-ocaml-dev libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libtext-iconv-perl 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 m4 man-db mime-support ocaml-base ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox pkg-config po-debconf python python2.7 shared-mime-info tcl8.5 tk8.5 ttf-dejavu-core ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: aspell-doc spellutils 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 glade glade-gnome libglib2.0-doc 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 tclreadline Recommended packages: automake automaken curl wget lynx-cur enchant hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary 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 dh-apparmor 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-gtk-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 libenchant-dev libenchant1c2a libexpat-ocaml libexpat-ocaml-dev libexpat1 libexpat1-dev libfindlib-ocaml libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgdome2-0 libgdome2-dev libgdome2-ocaml libgdome2-ocaml-dev libgettextpo0 libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-bin libglib2.0-data libglib2.0-dev 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 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblocale-gettext-perl libmagic1 libncurses5-dev libocamlnet-ocaml libocamlnet-ocaml-dev libpango1.0-0 libpango1.0-dev libpcre-ocaml libpcre-ocaml-dev libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libtext-iconv-perl 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 python2.7 shared-mime-info tcl8.5 tk8.5 ttf-dejavu-core ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 181 newly installed, 0 to remove and 0 not upgraded. Need to get 66.2 MB of archives. After this operation, 222 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libexpat1 liblocale-gettext-perl libmagic1 libpopt0 libpipeline1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 libxml2 libatk1.0-data libatk1.0-0 libavahi-common-data libavahi-common3 libavahi-client3 libfreetype6 ucf ttf-dejavu-core fontconfig-config libfontconfig1 libpixman-1-0 libxcb-render0 libxcb-shm0 libxrender1 libcairo2 libcairo-gobject2 libcairo-script-interpreter2 libcroco3 libcups2 libdatrie1 libjpeg-turbo8 libjpeg8 libjasper1 libtiff4 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-0 libunistring0 libgettextpo0 libgtk2.0-common libthai-data libthai0 libxft2 fontconfig libpango1.0-0 libxcomposite1 libxfixes3 libxcursor1 libxdamage1 libxi6 libxinerama1 libxrandr2 shared-mime-info libgtk2.0-0 libglade2-0 libhunspell-1.3-0 x11-common libice6 libpcrecpp0 libsm6 libxss1 file libtext-iconv-perl mime-support python2.7 python bsdmainutils gettext-base libgirepository-1.0-1 gir1.2-glib-2.0 groff-base man-db libaspell15 dictionaries-common aspell aspell-en m4 autoconf html2text gettext intltool-debian po-debconf dh-apparmor debhelper gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-pango-1.0 gir1.2-gtk-2.0 help2man pkg-config libglib2.0-data libglib2.0-bin libpcre3-dev zlib1g-dev libglib2.0-dev libatk1.0-dev libexpat1-dev libfreetype6-dev libfontconfig1-dev xorg-sgml-doctools x11proto-core-dev libxau-dev libxdmcp-dev x11proto-input-dev x11proto-kb-dev xtrans-dev libpthread-stubs0 libpthread-stubs0-dev libxcb1-dev libx11-dev x11proto-render-dev libxrender-dev libpng12-dev libice-dev libsm-dev libpixman-1-dev libxcb-render0-dev libxcb-shm0-dev libcairo2-dev ocaml-base-nox libfindlib-ocaml ocaml-findlib libtinfo-dev libncurses5-dev ocaml-interp ocaml-nox libcryptgps-ocaml-dev libenchant1c2a libenchant-dev libexpat-ocaml libexpat-ocaml-dev libgdk-pixbuf2.0-dev libgdome2-0 libxml2-dev libgdome2-dev libgdome2-ocaml libgdome2-ocaml-dev libxft-dev libpango1.0-dev x11proto-xext-dev libxext-dev x11proto-xinerama-dev libxinerama-dev libxi-dev x11proto-randr-dev libxrandr-dev x11proto-fixes-dev libxfixes-dev libxcursor-dev x11proto-composite-dev libxcomposite-dev x11proto-damage-dev libxdamage-dev libxml2-utils libgtk2.0-dev libglade2-dev libgtksourceview2.0-common libgtksourceview2.0-0 libgtksourceview2.0-dev libgtkspell0 libgtkspell-dev libpcre-ocaml libocamlnet-ocaml libpcre-ocaml-dev libocamlnet-ocaml-dev libhttp-ocaml-dev liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev libzip-ocaml libzip-ocaml-dev tcl8.5 tk8.5 ocaml-base ocaml ocaml-compiler-libs camlp5 ocaml-ulex08 Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ quantal/main libexpat1 armhf 2.1.0-1 [99.0 kB] Get:2 http://ftpmaster.internal/ubuntu/ quantal/main liblocale-gettext-perl armhf 1.05-7build1 [18.5 kB] Get:3 http://ftpmaster.internal/ubuntu/ quantal/main libmagic1 armhf 5.11-1 [216 kB] Get:4 http://ftpmaster.internal/ubuntu/ quantal/main libpopt0 armhf 1.16-3ubuntu1 [26.1 kB] Get:5 http://ftpmaster.internal/ubuntu/ quantal/main libpipeline1 armhf 1.2.1-1 [20.8 kB] Get:6 http://ftpmaster.internal/ubuntu/ quantal/main libxau6 armhf 1:1.0.7-1 [7394 B] Get:7 http://ftpmaster.internal/ubuntu/ quantal/main libxdmcp6 armhf 1:1.1.1-1 [11.2 kB] Get:8 http://ftpmaster.internal/ubuntu/ quantal/main libxcb1 armhf 1.8.1-1 [35.4 kB] Get:9 http://ftpmaster.internal/ubuntu/ quantal/main libx11-data all 2:1.4.99.1-0ubuntu2 [168 kB] Get:10 http://ftpmaster.internal/ubuntu/ quantal/main libx11-6 armhf 2:1.4.99.1-0ubuntu2 [681 kB] Get:11 http://ftpmaster.internal/ubuntu/ quantal/main libxext6 armhf 2:1.3.1-2 [26.8 kB] Get:12 http://ftpmaster.internal/ubuntu/ quantal/main libxml2 armhf 2.7.8.dfsg-5.1ubuntu4 [549 kB] Get:13 http://ftpmaster.internal/ubuntu/ quantal/main libatk1.0-data all 2.4.0-2 [12.8 kB] Get:14 http://ftpmaster.internal/ubuntu/ quantal/main libatk1.0-0 armhf 2.4.0-2 [50.7 kB] Get:15 http://ftpmaster.internal/ubuntu/ quantal/main libavahi-common-data armhf 0.6.30-5ubuntu2 [22.2 kB] Get:16 http://ftpmaster.internal/ubuntu/ quantal/main libavahi-common3 armhf 0.6.30-5ubuntu2 [22.8 kB] Get:17 http://ftpmaster.internal/ubuntu/ quantal/main libavahi-client3 armhf 0.6.30-5ubuntu2 [25.6 kB] Get:18 http://ftpmaster.internal/ubuntu/ quantal/main libfreetype6 armhf 2.4.8-1ubuntu2 [272 kB] Get:19 http://ftpmaster.internal/ubuntu/ quantal/main ucf all 3.0025+nmu3 [55.0 kB] Get:20 http://ftpmaster.internal/ubuntu/ quantal/main ttf-dejavu-core all 2.33-2ubuntu1 [1552 kB] Get:21 http://ftpmaster.internal/ubuntu/ quantal/main fontconfig-config all 2.8.0-3ubuntu9 [44.4 kB] Get:22 http://ftpmaster.internal/ubuntu/ quantal/main libfontconfig1 armhf 2.8.0-3ubuntu9 [105 kB] Get:23 http://ftpmaster.internal/ubuntu/ quantal/main libpixman-1-0 armhf 0.24.4-1 [208 kB] Get:24 http://ftpmaster.internal/ubuntu/ quantal/main libxcb-render0 armhf 1.8.1-1 [11.0 kB] Get:25 http://ftpmaster.internal/ubuntu/ quantal/main libxcb-shm0 armhf 1.8.1-1 [5170 B] Get:26 http://ftpmaster.internal/ubuntu/ quantal/main libxrender1 armhf 1:0.9.7-1 [16.7 kB] Get:27 http://ftpmaster.internal/ubuntu/ quantal/main libcairo2 armhf 1.12.2-1ubuntu1 [490 kB] Get:28 http://ftpmaster.internal/ubuntu/ quantal/main libcairo-gobject2 armhf 1.12.2-1ubuntu1 [19.2 kB] Get:29 http://ftpmaster.internal/ubuntu/ quantal/main libcairo-script-interpreter2 armhf 1.12.2-1ubuntu1 [49.8 kB] Get:30 http://ftpmaster.internal/ubuntu/ quantal/main libcroco3 armhf 0.6.5-1 [82.1 kB] Get:31 http://ftpmaster.internal/ubuntu/ quantal/main libcups2 armhf 1.5.2-9ubuntu1 [146 kB] Get:32 http://ftpmaster.internal/ubuntu/ quantal/main libdatrie1 armhf 0.2.5-3 [13.0 kB] Get:33 http://ftpmaster.internal/ubuntu/ quantal/main libjpeg-turbo8 armhf 1.1.90+svn733-0ubuntu4 [83.4 kB] Get:34 http://ftpmaster.internal/ubuntu/ quantal/main libjpeg8 armhf 8c-2ubuntu7 [2118 B] Get:35 http://ftpmaster.internal/ubuntu/ quantal/main libjasper1 armhf 1.900.1-13 [129 kB] Get:36 http://ftpmaster.internal/ubuntu/ quantal/main libtiff4 armhf 3.9.5-2ubuntu1 [121 kB] Get:37 http://ftpmaster.internal/ubuntu/ quantal/main libgdk-pixbuf2.0-common all 2.26.1-1 [7818 B] Get:38 http://ftpmaster.internal/ubuntu/ quantal/main libgdk-pixbuf2.0-0 armhf 2.26.1-1 [168 kB] Get:39 http://ftpmaster.internal/ubuntu/ quantal/main libunistring0 armhf 0.9.3-5 [393 kB] Get:40 http://ftpmaster.internal/ubuntu/ quantal/main libgettextpo0 armhf 0.18.1.1-5ubuntu3 [99.4 kB] Get:41 http://ftpmaster.internal/ubuntu/ quantal/main libgtk2.0-common all 2.24.10-0ubuntu6 [119 kB] Get:42 http://ftpmaster.internal/ubuntu/ quantal/main libthai-data all 0.1.17-1 [180 kB] Get:43 http://ftpmaster.internal/ubuntu/ quantal/main libthai0 armhf 0.1.17-1 [16.1 kB] Get:44 http://ftpmaster.internal/ubuntu/ quantal/main libxft2 armhf 2.2.0-3ubuntu2 [34.8 kB] Get:45 http://ftpmaster.internal/ubuntu/ quantal/main fontconfig armhf 2.8.0-3ubuntu9 [154 kB] Get:46 http://ftpmaster.internal/ubuntu/ quantal/main libpango1.0-0 armhf 1.30.0-0ubuntu2 [302 kB] Get:47 http://ftpmaster.internal/ubuntu/ quantal/main libxcomposite1 armhf 1:0.4.3-2build1 [6958 B] Get:48 http://ftpmaster.internal/ubuntu/ quantal/main libxfixes3 armhf 1:5.0-4ubuntu4 [10.4 kB] Get:49 http://ftpmaster.internal/ubuntu/ quantal/main libxcursor1 armhf 1:1.1.13-1 [19.0 kB] Get:50 http://ftpmaster.internal/ubuntu/ quantal/main libxdamage1 armhf 1:1.1.3-2build1 [6728 B] Get:51 http://ftpmaster.internal/ubuntu/ quantal/main libxi6 armhf 2:1.6.0-0ubuntu2 [24.3 kB] Get:52 http://ftpmaster.internal/ubuntu/ quantal/main libxinerama1 armhf 2:1.1.2-1 [7412 B] Get:53 http://ftpmaster.internal/ubuntu/ quantal/main libxrandr2 armhf 2:1.3.2-2 [14.6 kB] Get:54 http://ftpmaster.internal/ubuntu/ quantal/main shared-mime-info armhf 1.0-0ubuntu4 [495 kB] Get:55 http://ftpmaster.internal/ubuntu/ quantal/main libgtk2.0-0 armhf 2.24.10-0ubuntu6 [2277 kB] Get:56 http://ftpmaster.internal/ubuntu/ quantal/main libglade2-0 armhf 1:2.6.4-1ubuntu1 [45.6 kB] Get:57 http://ftpmaster.internal/ubuntu/ quantal/main libhunspell-1.3-0 armhf 1.3.2-4 [128 kB] Get:58 http://ftpmaster.internal/ubuntu/ quantal/main x11-common all 1:7.6+12ubuntu1 [57.7 kB] Get:59 http://ftpmaster.internal/ubuntu/ quantal/main libice6 armhf 2:1.0.8-2 [38.2 kB] Get:60 http://ftpmaster.internal/ubuntu/ quantal/main libpcrecpp0 armhf 1:8.30-5 [13.4 kB] Get:61 http://ftpmaster.internal/ubuntu/ quantal/main libsm6 armhf 2:1.2.1-2 [15.4 kB] Get:62 http://ftpmaster.internal/ubuntu/ quantal/main libxss1 armhf 1:1.2.2-1 [7652 B] Get:63 http://ftpmaster.internal/ubuntu/ quantal/main file armhf 5.11-1 [19.5 kB] Get:64 http://ftpmaster.internal/ubuntu/ quantal/main libtext-iconv-perl armhf 1.7-5 [14.5 kB] Get:65 http://ftpmaster.internal/ubuntu/ quantal/main mime-support all 3.51-1ubuntu1 [30.7 kB] Get:66 http://ftpmaster.internal/ubuntu/ quantal/main python2.7 armhf 2.7.3-0ubuntu3 [2586 kB] Get:67 http://ftpmaster.internal/ubuntu/ quantal/main python armhf 2.7.3-0ubuntu3 [167 kB] Get:68 http://ftpmaster.internal/ubuntu/ quantal/main bsdmainutils armhf 8.2.3ubuntu1 [194 kB] Get:69 http://ftpmaster.internal/ubuntu/ quantal/main gettext-base armhf 0.18.1.1-5ubuntu3 [54.7 kB] Get:70 http://ftpmaster.internal/ubuntu/ quantal/main libgirepository-1.0-1 armhf 1.32.1-1 [85.8 kB] Get:71 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-glib-2.0 armhf 1.32.1-1 [156 kB] Get:72 http://ftpmaster.internal/ubuntu/ quantal/main groff-base armhf 1.21-7 [921 kB] Get:73 http://ftpmaster.internal/ubuntu/ quantal/main man-db armhf 2.6.1-2 [701 kB] Get:74 http://ftpmaster.internal/ubuntu/ quantal/main libaspell15 armhf 0.60.7~20110707-1 [542 kB] Get:75 http://ftpmaster.internal/ubuntu/ quantal/main dictionaries-common all 1.12.5 [246 kB] Get:76 http://ftpmaster.internal/ubuntu/ quantal/main aspell armhf 0.60.7~20110707-1 [81.8 kB] Get:77 http://ftpmaster.internal/ubuntu/ quantal/main aspell-en all 6.0-0-6ubuntu2 [250 kB] Get:78 http://ftpmaster.internal/ubuntu/ quantal/main m4 armhf 1.4.16-2ubuntu1 [182 kB] Get:79 http://ftpmaster.internal/ubuntu/ quantal/main autoconf all 2.68-1ubuntu2 [560 kB] Get:80 http://ftpmaster.internal/ubuntu/ quantal/main html2text armhf 1.3.2a-15 [85.8 kB] Get:81 http://ftpmaster.internal/ubuntu/ quantal/main gettext armhf 0.18.1.1-5ubuntu3 [1050 kB] Get:82 http://ftpmaster.internal/ubuntu/ quantal/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:83 http://ftpmaster.internal/ubuntu/ quantal/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:84 http://ftpmaster.internal/ubuntu/ quantal/main dh-apparmor all 2.7.102-0ubuntu3 [9622 B] Get:85 http://ftpmaster.internal/ubuntu/ quantal/main debhelper all 9.20120419ubuntu2 [609 kB] Get:86 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-atk-1.0 armhf 2.4.0-2 [20.5 kB] Get:87 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-freedesktop armhf 1.32.1-1 [6198 B] Get:88 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-gdkpixbuf-2.0 armhf 2.26.1-1 [8856 B] Get:89 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-pango-1.0 armhf 1.30.0-0ubuntu2 [22.7 kB] Get:90 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-gtk-2.0 armhf 2.24.10-0ubuntu6 [244 kB] Get:91 http://ftpmaster.internal/ubuntu/ quantal/main help2man armhf 1.40.4ubuntu1 [53.6 kB] Get:92 http://ftpmaster.internal/ubuntu/ quantal/main pkg-config armhf 0.26-1ubuntu1 [37.5 kB] Get:93 http://ftpmaster.internal/ubuntu/ quantal/main libglib2.0-data all 2.33.1-1 [88.0 kB] Get:94 http://ftpmaster.internal/ubuntu/ quantal/main libglib2.0-bin armhf 2.33.1-1 [38.6 kB] Get:95 http://ftpmaster.internal/ubuntu/ quantal/main libpcre3-dev armhf 1:8.30-5 [247 kB] Get:96 http://ftpmaster.internal/ubuntu/ quantal/main zlib1g-dev armhf 1:1.2.3.4.dfsg-3ubuntu4 [158 kB] Get:97 http://ftpmaster.internal/ubuntu/ quantal/main libglib2.0-dev armhf 2.33.1-1 [1558 kB] Get:98 http://ftpmaster.internal/ubuntu/ quantal/main libatk1.0-dev armhf 2.4.0-2 [71.5 kB] Get:99 http://ftpmaster.internal/ubuntu/ quantal/main libexpat1-dev armhf 2.1.0-1 [179 kB] Get:100 http://ftpmaster.internal/ubuntu/ quantal/main libfreetype6-dev armhf 2.4.8-1ubuntu2 [713 kB] Get:101 http://ftpmaster.internal/ubuntu/ quantal/main libfontconfig1-dev armhf 2.8.0-3ubuntu9 [635 kB] Get:102 http://ftpmaster.internal/ubuntu/ quantal/main xorg-sgml-doctools all 1:1.10-1 [12.0 kB] Get:103 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-core-dev all 7.0.22-1 [299 kB] Get:104 http://ftpmaster.internal/ubuntu/ quantal/main libxau-dev armhf 1:1.0.7-1 [9218 B] Get:105 http://ftpmaster.internal/ubuntu/ quantal/main libxdmcp-dev armhf 1:1.1.1-1 [25.3 kB] Get:106 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-input-dev all 2.2-1 [133 kB] Get:107 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-kb-dev all 1.0.6-1 [273 kB] Get:108 http://ftpmaster.internal/ubuntu/ quantal/main xtrans-dev all 1.2.7-1 [84.3 kB] Get:109 http://ftpmaster.internal/ubuntu/ quantal/main libpthread-stubs0 armhf 0.3-3 [3266 B] Get:110 http://ftpmaster.internal/ubuntu/ quantal/main libpthread-stubs0-dev armhf 0.3-3 [2884 B] Get:111 http://ftpmaster.internal/ubuntu/ quantal/main libxcb1-dev armhf 1.8.1-1 [74.7 kB] Get:112 http://ftpmaster.internal/ubuntu/ quantal/main libx11-dev armhf 2:1.4.99.1-0ubuntu2 [802 kB] Get:113 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:114 http://ftpmaster.internal/ubuntu/ quantal/main libxrender-dev armhf 1:0.9.7-1 [23.4 kB] Get:115 http://ftpmaster.internal/ubuntu/ quantal/main libpng12-dev armhf 1.2.46-3ubuntu4 [197 kB] Get:116 http://ftpmaster.internal/ubuntu/ quantal/main libice-dev armhf 2:1.0.8-2 [47.8 kB] Get:117 http://ftpmaster.internal/ubuntu/ quantal/main libsm-dev armhf 2:1.2.1-2 [16.4 kB] Get:118 http://ftpmaster.internal/ubuntu/ quantal/main libpixman-1-dev armhf 0.24.4-1 [233 kB] Get:119 http://ftpmaster.internal/ubuntu/ quantal/main libxcb-render0-dev armhf 1.8.1-1 [19.5 kB] Get:120 http://ftpmaster.internal/ubuntu/ quantal/main libxcb-shm0-dev armhf 1.8.1-1 [6764 B] Get:121 http://ftpmaster.internal/ubuntu/ quantal/main libcairo2-dev armhf 1.12.2-1ubuntu1 [594 kB] Get:122 http://ftpmaster.internal/ubuntu/ quantal/main ocaml-base-nox armhf 3.12.1-2ubuntu3 [426 kB] Get:123 http://ftpmaster.internal/ubuntu/ quantal/main libfindlib-ocaml armhf 1.2.8+debian-1 [95.2 kB] Get:124 http://ftpmaster.internal/ubuntu/ quantal/main ocaml-findlib armhf 1.2.8+debian-1 [222 kB] Get:125 http://ftpmaster.internal/ubuntu/ quantal/main libtinfo-dev armhf 5.9-7 [84.6 kB] Get:126 http://ftpmaster.internal/ubuntu/ quantal/main libncurses5-dev armhf 5.9-7 [190 kB] Get:127 http://ftpmaster.internal/ubuntu/ quantal/main ocaml-interp armhf 3.12.1-2ubuntu3 [256 kB] Get:128 http://ftpmaster.internal/ubuntu/ quantal/main ocaml-nox armhf 3.12.1-2ubuntu3 [6989 kB] Get:129 http://ftpmaster.internal/ubuntu/ quantal/universe libcryptgps-ocaml-dev armhf 0.2.1-7build4 [186 kB] Get:130 http://ftpmaster.internal/ubuntu/ quantal/main libenchant1c2a armhf 1.6.0-7 [63.4 kB] Get:131 http://ftpmaster.internal/ubuntu/ quantal/main libenchant-dev armhf 1.6.0-7 [54.2 kB] Get:132 http://ftpmaster.internal/ubuntu/ quantal/universe libexpat-ocaml armhf 0.9.1+debian1-7build4 [8636 B] Get:133 http://ftpmaster.internal/ubuntu/ quantal/universe libexpat-ocaml-dev armhf 0.9.1+debian1-7build4 [23.9 kB] Get:134 http://ftpmaster.internal/ubuntu/ quantal/main libgdk-pixbuf2.0-dev armhf 2.26.1-1 [50.2 kB] Get:135 http://ftpmaster.internal/ubuntu/ quantal/universe libgdome2-0 armhf 0.8.1+debian-4.1build1 [64.2 kB] Get:136 http://ftpmaster.internal/ubuntu/ quantal/main libxml2-dev armhf 2.7.8.dfsg-5.1ubuntu4 [652 kB] Get:137 http://ftpmaster.internal/ubuntu/ quantal/universe libgdome2-dev armhf 0.8.1+debian-4.1build1 [243 kB] Get:138 http://ftpmaster.internal/ubuntu/ quantal/universe libgdome2-ocaml armhf 0.2.6-6build2 [23.4 kB] Get:139 http://ftpmaster.internal/ubuntu/ quantal/universe libgdome2-ocaml-dev armhf 0.2.6-6build2 [312 kB] Get:140 http://ftpmaster.internal/ubuntu/ quantal/main libxft-dev armhf 2.2.0-3ubuntu2 [46.0 kB] Get:141 http://ftpmaster.internal/ubuntu/ quantal/main libpango1.0-dev armhf 1.30.0-0ubuntu2 [424 kB] Get:142 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-xext-dev all 7.2.1-1 [265 kB] Get:143 http://ftpmaster.internal/ubuntu/ quantal/main libxext-dev armhf 2:1.3.1-2 [84.8 kB] Get:144 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:145 http://ftpmaster.internal/ubuntu/ quantal/main libxinerama-dev armhf 2:1.1.2-1 [7940 B] Get:146 http://ftpmaster.internal/ubuntu/ quantal/main libxi-dev armhf 2:1.6.0-0ubuntu2 [197 kB] Get:147 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-randr-dev all 1.4.0+git20101207.0d32bb07-0ubuntu2 [32.0 kB] Get:148 http://ftpmaster.internal/ubuntu/ quantal/main libxrandr-dev armhf 2:1.3.2-2 [21.8 kB] Get:149 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-fixes-dev all 1:5.0-2ubuntu1 [15.5 kB] Get:150 http://ftpmaster.internal/ubuntu/ quantal/main libxfixes-dev armhf 1:5.0-4ubuntu4 [10.9 kB] Get:151 http://ftpmaster.internal/ubuntu/ quantal/main libxcursor-dev armhf 1:1.1.13-1 [25.6 kB] Get:152 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:153 http://ftpmaster.internal/ubuntu/ quantal/main libxcomposite-dev armhf 1:0.4.3-2build1 [9060 B] Get:154 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:155 http://ftpmaster.internal/ubuntu/ quantal/main libxdamage-dev armhf 1:1.1.3-2build1 [4826 B] Get:156 http://ftpmaster.internal/ubuntu/ quantal/main libxml2-utils armhf 2.7.8.dfsg-5.1ubuntu4 [37.0 kB] Get:157 http://ftpmaster.internal/ubuntu/ quantal/main libgtk2.0-dev armhf 2.24.10-0ubuntu6 [3341 kB] Get:158 http://ftpmaster.internal/ubuntu/ quantal/main libglade2-dev armhf 1:2.6.4-1ubuntu1 [85.1 kB] Get:159 http://ftpmaster.internal/ubuntu/ quantal/universe libgtksourceview2.0-common all 2.10.5-0ubuntu3 [134 kB] Get:160 http://ftpmaster.internal/ubuntu/ quantal/universe libgtksourceview2.0-0 armhf 2.10.5-0ubuntu3 [144 kB] Get:161 http://ftpmaster.internal/ubuntu/ quantal/universe libgtksourceview2.0-dev armhf 2.10.5-0ubuntu3 [193 kB] Get:162 http://ftpmaster.internal/ubuntu/ quantal/main libgtkspell0 armhf 2.0.16-1ubuntu5 [10.6 kB] Get:163 http://ftpmaster.internal/ubuntu/ quantal/main libgtkspell-dev armhf 2.0.16-1ubuntu5 [24.5 kB] Get:164 http://ftpmaster.internal/ubuntu/ quantal/universe libpcre-ocaml armhf 6.2.5-1 [8912 B] Get:165 http://ftpmaster.internal/ubuntu/ quantal/universe libocamlnet-ocaml armhf 3.5.1-1 [35.4 kB] Get:166 http://ftpmaster.internal/ubuntu/ quantal/universe libpcre-ocaml-dev armhf 6.2.5-1 [131 kB] Get:167 http://ftpmaster.internal/ubuntu/ quantal/universe libocamlnet-ocaml-dev armhf 3.5.1-1 [12.7 MB] Get:168 http://ftpmaster.internal/ubuntu/ quantal/universe libhttp-ocaml-dev armhf 0.1.5-1build1 [193 kB] Get:169 http://ftpmaster.internal/ubuntu/ quantal/universe liblablgtk2-ocaml armhf 2.14.2+dfsg-2build1 [286 kB] Get:170 http://ftpmaster.internal/ubuntu/ quantal/universe liblablgtk2-ocaml-dev armhf 2.14.2+dfsg-2build1 [2045 kB] Get:171 http://ftpmaster.internal/ubuntu/ quantal/universe liblablgtksourceview2-ocaml armhf 2.14.2+dfsg-2build1 [26.7 kB] Get:172 http://ftpmaster.internal/ubuntu/ quantal/universe liblablgtksourceview2-ocaml-dev armhf 2.14.2+dfsg-2build1 [92.7 kB] Get:173 http://ftpmaster.internal/ubuntu/ quantal/universe libzip-ocaml armhf 1.04-6build4 [81.0 kB] Get:174 http://ftpmaster.internal/ubuntu/ quantal/universe libzip-ocaml-dev armhf 1.04-6build4 [40.4 kB] Get:175 http://ftpmaster.internal/ubuntu/ quantal/main tcl8.5 armhf 8.5.11-1ubuntu1 [1001 kB] Get:176 http://ftpmaster.internal/ubuntu/ quantal/main tk8.5 armhf 8.5.11-1 [898 kB] Get:177 http://ftpmaster.internal/ubuntu/ quantal/main ocaml-base armhf 3.12.1-2ubuntu3 [39.8 kB] Get:178 http://ftpmaster.internal/ubuntu/ quantal/main ocaml armhf 3.12.1-2ubuntu3 [2113 kB] Get:179 http://ftpmaster.internal/ubuntu/ quantal/main ocaml-compiler-libs armhf 3.12.1-2ubuntu3 [1168 kB] Get:180 http://ftpmaster.internal/ubuntu/ quantal/main camlp5 armhf 6.05-1 [4424 kB] Get:181 http://ftpmaster.internal/ubuntu/ quantal/universe ocaml-ulex08 armhf 0.8-10 [41.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 66.2 MB in 18s (3496 kB/s) Selecting previously unselected package libexpat1. (Reading database ... 12133 files and directories currently installed.) Unpacking libexpat1 (from .../libexpat1_2.1.0-1_armhf.deb) ... Selecting previously unselected package liblocale-gettext-perl. Unpacking liblocale-gettext-perl (from .../liblocale-gettext-perl_1.05-7build1_armhf.deb) ... Selecting previously unselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.11-1_armhf.deb) ... Selecting previously unselected package libpopt0. Unpacking libpopt0 (from .../libpopt0_1.16-3ubuntu1_armhf.deb) ... Selecting previously unselected package libpipeline1. Unpacking libpipeline1 (from .../libpipeline1_1.2.1-1_armhf.deb) ... Selecting previously unselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.7-1_armhf.deb) ... Selecting previously unselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.8.1-1_armhf.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.4.99.1-0ubuntu2_all.deb) ... Selecting previously unselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.4.99.1-0ubuntu2_armhf.deb) ... Selecting previously unselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.3.1-2_armhf.deb) ... Selecting previously unselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-5.1ubuntu4_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. Unpacking libatk1.0-0 (from .../libatk1.0-0_2.4.0-2_armhf.deb) ... Selecting previously unselected package libavahi-common-data. Unpacking libavahi-common-data (from .../libavahi-common-data_0.6.30-5ubuntu2_armhf.deb) ... Selecting previously unselected package libavahi-common3. Unpacking libavahi-common3 (from .../libavahi-common3_0.6.30-5ubuntu2_armhf.deb) ... Selecting previously unselected package libavahi-client3. Unpacking libavahi-client3 (from .../libavahi-client3_0.6.30-5ubuntu2_armhf.deb) ... Selecting previously unselected package libfreetype6. Unpacking libfreetype6 (from .../libfreetype6_2.4.8-1ubuntu2_armhf.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ... Moving old data out of the way Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2ubuntu1_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-3ubuntu9_all.deb) ... Selecting previously unselected package libfontconfig1. Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-3ubuntu9_armhf.deb) ... Selecting previously unselected package libpixman-1-0. Unpacking libpixman-1-0 (from .../libpixman-1-0_0.24.4-1_armhf.deb) ... Selecting previously unselected package libxcb-render0. Unpacking libxcb-render0 (from .../libxcb-render0_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxcb-shm0. Unpacking libxcb-shm0 (from .../libxcb-shm0_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxrender1. Unpacking libxrender1 (from .../libxrender1_1%3a0.9.7-1_armhf.deb) ... Selecting previously unselected package libcairo2. Unpacking libcairo2 (from .../libcairo2_1.12.2-1ubuntu1_armhf.deb) ... Selecting previously unselected package libcairo-gobject2. Unpacking libcairo-gobject2 (from .../libcairo-gobject2_1.12.2-1ubuntu1_armhf.deb) ... Selecting previously unselected package libcairo-script-interpreter2. Unpacking libcairo-script-interpreter2 (from .../libcairo-script-interpreter2_1.12.2-1ubuntu1_armhf.deb) ... Selecting previously unselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.5-1_armhf.deb) ... Selecting previously unselected package libcups2. Unpacking libcups2 (from .../libcups2_1.5.2-9ubuntu1_armhf.deb) ... Selecting previously unselected package libdatrie1. Unpacking libdatrie1 (from .../libdatrie1_0.2.5-3_armhf.deb) ... Selecting previously unselected package libjpeg-turbo8. Unpacking libjpeg-turbo8 (from .../libjpeg-turbo8_1.1.90+svn733-0ubuntu4_armhf.deb) ... Selecting previously unselected package libjpeg8. Unpacking libjpeg8 (from .../libjpeg8_8c-2ubuntu7_armhf.deb) ... Selecting previously unselected package libjasper1. Unpacking libjasper1 (from .../libjasper1_1.900.1-13_armhf.deb) ... Selecting previously unselected package libtiff4. Unpacking libtiff4 (from .../libtiff4_3.9.5-2ubuntu1_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. Unpacking libgdk-pixbuf2.0-0 (from .../libgdk-pixbuf2.0-0_2.26.1-1_armhf.deb) ... Selecting previously unselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package libgettextpo0. Unpacking libgettextpo0 (from .../libgettextpo0_0.18.1.1-5ubuntu3_armhf.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.10-0ubuntu6_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. Unpacking libthai0 (from .../libthai0_0.1.17-1_armhf.deb) ... Selecting previously unselected package libxft2. Unpacking libxft2 (from .../libxft2_2.2.0-3ubuntu2_armhf.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.8.0-3ubuntu9_armhf.deb) ... Selecting previously unselected package libpango1.0-0. Unpacking libpango1.0-0 (from .../libpango1.0-0_1.30.0-0ubuntu2_armhf.deb) ... Selecting previously unselected package libxcomposite1. Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.3-2build1_armhf.deb) ... Selecting previously unselected package libxfixes3. Unpacking libxfixes3 (from .../libxfixes3_1%3a5.0-4ubuntu4_armhf.deb) ... Selecting previously unselected package libxcursor1. Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.13-1_armhf.deb) ... Selecting previously unselected package libxdamage1. Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.3-2build1_armhf.deb) ... Selecting previously unselected package libxi6. Unpacking libxi6 (from .../libxi6_2%3a1.6.0-0ubuntu2_armhf.deb) ... Selecting previously unselected package libxinerama1. Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1.2-1_armhf.deb) ... Selecting previously unselected package libxrandr2. Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.2-2_armhf.deb) ... Selecting previously unselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_1.0-0ubuntu4_armhf.deb) ... Selecting previously unselected package libgtk2.0-0. Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.24.10-0ubuntu6_armhf.deb) ... Selecting previously unselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1ubuntu1_armhf.deb) ... Selecting previously unselected package libhunspell-1.3-0. Unpacking libhunspell-1.3-0 (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+12ubuntu1_all.deb) ... Selecting previously unselected package libice6. Unpacking libice6 (from .../libice6_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libpcrecpp0. Unpacking libpcrecpp0 (from .../libpcrecpp0_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package libxss1. Unpacking libxss1 (from .../libxss1_1%3a1.2.2-1_armhf.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_armhf.deb) ... Selecting previously unselected package libtext-iconv-perl. Unpacking libtext-iconv-perl (from .../libtext-iconv-perl_1.7-5_armhf.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.51-1ubuntu1_all.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.3-0ubuntu3_armhf.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.3-0ubuntu3_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3ubuntu1_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5ubuntu3_armhf.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 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 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_6.0-0-6ubuntu2_all.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../m4_1.4.16-2ubuntu1_armhf.deb) ... Selecting previously unselected package autoconf. Unpacking autoconf (from .../autoconf_2.68-1ubuntu2_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-5ubuntu3_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+nmu2ubuntu1_all.deb) ... Selecting previously unselected package dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.7.102-0ubuntu3_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120419ubuntu2_all.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-0ubuntu2_armhf.deb) ... Selecting previously unselected package gir1.2-gtk-2.0. Unpacking gir1.2-gtk-2.0 (from .../gir1.2-gtk-2.0_2.24.10-0ubuntu6_armhf.deb) ... Selecting previously unselected package help2man. Unpacking help2man (from .../help2man_1.40.4ubuntu1_armhf.deb) ... Selecting previously unselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.26-1ubuntu1_armhf.deb) ... Selecting previously unselected package libglib2.0-data. Unpacking libglib2.0-data (from .../libglib2.0-data_2.33.1-1_all.deb) ... Selecting previously unselected package libglib2.0-bin. Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.33.1-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. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3ubuntu4_armhf.deb) ... Selecting previously unselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.33.1-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.8-1ubuntu2_armhf.deb) ... Selecting previously unselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.8.0-3ubuntu9_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.22-1_all.deb) ... Selecting previously unselected package libxau-dev. Unpacking libxau-dev (from .../libxau-dev_1%3a1.0.7-1_armhf.deb) ... Selecting previously unselected package libxdmcp-dev. Unpacking libxdmcp-dev (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. Unpacking libpthread-stubs0 (from .../libpthread-stubs0_0.3-3_armhf.deb) ... Selecting previously unselected package libpthread-stubs0-dev. Unpacking libpthread-stubs0-dev (from .../libpthread-stubs0-dev_0.3-3_armhf.deb) ... Selecting previously unselected package libxcb1-dev. Unpacking libxcb1-dev (from .../libxcb1-dev_1.8.1-1_armhf.deb) ... Selecting previously unselected package libx11-dev. Unpacking libx11-dev (from .../libx11-dev_2%3a1.4.99.1-0ubuntu2_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. Unpacking libxrender-dev (from .../libxrender-dev_1%3a0.9.7-1_armhf.deb) ... Selecting previously unselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.46-3ubuntu4_armhf.deb) ... Selecting previously unselected package libice-dev. Unpacking libice-dev (from .../libice-dev_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libsm-dev. Unpacking libsm-dev (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. Unpacking libxcb-render0-dev (from .../libxcb-render0-dev_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxcb-shm0-dev. Unpacking libxcb-shm0-dev (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-1ubuntu1_armhf.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-2ubuntu3_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. Unpacking libtinfo-dev (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-2ubuntu3_armhf.deb) ... Selecting previously unselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-2ubuntu3_armhf.deb) ... Selecting previously unselected package libcryptgps-ocaml-dev. Unpacking libcryptgps-ocaml-dev (from .../libcryptgps-ocaml-dev_0.2.1-7build4_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-7build4_armhf.deb) ... Selecting previously unselected package libexpat-ocaml-dev. Unpacking libexpat-ocaml-dev (from .../libexpat-ocaml-dev_0.9.1+debian1-7build4_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.1build1_armhf.deb) ... Selecting previously unselected package libxml2-dev. Unpacking libxml2-dev (from .../libxml2-dev_2.7.8.dfsg-5.1ubuntu4_armhf.deb) ... Selecting previously unselected package libgdome2-dev. Unpacking libgdome2-dev (from .../libgdome2-dev_0.8.1+debian-4.1build1_armhf.deb) ... Selecting previously unselected package libgdome2-ocaml. Unpacking libgdome2-ocaml (from .../libgdome2-ocaml_0.2.6-6build2_armhf.deb) ... Selecting previously unselected package libgdome2-ocaml-dev. Unpacking libgdome2-ocaml-dev (from .../libgdome2-ocaml-dev_0.2.6-6build2_armhf.deb) ... Selecting previously unselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.2.0-3ubuntu2_armhf.deb) ... Selecting previously unselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.30.0-0ubuntu2_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. Unpacking libxext-dev (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. Unpacking libxinerama-dev (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-0ubuntu2_armhf.deb) ... Selecting previously unselected package x11proto-randr-dev. Unpacking x11proto-randr-dev (from .../x11proto-randr-dev_1.4.0+git20101207.0d32bb07-0ubuntu2_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-2ubuntu1_all.deb) ... Selecting previously unselected package libxfixes-dev. Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a5.0-4ubuntu4_armhf.deb) ... Selecting previously unselected package libxcursor-dev. Unpacking libxcursor-dev (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-2build1_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-2build1_armhf.deb) ... Selecting previously unselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.7.8.dfsg-5.1ubuntu4_armhf.deb) ... Selecting previously unselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.10-0ubuntu6_armhf.deb) ... Selecting previously unselected package libglade2-dev. Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1ubuntu1_armhf.deb) ... Selecting previously unselected package libgtksourceview2.0-common. Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.5-0ubuntu3_all.deb) ... Selecting previously unselected package libgtksourceview2.0-0. Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.5-0ubuntu3_armhf.deb) ... Selecting previously unselected package libgtksourceview2.0-dev. Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.5-0ubuntu3_armhf.deb) ... Selecting previously unselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1ubuntu5_armhf.deb) ... Selecting previously unselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1ubuntu5_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-1build1_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-2build1_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-2build1_armhf.deb) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.14.2+dfsg-2build1_armhf.deb) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_2.14.2+dfsg-2build1_armhf.deb) ... Selecting previously unselected package libzip-ocaml. Unpacking libzip-ocaml (from .../libzip-ocaml_1.04-6build4_armhf.deb) ... Selecting previously unselected package libzip-ocaml-dev. Unpacking libzip-ocaml-dev (from .../libzip-ocaml-dev_1.04-6build4_armhf.deb) ... Selecting previously unselected package tcl8.5. Unpacking tcl8.5 (from .../tcl8.5_8.5.11-1ubuntu1_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-2ubuntu3_armhf.deb) ... Selecting previously unselected package ocaml. Unpacking ocaml (from .../ocaml_3.12.1-2ubuntu3_armhf.deb) ... Selecting previously unselected package ocaml-compiler-libs. Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_3.12.1-2ubuntu3_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) ... Processing triggers for libglib2.0-0 ... No schema files found: doing nothing. Setting up libexpat1 (2.1.0-1) ... Setting up liblocale-gettext-perl (1.05-7build1) ... Setting up libmagic1 (5.11-1) ... Setting up libpopt0 (1.16-3ubuntu1) ... Setting up libpipeline1 (1.2.1-1) ... Setting up libxau6 (1:1.0.7-1) ... Setting up libxdmcp6 (1:1.1.1-1) ... Setting up libxcb1 (1.8.1-1) ... Setting up libx11-data (2:1.4.99.1-0ubuntu2) ... Setting up libx11-6 (2:1.4.99.1-0ubuntu2) ... Setting up libxext6 (2:1.3.1-2) ... Setting up libxml2 (2.7.8.dfsg-5.1ubuntu4) ... Setting up libatk1.0-data (2.4.0-2) ... Setting up libatk1.0-0 (2.4.0-2) ... Setting up libavahi-common-data (0.6.30-5ubuntu2) ... Setting up libavahi-common3 (0.6.30-5ubuntu2) ... Setting up libavahi-client3 (0.6.30-5ubuntu2) ... Setting up libfreetype6 (2.4.8-1ubuntu2) ... Setting up ucf (3.0025+nmu3) ... Setting up ttf-dejavu-core (2.33-2ubuntu1) ... Setting up fontconfig-config (2.8.0-3ubuntu9) ... Setting up libfontconfig1 (2.8.0-3ubuntu9) ... Setting up libpixman-1-0 (0.24.4-1) ... Setting up libxcb-render0 (1.8.1-1) ... Setting up libxcb-shm0 (1.8.1-1) ... Setting up libxrender1 (1:0.9.7-1) ... Setting up libcairo2 (1.12.2-1ubuntu1) ... Setting up libcairo-gobject2 (1.12.2-1ubuntu1) ... Setting up libcairo-script-interpreter2 (1.12.2-1ubuntu1) ... Setting up libcroco3 (0.6.5-1) ... Setting up libcups2 (1.5.2-9ubuntu1) ... Setting up libdatrie1 (0.2.5-3) ... Setting up libjpeg-turbo8 (1.1.90+svn733-0ubuntu4) ... Setting up libjpeg8 (8c-2ubuntu7) ... Setting up libjasper1 (1.900.1-13) ... Setting up libtiff4 (3.9.5-2ubuntu1) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1) ... Setting up libgdk-pixbuf2.0-0 (2.26.1-1) ... Setting up libunistring0 (0.9.3-5) ... Setting up libgettextpo0 (0.18.1.1-5ubuntu3) ... Setting up libgtk2.0-common (2.24.10-0ubuntu6) ... Setting up libthai-data (0.1.17-1) ... Setting up libthai0 (0.1.17-1) ... Setting up libxft2 (2.2.0-3ubuntu2) ... Setting up fontconfig (2.8.0-3ubuntu9) ... Cleaning up old fontconfig caches... done. Regenerating fonts cache... done. Setting up libpango1.0-0 (1.30.0-0ubuntu2) ... Setting up libxcomposite1 (1:0.4.3-2build1) ... Setting up libxfixes3 (1:5.0-4ubuntu4) ... Setting up libxcursor1 (1:1.1.13-1) ... Setting up libxdamage1 (1:1.1.3-2build1) ... Setting up libxi6 (2:1.6.0-0ubuntu2) ... Setting up libxinerama1 (2:1.1.2-1) ... Setting up libxrandr2 (2:1.3.2-2) ... Setting up shared-mime-info (1.0-0ubuntu4) ... Setting up libgtk2.0-0 (2.24.10-0ubuntu6) ... Setting up libglade2-0 (1:2.6.4-1ubuntu1) ... Setting up libhunspell-1.3-0 (1.3.2-4) ... Setting up x11-common (1:7.6+12ubuntu1) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6 (2:1.0.8-2) ... Setting up libpcrecpp0 (1:8.30-5) ... Setting up libsm6 (2:1.2.1-2) ... Setting up libxss1 (1:1.2.2-1) ... Setting up file (5.11-1) ... Setting up libtext-iconv-perl (1.7-5) ... Setting up mime-support (3.51-1ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.7 (2.7.3-0ubuntu3) ... Setting up python (2.7.3-0ubuntu3) ... Setting up bsdmainutils (8.2.3ubuntu1) ... 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 gettext-base (0.18.1.1-5ubuntu3) ... Setting up libgirepository-1.0-1 (1.32.1-1) ... Setting up gir1.2-glib-2.0 (1.32.1-1) ... Setting up groff-base (1.21-7) ... Setting up man-db (2.6.1-2) ... Building database of manual pages ... Setting up libaspell15 (0.60.7~20110707-1) ... Setting up dictionaries-common (1.12.5) ... Setting up m4 (1.4.16-2ubuntu1) ... Setting up autoconf (2.68-1ubuntu2) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5ubuntu3) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.7.102-0ubuntu3) ... Setting up debhelper (9.20120419ubuntu2) ... 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-0ubuntu2) ... Setting up gir1.2-gtk-2.0 (2.24.10-0ubuntu6) ... Setting up help2man (1.40.4ubuntu1) ... Setting up pkg-config (0.26-1ubuntu1) ... Setting up libglib2.0-data (2.33.1-1) ... Setting up libglib2.0-bin (2.33.1-1) ... Setting up libpcre3-dev (1:8.30-5) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3ubuntu4) ... Setting up libglib2.0-dev (2.33.1-1) ... Setting up libatk1.0-dev (2.4.0-2) ... Setting up libexpat1-dev (2.1.0-1) ... Setting up libfreetype6-dev (2.4.8-1ubuntu2) ... Setting up libfontconfig1-dev (2.8.0-3ubuntu9) ... Setting up xorg-sgml-doctools (1:1.10-1) ... Setting up x11proto-core-dev (7.0.22-1) ... Setting up libxau-dev (1:1.0.7-1) ... Setting up libxdmcp-dev (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 (0.3-3) ... Setting up libpthread-stubs0-dev (0.3-3) ... Setting up libxcb1-dev (1.8.1-1) ... Setting up libx11-dev (2:1.4.99.1-0ubuntu2) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev (1:0.9.7-1) ... Setting up libpng12-dev (1.2.46-3ubuntu4) ... Setting up libice-dev (2:1.0.8-2) ... Setting up libsm-dev (2:1.2.1-2) ... Setting up libpixman-1-dev (0.24.4-1) ... Setting up libxcb-render0-dev (1.8.1-1) ... Setting up libxcb-shm0-dev (1.8.1-1) ... Setting up libcairo2-dev (1.12.2-1ubuntu1) ... Setting up ocaml-base-nox (3.12.1-2ubuntu3) ... Setting up libfindlib-ocaml (1.2.8+debian-1) ... Setting up ocaml-findlib (1.2.8+debian-1) ... Setting up libtinfo-dev (5.9-7) ... Setting up libncurses5-dev (5.9-7) ... Setting up ocaml-interp (3.12.1-2ubuntu3) ... Setting up ocaml-nox (3.12.1-2ubuntu3) ... Setting up libcryptgps-ocaml-dev (0.2.1-7build4) ... Setting up libexpat-ocaml (0.9.1+debian1-7build4) ... Setting up libexpat-ocaml-dev (0.9.1+debian1-7build4) ... Setting up libgdk-pixbuf2.0-dev (2.26.1-1) ... Setting up libgdome2-0 (0.8.1+debian-4.1build1) ... Setting up libxml2-dev (2.7.8.dfsg-5.1ubuntu4) ... Setting up libgdome2-dev (0.8.1+debian-4.1build1) ... Setting up libgdome2-ocaml (0.2.6-6build2) ... Setting up libgdome2-ocaml-dev (0.2.6-6build2) ... Setting up libxft-dev (2.2.0-3ubuntu2) ... Setting up libpango1.0-dev (1.30.0-0ubuntu2) ... Setting up x11proto-xext-dev (7.2.1-1) ... Setting up libxext-dev (2:1.3.1-2) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev (2:1.1.2-1) ... Setting up libxi-dev (2:1.6.0-0ubuntu2) ... Setting up x11proto-randr-dev (1.4.0+git20101207.0d32bb07-0ubuntu2) ... Setting up libxrandr-dev (2:1.3.2-2) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu1) ... Setting up libxfixes-dev (1:5.0-4ubuntu4) ... Setting up libxcursor-dev (1:1.1.13-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.3-2build1) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev (1:1.1.3-2build1) ... Setting up libxml2-utils (2.7.8.dfsg-5.1ubuntu4) ... Setting up libgtk2.0-dev (2.24.10-0ubuntu6) ... Setting up libglade2-dev (1:2.6.4-1ubuntu1) ... Setting up libgtksourceview2.0-common (2.10.5-0ubuntu3) ... Setting up libgtksourceview2.0-0 (2.10.5-0ubuntu3) ... Setting up libgtksourceview2.0-dev (2.10.5-0ubuntu3) ... 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-1build1) ... Setting up libzip-ocaml (1.04-6build4) ... Setting up libzip-ocaml-dev (1.04-6build4) ... Setting up tcl8.5 (8.5.11-1ubuntu1) ... 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-2ubuntu3) ... Setting up ocaml (3.12.1-2ubuntu3) ... Setting up ocaml-compiler-libs (3.12.1-2ubuntu3) ... 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_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_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 (6.0-0-6ubuntu2) ... 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-1ubuntu5) ... Setting up libgtkspell-dev (2.0.16-1ubuntu5) ... Setting up liblablgtk2-ocaml (2.14.2+dfsg-2build1) ... Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-2build1) ... Setting up liblablgtksourceview2-ocaml (2.14.2+dfsg-2build1) ... Setting up liblablgtksourceview2-ocaml-dev (2.14.2+dfsg-2build1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.15-0ubuntu10 make_3.81-8.1ubuntu1 dpkg-dev_1.16.1.2ubuntu8 gcc-4.7_4.7.0-7ubuntu3 g++-4.7_4.7.0-7ubuntu3 binutils_2.22-6ubuntu1 libstdc++6-4.7-dev_4.7.0-7ubuntu3 libstdc++6_4.7.0-7ubuntu3 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt 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 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 /usr/bin/fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/matita-0.99.1' 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 `/build/buildd/matita-0.99.1' dh_clean debian/rules build dh build dh_testdir debian/rules override_dh_auto_configure make[1]: Entering directory `/build/buildd/matita-0.99.1' autoconf ./configure --with-runtime-dir=/usr/share/matita \ --prefix=/usr/ \ --with-dbhost=FAKE_HOST checking for ocamlc... yes checking for ocamlopt... yes 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 `/build/buildd/matita-0.99.1' dh_auto_build make[1]: Entering directory `/build/buildd/matita-0.99.1' make rec@depend.opt@components rec@depend.opt@matita make[2]: Entering directory `/build/buildd/matita-0.99.1' make -C components depend.opt DESTDIR= make[3]: Entering directory `/build/buildd/matita-0.99.1/components' ocamlfind: Package `helm-utf8_macros' not found make[4]: Entering directory `/build/buildd/matita-0.99.1/components/syntax_extensions' ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/syntax_extensions' ocamlfind: Package `helm-utf8_macros' not found make[4]: Entering directory `/build/buildd/matita-0.99.1/components/syntax_extensions' ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' 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 `/build/buildd/matita-0.99.1/components/syntax_extensions' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/extlib' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/extlib' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/xml' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/xml' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/registry' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/registry' ocamlfind: Package `helm-utf8_macros' not found make[4]: Entering directory `/build/buildd/matita-0.99.1/components/syntax_extensions' ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/syntax_extensions' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/thread' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/thread' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/logger' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/logger' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_kernel' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_kernel' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/getter' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/getter' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/library' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/library' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/content' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/content' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/grafite' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/grafite' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_refiner' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_refiner' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_library' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_library' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_cic_content' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_cic_content' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/disambiguation' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/disambiguation' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_disambiguation' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_disambiguation' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_paramodulation' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_paramodulation' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/content_pres' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/content_pres' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/grafite_parser' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/grafite_parser' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_tactics' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_tactics' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/grafite_engine' OCAMLDEP -native make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/grafite_engine' make[3]: Leaving directory `/build/buildd/matita-0.99.1/components' make -C matita depend.opt DESTDIR= make[3]: Entering directory `/build/buildd/matita-0.99.1/matita' OCAMLDEP -native make[3]: Leaving directory `/build/buildd/matita-0.99.1/matita' make[2]: Leaving directory `/build/buildd/matita-0.99.1' make -C components world DESTDIR= make[2]: Entering directory `/build/buildd/matita-0.99.1/components' ocamlfind: Package `helm-utf8_macros' not found make[3]: Entering directory `/build/buildd/matita-0.99.1/components/syntax_extensions' ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' OCAMLDEP make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/syntax_extensions' ocamlfind: Package `helm-utf8_macros' not found make[3]: Entering directory `/build/buildd/matita-0.99.1/components/syntax_extensions' ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/syntax_extensions' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/extlib' OCAMLC componentsConf.mli OCAMLOPT componentsConf.ml OCAMLC hExtlib.mli OCAMLOPT hExtlib.ml OCAMLC hMarshal.mli OCAMLOPT hMarshal.ml OCAMLC patternMatcher.mli OCAMLOPT patternMatcher.ml OCAMLC hLog.mli OCAMLOPT hLog.ml OCAMLC trie.mli OCAMLOPT trie.ml OCAMLC discrimination_tree.mli OCAMLOPT discrimination_tree.ml OCAMLC hTopoSort.mli OCAMLOPT hTopoSort.ml OCAMLC graphvizPp.mli OCAMLOPT graphvizPp.ml OCAMLOPT -a extlib.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/extlib' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/xml' OCAMLC xml.mli OCAMLOPT xml.ml OCAMLC xmlPushParser.mli OCAMLOPT xmlPushParser.ml OCAMLOPT -a xml.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/xml' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/registry' OCAMLC helm_registry.mli OCAMLOPT helm_registry.ml OCAMLOPT -a registry.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/registry' ocamlfind: Package `helm-utf8_macros' not found make[3]: Entering directory `/build/buildd/matita-0.99.1/components/syntax_extensions' ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' OCAMLOPT utf8MacroTable.ml OCAMLOPT utf8Macro.ml OCAMLOPT -a utf8_macros.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/syntax_extensions' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/thread' OCAMLC threadSafe.mli OCAMLOPT threadSafe.ml OCAMLC extThread.mli OCAMLOPT extThread.ml OCAMLOPT -a thread.cmxa OCAMLC fake/threadSafe.mli OCAMLOPT -a thread_fake.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/thread' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/logger' OCAMLC helmLogger.mli OCAMLOPT helmLogger.ml OCAMLOPT -a logger.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/logger' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/ng_kernel' OCAMLC nUri.mli OCAMLOPT nUri.ml OCAMLC nReference.mli OCAMLOPT nReference.ml OCAMLOPT nCic.ml OCAMLC nCicUtils.mli OCAMLOPT nCicUtils.ml OCAMLC nCicSubstitution.mli OCAMLOPT nCicSubstitution.ml OCAMLC nCicEnvironment.mli OCAMLOPT nCicEnvironment.ml OCAMLC nCicReduction.mli OCAMLOPT nCicReduction.ml OCAMLC nCicTypeChecker.mli OCAMLOPT nCicTypeChecker.ml OCAMLC nCicUntrusted.mli OCAMLOPT nCicUntrusted.ml OCAMLC nCicPp.mli OCAMLOPT nCicPp.ml OCAMLOPT -a ng_kernel.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_kernel' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/getter' OCAMLOPT http_getter_types.ml OCAMLC http_getter_wget.mli OCAMLOPT http_getter_wget.ml OCAMLC http_getter_logger.mli OCAMLOPT http_getter_logger.ml OCAMLC http_getter_misc.mli OCAMLOPT http_getter_misc.ml OCAMLC http_getter_const.mli OCAMLOPT http_getter_const.ml OCAMLC http_getter_env.mli OCAMLOPT http_getter_env.ml OCAMLC http_getter_storage.mli OCAMLOPT http_getter_storage.ml OCAMLC http_getter_common.mli OCAMLOPT http_getter_common.ml OCAMLC http_getter.mli OCAMLOPT http_getter.ml OCAMLOPT -a getter.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/getter' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/library' OCAMLC librarian.mli OCAMLOPT librarian.ml OCAMLC libraryMisc.mli OCAMLOPT libraryMisc.ml OCAMLC libraryClean.mli OCAMLOPT libraryClean.ml OCAMLOPT -a library.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/library' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/content' OCAMLOPT notationPt.ml OCAMLC content.mli OCAMLOPT content.ml OCAMLC notationUtil.mli OCAMLOPT notationUtil.ml OCAMLC notationEnv.mli OCAMLOPT notationEnv.ml OCAMLC notationPp.mli OCAMLOPT notationPp.ml OCAMLOPT -a content.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/content' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/grafite' OCAMLOPT grafiteAst.ml OCAMLC grafiteAstPp.mli OCAMLOPT 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 (_, _)) OCAMLOPT -a grafite.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/grafite' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/ng_refiner' OCAMLC nDiscriminationTree.mli OCAMLOPT nDiscriminationTree.ml OCAMLC nCicMetaSubst.mli OCAMLOPT nCicMetaSubst.ml OCAMLC nCicUnifHint.mli OCAMLOPT 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 OCAMLOPT nCicCoercion.ml OCAMLC nCicRefineUtil.mli OCAMLOPT nCicRefineUtil.ml OCAMLC nCicUnification.mli OCAMLOPT nCicUnification.ml File "nCicUnification.ml", line 143, characters 8-20: Warning 6: labels were omitted in the application of this function. OCAMLC nCicRefiner.mli OCAMLOPT 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. OCAMLOPT -a ng_refiner.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_refiner' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/ng_library' OCAMLC nCicLibrary.mli OCAMLOPT nCicLibrary.ml OCAMLOPT -a ng_library.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_library' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/ng_cic_content' OCAMLC ncic2astMatcher.mli OCAMLOPT ncic2astMatcher.ml OCAMLC interpretations.mli OCAMLOPT interpretations.ml OCAMLOPT -a ng_cic_content.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_cic_content' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/disambiguation' OCAMLC -rectypes disambiguateTypes.mli OCAMLOPT -rectypes disambiguateTypes.ml OCAMLC disambiguate.mli OCAMLOPT disambiguate.ml File "disambiguate.ml", line 449, characters 10-41: Warning 26: unused variable node. OCAMLC multiPassDisambiguator.mli OCAMLOPT multiPassDisambiguator.ml OCAMLOPT -a disambiguation.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/disambiguation' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/ng_disambiguation' OCAMLC nnumber_notation.mli OCAMLOPT nnumber_notation.ml OCAMLC disambiguateChoices.mli OCAMLOPT disambiguateChoices.ml OCAMLC nCicDisambiguate.mli OCAMLOPT nCicDisambiguate.ml OCAMLC grafiteDisambiguate.mli OCAMLOPT grafiteDisambiguate.ml OCAMLOPT -a ng_disambiguation.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_disambiguation' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/ng_paramodulation' OCAMLC terms.mli OCAMLOPT terms.ml OCAMLC pp.mli OCAMLOPT pp.ml OCAMLC foSubst.mli OCAMLOPT foSubst.ml OCAMLC orderings.mli OCAMLOPT orderings.ml OCAMLC foUtils.mli OCAMLOPT foUtils.ml OCAMLC foUnif.mli OCAMLOPT foUnif.ml OCAMLC index.mli OCAMLOPT index.ml OCAMLC superposition.mli OCAMLOPT superposition.ml OCAMLC stats.mli OCAMLOPT stats.ml OCAMLC paramod.mli OCAMLOPT 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 OCAMLOPT nCicBlob.ml OCAMLC nCicProof.mli OCAMLOPT 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 OCAMLOPT nCicParamod.ml OCAMLOPT -a ng_paramodulation.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_paramodulation' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/content_pres' OCAMLC renderingAttrs.mli OCAMLOPT renderingAttrs.ml OCAMLC cicNotationLexer.mli OCAMLOPT cicNotationLexer.ml OCAMLC cicNotationParser.mli OCAMLOPT cicNotationParser.ml OCAMLC mpresentation.mli OCAMLOPT mpresentation.ml OCAMLC box.mli OCAMLOPT box.ml OCAMLC content2presMatcher.mli OCAMLOPT content2presMatcher.ml OCAMLC termContentPres.mli OCAMLOPT termContentPres.ml OCAMLC cicNotationPres.mli OCAMLOPT cicNotationPres.ml OCAMLC boxPp.mli OCAMLOPT boxPp.ml OCAMLC content2pres.mli OCAMLOPT content2pres.ml OCAMLOPT -a content_pres.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/content_pres' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/grafite_parser' OCAMLC grafiteParser.mli OCAMLOPT grafiteParser.ml OCAMLC print_grammar.mli OCAMLOPT print_grammar.ml OCAMLOPT -a grafite_parser.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/grafite_parser' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/ng_tactics' OCAMLC continuationals.mli OCAMLOPT continuationals.ml OCAMLC nCicTacReduction.mli OCAMLOPT nCicTacReduction.ml OCAMLC nTacStatus.mli OCAMLOPT nTacStatus.ml OCAMLC nCicElim.mli OCAMLOPT nCicElim.ml OCAMLC nTactics.mli OCAMLOPT nTactics.ml OCAMLC nnAuto.mli OCAMLOPT 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 OCAMLOPT nDestructTac.ml File "nDestructTac.ml", line 485, characters 10-12: Warning 26: unused variable x'. OCAMLC nInversion.mli OCAMLOPT nInversion.ml OCAMLOPT -a ng_tactics.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_tactics' make[3]: Entering directory `/build/buildd/matita-0.99.1/components/grafite_engine' OCAMLC grafiteTypes.mli OCAMLOPT grafiteTypes.ml OCAMLC nCicCoercDeclaration.mli OCAMLOPT nCicCoercDeclaration.ml OCAMLC grafiteEngine.mli OCAMLOPT grafiteEngine.ml OCAMLOPT -a grafite_engine.cmxa make[3]: Leaving directory `/build/buildd/matita-0.99.1/components/grafite_engine' make[2]: Leaving directory `/build/buildd/matita-0.99.1/components' make -C matita world DESTDIR= make[2]: Entering directory `/build/buildd/matita-0.99.1/matita' OCAMLDEP -native OCAMLOPT buildTimeConf.ml OCAMLOPT matitaGeneratedGui.ml OCAMLC lablGraphviz.mli OCAMLOPT lablGraphviz.ml OCAMLC matitaTypes.mli OCAMLOPT matitaTypes.ml OCAMLC applyTransformation.mli OCAMLC matitaGuiTypes.mli OCAMLC matitaMisc.mli OCAMLOPT matitaMisc.ml OCAMLOPT applyTransformation.ml OCAMLC matitaEngine.mli OCAMLOPT matitaEngine.ml OCAMLC matitaExcPp.mli OCAMLOPT matitaExcPp.ml OCAMLC matitaInit.mli OCAMLOPT matitaInit.ml OCAMLC matitaGtkMisc.mli OCAMLOPT matitaGtkMisc.ml OCAMLC virtuals.mli OCAMLOPT virtuals.ml OCAMLC cicMathView.mli OCAMLOPT 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 OCAMLOPT predefined_virtuals.ml OCAMLC matitaMathView.mli OCAMLOPT 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 OCAMLOPT matitaScript.ml OCAMLC matitaGui.mli OCAMLOPT matitaGui.ml OCAMLOPT matita.ml OCAMLC matitaclean.mli OCAMLOPT matitaclean.ml OCAMLOPT matitac.ml make[2]: Leaving directory `/build/buildd/matita-0.99.1/matita' make[1]: Leaving directory `/build/buildd/matita-0.99.1' dh_auto_test /usr/bin/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 `/build/buildd/matita-0.99.1' dh_auto_install --destdir=debian/tmp make[2]: Entering directory `/build/buildd/matita-0.99.1' make -C components install-indep DESTDIR=/build/buildd/matita-0.99.1/debian/tmp make[3]: Entering directory `/build/buildd/matita-0.99.1/components' make[3]: Nothing to be done for `install-indep'. make[3]: Leaving directory `/build/buildd/matita-0.99.1/components' make -C matita install-indep DESTDIR=/build/buildd/matita-0.99.1/debian/tmp make[3]: Entering directory `/build/buildd/matita-0.99.1/matita' make[3]: Nothing to be done for `install-indep'. make[3]: Leaving directory `/build/buildd/matita-0.99.1/matita' make -C components install-arch DESTDIR=/build/buildd/matita-0.99.1/debian/tmp make[3]: Entering directory `/build/buildd/matita-0.99.1/components' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/extlib' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/extlib' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/xml' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/xml' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/registry' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/registry' ocamlfind: Package `helm-utf8_macros' not found make[4]: Entering directory `/build/buildd/matita-0.99.1/components/syntax_extensions' ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/syntax_extensions' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/thread' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/thread' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/logger' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/logger' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_kernel' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_kernel' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/getter' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/getter' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/library' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/library' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/content' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/content' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/grafite' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/grafite' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_refiner' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_refiner' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_library' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_library' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_cic_content' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_cic_content' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/disambiguation' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/disambiguation' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_disambiguation' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_disambiguation' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_paramodulation' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_paramodulation' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/content_pres' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/content_pres' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/grafite_parser' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/grafite_parser' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/ng_tactics' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/ng_tactics' make[4]: Entering directory `/build/buildd/matita-0.99.1/components/grafite_engine' make[4]: Nothing to be done for `install'. make[4]: Leaving directory `/build/buildd/matita-0.99.1/components/grafite_engine' make[3]: Leaving directory `/build/buildd/matita-0.99.1/components' make -C matita install-arch DESTDIR=/build/buildd/matita-0.99.1/debian/tmp make[3]: Entering directory `/build/buildd/matita-0.99.1/matita' make[3]: Leaving directory `/build/buildd/matita-0.99.1/matita' make[2]: Leaving directory `/build/buildd/matita-0.99.1' 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 matita/matitac.opt debian/matita/usr/bin/ || true 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 `/build/buildd/matita-0.99.1' 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_strip debug symbol extraction: all non-arch-all packages for this build platform armhf: matita dh_strip debug symbol extraction: packages to act on: matita dh_strip debug symbol extraction: ignored packages: dpkg-deb: building package `matita-dbgsym' in `../matita-dbgsym_0.99.1-1_armhf.ddeb'. dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 116 pkgstriptranslations: processing matita (in debian/matita); do_strip: , oemstrip: debian/matita/usr/share/applications/matita.desktop: does not have gettext domain, not stripping pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/matita/DEBIAN/control, package matita, directory debian/matita pkgstripfiles: Truncating usr/share/doc/matita/changelog.Debian.gz to topmost ten records OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/vbox5.png 811x420 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 3x8 bits/pixel, RGB Input IDAT size = 42140 bytes Input file size = 42328 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 31829 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 31829 Output IDAT size = 31829 bytes (10311 bytes decrease) Output file size = 31957 bytes (10371 bytes = 24.50% decrease) 31957 31372 98% ./usr/share/matita/help/C/figures/vbox5.png 31957 31372 98% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/vbox1.png 840x689 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 66782 bytes Input file size = 67006 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 57362 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 57362 Output IDAT size = 57362 bytes (9420 bytes decrease) Output file size = 57490 bytes (9516 bytes = 14.20% decrease) 57490 57490 100% ./usr/share/matita/help/C/figures/vbox1.png (Bigger 57696) 57490 57490 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/vbox6.png 332x153 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 3x8 bits/pixel, RGB Input IDAT size = 6930 bytes Input file size = 7058 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 4943 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 4943 Output IDAT size = 4943 bytes (1987 bytes decrease) Output file size = 5071 bytes (1987 bytes = 28.15% decrease) 5071 5013 98% ./usr/share/matita/help/C/figures/vbox6.png 5071 5013 98% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/vbox3.png 620x460 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 3x8 bits/pixel, RGB Input IDAT size = 24323 bytes Input file size = 24475 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 18709 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 18709 Output IDAT size = 18709 bytes (5614 bytes decrease) Output file size = 18837 bytes (5638 bytes = 23.04% decrease) 18837 18055 95% ./usr/share/matita/help/C/figures/vbox3.png 18837 18055 95% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/vbox7.png 804x658 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 3x8 bits/pixel, RGB Input IDAT size = 204629 bytes Input file size = 205032 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 187278 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 IDAT size = 171660 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 IDAT size = 168176 zc = 9 zm = 8 zs = 1 f = 4 IDAT size = 167885 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 167662 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 167370 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 167370 Output IDAT size = 167370 bytes (37259 bytes decrease) Output file size = 167484 bytes (37548 bytes = 18.31% decrease) 167484 167484 100% ./usr/share/matita/help/C/figures/vbox7.png (Bigger 170628) 167484 167484 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/vbox35.png 539x256 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 3x8 bits/pixel, RGB Input IDAT size = 27387 bytes Input file size = 27551 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 22851 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 22851 Output IDAT size = 22851 bytes (4536 bytes decrease) Output file size = 22979 bytes (4572 bytes = 16.59% decrease) 22979 22205 96% ./usr/share/matita/help/C/figures/vbox35.png 22979 22205 96% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/vbox4.png 689x627 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 3x8 bits/pixel, RGB Input IDAT size = 46820 bytes Input file size = 47008 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 33780 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 33780 Output IDAT size = 33780 bytes (13040 bytes decrease) Output file size = 33908 bytes (13100 bytes = 27.87% decrease) 33908 33782 99% ./usr/share/matita/help/C/figures/vbox4.png 33908 33782 99% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/matita.png 55x67 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 3535 bytes Input file size = 3650 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 3070 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 3070 Output IDAT size = 3070 bytes (465 bytes decrease) Output file size = 3185 bytes (465 bytes = 12.74% decrease) 3185 3063 96% ./usr/share/matita/help/C/figures/matita.png 3185 3063 96% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/vbox2.png 715x478 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 38239 bytes Input file size = 38415 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 31845 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 31845 Output IDAT size = 31845 bytes (6394 bytes decrease) Output file size = 31973 bytes (6442 bytes = 16.77% decrease) 31973 31576 98% ./usr/share/matita/help/C/figures/vbox2.png 31973 31576 98% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/help/C/figures/database.png 484x381 pixels, 3x8 bits/pixel, RGB Reducing image to 8 bits/pixel, grayscale Input IDAT size = 15172 bytes Input file size = 15256 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 6656 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 6656 Output IDAT size = 6656 bytes (8516 bytes decrease) Output file size = 6726 bytes (8530 bytes = 55.91% decrease) 6726 6726 100% ./usr/share/matita/help/C/figures/database.png (Unsupported bit depth/color type, 8/0) 6726 6726 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita_very_small.png 55x67 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 3535 bytes Input file size = 3650 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 3070 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 3070 Output IDAT size = 3070 bytes (465 bytes decrease) Output file size = 3185 bytes (465 bytes = 12.74% decrease) 3185 3063 96% ./usr/share/matita/icons/matita_very_small.png 3185 3063 96% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita-bulb-low.png 20x20 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 8 bits/pixel, 232 colors (211 transparent) in palette Input IDAT size = 957 bytes Input file size = 1072 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 309 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/matita/icons/matita-bulb-low.png is already optimized. 1072 1054 98% ./usr/share/matita/icons/matita-bulb-low.png 1072 1054 98% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita_medium.png 210x256 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 12145 bytes Input file size = 12270 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 10287 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 10287 Output IDAT size = 10287 bytes (1858 bytes decrease) Output file size = 10412 bytes (1858 bytes = 15.14% decrease) 10412 9997 96% ./usr/share/matita/icons/matita_medium.png 10412 9997 96% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita-object.png 24x24 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 8 bits/pixel, 176 colors (32 transparent) in palette Input IDAT size = 818 bytes Input file size = 893 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 402 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 IDAT size = 388 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 IDAT size = 364 zc = 9 zm = 8 zs = 1 f = 4 IDAT size = 359 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/matita/icons/matita-object.png is already optimized. 893 877 98% ./usr/share/matita/icons/matita-object.png 893 877 98% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita-bulb-medium.png 20x20 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1157 bytes Input file size = 1272 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 IDAT size = 1157 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 1157 zc = 1 zm = 8 zs = 2 f = 5 IDAT size = 1157 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/matita/icons/matita-bulb-medium.png is already optimized. 1272 1272 100% ./usr/share/matita/icons/matita-bulb-medium.png (Bigger 1528) 1272 1272 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita-folder.png 24x24 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 8 bits/pixel, 253 colors (32 transparent) in palette Input IDAT size = 631 bytes Input file size = 706 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 411 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 IDAT size = 346 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 IDAT size = 322 zc = 9 zm = 8 zs = 1 f = 4 IDAT size = 320 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 IDAT size = 317 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 IDAT size = 317 ./usr/share/matita/icons/matita-folder.png is already optimized. 706 706 100% ./usr/share/matita/icons/matita-folder.png (Bigger 997) 706 706 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita-theory.png 23x24 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1212 bytes Input file size = 1287 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 1212 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/matita/icons/matita-theory.png is already optimized. 1287 1287 100% ./usr/share/matita/icons/matita-theory.png (Bigger 1301) 1287 1287 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/whelp.png 20x19 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 8 bits/pixel, 168 colors (118 transparent) in palette Input IDAT size = 963 bytes Input file size = 1073 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 277 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 IDAT size = 266 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 3 f = 0 IDAT size = 266 Output IDAT size = 266 bytes (697 bytes decrease) Output file size = 1021 bytes (52 bytes = 4.85% decrease) 1021 973 95% ./usr/share/matita/icons/whelp.png 1021 973 95% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/meegg.png 450x232 pixels, 3x8 bits/pixel, RGB Input IDAT size = 156820 bytes Input file size = 157131 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 IDAT size = 155816 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 155404 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 155404 Output IDAT size = 155404 bytes (1416 bytes decrease) Output file size = 155667 bytes (1464 bytes = 0.93% decrease) 155667 155667 100% ./usr/share/matita/icons/meegg.png (Bigger 226602) 155667 155667 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita.png 485x590 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 17479 bytes Input file size = 17605 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 16115 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 IDAT size = 15908 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 15196 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 15196 Output IDAT size = 15196 bytes (2283 bytes decrease) Output file size = 15298 bytes (2307 bytes = 13.10% decrease) 15298 15082 98% ./usr/share/matita/icons/matita.png 15298 15082 98% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita_small.png 79x96 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 4661 bytes Input file size = 4786 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 4007 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 4007 Output IDAT size = 4007 bytes (654 bytes decrease) Output file size = 4132 bytes (654 bytes = 13.66% decrease) 4132 3933 95% ./usr/share/matita/icons/matita_small.png 4132 3933 95% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/matita/icons/matita-bulb-high.png 20x20 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1034 bytes Input file size = 1149 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 1034 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/matita/icons/matita-bulb-high.png is already optimized. 1149 1149 100% ./usr/share/matita/icons/matita-bulb-high.png (Bigger 1307) 1149 1149 100% pkgstripfiles: PNG optimization for package matita took 201 s dpkg-deb: warning: 'debian/matita/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `matita' in `../matita_0.99.1-1_armhf.deb'. dpkg-genchanges -B -mUbuntu/armel Build Daemon >../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 20120517-1933 Publishing debug debs. chroot-autobuild/build/buildd/matita_0.99.1-1_armhf.deb: new debian package, version 2.0. size 3731094 bytes: control archive= 5388 bytes. 760 bytes, 14 lines control 12838 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: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 9177 Depends: libc6 (>= 2.15-0ubuntu8), libexpat1 (>= 2.0.1), libgcc1 (>= 1:4.4.0), libgdk-pixbuf2.0-0 (>= 2.22.0), libglade2-0 (>= 1:2.6.1), libglib2.0-0 (>= 2.24.0), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango1.0-0 (>= 1.14.0), libpcre3 (>= 8.10), zlib1g (>= 1:1.1.4) 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. chroot-autobuild/build/buildd/matita_0.99.1-1_armhf.deb: drwxr-xr-x root/root 0 2012-05-17 19:29 ./ drwxr-xr-x root/root 0 2012-05-17 19:28 ./usr/ drwxr-xr-x root/root 0 2012-05-17 19:29 ./usr/share/ drwxr-xr-x root/root 0 2012-05-17 19:29 ./usr/share/menu/ -rw-r--r-- root/root 224 2012-05-06 15:34 ./usr/share/menu/matita drwxr-xr-x root/root 0 2012-05-17 19:29 ./usr/share/applications/ -rw-r--r-- root/root 181 2012-05-06 19:07 ./usr/share/applications/matita.desktop drwxr-xr-x root/root 0 2012-05-17 19:29 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-05-17 19:29 ./usr/share/doc/matita/ -rw-r--r-- root/root 1237 2012-05-17 19:29 ./usr/share/doc/matita/changelog.Debian.gz -rw-r--r-- root/root 1045 2012-05-06 15:34 ./usr/share/doc/matita/copyright drwxr-xr-x root/root 0 2012-05-17 19:29 ./usr/share/matita/ drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/help/ drwxr-xr-x root/root 0 2012-05-17 19:21 ./usr/share/matita/help/C/ -rw-r--r-- root/root 646 2012-03-13 11:49 ./usr/share/matita/help/C/docbook.css -rw-r--r-- root/root 11962 2012-03-13 11:49 ./usr/share/matita/help/C/sec_tacticals.xml -rw-r--r-- root/root 38339 2012-03-13 11:49 ./usr/share/matita/help/C/sec_tactics.xml drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/help/C/xsl/ -rw-r--r-- root/root 285 2012-03-13 11:49 ./usr/share/matita/help/C/xsl/matita-fo.xsl -rw-r--r-- root/root 2248 2012-03-13 11:49 ./usr/share/matita/help/C/xsl/matita-xhtml.xsl -rw-r--r-- root/root 1888 2012-03-13 11:49 ./usr/share/matita/help/C/xsl/tactic_quickref.xsl -rw-r--r-- root/root 373 2012-03-13 11:49 ./usr/share/matita/help/C/TODO -rw-r--r-- root/root 4211 2012-03-13 11:49 ./usr/share/matita/help/C/sec_intro.xml -rw-r--r-- root/root 17 2012-03-13 11:49 ./usr/share/matita/help/C/version.txt.in -rw-r--r-- root/root 7170 2012-03-13 11:49 ./usr/share/matita/help/C/sec_gettingstarted.xml -rw-r--r-- root/root 8316 2012-03-13 11:49 ./usr/share/matita/help/C/matita.xml -rw-r--r-- root/root 20627 2012-03-13 11:49 ./usr/share/matita/help/C/sec_usernotation.xml -rw-r--r-- root/root 139 2012-03-13 11:49 ./usr/share/matita/help/C/declarative_tactics_quickref.xml -rw-r--r-- root/root 1293 2012-03-13 11:49 ./usr/share/matita/help/C/Makefile -rw-r--r-- root/root 6273 2012-03-13 11:49 ./usr/share/matita/help/C/tactics_quickref.xml -rw-r--r-- root/root 24026 2012-03-13 11:49 ./usr/share/matita/help/C/sec_install.xml -rw-r--r-- root/root 149 2012-03-13 11:49 ./usr/share/matita/help/C/sec_license.xml -rw-r--r-- root/root 151 2012-03-13 11:49 ./usr/share/matita/help/C/tactic_quickref.xml -rw-r--r-- root/root 1047 2012-03-13 11:49 ./usr/share/matita/help/C/legal.xml -rw-r--r-- root/root 30112 2012-03-13 11:49 ./usr/share/matita/help/C/sec_commands.xml -rw-r--r-- root/root 61877 2012-03-13 11:49 ./usr/share/matita/help/C/xhtml1-transitional.dtd -rw-r--r-- root/root 16507 2012-03-13 11:49 ./usr/share/matita/help/C/sec_declarative_tactics.xml drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/help/C/scripts/ -rwxr-xr-x root/root 123 2012-03-13 11:49 ./usr/share/matita/help/C/scripts/fix-symbols.sh -rw-r--r-- root/root 7 2012-05-17 19:21 ./usr/share/matita/help/C/version.txt drwxr-xr-x root/root 0 2012-05-17 19:32 ./usr/share/matita/help/C/figures/ -rw-r--r-- root/root 5538 2012-03-13 11:49 ./usr/share/matita/help/C/figures/database.dia -rw-r--r-- root/root 31372 2012-05-17 19:30 ./usr/share/matita/help/C/figures/vbox5.png -rw-r--r-- root/root 57490 2012-03-13 11:49 ./usr/share/matita/help/C/figures/vbox1.png -rw-r--r-- root/root 5013 2012-05-17 19:30 ./usr/share/matita/help/C/figures/vbox6.png -rw-r--r-- root/root 18055 2012-05-17 19:30 ./usr/share/matita/help/C/figures/vbox3.png -rw-r--r-- root/root 167484 2012-03-13 11:49 ./usr/share/matita/help/C/figures/vbox7.png -rw-r--r-- root/root 22205 2012-05-17 19:31 ./usr/share/matita/help/C/figures/vbox35.png -rw-r--r-- root/root 33782 2012-05-17 19:32 ./usr/share/matita/help/C/figures/vbox4.png -rw-r--r-- root/root 3063 2012-05-17 19:32 ./usr/share/matita/help/C/figures/matita.png -rw-r--r-- root/root 31576 2012-05-17 19:32 ./usr/share/matita/help/C/figures/vbox2.png -rw-r--r-- root/root 6726 2012-03-13 11:49 ./usr/share/matita/help/C/figures/database.png -rw-r--r-- root/root 36544 2012-03-13 11:49 ./usr/share/matita/help/C/sec_terms.xml -rw-r--r-- root/root 916 2012-03-13 11:49 ./usr/share/matita/LICENSE -rw-r--r-- root/root 2601 2012-03-13 11:49 ./usr/share/matita/matita.gtkrc -rw-r--r-- root/root 232 2012-03-13 11:49 ./usr/share/matita/AUTHORS drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/lib/ drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/lib/re/ -rw-r--r-- root/root 18361 2012-03-13 11:49 ./usr/share/matita/lib/re/moves.ma -rw-r--r-- root/root 5037 2012-03-13 11:49 ./usr/share/matita/lib/re/lang.ma -rw-r--r-- root/root 17632 2012-03-13 11:49 ./usr/share/matita/lib/re/re.ma -rw-r--r-- root/root 31994 2012-03-13 11:49 ./usr/share/matita/lib/re/reb.ma drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/lib/formal_topology/ -rw-r--r-- root/root 4871 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/apply_functor.ma -rw-r--r-- root/root 12306 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/relations_to_o-algebra.ma -rw-r--r-- root/root 6816 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma -rw-r--r-- root/root 13953 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/relations.ma -rw-r--r-- root/root 7364 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/subsets.ma -rw-r--r-- root/root 3877 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/formal_topologies.ma -rw-r--r-- root/root 9014 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/o-basic_topologies.ma -rw-r--r-- root/root 9569 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/o-basic_pairs.ma -rw-r--r-- root/root 1641 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/saturations_to_o-saturations.ma -rw-r--r-- root/root 7449 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/cprop_connectives.ma -rw-r--r-- root/root 10001 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/r-o-basic_pairs.ma -rw-r--r-- root/root 17664 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/o-algebra.ma -rw-r--r-- root/root 2381 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma -rw-r--r-- root/root 8382 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/basic_pairs.ma -rw-r--r-- root/root 1910 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/o-saturations.ma -rw-r--r-- root/root 5410 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/o-concrete_spaces.ma -rw-r--r-- root/root 9660 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/basic_topologies.ma -rw-r--r-- root/root 20289 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/categories.ma -rw-r--r-- root/root 2678 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma -rw-r--r-- root/root 4125 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma -rw-r--r-- root/root 1857 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/saturations.ma -rw-r--r-- root/root 1228 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/notation.ma -rw-r--r-- root/root 3889 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/o-formal_topologies.ma -rw-r--r-- root/root 4448 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/concrete_spaces.ma -rw-r--r-- root/root 241 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/replace.sh -rw-r--r-- root/root 5626 2012-03-13 11:49 ./usr/share/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/lib/arithmetics/ -rw-r--r-- root/root 4996 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/exp.ma -rw-r--r-- root/root 9808 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/nat_commented.ma -rw-r--r-- root/root 11466 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/log.ma -rw-r--r-- root/root 4455 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/binomial.ma -rw-r--r-- root/root 8898 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/minimization.ma -rw-r--r-- root/root 14504 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/primes.ma -rw-r--r-- root/root 31862 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/bigops.ma -rw-r--r-- root/root 12260 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/div_and_mod.ma -rw-r--r-- root/root 4773 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/chinese_reminder.ma -rw-r--r-- root/root 6208 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/nth_prime.ma -rw-r--r-- root/root 13631 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/gcd.ma -rw-r--r-- root/root 5975 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/factorial.ma -rw-r--r-- root/root 21742 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/sigma_pi.ma -rw-r--r-- root/root 3758 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/congruence.ma -rw-r--r-- root/root 20369 2012-03-13 11:49 ./usr/share/matita/lib/arithmetics/nat.ma drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/lib/lambda/ -rw-r--r-- root/root 2576 2012-03-13 11:49 ./usr/share/matita/lib/lambda/convertibility.ma -rw-r--r-- root/root 6680 2012-03-13 11:49 ./usr/share/matita/lib/lambda/CC2FO_K.ma -rw-r--r-- root/root 3046 2012-03-13 11:49 ./usr/share/matita/lib/lambda/ext_lambda.ma -rw-r--r-- root/root 4246 2012-03-13 11:49 ./usr/share/matita/lib/lambda/lift.ma -rw-r--r-- root/root 5441 2012-03-13 11:49 ./usr/share/matita/lib/lambda/rc_eval.ma -rw-r--r-- root/root 1781 2012-03-13 11:49 ./usr/share/matita/lib/lambda/cube.ma -rw-r--r-- root/root 2485 2012-03-13 11:49 ./usr/share/matita/lib/lambda/rc_hsat.ma -rw-r--r-- root/root 6854 2012-03-13 11:49 ./usr/share/matita/lib/lambda/arity.ma -rw-r--r-- root/root 7936 2012-03-13 11:49 ./usr/share/matita/lib/lambda/subject.ma -rw-r--r-- root/root 6376 2012-03-13 11:49 ./usr/share/matita/lib/lambda/types.ma -rw-r--r-- root/root 4135 2012-03-13 11:49 ./usr/share/matita/lib/lambda/inversion.ma -rw-r--r-- root/root 4704 2012-03-13 11:49 ./usr/share/matita/lib/lambda/ext.ma -rw-r--r-- root/root 6455 2012-03-13 11:49 ./usr/share/matita/lib/lambda/degree.ma -rw-r--r-- root/root 3271 2012-03-13 11:49 ./usr/share/matita/lib/lambda/lambda_notation.ma -rw-r--r-- root/root 4389 2012-03-13 11:49 ./usr/share/matita/lib/lambda/subterms.ma -rw-r--r-- root/root 9816 2012-03-13 11:49 ./usr/share/matita/lib/lambda/par_reduction.ma -rw-r--r-- root/root 7521 2012-03-13 11:49 ./usr/share/matita/lib/lambda/subst.ma -rw-r--r-- root/root 1320 2012-03-13 11:49 ./usr/share/matita/lib/lambda/CC2FO_K_cube.ma -rw-r--r-- root/root 2609 2012-03-13 11:49 ./usr/share/matita/lib/lambda/sn.ma -rw-r--r-- root/root 1616 2012-03-13 11:49 ./usr/share/matita/lib/lambda/terms.ma -rw-r--r-- root/root 5792 2012-03-13 11:49 ./usr/share/matita/lib/lambda/rc_sat.ma -rw-r--r-- root/root 11283 2012-03-13 11:49 ./usr/share/matita/lib/lambda/reduction.ma -rw-r--r-- root/root 10196 2012-03-13 11:49 ./usr/share/matita/lib/lambda/arity_eval.ma -rw-r--r-- root/root 4177 2012-03-13 11:49 ./usr/share/matita/lib/hints_declaration.ma -rw-r--r-- root/root 21 2012-03-13 11:49 ./usr/share/matita/lib/root drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/lib/lambdaN/ -rw-r--r-- root/root 2552 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/convertibility.ma -rw-r--r-- root/root 3038 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/ext_lambda.ma -rw-r--r-- root/root 5441 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/rc_eval.ma -rw-r--r-- root/root 1781 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/cube.ma -rw-r--r-- root/root 4173 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/thinning.ma -rw-r--r-- root/root 2485 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/rc_hsat.ma -rw-r--r-- root/root 6854 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/arity.ma -rw-r--r-- root/root 8246 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/subject.ma -rw-r--r-- root/root 6380 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/types.ma -rw-r--r-- root/root 4432 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/inversion.ma -rw-r--r-- root/root 4660 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/ext.ma -rw-r--r-- root/root 2986 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/lambda_notation.ma -rw-r--r-- root/root 4487 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/subterms.ma -rw-r--r-- root/root 9542 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/par_reduction.ma -rw-r--r-- root/root 9904 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/subst.ma -rw-r--r-- root/root 2609 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/sn.ma -rw-r--r-- root/root 1735 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/terms.ma -rw-r--r-- root/root 5792 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/rc_sat.ma -rw-r--r-- root/root 11875 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/reduction.ma -rw-r--r-- root/root 10196 2012-03-13 11:49 ./usr/share/matita/lib/lambdaN/arity_eval.ma drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/lib/basics/ -rw-r--r-- root/root 3496 2012-03-13 11:49 ./usr/share/matita/lib/basics/relations.ma -rw-r--r-- root/root 4683 2012-03-13 11:49 ./usr/share/matita/lib/basics/star.ma -rw-r--r-- root/root 3182 2012-03-13 11:49 ./usr/share/matita/lib/basics/jmeq.ma -rw-r--r-- root/root 3276 2012-03-13 11:49 ./usr/share/matita/lib/basics/deqsets.ma drwxr-xr-x root/root 0 2012-03-13 11:50 ./usr/share/matita/lib/basics/lists/ -rw-r--r-- root/root 11320 2012-03-13 11:49 ./usr/share/matita/lib/basics/lists/list.ma -rw-r--r-- root/root 7749 2012-03-13 11:49 ./usr/share/matita/lib/basics/lists/listb.ma -rw-r--r-- root/root 8618 2012-03-13 11:49 ./usr/share/matita/lib/basics/logic.ma -rw-r--r-- root/root 770 2012-03-13 11:49 ./usr/share/matita/lib/basics/russell.ma -rw-r--r-- root/root 8071 2012-03-13 11:49 ./usr/share/matita/lib/basics/types.ma -rw-r--r-- root/root 1272 2012-03-13 11:49 ./usr/share/matita/lib/basics/pts.ma -rw-r--r-- root/root 10004 2012-03-13 11:49 ./usr/share/matita/lib/basics/core_notation.ma -rw-r--r-- root/root 3916 2012-03-13 11:49 ./usr/share/matita/lib/basics/sets.ma -rw-r--r-- root/root 3400 2012-03-13 11:49 ./usr/share/matita/lib/basics/bool.ma -rw-r--r-- root/root 6370 2012-03-13 11:49 ./usr/share/matita/matita.lang -rw-r--r-- root/root 4665 2012-05-17 19:21 ./usr/share/matita/matita.conf.xml drwxr-xr-x root/root 0 2012-05-17 19:33 ./usr/share/matita/icons/ -rw-r--r-- root/root 3063 2012-05-17 19:32 ./usr/share/matita/icons/matita_very_small.png -rw-r--r-- root/root 1054 2012-05-17 19:32 ./usr/share/matita/icons/matita-bulb-low.png -rw-r--r-- root/root 9997 2012-05-17 19:32 ./usr/share/matita/icons/matita_medium.png -rw-r--r-- root/root 877 2012-05-17 19:32 ./usr/share/matita/icons/matita-object.png -rw-r--r-- root/root 1272 2012-03-13 11:49 ./usr/share/matita/icons/matita-bulb-medium.png -rw-r--r-- root/root 706 2012-03-13 11:49 ./usr/share/matita/icons/matita-folder.png -rw-r--r-- root/root 1287 2012-03-13 11:49 ./usr/share/matita/icons/matita-theory.png -rw-r--r-- root/root 11017 2012-03-13 11:49 ./usr/share/matita/icons/whelp.svg -rw-r--r-- root/root 973 2012-05-17 19:32 ./usr/share/matita/icons/whelp.png -rw-r--r-- root/root 155667 2012-03-13 11:49 ./usr/share/matita/icons/meegg.png -rw-r--r-- root/root 1733 2012-03-13 11:49 ./usr/share/matita/icons/matita-32.xpm -rw-r--r-- root/root 15082 2012-05-17 19:33 ./usr/share/matita/icons/matita.png -rw-r--r-- root/root 3933 2012-05-17 19:33 ./usr/share/matita/icons/matita_small.png -rw-r--r-- root/root 1149 2012-03-13 11:49 ./usr/share/matita/icons/matita-bulb-high.png -rw-r--r-- root/root 467 2012-03-13 11:49 ./usr/share/matita/closed.xml -rw-r--r-- root/root 1002 2012-03-13 11:49 ./usr/share/matita/matita.ma.templ drwxr-xr-x root/root 0 2012-05-17 19:29 ./usr/share/man/ drwxr-xr-x root/root 0 2012-05-17 19:29 ./usr/share/man/man1/ -rw-r--r-- root/root 751 2012-05-17 19:29 ./usr/share/man/man1/matitaclean.1.gz -rw-r--r-- root/root 744 2012-05-17 19:29 ./usr/share/man/man1/matitac.1.gz drwxr-xr-x root/root 0 2012-05-17 19:29 ./usr/bin/ -rwxr-xr-x root/root 4656196 2012-05-17 19:29 ./usr/bin/matita.opt -rwxr-xr-x root/root 2910752 2012-05-17 19:29 ./usr/bin/matitac.opt lrwxrwxrwx root/root 0 2012-05-17 19:29 ./usr/share/man/man1/matitac.opt.1.gz -> matitac.1.gz lrwxrwxrwx root/root 0 2012-05-17 19:29 ./usr/bin/matitaclean -> matitac lrwxrwxrwx root/root 0 2012-05-17 19:29 ./usr/bin/matitac -> matitac.opt lrwxrwxrwx root/root 0 2012-05-17 19:29 ./usr/bin/matita -> matita.opt 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: quantal Urgency: low Maintainer: Ubuntu/armel Build Daemon 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: 899bc314355b2662f222e1f77c56cd779b8e2bf2 3731094 matita_0.99.1-1_armhf.deb Checksums-Sha256: b6ba213ef4887773f569fde0e2fd89fa0762af05fbab6bea17728030eefd6ffe 3731094 matita_0.99.1-1_armhf.deb Files: 7f2ef5ad08cc4908ca7920405d8b037b 3731094 math optional matita_0.99.1-1_armhf.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20120517-1933 Build needed 00:11:43, 101788k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', 'd82d6fd0251ac3c07133b6d2da8aa326ffdd61e8'] Scanning for processes to kill in build /home/buildd/build-d82d6fd0251ac3c07133b6d2da8aa326ffdd61e8/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'd82d6fd0251ac3c07133b6d2da8aa326ffdd61e8'] Unmounting chroot for build d82d6fd0251ac3c07133b6d2da8aa326ffdd61e8... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'd82d6fd0251ac3c07133b6d2da8aa326ffdd61e8'] Removing build d82d6fd0251ac3c07133b6d2da8aa326ffdd61e8