RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '1696305-3354597', '/home/buildd/filecache-default/21e9d7c4b48c9cc80e593feff4ab876bb80e92c4'] Synching the system clock with the buildd NTP service... 16 Apr 18:57:53 ntpdate[13736]: adjust time server 10.211.37.1 offset -0.000235 sec Unpacking chroot for build 1696305-3354597 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '1696305-3354597'] Mounting chroot for build 1696305-3354597 RUN: /usr/share/launchpad-buildd/slavebin/apply-ogre-model ['apply-ogre-model', '1696305-3354597', 'universe'] Attempting OGRE for universe in build-1696305-3354597 No OGRE sources.list found. RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '1696305-3354597', 'deb http://ftpmaster.internal/ubuntu lucid main universe'] Overriding sources.list in build-1696305-3354597 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '1696305-3354597'] Updating debian chroot for build 1696305-3354597 Get:1 http://ftpmaster.internal lucid Release.gpg [189B] Get:2 http://ftpmaster.internal lucid Release [57.2kB] Get:3 http://ftpmaster.internal lucid/main Packages [1360kB] Get:4 http://ftpmaster.internal lucid/universe Packages [5294kB] Fetched 6712kB in 19s (350kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: apt apt-transport-https base-files bash debconf debconf-i18n dpkg dpkg-dev initramfs-tools initramfs-tools-bin libdrm-intel1 libdrm-nouveau1 libdrm-radeon1 libdrm2 libglib2.0-0 libgssapi-krb5-2 libk5crypto3 libkrb5-3 libkrb5support0 libldap-2.4-2 libpam-modules libpam-runtime libpam0g libplymouth2 libudev0 linux-libc-dev locales module-init-tools mountall plymouth python2.6-minimal udev 32 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 16.3MB of archives. After this operation, 12.3kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpam-modules base-files bash dpkg debconf-i18n debconf apt libpam-runtime libpam0g python2.6-minimal libk5crypto3 libgssapi-krb5-2 libkrb5-3 libkrb5support0 libldap-2.4-2 libglib2.0-0 module-init-tools udev libudev0 initramfs-tools initramfs-tools-bin libdrm2 libdrm-intel1 libdrm-nouveau1 libdrm-radeon1 plymouth libplymouth2 mountall locales apt-transport-https dpkg-dev linux-libc-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ lucid/main libpam-modules 1.1.1-2ubuntu2 [351kB] Get:2 http://ftpmaster.internal/ubuntu/ lucid/main base-files 5.0.0ubuntu18 [80.2kB] Get:3 http://ftpmaster.internal/ubuntu/ lucid/main bash 4.1-2ubuntu2 [626kB] Get:4 http://ftpmaster.internal/ubuntu/ lucid/main dpkg 1.15.5.6ubuntu4 [2175kB] Get:5 http://ftpmaster.internal/ubuntu/ lucid/main debconf-i18n 1.5.28ubuntu4 [178kB] Get:6 http://ftpmaster.internal/ubuntu/ lucid/main debconf 1.5.28ubuntu4 [148kB] Get:7 http://ftpmaster.internal/ubuntu/ lucid/main apt 0.7.25.3ubuntu7 [1773kB] Get:8 http://ftpmaster.internal/ubuntu/ lucid/main libpam-runtime 1.1.1-2ubuntu2 [115kB] Get:9 http://ftpmaster.internal/ubuntu/ lucid/main libpam0g 1.1.1-2ubuntu2 [119kB] Get:10 http://ftpmaster.internal/ubuntu/ lucid/main python2.6-minimal 2.6.5-1ubuntu6 [1330kB] Get:11 http://ftpmaster.internal/ubuntu/ lucid/main libk5crypto3 1.8.1+dfsg-2 [104kB] Get:12 http://ftpmaster.internal/ubuntu/ lucid/main libgssapi-krb5-2 1.8.1+dfsg-2 [111kB] Get:13 http://ftpmaster.internal/ubuntu/ lucid/main libkrb5-3 1.8.1+dfsg-2 [319kB] Get:14 http://ftpmaster.internal/ubuntu/ lucid/main libkrb5support0 1.8.1+dfsg-2 [41.5kB] Get:15 http://ftpmaster.internal/ubuntu/ lucid/main libldap-2.4-2 2.4.21-0ubuntu4 [188kB] Get:16 http://ftpmaster.internal/ubuntu/ lucid/main libglib2.0-0 2.24.0-0ubuntu2 [1004kB] Get:17 http://ftpmaster.internal/ubuntu/ lucid/main module-init-tools 3.11.1-2ubuntu1 [94.7kB] Get:18 http://ftpmaster.internal/ubuntu/ lucid/main udev 151-10 [408kB] Get:19 http://ftpmaster.internal/ubuntu/ lucid/main libudev0 151-10 [117kB] Get:20 http://ftpmaster.internal/ubuntu/ lucid/main initramfs-tools 0.92bubuntu74 [87.3kB] Get:21 http://ftpmaster.internal/ubuntu/ lucid/main initramfs-tools-bin 0.92bubuntu74 [51.6kB] Get:22 http://ftpmaster.internal/ubuntu/ lucid/main libdrm2 2.4.18-1ubuntu3 [409kB] Get:23 http://ftpmaster.internal/ubuntu/ lucid/main libdrm-intel1 2.4.18-1ubuntu3 [409kB] Get:24 http://ftpmaster.internal/ubuntu/ lucid/main libdrm-nouveau1 2.4.18-1ubuntu3 [400kB] Get:25 http://ftpmaster.internal/ubuntu/ lucid/main libdrm-radeon1 2.4.18-1ubuntu3 [398kB] Get:26 http://ftpmaster.internal/ubuntu/ lucid/main plymouth 0.8.2-2 [106kB] Get:27 http://ftpmaster.internal/ubuntu/ lucid/main libplymouth2 0.8.2-2 [83.5kB] Get:28 http://ftpmaster.internal/ubuntu/ lucid/main mountall 2.12 [50.7kB] Get:29 http://ftpmaster.internal/ubuntu/ lucid/main locales 2.11+git20100304-3 [3552kB] Get:30 http://ftpmaster.internal/ubuntu/ lucid/main apt-transport-https 0.7.25.3ubuntu7 [81.3kB] Get:31 http://ftpmaster.internal/ubuntu/ lucid/main dpkg-dev 1.15.5.6ubuntu4 [653kB] Get:32 http://ftpmaster.internal/ubuntu/ lucid/main linux-libc-dev 2.6.32-21.32 [769kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 16.3MB in 2s (7857kB/s) (Reading database ... 13244 files and directories currently installed.) Preparing to replace libpam-modules 1.1.1-2ubuntu1 (using .../libpam-modules_1.1.1-2ubuntu2_armel.deb) ... Unpacking replacement libpam-modules ... Setting up libpam-modules (1.1.1-2ubuntu2) ... (Reading database ... 13245 files and directories currently installed.) Preparing to replace base-files 5.0.0ubuntu14 (using .../base-files_5.0.0ubuntu18_armel.deb) ... Unpacking replacement base-files ... Setting up base-files (5.0.0ubuntu18) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace bash 4.1-2ubuntu1 (using .../bash_4.1-2ubuntu2_armel.deb) ... Unpacking replacement bash ... Setting up bash (4.1-2ubuntu2) ... Installing new version of config file /etc/bash.bashrc ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode. (Reading database ... 13244 files and directories currently installed.) Preparing to replace dpkg 1.15.5.6ubuntu3 (using .../dpkg_1.15.5.6ubuntu4_armel.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.15.5.6ubuntu4) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace debconf-i18n 1.5.28ubuntu3 (using .../debconf-i18n_1.5.28ubuntu4_all.deb) ... Unpacking replacement debconf-i18n ... Setting up debconf-i18n (1.5.28ubuntu4) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace debconf 1.5.28ubuntu3 (using .../debconf_1.5.28ubuntu4_all.deb) ... Unpacking replacement debconf ... Setting up debconf (1.5.28ubuntu4) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace apt 0.7.25.3ubuntu6 (using .../apt_0.7.25.3ubuntu7_armel.deb) ... Unpacking replacement apt ... Setting up apt (0.7.25.3ubuntu7) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13244 files and directories currently installed.) Preparing to replace libpam-runtime 1.1.1-2ubuntu1 (using .../libpam-runtime_1.1.1-2ubuntu2_all.deb) ... Unpacking replacement libpam-runtime ... Setting up libpam-runtime (1.1.1-2ubuntu2) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace libpam0g 1.1.1-2ubuntu1 (using .../libpam0g_1.1.1-2ubuntu2_armel.deb) ... Unpacking replacement libpam0g ... Setting up libpam0g (1.1.1-2ubuntu2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13244 files and directories currently installed.) Preparing to replace python2.6-minimal 2.6.5-1ubuntu4 (using .../python2.6-minimal_2.6.5-1ubuntu6_armel.deb) ... Unpacking replacement python2.6-minimal ... Setting up python2.6-minimal (2.6.5-1ubuntu6) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace libk5crypto3 1.8+dfsg~alpha1-7ubuntu1 (using .../libk5crypto3_1.8.1+dfsg-2_armel.deb) ... Unpacking replacement libk5crypto3 ... Preparing to replace libgssapi-krb5-2 1.8+dfsg~alpha1-7ubuntu1 (using .../libgssapi-krb5-2_1.8.1+dfsg-2_armel.deb) ... Unpacking replacement libgssapi-krb5-2 ... Preparing to replace libkrb5-3 1.8+dfsg~alpha1-7ubuntu1 (using .../libkrb5-3_1.8.1+dfsg-2_armel.deb) ... Unpacking replacement libkrb5-3 ... Preparing to replace libkrb5support0 1.8+dfsg~alpha1-7ubuntu1 (using .../libkrb5support0_1.8.1+dfsg-2_armel.deb) ... Unpacking replacement libkrb5support0 ... Preparing to replace libldap-2.4-2 2.4.21-0ubuntu3 (using .../libldap-2.4-2_2.4.21-0ubuntu4_armel.deb) ... Unpacking replacement libldap-2.4-2 ... Preparing to replace libglib2.0-0 2.24.0-0ubuntu1 (using .../libglib2.0-0_2.24.0-0ubuntu2_armel.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace module-init-tools 3.11.1-2 (using .../module-init-tools_3.11.1-2ubuntu1_armel.deb) ... Unpacking replacement module-init-tools ... Preparing to replace udev 151-8 (using .../archives/udev_151-10_armel.deb) ... Adding `local diversion of /sbin/udevadm to /sbin/udevadm.upgrade' Unpacking replacement udev ... Preparing to replace libudev0 151-8 (using .../libudev0_151-10_armel.deb) ... Unpacking replacement libudev0 ... Preparing to replace initramfs-tools 0.92bubuntu71 (using .../initramfs-tools_0.92bubuntu74_all.deb) ... Unpacking replacement initramfs-tools ... Preparing to replace initramfs-tools-bin 0.92bubuntu71 (using .../initramfs-tools-bin_0.92bubuntu74_armel.deb) ... Unpacking replacement initramfs-tools-bin ... Preparing to replace libdrm2 2.4.18-1ubuntu2 (using .../libdrm2_2.4.18-1ubuntu3_armel.deb) ... Unpacking replacement libdrm2 ... Preparing to replace libdrm-intel1 2.4.18-1ubuntu2 (using .../libdrm-intel1_2.4.18-1ubuntu3_armel.deb) ... Unpacking replacement libdrm-intel1 ... Preparing to replace libdrm-nouveau1 2.4.18-1ubuntu2 (using .../libdrm-nouveau1_2.4.18-1ubuntu3_armel.deb) ... Unpacking replacement libdrm-nouveau1 ... Preparing to replace libdrm-radeon1 2.4.18-1ubuntu2 (using .../libdrm-radeon1_2.4.18-1ubuntu3_armel.deb) ... Unpacking replacement libdrm-radeon1 ... Preparing to replace plymouth 0.8.1-4ubuntu1 (using .../plymouth_0.8.2-2_armel.deb) ... Unpacking replacement plymouth ... Preparing to replace libplymouth2 0.8.1-4ubuntu1 (using .../libplymouth2_0.8.2-2_armel.deb) ... Unpacking replacement libplymouth2 ... Preparing to replace mountall 2.10 (using .../mountall_2.12_armel.deb) ... Unpacking replacement mountall ... Preparing to replace locales 2.11+git20100304-2 (using .../locales_2.11+git20100304-3_all.deb) ... Unpacking replacement locales ... Preparing to replace apt-transport-https 0.7.25.3ubuntu6 (using .../apt-transport-https_0.7.25.3ubuntu7_armel.deb) ... Unpacking replacement apt-transport-https ... Preparing to replace dpkg-dev 1.15.5.6ubuntu3 (using .../dpkg-dev_1.15.5.6ubuntu4_all.deb) ... Unpacking replacement dpkg-dev ... Preparing to replace linux-libc-dev 2.6.32-19.28 (using .../linux-libc-dev_2.6.32-21.32_armel.deb) ... Unpacking replacement linux-libc-dev ... Setting up libkrb5support0 (1.8.1+dfsg-2) ... Setting up libk5crypto3 (1.8.1+dfsg-2) ... Setting up libkrb5-3 (1.8.1+dfsg-2) ... Setting up libgssapi-krb5-2 (1.8.1+dfsg-2) ... Setting up libldap-2.4-2 (2.4.21-0ubuntu4) ... Setting up libglib2.0-0 (2.24.0-0ubuntu2) ... Setting up module-init-tools (3.11.1-2ubuntu1) ... Installing new version of config file /etc/modprobe.d/blacklist-framebuffer.conf ... Setting up libudev0 (151-10) ... Setting up initramfs-tools-bin (0.92bubuntu74) ... Setting up libdrm2 (2.4.18-1ubuntu3) ... Setting up libdrm-intel1 (2.4.18-1ubuntu3) ... Setting up libdrm-nouveau1 (2.4.18-1ubuntu3) ... Setting up libdrm-radeon1 (2.4.18-1ubuntu3) ... Setting up libplymouth2 (0.8.2-2) ... Setting up locales (2.11+git20100304-3) ... Setting up apt-transport-https (0.7.25.3ubuntu7) ... Setting up dpkg-dev (1.15.5.6ubuntu4) ... Setting up linux-libc-dev (2.6.32-21.32) ... Setting up initramfs-tools (0.92bubuntu74) ... update-initramfs: deferring update (trigger activated) Setting up udev (151-10) ... Removing `local diversion of /sbin/udevadm to /sbin/udevadm.upgrade' update-initramfs: deferring update (trigger activated) Setting up mountall (2.12) ... Installing new version of config file /etc/init/mounted-tmp.conf ... Installing new version of config file /etc/init/mounted-varrun.conf ... Installing new version of config file /etc/init/mounted-dev.conf ... Setting up plymouth (0.8.2-2) ... Installing new version of config file /etc/init/plymouth-stop.conf ... update-initramfs: deferring update (trigger activated) Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '1696305-3354597', 'lucid', '--nolog', '--batch', '--archive=ubuntu', '--dist=lucid', '--purpose=PRIMARY', '--comp=universe', 'matita_0.5.8-2build2.dsc'] Initiating build 1696305-3354597 with 0 processor cores. Automatic build of matita_0.5.8-2build2 on cushaw by sbuild/armel 1.170.5 Build started at 20100416-1900 ****************************************************************************** matita_0.5.8-2build2.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, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper (>= 5), cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview2-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2) Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml Checking for already installed source dependencies... ocaml: missing ocaml-findlib: missing libgdome2-ocaml-dev: missing liblablgtk2-ocaml-dev: missing liblablgtkmathview-ocaml-dev: missing libsqlite3-ocaml-dev: missing libocamlnet-ocaml-dev: missing libzip-ocaml-dev: missing libhttp-ocaml-dev: missing ocaml-ulex08: missing libexpat-ocaml-dev: missing debhelper: missing cdbs: missing libmysql-ocaml-dev: missing camlp5: missing liblablgtksourceview2-ocaml-dev: missing dpatch: missing help2man: missing libgtkmathview-dev: 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 liblablgtkmathview-ocaml-dev libsqlite3-ocaml-dev libocamlnet-ocaml-dev libzip-ocaml-dev libhttp-ocaml-dev ocaml-ulex08 libexpat-ocaml-dev debhelper cdbs libmysql-ocaml-dev camlp5 liblablgtksourceview2-ocaml-dev dpatch help2man libgtkmathview-dev Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: autoconf automake autotools-dev bsdmainutils defoma fdupes file fontconfig fontconfig-config gettext gettext-base groff-base html2text intltool intltool-debian libaspell15 libatk1.0-0 libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcairo2-dev libcroco3 libcryptgps-ocaml-dev libcups2 libdatrie1 libdirectfb-1.2-0 libdirectfb-dev libdirectfb-extra libenchant-dev libenchant1c2a libexpat-ocaml libexpat1 libexpat1-dev libfindlib-ocaml libfindlib-ocaml-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgdome2-0 libgdome2-cpp-smart-dev libgdome2-cpp-smart0c2a libgdome2-dev libgdome2-ocaml libglade2-0 libglade2-dev libglib2.0-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtkmathview0c2a libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libhunspell-1.2-0 libice-dev libice6 libjasper1 libjpeg62 libjpeg62-dev liblablgtk2-ocaml liblablgtkmathview-ocaml liblablgtksourceview2-ocaml libmagic1 libmysql-ocaml libmysqlclient-dev libmysqlclient16 libmysqlclient16-dev libncurses5-dev libncursesw5 libnewt0.52 libocamlnet-ocaml libpango1.0-0 libpango1.0-common libpango1.0-dev libpcre-ocaml libpcre-ocaml-dev libpcre3-dev libpcrecpp0 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libsqlite3-0 libsqlite3-dev libsqlite3-ocaml libsysfs-dev libsysfs2 libt1-5 libt1-dev libthai-data libthai0 libtiff4 libts-0.0-0 liburi-perl libwww-perl libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxaw7-dev libxcb-render-util0 libxcb-render-util0-dev libxcb-render0 libxcb-render0-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 libxml-parser-perl libxml2 libxml2-dev libxml2-utils libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxss1 libxt-dev libxt6 libzip-ocaml m4 man-db mime-support mysql-common ocaml-base ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox pkg-config po-debconf python python2.6 shared-mime-info tcl8.5 tk8.5 tsconf ttf-dejavu-core ucf whiptail 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 xtrans-dev zlib1g-dev Suggested packages: autoconf2.13 autoconf-archive gnu-standards autoconf-doc libtool wamerican wordlist whois vacation devscripts doc-base dh-make defoma-doc psfontmgr x-ttcidfont-conf dfontmgr curl gettext-doc groff aspell libcairo2-doc cups-common libenchant-voikko glade glade-gnome libglib2.0-doc python-subunit librsvg2-common gvfs libgtk2.0-doc libgtksourceview2.0-doc libdata-dump-perl libjasper-runtime liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev ttf-japanese-gothic ttf-japanese-mincho ttf-thryomanes ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp libpango1.0-doc imagemagick sqlite3-doc libcrypt-ssleay-perl libio-socket-ssl-perl 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 python-profiler python2.6-doc python2.6-profiler tclreadline Recommended packages: libfont-freetype-perl patchutils cvs aspell-en aspell-dictionary aspell6a-dictionary libatk1.0-data hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary liblablgtk2-ocaml-doc libgpm2 libfribidi0 libocamlnet-ocaml-doc libnethttpd-ocaml-dev libt1-doc libmailtools-perl libhtml-format-perl xml-core ledit readline-editor libmail-sendmail-perl xterm x-terminal-emulator The following NEW packages will be installed: autoconf automake autotools-dev bsdmainutils camlp5 cdbs debhelper defoma dpatch fdupes file fontconfig fontconfig-config gettext gettext-base groff-base help2man html2text intltool intltool-debian libaspell15 libatk1.0-0 libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcairo2-dev libcroco3 libcryptgps-ocaml-dev libcups2 libdatrie1 libdirectfb-1.2-0 libdirectfb-dev libdirectfb-extra libenchant-dev libenchant1c2a libexpat-ocaml libexpat-ocaml-dev libexpat1 libexpat1-dev libfindlib-ocaml libfindlib-ocaml-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgdome2-0 libgdome2-cpp-smart-dev libgdome2-cpp-smart0c2a libgdome2-dev libgdome2-ocaml libgdome2-ocaml-dev libglade2-0 libglade2-dev libglib2.0-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtkmathview-dev libgtkmathview0c2a libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libhttp-ocaml-dev libhunspell-1.2-0 libice-dev libice6 libjasper1 libjpeg62 libjpeg62-dev liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtkmathview-ocaml liblablgtkmathview-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev libmagic1 libmysql-ocaml libmysql-ocaml-dev libmysqlclient-dev libmysqlclient16 libmysqlclient16-dev libncurses5-dev libncursesw5 libnewt0.52 libocamlnet-ocaml libocamlnet-ocaml-dev libpango1.0-0 libpango1.0-common libpango1.0-dev libpcre-ocaml libpcre-ocaml-dev libpcre3-dev libpcrecpp0 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libsqlite3-0 libsqlite3-dev libsqlite3-ocaml libsqlite3-ocaml-dev libsysfs-dev libsysfs2 libt1-5 libt1-dev libthai-data libthai0 libtiff4 libts-0.0-0 liburi-perl libwww-perl libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxaw7-dev libxcb-render-util0 libxcb-render-util0-dev libxcb-render0 libxcb-render0-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 libxml-parser-perl libxml2 libxml2-dev libxml2-utils libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxss1 libxt-dev libxt6 libzip-ocaml libzip-ocaml-dev m4 man-db mime-support mysql-common ocaml ocaml-base ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocaml-ulex08 pkg-config po-debconf python python2.6 shared-mime-info tcl8.5 tk8.5 tsconf ttf-dejavu-core ucf whiptail 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 xtrans-dev zlib1g-dev 0 upgraded, 207 newly installed, 0 to remove and 0 not upgraded. Need to get 72.0MB of archives. After this operation, 258MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! x11-common libice6 x11proto-core-dev libice-dev libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxau-dev libxdmcp-dev x11proto-input-dev x11proto-kb-dev xtrans-dev libpthread-stubs0 libpthread-stubs0-dev libxcb1-dev libx11-dev libxext6 libsm6 libxt6 libxmu6 libxpm4 libxaw7 x11proto-xext-dev libxext-dev libsm-dev libxt-dev libxmu-headers libxmu-dev libxpm-dev libxaw7-dev libxfixes3 libxcomposite1 x11proto-fixes-dev libxfixes-dev x11proto-composite-dev libxcomposite-dev libmagic1 file libncursesw5 libnewt0.52 libpopt0 libsqlite3-0 mime-support python2.6 python ucf whiptail bsdmainutils gettext-base groff-base libexpat1 liburi-perl libhtml-tagset-perl libhtml-parser-perl libhtml-tree-perl libwww-perl libxml-parser-perl libxml2 man-db m4 autoconf autotools-dev automake html2text libcroco3 gettext intltool-debian po-debconf debhelper fdupes intltool cdbs defoma dpatch libfreetype6 ttf-dejavu-core fontconfig-config libfontconfig1 fontconfig help2man libaspell15 libatk1.0-0 pkg-config zlib1g-dev libglib2.0-dev libatk1.0-dev libavahi-common-data libavahi-common3 libavahi-client3 libsysfs2 tsconf libts-0.0-0 libdirectfb-1.2-0 libpixman-1-0 libxcb-render0 libxcb-render-util0 libxrender1 libcairo2 libexpat1-dev libfreetype6-dev libfontconfig1-dev x11proto-render-dev libxrender-dev libpng12-dev libjpeg62 libdirectfb-extra libjpeg62-dev libsysfs-dev libdirectfb-dev libpixman-1-dev libxcb-render0-dev libxcb-render-util0-dev libcairo2-dev ocaml-base-nox libfindlib-ocaml libncurses5-dev ocaml-interp ocaml-nox libfindlib-ocaml-dev ocaml-findlib libcryptgps-ocaml-dev libcups2 libdatrie1 libhunspell-1.2-0 libenchant1c2a libenchant-dev libexpat-ocaml libexpat-ocaml-dev libgdome2-0 libgdome2-cpp-smart0c2a libxml2-dev libgdome2-dev libgdome2-cpp-smart-dev libgdome2-ocaml libgdome2-ocaml-dev libgtk2.0-common libjasper1 libpango1.0-common libthai-data libthai0 libxft2 libpango1.0-0 libtiff4 libxcursor1 libxdamage1 libxi6 libxinerama1 libxrandr2 shared-mime-info libgtk2.0-0 libglade2-0 libxft-dev libpango1.0-dev x11proto-xinerama-dev libxinerama-dev libxi-dev x11proto-randr-dev libxrandr-dev libxcursor-dev x11proto-damage-dev libxdamage-dev libxml2-utils libgtk2.0-dev libglade2-dev libt1-5 libgtkmathview0c2a libt1-dev libgtkmathview-dev libgtksourceview2.0-common libgtksourceview2.0-0 libgtksourceview2.0-dev libgtkspell0 libgtkspell-dev libpcrecpp0 libpcre3-dev libpcre-ocaml libpcre-ocaml-dev libocamlnet-ocaml libocamlnet-ocaml-dev libhttp-ocaml-dev liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtkmathview-ocaml liblablgtkmathview-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev mysql-common libmysqlclient16 libmysql-ocaml libmysqlclient-dev libmysqlclient16-dev libmysql-ocaml-dev libsqlite3-dev libxss1 libzip-ocaml libzip-ocaml-dev tcl8.5 tk8.5 ocaml-base ocaml ocaml-compiler-libs camlp5 ocaml-ulex08 libsqlite3-ocaml libsqlite3-ocaml-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ lucid/main x11-common 1:7.5+5ubuntu1 [308kB] Get:2 http://ftpmaster.internal/ubuntu/ lucid/main libice6 2:1.0.6-1 [45.9kB] Get:3 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-core-dev 7.0.16-1 [92.2kB] Get:4 http://ftpmaster.internal/ubuntu/ lucid/main libice-dev 2:1.0.6-1 [57.2kB] Get:5 http://ftpmaster.internal/ubuntu/ lucid/main libxau6 1:1.0.5-1 [13.5kB] Get:6 http://ftpmaster.internal/ubuntu/ lucid/main libxdmcp6 1:1.0.3-1 [17.1kB] Get:7 http://ftpmaster.internal/ubuntu/ lucid/main libxcb1 1.5-2 [39.5kB] Get:8 http://ftpmaster.internal/ubuntu/ lucid/main libx11-data 2:1.3.2-1ubuntu3 [220kB] Get:9 http://ftpmaster.internal/ubuntu/ lucid/main libx11-6 2:1.3.2-1ubuntu3 [770kB] Get:10 http://ftpmaster.internal/ubuntu/ lucid/main libxau-dev 1:1.0.5-1 [17.2kB] Get:11 http://ftpmaster.internal/ubuntu/ lucid/main libxdmcp-dev 1:1.0.3-1 [20.8kB] Get:12 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-input-dev 2.0-2 [62.5kB] Get:13 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-kb-dev 1.0.4-1 [27.3kB] Get:14 http://ftpmaster.internal/ubuntu/ lucid/main xtrans-dev 1.2.5-1 [68.5kB] Get:15 http://ftpmaster.internal/ubuntu/ lucid/main libpthread-stubs0 0.3-2 [3200B] Get:16 http://ftpmaster.internal/ubuntu/ lucid/main libpthread-stubs0-dev 0.3-2 [2424B] Get:17 http://ftpmaster.internal/ubuntu/ lucid/main libxcb1-dev 1.5-2 [77.4kB] Get:18 http://ftpmaster.internal/ubuntu/ lucid/main libx11-dev 2:1.3.2-1ubuntu3 [3472kB] Get:19 http://ftpmaster.internal/ubuntu/ lucid/main libxext6 2:1.1.1-2 [37.7kB] Get:20 http://ftpmaster.internal/ubuntu/ lucid/main libsm6 2:1.1.1-1 [23.2kB] Get:21 http://ftpmaster.internal/ubuntu/ lucid/main libxt6 1:1.0.7-1 [156kB] Get:22 http://ftpmaster.internal/ubuntu/ lucid/main libxmu6 2:1.0.5-1 [48.2kB] Get:23 http://ftpmaster.internal/ubuntu/ lucid/main libxpm4 1:3.5.8-1 [38.5kB] Get:24 http://ftpmaster.internal/ubuntu/ lucid/main libxaw7 2:1.0.7-1 [172kB] Get:25 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-xext-dev 7.1.1-2 [27.2kB] Get:26 http://ftpmaster.internal/ubuntu/ lucid/main libxext-dev 2:1.1.1-2 [102kB] Get:27 http://ftpmaster.internal/ubuntu/ lucid/main libsm-dev 2:1.1.1-1 [27.1kB] Get:28 http://ftpmaster.internal/ubuntu/ lucid/main libxt-dev 1:1.0.7-1 [479kB] Get:29 http://ftpmaster.internal/ubuntu/ lucid/main libxmu-headers 2:1.0.5-1 [22.7kB] Get:30 http://ftpmaster.internal/ubuntu/ lucid/main libxmu-dev 2:1.0.5-1 [54.7kB] Get:31 http://ftpmaster.internal/ubuntu/ lucid/main libxpm-dev 1:3.5.8-1 [95.2kB] Get:32 http://ftpmaster.internal/ubuntu/ lucid/main libxaw7-dev 2:1.0.7-1 [563kB] Get:33 http://ftpmaster.internal/ubuntu/ lucid/main libxfixes3 1:4.0.4-1 [14.1kB] Get:34 http://ftpmaster.internal/ubuntu/ lucid/main libxcomposite1 1:0.4.1-1 [12.1kB] Get:35 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-fixes-dev 1:4.1.1-2 [15.5kB] Get:36 http://ftpmaster.internal/ubuntu/ lucid/main libxfixes-dev 1:4.0.4-1 [16.9kB] Get:37 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-composite-dev 1:0.4.1-1 [13.3kB] Get:38 http://ftpmaster.internal/ubuntu/ lucid/main libxcomposite-dev 1:0.4.1-1 [15.6kB] Get:39 http://ftpmaster.internal/ubuntu/ lucid/main libmagic1 5.03-5ubuntu1 [389kB] Get:40 http://ftpmaster.internal/ubuntu/ lucid/main file 5.03-5ubuntu1 [47.4kB] Get:41 http://ftpmaster.internal/ubuntu/ lucid/main libncursesw5 5.7+20090803-2ubuntu3 [195kB] Get:42 http://ftpmaster.internal/ubuntu/ lucid/main libnewt0.52 0.52.10-5ubuntu1 [49.4kB] Get:43 http://ftpmaster.internal/ubuntu/ lucid/main libpopt0 1.15-1 [29.4kB] Get:44 http://ftpmaster.internal/ubuntu/ lucid/main libsqlite3-0 3.6.22-1 [264kB] Get:45 http://ftpmaster.internal/ubuntu/ lucid/main mime-support 3.48-1ubuntu1 [34.6kB] Get:46 http://ftpmaster.internal/ubuntu/ lucid/main python2.6 2.6.5-1ubuntu6 [2458kB] Get:47 http://ftpmaster.internal/ubuntu/ lucid/main python 2.6.5-0ubuntu1 [148kB] Get:48 http://ftpmaster.internal/ubuntu/ lucid/main ucf 3.0025 [68.1kB] Get:49 http://ftpmaster.internal/ubuntu/ lucid/main whiptail 0.52.10-5ubuntu1 [38.0kB] Get:50 http://ftpmaster.internal/ubuntu/ lucid/main bsdmainutils 8.0.1ubuntu1 [191kB] Get:51 http://ftpmaster.internal/ubuntu/ lucid/main gettext-base 0.17-8ubuntu3 [69.1kB] Get:52 http://ftpmaster.internal/ubuntu/ lucid/main groff-base 1.20.1-7 [1050kB] Get:53 http://ftpmaster.internal/ubuntu/ lucid/main libexpat1 2.0.1-7ubuntu1 [112kB] Get:54 http://ftpmaster.internal/ubuntu/ lucid/main liburi-perl 1.52-1 [96.8kB] Get:55 http://ftpmaster.internal/ubuntu/ lucid/main libhtml-tagset-perl 3.20-2 [13.5kB] Get:56 http://ftpmaster.internal/ubuntu/ lucid/main libhtml-parser-perl 3.64-1 [110kB] Get:57 http://ftpmaster.internal/ubuntu/ lucid/main libhtml-tree-perl 3.23-1 [209kB] Get:58 http://ftpmaster.internal/ubuntu/ lucid/main libwww-perl 5.834-1 [401kB] Get:59 http://ftpmaster.internal/ubuntu/ lucid/main libxml-parser-perl 2.36-1.1build3 [307kB] Get:60 http://ftpmaster.internal/ubuntu/ lucid/main libxml2 2.7.6.dfsg-1ubuntu1 [767kB] Get:61 http://ftpmaster.internal/ubuntu/ lucid/main man-db 2.5.7-2 [1041kB] Get:62 http://ftpmaster.internal/ubuntu/ lucid/main m4 1.4.13-3 [234kB] Get:63 http://ftpmaster.internal/ubuntu/ lucid/main autoconf 2.65-3ubuntu1 [772kB] Get:64 http://ftpmaster.internal/ubuntu/ lucid/main autotools-dev 20090611.1 [64.1kB] Get:65 http://ftpmaster.internal/ubuntu/ lucid/main automake 1:1.11.1-1 [608kB] Get:66 http://ftpmaster.internal/ubuntu/ lucid/main html2text 1.3.2a-14build1 [94.2kB] Get:67 http://ftpmaster.internal/ubuntu/ lucid/main libcroco3 0.6.2-1 [89.5kB] Get:68 http://ftpmaster.internal/ubuntu/ lucid/main gettext 0.17-8ubuntu3 [1697kB] Get:69 http://ftpmaster.internal/ubuntu/ lucid/main intltool-debian 0.35.0+20060710.1 [31.6kB] Get:70 http://ftpmaster.internal/ubuntu/ lucid/main po-debconf 1.0.16 [224kB] Get:71 http://ftpmaster.internal/ubuntu/ lucid/main debhelper 7.4.15ubuntu1 [461kB] Get:72 http://ftpmaster.internal/ubuntu/ lucid/main fdupes 1.50-PR2-2build1 [19.7kB] Get:73 http://ftpmaster.internal/ubuntu/ lucid/main intltool 0.41.0-0ubuntu1 [52.5kB] Get:74 http://ftpmaster.internal/ubuntu/ lucid/main cdbs 0.4.62+nmu1ubuntu9 [1035kB] Get:75 http://ftpmaster.internal/ubuntu/ lucid/main defoma 0.11.10-4 [101kB] Get:76 http://ftpmaster.internal/ubuntu/ lucid/main dpatch 2.0.31 [88.4kB] Get:77 http://ftpmaster.internal/ubuntu/ lucid/main libfreetype6 2.3.11-1ubuntu2 [382kB] Get:78 http://ftpmaster.internal/ubuntu/ lucid/main ttf-dejavu-core 2.30-2 [1436kB] Get:79 http://ftpmaster.internal/ubuntu/ lucid/main fontconfig-config 2.8.0-2ubuntu1 [205kB] Get:80 http://ftpmaster.internal/ubuntu/ lucid/main libfontconfig1 2.8.0-2ubuntu1 [270kB] Get:81 http://ftpmaster.internal/ubuntu/ lucid/main fontconfig 2.8.0-2ubuntu1 [157kB] Get:82 http://ftpmaster.internal/ubuntu/ lucid/main help2man 1.37.1 [40.6kB] Get:83 http://ftpmaster.internal/ubuntu/ lucid/main libaspell15 0.60.6-3ubuntu1 [587kB] Get:84 http://ftpmaster.internal/ubuntu/ lucid/main libatk1.0-0 1.30.0-0ubuntu2 [50.5kB] Get:85 http://ftpmaster.internal/ubuntu/ lucid/main pkg-config 0.22-1build2 [50.8kB] Get:86 http://ftpmaster.internal/ubuntu/ lucid/main zlib1g-dev 1:1.2.3.3.dfsg-15ubuntu1 [160kB] Get:87 http://ftpmaster.internal/ubuntu/ lucid/main libglib2.0-dev 2.24.0-0ubuntu2 [1097kB] Get:88 http://ftpmaster.internal/ubuntu/ lucid/main libatk1.0-dev 1.30.0-0ubuntu2 [107kB] Get:89 http://ftpmaster.internal/ubuntu/ lucid/main libavahi-common-data 0.6.25-1ubuntu6 [34.6kB] Get:90 http://ftpmaster.internal/ubuntu/ lucid/main libavahi-common3 0.6.25-1ubuntu6 [22.5kB] Get:91 http://ftpmaster.internal/ubuntu/ lucid/main libavahi-client3 0.6.25-1ubuntu6 [51.1kB] Get:92 http://ftpmaster.internal/ubuntu/ lucid/main libsysfs2 2.1.0-6 [19.9kB] Get:93 http://ftpmaster.internal/ubuntu/ lucid/main tsconf 1.0-7build1 [12.8kB] Get:94 http://ftpmaster.internal/ubuntu/ lucid/main libts-0.0-0 1.0-7build1 [29.3kB] Get:95 http://ftpmaster.internal/ubuntu/ lucid/main libdirectfb-1.2-0 1.2.8-5ubuntu2 [1083kB] Get:96 http://ftpmaster.internal/ubuntu/ lucid/main libpixman-1-0 0.16.4-1ubuntu2 [233kB] Get:97 http://ftpmaster.internal/ubuntu/ lucid/main libxcb-render0 1.5-2 [15.5kB] Get:98 http://ftpmaster.internal/ubuntu/ lucid/main libxcb-render-util0 0.3.6-1build1 [8960B] Get:99 http://ftpmaster.internal/ubuntu/ lucid/main libxrender1 1:0.9.5-1 [24.7kB] Get:100 http://ftpmaster.internal/ubuntu/ lucid/main libcairo2 1.8.10-2ubuntu1 [489kB] Get:101 http://ftpmaster.internal/ubuntu/ lucid/main libexpat1-dev 2.0.1-7ubuntu1 [193kB] Get:102 http://ftpmaster.internal/ubuntu/ lucid/main libfreetype6-dev 2.3.11-1ubuntu2 [679kB] Get:103 http://ftpmaster.internal/ubuntu/ lucid/main libfontconfig1-dev 2.8.0-2ubuntu1 [635kB] Get:104 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-render-dev 2:0.11-1 [7404B] Get:105 http://ftpmaster.internal/ubuntu/ lucid/main libxrender-dev 1:0.9.5-1 [33.0kB] Get:106 http://ftpmaster.internal/ubuntu/ lucid/main libpng12-dev 1.2.42-1ubuntu2 [255kB] Get:107 http://ftpmaster.internal/ubuntu/ lucid/main libjpeg62 6b-15ubuntu1 [79.9kB] Get:108 http://ftpmaster.internal/ubuntu/ lucid/main libdirectfb-extra 1.2.8-5ubuntu2 [30.5kB] Get:109 http://ftpmaster.internal/ubuntu/ lucid/main libjpeg62-dev 6b-15ubuntu1 [185kB] Get:110 http://ftpmaster.internal/ubuntu/ lucid/main libsysfs-dev 2.1.0-6 [33.4kB] Get:111 http://ftpmaster.internal/ubuntu/ lucid/main libdirectfb-dev 1.2.8-5ubuntu2 [797kB] Get:112 http://ftpmaster.internal/ubuntu/ lucid/main libpixman-1-dev 0.16.4-1ubuntu2 [249kB] Get:113 http://ftpmaster.internal/ubuntu/ lucid/main libxcb-render0-dev 1.5-2 [23.4kB] Get:114 http://ftpmaster.internal/ubuntu/ lucid/main libxcb-render-util0-dev 0.3.6-1build1 [6844B] Get:115 http://ftpmaster.internal/ubuntu/ lucid/main libcairo2-dev 1.8.10-2ubuntu1 [568kB] Get:116 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-base-nox 3.11.2-1 [512kB] Get:117 http://ftpmaster.internal/ubuntu/ lucid/main libfindlib-ocaml 1.2.5+debian-1build1 [98.2kB] Get:118 http://ftpmaster.internal/ubuntu/ lucid/main libncurses5-dev 5.7+20090803-2ubuntu3 [1561kB] Get:119 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-interp 3.11.2-1 [300kB] Get:120 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-nox 3.11.2-1 [4512kB] Get:121 http://ftpmaster.internal/ubuntu/ lucid/main libfindlib-ocaml-dev 1.2.5+debian-1build1 [94.7kB] Get:122 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-findlib 1.2.5+debian-1build1 [163kB] Get:123 http://ftpmaster.internal/ubuntu/ lucid/universe libcryptgps-ocaml-dev 0.2.1-7build1 [127kB] Get:124 http://ftpmaster.internal/ubuntu/ lucid/main libcups2 1.4.3-1 [205kB] Get:125 http://ftpmaster.internal/ubuntu/ lucid/main libdatrie1 0.2.2-3 [22.4kB] Get:126 http://ftpmaster.internal/ubuntu/ lucid/main libhunspell-1.2-0 1.2.8-6ubuntu1 [137kB] Get:127 http://ftpmaster.internal/ubuntu/ lucid/main libenchant1c2a 1.6.0-0ubuntu1 [79.8kB] Get:128 http://ftpmaster.internal/ubuntu/ lucid/main libenchant-dev 1.6.0-0ubuntu1 [60.8kB] Get:129 http://ftpmaster.internal/ubuntu/ lucid/universe libexpat-ocaml 0.9.1+debian1-7 [9966B] Get:130 http://ftpmaster.internal/ubuntu/ lucid/universe libexpat-ocaml-dev 0.9.1+debian1-7 [19.5kB] Get:131 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-0 0.8.1+debian-4 [85.6kB] Get:132 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-cpp-smart0c2a 0.2.6-5 [39.1kB] Get:133 http://ftpmaster.internal/ubuntu/ lucid/main libxml2-dev 2.7.6.dfsg-1ubuntu1 [709kB] Get:134 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-dev 0.8.1+debian-4 [271kB] Get:135 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-cpp-smart-dev 0.2.6-5 [53.4kB] Get:136 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-ocaml 0.2.6-5 [28.3kB] Get:137 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-ocaml-dev 0.2.6-5 [273kB] Get:138 http://ftpmaster.internal/ubuntu/ lucid/main libgtk2.0-common 2.20.0-0ubuntu4 [707kB] Get:139 http://ftpmaster.internal/ubuntu/ lucid/main libjasper1 1.900.1-7 [133kB] Get:140 http://ftpmaster.internal/ubuntu/ lucid/main libpango1.0-common 1.28.0-0ubuntu2 [111kB] Get:141 http://ftpmaster.internal/ubuntu/ lucid/main libthai-data 0.1.13-1 [196kB] Get:142 http://ftpmaster.internal/ubuntu/ lucid/main libthai0 0.1.13-1 [37.4kB] Get:143 http://ftpmaster.internal/ubuntu/ lucid/main libxft2 2.1.14-1ubuntu1 [48.4kB] Get:144 http://ftpmaster.internal/ubuntu/ lucid/main libpango1.0-0 1.28.0-0ubuntu2 [272kB] Get:145 http://ftpmaster.internal/ubuntu/ lucid/main libtiff4 3.9.2-2 [128kB] Get:146 http://ftpmaster.internal/ubuntu/ lucid/main libxcursor1 1:1.1.10-1 [21.6kB] Get:147 http://ftpmaster.internal/ubuntu/ lucid/main libxdamage1 1:1.1.2-1 [11.4kB] Get:148 http://ftpmaster.internal/ubuntu/ lucid/main libxi6 2:1.3-3 [50.9kB] Get:149 http://ftpmaster.internal/ubuntu/ lucid/main libxinerama1 2:1.1-2 [11.8kB] Get:150 http://ftpmaster.internal/ubuntu/ lucid/main libxrandr2 2:1.3.0-3 [25.3kB] Get:151 http://ftpmaster.internal/ubuntu/ lucid/main shared-mime-info 0.71-1ubuntu1 [418kB] Get:152 http://ftpmaster.internal/ubuntu/ lucid/main libgtk2.0-0 2.20.0-0ubuntu4 [2376kB] Get:153 http://ftpmaster.internal/ubuntu/ lucid/main libglade2-0 1:2.6.4-1build1 [47.5kB] Get:154 http://ftpmaster.internal/ubuntu/ lucid/main libxft-dev 2.1.14-1ubuntu1 [63.8kB] Get:155 http://ftpmaster.internal/ubuntu/ lucid/main libpango1.0-dev 1.28.0-0ubuntu2 [406kB] Get:156 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-xinerama-dev 1.2-2 [4782B] Get:157 http://ftpmaster.internal/ubuntu/ lucid/main libxinerama-dev 2:1.1-2 [14.7kB] Get:158 http://ftpmaster.internal/ubuntu/ lucid/main libxi-dev 2:1.3-3 [132kB] Get:159 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-randr-dev 1.3.1-1 [38.2kB] Get:160 http://ftpmaster.internal/ubuntu/ lucid/main libxrandr-dev 2:1.3.0-3 [33.7kB] Get:161 http://ftpmaster.internal/ubuntu/ lucid/main libxcursor-dev 1:1.1.10-1 [30.2kB] Get:162 http://ftpmaster.internal/ubuntu/ lucid/main x11proto-damage-dev 1:1.2.0-1 [10.2kB] Get:163 http://ftpmaster.internal/ubuntu/ lucid/main libxdamage-dev 1:1.1.2-1 [11.3kB] Get:164 http://ftpmaster.internal/ubuntu/ lucid/main libxml2-utils 2.7.6.dfsg-1ubuntu1 [87.8kB] Get:165 http://ftpmaster.internal/ubuntu/ lucid/main libgtk2.0-dev 2.20.0-0ubuntu4 [3704kB] Get:166 http://ftpmaster.internal/ubuntu/ lucid/main libglade2-dev 1:2.6.4-1build1 [84.6kB] Get:167 http://ftpmaster.internal/ubuntu/ lucid/main libt1-5 5.1.2-3build1 [153kB] Get:168 http://ftpmaster.internal/ubuntu/ lucid/universe libgtkmathview0c2a 0.8.0-4 [863kB] Get:169 http://ftpmaster.internal/ubuntu/ lucid/main libt1-dev 5.1.2-3build1 [146kB] Get:170 http://ftpmaster.internal/ubuntu/ lucid/universe libgtkmathview-dev 0.8.0-4 [1330kB] Get:171 http://ftpmaster.internal/ubuntu/ lucid/main libgtksourceview2.0-common 2.10.0-0ubuntu1 [139kB] Get:172 http://ftpmaster.internal/ubuntu/ lucid/main libgtksourceview2.0-0 2.10.0-0ubuntu1 [154kB] Get:173 http://ftpmaster.internal/ubuntu/ lucid/main libgtksourceview2.0-dev 2.10.0-0ubuntu1 [195kB] Get:174 http://ftpmaster.internal/ubuntu/ lucid/main libgtkspell0 2.0.16-1 [14.9kB] Get:175 http://ftpmaster.internal/ubuntu/ lucid/main libgtkspell-dev 2.0.16-1 [29.9kB] Get:176 http://ftpmaster.internal/ubuntu/ lucid/main libpcrecpp0 7.8-3build1 [95.9kB] Get:177 http://ftpmaster.internal/ubuntu/ lucid/main libpcre3-dev 7.8-3build1 [253kB] Get:178 http://ftpmaster.internal/ubuntu/ lucid/universe libpcre-ocaml 6.0.1-2build1 [19.0kB] Get:179 http://ftpmaster.internal/ubuntu/ lucid/universe libpcre-ocaml-dev 6.0.1-2build1 [44.2kB] Get:180 http://ftpmaster.internal/ubuntu/ lucid/universe libocamlnet-ocaml 2.2.9-7build2 [16.1kB] Get:181 http://ftpmaster.internal/ubuntu/ lucid/universe libocamlnet-ocaml-dev 2.2.9-7build2 [4804kB] Get:182 http://ftpmaster.internal/ubuntu/ lucid/universe libhttp-ocaml-dev 0.1.4-3build2 [77.0kB] Get:183 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtk2-ocaml 2.14.0+dfsg-2build1 [316kB] Get:184 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtk2-ocaml-dev 2.14.0+dfsg-2build1 [1353kB] Get:185 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtkmathview-ocaml 0.7.8-5build2 [11.9kB] Get:186 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtkmathview-ocaml-dev 0.7.8-5build2 [46.8kB] Get:187 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtksourceview2-ocaml 2.14.0+dfsg-2build1 [46.7kB] Get:188 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtksourceview2-ocaml-dev 2.14.0+dfsg-2build1 [79.7kB] Get:189 http://ftpmaster.internal/ubuntu/ lucid/main mysql-common 5.1.41-3ubuntu12 [97.1kB] Get:190 http://ftpmaster.internal/ubuntu/ lucid/main libmysqlclient16 5.1.41-3ubuntu12 [1814kB] Get:191 http://ftpmaster.internal/ubuntu/ lucid/universe libmysql-ocaml 1.0.4-7ubuntu3 [11.4kB] Get:192 http://ftpmaster.internal/ubuntu/ lucid/main libmysqlclient-dev 5.1.41-3ubuntu12 [3004kB] Get:193 http://ftpmaster.internal/ubuntu/ lucid/main libmysqlclient16-dev 5.1.41-3ubuntu12 [92.8kB] Get:194 http://ftpmaster.internal/ubuntu/ lucid/universe libmysql-ocaml-dev 1.0.4-7ubuntu3 [41.2kB] Get:195 http://ftpmaster.internal/ubuntu/ lucid/main libsqlite3-dev 3.6.22-1 [346kB] Get:196 http://ftpmaster.internal/ubuntu/ lucid/main libxss1 1:1.2.0-2 [13.1kB] Get:197 http://ftpmaster.internal/ubuntu/ lucid/universe libzip-ocaml 1.04-6build1 [59.9kB] Get:198 http://ftpmaster.internal/ubuntu/ lucid/universe libzip-ocaml-dev 1.04-6build1 [17.6kB] Get:199 http://ftpmaster.internal/ubuntu/ lucid/main tcl8.5 8.5.8-2 [1516kB] Get:200 http://ftpmaster.internal/ubuntu/ lucid/main tk8.5 8.5.8-1 [1089kB] Get:201 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-base 3.11.2-1 [103kB] Get:202 http://ftpmaster.internal/ubuntu/ lucid/main ocaml 3.11.2-1 [1630kB] Get:203 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-compiler-libs 3.11.2-1 [606kB] Get:204 http://ftpmaster.internal/ubuntu/ lucid/main camlp5 5.12-3 [1423kB] Get:205 http://ftpmaster.internal/ubuntu/ lucid/universe ocaml-ulex08 0.8-8build2 [28.5kB] Get:206 http://ftpmaster.internal/ubuntu/ lucid/universe libsqlite3-ocaml 1.5.6-3build1 [18.2kB] Get:207 http://ftpmaster.internal/ubuntu/ lucid/universe libsqlite3-ocaml-dev 1.5.6-3build1 [35.3kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 72.0MB in 11s (6221kB/s) Selecting previously deselected package x11-common. (Reading database ... 13244 files and directories currently installed.) Unpacking x11-common (from .../x11-common_1%3a7.5+5ubuntu1_all.deb) ... Selecting previously deselected package libice6. Unpacking libice6 (from .../libice6_2%3a1.0.6-1_armel.deb) ... Selecting previously deselected package x11proto-core-dev. Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.16-1_all.deb) ... Setting up x11-common (1:7.5+5ubuntu1) ... Selecting previously deselected package libice-dev. (Reading database ... 13364 files and directories currently installed.) Unpacking libice-dev (from .../libice-dev_2%3a1.0.6-1_armel.deb) ... Selecting previously deselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.5-1_armel.deb) ... Selecting previously deselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.0.3-1_armel.deb) ... Selecting previously deselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.5-2_armel.deb) ... Selecting previously deselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.3.2-1ubuntu3_all.deb) ... Selecting previously deselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.3.2-1ubuntu3_armel.deb) ... Selecting previously deselected package libxau-dev. Unpacking libxau-dev (from .../libxau-dev_1%3a1.0.5-1_armel.deb) ... Selecting previously deselected package libxdmcp-dev. Unpacking libxdmcp-dev (from .../libxdmcp-dev_1%3a1.0.3-1_armel.deb) ... Selecting previously deselected package x11proto-input-dev. Unpacking x11proto-input-dev (from .../x11proto-input-dev_2.0-2_all.deb) ... Selecting previously deselected package x11proto-kb-dev. Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.4-1_all.deb) ... Selecting previously deselected package xtrans-dev. Unpacking xtrans-dev (from .../xtrans-dev_1.2.5-1_all.deb) ... Selecting previously deselected package libpthread-stubs0. Unpacking libpthread-stubs0 (from .../libpthread-stubs0_0.3-2_armel.deb) ... Selecting previously deselected package libpthread-stubs0-dev. Unpacking libpthread-stubs0-dev (from .../libpthread-stubs0-dev_0.3-2_armel.deb) ... Selecting previously deselected package libxcb1-dev. Unpacking libxcb1-dev (from .../libxcb1-dev_1.5-2_armel.deb) ... Selecting previously deselected package libx11-dev. Unpacking libx11-dev (from .../libx11-dev_2%3a1.3.2-1ubuntu3_armel.deb) ... Selecting previously deselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.1.1-2_armel.deb) ... Selecting previously deselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.1.1-1_armel.deb) ... Selecting previously deselected package libxt6. Unpacking libxt6 (from .../libxt6_1%3a1.0.7-1_armel.deb) ... Selecting previously deselected package libxmu6. Unpacking libxmu6 (from .../libxmu6_2%3a1.0.5-1_armel.deb) ... Selecting previously deselected package libxpm4. Unpacking libxpm4 (from .../libxpm4_1%3a3.5.8-1_armel.deb) ... Selecting previously deselected package libxaw7. Unpacking libxaw7 (from .../libxaw7_2%3a1.0.7-1_armel.deb) ... Selecting previously deselected package x11proto-xext-dev. Unpacking x11proto-xext-dev (from .../x11proto-xext-dev_7.1.1-2_all.deb) ... Selecting previously deselected package libxext-dev. Unpacking libxext-dev (from .../libxext-dev_2%3a1.1.1-2_armel.deb) ... Selecting previously deselected package libsm-dev. Unpacking libsm-dev (from .../libsm-dev_2%3a1.1.1-1_armel.deb) ... Selecting previously deselected package libxt-dev. Unpacking libxt-dev (from .../libxt-dev_1%3a1.0.7-1_armel.deb) ... Selecting previously deselected package libxmu-headers. Unpacking libxmu-headers (from .../libxmu-headers_2%3a1.0.5-1_all.deb) ... Selecting previously deselected package libxmu-dev. Unpacking libxmu-dev (from .../libxmu-dev_2%3a1.0.5-1_armel.deb) ... Selecting previously deselected package libxpm-dev. Unpacking libxpm-dev (from .../libxpm-dev_1%3a3.5.8-1_armel.deb) ... Selecting previously deselected package libxaw7-dev. Unpacking libxaw7-dev (from .../libxaw7-dev_2%3a1.0.7-1_armel.deb) ... Selecting previously deselected package libxfixes3. Unpacking libxfixes3 (from .../libxfixes3_1%3a4.0.4-1_armel.deb) ... Selecting previously deselected package libxcomposite1. Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.1-1_armel.deb) ... Selecting previously deselected package x11proto-fixes-dev. Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a4.1.1-2_all.deb) ... Selecting previously deselected package libxfixes-dev. Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a4.0.4-1_armel.deb) ... Selecting previously deselected package x11proto-composite-dev. Unpacking x11proto-composite-dev (from .../x11proto-composite-dev_1%3a0.4.1-1_all.deb) ... Selecting previously deselected package libxcomposite-dev. Unpacking libxcomposite-dev (from .../libxcomposite-dev_1%3a0.4.1-1_armel.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.03-5ubuntu1_armel.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.03-5ubuntu1_armel.deb) ... Selecting previously deselected package libncursesw5. Unpacking libncursesw5 (from .../libncursesw5_5.7+20090803-2ubuntu3_armel.deb) ... Selecting previously deselected package libnewt0.52. Unpacking libnewt0.52 (from .../libnewt0.52_0.52.10-5ubuntu1_armel.deb) ... Selecting previously deselected package libpopt0. Unpacking libpopt0 (from .../libpopt0_1.15-1_armel.deb) ... Selecting previously deselected package libsqlite3-0. Unpacking libsqlite3-0 (from .../libsqlite3-0_3.6.22-1_armel.deb) ... Selecting previously deselected package mime-support. Unpacking mime-support (from .../mime-support_3.48-1ubuntu1_all.deb) ... Selecting previously deselected package python2.6. Unpacking python2.6 (from .../python2.6_2.6.5-1ubuntu6_armel.deb) ... Selecting previously deselected package python. Unpacking python (from .../python_2.6.5-0ubuntu1_all.deb) ... Selecting previously deselected package ucf. Unpacking ucf (from .../archives/ucf_3.0025_all.deb) ... Moving old data out of the way Selecting previously deselected package whiptail. Unpacking whiptail (from .../whiptail_0.52.10-5ubuntu1_armel.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.0.1ubuntu1_armel.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.17-8ubuntu3_armel.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.20.1-7_armel.deb) ... Selecting previously deselected package libexpat1. Unpacking libexpat1 (from .../libexpat1_2.0.1-7ubuntu1_armel.deb) ... Selecting previously deselected package liburi-perl. Unpacking liburi-perl (from .../liburi-perl_1.52-1_all.deb) ... Selecting previously deselected package libhtml-tagset-perl. Unpacking libhtml-tagset-perl (from .../libhtml-tagset-perl_3.20-2_all.deb) ... Selecting previously deselected package libhtml-parser-perl. Unpacking libhtml-parser-perl (from .../libhtml-parser-perl_3.64-1_armel.deb) ... Selecting previously deselected package libhtml-tree-perl. Unpacking libhtml-tree-perl (from .../libhtml-tree-perl_3.23-1_all.deb) ... Selecting previously deselected package libwww-perl. Unpacking libwww-perl (from .../libwww-perl_5.834-1_all.deb) ... Selecting previously deselected package libxml-parser-perl. Unpacking libxml-parser-perl (from .../libxml-parser-perl_2.36-1.1build3_armel.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.6.dfsg-1ubuntu1_armel.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.5.7-2_armel.deb) ... Selecting previously deselected package m4. Unpacking m4 (from .../archives/m4_1.4.13-3_armel.deb) ... Selecting previously deselected package autoconf. Unpacking autoconf (from .../autoconf_2.65-3ubuntu1_all.deb) ... Selecting previously deselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20090611.1_all.deb) ... Selecting previously deselected package automake. Unpacking automake (from .../automake_1%3a1.11.1-1_all.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-14build1_armel.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_armel.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.17-8ubuntu3_armel.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_7.4.15ubuntu1_all.deb) ... Selecting previously deselected package fdupes. Unpacking fdupes (from .../fdupes_1.50-PR2-2build1_armel.deb) ... Selecting previously deselected package intltool. Unpacking intltool (from .../intltool_0.41.0-0ubuntu1_all.deb) ... Selecting previously deselected package cdbs. Unpacking cdbs (from .../cdbs_0.4.62+nmu1ubuntu9_all.deb) ... Selecting previously deselected package defoma. Unpacking defoma (from .../defoma_0.11.10-4_all.deb) ... Selecting previously deselected package dpatch. Unpacking dpatch (from .../archives/dpatch_2.0.31_all.deb) ... Selecting previously deselected package libfreetype6. Unpacking libfreetype6 (from .../libfreetype6_2.3.11-1ubuntu2_armel.deb) ... Selecting previously deselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.30-2_all.deb) ... Selecting previously deselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-2ubuntu1_all.deb) ... Selecting previously deselected package libfontconfig1. Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-2ubuntu1_armel.deb) ... Selecting previously deselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.8.0-2ubuntu1_armel.deb) ... Selecting previously deselected package help2man. Unpacking help2man (from .../help2man_1.37.1_armel.deb) ... Selecting previously deselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.6-3ubuntu1_armel.deb) ... Selecting previously deselected package libatk1.0-0. Unpacking libatk1.0-0 (from .../libatk1.0-0_1.30.0-0ubuntu2_armel.deb) ... Selecting previously deselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.22-1build2_armel.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.3.dfsg-15ubuntu1_armel.deb) ... Selecting previously deselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.24.0-0ubuntu2_armel.deb) ... Selecting previously deselected package libatk1.0-dev. Unpacking libatk1.0-dev (from .../libatk1.0-dev_1.30.0-0ubuntu2_armel.deb) ... Selecting previously deselected package libavahi-common-data. Unpacking libavahi-common-data (from .../libavahi-common-data_0.6.25-1ubuntu6_armel.deb) ... Selecting previously deselected package libavahi-common3. Unpacking libavahi-common3 (from .../libavahi-common3_0.6.25-1ubuntu6_armel.deb) ... Selecting previously deselected package libavahi-client3. Unpacking libavahi-client3 (from .../libavahi-client3_0.6.25-1ubuntu6_armel.deb) ... Selecting previously deselected package libsysfs2. Unpacking libsysfs2 (from .../libsysfs2_2.1.0-6_armel.deb) ... Selecting previously deselected package tsconf. Unpacking tsconf (from .../tsconf_1.0-7build1_all.deb) ... Selecting previously deselected package libts-0.0-0. Unpacking libts-0.0-0 (from .../libts-0.0-0_1.0-7build1_armel.deb) ... Selecting previously deselected package libdirectfb-1.2-0. Unpacking libdirectfb-1.2-0 (from .../libdirectfb-1.2-0_1.2.8-5ubuntu2_armel.deb) ... Selecting previously deselected package libpixman-1-0. Unpacking libpixman-1-0 (from .../libpixman-1-0_0.16.4-1ubuntu2_armel.deb) ... Selecting previously deselected package libxcb-render0. Unpacking libxcb-render0 (from .../libxcb-render0_1.5-2_armel.deb) ... Selecting previously deselected package libxcb-render-util0. Unpacking libxcb-render-util0 (from .../libxcb-render-util0_0.3.6-1build1_armel.deb) ... Selecting previously deselected package libxrender1. Unpacking libxrender1 (from .../libxrender1_1%3a0.9.5-1_armel.deb) ... Selecting previously deselected package libcairo2. Unpacking libcairo2 (from .../libcairo2_1.8.10-2ubuntu1_armel.deb) ... Selecting previously deselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.0.1-7ubuntu1_armel.deb) ... Selecting previously deselected package libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.3.11-1ubuntu2_armel.deb) ... Selecting previously deselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.8.0-2ubuntu1_armel.deb) ... Selecting previously deselected package x11proto-render-dev. Unpacking x11proto-render-dev (from .../x11proto-render-dev_2%3a0.11-1_all.deb) ... Selecting previously deselected package libxrender-dev. Unpacking libxrender-dev (from .../libxrender-dev_1%3a0.9.5-1_armel.deb) ... Selecting previously deselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.42-1ubuntu2_armel.deb) ... Selecting previously deselected package libjpeg62. Unpacking libjpeg62 (from .../libjpeg62_6b-15ubuntu1_armel.deb) ... Selecting previously deselected package libdirectfb-extra. Unpacking libdirectfb-extra (from .../libdirectfb-extra_1.2.8-5ubuntu2_armel.deb) ... Selecting previously deselected package libjpeg62-dev. Unpacking libjpeg62-dev (from .../libjpeg62-dev_6b-15ubuntu1_armel.deb) ... Selecting previously deselected package libsysfs-dev. Unpacking libsysfs-dev (from .../libsysfs-dev_2.1.0-6_armel.deb) ... Selecting previously deselected package libdirectfb-dev. Unpacking libdirectfb-dev (from .../libdirectfb-dev_1.2.8-5ubuntu2_armel.deb) ... Selecting previously deselected package libpixman-1-dev. Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.16.4-1ubuntu2_armel.deb) ... Selecting previously deselected package libxcb-render0-dev. Unpacking libxcb-render0-dev (from .../libxcb-render0-dev_1.5-2_armel.deb) ... Selecting previously deselected package libxcb-render-util0-dev. Unpacking libxcb-render-util0-dev (from .../libxcb-render-util0-dev_0.3.6-1build1_armel.deb) ... Selecting previously deselected package libcairo2-dev. Unpacking libcairo2-dev (from .../libcairo2-dev_1.8.10-2ubuntu1_armel.deb) ... Selecting previously deselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.11.2-1_armel.deb) ... Selecting previously deselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.2.5+debian-1build1_armel.deb) ... Selecting previously deselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20090803-2ubuntu3_armel.deb) ... Selecting previously deselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.11.2-1_armel.deb) ... Selecting previously deselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.11.2-1_armel.deb) ... Selecting previously deselected package libfindlib-ocaml-dev. Unpacking libfindlib-ocaml-dev (from .../libfindlib-ocaml-dev_1.2.5+debian-1build1_armel.deb) ... Selecting previously deselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.2.5+debian-1build1_armel.deb) ... Selecting previously deselected package libcryptgps-ocaml-dev. Unpacking libcryptgps-ocaml-dev (from .../libcryptgps-ocaml-dev_0.2.1-7build1_armel.deb) ... Selecting previously deselected package libcups2. Unpacking libcups2 (from .../libcups2_1.4.3-1_armel.deb) ... Selecting previously deselected package libdatrie1. Unpacking libdatrie1 (from .../libdatrie1_0.2.2-3_armel.deb) ... Selecting previously deselected package libhunspell-1.2-0. Unpacking libhunspell-1.2-0 (from .../libhunspell-1.2-0_1.2.8-6ubuntu1_armel.deb) ... Selecting previously deselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-0ubuntu1_armel.deb) ... Selecting previously deselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-0ubuntu1_armel.deb) ... Selecting previously deselected package libexpat-ocaml. Unpacking libexpat-ocaml (from .../libexpat-ocaml_0.9.1+debian1-7_armel.deb) ... Selecting previously deselected package libexpat-ocaml-dev. Unpacking libexpat-ocaml-dev (from .../libexpat-ocaml-dev_0.9.1+debian1-7_armel.deb) ... Selecting previously deselected package libgdome2-0. Unpacking libgdome2-0 (from .../libgdome2-0_0.8.1+debian-4_armel.deb) ... Selecting previously deselected package libgdome2-cpp-smart0c2a. Unpacking libgdome2-cpp-smart0c2a (from .../libgdome2-cpp-smart0c2a_0.2.6-5_armel.deb) ... Selecting previously deselected package libxml2-dev. Unpacking libxml2-dev (from .../libxml2-dev_2.7.6.dfsg-1ubuntu1_armel.deb) ... Selecting previously deselected package libgdome2-dev. Unpacking libgdome2-dev (from .../libgdome2-dev_0.8.1+debian-4_armel.deb) ... Selecting previously deselected package libgdome2-cpp-smart-dev. Unpacking libgdome2-cpp-smart-dev (from .../libgdome2-cpp-smart-dev_0.2.6-5_armel.deb) ... Selecting previously deselected package libgdome2-ocaml. Unpacking libgdome2-ocaml (from .../libgdome2-ocaml_0.2.6-5_armel.deb) ... Selecting previously deselected package libgdome2-ocaml-dev. Unpacking libgdome2-ocaml-dev (from .../libgdome2-ocaml-dev_0.2.6-5_armel.deb) ... Selecting previously deselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.20.0-0ubuntu4_all.deb) ... Selecting previously deselected package libjasper1. Unpacking libjasper1 (from .../libjasper1_1.900.1-7_armel.deb) ... Selecting previously deselected package libpango1.0-common. Unpacking libpango1.0-common (from .../libpango1.0-common_1.28.0-0ubuntu2_all.deb) ... Selecting previously deselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.13-1_all.deb) ... Selecting previously deselected package libthai0. Unpacking libthai0 (from .../libthai0_0.1.13-1_armel.deb) ... Selecting previously deselected package libxft2. Unpacking libxft2 (from .../libxft2_2.1.14-1ubuntu1_armel.deb) ... Selecting previously deselected package libpango1.0-0. Unpacking libpango1.0-0 (from .../libpango1.0-0_1.28.0-0ubuntu2_armel.deb) ... Selecting previously deselected package libtiff4. Unpacking libtiff4 (from .../libtiff4_3.9.2-2_armel.deb) ... Selecting previously deselected package libxcursor1. Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.10-1_armel.deb) ... Selecting previously deselected package libxdamage1. Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.2-1_armel.deb) ... Selecting previously deselected package libxi6. Unpacking libxi6 (from .../libxi6_2%3a1.3-3_armel.deb) ... Selecting previously deselected package libxinerama1. Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1-2_armel.deb) ... Selecting previously deselected package libxrandr2. Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.0-3_armel.deb) ... Selecting previously deselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_0.71-1ubuntu1_armel.deb) ... Selecting previously deselected package libgtk2.0-0. Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.20.0-0ubuntu4_armel.deb) ... Selecting previously deselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1build1_armel.deb) ... Selecting previously deselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.1.14-1ubuntu1_armel.deb) ... Selecting previously deselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.28.0-0ubuntu2_armel.deb) ... Selecting previously deselected package x11proto-xinerama-dev. Unpacking x11proto-xinerama-dev (from .../x11proto-xinerama-dev_1.2-2_all.deb) ... Selecting previously deselected package libxinerama-dev. Unpacking libxinerama-dev (from .../libxinerama-dev_2%3a1.1-2_armel.deb) ... Selecting previously deselected package libxi-dev. Unpacking libxi-dev (from .../libxi-dev_2%3a1.3-3_armel.deb) ... Selecting previously deselected package x11proto-randr-dev. Unpacking x11proto-randr-dev (from .../x11proto-randr-dev_1.3.1-1_all.deb) ... Selecting previously deselected package libxrandr-dev. Unpacking libxrandr-dev (from .../libxrandr-dev_2%3a1.3.0-3_armel.deb) ... Selecting previously deselected package libxcursor-dev. Unpacking libxcursor-dev (from .../libxcursor-dev_1%3a1.1.10-1_armel.deb) ... Selecting previously deselected package x11proto-damage-dev. Unpacking x11proto-damage-dev (from .../x11proto-damage-dev_1%3a1.2.0-1_all.deb) ... Selecting previously deselected package libxdamage-dev. Unpacking libxdamage-dev (from .../libxdamage-dev_1%3a1.1.2-1_armel.deb) ... Selecting previously deselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.7.6.dfsg-1ubuntu1_armel.deb) ... Selecting previously deselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.20.0-0ubuntu4_armel.deb) ... Selecting previously deselected package libglade2-dev. Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1build1_armel.deb) ... Selecting previously deselected package libt1-5. Unpacking libt1-5 (from .../libt1-5_5.1.2-3build1_armel.deb) ... Selecting previously deselected package libgtkmathview0c2a. Unpacking libgtkmathview0c2a (from .../libgtkmathview0c2a_0.8.0-4_armel.deb) ... Selecting previously deselected package libt1-dev. Unpacking libt1-dev (from .../libt1-dev_5.1.2-3build1_armel.deb) ... Selecting previously deselected package libgtkmathview-dev. Unpacking libgtkmathview-dev (from .../libgtkmathview-dev_0.8.0-4_armel.deb) ... Selecting previously deselected package libgtksourceview2.0-common. Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.0-0ubuntu1_all.deb) ... Selecting previously deselected package libgtksourceview2.0-0. Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.0-0ubuntu1_armel.deb) ... Selecting previously deselected package libgtksourceview2.0-dev. Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.0-0ubuntu1_armel.deb) ... Selecting previously deselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_armel.deb) ... Selecting previously deselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1_armel.deb) ... Selecting previously deselected package libpcrecpp0. Unpacking libpcrecpp0 (from .../libpcrecpp0_7.8-3build1_armel.deb) ... Selecting previously deselected package libpcre3-dev. Unpacking libpcre3-dev (from .../libpcre3-dev_7.8-3build1_armel.deb) ... Selecting previously deselected package libpcre-ocaml. Unpacking libpcre-ocaml (from .../libpcre-ocaml_6.0.1-2build1_armel.deb) ... Selecting previously deselected package libpcre-ocaml-dev. Unpacking libpcre-ocaml-dev (from .../libpcre-ocaml-dev_6.0.1-2build1_armel.deb) ... Selecting previously deselected package libocamlnet-ocaml. Unpacking libocamlnet-ocaml (from .../libocamlnet-ocaml_2.2.9-7build2_armel.deb) ... Selecting previously deselected package libocamlnet-ocaml-dev. Unpacking libocamlnet-ocaml-dev (from .../libocamlnet-ocaml-dev_2.2.9-7build2_armel.deb) ... Selecting previously deselected package libhttp-ocaml-dev. Unpacking libhttp-ocaml-dev (from .../libhttp-ocaml-dev_0.1.4-3build2_armel.deb) ... Selecting previously deselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.0+dfsg-2build1_armel.deb) ... Selecting previously deselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.0+dfsg-2build1_armel.deb) ... Selecting previously deselected package liblablgtkmathview-ocaml. Unpacking liblablgtkmathview-ocaml (from .../liblablgtkmathview-ocaml_0.7.8-5build2_armel.deb) ... Selecting previously deselected package liblablgtkmathview-ocaml-dev. Unpacking liblablgtkmathview-ocaml-dev (from .../liblablgtkmathview-ocaml-dev_0.7.8-5build2_armel.deb) ... Selecting previously deselected package liblablgtksourceview2-ocaml. Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.14.0+dfsg-2build1_armel.deb) ... Selecting previously deselected package liblablgtksourceview2-ocaml-dev. Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_2.14.0+dfsg-2build1_armel.deb) ... Selecting previously deselected package mysql-common. Unpacking mysql-common (from .../mysql-common_5.1.41-3ubuntu12_all.deb) ... Selecting previously deselected package libmysqlclient16. Unpacking libmysqlclient16 (from .../libmysqlclient16_5.1.41-3ubuntu12_armel.deb) ... Selecting previously deselected package libmysql-ocaml. Unpacking libmysql-ocaml (from .../libmysql-ocaml_1.0.4-7ubuntu3_armel.deb) ... Selecting previously deselected package libmysqlclient-dev. Unpacking libmysqlclient-dev (from .../libmysqlclient-dev_5.1.41-3ubuntu12_armel.deb) ... Selecting previously deselected package libmysqlclient16-dev. Unpacking libmysqlclient16-dev (from .../libmysqlclient16-dev_5.1.41-3ubuntu12_all.deb) ... Selecting previously deselected package libmysql-ocaml-dev. Unpacking libmysql-ocaml-dev (from .../libmysql-ocaml-dev_1.0.4-7ubuntu3_armel.deb) ... Selecting previously deselected package libsqlite3-dev. Unpacking libsqlite3-dev (from .../libsqlite3-dev_3.6.22-1_armel.deb) ... Selecting previously deselected package libxss1. Unpacking libxss1 (from .../libxss1_1%3a1.2.0-2_armel.deb) ... Selecting previously deselected package libzip-ocaml. Unpacking libzip-ocaml (from .../libzip-ocaml_1.04-6build1_armel.deb) ... Selecting previously deselected package libzip-ocaml-dev. Unpacking libzip-ocaml-dev (from .../libzip-ocaml-dev_1.04-6build1_armel.deb) ... Selecting previously deselected package tcl8.5. Unpacking tcl8.5 (from .../tcl8.5_8.5.8-2_armel.deb) ... Selecting previously deselected package tk8.5. Unpacking tk8.5 (from .../tk8.5_8.5.8-1_armel.deb) ... Selecting previously deselected package ocaml-base. Unpacking ocaml-base (from .../ocaml-base_3.11.2-1_armel.deb) ... Selecting previously deselected package ocaml. Unpacking ocaml (from .../ocaml_3.11.2-1_armel.deb) ... Selecting previously deselected package ocaml-compiler-libs. Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_3.11.2-1_armel.deb) ... Selecting previously deselected package camlp5. Unpacking camlp5 (from .../camlp5_5.12-3_armel.deb) ... Selecting previously deselected package ocaml-ulex08. Unpacking ocaml-ulex08 (from .../ocaml-ulex08_0.8-8build2_armel.deb) ... Selecting previously deselected package libsqlite3-ocaml. Unpacking libsqlite3-ocaml (from .../libsqlite3-ocaml_1.5.6-3build1_armel.deb) ... Selecting previously deselected package libsqlite3-ocaml-dev. Unpacking libsqlite3-ocaml-dev (from .../libsqlite3-ocaml-dev_1.5.6-3build1_armel.deb) ... Setting up libice6 (2:1.0.6-1) ... Setting up x11proto-core-dev (7.0.16-1) ... Setting up libice-dev (2:1.0.6-1) ... Setting up libxau6 (1:1.0.5-1) ... Setting up libxdmcp6 (1:1.0.3-1) ... Setting up libxcb1 (1.5-2) ... Setting up libx11-data (2:1.3.2-1ubuntu3) ... Setting up libx11-6 (2:1.3.2-1ubuntu3) ... Setting up libxau-dev (1:1.0.5-1) ... Setting up libxdmcp-dev (1:1.0.3-1) ... Setting up x11proto-input-dev (2.0-2) ... Setting up x11proto-kb-dev (1.0.4-1) ... Setting up xtrans-dev (1.2.5-1) ... Setting up libpthread-stubs0 (0.3-2) ... Setting up libpthread-stubs0-dev (0.3-2) ... Setting up libxcb1-dev (1.5-2) ... Setting up libx11-dev (2:1.3.2-1ubuntu3) ... Setting up libxext6 (2:1.1.1-2) ... Setting up libsm6 (2:1.1.1-1) ... Setting up libxt6 (1:1.0.7-1) ... Setting up libxmu6 (2:1.0.5-1) ... Setting up libxpm4 (1:3.5.8-1) ... Setting up libxaw7 (2:1.0.7-1) ... Setting up x11proto-xext-dev (7.1.1-2) ... Setting up libxext-dev (2:1.1.1-2) ... Setting up libsm-dev (2:1.1.1-1) ... Setting up libxt-dev (1:1.0.7-1) ... Setting up libxmu-headers (2:1.0.5-1) ... Setting up libxmu-dev (2:1.0.5-1) ... Setting up libxpm-dev (1:3.5.8-1) ... Setting up libxaw7-dev (2:1.0.7-1) ... Setting up libxfixes3 (1:4.0.4-1) ... Setting up libxcomposite1 (1:0.4.1-1) ... Setting up x11proto-fixes-dev (1:4.1.1-2) ... Setting up libxfixes-dev (1:4.0.4-1) ... Setting up x11proto-composite-dev (1:0.4.1-1) ... Setting up libxcomposite-dev (1:0.4.1-1) ... Setting up libmagic1 (5.03-5ubuntu1) ... Setting up file (5.03-5ubuntu1) ... Setting up libncursesw5 (5.7+20090803-2ubuntu3) ... Setting up libnewt0.52 (0.52.10-5ubuntu1) ... Setting up libpopt0 (1.15-1) ... Setting up libsqlite3-0 (3.6.22-1) ... Setting up mime-support (3.48-1ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.6 (2.6.5-1ubuntu6) ... Setting up python (2.6.5-0ubuntu1) ... Setting up ucf (3.0025) ... Setting up whiptail (0.52.10-5ubuntu1) ... Setting up bsdmainutils (8.0.1ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. Setting up gettext-base (0.17-8ubuntu3) ... Setting up groff-base (1.20.1-7) ... Setting up libexpat1 (2.0.1-7ubuntu1) ... Setting up liburi-perl (1.52-1) ... Setting up libhtml-tagset-perl (3.20-2) ... Setting up libhtml-parser-perl (3.64-1) ... Setting up libhtml-tree-perl (3.23-1) ... Setting up libwww-perl (5.834-1) ... Setting up libxml-parser-perl (2.36-1.1build3) ... Setting up libxml2 (2.7.6.dfsg-1ubuntu1) ... Setting up man-db (2.5.7-2) ... Building database of manual pages ... Setting up m4 (1.4.13-3) ... Setting up autoconf (2.65-3ubuntu1) ... Setting up autotools-dev (20090611.1) ... Setting up automake (1:1.11.1-1) ... update-alternatives: using /usr/bin/automake-1.11 to provide /usr/bin/automake (automake) in auto mode. Setting up html2text (1.3.2a-14build1) ... Setting up libcroco3 (0.6.2-1) ... Setting up gettext (0.17-8ubuntu3) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16) ... Setting up debhelper (7.4.15ubuntu1) ... Setting up fdupes (1.50-PR2-2build1) ... Setting up intltool (0.41.0-0ubuntu1) ... Setting up cdbs (0.4.62+nmu1ubuntu9) ... Setting up defoma (0.11.10-4) ... Setting up dpatch (2.0.31) ... Setting up libfreetype6 (2.3.11-1ubuntu2) ... Setting up ttf-dejavu-core (2.30-2) ... Setting up fontconfig-config (2.8.0-2ubuntu1) ... Setting up libfontconfig1 (2.8.0-2ubuntu1) ... Setting up fontconfig (2.8.0-2ubuntu1) ... Updating font configuration of fontconfig... Cleaning up category cid.. Cleaning up category truetype.. Cleaning up category type1.. Updating category type1.. Updating category truetype.. Updating category cid.. Cleaning up old fontconfig caches... done. Regenerating fonts cache... done. Setting up help2man (1.37.1) ... Setting up libaspell15 (0.60.6-3ubuntu1) ... Setting up libatk1.0-0 (1.30.0-0ubuntu2) ... Setting up pkg-config (0.22-1build2) ... Setting up zlib1g-dev (1:1.2.3.3.dfsg-15ubuntu1) ... Setting up libglib2.0-dev (2.24.0-0ubuntu2) ... Setting up libatk1.0-dev (1.30.0-0ubuntu2) ... Setting up libavahi-common-data (0.6.25-1ubuntu6) ... Setting up libavahi-common3 (0.6.25-1ubuntu6) ... Setting up libavahi-client3 (0.6.25-1ubuntu6) ... Setting up libsysfs2 (2.1.0-6) ... Setting up tsconf (1.0-7build1) ... Setting up libts-0.0-0 (1.0-7build1) ... Setting up libdirectfb-1.2-0 (1.2.8-5ubuntu2) ... Setting up libpixman-1-0 (0.16.4-1ubuntu2) ... Setting up libxcb-render0 (1.5-2) ... Setting up libxcb-render-util0 (0.3.6-1build1) ... Setting up libxrender1 (1:0.9.5-1) ... Setting up libcairo2 (1.8.10-2ubuntu1) ... Setting up libexpat1-dev (2.0.1-7ubuntu1) ... Setting up libfreetype6-dev (2.3.11-1ubuntu2) ... Setting up libfontconfig1-dev (2.8.0-2ubuntu1) ... Setting up x11proto-render-dev (2:0.11-1) ... Setting up libxrender-dev (1:0.9.5-1) ... Setting up libpng12-dev (1.2.42-1ubuntu2) ... Setting up libjpeg62 (6b-15ubuntu1) ... Setting up libdirectfb-extra (1.2.8-5ubuntu2) ... Setting up libjpeg62-dev (6b-15ubuntu1) ... Setting up libsysfs-dev (2.1.0-6) ... Setting up libdirectfb-dev (1.2.8-5ubuntu2) ... Setting up libpixman-1-dev (0.16.4-1ubuntu2) ... Setting up libxcb-render0-dev (1.5-2) ... Setting up libxcb-render-util0-dev (0.3.6-1build1) ... Setting up libcairo2-dev (1.8.10-2ubuntu1) ... Setting up ocaml-base-nox (3.11.2-1) ... Setting up libfindlib-ocaml (1.2.5+debian-1build1) ... Setting up libncurses5-dev (5.7+20090803-2ubuntu3) ... Setting up ocaml-interp (3.11.2-1) ... Setting up ocaml-nox (3.11.2-1) ... Setting up libfindlib-ocaml-dev (1.2.5+debian-1build1) ... Setting up ocaml-findlib (1.2.5+debian-1build1) ... Setting up libcryptgps-ocaml-dev (0.2.1-7build1) ... Setting up libcups2 (1.4.3-1) ... Setting up libdatrie1 (0.2.2-3) ... Setting up libhunspell-1.2-0 (1.2.8-6ubuntu1) ... Setting up libenchant1c2a (1.6.0-0ubuntu1) ... Setting up libenchant-dev (1.6.0-0ubuntu1) ... Setting up libexpat-ocaml (0.9.1+debian1-7) ... Setting up libexpat-ocaml-dev (0.9.1+debian1-7) ... Setting up libgdome2-0 (0.8.1+debian-4) ... Setting up libgdome2-cpp-smart0c2a (0.2.6-5) ... Setting up libxml2-dev (2.7.6.dfsg-1ubuntu1) ... Setting up libgdome2-dev (0.8.1+debian-4) ... Setting up libgdome2-cpp-smart-dev (0.2.6-5) ... Setting up libgdome2-ocaml (0.2.6-5) ... Setting up libgdome2-ocaml-dev (0.2.6-5) ... Setting up libgtk2.0-common (2.20.0-0ubuntu4) ... Setting up libjasper1 (1.900.1-7) ... Setting up libpango1.0-common (1.28.0-0ubuntu2) ... Cleaning up font configuration of pango... Updating font configuration of pango... Cleaning up category xfont.. Updating category xfont.. *** You don't have any defomized font packages. *** So we are trying to force to generate pangox.aliases... Setting up libthai-data (0.1.13-1) ... Setting up libthai0 (0.1.13-1) ... Setting up libxft2 (2.1.14-1ubuntu1) ... Setting up libpango1.0-0 (1.28.0-0ubuntu2) ... Setting up libtiff4 (3.9.2-2) ... Setting up libxcursor1 (1:1.1.10-1) ... Setting up libxdamage1 (1:1.1.2-1) ... Setting up libxi6 (2:1.3-3) ... Setting up libxinerama1 (2:1.1-2) ... Setting up libxrandr2 (2:1.3.0-3) ... Setting up shared-mime-info (0.71-1ubuntu1) ... Setting up libgtk2.0-0 (2.20.0-0ubuntu4) ... Setting up libglade2-0 (1:2.6.4-1build1) ... Setting up libxft-dev (2.1.14-1ubuntu1) ... Setting up libpango1.0-dev (1.28.0-0ubuntu2) ... Setting up x11proto-xinerama-dev (1.2-2) ... Setting up libxinerama-dev (2:1.1-2) ... Setting up libxi-dev (2:1.3-3) ... Setting up x11proto-randr-dev (1.3.1-1) ... Setting up libxrandr-dev (2:1.3.0-3) ... Setting up libxcursor-dev (1:1.1.10-1) ... Setting up x11proto-damage-dev (1:1.2.0-1) ... Setting up libxdamage-dev (1:1.1.2-1) ... Setting up libxml2-utils (2.7.6.dfsg-1ubuntu1) ... Setting up libgtk2.0-dev (2.20.0-0ubuntu4) ... Setting up libglade2-dev (1:2.6.4-1build1) ... Setting up libt1-5 (5.1.2-3build1) ... Setting up libgtkmathview0c2a (0.8.0-4) ... Setting up libt1-dev (5.1.2-3build1) ... Setting up libgtkmathview-dev (0.8.0-4) ... Setting up libgtksourceview2.0-common (2.10.0-0ubuntu1) ... Setting up libgtksourceview2.0-0 (2.10.0-0ubuntu1) ... Setting up libgtksourceview2.0-dev (2.10.0-0ubuntu1) ... Setting up libgtkspell0 (2.0.16-1) ... Setting up libgtkspell-dev (2.0.16-1) ... Setting up libpcrecpp0 (7.8-3build1) ... Setting up libpcre3-dev (7.8-3build1) ... Setting up libpcre-ocaml (6.0.1-2build1) ... Setting up libpcre-ocaml-dev (6.0.1-2build1) ... Setting up libocamlnet-ocaml (2.2.9-7build2) ... Setting up libocamlnet-ocaml-dev (2.2.9-7build2) ... Setting up libhttp-ocaml-dev (0.1.4-3build2) ... Setting up liblablgtk2-ocaml (2.14.0+dfsg-2build1) ... Setting up liblablgtk2-ocaml-dev (2.14.0+dfsg-2build1) ... Setting up liblablgtkmathview-ocaml (0.7.8-5build2) ... Setting up liblablgtkmathview-ocaml-dev (0.7.8-5build2) ... Setting up liblablgtksourceview2-ocaml (2.14.0+dfsg-2build1) ... Setting up liblablgtksourceview2-ocaml-dev (2.14.0+dfsg-2build1) ... Setting up mysql-common (5.1.41-3ubuntu12) ... Setting up libmysqlclient16 (5.1.41-3ubuntu12) ... Setting up libmysql-ocaml (1.0.4-7ubuntu3) ... Setting up libmysqlclient-dev (5.1.41-3ubuntu12) ... Setting up libmysqlclient16-dev (5.1.41-3ubuntu12) ... Setting up libmysql-ocaml-dev (1.0.4-7ubuntu3) ... Setting up libsqlite3-dev (3.6.22-1) ... Setting up libxss1 (1:1.2.0-2) ... Setting up libzip-ocaml (1.04-6build1) ... Setting up libzip-ocaml-dev (1.04-6build1) ... Setting up tcl8.5 (8.5.8-2) ... update-alternatives: using /usr/bin/tclsh8.5 to provide /usr/bin/tclsh (tclsh) in auto mode. Setting up tk8.5 (8.5.8-1) ... update-alternatives: using /usr/bin/wish8.5 to provide /usr/bin/wish (wish) in auto mode. Setting up ocaml-base (3.11.2-1) ... Setting up ocaml (3.11.2-1) ... Setting up ocaml-compiler-libs (3.11.2-1) ... Setting up camlp5 (5.12-3) ... Setting up ocaml-ulex08 (0.8-8build2) ... Setting up libsqlite3-ocaml (1.5.6-3build1) ... Setting up libsqlite3-ocaml-dev (1.5.6-3build1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.11.1-0ubuntu5 make_3.81-7ubuntu1 dpkg-dev_1.15.5.6ubuntu4 g++-4.4_4.4.3-4ubuntu5 gcc-4.4_4.4.3-4ubuntu5 binutils_2.20.1-3ubuntu4 libstdc++6_4.4.3-4ubuntu5 libstdc++6-4.4-dev_4.4.3-4ubuntu5 ------------------------------------------------------------------------------ gpgv: Signature made Fri Apr 16 16:13:20 2010 UTC using DSA key ID FA14013B gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./matita_0.5.8-2build2.dsc dpkg-source: info: extracting matita in matita-0.5.8 dpkg-source: info: unpacking matita_0.5.8.orig.tar.gz dpkg-source: info: applying matita_0.5.8-2build2.diff.gz dpkg-buildpackage: set CFLAGS to default value: -g -O2 dpkg-buildpackage: set CPPFLAGS to default value: dpkg-buildpackage: set LDFLAGS to default value: -Wl,-Bsymbolic-functions dpkg-buildpackage: set FFLAGS to default value: -g -O2 dpkg-buildpackage: set CXXFLAGS to default value: -g -O2 dpkg-buildpackage: source package matita dpkg-buildpackage: source version 0.5.8-2build2 dpkg-buildpackage: host architecture armel /usr/bin/fakeroot debian/rules clean test -x debian/rules dh_testroot /usr/bin/make -C . -k distclean make[1]: Entering directory `/build/buildd/matita-0.5.8' Makefile:3: Makefile.defs: No such file or directory make[1]: *** No rule to make target `Makefile.defs'. make[1]: Failed to remake makefile `Makefile.defs'. make[2]: Entering directory `/build/buildd/matita-0.5.8' Makefile:3: Makefile.defs: No such file or directory make[2]: *** No rule to make target `Makefile.defs'. make[2]: Failed to remake makefile `Makefile.defs'. make -C components distclean DESTDIR=/build/buildd/matita-0.5.8/ make[3]: Entering directory `/build/buildd/matita-0.5.8/components' Makefile:4: ../Makefile.defs: No such file or directory make[3]: *** No rule to make target `../Makefile.defs'. make[3]: Failed to remake makefile `../Makefile.defs'. make[4]: Entering directory `/build/buildd/matita-0.5.8/components/extlib' Makefile:21: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/extlib' make[3]: *** [rec@clean@extlib] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/xml' Makefile:11: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/xml' make[3]: *** [rec@clean@xml] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/hgdome' Makefile:11: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/hgdome' make[3]: *** [rec@clean@hgdome] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/registry' Makefile:6: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/registry' make[3]: *** [rec@clean@registry] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/hmysql' Makefile:13: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/hmysql' make[3]: *** [rec@clean@hmysql] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/syntax_extensions' Makefile:49: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/syntax_extensions' make[3]: *** [rec@clean@syntax_extensions] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/thread' Makefile:9: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f fake/*.cm[aiox] fake/*.cmxa fake/*.[ao] rm -f thread_fake.cma thread_fake.cmxa rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/thread' make[3]: *** [rec@clean@thread] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/xmldiff' Makefile:9: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/xmldiff' make[3]: *** [rec@clean@xmldiff] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/urimanager' Makefile:9: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/urimanager' make[3]: *** [rec@clean@urimanager] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/logger' Makefile:8: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/logger' make[3]: *** [rec@clean@logger] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/getter' Makefile:19: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/getter' make[3]: *** [rec@clean@getter] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic' Makefile:20: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic' make[3]: *** [rec@clean@cic] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_proof_checking' Makefile:27: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_proof_checking' make[3]: *** [rec@clean@cic_proof_checking] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_acic' Makefile:12: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_acic' make[3]: *** [rec@clean@cic_acic] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_exportation' Makefile:13: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_exportation' make[3]: *** [rec@clean@cic_exportation] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/metadata' Makefile:17: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/metadata' make[3]: *** [rec@clean@metadata] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/library' Makefile:19: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/library' make[3]: *** [rec@clean@library] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_kernel' Makefile:23: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_kernel' make[3]: *** [rec@clean@ng_kernel] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/acic_content' Makefile:18: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/acic_content' make[3]: *** [rec@clean@acic_content] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/grafite' Makefile:13: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite' make[3]: *** [rec@clean@grafite] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_unification' Makefile:15: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_unification' make[3]: *** [rec@clean@cic_unification] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/whelp' Makefile:10: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/whelp' make[3]: *** [rec@clean@whelp] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/tactics' Makefile:56: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/tactics' make[3]: *** [rec@clean@tactics] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/acic_procedural' Makefile:19: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/acic_procedural' make[3]: *** [rec@clean@acic_procedural] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/disambiguation' Makefile:14: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/disambiguation' make[3]: *** [rec@clean@disambiguation] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_disambiguation' Makefile:16: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_disambiguation' make[3]: *** [rec@clean@cic_disambiguation] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_refiner' Makefile:21: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_refiner' make[3]: *** [rec@clean@ng_refiner] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_disambiguation' Makefile:41: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_disambiguation' make[3]: *** [rec@clean@ng_disambiguation] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_cic_content' Makefile:13: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_cic_content' make[3]: *** [rec@clean@ng_cic_content] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_paramodulation' Makefile:13: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_paramodulation' make[3]: *** [rec@clean@ng_paramodulation] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_library' Makefile:24: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_library' make[3]: *** [rec@clean@ng_library] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/content_pres' Makefile:43: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: query: Command not found make[4]: query: Command not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f test_lexer{,.opt} rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/content_pres' make[3]: *** [rec@clean@content_pres] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/lexicon' Makefile:16: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/lexicon' make[3]: *** [rec@clean@lexicon] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/tptp_grafite' Makefile:54: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f tptp2grafite rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/tptp_grafite' make[3]: *** [rec@clean@tptp_grafite] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/grafite_parser' Makefile:47: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f test_parser{,.opt} test_dep{,.opt} print_grammar{,.opt} rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite_parser' make[3]: *** [rec@clean@grafite_parser] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_tactics' Makefile:20: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_tactics' make[3]: *** [rec@clean@ng_tactics] Error 2 make[4]: Entering directory `/build/buildd/matita-0.5.8/components/grafite_engine' Makefile:12: ../../Makefile.defs: No such file or directory make[4]: -query: Command not found /bin/sh: query: not found /bin/sh: query: not found /bin/sh: query: not found make[4]: *** No rule to make target `../../Makefile.defs'. make[4]: Failed to remake makefile `../../Makefile.defs'. rm -f *.cm[ioax] *.cmxa *.o *.a *.annot if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite_engine' make[3]: *** [rec@clean@grafite_engine] Error 2 make[3]: Target `distclean' not remade because of errors. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components' make[2]: *** [rec@distclean@components] Error 2 make -C matita distclean DESTDIR=/build/buildd/matita-0.5.8/ make[3]: Entering directory `/build/buildd/matita-0.5.8/matita' Makefile:3: ../Makefile.defs: No such file or directory /bin/bash: query: command not found /bin/bash: query: command not found /bin/bash: query: command not found /bin/bash: query: command not found make[3]: *** No rule to make target `../Makefile.defs'. make[3]: Failed to remake makefile `../Makefile.defs'. make[4]: ../../components/binaries/table_creator/table_creator: Command not found make[4]: Entering directory `/build/buildd/matita-0.5.8/matita/dist' make -C static_link/ clean make[5]: Entering directory `/build/buildd/matita-0.5.8/matita/dist/static_link' rm -f static_link.cm* static_link make[5]: Leaving directory `/build/buildd/matita-0.5.8/matita/dist/static_link' make[4]: Leaving directory `/build/buildd/matita-0.5.8/matita/dist' make[3]: Leaving directory `/build/buildd/matita-0.5.8/matita' make[2]: *** [rec@distclean@matita] Error 2 make[2]: Leaving directory `/build/buildd/matita-0.5.8' make[1]: Leaving directory `/build/buildd/matita-0.5.8' make: [makefile-clean] Error 2 (ignored) rm -f debian/stamp-makefile-build rm -f debian/stamp-autotools-files dh_clean /usr/bin/make -f debian/rules reverse-config make[1]: Entering directory `/build/buildd/matita-0.5.8' make[1]: Nothing to be done for `reverse-config'. make[1]: Leaving directory `/build/buildd/matita-0.5.8' dpatch deapply-all native-compilers not applied to ./ . numbers not applied to ./ . matita.conf.xml.in not applied to ./ . rm -rf debian/patched rm -f debian/stamp-patched debian/rules build test -x debian/rules mkdir -p "." /usr/bin/make -f debian/rules reverse-config make[1]: Entering directory `/build/buildd/matita-0.5.8' make[1]: Nothing to be done for `reverse-config'. make[1]: Leaving directory `/build/buildd/matita-0.5.8' dpatch apply-all applying patch matita.conf.xml.in to ./ ... ok. applying patch numbers to ./ ... ok. applying patch native-compilers to ./ ... ok. /usr/bin/make -f debian/rules update-config make[1]: Entering directory `/build/buildd/matita-0.5.8' make[1]: Nothing to be done for `update-config'. make[1]: Leaving directory `/build/buildd/matita-0.5.8' touch debian/stamp-patched touch debian/stamp-autotools-files chmod a+x /build/buildd/matita-0.5.8/./configure cd . && CFLAGS="-g -O2 -g -Wall -O2" CXXFLAGS="-g -O2 -g -Wall -O2" CPPFLAGS="" LDFLAGS="-Wl,-Bsymbolic-functions" /build/buildd/matita-0.5.8/./configure --build=arm-linux-gnueabi --prefix=/usr --includedir="\${prefix}/include" --mandir="\${prefix}/share/man" --infodir="\${prefix}/share/info" --sysconfdir=/etc --localstatedir=/var --libexecdir="\${prefix}/lib/matita" --disable-maintainer-mode --disable-dependency-tracking --disable-silent-rules --srcdir=. --with-runtime-dir=/usr/share/matita --prefix=/usr/ --with-dbhost=FAKE_HOST configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking, --disable-silent-rules checking for ocamlc... yes checking for ocamlopt... no configure: WARNING: could not find ocamlopt: native code compilation disabled checking for ocamlfind... yes checking for lablgladecc2... yes checking for camlp5o... yes creating METAs ... done checking for expat ocaml library... yes checking for gdome2 ocaml library... yes checking for http ocaml library... yes checking for lablgtk2 ocaml library... yes checking for lablgtksourceview2.gtksourceview2 ocaml library... yes checking for lablgtkmathview ocaml library... yes checking for mysql 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-cic_disambiguation ocaml library... yes checking for helm-grafite ocaml library... yes checking for helm-grafite_engine ocaml library... yes checking for helm-tptp_grafite 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-acic_procedural ocaml library... yes checking for helm-content_pres ocaml library... yes checking for helm-hgdome ocaml library... yes checking for helm-tactics ocaml library... yes checking for helm-ng_paramodulation ocaml library... yes checking for helm-ng_tactics ocaml library... yes checking for helm-cic_exportation ocaml library... yes checking for lablgtk2.glade ocaml library... yes checking for lablgtkmathview ocaml library... yes checking for lablgtksourceview2.gtksourceview2 ocaml library... yes checking for helm-xmldiff ocaml library... yes checking --enable-debug argument... no, debugging disabled. 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/gtkmathview.matita.conf.xml config.status: creating matita/help/C/version.txt config.status: creating Makefile.defs configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking, --disable-silent-rules /usr/bin/make -C . make[1]: Entering directory `/build/buildd/matita-0.5.8' /usr/bin/make rec@depend@components rec@depend@matita make[2]: Entering directory `/build/buildd/matita-0.5.8' /usr/bin/make -C components depend DESTDIR=/build/buildd/matita-0.5.8/ make[3]: Entering directory `/build/buildd/matita-0.5.8/components' ocamlfind: Package `helm-utf8_macros' not found make[4]: Entering directory `/build/buildd/matita-0.5.8/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.5.8/components/syntax_extensions' ocamlfind: Package `helm-utf8_macros' not found make[4]: Entering directory `/build/buildd/matita-0.5.8/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.5.8/components/syntax_extensions' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/extlib' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/extlib' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/xml' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/xml' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/hgdome' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/hgdome' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/registry' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/registry' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/hmysql' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/hmysql' ocamlfind: Package `helm-utf8_macros' not found make[4]: Entering directory `/build/buildd/matita-0.5.8/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.5.8/components/syntax_extensions' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/thread' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/thread' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/xmldiff' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/xmldiff' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/urimanager' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/urimanager' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/logger' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/logger' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/getter' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/getter' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_proof_checking' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_proof_checking' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_acic' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_acic' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_exportation' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_exportation' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/metadata' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/metadata' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/library' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/library' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_kernel' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_kernel' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/acic_content' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/acic_content' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/grafite' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_unification' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_unification' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/whelp' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/whelp' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/tactics' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/tactics' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/acic_procedural' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/acic_procedural' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/disambiguation' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/disambiguation' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/cic_disambiguation' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_disambiguation' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_refiner' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_refiner' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_disambiguation' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_disambiguation' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_cic_content' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_cic_content' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_paramodulation' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_paramodulation' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_library' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_library' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/content_pres' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/content_pres' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/lexicon' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/lexicon' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/tptp_grafite' ocamlyacc parser.mly ocamllex lexer.mll 127 states, 7472 transitions, table size 30650 bytes OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/tptp_grafite' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/grafite_parser' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite_parser' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/ng_tactics' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_tactics' make[4]: Entering directory `/build/buildd/matita-0.5.8/components/grafite_engine' OCAMLDEP make[4]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite_engine' make[3]: Leaving directory `/build/buildd/matita-0.5.8/components' /usr/bin/make -C matita depend DESTDIR=/build/buildd/matita-0.5.8/ make[3]: Entering directory `/build/buildd/matita-0.5.8/matita' OCAMLDEP make[3]: Leaving directory `/build/buildd/matita-0.5.8/matita' make[2]: Leaving directory `/build/buildd/matita-0.5.8' /usr/bin/make -C components world DESTDIR=/build/buildd/matita-0.5.8/ make[2]: Entering directory `/build/buildd/matita-0.5.8/components' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/extlib' OCAMLC componentsConf.mli OCAMLC componentsConf.ml OCAMLC hExtlib.mli OCAMLC hExtlib.ml OCAMLC hMarshal.mli OCAMLC hMarshal.ml OCAMLC patternMatcher.mli OCAMLC patternMatcher.ml OCAMLC hLog.mli OCAMLC hLog.ml OCAMLC trie.mli OCAMLC trie.ml OCAMLC discrimination_tree.mli OCAMLC discrimination_tree.ml OCAMLC hTopoSort.mli OCAMLC hTopoSort.ml OCAMLC refCounter.mli OCAMLC refCounter.ml OCAMLC graphvizPp.mli OCAMLC graphvizPp.ml OCAMLC -a extlib.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/extlib' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/xml' OCAMLC xml.mli OCAMLC xml.ml OCAMLC xmlPushParser.mli OCAMLC xmlPushParser.ml OCAMLC -a xml.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/xml' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/hgdome' OCAMLC domMisc.mli OCAMLC domMisc.ml OCAMLC xml2Gdome.mli OCAMLC xml2Gdome.ml OCAMLC -a hgdome.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/hgdome' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/registry' OCAMLC helm_registry.mli OCAMLC helm_registry.ml OCAMLC -a registry.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/registry' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/hmysql' OCAMLC hSqlite3.ml OCAMLC hMysql.ml OCAMLC hSql.mli OCAMLC hSql.ml OCAMLC -a hmysql.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/hmysql' ocamlfind: Package `helm-utf8_macros' not found make[3]: Entering directory `/build/buildd/matita-0.5.8/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.5.8/components/syntax_extensions' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/thread' OCAMLC threadSafe.mli OCAMLC threadSafe.ml OCAMLC extThread.mli OCAMLC extThread.ml OCAMLC -a thread.cma OCAMLC fake/threadSafe.mli OCAMLC -a thread_fake.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/thread' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/xmldiff' OCAMLC xmlDiff.mli OCAMLC xmlDiff.ml OCAMLC -a xmldiff.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/xmldiff' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/urimanager' OCAMLC uriManager.mli OCAMLC uriManager.ml OCAMLC -a urimanager.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/urimanager' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/logger' OCAMLC helmLogger.mli OCAMLC helmLogger.ml OCAMLC -a logger.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/logger' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/getter' OCAMLC http_getter_types.ml OCAMLC http_getter_wget.mli OCAMLC http_getter_wget.ml OCAMLC http_getter_logger.mli OCAMLC http_getter_logger.ml OCAMLC http_getter_misc.mli OCAMLC http_getter_misc.ml OCAMLC http_getter_const.mli OCAMLC http_getter_const.ml OCAMLC http_getter_env.mli OCAMLC http_getter_env.ml OCAMLC http_getter_storage.mli OCAMLC http_getter_storage.ml OCAMLC http_getter_common.mli OCAMLC http_getter_common.ml OCAMLC http_getter.mli OCAMLC http_getter.ml OCAMLC -a getter.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/getter' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic' OCAMLC cicUniv.mli OCAMLC cic.ml OCAMLC cicUniv.ml OCAMLC unshare.mli OCAMLC unshare.ml OCAMLC deannotate.mli OCAMLC deannotate.ml OCAMLC cicParser.mli OCAMLC cicParser.ml OCAMLC cicUtil.mli OCAMLC cicUtil.ml OCAMLC helmLibraryObjects.mli OCAMLC helmLibraryObjects.ml OCAMLC libraryObjects.mli OCAMLC libraryObjects.ml OCAMLC cic_indexable.mli OCAMLC cic_indexable.ml OCAMLC path_indexing.mli OCAMLC path_indexing.ml OCAMLC cicInspect.mli OCAMLC cicInspect.ml OCAMLC -a cic.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_proof_checking' OCAMLC cicLogger.mli OCAMLC cicLogger.ml OCAMLC cicEnvironment.mli OCAMLC cicEnvironment.ml OCAMLC cicPp.mli OCAMLC cicPp.ml OCAMLC cicUnivUtils.mli OCAMLC cicUnivUtils.ml OCAMLC cicSubstitution.mli OCAMLC cicSubstitution.ml OCAMLC cicMiniReduction.mli OCAMLC cicMiniReduction.ml OCAMLC cicReduction.mli OCAMLC cicReduction.ml OCAMLC cicTypeChecker.mli OCAMLC cicTypeChecker.ml OCAMLC freshNamesGenerator.mli OCAMLC freshNamesGenerator.ml OCAMLC cicDischarge.mli OCAMLC cicDischarge.ml OCAMLC -a cic_proof_checking.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_proof_checking' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_acic' OCAMLC eta_fixing.mli OCAMLC eta_fixing.ml OCAMLC doubleTypeInference.mli OCAMLC doubleTypeInference.ml OCAMLC cic2acic.mli OCAMLC cic2acic.ml OCAMLC cic2Xml.mli OCAMLC cic2Xml.ml OCAMLC -a cic_acic.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_acic' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_exportation' OCAMLC cicExportation.mli OCAMLC cicExportation.ml OCAMLC -a cic_exportation.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_exportation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/metadata' OCAMLC sqlStatements.mli OCAMLC sqlStatements.ml OCAMLC metadataTypes.mli OCAMLC metadataTypes.ml OCAMLC metadataExtractor.mli OCAMLC metadataExtractor.ml OCAMLC metadataPp.mli OCAMLC metadataPp.ml OCAMLC metadataConstraints.mli OCAMLC metadataConstraints.ml OCAMLC metadataDb.mli OCAMLC metadataDb.ml OCAMLC metadataDeps.mli OCAMLC metadataDeps.ml OCAMLC -a metadata.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/metadata' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/library' OCAMLC librarian.mli OCAMLC librarian.ml OCAMLC libraryMisc.mli OCAMLC libraryMisc.ml OCAMLC libraryDb.mli OCAMLC libraryDb.ml OCAMLC coercDb.mli OCAMLC coercDb.ml OCAMLC cicCoercion.mli OCAMLC cicCoercion.ml OCAMLC librarySync.mli OCAMLC librarySync.ml OCAMLC cicElim.mli OCAMLC cicElim.ml OCAMLC cicRecord.mli OCAMLC cicRecord.ml OCAMLC cicFix.mli OCAMLC cicFix.ml OCAMLC libraryClean.mli OCAMLC libraryClean.ml OCAMLC -a library.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/library' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_kernel' OCAMLC nUri.mli OCAMLC nReference.mli OCAMLC nCic.ml OCAMLC nUri.ml OCAMLC nReference.ml OCAMLC nCicUtils.mli OCAMLC nCicUtils.ml OCAMLC nCicSubstitution.mli OCAMLC nCicSubstitution.ml OCAMLC nCicEnvironment.mli OCAMLC nCicEnvironment.ml OCAMLC nCicPp.mli OCAMLC nCicPp.ml OCAMLC nCicReduction.mli OCAMLC nCicReduction.ml OCAMLC nCicTypeChecker.mli OCAMLC nCicTypeChecker.ml OCAMLC nCicUntrusted.mli OCAMLC nCicUntrusted.ml OCAMLC -a ng_kernel.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_kernel' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/acic_content' OCAMLC cicNotationPt.ml OCAMLC content.mli OCAMLC content.ml OCAMLC acic2content.mli OCAMLC acic2content.ml OCAMLC content2cic.mli OCAMLC content2cic.ml OCAMLC cicNotationUtil.mli OCAMLC cicNotationUtil.ml OCAMLC cicNotationEnv.mli OCAMLC cicNotationEnv.ml OCAMLC cicNotationPp.mli OCAMLC cicNotationPp.ml OCAMLC acic2astMatcher.mli OCAMLC acic2astMatcher.ml OCAMLC termAcicContent.mli OCAMLC termAcicContent.ml OCAMLC -a acic_content.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/acic_content' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/grafite' OCAMLC grafiteAst.ml OCAMLC grafiteAstPp.mli OCAMLC grafiteAstPp.ml OCAMLC grafiteMarshal.mli OCAMLC grafiteMarshal.ml OCAMLC -a grafite.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_unification' OCAMLC cicMetaSubst.mli OCAMLC cicMetaSubst.ml OCAMLC cicMkImplicit.mli OCAMLC cicMkImplicit.ml OCAMLC termUtil.mli OCAMLC termUtil.ml OCAMLC coercGraph.mli OCAMLC coercGraph.ml OCAMLC cicUnification.mli OCAMLC cicUnification.ml OCAMLC cicReplace.mli OCAMLC cicReplace.ml OCAMLC cicRefine.mli OCAMLC cicRefine.ml OCAMLC -a cic_unification.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_unification' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/whelp' OCAMLC whelp.mli OCAMLC whelp.ml OCAMLC fwdQueries.mli OCAMLC fwdQueries.ml OCAMLC -a whelp.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/whelp' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/tactics' OCAMLC proofEngineTypes.mli OCAMLC proofEngineTypes.ml OCAMLC proofEngineHelpers.mli OCAMLC proofEngineHelpers.ml OCAMLC proofEngineReduction.mli OCAMLC proofEngineReduction.ml OCAMLC continuationals.mli OCAMLC continuationals.ml OCAMLC tacticals.mli OCAMLC tacticals.ml OCAMLC reductionTactics.mli OCAMLC reductionTactics.ml OCAMLC proofEngineStructuralRules.mli OCAMLC proofEngineStructuralRules.ml OCAMLC primitiveTactics.mli OCAMLC primitiveTactics.ml OCAMLC hashtbl_equiv.mli OCAMLC hashtbl_equiv.ml OCAMLC metadataQuery.mli OCAMLC metadataQuery.ml OCAMLC universe.mli OCAMLC universe.ml OCAMLC autoTypes.mli OCAMLC autoTypes.ml OCAMLC autoCache.mli OCAMLC autoCache.ml OCAMLC paramodulation/utils.mli OCAMLC paramodulation/utils.ml OCAMLC closeCoercionGraph.mli OCAMLC closeCoercionGraph.ml OCAMLC paramodulation/subst.mli OCAMLC paramodulation/subst.ml OCAMLC paramodulation/equality.mli OCAMLC paramodulation/equality.ml OCAMLC paramodulation/founif.mli OCAMLC paramodulation/founif.ml OCAMLC paramodulation/equality_indexing.mli OCAMLC paramodulation/equality_indexing.ml OCAMLC paramodulation/indexing.mli OCAMLC paramodulation/indexing.ml OCAMLC paramodulation/saturation.mli OCAMLC paramodulation/saturation.ml OCAMLC automationCache.mli OCAMLC automationCache.ml OCAMLC variousTactics.mli OCAMLC variousTactics.ml OCAMLC compose.mli OCAMLC compose.ml OCAMLC introductionTactics.mli OCAMLC introductionTactics.ml OCAMLC eliminationTactics.mli OCAMLC eliminationTactics.ml OCAMLC negationTactics.mli OCAMLC negationTactics.ml OCAMLC equalityTactics.mli OCAMLC equalityTactics.ml OCAMLC auto.mli OCAMLC auto.ml OCAMLC destructTactic.mli OCAMLC destructTactic.ml OCAMLC inversion.mli OCAMLC inversion.ml OCAMLC inversion_principle.mli OCAMLC inversion_principle.ml OCAMLC ring.mli OCAMLC ring.ml OCAMLC setoids.mli OCAMLC setoids.ml OCAMLC fourier.mli OCAMLC fourier.ml OCAMLC fourierR.mli OCAMLC fourierR.ml OCAMLC fwdSimplTactic.mli OCAMLC fwdSimplTactic.ml OCAMLC history.mli OCAMLC history.ml OCAMLC statefulProofEngine.mli OCAMLC statefulProofEngine.ml OCAMLC tactics.mli OCAMLC tactics.ml OCAMLC declarative.mli OCAMLC declarative.ml OCAMLC -a tactics.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/tactics' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/acic_procedural' OCAMLC proceduralHelpers.mli OCAMLC proceduralHelpers.ml OCAMLC proceduralClassify.mli OCAMLC proceduralClassify.ml OCAMLC proceduralOptimizer.mli OCAMLC proceduralOptimizer.ml OCAMLC proceduralTypes.mli OCAMLC proceduralTypes.ml OCAMLC proceduralMode.mli OCAMLC proceduralMode.ml OCAMLC proceduralConversion.mli OCAMLC proceduralConversion.ml OCAMLC procedural1.mli OCAMLC procedural1.ml OCAMLC procedural2.mli OCAMLC procedural2.ml OCAMLC proceduralTeX.mli OCAMLC proceduralTeX.ml OCAMLC acic2Procedural.mli OCAMLC acic2Procedural.ml OCAMLC -a acic_procedural.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/acic_procedural' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/disambiguation' OCAMLC -rectypes disambiguateTypes.mli OCAMLC -rectypes disambiguateTypes.ml OCAMLC disambiguate.mli OCAMLC disambiguate.ml OCAMLC multiPassDisambiguator.mli OCAMLC multiPassDisambiguator.ml OCAMLC -a disambiguation.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/disambiguation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_disambiguation' OCAMLC cicDisambiguate.mli OCAMLC cicDisambiguate.ml OCAMLC disambiguateChoices.mli OCAMLC disambiguateChoices.ml OCAMLC number_notation.ml OCAMLC -a cic_disambiguation.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_disambiguation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_refiner' OCAMLC nDiscriminationTree.mli OCAMLC nDiscriminationTree.ml OCAMLC nCicMetaSubst.mli OCAMLC nCicMetaSubst.ml OCAMLC nCicUnifHint.mli OCAMLC nCicUnifHint.ml File "nCicUnifHint.ml", line 345, characters 6-9: Warning Y: unused variable fmt. File "nCicUnifHint.ml", line 337, characters 19-24: Warning Y: unused variable concl. File "nCicUnifHint.ml", line 337, characters 6-17: Warning Y: unused variable recproblems. File "nCicUnifHint.ml", line 330, characters 6-13: Warning Z: unused variable context. File "nCicUnifHint.ml", line 329, characters 14-15: Warning Z: unused variable p. File "nCicUnifHint.ml", line 402, characters 23-24: Warning Z: unused variable l. File "nCicUnifHint.ml", line 406, characters 20-21: Warning Z: unused variable y. File "nCicUnifHint.ml", line 406, characters 17-18: Warning Z: unused variable x. OCAMLC nCicCoercion.mli OCAMLC nCicCoercion.ml OCAMLC nRstatus.mli OCAMLC nRstatus.ml OCAMLC nCicUnification.mli OCAMLC nCicUnification.ml OCAMLC nCicRefiner.mli OCAMLC nCicRefiner.ml OCAMLC -a ng_refiner.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_refiner' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_disambiguation' OCAMLC nCicDisambiguate.mli OCAMLC nCicDisambiguate.ml OCAMLC -a ng_disambiguation.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_disambiguation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_cic_content' OCAMLC ncic2astMatcher.mli OCAMLC ncic2astMatcher.ml OCAMLC nTermCicContent.mli OCAMLC nTermCicContent.ml OCAMLC -a ng_cic_content.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_cic_content' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_paramodulation' OCAMLC terms.mli OCAMLC terms.ml OCAMLC pp.mli OCAMLC pp.ml OCAMLC foSubst.mli OCAMLC foSubst.ml OCAMLC orderings.mli OCAMLC orderings.ml OCAMLC foUtils.mli OCAMLC foUtils.ml OCAMLC foUnif.mli OCAMLC foUnif.ml OCAMLC index.mli OCAMLC index.ml OCAMLC superposition.mli OCAMLC superposition.ml OCAMLC stats.mli OCAMLC stats.ml OCAMLC paramod.mli OCAMLC paramod.ml OCAMLC nCicBlob.mli OCAMLC nCicBlob.ml OCAMLC cicBlob.mli OCAMLC cicBlob.ml OCAMLC nCicProof.mli OCAMLC nCicProof.ml OCAMLC nCicParamod.mli OCAMLC nCicParamod.ml OCAMLC -a ng_paramodulation.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_paramodulation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_library' OCAMLC nCic2OCic.mli OCAMLC nCic2OCic.ml OCAMLC oCic2NCic.mli OCAMLC oCic2NCic.ml OCAMLC nCicLibrary.mli OCAMLC nCicLibrary.ml OCAMLC -a ng_library.cma OCAMLPATH=/build/buildd/matita-0.5.8/components/METAS ocamlfind ocamlc -g -package "helm-ng_refiner helm-ng_cic_content helm-ng_disambiguation helm-ng_paramodulation" -predicates "" -thread -rectypes -pp camlp5o -package helm-ng_library -linkpkg -o rt rt.ml OCAMLPATH=/build/buildd/matita-0.5.8/components/METAS ocamlfind ocamlc -g -package "helm-ng_refiner helm-ng_cic_content helm-ng_disambiguation helm-ng_paramodulation" -predicates "" -thread -rectypes -pp camlp5o -package helm-ng_library -linkpkg -o check check.ml make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_library' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/content_pres' OCAMLC renderingAttrs.mli OCAMLC renderingAttrs.ml OCAMLC cicNotationLexer.mli OCAMLC cicNotationLexer.ml OCAMLC cicNotationParser.mli OCAMLC cicNotationParser.ml OCAMLC mpresentation.mli OCAMLC mpresentation.ml OCAMLC box.mli OCAMLC box.ml OCAMLC content2presMatcher.mli OCAMLC content2presMatcher.ml OCAMLC termContentPres.mli OCAMLC termContentPres.ml OCAMLC cicNotationPres.mli OCAMLC boxPp.mli OCAMLC boxPp.ml OCAMLC cicNotationPres.ml OCAMLC content2pres.mli OCAMLC content2pres.ml OCAMLC sequent2pres.mli OCAMLC sequent2pres.ml OCAMLC -a content_pres.cma OCAMLC test_lexer.ml make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/content_pres' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/lexicon' OCAMLC lexiconAst.ml OCAMLC lexiconAstPp.mli OCAMLC lexiconAstPp.ml OCAMLC lexiconMarshal.mli OCAMLC lexiconMarshal.ml OCAMLC cicNotation.mli OCAMLC cicNotation.ml OCAMLC lexiconEngine.mli OCAMLC lexiconEngine.ml OCAMLC lexiconSync.mli OCAMLC lexiconSync.ml OCAMLC -a lexicon.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/lexicon' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/tptp_grafite' OCAMLC ast.ml OCAMLC parser.mli OCAMLC lexer.ml OCAMLC parser.ml OCAMLC tptp2grafite.mli OCAMLC tptp2grafite.ml OCAMLC -a tptp_grafite.cma OCAMLC main.ml make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/tptp_grafite' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/grafite_parser' OCAMLC dependenciesParser.mli OCAMLC dependenciesParser.ml OCAMLC grafiteParser.mli OCAMLC grafiteParser.ml OCAMLC cicNotation2.mli OCAMLC cicNotation2.ml OCAMLC nEstatus.mli OCAMLC nEstatus.ml OCAMLC grafiteDisambiguate.mli OCAMLC grafiteDisambiguate.ml OCAMLC print_grammar.mli OCAMLC print_grammar.ml OCAMLC -a grafite_parser.cma OCAMLC test_parser.ml OCAMLC test_dep.ml make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite_parser' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_tactics' OCAMLC nCicTacReduction.mli OCAMLC nCicTacReduction.ml OCAMLC nTacStatus.mli OCAMLC nTacStatus.ml OCAMLC nCicElim.mli OCAMLC nCicElim.ml OCAMLC nTactics.mli OCAMLC nTactics.ml OCAMLC zipTree.mli OCAMLC zipTree.ml OCAMLC andOrTree.mli OCAMLC andOrTree.ml OCAMLC nAuto.mli OCAMLC nAuto.ml OCAMLC nInversion.mli OCAMLC nInversion.ml OCAMLC nDestructTac.mli OCAMLC nDestructTac.ml OCAMLC -a ng_tactics.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_tactics' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/grafite_engine' OCAMLC grafiteTypes.mli OCAMLC grafiteTypes.ml OCAMLC grafiteSync.mli OCAMLC grafiteSync.ml OCAMLC nCicCoercDeclaration.mli OCAMLC nCicCoercDeclaration.ml OCAMLC grafiteEngine.mli OCAMLC grafiteEngine.ml OCAMLC -a grafite_engine.cma make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite_engine' make[2]: Leaving directory `/build/buildd/matita-0.5.8/components' /usr/bin/make -C matita world DESTDIR=/build/buildd/matita-0.5.8/ make[2]: Entering directory `/build/buildd/matita-0.5.8/matita' OCAMLDEP OCAMLC buildTimeConf.ml OCAMLC matitaGeneratedGui.ml OCAMLC lablGraphviz.mli OCAMLC lablGraphviz.ml OCAMLC matitaTypes.mli OCAMLC matitaTypes.ml OCAMLC matitaMisc.mli OCAMLC matitaMisc.ml OCAMLC applyTransformation.mli OCAMLC applyTransformation.ml OCAMLC matitaEngine.mli OCAMLC matitaEngine.ml OCAMLC matitaExcPp.mli OCAMLC matitaExcPp.ml OCAMLC matitacLib.mli OCAMLC matitacLib.ml OCAMLC matitaInit.mli OCAMLC matitaInit.ml OCAMLC matitaGtkMisc.mli OCAMLC matitaGtkMisc.ml OCAMLC matitaAutoGui.mli OCAMLC matitaAutoGui.ml OCAMLC virtuals.mli OCAMLC virtuals.ml OCAMLC matitaScript.mli OCAMLC matitaScript.ml OCAMLC predefined_virtuals.mli OCAMLC predefined_virtuals.ml OCAMLC matitaGuiTypes.mli OCAMLC matitaMathView.mli OCAMLC matitaMathView.ml OCAMLC matitaGui.mli OCAMLC matitaGui.ml OCAMLC matita.ml OCAMLC matitaWiki.ml OCAMLC matitadep.mli OCAMLC matitadep.ml OCAMLC matitaclean.mli OCAMLC matitaclean.ml OCAMLC matitac.ml OCAMLC dump_moo.ml make[2]: Leaving directory `/build/buildd/matita-0.5.8/matita' make[1]: Leaving directory `/build/buildd/matita-0.5.8' touch debian/stamp-makefile-build DEB_MAKE_CHECK_TARGET unset, not running checks /usr/bin/fakeroot debian/rules binary-arch test -x debian/rules dh_testroot dh_clean -k dh_installdirs -A mkdir -p "." DEB_MAKE_CHECK_TARGET unset, not running checks DEB_MAKE_INSTALL_TARGET unset, skipping default makefile.mk common-install target # install matita make install-arch DESTDIR=debian/tmp/ MATITA_CFLAGS=-noinnertypes make[1]: Entering directory `/build/buildd/matita-0.5.8' make -C components install-arch DESTDIR=/build/buildd/matita-0.5.8/debian/tmp/ make[2]: Entering directory `/build/buildd/matita-0.5.8/components' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/extlib' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/extlib' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/xml' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/xml' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/hgdome' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/hgdome' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/registry' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/registry' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/hmysql' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/hmysql' ocamlfind: Package `helm-utf8_macros' not found make[3]: Entering directory `/build/buildd/matita-0.5.8/components/syntax_extensions' ../Makefile.common:74: warning: overriding commands for target `test' Makefile:40: warning: ignoring old commands for target `test' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/syntax_extensions' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/thread' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/thread' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/xmldiff' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/xmldiff' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/urimanager' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/urimanager' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/logger' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/logger' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/getter' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/getter' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_proof_checking' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_proof_checking' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_acic' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_acic' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_exportation' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_exportation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/metadata' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/metadata' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/library' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/library' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_kernel' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_kernel' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/acic_content' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/acic_content' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/grafite' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_unification' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_unification' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/whelp' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/whelp' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/tactics' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/tactics' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/acic_procedural' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/acic_procedural' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/disambiguation' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/disambiguation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic_disambiguation' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/cic_disambiguation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_refiner' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_refiner' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_disambiguation' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_disambiguation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_cic_content' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_cic_content' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_paramodulation' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_paramodulation' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_library' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_library' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/content_pres' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/content_pres' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/lexicon' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/lexicon' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/tptp_grafite' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/tptp_grafite' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/grafite_parser' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite_parser' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/ng_tactics' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_tactics' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/grafite_engine' make[3]: Nothing to be done for `install'. make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/grafite_engine' make[2]: Leaving directory `/build/buildd/matita-0.5.8/components' make -C matita install-arch DESTDIR=/build/buildd/matita-0.5.8/debian/tmp/ make[2]: Entering directory `/build/buildd/matita-0.5.8/matita' make[2]: Leaving directory `/build/buildd/matita-0.5.8/matita' make[1]: Leaving directory `/build/buildd/matita-0.5.8' # generate manpages 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 MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \ help2man --name="Matita interative theorem prover - dependency analyzer" -N \ debian/tmp//usr/share/matita/matitadep \ | gzip -9 > debian/tmp//usr/share/man/man1/matitadep.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/ cp matita/matita.byte debian/matita/usr/bin/ || true cp: cannot stat `matita/matita.byte': No such file or directory cp matita/matitac.byte debian/matita/usr/bin/ || true cp: cannot stat `matita/matitac.byte': No such file or directory cp matita/matita.opt debian/matita/usr/bin/ || true cp: cannot stat `matita/matita.opt': No such file or directory cp matita/matitac.opt debian/matita/usr/bin/ || true cp: cannot stat `matita/matitac.opt': No such file or directory # make depend on the interpreter if needed if [ ! -e matita/matitac.opt ]; then \ echo "interpreter:Depends=ocaml-base-nox-3.11.2" \ >> debian/matita.substvars; \ else \ echo "interpreter:Depends=" \ >> debian/matita.substvars; \ fi dh_installdirs -pmatita dh_installdocs -pmatita ./BUGS ./AUTHORS dh_installexamples -pmatita dh_installman -pmatita dh_installinfo -pmatita dh_installmenu -pmatita dh_installcron -pmatita dh_installinit -pmatita Duplicate specification "O=s" for option "O" dh_installdebconf -pmatita dh_installemacsen -pmatita dh_installcatalogs -pmatita dh_installpam -pmatita dh_installlogrotate -pmatita dh_installlogcheck -pmatita dh_installchangelogs -pmatita dh_installudev -pmatita dh_lintian -pmatita dh_install -pmatita --sourcedir=debian/tmp/ dh_link -pmatita dh_installmime -pmatita dh_strip -pmatita dh_strip debug symbol extraction: all non-arch-all packages for this build platform armel: matita dh_strip debug symbol extraction: packages to act on: matita dh_strip debug symbol extraction: ignored packages: dh_compress -pmatita -X.pdf dh_fixperms -pmatita dh_makeshlibs -pmatita dh_installdeb -pmatita dh_perl -pmatita dh_shlibdeps -pmatita dh_gencontrol -pmatita dpkg-gencontrol: warning: unknown substitution variable ${shlibs:Depends} # symlink identical documentation to depending packages [ -n "$CDBS_NO_DOC_SYMLINKING" ] || \ [ -h debian/matita/usr/share/doc ] || \ [ -h debian/matita/usr/share/doc/matita ] || \ [ ! -d debian/matita/usr/share/doc ] || \ for dep in `perl -ne 'if (/^(Pre-)?Depends:/) {s/^\w+://; foreach (split /,/) { split; print($_[0], "\n"); } }' debian/matita/DEBIAN/control`; do \ if [ -d debian/$dep/usr/share/doc ]; then \ echo "Searching for duplicated docs in dependency $dep..."; \ rootdir=`pwd`; \ (cd debian/matita/usr/share/doc/matita; find -type f ! -name copyright | while read f; do \ thisfile="$rootdir/debian/matita/usr/share/doc/matita/$f"; \ depfile="$rootdir/debian/$dep/usr/share/doc/$dep/$f"; \ if [ -f $depfile -o -L $depfile ] && zcmp $thisfile $depfile >/dev/null; then \ echo " symlinking $f in matita to file in $dep"; \ rm $thisfile; ln -s /usr/share/doc/$dep/$f $thisfile; \ fi; \ done ); \ fi; \ done # symlink identical Gnome help files within packages if [ -z "$CDBS_NO_GNOME_HELP_SYMLINKING" ] && [ -d debian/matita/usr/share/gnome/help ]; then \ cd debian/matita && LC_ALL=C fdupes -r1nq usr/share/gnome/help | while read s; do \ set -- $(echo $s | tr ' ' '\n' | sort); \ f=$1; shift; \ for d; do \ echo "symlinking duplicate Gnome help file $d to $f"; \ rm $d; ln -s /$f $d; \ done; \ done; \ fi dh_link -p matita dh_md5sums -pmatita dh_builddeb -pmatita pkgstriptranslations: processing control file: ./debian/matita/DEBIAN/control, package matita, directory ./debian/matita pkgstriptranslations: matita does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " dpkg-deb: warning: 'debian/matita/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warnings about the control file(s) dpkg-deb: building package `matita' in `../matita_0.5.8-2build2_armel.deb'. dpkg-genchanges -B -mUbuntu/armel Build Daemon >../matita_0.5.8-2build2_armel.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20100416-1922 chroot-autobuild/build/buildd/matita_0.5.8-2build2_armel.deb: new debian package, version 2.0. size 15576874 bytes: control archive= 8413 bytes. 921 bytes, 24 lines control 22462 bytes, 258 lines md5sums 185 bytes, 7 lines * postinst #!/bin/sh 160 bytes, 5 lines * postrm #!/bin/sh Package: matita Version: 0.5.8-2build2 Architecture: armel Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 38236 Depends: ocaml-base-nox-3.11.2 Recommends: graphviz, yelp Suggests: matita-doc Conflicts: matita-standard-library Replaces: matita-standard-library 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. . Matita adopts XML-encoded proof objects are produced for storage and exchange. This makes it compatible, at some extent, with Coq. . The graphical interface has been inspired by CtCoq and Proof General. It supports high quality bidimensional rendering of proofs and formulae transformed on-the-fly to MathML markup chroot-autobuild/build/buildd/matita_0.5.8-2build2_armel.deb: drwxr-xr-x root/root 0 2010-04-16 19:20 ./ drwxr-xr-x root/root 0 2010-04-16 19:19 ./usr/ drwxr-xr-x root/root 0 2010-04-16 19:20 ./usr/share/ drwxr-xr-x root/root 0 2010-04-16 19:20 ./usr/share/doc/ drwxr-xr-x root/root 0 2010-04-16 19:20 ./usr/share/doc/matita/ -rw-r--r-- root/root 106 2009-12-01 22:54 ./usr/share/doc/matita/BUGS -rw-r--r-- root/root 232 2009-12-01 22:54 ./usr/share/doc/matita/AUTHORS -rw-r--r-- root/root 1642 2010-04-16 19:07 ./usr/share/doc/matita/changelog.Debian.gz -rw-r--r-- root/root 1045 2010-04-16 19:07 ./usr/share/doc/matita/copyright drwxr-xr-x root/root 0 2010-04-16 19:20 ./usr/share/man/ drwxr-xr-x root/root 0 2010-04-16 19:20 ./usr/share/man/man1/ -rw-r--r-- root/root 685 2010-04-16 19:20 ./usr/share/man/man1/matitaclean.1.gz -rw-r--r-- root/root 763 2010-04-16 19:20 ./usr/share/man/man1/matitadep.1.gz -rw-r--r-- root/root 678 2010-04-16 19:20 ./usr/share/man/man1/matitac.1.gz drwxr-xr-x root/root 0 2010-04-16 19:20 ./usr/share/matita/ -rw-r--r-- root/root 762 2010-04-16 19:07 ./usr/share/matita/gtkmathview.matita.conf.xml drwxr-xr-x root/root 0 2010-04-16 19:20 ./usr/share/matita/ma/ drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/ -rw-r--r-- root/root 251966 2009-10-23 14:45 ./usr/share/matita/ma/new-standard-library/depends.png drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/algebra/ -rw-r--r-- root/root 1150 2009-08-13 18:15 ./usr/share/matita/ma/new-standard-library/algebra/abelian_magmas.ma -rw-r--r-- root/root 1334 2009-08-13 18:15 ./usr/share/matita/ma/new-standard-library/algebra/unital_magmas.ma -rw-r--r-- root/root 3990 2009-10-23 14:45 ./usr/share/matita/ma/new-standard-library/algebra/bool.ma -rw-r--r-- root/root 3178 2009-10-04 15:35 ./usr/share/matita/ma/new-standard-library/algebra/magmas.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/datatypes/ -rw-r--r-- root/root 1093 2009-08-21 19:11 ./usr/share/matita/ma/new-standard-library/datatypes/pairs.ma -rw-r--r-- root/root 1085 2009-08-14 18:24 ./usr/share/matita/ma/new-standard-library/datatypes/bool.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/logic/ -rw-r--r-- root/root 3246 2009-09-28 12:12 ./usr/share/matita/ma/new-standard-library/logic/cprop.ma -rw-r--r-- root/root 2053 2009-11-17 13:01 ./usr/share/matita/ma/new-standard-library/logic/destruct_bb.ma -rw-r--r-- root/root 1158 2009-11-16 17:09 ./usr/share/matita/ma/new-standard-library/logic/pts.ma -rw-r--r-- root/root 2288 2009-10-06 16:04 ./usr/share/matita/ma/new-standard-library/logic/connectives.ma -rw-r--r-- root/root 5053 2009-11-17 13:01 ./usr/share/matita/ma/new-standard-library/logic/equality.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/properties/ -rw-r--r-- root/root 1475 2009-07-31 18:32 ./usr/share/matita/ma/new-standard-library/properties/relations.ma -rw-r--r-- root/root 1489 2009-07-31 18:32 ./usr/share/matita/ma/new-standard-library/properties/relations1.ma -rw-r--r-- root/root 23 2009-07-07 14:15 ./usr/share/matita/ma/new-standard-library/root -rw-r--r-- root/root 268 2009-07-07 14:15 ./usr/share/matita/ma/new-standard-library/Makefile -rw-r--r-- root/root 3054 2009-10-23 14:45 ./usr/share/matita/ma/new-standard-library/depends.dot drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/sets/ -rw-r--r-- root/root 2749 2009-08-06 11:08 ./usr/share/matita/ma/new-standard-library/sets/setoids1.ma -rw-r--r-- root/root 14173 2009-10-23 08:20 ./usr/share/matita/ma/new-standard-library/sets/sets.ma -rw-r--r-- root/root 2430 2009-07-31 18:32 ./usr/share/matita/ma/new-standard-library/sets/setoids.ma -rw-r--r-- root/root 9735 2009-10-28 15:00 ./usr/share/matita/ma/new-standard-library/sets/partitions.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/topology/ -rw-r--r-- root/root 4651 2009-10-28 14:51 ./usr/share/matita/ma/new-standard-library/topology/igft2.ma -rw-r--r-- root/root 22325 2009-10-21 10:30 ./usr/share/matita/ma/new-standard-library/topology/igft-setoid.ma -rw-r--r-- root/root 1711 2009-09-25 16:28 ./usr/share/matita/ma/new-standard-library/topology/convert.awk -rw-r--r-- root/root 58445 2009-10-28 14:46 ./usr/share/matita/ma/new-standard-library/topology/igft.ma -rw-r--r-- root/root 17 2009-09-23 12:30 ./usr/share/matita/ma/new-standard-library/topology/postamble.xml -rw-r--r-- root/root 412 2009-10-18 19:46 ./usr/share/matita/ma/new-standard-library/topology/Makefile -rw-r--r-- root/root 1174 2009-10-17 08:03 ./usr/share/matita/ma/new-standard-library/topology/preamble.xml -rw-r--r-- root/root 3346 2009-09-24 12:51 ./usr/share/matita/ma/new-standard-library/topology/sh_gedit.css -rw-r--r-- root/root 4206 2009-10-29 15:40 ./usr/share/matita/ma/new-standard-library/topology/cantor.ma -rw-r--r-- root/root 16772 2009-10-21 10:30 ./usr/share/matita/ma/new-standard-library/topology/igft-CIC-universes.svg -rw-r--r-- root/root 1142 2009-09-25 16:28 ./usr/share/matita/ma/new-standard-library/topology/sh_grafite.js -rw-r--r-- root/root 15433 2009-09-24 12:50 ./usr/share/matita/ma/new-standard-library/topology/sh_main.js -rw-r--r-- root/root 29767 2009-10-21 10:30 ./usr/share/matita/ma/new-standard-library/topology/igft-minimality-CIC.svg -rw-r--r-- root/root 543 2009-09-25 16:28 ./usr/share/matita/ma/new-standard-library/topology/grafite.lang drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/nat/ -rw-r--r-- root/root 1369 2009-08-20 14:33 ./usr/share/matita/ma/new-standard-library/nat/compare.ma -rw-r--r-- root/root 1289 2009-11-17 13:01 ./usr/share/matita/ma/new-standard-library/nat/nat.ma -rw-r--r-- root/root 1469 2009-08-20 14:33 ./usr/share/matita/ma/new-standard-library/nat/big_ops.ma -rw-r--r-- root/root 1349 2009-08-20 18:50 ./usr/share/matita/ma/new-standard-library/nat/minus.ma -rw-r--r-- root/root 2108 2009-10-04 15:33 ./usr/share/matita/ma/new-standard-library/nat/order.ma -rw-r--r-- root/root 2362 2009-08-20 18:50 ./usr/share/matita/ma/new-standard-library/nat/plus.ma -rw-r--r-- root/root 3497 2009-10-06 16:04 ./usr/share/matita/ma/new-standard-library/hints_declaration.ma -rw-r--r-- root/root 1344 2009-10-23 14:45 ./usr/share/matita/ma/new-standard-library/depends drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/ drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/algebra/ -rw-r--r-- root/root 11815 2009-06-13 20:00 ./usr/share/matita/ma/standard-library/algebra/finite_groups.ma -rw-r--r-- root/root 2178 2009-06-13 20:00 ./usr/share/matita/ma/standard-library/algebra/monoids.ma -rw-r--r-- root/root 1788 2009-06-13 20:00 ./usr/share/matita/ma/standard-library/algebra/semigroups.ma -rw-r--r-- root/root 8614 2009-06-13 20:00 ./usr/share/matita/ma/standard-library/algebra/groups.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/datatypes/ -rw-r--r-- root/root 1239 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/datatypes/compare.ma -rw-r--r-- root/root 5086 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/datatypes/subsets.ma -rw-r--r-- root/root 4793 2009-05-13 20:30 ./usr/share/matita/ma/standard-library/datatypes/bool.ma -rw-r--r-- root/root 2134 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/datatypes/constructors.ma -rw-r--r-- root/root 8620 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/datatypes/categories.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/logic/ -rw-r--r-- root/root 2746 2009-06-03 15:42 ./usr/share/matita/ma/standard-library/logic/connectives.ma -rw-r--r-- root/root 1383 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/logic/connectives2.ma -rw-r--r-- root/root 1659 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/logic/coimplication.ma -rw-r--r-- root/root 6776 2009-05-08 15:39 ./usr/share/matita/ma/standard-library/logic/equality.ma -rw-r--r-- root/root 5793 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/logic/cprop_connectives.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/formal_topology/ -rw-r--r-- root/root 4572 2009-01-26 17:12 ./usr/share/matita/ma/standard-library/formal_topology/concrete_spaces.ma.dontcompile -rw-r--r-- root/root 6519 2009-01-26 17:12 ./usr/share/matita/ma/standard-library/formal_topology/basic_pairs.ma.dontcompile -rw-r--r-- root/root 9230 2009-01-26 17:12 ./usr/share/matita/ma/standard-library/formal_topology/basic_topologies.ma.dontcompile -rw-r--r-- root/root 1854 2009-01-26 17:12 ./usr/share/matita/ma/standard-library/formal_topology/saturations_reductions.ma.dontcompile -rw-r--r-- root/root 4578 2009-01-26 17:12 ./usr/share/matita/ma/standard-library/formal_topology/formal_topologies.ma.dontcompile -rw-r--r-- root/root 10370 2009-01-26 17:12 ./usr/share/matita/ma/standard-library/formal_topology/relations.ma.dontcompile -rw-r--r-- root/root 20 2008-01-10 22:32 ./usr/share/matita/ma/standard-library/root drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/list/ -rw-r--r-- root/root 6071 2009-06-20 17:53 ./usr/share/matita/ma/standard-library/list/list.ma -rw-r--r-- root/root 5710 2009-06-20 17:53 ./usr/share/matita/ma/standard-library/list/in.ma -rw-r--r-- root/root 6625 2008-06-08 18:12 ./usr/share/matita/ma/standard-library/list/sort.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/didactic/ drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/didactic/support/ -rw-r--r-- root/root 38380 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/support/natural_deduction.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/didactic/exercises/ -rw-r--r-- root/root 11492 2009-11-05 22:30 ./usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction.ma -rw-r--r-- root/root 22013 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/exercises/duality.ma -rw-r--r-- root/root 19769 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/exercises/substitution.ma -rw-r--r-- root/root 8407 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction_fst_order.ma -rw-r--r-- root/root 661 2008-11-15 13:21 ./usr/share/matita/ma/standard-library/didactic/exercises/Makefile -rw-r--r-- root/root 19880 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/exercises/shannon.ma -rw-r--r-- root/root 6563 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction1.ma -rw-r--r-- root/root 9921 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction_theories.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/Z/ -rw-r--r-- root/root 4599 2008-08-16 08:14 ./usr/share/matita/ma/standard-library/Z/z.ma -rw-r--r-- root/root 16559 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/Z/dirichlet_product.ma -rw-r--r-- root/root 4532 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/Z/compare.ma -rw-r--r-- root/root 8700 2009-06-05 23:18 ./usr/share/matita/ma/standard-library/Z/times.ma -rw-r--r-- root/root 22662 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/Z/sigma_p.ma -rw-r--r-- root/root 3391 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/Z/inversion.ma -rw-r--r-- root/root 6317 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/Z/orders.ma -rw-r--r-- root/root 10597 2009-05-26 11:47 ./usr/share/matita/ma/standard-library/Z/moebius.ma -rw-r--r-- root/root 9094 2009-06-05 23:18 ./usr/share/matita/ma/standard-library/Z/plus.ma -rw-r--r-- root/root 268 2009-06-03 21:20 ./usr/share/matita/ma/standard-library/Makefile drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/nat/ -rw-r--r-- root/root 11459 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/log.ma -rw-r--r-- root/root 8127 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/fermat_little_theorem.ma -rw-r--r-- root/root 25339 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/nat/map_iter_p.ma -rw-r--r-- root/root 9092 2008-06-06 11:21 ./usr/share/matita/ma/standard-library/nat/factorial2.ma -rw-r--r-- root/root 2302 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/factorial.ma -rw-r--r-- root/root 21824 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/primes.ma -rw-r--r-- root/root 8653 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/nat/gcd_properties1.ma -rw-r--r-- root/root 6538 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/exp.ma -rw-r--r-- root/root 10804 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/binomial.ma -rw-r--r-- root/root 6191 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/nth_prime.ma -rw-r--r-- root/root 8274 2008-07-10 09:00 ./usr/share/matita/ma/standard-library/nat/compare.ma -rw-r--r-- root/root 44268 2008-04-02 10:39 ./usr/share/matita/ma/standard-library/nat/chebyshev_thm.ma -rw-r--r-- root/root 23906 2009-06-03 21:20 ./usr/share/matita/ma/standard-library/nat/permutation.ma -rw-r--r-- root/root 63415 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/chebyshev.ma -rw-r--r-- root/root 3830 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/nat/times.ma -rw-r--r-- root/root 17799 2009-05-06 15:26 ./usr/share/matita/ma/standard-library/nat/ord.ma -rw-r--r-- root/root 3246 2009-05-14 14:43 ./usr/share/matita/ma/standard-library/nat/nat.ma -rw-r--r-- root/root 7511 2008-06-12 16:52 ./usr/share/matita/ma/standard-library/nat/factorization2.ma -rw-r--r-- root/root 7374 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/chinese_reminder.ma -rw-r--r-- root/root 28161 2008-06-08 18:56 ./usr/share/matita/ma/standard-library/nat/iteration2.ma -rw-r--r-- root/root 10701 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/nat/div_and_mod.ma -rw-r--r-- root/root 2057 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/relevant_equations.ma -rw-r--r-- root/root 14966 2008-05-18 18:55 ./usr/share/matita/ma/standard-library/nat/chebyshev_teta.ma -rw-r--r-- root/root 12131 2009-05-08 15:40 ./usr/share/matita/ma/standard-library/nat/minus.ma -rw-r--r-- root/root 33418 2009-02-13 15:16 ./usr/share/matita/ma/standard-library/nat/bertrand.ma -rw-r--r-- root/root 5790 2009-05-29 15:26 ./usr/share/matita/ma/standard-library/nat/congruence.ma -rw-r--r-- root/root 6829 2008-02-19 12:27 ./usr/share/matita/ma/standard-library/nat/o.ma -rw-r--r-- root/root 50088 2009-05-21 12:42 ./usr/share/matita/ma/standard-library/nat/generic_iter_p.ma -rw-r--r-- root/root 25690 2009-05-06 15:26 ./usr/share/matita/ma/standard-library/nat/gcd.ma -rw-r--r-- root/root 10040 2007-07-06 15:49 ./usr/share/matita/ma/standard-library/nat/div_and_mod_new.ma.dontcompile -rw-r--r-- root/root 8071 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/totient1.ma -rw-r--r-- root/root 11240 2008-06-08 18:56 ./usr/share/matita/ma/standard-library/nat/minimization.ma -rw-r--r-- root/root 53957 2008-06-08 19:20 ./usr/share/matita/ma/standard-library/nat/neper.ma -rw-r--r-- root/root 8402 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/div_and_mod_diseq.ma -rw-r--r-- root/root 12017 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/euler_theorem.ma -rw-r--r-- root/root 2753 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/sigma_and_pi.ma -rw-r--r-- root/root 4367 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/le_arith.ma -rw-r--r-- root/root 22591 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/nat/factorization.ma -rw-r--r-- root/root 11294 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/orders.ma -rw-r--r-- root/root 11925 2009-02-16 16:27 ./usr/share/matita/ma/standard-library/nat/pi_p.ma -rw-r--r-- root/root 2377 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/plus.ma -rw-r--r-- root/root 16192 2008-06-08 19:48 ./usr/share/matita/ma/standard-library/nat/sieve.ma -rw-r--r-- root/root 5050 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/totient.ma -rw-r--r-- root/root 6920 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/sqrt.ma -rw-r--r-- root/root 14412 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/lt_arith.ma -rw-r--r-- root/root 7736 2008-04-02 10:39 ./usr/share/matita/ma/standard-library/nat/count.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/dama/ -rw-r--r-- root/root 1853 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/sequence.ma -rw-r--r-- root/root 18042 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/supremum.ma -rw-r--r-- root/root 1445 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/russell_support.ma -rw-r--r-- root/root 5746 2008-12-19 12:44 ./usr/share/matita/ma/standard-library/dama/property_sigma.ma -rw-r--r-- root/root 6400 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/lebesgue.ma -rw-r--r-- root/root 4353 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/uniform.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/dama/models/ -rw-r--r-- root/root 1421 2009-02-15 14:56 ./usr/share/matita/ma/standard-library/dama/models/nat_lebesgue.ma -rw-r--r-- root/root 6375 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/models/increasing_supremum_stabilizes.ma -rw-r--r-- root/root 2730 2008-11-20 16:00 ./usr/share/matita/ma/standard-library/dama/models/discrete_uniformity.ma -rw-r--r-- root/root 1242 2008-11-20 16:00 ./usr/share/matita/ma/standard-library/dama/models/nat_uniform.ma -rw-r--r-- root/root 1770 2008-11-20 16:00 ./usr/share/matita/ma/standard-library/dama/models/nat_ordered_uniform.ma -rw-r--r-- root/root 2305 2008-11-20 16:00 ./usr/share/matita/ma/standard-library/dama/models/nat_order_continuous.ma -rw-r--r-- root/root 10573 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/ordered_uniform.ma -rw-r--r-- root/root 7532 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/property_exhaustivity.ma -rw-r--r-- root/root 7711 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/ordered_set.ma -rw-r--r-- root/root 2452 2008-11-20 16:00 ./usr/share/matita/ma/standard-library/dama/sandwich.ma -rw-r--r-- root/root 3874 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/bishop_set_rewrite.ma -rw-r--r-- root/root 2681 2008-11-20 16:00 ./usr/share/matita/ma/standard-library/dama/nat_ordered_set.ma -rw-r--r-- root/root 3913 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/bishop_set.ma -rw-r--r-- root/root 8136 2009-04-22 21:47 ./usr/share/matita/ma/standard-library/depends drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/decidable_kit/ -rw-r--r-- root/root 2372 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/decidable_kit/streicher.ma -rw-r--r-- root/root 6206 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/decidable_kit/eqtype.ma -rw-r--r-- root/root 7631 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/decidable_kit/decidable.ma -rw-r--r-- root/root 3405 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/decidable_kit/list_aux.ma -rw-r--r-- root/root 11286 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/decidable_kit/fintype.ma -rw-r--r-- root/root 11032 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/decidable_kit/fgraph.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/higher_order_defs/ -rw-r--r-- root/root 1170 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/higher_order_defs/ordering.ma -rw-r--r-- root/root 2759 2009-06-21 19:32 ./usr/share/matita/ma/standard-library/higher_order_defs/functions.ma -rw-r--r-- root/root 2052 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/higher_order_defs/relations.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/demo/ -rw-r--r-- root/root 2753 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/demo/natural_deduction.ma -rw-r--r-- root/root 7722 2009-04-30 15:53 ./usr/share/matita/ma/standard-library/demo/power_derivative.ma -rw-r--r-- root/root 6034 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/demo/realisability.ma -rw-r--r-- root/root 2079 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/demo/cantor.ma -rw-r--r-- root/root 6426 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/demo/formal_topology.ma -rw-r--r-- root/root 21891 2009-04-22 11:30 ./usr/share/matita/ma/standard-library/demo/propositional_sequent_calculus.ma -rw-r--r-- root/root 6373 2008-07-23 10:02 ./usr/share/matita/ma/standard-library/demo/toolbox.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/technicalities/ -rw-r--r-- root/root 35682 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/technicalities/setoids.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/R/ -rw-r--r-- root/root 14530 2009-04-30 14:04 ./usr/share/matita/ma/standard-library/R/root.ma -rw-r--r-- root/root 1097 2009-02-13 15:16 ./usr/share/matita/ma/standard-library/R/Rlog.ma -rw-r--r-- root/root 10584 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/R/Rexp.ma -rw-r--r-- root/root 14176 2009-05-06 15:26 ./usr/share/matita/ma/standard-library/R/r.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/Q/ -rw-r--r-- root/root 4308 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/Q/frac.ma -rw-r--r-- root/root 2852 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/Q/Qaxioms.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/Q/nat_fact/ -rw-r--r-- root/root 2516 2009-05-06 15:26 ./usr/share/matita/ma/standard-library/Q/nat_fact/times.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/Q/fraction/ -rw-r--r-- root/root 4188 2008-06-06 19:02 ./usr/share/matita/ma/standard-library/Q/fraction/numerator_denominator.ma -rw-r--r-- root/root 5412 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/Q/fraction/ftimes.ma -rw-r--r-- root/root 1380 2008-06-06 19:02 ./usr/share/matita/ma/standard-library/Q/fraction/finv.ma -rw-r--r-- root/root 6739 2008-06-06 19:02 ./usr/share/matita/ma/standard-library/Q/fraction/fraction.ma -rw-r--r-- root/root 2841 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/Q/q.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/Q/ratio/ -rw-r--r-- root/root 17983 2008-06-06 17:48 ./usr/share/matita/ma/standard-library/Q/ratio/rtimes.ma -rw-r--r-- root/root 1369 2008-06-06 14:45 ./usr/share/matita/ma/standard-library/Q/ratio/ratio.ma -rw-r--r-- root/root 1334 2008-06-06 13:53 ./usr/share/matita/ma/standard-library/Q/ratio/rinv.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/Q/q/ -rw-r--r-- root/root 1344 2008-06-06 13:53 ./usr/share/matita/ma/standard-library/Q/q/qinv.ma -rw-r--r-- root/root 2268 2008-08-16 08:14 ./usr/share/matita/ma/standard-library/Q/q/q.ma -rw-r--r-- root/root 1034 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/Q/q/qplus.ma -rw-r--r-- root/root 6382 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/Q/q/qtimes.ma -rw-r--r-- root/root 2878 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/Q/inv.ma -rw-r--r-- root/root 4469 2010-04-16 19:07 ./usr/share/matita/matita.conf.xml -rw-r--r-- root/root 916 2006-06-13 11:00 ./usr/share/matita/LICENSE -rw-r--r-- root/root 8946 2009-08-25 12:34 ./usr/share/matita/core_notation.moo drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/icons/ -rw-r--r-- root/root 157131 2005-09-15 10:15 ./usr/share/matita/icons/meegg.png -rw-r--r-- root/root 1733 2007-11-15 11:06 ./usr/share/matita/icons/matita-32.xpm -rw-r--r-- root/root 12270 2005-09-15 10:15 ./usr/share/matita/icons/matita_medium.png -rw-r--r-- root/root 4786 2005-09-15 10:15 ./usr/share/matita/icons/matita_small.png -rw-r--r-- root/root 1072 2005-04-27 18:21 ./usr/share/matita/icons/matita-bulb-low.png -rw-r--r-- root/root 1149 2005-04-27 18:21 ./usr/share/matita/icons/matita-bulb-high.png -rw-r--r-- root/root 3650 2006-01-20 10:17 ./usr/share/matita/icons/matita_very_small.png -rw-r--r-- root/root 11017 2005-05-16 16:24 ./usr/share/matita/icons/whelp.svg -rw-r--r-- root/root 1287 2005-06-08 10:10 ./usr/share/matita/icons/matita-theory.png -rw-r--r-- root/root 17605 2005-09-15 10:15 ./usr/share/matita/icons/matita.png -rw-r--r-- root/root 893 2005-06-08 10:10 ./usr/share/matita/icons/matita-object.png -rw-r--r-- root/root 706 2005-06-08 10:10 ./usr/share/matita/icons/matita-folder.png -rw-r--r-- root/root 1272 2005-04-27 18:21 ./usr/share/matita/icons/matita-bulb-medium.png -rw-r--r-- root/root 1073 2006-01-24 10:15 ./usr/share/matita/icons/whelp.png -rw-r--r-- root/root 8729 2009-11-16 17:09 ./usr/share/matita/matita.lang -rw-r--r-- root/root 232 2006-06-13 11:00 ./usr/share/matita/AUTHORS -rw-r--r-- root/root 2601 2005-04-27 18:21 ./usr/share/matita/matita.gtkrc drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/help/ drwxr-xr-x root/root 0 2010-04-16 19:07 ./usr/share/matita/help/C/ -rw-r--r-- root/root 16498 2008-05-26 17:33 ./usr/share/matita/help/C/sec_declarative_tactics.xml -rw-r--r-- root/root 5479 2008-05-26 17:33 ./usr/share/matita/help/C/declarative_tactics_quickref.xml -rw-r--r-- root/root 11962 2007-04-20 15:46 ./usr/share/matita/help/C/sec_tacticals.xml -rw-r--r-- root/root 13020 2008-06-20 12:04 ./usr/share/matita/help/C/tactics_quickref.xml -rw-r--r-- root/root 646 2006-06-14 15:41 ./usr/share/matita/help/C/docbook.css drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/help/C/scripts/ -rwxr-xr-x root/root 123 2008-12-08 09:34 ./usr/share/matita/help/C/scripts/fix-symbols.sh drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/help/C/xsl/ -rw-r--r-- root/root 1888 2006-11-14 15:30 ./usr/share/matita/help/C/xsl/tactic_quickref.xsl -rw-r--r-- root/root 285 2006-06-13 15:18 ./usr/share/matita/help/C/xsl/matita-fo.xsl -rw-r--r-- root/root 2248 2008-11-25 19:30 ./usr/share/matita/help/C/xsl/matita-xhtml.xsl -rw-r--r-- root/root 63199 2008-06-20 12:04 ./usr/share/matita/help/C/sec_tactics.xml -rw-r--r-- root/root 23883 2009-07-07 15:13 ./usr/share/matita/help/C/sec_install.xml -rw-r--r-- root/root 151 2006-11-14 15:30 ./usr/share/matita/help/C/tactic_quickref.xml -rw-r--r-- root/root 23379 2009-05-07 15:30 ./usr/share/matita/help/C/sec_commands.xml -rw-r--r-- root/root 1293 2008-11-25 19:15 ./usr/share/matita/help/C/Makefile -rw-r--r-- root/root 373 2006-05-14 07:15 ./usr/share/matita/help/C/TODO -rw-r--r-- root/root 17 2006-02-07 14:54 ./usr/share/matita/help/C/version.txt.in -rw-r--r-- root/root 149 2006-06-10 17:20 ./usr/share/matita/help/C/sec_license.xml -rw-r--r-- root/root 61877 2006-02-08 10:34 ./usr/share/matita/help/C/xhtml1-transitional.dtd drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/help/C/figures/ -rw-r--r-- root/root 7058 2008-11-28 12:11 ./usr/share/matita/help/C/figures/vbox6.png -rw-r--r-- root/root 15256 2007-10-31 15:46 ./usr/share/matita/help/C/figures/database.png -rw-r--r-- root/root 42328 2008-12-07 18:05 ./usr/share/matita/help/C/figures/vbox5.png -rw-r--r-- root/root 205032 2008-11-28 12:11 ./usr/share/matita/help/C/figures/vbox7.png -rw-r--r-- root/root 38415 2008-12-07 18:05 ./usr/share/matita/help/C/figures/vbox2.png -rw-r--r-- root/root 3650 2008-11-25 19:30 ./usr/share/matita/help/C/figures/matita.png -rw-r--r-- root/root 67006 2008-12-07 18:05 ./usr/share/matita/help/C/figures/vbox1.png -rw-r--r-- root/root 5538 2007-10-31 15:46 ./usr/share/matita/help/C/figures/database.dia -rw-r--r-- root/root 27551 2008-12-08 00:39 ./usr/share/matita/help/C/figures/vbox35.png -rw-r--r-- root/root 24475 2008-12-07 18:05 ./usr/share/matita/help/C/figures/vbox3.png -rw-r--r-- root/root 47008 2008-12-07 18:05 ./usr/share/matita/help/C/figures/vbox4.png -rw-r--r-- root/root 33544 2009-05-07 15:30 ./usr/share/matita/help/C/sec_terms.xml -rw-r--r-- root/root 4069 2006-06-10 17:21 ./usr/share/matita/help/C/sec_intro.xml -rw-r--r-- root/root 8316 2009-05-07 15:30 ./usr/share/matita/help/C/matita.xml -rw-r--r-- root/root 20627 2009-05-25 16:39 ./usr/share/matita/help/C/sec_usernotation.xml -rw-r--r-- root/root 1047 2006-06-10 17:20 ./usr/share/matita/help/C/legal.xml -rw-r--r-- root/root 6 2010-04-16 19:07 ./usr/share/matita/help/C/version.txt -rw-r--r-- root/root 7159 2009-01-05 16:07 ./usr/share/matita/help/C/sec_gettingstarted.xml -rw-r--r-- root/root 1002 2008-01-10 22:32 ./usr/share/matita/matita.ma.templ -rw-r--r-- root/root 467 2005-10-25 14:49 ./usr/share/matita/closed.xml drwxr-xr-x root/root 0 2010-04-16 19:20 ./usr/share/menu/ -rw-r--r-- root/root 224 2010-04-16 19:07 ./usr/share/menu/matita drwxr-xr-x root/root 0 2010-04-16 19:20 ./usr/bin/ -rwxr-xr-x root/root 18893289 2010-04-16 19:20 ./usr/bin/matita -rwxr-xr-x root/root 16478861 2010-04-16 19:20 ./usr/bin/matitac lrwxrwxrwx root/root 0 2010-04-16 19:20 ./usr/bin/matitadep -> matitac lrwxrwxrwx root/root 0 2010-04-16 19:20 ./usr/bin/matitaclean -> matitac matita_0.5.8-2build2_armel.changes: Format: 1.8 Date: Fri, 16 Apr 2010 12:12:58 -0400 Source: matita Binary: matita matita-doc Architecture: armel Version: 0.5.8-2build2 Distribution: lucid Urgency: low Maintainer: Ubuntu/armel Build Daemon Changed-By: Chuck Short Description: matita - interactive theorem prover matita-doc - user manual of the Matita interactive theorem prover Changes: matita (0.5.8-2build2) lucid; urgency=low . * No change rebuild for libmysqlclient transition. Checksums-Sha1: 855fe4871a1f87962be91b3b8dc8e9852f6b6f62 15576874 matita_0.5.8-2build2_armel.deb Checksums-Sha256: 1b9c115d038e5d03997accfc06e1ea2b0f620f58a6ac174c436846e15afda7af 15576874 matita_0.5.8-2build2_armel.deb Files: cff28b3659f37436b0db23bd27a12b38 15576874 math optional matita_0.5.8-2build2_armel.deb ****************************************************************************** Built successfully Purging chroot-autobuild/build/buildd/matita-0.5.8 ------------------------------------------------------------------------------ /usr/bin/sudo dpkg --purge groff-base libavahi-common3 libxfixes-dev libx11-data m4 fontconfig-config gettext file zlib1g-dev libxaw7 libhtml-parser-perl libhunspell-1.2-0 liblablgtksourceview2-ocaml libcairo2 x11-common python2.6 libx11-dev libxi6 libt1-5 libxaw7-dev libpcre3-dev libmysqlclient16 automake libjpeg62 libsqlite3-ocaml libxcursor1 ocaml-interp x11proto-input-dev libexpat1-dev liblablgtkmathview-ocaml-dev libjasper1 libenchant-dev libpixman-1-dev libjpeg62-dev libxcomposite-dev libgdome2-ocaml-dev libfontconfig1 libgtkmathview-dev libenchant1c2a libpcrecpp0 libglade2-dev libsysfs-dev libx11-6 libzip-ocaml-dev xtrans-dev x11proto-randr-dev libocamlnet-ocaml-dev tk8.5 libnewt0.52 libxinerama-dev libocamlnet-ocaml libpango1.0-common libxdamage1 libt1-dev dpatch libxt6 libcryptgps-ocaml-dev liblablgtksourceview2-ocaml-dev libxss1 libxml2-utils libhtml-tree-perl libglib2.0-dev libxcb-render-util0 liblablgtk2-ocaml-dev tsconf libdirectfb-dev ocaml-base libhtml-tagset-perl libxml2 libgdome2-cpp-smart0c2a x11proto-xext-dev pkg-config libthai-data libice6 intltool-debian libmysql-ocaml-dev libavahi-client3 libxrender1 libgtkspell0 libfontconfig1-dev libxml2-dev libxrandr-dev libxext-dev libcups2 libdirectfb-extra libxau-dev libdatrie1 libxcb-render-util0-dev libxmu-headers libaspell15 libxrender-dev libpng12-dev libgtksourceview2.0-common libavahi-common-data libxft2 x11proto-render-dev libxext6 libsysfs2 libsqlite3-0 libxinerama1 libgtksourceview2.0-dev libxdamage-dev libsm-dev libncursesw5 libxmu6 libpcre-ocaml-dev ocaml-ulex08 libxdmcp-dev defoma ttf-dejavu-core libcairo2-dev libxcb-render0-dev fontconfig liburi-perl libxpm4 autotools-dev libgdome2-ocaml libcroco3 libxt-dev libfindlib-ocaml libpopt0 libfreetype6 libice-dev libatk1.0-0 x11proto-fixes-dev libfreetype6-dev libgtk2.0-0 libexpat-ocaml-dev x11proto-damage-dev ocaml-compiler-libs libxcb1 ocaml libgtkspell-dev html2text libglade2-0 libxrandr2 debhelper libpthread-stubs0 ocaml-base-nox libthai0 python libncurses5-dev tcl8.5 libxpm-dev ocaml-nox libmagic1 libtiff4 libexpat1 bsdmainutils fdupes camlp5 libxau6 libmysqlclient16-dev libpango1.0-dev libxcursor-dev mysql-common libxcomposite1 x11proto-composite-dev mime-support liblablgtk2-ocaml x11proto-core-dev whiptail intltool libts-0.0-0 libxcb1-dev libgdome2-dev libmysql-ocaml libxi-dev libwww-perl shared-mime-info libxfixes3 libxdmcp6 libhttp-ocaml-dev libxmu-dev libgtk2.0-dev libfindlib-ocaml-dev libexpat-ocaml liblablgtkmathview-ocaml po-debconf libzip-ocaml libatk1.0-dev libdirectfb-1.2-0 libxml-parser-perl libgtkmathview0c2a libxft-dev libpcre-ocaml libgdome2-cpp-smart-dev help2man man-db x11proto-kb-dev libpixman-1-0 ocaml-findlib x11proto-xinerama-dev libpango1.0-0 libpthread-stubs0-dev libgtksourceview2.0-0 ucf cdbs libgtk2.0-common gettext-base libmysqlclient-dev libgdome2-0 libsqlite3-dev libsm6 libxcb-render0 libsqlite3-ocaml-dev autoconf (Reading database ... 25318 files and directories currently installed.) Removing liblablgtkmathview-ocaml-dev ... Removing libgdome2-ocaml-dev ... Removing libgtkmathview-dev ... Removing libzip-ocaml-dev ... Removing libt1-dev ... Removing dpatch ... Purging configuration files for dpatch ... Removing liblablgtksourceview2-ocaml-dev ... Removing liblablgtk2-ocaml-dev ... Removing libmysql-ocaml-dev ... Removing libgtksourceview2.0-dev ... Removing ocaml-ulex08 ... Removing libexpat-ocaml-dev ... Removing ocaml ... Removing libgtkspell-dev ... Removing camlp5 ... Removing libmysqlclient16-dev ... Removing libmysql-ocaml ... Removing libhttp-ocaml-dev ... Removing libexpat-ocaml ... Removing liblablgtkmathview-ocaml ... Removing libzip-ocaml ... Removing libgtkmathview0c2a ... Purging configuration files for libgtkmathview0c2a ... Removing libgdome2-cpp-smart-dev ... Removing help2man ... Removing cdbs ... Removing libmysqlclient-dev ... Purging configuration files for libmysqlclient-dev ... Removing libsqlite3-ocaml-dev ... Removing liblablgtksourceview2-ocaml ... Removing libt1-5 ... Purging configuration files for libt1-5 ... Removing libxaw7-dev ... Removing libmysqlclient16 ... Purging configuration files for libmysqlclient16 ... Removing libsqlite3-ocaml ... Removing libenchant-dev ... Removing libglade2-dev ... Removing libocamlnet-ocaml-dev ... Removing libocamlnet-ocaml ... Removing libcryptgps-ocaml-dev ... Removing ocaml-base ... Removing libgdome2-cpp-smart0c2a ... Purging configuration files for libgdome2-cpp-smart0c2a ... Removing libpcre-ocaml-dev ... Removing libgdome2-ocaml ... Removing ocaml-compiler-libs ... Removing debhelper ... Removing python ... Purging configuration files for python ... Removing libxpm-dev ... Removing fdupes ... Removing mysql-common ... Purging configuration files for mysql-common ... Removing liblablgtk2-ocaml ... Removing intltool ... Removing libgdome2-dev ... Removing libxmu-dev ... Removing libgtk2.0-dev ... Removing po-debconf ... Removing libatk1.0-dev ... Removing libxml-parser-perl ... Removing libpcre-ocaml ... Removing man-db ... Purging configuration files for man-db ... Removing catpages as well as /var/cache/man hierarchy. Removing ocaml-findlib ... Purging configuration files for ocaml-findlib ... Removing libgtksourceview2.0-0 ... Purging configuration files for libgtksourceview2.0-0 ... Removing libgdome2-0 ... Purging configuration files for libgdome2-0 ... Removing libsqlite3-dev ... Removing groff-base ... Purging configuration files for groff-base ... Removing libxaw7 ... Purging configuration files for libxaw7 ... Removing python2.6 ... Purging configuration files for python2.6 ... Removing libpcre3-dev ... Removing automake ... Removing libxcomposite-dev ... Removing libpcrecpp0 ... Purging configuration files for libpcrecpp0 ... Removing tk8.5 ... Purging configuration files for tk8.5 ... Removing libxinerama-dev ... Removing libxss1 ... Purging configuration files for libxss1 ... Removing libxml2-utils ... Removing intltool-debian ... Removing libgtkspell0 ... Purging configuration files for libgtkspell0 ... Removing libxml2-dev ... Removing libxrandr-dev ... Removing libxmu-headers ... Removing libgtksourceview2.0-common ... Removing libsqlite3-0 ... Purging configuration files for libsqlite3-0 ... Removing libxdamage-dev ... Removing libncursesw5 ... Purging configuration files for libncursesw5 ... Removing libxmu6 ... Purging configuration files for libxmu6 ... Removing libxpm4 ... Purging configuration files for libxpm4 ... Removing autotools-dev ... Removing libxt-dev ... Removing x11proto-damage-dev ... Removing html2text ... Purging configuration files for html2text ... Removing libglade2-0 ... Purging configuration files for libglade2-0 ... Removing tcl8.5 ... Purging configuration files for tcl8.5 ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing libpango1.0-dev ... Removing libxcursor-dev ... Removing x11proto-composite-dev ... Removing mime-support ... Purging configuration files for mime-support ... Removing libxi-dev ... Removing libwww-perl ... Removing libfindlib-ocaml-dev ... Removing libxft-dev ... Removing x11proto-xinerama-dev ... Removing autoconf ... Purging configuration files for autoconf ... Removing libxfixes-dev ... Removing m4 ... Removing gettext ... Removing libenchant1c2a ... Removing x11proto-randr-dev ... Removing libxt6 ... Purging configuration files for libxt6 ... Removing libhtml-tree-perl ... Removing libglib2.0-dev ... Removing libaspell15 ... Purging configuration files for libaspell15 ... Removing libcairo2-dev ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing libfindlib-ocaml ... Purging configuration files for libfindlib-ocaml ... Removing x11proto-fixes-dev ... Removing libgtk2.0-0 ... Purging configuration files for libgtk2.0-0 ... Removing libxrandr2 ... Purging configuration files for libxrandr2 ... Removing ocaml-nox ... Purging configuration files for ocaml-nox ... Removing libtiff4 ... Purging configuration files for libtiff4 ... Removing libxcomposite1 ... Purging configuration files for libxcomposite1 ... Removing shared-mime-info ... Purging configuration files for shared-mime-info ... dpkg: warning: while removing shared-mime-info, directory '/usr/share/mime' not empty so not removed. Removing libpango1.0-0 ... Purging configuration files for libpango1.0-0 ... Removing libgtk2.0-common ... Removing gettext-base ... Removing libhtml-parser-perl ... Removing libhunspell-1.2-0 ... Purging configuration files for libhunspell-1.2-0 ... Removing libcairo2 ... Purging configuration files for libcairo2 ... Removing libxi6 ... Purging configuration files for libxi6 ... Removing libxcursor1 ... Purging configuration files for libxcursor1 ... Removing ocaml-interp ... Purging configuration files for ocaml-interp ... Removing libjasper1 ... Purging configuration files for libjasper1 ... Removing libpixman-1-dev ... Removing libpango1.0-common ... Purging font configuration of pango... Purging category xfont.. Purging configuration files for libpango1.0-common ... Removing libxdamage1 ... Purging configuration files for libxdamage1 ... Removing libdirectfb-dev ... Removing libhtml-tagset-perl ... Removing libxml2 ... Purging configuration files for libxml2 ... Removing libfontconfig1-dev ... Removing libxext-dev ... Removing libcups2 ... Purging configuration files for libcups2 ... Removing libdirectfb-extra ... Removing libxcb-render-util0-dev ... Removing libxrender-dev ... Removing libpng12-dev ... Removing libxft2 ... Purging configuration files for libxft2 ... Removing x11proto-render-dev ... Removing libxinerama1 ... Purging configuration files for libxinerama1 ... Removing libsm-dev ... Removing defoma ... Purging configuration files for defoma ... dpkg: warning: while removing defoma, directory '/etc/defoma' not empty so not removed. Removing libxcb-render0-dev ... Removing fontconfig ... Purging configuration files for fontconfig ... Removing liburi-perl ... Removing libice-dev ... Removing libatk1.0-0 ... Purging configuration files for libatk1.0-0 ... Removing libfreetype6-dev ... Removing ocaml-base-nox ... Removing libthai0 ... Purging configuration files for libthai0 ... Removing libncurses5-dev ... Removing whiptail ... Removing libxfixes3 ... Purging configuration files for libxfixes3 ... Removing libdirectfb-1.2-0 ... Purging configuration files for libdirectfb-1.2-0 ... Removing libpixman-1-0 ... Purging configuration files for libpixman-1-0 ... Removing libsm6 ... Purging configuration files for libsm6 ... Removing file ... Purging configuration files for file ... Removing zlib1g-dev ... Removing libx11-dev ... Removing libexpat1-dev ... Removing libjpeg62-dev ... Removing libfontconfig1 ... Purging configuration files for libfontconfig1 ... Removing libsysfs-dev ... Removing xtrans-dev ... Removing libnewt0.52 ... Purging configuration files for libnewt0.52 ... Removing libxcb-render-util0 ... Purging configuration files for libxcb-render-util0 ... Removing x11proto-xext-dev ... Removing pkg-config ... Removing libthai-data ... Removing libice6 ... Purging configuration files for libice6 ... Removing libavahi-client3 ... Purging configuration files for libavahi-client3 ... Removing libxrender1 ... Purging configuration files for libxrender1 ... Removing libdatrie1 ... Purging configuration files for libdatrie1 ... Removing libxext6 ... Purging configuration files for libxext6 ... Removing libsysfs2 ... Purging configuration files for libsysfs2 ... Removing libpopt0 ... Purging configuration files for libpopt0 ... Removing libfreetype6 ... Purging configuration files for libfreetype6 ... Removing libmagic1 ... Purging configuration files for libmagic1 ... Removing libexpat1 ... Purging configuration files for libexpat1 ... Removing libts-0.0-0 ... Purging configuration files for libts-0.0-0 ... Removing libxcb1-dev ... Removing x11proto-kb-dev ... Removing libpthread-stubs0-dev ... Removing libxcb-render0 ... Purging configuration files for libxcb-render0 ... Removing libavahi-common3 ... Purging configuration files for libavahi-common3 ... Removing fontconfig-config ... Purging configuration files for fontconfig-config ... Removing libjpeg62 ... Removing x11proto-input-dev ... Removing libx11-6 ... Purging configuration files for libx11-6 ... Removing tsconf ... Purging configuration files for tsconf ... Removing libxau-dev ... Removing libavahi-common-data ... Removing libxdmcp-dev ... Removing ttf-dejavu-core ... Removing libxcb1 ... Purging configuration files for libxcb1 ... Removing libpthread-stubs0 ... Removing libxau6 ... Purging configuration files for libxau6 ... Removing x11proto-core-dev ... Removing libxdmcp6 ... Purging configuration files for libxdmcp6 ... Removing ucf ... Purging configuration files for ucf ... Removing libx11-data ... Removing x11-common ... Purging configuration files for x11-common ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place ****************************************************************************** Finished at 20100416-1923 Build needed 00:15:06, 234832k disk space Can't open average time db /var/debbuild/avg-build-times Can't open average space db /var/debbuild/avg-build-space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '1696305-3354597'] Scanning for processes to kill in build /home/buildd/build-1696305-3354597/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '1696305-3354597'] Unmounting chroot for build 1696305-3354597... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '1696305-3354597'] Removing build 1696305-3354597