RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '1696304-3354596', '/home/buildd/filecache-default/3af632bcf75694aed9701344aba7f84bdb07799f'] Synching the system clock with the buildd NTP service... 16 Apr 22:20:23 ntpdate[3539]: adjust time server 10.122.37.1 offset -0.000002 sec Unpacking chroot for build 1696304-3354596 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '1696304-3354596'] Mounting chroot for build 1696304-3354596 RUN: /usr/share/launchpad-buildd/slavebin/apply-ogre-model ['apply-ogre-model', '1696304-3354596', 'universe'] Attempting OGRE for universe in build-1696304-3354596 No OGRE sources.list found. RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '1696304-3354596', 'deb http://ftpmaster.internal/ubuntu lucid main universe'] Overriding sources.list in build-1696304-3354596 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '1696304-3354596'] Updating debian chroot for build 1696304-3354596 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 [1381kB] Get:4 http://ftpmaster.internal lucid/universe Packages [5454kB] Fetched 6892kB in 4s (1418kB/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 17.0MB of archives. After this operation, 16.4kB 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 [379kB] Get:2 http://ftpmaster.internal/ubuntu/ lucid/main base-files 5.0.0ubuntu18 [69.9kB] Get:3 http://ftpmaster.internal/ubuntu/ lucid/main bash 4.1-2ubuntu2 [702kB] Get:4 http://ftpmaster.internal/ubuntu/ lucid/main dpkg 1.15.5.6ubuntu4 [2252kB] 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 [1817kB] 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 [126kB] Get:10 http://ftpmaster.internal/ubuntu/ lucid/main python2.6-minimal 2.6.5-1ubuntu6 [1450kB] 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 [128kB] Get:13 http://ftpmaster.internal/ubuntu/ lucid/main libkrb5-3 1.8.1+dfsg-2 [369kB] Get:14 http://ftpmaster.internal/ubuntu/ lucid/main libkrb5support0 1.8.1+dfsg-2 [43.9kB] Get:15 http://ftpmaster.internal/ubuntu/ lucid/main libldap-2.4-2 2.4.21-0ubuntu4 [215kB] Get:16 http://ftpmaster.internal/ubuntu/ lucid/main libglib2.0-0 2.24.0-0ubuntu2 [1119kB] Get:17 http://ftpmaster.internal/ubuntu/ lucid/main module-init-tools 3.11.1-2ubuntu1 [106kB] Get:18 http://ftpmaster.internal/ubuntu/ lucid/main udev 151-10 [458kB] Get:19 http://ftpmaster.internal/ubuntu/ lucid/main libudev0 151-10 [120kB] 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 [52.0kB] Get:22 http://ftpmaster.internal/ubuntu/ lucid/main libdrm2 2.4.18-1ubuntu3 [412kB] Get:23 http://ftpmaster.internal/ubuntu/ lucid/main libdrm-intel1 2.4.18-1ubuntu3 [412kB] Get:24 http://ftpmaster.internal/ubuntu/ lucid/main libdrm-nouveau1 2.4.18-1ubuntu3 [402kB] Get:25 http://ftpmaster.internal/ubuntu/ lucid/main libdrm-radeon1 2.4.18-1ubuntu3 [399kB] Get:26 http://ftpmaster.internal/ubuntu/ lucid/main plymouth 0.8.2-2 [123kB] Get:27 http://ftpmaster.internal/ubuntu/ lucid/main libplymouth2 0.8.2-2 [100kB] Get:28 http://ftpmaster.internal/ubuntu/ lucid/main mountall 2.12 [54.1kB] 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 [80.7kB] 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 [771kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 17.0MB in 1s (14.9MB/s) (Reading database ... 13353 files and directories currently installed.) Preparing to replace libpam-modules 1.1.1-2ubuntu1 (using .../libpam-modules_1.1.1-2ubuntu2_amd64.deb) ... Unpacking replacement libpam-modules ... Setting up libpam-modules (1.1.1-2ubuntu2) ... (Reading database ... 13354 files and directories currently installed.) Preparing to replace base-files 5.0.0ubuntu14 (using .../base-files_5.0.0ubuntu18_amd64.deb) ... Unpacking replacement base-files ... Setting up base-files (5.0.0ubuntu18) ... (Reading database ... 13353 files and directories currently installed.) Preparing to replace bash 4.1-2ubuntu1 (using .../bash_4.1-2ubuntu2_amd64.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 ... 13353 files and directories currently installed.) Preparing to replace dpkg 1.15.5.6ubuntu3 (using .../dpkg_1.15.5.6ubuntu4_amd64.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.15.5.6ubuntu4) ... (Reading database ... 13353 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 ... 13353 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 ... 13353 files and directories currently installed.) Preparing to replace apt 0.7.25.3ubuntu6 (using .../apt_0.7.25.3ubuntu7_amd64.deb) ... Unpacking replacement apt ... Setting up apt (0.7.25.3ubuntu7) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13353 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 ... 13353 files and directories currently installed.) Preparing to replace libpam0g 1.1.1-2ubuntu1 (using .../libpam0g_1.1.1-2ubuntu2_amd64.deb) ... Unpacking replacement libpam0g ... Setting up libpam0g (1.1.1-2ubuntu2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13353 files and directories currently installed.) Preparing to replace python2.6-minimal 2.6.5-1ubuntu4 (using .../python2.6-minimal_2.6.5-1ubuntu6_amd64.deb) ... Unpacking replacement python2.6-minimal ... Setting up python2.6-minimal (2.6.5-1ubuntu6) ... (Reading database ... 13353 files and directories currently installed.) Preparing to replace libk5crypto3 1.8+dfsg~alpha1-7ubuntu1 (using .../libk5crypto3_1.8.1+dfsg-2_amd64.deb) ... Unpacking replacement libk5crypto3 ... Preparing to replace libgssapi-krb5-2 1.8+dfsg~alpha1-7ubuntu1 (using .../libgssapi-krb5-2_1.8.1+dfsg-2_amd64.deb) ... Unpacking replacement libgssapi-krb5-2 ... Preparing to replace libkrb5-3 1.8+dfsg~alpha1-7ubuntu1 (using .../libkrb5-3_1.8.1+dfsg-2_amd64.deb) ... Unpacking replacement libkrb5-3 ... Preparing to replace libkrb5support0 1.8+dfsg~alpha1-7ubuntu1 (using .../libkrb5support0_1.8.1+dfsg-2_amd64.deb) ... Unpacking replacement libkrb5support0 ... Preparing to replace libldap-2.4-2 2.4.21-0ubuntu3 (using .../libldap-2.4-2_2.4.21-0ubuntu4_amd64.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_amd64.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace module-init-tools 3.11.1-2 (using .../module-init-tools_3.11.1-2ubuntu1_amd64.deb) ... Unpacking replacement module-init-tools ... Preparing to replace udev 151-8 (using .../archives/udev_151-10_amd64.deb) ... Adding `local diversion of /sbin/udevadm to /sbin/udevadm.upgrade' Unpacking replacement udev ... Preparing to replace libudev0 151-8 (using .../libudev0_151-10_amd64.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_amd64.deb) ... Unpacking replacement initramfs-tools-bin ... Preparing to replace libdrm2 2.4.18-1ubuntu2 (using .../libdrm2_2.4.18-1ubuntu3_amd64.deb) ... Unpacking replacement libdrm2 ... Preparing to replace libdrm-intel1 2.4.18-1ubuntu2 (using .../libdrm-intel1_2.4.18-1ubuntu3_amd64.deb) ... Unpacking replacement libdrm-intel1 ... Preparing to replace libdrm-nouveau1 2.4.18-1ubuntu2 (using .../libdrm-nouveau1_2.4.18-1ubuntu3_amd64.deb) ... Unpacking replacement libdrm-nouveau1 ... Preparing to replace libdrm-radeon1 2.4.18-1ubuntu2 (using .../libdrm-radeon1_2.4.18-1ubuntu3_amd64.deb) ... Unpacking replacement libdrm-radeon1 ... Preparing to replace plymouth 0.8.1-4ubuntu1 (using .../plymouth_0.8.2-2_amd64.deb) ... Unpacking replacement plymouth ... Preparing to replace libplymouth2 0.8.1-4ubuntu1 (using .../libplymouth2_0.8.2-2_amd64.deb) ... Unpacking replacement libplymouth2 ... Preparing to replace mountall 2.10 (using .../mountall_2.12_amd64.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_amd64.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_amd64.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 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-dev.conf ... Installing new version of config file /etc/init/mounted-varrun.conf ... Installing new version of config file /etc/init/mounted-tmp.conf ... Setting up initramfs-tools (0.92bubuntu74) ... update-initramfs: deferring update (trigger activated) 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', '1696304-3354596', 'lucid', '--nolog', '--batch', '--archive=ubuntu', '--dist=lucid', '--purpose=PRIMARY', '--comp=universe', 'matita_0.5.8-2build2.dsc'] Initiating build 1696304-3354596 with 2 processor cores. Automatic build of matita_0.5.8-2build2 on yellow by sbuild/amd64 1.170.5 Build started at 20100416-2221 ****************************************************************************** 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 86.1MB of archives. After this operation, 335MB 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 [54.3kB] 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 [67.1kB] Get:5 http://ftpmaster.internal/ubuntu/ lucid/main libxau6 1:1.0.5-1 [14.5kB] Get:6 http://ftpmaster.internal/ubuntu/ lucid/main libxdmcp6 1:1.0.3-1 [19.1kB] Get:7 http://ftpmaster.internal/ubuntu/ lucid/main libxcb1 1.5-2 [42.9kB] 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 [844kB] Get:10 http://ftpmaster.internal/ubuntu/ lucid/main libxau-dev 1:1.0.5-1 [17.9kB] Get:11 http://ftpmaster.internal/ubuntu/ lucid/main libxdmcp-dev 1:1.0.3-1 [22.6kB] 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 [3202B] Get:16 http://ftpmaster.internal/ubuntu/ lucid/main libpthread-stubs0-dev 0.3-2 [2412B] Get:17 http://ftpmaster.internal/ubuntu/ lucid/main libxcb1-dev 1.5-2 [80.0kB] Get:18 http://ftpmaster.internal/ubuntu/ lucid/main libx11-dev 2:1.3.2-1ubuntu3 [3558kB] Get:19 http://ftpmaster.internal/ubuntu/ lucid/main libxext6 2:1.1.1-2 [43.2kB] Get:20 http://ftpmaster.internal/ubuntu/ lucid/main libsm6 2:1.1.1-1 [25.4kB] Get:21 http://ftpmaster.internal/ubuntu/ lucid/main libxt6 1:1.0.7-1 [195kB] Get:22 http://ftpmaster.internal/ubuntu/ lucid/main libxmu6 2:1.0.5-1 [57.5kB] Get:23 http://ftpmaster.internal/ubuntu/ lucid/main libxpm4 1:3.5.8-1 [44.7kB] Get:24 http://ftpmaster.internal/ubuntu/ lucid/main libxaw7 2:1.0.7-1 [212kB] 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 [107kB] Get:27 http://ftpmaster.internal/ubuntu/ lucid/main libsm-dev 2:1.1.1-1 [28.3kB] Get:28 http://ftpmaster.internal/ubuntu/ lucid/main libxt-dev 1:1.0.7-1 [525kB] 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 [66.5kB] Get:31 http://ftpmaster.internal/ubuntu/ lucid/main libxpm-dev 1:3.5.8-1 [102kB] Get:32 http://ftpmaster.internal/ubuntu/ lucid/main libxaw7-dev 2:1.0.7-1 [610kB] Get:33 http://ftpmaster.internal/ubuntu/ lucid/main libxfixes3 1:4.0.4-1 [16.3kB] Get:34 http://ftpmaster.internal/ubuntu/ lucid/main libxcomposite1 1:0.4.1-1 [12.9kB] 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 [18.7kB] 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 [16.1kB] Get:39 http://ftpmaster.internal/ubuntu/ lucid/main libmagic1 5.03-5ubuntu1 [392kB] Get:40 http://ftpmaster.internal/ubuntu/ lucid/main file 5.03-5ubuntu1 [48.0kB] Get:41 http://ftpmaster.internal/ubuntu/ lucid/main libncursesw5 5.7+20090803-2ubuntu3 [229kB] Get:42 http://ftpmaster.internal/ubuntu/ lucid/main libnewt0.52 0.52.10-5ubuntu1 [57.5kB] Get:43 http://ftpmaster.internal/ubuntu/ lucid/main libpopt0 1.15-1 [32.6kB] Get:44 http://ftpmaster.internal/ubuntu/ lucid/main libsqlite3-0 3.6.22-1 [307kB] 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 [2531kB] 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 [39.8kB] Get:50 http://ftpmaster.internal/ubuntu/ lucid/main bsdmainutils 8.0.1ubuntu1 [199kB] Get:51 http://ftpmaster.internal/ubuntu/ lucid/main gettext-base 0.17-8ubuntu3 [78.0kB] Get:52 http://ftpmaster.internal/ubuntu/ lucid/main groff-base 1.20.1-7 [1130kB] Get:53 http://ftpmaster.internal/ubuntu/ lucid/main libexpat1 2.0.1-7ubuntu1 [138kB] 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 [114kB] 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 [324kB] Get:60 http://ftpmaster.internal/ubuntu/ lucid/main libxml2 2.7.6.dfsg-1ubuntu1 [871kB] Get:61 http://ftpmaster.internal/ubuntu/ lucid/main man-db 2.5.7-2 [1403kB] Get:62 http://ftpmaster.internal/ubuntu/ lucid/main m4 1.4.13-3 [286kB] 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 [104kB] Get:67 http://ftpmaster.internal/ubuntu/ lucid/main libcroco3 0.6.2-1 [101kB] Get:68 http://ftpmaster.internal/ubuntu/ lucid/main gettext 0.17-8ubuntu3 [1805kB] 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 [20.3kB] 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 [434kB] 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 [285kB] Get:81 http://ftpmaster.internal/ubuntu/ lucid/main fontconfig 2.8.0-2ubuntu1 [158kB] Get:82 http://ftpmaster.internal/ubuntu/ lucid/main help2man 1.37.1 [41.5kB] Get:83 http://ftpmaster.internal/ubuntu/ lucid/main libaspell15 0.60.6-3ubuntu1 [681kB] Get:84 http://ftpmaster.internal/ubuntu/ lucid/main libatk1.0-0 1.30.0-0ubuntu2 [58.3kB] Get:85 http://ftpmaster.internal/ubuntu/ lucid/main pkg-config 0.22-1build2 [55.8kB] Get:86 http://ftpmaster.internal/ubuntu/ lucid/main zlib1g-dev 1:1.2.3.3.dfsg-15ubuntu1 [167kB] Get:87 http://ftpmaster.internal/ubuntu/ lucid/main libglib2.0-dev 2.24.0-0ubuntu2 [1279kB] Get:88 http://ftpmaster.internal/ubuntu/ lucid/main libatk1.0-dev 1.30.0-0ubuntu2 [116kB] Get:89 http://ftpmaster.internal/ubuntu/ lucid/main libavahi-common-data 0.6.25-1ubuntu6 [34.1kB] Get:90 http://ftpmaster.internal/ubuntu/ lucid/main libavahi-common3 0.6.25-1ubuntu6 [25.5kB] Get:91 http://ftpmaster.internal/ubuntu/ lucid/main libavahi-client3 0.6.25-1ubuntu6 [56.6kB] Get:92 http://ftpmaster.internal/ubuntu/ lucid/main libsysfs2 2.1.0-6 [23.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.1kB] Get:95 http://ftpmaster.internal/ubuntu/ lucid/main libdirectfb-1.2-0 1.2.8-5ubuntu2 [1191kB] Get:96 http://ftpmaster.internal/ubuntu/ lucid/main libpixman-1-0 0.16.4-1ubuntu2 [237kB] 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 [10.1kB] Get:99 http://ftpmaster.internal/ubuntu/ lucid/main libxrender1 1:0.9.5-1 [28.8kB] Get:100 http://ftpmaster.internal/ubuntu/ lucid/main libcairo2 1.8.10-2ubuntu1 [530kB] Get:101 http://ftpmaster.internal/ubuntu/ lucid/main libexpat1-dev 2.0.1-7ubuntu1 [220kB] Get:102 http://ftpmaster.internal/ubuntu/ lucid/main libfreetype6-dev 2.3.11-1ubuntu2 [739kB] Get:103 http://ftpmaster.internal/ubuntu/ lucid/main libfontconfig1-dev 2.8.0-2ubuntu1 [657kB] 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 [36.9kB] Get:106 http://ftpmaster.internal/ubuntu/ lucid/main libpng12-dev 1.2.42-1ubuntu2 [272kB] Get:107 http://ftpmaster.internal/ubuntu/ lucid/main libjpeg62 6b-15ubuntu1 [94.5kB] Get:108 http://ftpmaster.internal/ubuntu/ lucid/main libdirectfb-extra 1.2.8-5ubuntu2 [36.8kB] Get:109 http://ftpmaster.internal/ubuntu/ lucid/main libjpeg62-dev 6b-15ubuntu1 [199kB] Get:110 http://ftpmaster.internal/ubuntu/ lucid/main libsysfs-dev 2.1.0-6 [37.2kB] Get:111 http://ftpmaster.internal/ubuntu/ lucid/main libdirectfb-dev 1.2.8-5ubuntu2 [924kB] Get:112 http://ftpmaster.internal/ubuntu/ lucid/main libpixman-1-dev 0.16.4-1ubuntu2 [264kB] Get:113 http://ftpmaster.internal/ubuntu/ lucid/main libxcb-render0-dev 1.5-2 [23.2kB] Get:114 http://ftpmaster.internal/ubuntu/ lucid/main libxcb-render-util0-dev 0.3.6-1build1 [7744B] Get:115 http://ftpmaster.internal/ubuntu/ lucid/main libcairo2-dev 1.8.10-2ubuntu1 [632kB] Get:116 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-base-nox 3.11.2-1 [666kB] 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 [1598kB] 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 [7208kB] Get:121 http://ftpmaster.internal/ubuntu/ lucid/main libfindlib-ocaml-dev 1.2.5+debian-1build1 [135kB] Get:122 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-findlib 1.2.5+debian-1build1 [255kB] Get:123 http://ftpmaster.internal/ubuntu/ lucid/universe libcryptgps-ocaml-dev 0.2.1-7build1 [174kB] Get:124 http://ftpmaster.internal/ubuntu/ lucid/main libcups2 1.4.3-1 [223kB] Get:125 http://ftpmaster.internal/ubuntu/ lucid/main libdatrie1 0.2.2-3 [25.6kB] Get:126 http://ftpmaster.internal/ubuntu/ lucid/main libhunspell-1.2-0 1.2.8-6ubuntu1 [150kB] Get:127 http://ftpmaster.internal/ubuntu/ lucid/main libenchant1c2a 1.6.0-0ubuntu1 [91.6kB] Get:128 http://ftpmaster.internal/ubuntu/ lucid/main libenchant-dev 1.6.0-0ubuntu1 [69.5kB] Get:129 http://ftpmaster.internal/ubuntu/ lucid/universe libexpat-ocaml 0.9.1+debian1-7 [11.5kB] Get:130 http://ftpmaster.internal/ubuntu/ lucid/universe libexpat-ocaml-dev 0.9.1+debian1-7 [23.7kB] Get:131 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-0 0.8.1+debian-4 [106kB] Get:132 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-cpp-smart0c2a 0.2.6-5 [47.1kB] Get:133 http://ftpmaster.internal/ubuntu/ lucid/main libxml2-dev 2.7.6.dfsg-1ubuntu1 [830kB] Get:134 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-dev 0.8.1+debian-4 [277kB] Get:135 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-cpp-smart-dev 0.2.6-5 [58.3kB] Get:136 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-ocaml 0.2.6-5 [34.4kB] Get:137 http://ftpmaster.internal/ubuntu/ lucid/universe libgdome2-ocaml-dev 0.2.6-5 [298kB] 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 [154kB] 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 [40.5kB] Get:143 http://ftpmaster.internal/ubuntu/ lucid/main libxft2 2.1.14-1ubuntu1 [56.0kB] Get:144 http://ftpmaster.internal/ubuntu/ lucid/main libpango1.0-0 1.28.0-0ubuntu2 [326kB] Get:145 http://ftpmaster.internal/ubuntu/ lucid/main libtiff4 3.9.2-2 [148kB] Get:146 http://ftpmaster.internal/ubuntu/ lucid/main libxcursor1 1:1.1.10-1 [25.6kB] Get:147 http://ftpmaster.internal/ubuntu/ lucid/main libxdamage1 1:1.1.2-1 [12.3kB] Get:148 http://ftpmaster.internal/ubuntu/ lucid/main libxi6 2:1.3-3 [56.0kB] Get:149 http://ftpmaster.internal/ubuntu/ lucid/main libxinerama1 2:1.1-2 [12.3kB] Get:150 http://ftpmaster.internal/ubuntu/ lucid/main libxrandr2 2:1.3.0-3 [28.4kB] Get:151 http://ftpmaster.internal/ubuntu/ lucid/main shared-mime-info 0.71-1ubuntu1 [420kB] Get:152 http://ftpmaster.internal/ubuntu/ lucid/main libgtk2.0-0 2.20.0-0ubuntu4 [2711kB] Get:153 http://ftpmaster.internal/ubuntu/ lucid/main libglade2-0 1:2.6.4-1build1 [54.1kB] Get:154 http://ftpmaster.internal/ubuntu/ lucid/main libxft-dev 2.1.14-1ubuntu1 [72.1kB] Get:155 http://ftpmaster.internal/ubuntu/ lucid/main libpango1.0-dev 1.28.0-0ubuntu2 [466kB] 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.9kB] Get:158 http://ftpmaster.internal/ubuntu/ lucid/main libxi-dev 2:1.3-3 [139kB] 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 [35.9kB] Get:161 http://ftpmaster.internal/ubuntu/ lucid/main libxcursor-dev 1:1.1.10-1 [33.8kB] 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.9kB] Get:164 http://ftpmaster.internal/ubuntu/ lucid/main libxml2-utils 2.7.6.dfsg-1ubuntu1 [92.6kB] Get:165 http://ftpmaster.internal/ubuntu/ lucid/main libgtk2.0-dev 2.20.0-0ubuntu4 [4168kB] Get:166 http://ftpmaster.internal/ubuntu/ lucid/main libglade2-dev 1:2.6.4-1build1 [91.4kB] Get:167 http://ftpmaster.internal/ubuntu/ lucid/main libt1-5 5.1.2-3build1 [172kB] Get:168 http://ftpmaster.internal/ubuntu/ lucid/universe libgtkmathview0c2a 0.8.0-4 [986kB] Get:169 http://ftpmaster.internal/ubuntu/ lucid/main libt1-dev 5.1.2-3build1 [178kB] Get:170 http://ftpmaster.internal/ubuntu/ lucid/universe libgtkmathview-dev 0.8.0-4 [1345kB] 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 [185kB] Get:173 http://ftpmaster.internal/ubuntu/ lucid/main libgtksourceview2.0-dev 2.10.0-0ubuntu1 [237kB] Get:174 http://ftpmaster.internal/ubuntu/ lucid/main libgtkspell0 2.0.16-1 [17.5kB] Get:175 http://ftpmaster.internal/ubuntu/ lucid/main libgtkspell-dev 2.0.16-1 [31.7kB] Get:176 http://ftpmaster.internal/ubuntu/ lucid/main libpcrecpp0 7.8-3build1 [98.2kB] Get:177 http://ftpmaster.internal/ubuntu/ lucid/main libpcre3-dev 7.8-3build1 [264kB] Get:178 http://ftpmaster.internal/ubuntu/ lucid/universe libpcre-ocaml 6.0.1-2build1 [20.1kB] Get:179 http://ftpmaster.internal/ubuntu/ lucid/universe libpcre-ocaml-dev 6.0.1-2build1 [63.4kB] Get:180 http://ftpmaster.internal/ubuntu/ lucid/universe libocamlnet-ocaml 2.2.9-7build2 [16.8kB] Get:181 http://ftpmaster.internal/ubuntu/ lucid/universe libocamlnet-ocaml-dev 2.2.9-7build2 [6384kB] Get:182 http://ftpmaster.internal/ubuntu/ lucid/universe libhttp-ocaml-dev 0.1.4-3build2 [188kB] Get:183 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtk2-ocaml 2.14.0+dfsg-2build1 [1025kB] Get:184 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtk2-ocaml-dev 2.14.0+dfsg-2build1 [2008kB] Get:185 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtkmathview-ocaml 0.7.8-5build2 [13.0kB] Get:186 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtkmathview-ocaml-dev 0.7.8-5build2 [67.4kB] Get:187 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtksourceview2-ocaml 2.14.0+dfsg-2build1 [88.7kB] Get:188 http://ftpmaster.internal/ubuntu/ lucid/universe liblablgtksourceview2-ocaml-dev 2.14.0+dfsg-2build1 [111kB] 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 [1985kB] Get:191 http://ftpmaster.internal/ubuntu/ lucid/universe libmysql-ocaml 1.0.4-7ubuntu3 [12.7kB] Get:192 http://ftpmaster.internal/ubuntu/ lucid/main libmysqlclient-dev 5.1.41-3ubuntu12 [3221kB] 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 [55.3kB] Get:195 http://ftpmaster.internal/ubuntu/ lucid/main libsqlite3-dev 3.6.22-1 [396kB] Get:196 http://ftpmaster.internal/ubuntu/ lucid/main libxss1 1:1.2.0-2 [14.0kB] Get:197 http://ftpmaster.internal/ubuntu/ lucid/universe libzip-ocaml 1.04-6build1 [86.1kB] Get:198 http://ftpmaster.internal/ubuntu/ lucid/universe libzip-ocaml-dev 1.04-6build1 [41.3kB] Get:199 http://ftpmaster.internal/ubuntu/ lucid/main tcl8.5 8.5.8-2 [1593kB] Get:200 http://ftpmaster.internal/ubuntu/ lucid/main tk8.5 8.5.8-1 [1168kB] Get:201 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-base 3.11.2-1 [131kB] Get:202 http://ftpmaster.internal/ubuntu/ lucid/main ocaml 3.11.2-1 [2127kB] Get:203 http://ftpmaster.internal/ubuntu/ lucid/main ocaml-compiler-libs 3.11.2-1 [1129kB] Get:204 http://ftpmaster.internal/ubuntu/ lucid/main camlp5 5.12-3 [3777kB] Get:205 http://ftpmaster.internal/ubuntu/ lucid/universe ocaml-ulex08 0.8-8build2 [39.8kB] Get:206 http://ftpmaster.internal/ubuntu/ lucid/universe libsqlite3-ocaml 1.5.6-3build1 [37.7kB] Get:207 http://ftpmaster.internal/ubuntu/ lucid/universe libsqlite3-ocaml-dev 1.5.6-3build1 [41.8kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 86.1MB in 7s (11.3MB/s) Selecting previously deselected package x11-common. (Reading database ... 13353 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_amd64.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 ... 13473 files and directories currently installed.) Unpacking libice-dev (from .../libice-dev_2%3a1.0.6-1_amd64.deb) ... Selecting previously deselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.5-1_amd64.deb) ... Selecting previously deselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.0.3-1_amd64.deb) ... Selecting previously deselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.5-2_amd64.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_amd64.deb) ... Selecting previously deselected package libxau-dev. Unpacking libxau-dev (from .../libxau-dev_1%3a1.0.5-1_amd64.deb) ... Selecting previously deselected package libxdmcp-dev. Unpacking libxdmcp-dev (from .../libxdmcp-dev_1%3a1.0.3-1_amd64.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_amd64.deb) ... Selecting previously deselected package libpthread-stubs0-dev. Unpacking libpthread-stubs0-dev (from .../libpthread-stubs0-dev_0.3-2_amd64.deb) ... Selecting previously deselected package libxcb1-dev. Unpacking libxcb1-dev (from .../libxcb1-dev_1.5-2_amd64.deb) ... Selecting previously deselected package libx11-dev. Unpacking libx11-dev (from .../libx11-dev_2%3a1.3.2-1ubuntu3_amd64.deb) ... Selecting previously deselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.1.1-2_amd64.deb) ... Selecting previously deselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.1.1-1_amd64.deb) ... Selecting previously deselected package libxt6. Unpacking libxt6 (from .../libxt6_1%3a1.0.7-1_amd64.deb) ... Selecting previously deselected package libxmu6. Unpacking libxmu6 (from .../libxmu6_2%3a1.0.5-1_amd64.deb) ... Selecting previously deselected package libxpm4. Unpacking libxpm4 (from .../libxpm4_1%3a3.5.8-1_amd64.deb) ... Selecting previously deselected package libxaw7. Unpacking libxaw7 (from .../libxaw7_2%3a1.0.7-1_amd64.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_amd64.deb) ... Selecting previously deselected package libsm-dev. Unpacking libsm-dev (from .../libsm-dev_2%3a1.1.1-1_amd64.deb) ... Selecting previously deselected package libxt-dev. Unpacking libxt-dev (from .../libxt-dev_1%3a1.0.7-1_amd64.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_amd64.deb) ... Selecting previously deselected package libxpm-dev. Unpacking libxpm-dev (from .../libxpm-dev_1%3a3.5.8-1_amd64.deb) ... Selecting previously deselected package libxaw7-dev. Unpacking libxaw7-dev (from .../libxaw7-dev_2%3a1.0.7-1_amd64.deb) ... Selecting previously deselected package libxfixes3. Unpacking libxfixes3 (from .../libxfixes3_1%3a4.0.4-1_amd64.deb) ... Selecting previously deselected package libxcomposite1. Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.1-1_amd64.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_amd64.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_amd64.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.03-5ubuntu1_amd64.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.03-5ubuntu1_amd64.deb) ... Selecting previously deselected package libncursesw5. Unpacking libncursesw5 (from .../libncursesw5_5.7+20090803-2ubuntu3_amd64.deb) ... Selecting previously deselected package libnewt0.52. Unpacking libnewt0.52 (from .../libnewt0.52_0.52.10-5ubuntu1_amd64.deb) ... Selecting previously deselected package libpopt0. Unpacking libpopt0 (from .../libpopt0_1.15-1_amd64.deb) ... Selecting previously deselected package libsqlite3-0. Unpacking libsqlite3-0 (from .../libsqlite3-0_3.6.22-1_amd64.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_amd64.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_amd64.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.0.1ubuntu1_amd64.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.17-8ubuntu3_amd64.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.20.1-7_amd64.deb) ... Selecting previously deselected package libexpat1. Unpacking libexpat1 (from .../libexpat1_2.0.1-7ubuntu1_amd64.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_amd64.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_amd64.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.6.dfsg-1ubuntu1_amd64.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.5.7-2_amd64.deb) ... Selecting previously deselected package m4. Unpacking m4 (from .../archives/m4_1.4.13-3_amd64.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_amd64.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_amd64.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.17-8ubuntu3_amd64.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_amd64.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_amd64.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_amd64.deb) ... Selecting previously deselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.8.0-2ubuntu1_amd64.deb) ... Selecting previously deselected package help2man. Unpacking help2man (from .../help2man_1.37.1_amd64.deb) ... Selecting previously deselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.6-3ubuntu1_amd64.deb) ... Selecting previously deselected package libatk1.0-0. Unpacking libatk1.0-0 (from .../libatk1.0-0_1.30.0-0ubuntu2_amd64.deb) ... Selecting previously deselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.22-1build2_amd64.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.3.dfsg-15ubuntu1_amd64.deb) ... Selecting previously deselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.24.0-0ubuntu2_amd64.deb) ... Selecting previously deselected package libatk1.0-dev. Unpacking libatk1.0-dev (from .../libatk1.0-dev_1.30.0-0ubuntu2_amd64.deb) ... Selecting previously deselected package libavahi-common-data. Unpacking libavahi-common-data (from .../libavahi-common-data_0.6.25-1ubuntu6_amd64.deb) ... Selecting previously deselected package libavahi-common3. Unpacking libavahi-common3 (from .../libavahi-common3_0.6.25-1ubuntu6_amd64.deb) ... Selecting previously deselected package libavahi-client3. Unpacking libavahi-client3 (from .../libavahi-client3_0.6.25-1ubuntu6_amd64.deb) ... Selecting previously deselected package libsysfs2. Unpacking libsysfs2 (from .../libsysfs2_2.1.0-6_amd64.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_amd64.deb) ... Selecting previously deselected package libdirectfb-1.2-0. Unpacking libdirectfb-1.2-0 (from .../libdirectfb-1.2-0_1.2.8-5ubuntu2_amd64.deb) ... Selecting previously deselected package libpixman-1-0. Unpacking libpixman-1-0 (from .../libpixman-1-0_0.16.4-1ubuntu2_amd64.deb) ... Selecting previously deselected package libxcb-render0. Unpacking libxcb-render0 (from .../libxcb-render0_1.5-2_amd64.deb) ... Selecting previously deselected package libxcb-render-util0. Unpacking libxcb-render-util0 (from .../libxcb-render-util0_0.3.6-1build1_amd64.deb) ... Selecting previously deselected package libxrender1. Unpacking libxrender1 (from .../libxrender1_1%3a0.9.5-1_amd64.deb) ... Selecting previously deselected package libcairo2. Unpacking libcairo2 (from .../libcairo2_1.8.10-2ubuntu1_amd64.deb) ... Selecting previously deselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.0.1-7ubuntu1_amd64.deb) ... Selecting previously deselected package libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.3.11-1ubuntu2_amd64.deb) ... Selecting previously deselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.8.0-2ubuntu1_amd64.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_amd64.deb) ... Selecting previously deselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.42-1ubuntu2_amd64.deb) ... Selecting previously deselected package libjpeg62. Unpacking libjpeg62 (from .../libjpeg62_6b-15ubuntu1_amd64.deb) ... Selecting previously deselected package libdirectfb-extra. Unpacking libdirectfb-extra (from .../libdirectfb-extra_1.2.8-5ubuntu2_amd64.deb) ... Selecting previously deselected package libjpeg62-dev. Unpacking libjpeg62-dev (from .../libjpeg62-dev_6b-15ubuntu1_amd64.deb) ... Selecting previously deselected package libsysfs-dev. Unpacking libsysfs-dev (from .../libsysfs-dev_2.1.0-6_amd64.deb) ... Selecting previously deselected package libdirectfb-dev. Unpacking libdirectfb-dev (from .../libdirectfb-dev_1.2.8-5ubuntu2_amd64.deb) ... Selecting previously deselected package libpixman-1-dev. Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.16.4-1ubuntu2_amd64.deb) ... Selecting previously deselected package libxcb-render0-dev. Unpacking libxcb-render0-dev (from .../libxcb-render0-dev_1.5-2_amd64.deb) ... Selecting previously deselected package libxcb-render-util0-dev. Unpacking libxcb-render-util0-dev (from .../libxcb-render-util0-dev_0.3.6-1build1_amd64.deb) ... Selecting previously deselected package libcairo2-dev. Unpacking libcairo2-dev (from .../libcairo2-dev_1.8.10-2ubuntu1_amd64.deb) ... Selecting previously deselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.11.2-1_amd64.deb) ... Selecting previously deselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.2.5+debian-1build1_amd64.deb) ... Selecting previously deselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20090803-2ubuntu3_amd64.deb) ... Selecting previously deselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.11.2-1_amd64.deb) ... Selecting previously deselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.11.2-1_amd64.deb) ... Selecting previously deselected package libfindlib-ocaml-dev. Unpacking libfindlib-ocaml-dev (from .../libfindlib-ocaml-dev_1.2.5+debian-1build1_amd64.deb) ... Selecting previously deselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.2.5+debian-1build1_amd64.deb) ... Selecting previously deselected package libcryptgps-ocaml-dev. Unpacking libcryptgps-ocaml-dev (from .../libcryptgps-ocaml-dev_0.2.1-7build1_amd64.deb) ... Selecting previously deselected package libcups2. Unpacking libcups2 (from .../libcups2_1.4.3-1_amd64.deb) ... Selecting previously deselected package libdatrie1. Unpacking libdatrie1 (from .../libdatrie1_0.2.2-3_amd64.deb) ... Selecting previously deselected package libhunspell-1.2-0. Unpacking libhunspell-1.2-0 (from .../libhunspell-1.2-0_1.2.8-6ubuntu1_amd64.deb) ... Selecting previously deselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-0ubuntu1_amd64.deb) ... Selecting previously deselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-0ubuntu1_amd64.deb) ... Selecting previously deselected package libexpat-ocaml. Unpacking libexpat-ocaml (from .../libexpat-ocaml_0.9.1+debian1-7_amd64.deb) ... Selecting previously deselected package libexpat-ocaml-dev. Unpacking libexpat-ocaml-dev (from .../libexpat-ocaml-dev_0.9.1+debian1-7_amd64.deb) ... Selecting previously deselected package libgdome2-0. Unpacking libgdome2-0 (from .../libgdome2-0_0.8.1+debian-4_amd64.deb) ... Selecting previously deselected package libgdome2-cpp-smart0c2a. Unpacking libgdome2-cpp-smart0c2a (from .../libgdome2-cpp-smart0c2a_0.2.6-5_amd64.deb) ... Selecting previously deselected package libxml2-dev. Unpacking libxml2-dev (from .../libxml2-dev_2.7.6.dfsg-1ubuntu1_amd64.deb) ... Selecting previously deselected package libgdome2-dev. Unpacking libgdome2-dev (from .../libgdome2-dev_0.8.1+debian-4_amd64.deb) ... Selecting previously deselected package libgdome2-cpp-smart-dev. Unpacking libgdome2-cpp-smart-dev (from .../libgdome2-cpp-smart-dev_0.2.6-5_amd64.deb) ... Selecting previously deselected package libgdome2-ocaml. Unpacking libgdome2-ocaml (from .../libgdome2-ocaml_0.2.6-5_amd64.deb) ... Selecting previously deselected package libgdome2-ocaml-dev. Unpacking libgdome2-ocaml-dev (from .../libgdome2-ocaml-dev_0.2.6-5_amd64.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_amd64.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_amd64.deb) ... Selecting previously deselected package libxft2. Unpacking libxft2 (from .../libxft2_2.1.14-1ubuntu1_amd64.deb) ... Selecting previously deselected package libpango1.0-0. Unpacking libpango1.0-0 (from .../libpango1.0-0_1.28.0-0ubuntu2_amd64.deb) ... Selecting previously deselected package libtiff4. Unpacking libtiff4 (from .../libtiff4_3.9.2-2_amd64.deb) ... Selecting previously deselected package libxcursor1. Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.10-1_amd64.deb) ... Selecting previously deselected package libxdamage1. Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.2-1_amd64.deb) ... Selecting previously deselected package libxi6. Unpacking libxi6 (from .../libxi6_2%3a1.3-3_amd64.deb) ... Selecting previously deselected package libxinerama1. Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1-2_amd64.deb) ... Selecting previously deselected package libxrandr2. Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.0-3_amd64.deb) ... Selecting previously deselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_0.71-1ubuntu1_amd64.deb) ... Selecting previously deselected package libgtk2.0-0. Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.20.0-0ubuntu4_amd64.deb) ... Selecting previously deselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1build1_amd64.deb) ... Selecting previously deselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.1.14-1ubuntu1_amd64.deb) ... Selecting previously deselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.28.0-0ubuntu2_amd64.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_amd64.deb) ... Selecting previously deselected package libxi-dev. Unpacking libxi-dev (from .../libxi-dev_2%3a1.3-3_amd64.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_amd64.deb) ... Selecting previously deselected package libxcursor-dev. Unpacking libxcursor-dev (from .../libxcursor-dev_1%3a1.1.10-1_amd64.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_amd64.deb) ... Selecting previously deselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.7.6.dfsg-1ubuntu1_amd64.deb) ... Selecting previously deselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.20.0-0ubuntu4_amd64.deb) ... Selecting previously deselected package libglade2-dev. Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1build1_amd64.deb) ... Selecting previously deselected package libt1-5. Unpacking libt1-5 (from .../libt1-5_5.1.2-3build1_amd64.deb) ... Selecting previously deselected package libgtkmathview0c2a. Unpacking libgtkmathview0c2a (from .../libgtkmathview0c2a_0.8.0-4_amd64.deb) ... Selecting previously deselected package libt1-dev. Unpacking libt1-dev (from .../libt1-dev_5.1.2-3build1_amd64.deb) ... Selecting previously deselected package libgtkmathview-dev. Unpacking libgtkmathview-dev (from .../libgtkmathview-dev_0.8.0-4_amd64.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_amd64.deb) ... Selecting previously deselected package libgtksourceview2.0-dev. Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.0-0ubuntu1_amd64.deb) ... Selecting previously deselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_amd64.deb) ... Selecting previously deselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1_amd64.deb) ... Selecting previously deselected package libpcrecpp0. Unpacking libpcrecpp0 (from .../libpcrecpp0_7.8-3build1_amd64.deb) ... Selecting previously deselected package libpcre3-dev. Unpacking libpcre3-dev (from .../libpcre3-dev_7.8-3build1_amd64.deb) ... Selecting previously deselected package libpcre-ocaml. Unpacking libpcre-ocaml (from .../libpcre-ocaml_6.0.1-2build1_amd64.deb) ... Selecting previously deselected package libpcre-ocaml-dev. Unpacking libpcre-ocaml-dev (from .../libpcre-ocaml-dev_6.0.1-2build1_amd64.deb) ... Selecting previously deselected package libocamlnet-ocaml. Unpacking libocamlnet-ocaml (from .../libocamlnet-ocaml_2.2.9-7build2_amd64.deb) ... Selecting previously deselected package libocamlnet-ocaml-dev. Unpacking libocamlnet-ocaml-dev (from .../libocamlnet-ocaml-dev_2.2.9-7build2_amd64.deb) ... Selecting previously deselected package libhttp-ocaml-dev. Unpacking libhttp-ocaml-dev (from .../libhttp-ocaml-dev_0.1.4-3build2_amd64.deb) ... Selecting previously deselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.0+dfsg-2build1_amd64.deb) ... Selecting previously deselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.0+dfsg-2build1_amd64.deb) ... Selecting previously deselected package liblablgtkmathview-ocaml. Unpacking liblablgtkmathview-ocaml (from .../liblablgtkmathview-ocaml_0.7.8-5build2_amd64.deb) ... Selecting previously deselected package liblablgtkmathview-ocaml-dev. Unpacking liblablgtkmathview-ocaml-dev (from .../liblablgtkmathview-ocaml-dev_0.7.8-5build2_amd64.deb) ... Selecting previously deselected package liblablgtksourceview2-ocaml. Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.14.0+dfsg-2build1_amd64.deb) ... Selecting previously deselected package liblablgtksourceview2-ocaml-dev. Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_2.14.0+dfsg-2build1_amd64.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_amd64.deb) ... Selecting previously deselected package libmysql-ocaml. Unpacking libmysql-ocaml (from .../libmysql-ocaml_1.0.4-7ubuntu3_amd64.deb) ... Selecting previously deselected package libmysqlclient-dev. Unpacking libmysqlclient-dev (from .../libmysqlclient-dev_5.1.41-3ubuntu12_amd64.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_amd64.deb) ... Selecting previously deselected package libsqlite3-dev. Unpacking libsqlite3-dev (from .../libsqlite3-dev_3.6.22-1_amd64.deb) ... Selecting previously deselected package libxss1. Unpacking libxss1 (from .../libxss1_1%3a1.2.0-2_amd64.deb) ... Selecting previously deselected package libzip-ocaml. Unpacking libzip-ocaml (from .../libzip-ocaml_1.04-6build1_amd64.deb) ... Selecting previously deselected package libzip-ocaml-dev. Unpacking libzip-ocaml-dev (from .../libzip-ocaml-dev_1.04-6build1_amd64.deb) ... Selecting previously deselected package tcl8.5. Unpacking tcl8.5 (from .../tcl8.5_8.5.8-2_amd64.deb) ... Selecting previously deselected package tk8.5. Unpacking tk8.5 (from .../tk8.5_8.5.8-1_amd64.deb) ... Selecting previously deselected package ocaml-base. Unpacking ocaml-base (from .../ocaml-base_3.11.2-1_amd64.deb) ... Selecting previously deselected package ocaml. Unpacking ocaml (from .../ocaml_3.11.2-1_amd64.deb) ... Selecting previously deselected package ocaml-compiler-libs. Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_3.11.2-1_amd64.deb) ... Selecting previously deselected package camlp5. Unpacking camlp5 (from .../camlp5_5.12-3_amd64.deb) ... Selecting previously deselected package ocaml-ulex08. Unpacking ocaml-ulex08 (from .../ocaml-ulex08_0.8-8build2_amd64.deb) ... Selecting previously deselected package libsqlite3-ocaml. Unpacking libsqlite3-ocaml (from .../libsqlite3-ocaml_1.5.6-3build1_amd64.deb) ... Selecting previously deselected package libsqlite3-ocaml-dev. Unpacking libsqlite3-ocaml-dev (from .../libsqlite3-ocaml-dev_1.5.6-3build1_amd64.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 amd64 /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=x86_64-linux-gnu --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... yes checking for ocamlfind... yes checking for lablgladecc2... yes checking for camlp5o... yes creating METAs ... done checking for expat ocaml library... yes checking for gdome2 ocaml library... yes checking for http ocaml library... yes checking for lablgtk2 ocaml library... yes checking for lablgtksourceview2.gtksourceview2 ocaml library... yes checking for 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.opt@components rec@depend.opt@matita make[2]: Entering directory `/build/buildd/matita-0.5.8' /usr/bin/make -C components depend.opt 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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 -native 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.opt DESTDIR=/build/buildd/matita-0.5.8/ make[3]: Entering directory `/build/buildd/matita-0.5.8/matita' OCAMLDEP -native 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' 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' OCAMLDEP make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/syntax_extensions' 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/extlib' OCAMLC componentsConf.mli OCAMLOPT componentsConf.ml OCAMLC hExtlib.mli OCAMLOPT hExtlib.ml OCAMLC hMarshal.mli OCAMLOPT hMarshal.ml OCAMLC patternMatcher.mli OCAMLOPT patternMatcher.ml OCAMLC hLog.mli OCAMLOPT hLog.ml OCAMLC trie.mli OCAMLOPT trie.ml OCAMLC discrimination_tree.mli OCAMLOPT discrimination_tree.ml OCAMLC hTopoSort.mli OCAMLOPT hTopoSort.ml OCAMLC refCounter.mli OCAMLOPT refCounter.ml OCAMLC graphvizPp.mli OCAMLOPT graphvizPp.ml OCAMLOPT -a extlib.cmxa 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 OCAMLOPT xml.ml OCAMLC xmlPushParser.mli OCAMLOPT xmlPushParser.ml OCAMLOPT -a xml.cmxa 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 OCAMLOPT domMisc.ml OCAMLC xml2Gdome.mli OCAMLOPT xml2Gdome.ml OCAMLOPT -a hgdome.cmxa 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 OCAMLOPT helm_registry.ml OCAMLOPT -a registry.cmxa make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/registry' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/hmysql' OCAMLOPT hSqlite3.ml OCAMLOPT hMysql.ml OCAMLC hSql.mli OCAMLOPT hSql.ml OCAMLOPT -a hmysql.cmxa 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' OCAMLOPT utf8MacroTable.ml OCAMLOPT utf8Macro.ml OCAMLOPT -a utf8_macros.cmxa 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 OCAMLOPT threadSafe.ml OCAMLC extThread.mli OCAMLOPT extThread.ml OCAMLOPT -a thread.cmxa OCAMLC fake/threadSafe.mli OCAMLOPT -a thread_fake.cmxa make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/thread' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/xmldiff' OCAMLC xmlDiff.mli OCAMLOPT xmlDiff.ml OCAMLOPT -a xmldiff.cmxa 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 OCAMLOPT uriManager.ml OCAMLOPT -a urimanager.cmxa 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 OCAMLOPT helmLogger.ml OCAMLOPT -a logger.cmxa make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/logger' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/getter' OCAMLOPT http_getter_types.ml OCAMLC http_getter_wget.mli OCAMLOPT http_getter_wget.ml OCAMLC http_getter_logger.mli OCAMLOPT http_getter_logger.ml OCAMLC http_getter_misc.mli OCAMLOPT http_getter_misc.ml OCAMLC http_getter_const.mli OCAMLOPT http_getter_const.ml OCAMLC http_getter_env.mli OCAMLOPT http_getter_env.ml OCAMLC http_getter_storage.mli OCAMLOPT http_getter_storage.ml OCAMLC http_getter_common.mli OCAMLOPT http_getter_common.ml OCAMLC http_getter.mli OCAMLOPT http_getter.ml OCAMLOPT -a getter.cmxa make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/getter' make[3]: Entering directory `/build/buildd/matita-0.5.8/components/cic' OCAMLC cicUniv.mli OCAMLOPT cicUniv.ml OCAMLOPT cic.ml OCAMLC unshare.mli OCAMLOPT unshare.ml OCAMLC deannotate.mli OCAMLOPT deannotate.ml OCAMLC cicParser.mli OCAMLOPT cicParser.ml OCAMLC cicUtil.mli OCAMLOPT cicUtil.ml OCAMLC helmLibraryObjects.mli OCAMLOPT helmLibraryObjects.ml OCAMLC libraryObjects.mli OCAMLOPT libraryObjects.ml OCAMLC cic_indexable.mli OCAMLOPT cic_indexable.ml OCAMLC path_indexing.mli OCAMLOPT path_indexing.ml OCAMLC cicInspect.mli OCAMLOPT cicInspect.ml OCAMLOPT -a cic.cmxa 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 OCAMLOPT cicLogger.ml OCAMLC cicEnvironment.mli OCAMLOPT cicEnvironment.ml OCAMLC cicPp.mli OCAMLOPT cicPp.ml OCAMLC cicUnivUtils.mli OCAMLOPT cicUnivUtils.ml OCAMLC cicSubstitution.mli OCAMLOPT cicSubstitution.ml OCAMLC cicMiniReduction.mli OCAMLOPT cicMiniReduction.ml OCAMLC cicReduction.mli OCAMLOPT cicReduction.ml OCAMLC cicTypeChecker.mli OCAMLOPT cicTypeChecker.ml OCAMLC freshNamesGenerator.mli OCAMLOPT freshNamesGenerator.ml OCAMLC cicDischarge.mli OCAMLOPT cicDischarge.ml OCAMLOPT -a cic_proof_checking.cmxa 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 OCAMLOPT eta_fixing.ml OCAMLC doubleTypeInference.mli OCAMLOPT doubleTypeInference.ml OCAMLC cic2acic.mli OCAMLOPT cic2acic.ml OCAMLC cic2Xml.mli OCAMLOPT cic2Xml.ml OCAMLOPT -a cic_acic.cmxa 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 OCAMLOPT cicExportation.ml OCAMLOPT -a cic_exportation.cmxa 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 OCAMLOPT sqlStatements.ml OCAMLC metadataTypes.mli OCAMLOPT metadataTypes.ml OCAMLC metadataExtractor.mli OCAMLOPT metadataExtractor.ml OCAMLC metadataPp.mli OCAMLOPT metadataPp.ml OCAMLC metadataConstraints.mli OCAMLOPT metadataConstraints.ml OCAMLC metadataDb.mli OCAMLOPT metadataDb.ml OCAMLC metadataDeps.mli OCAMLOPT metadataDeps.ml OCAMLOPT -a metadata.cmxa 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 OCAMLOPT librarian.ml OCAMLC libraryMisc.mli OCAMLOPT libraryMisc.ml OCAMLC libraryDb.mli OCAMLOPT libraryDb.ml OCAMLC coercDb.mli OCAMLOPT coercDb.ml OCAMLC cicCoercion.mli OCAMLOPT cicCoercion.ml OCAMLC librarySync.mli OCAMLOPT librarySync.ml OCAMLC cicElim.mli OCAMLOPT cicElim.ml OCAMLC cicRecord.mli OCAMLOPT cicRecord.ml OCAMLC cicFix.mli OCAMLOPT cicFix.ml OCAMLC libraryClean.mli OCAMLOPT libraryClean.ml OCAMLOPT -a library.cmxa 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 OCAMLOPT nUri.ml OCAMLC nReference.mli OCAMLOPT nReference.ml OCAMLOPT nCic.ml OCAMLC nCicUtils.mli OCAMLOPT nCicUtils.ml OCAMLC nCicSubstitution.mli OCAMLOPT nCicSubstitution.ml OCAMLC nCicEnvironment.mli OCAMLOPT nCicEnvironment.ml OCAMLC nCicPp.mli OCAMLOPT nCicPp.ml OCAMLC nCicReduction.mli OCAMLOPT nCicReduction.ml OCAMLC nCicTypeChecker.mli OCAMLOPT nCicTypeChecker.ml OCAMLC nCicUntrusted.mli OCAMLOPT nCicUntrusted.ml OCAMLOPT -a ng_kernel.cmxa 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' OCAMLOPT cicNotationPt.ml OCAMLC content.mli OCAMLOPT content.ml OCAMLC acic2content.mli OCAMLOPT acic2content.ml OCAMLC content2cic.mli OCAMLOPT content2cic.ml OCAMLC cicNotationUtil.mli OCAMLOPT cicNotationUtil.ml OCAMLC cicNotationEnv.mli OCAMLOPT cicNotationEnv.ml OCAMLC cicNotationPp.mli OCAMLOPT cicNotationPp.ml OCAMLC acic2astMatcher.mli OCAMLOPT acic2astMatcher.ml OCAMLC termAcicContent.mli OCAMLOPT termAcicContent.ml OCAMLOPT -a acic_content.cmxa 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' OCAMLOPT grafiteAst.ml OCAMLC grafiteAstPp.mli OCAMLOPT grafiteAstPp.ml OCAMLC grafiteMarshal.mli OCAMLOPT grafiteMarshal.ml OCAMLOPT -a grafite.cmxa 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 OCAMLOPT cicMetaSubst.ml OCAMLC cicMkImplicit.mli OCAMLOPT cicMkImplicit.ml OCAMLC termUtil.mli OCAMLOPT termUtil.ml OCAMLC coercGraph.mli OCAMLOPT coercGraph.ml OCAMLC cicUnification.mli OCAMLOPT cicUnification.ml OCAMLC cicReplace.mli OCAMLOPT cicReplace.ml OCAMLC cicRefine.mli OCAMLOPT cicRefine.ml OCAMLOPT -a cic_unification.cmxa 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 OCAMLOPT whelp.ml OCAMLC fwdQueries.mli OCAMLOPT fwdQueries.ml OCAMLOPT -a whelp.cmxa 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 OCAMLOPT proofEngineTypes.ml OCAMLC proofEngineHelpers.mli OCAMLOPT proofEngineHelpers.ml OCAMLC proofEngineReduction.mli OCAMLOPT proofEngineReduction.ml OCAMLC continuationals.mli OCAMLOPT continuationals.ml OCAMLC tacticals.mli OCAMLOPT tacticals.ml OCAMLC reductionTactics.mli OCAMLOPT reductionTactics.ml OCAMLC proofEngineStructuralRules.mli OCAMLOPT proofEngineStructuralRules.ml OCAMLC primitiveTactics.mli OCAMLOPT primitiveTactics.ml OCAMLC hashtbl_equiv.mli OCAMLOPT hashtbl_equiv.ml OCAMLC metadataQuery.mli OCAMLOPT metadataQuery.ml OCAMLC universe.mli OCAMLOPT universe.ml OCAMLC autoTypes.mli OCAMLOPT autoTypes.ml OCAMLC autoCache.mli OCAMLOPT autoCache.ml OCAMLC paramodulation/utils.mli OCAMLOPT paramodulation/utils.ml OCAMLC closeCoercionGraph.mli OCAMLOPT closeCoercionGraph.ml OCAMLC paramodulation/subst.mli OCAMLOPT paramodulation/subst.ml OCAMLC paramodulation/equality.mli OCAMLOPT paramodulation/equality.ml OCAMLC paramodulation/founif.mli OCAMLOPT paramodulation/founif.ml OCAMLC paramodulation/equality_indexing.mli OCAMLOPT paramodulation/equality_indexing.ml OCAMLC paramodulation/indexing.mli OCAMLOPT paramodulation/indexing.ml OCAMLC paramodulation/saturation.mli OCAMLOPT paramodulation/saturation.ml OCAMLC automationCache.mli OCAMLOPT automationCache.ml OCAMLC variousTactics.mli OCAMLOPT variousTactics.ml OCAMLC compose.mli OCAMLOPT compose.ml OCAMLC introductionTactics.mli OCAMLOPT introductionTactics.ml OCAMLC eliminationTactics.mli OCAMLOPT eliminationTactics.ml OCAMLC negationTactics.mli OCAMLOPT negationTactics.ml OCAMLC equalityTactics.mli OCAMLOPT equalityTactics.ml OCAMLC auto.mli OCAMLOPT auto.ml OCAMLC destructTactic.mli OCAMLOPT destructTactic.ml OCAMLC inversion.mli OCAMLOPT inversion.ml OCAMLC inversion_principle.mli OCAMLOPT inversion_principle.ml OCAMLC ring.mli OCAMLOPT ring.ml OCAMLC setoids.mli OCAMLOPT setoids.ml OCAMLC fourier.mli OCAMLOPT fourier.ml OCAMLC fourierR.mli OCAMLOPT fourierR.ml OCAMLC fwdSimplTactic.mli OCAMLOPT fwdSimplTactic.ml OCAMLC history.mli OCAMLOPT history.ml OCAMLC statefulProofEngine.mli OCAMLOPT statefulProofEngine.ml OCAMLC tactics.mli OCAMLOPT tactics.ml OCAMLC declarative.mli OCAMLOPT declarative.ml OCAMLOPT -a tactics.cmxa 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 OCAMLOPT proceduralHelpers.ml OCAMLC proceduralClassify.mli OCAMLOPT proceduralClassify.ml OCAMLC proceduralOptimizer.mli OCAMLOPT proceduralOptimizer.ml OCAMLC proceduralTypes.mli OCAMLOPT proceduralTypes.ml OCAMLC proceduralMode.mli OCAMLOPT proceduralMode.ml OCAMLC proceduralConversion.mli OCAMLOPT proceduralConversion.ml OCAMLC procedural1.mli OCAMLOPT procedural1.ml OCAMLC procedural2.mli OCAMLOPT procedural2.ml OCAMLC proceduralTeX.mli OCAMLOPT proceduralTeX.ml OCAMLC acic2Procedural.mli OCAMLOPT acic2Procedural.ml OCAMLOPT -a acic_procedural.cmxa 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 OCAMLOPT -rectypes disambiguateTypes.ml OCAMLC disambiguate.mli OCAMLOPT disambiguate.ml OCAMLC multiPassDisambiguator.mli OCAMLOPT multiPassDisambiguator.ml OCAMLOPT -a disambiguation.cmxa 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 OCAMLOPT cicDisambiguate.ml OCAMLC disambiguateChoices.mli OCAMLOPT disambiguateChoices.ml OCAMLOPT number_notation.ml OCAMLOPT -a cic_disambiguation.cmxa 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 OCAMLOPT nDiscriminationTree.ml OCAMLC nCicMetaSubst.mli OCAMLOPT nCicMetaSubst.ml OCAMLC nCicUnifHint.mli OCAMLOPT 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 OCAMLOPT nCicCoercion.ml OCAMLC nRstatus.mli OCAMLOPT nRstatus.ml OCAMLC nCicUnification.mli OCAMLOPT nCicUnification.ml OCAMLC nCicRefiner.mli OCAMLOPT nCicRefiner.ml OCAMLOPT -a ng_refiner.cmxa 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 OCAMLOPT nCicDisambiguate.ml OCAMLOPT -a ng_disambiguation.cmxa 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 OCAMLOPT ncic2astMatcher.ml OCAMLC nTermCicContent.mli OCAMLOPT nTermCicContent.ml OCAMLOPT -a ng_cic_content.cmxa 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 OCAMLOPT terms.ml OCAMLC pp.mli OCAMLOPT pp.ml OCAMLC foSubst.mli OCAMLOPT foSubst.ml OCAMLC orderings.mli OCAMLOPT orderings.ml OCAMLC foUtils.mli OCAMLOPT foUtils.ml OCAMLC foUnif.mli OCAMLOPT foUnif.ml OCAMLC index.mli OCAMLOPT index.ml OCAMLC superposition.mli OCAMLOPT superposition.ml OCAMLC stats.mli OCAMLOPT stats.ml OCAMLC paramod.mli OCAMLOPT paramod.ml OCAMLC nCicBlob.mli OCAMLOPT nCicBlob.ml OCAMLC cicBlob.mli OCAMLOPT cicBlob.ml OCAMLC nCicProof.mli OCAMLOPT nCicProof.ml OCAMLC nCicParamod.mli OCAMLOPT nCicParamod.ml OCAMLOPT -a ng_paramodulation.cmxa 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 OCAMLOPT nCic2OCic.ml OCAMLC oCic2NCic.mli OCAMLOPT oCic2NCic.ml OCAMLC nCicLibrary.mli OCAMLOPT nCicLibrary.ml OCAMLOPT -a ng_library.cmxa OCAMLPATH=/build/buildd/matita-0.5.8/components/METAS ocamlfind opt -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.opt rt.ml OCAMLPATH=/build/buildd/matita-0.5.8/components/METAS ocamlfind opt -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.opt 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 OCAMLOPT renderingAttrs.ml OCAMLC cicNotationLexer.mli OCAMLOPT cicNotationLexer.ml OCAMLC cicNotationParser.mli OCAMLOPT cicNotationParser.ml OCAMLC mpresentation.mli OCAMLOPT mpresentation.ml OCAMLC box.mli OCAMLOPT box.ml OCAMLC content2presMatcher.mli OCAMLOPT content2presMatcher.ml OCAMLC termContentPres.mli OCAMLOPT termContentPres.ml OCAMLC cicNotationPres.mli OCAMLOPT cicNotationPres.ml OCAMLC boxPp.mli OCAMLOPT boxPp.ml OCAMLC content2pres.mli OCAMLOPT content2pres.ml OCAMLC sequent2pres.mli OCAMLOPT sequent2pres.ml OCAMLOPT -a content_pres.cmxa 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' OCAMLOPT lexiconAst.ml OCAMLC lexiconAstPp.mli OCAMLOPT lexiconAstPp.ml OCAMLC lexiconMarshal.mli OCAMLOPT lexiconMarshal.ml OCAMLC cicNotation.mli OCAMLOPT cicNotation.ml OCAMLC lexiconEngine.mli OCAMLOPT lexiconEngine.ml OCAMLC lexiconSync.mli OCAMLOPT lexiconSync.ml OCAMLOPT -a lexicon.cmxa 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' OCAMLOPT ast.ml OCAMLC parser.mli OCAMLOPT parser.ml OCAMLOPT lexer.ml OCAMLC tptp2grafite.mli OCAMLOPT tptp2grafite.ml OCAMLOPT -a tptp_grafite.cmxa 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 OCAMLOPT dependenciesParser.ml OCAMLC grafiteParser.mli OCAMLOPT grafiteParser.ml OCAMLC cicNotation2.mli OCAMLOPT cicNotation2.ml OCAMLC nEstatus.mli OCAMLOPT nEstatus.ml OCAMLC grafiteDisambiguate.mli OCAMLOPT grafiteDisambiguate.ml OCAMLC print_grammar.mli OCAMLOPT print_grammar.ml OCAMLOPT -a grafite_parser.cmxa 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 OCAMLOPT nCicTacReduction.ml OCAMLC nTacStatus.mli OCAMLOPT nTacStatus.ml OCAMLC nCicElim.mli OCAMLOPT nCicElim.ml OCAMLC nTactics.mli OCAMLOPT nTactics.ml OCAMLC zipTree.mli OCAMLOPT zipTree.ml OCAMLC andOrTree.mli OCAMLOPT andOrTree.ml OCAMLC nAuto.mli OCAMLOPT nAuto.ml OCAMLC nInversion.mli OCAMLOPT nInversion.ml OCAMLC nDestructTac.mli OCAMLOPT nDestructTac.ml OCAMLOPT -a ng_tactics.cmxa 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 OCAMLOPT grafiteTypes.ml OCAMLC grafiteSync.mli OCAMLOPT grafiteSync.ml OCAMLC nCicCoercDeclaration.mli OCAMLOPT nCicCoercDeclaration.ml OCAMLC grafiteEngine.mli OCAMLOPT grafiteEngine.ml OCAMLOPT -a grafite_engine.cmxa make[3]: Leaving directory `/build/buildd/matita-0.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 -native OCAMLOPT buildTimeConf.ml OCAMLOPT matitaGeneratedGui.ml OCAMLC lablGraphviz.mli OCAMLOPT lablGraphviz.ml OCAMLC matitaTypes.mli OCAMLOPT matitaTypes.ml OCAMLC matitaMisc.mli OCAMLOPT matitaMisc.ml OCAMLC applyTransformation.mli OCAMLOPT applyTransformation.ml OCAMLC matitaEngine.mli OCAMLOPT matitaEngine.ml OCAMLC matitaExcPp.mli OCAMLOPT matitaExcPp.ml OCAMLC matitacLib.mli OCAMLOPT matitacLib.ml OCAMLC matitaInit.mli OCAMLOPT matitaInit.ml OCAMLC matitaGtkMisc.mli OCAMLOPT matitaGtkMisc.ml OCAMLC matitaAutoGui.mli OCAMLOPT matitaAutoGui.ml OCAMLC virtuals.mli OCAMLOPT virtuals.ml OCAMLC matitaScript.mli OCAMLOPT matitaScript.ml OCAMLC predefined_virtuals.mli OCAMLOPT predefined_virtuals.ml OCAMLC matitaGuiTypes.mli OCAMLC matitaMathView.mli OCAMLOPT matitaMathView.ml OCAMLC matitaGui.mli OCAMLOPT matitaGui.ml OCAMLOPT matita.ml OCAMLOPT matitaWiki.ml OCAMLC matitadep.mli OCAMLOPT matitadep.ml OCAMLC matitaclean.mli OCAMLOPT matitaclean.ml OCAMLOPT matitac.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 matita/matitac.opt debian/matita/usr/bin/ || true # 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 amd64: matita dh_strip debug symbol extraction: packages to act on: matita dh_strip debug symbol extraction: ignored packages: WARNING: not running pkgbinarymangler for this package, as requested dpkg-deb: building package `matita-dbgsym' in `../matita-dbgsym_0.5.8-2build2_amd64.ddeb'. dh_compress -pmatita -X.pdf dh_fixperms -pmatita dh_makeshlibs -pmatita dh_installdeb -pmatita dh_perl -pmatita dh_shlibdeps -pmatita dpkg-shlibdeps: warning: dependency on libfontconfig.so.1 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libatk-1.0.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libmathview.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libmathview_frontend_gmetadom.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libxml2.so.2 could be avoided if "debian/matita/usr/bin/matita.opt debian/matita/usr/bin/matitac.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libt1.so.5 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libpangocairo-1.0.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libfreetype.so.6 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on librt.so.1 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libgio-2.0.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libgmetadom_gdome_cpp_smart.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libgmodule-2.0.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libcairo.so.2 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libmathview_backend_gtk.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libgthread-2.0.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libpangoft2-1.0.so.0 could be avoided if "debian/matita/usr/bin/matita.opt" were not uselessly linked against it (they use none of its symbols). dh_gencontrol -pmatita # 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_amd64.deb'. dpkg-genchanges -B -mUbuntu/amd64 Build Daemon >../matita_0.5.8-2build2_amd64.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-2232 Publishing debug debs. chroot-autobuild/build/buildd/matita_0.5.8-2build2_amd64.deb: new debian package, version 2.0. size 6090184 bytes: control archive= 8623 bytes. 1372 bytes, 24 lines control 22470 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: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 19212 Depends: libatk1.0-0 (>= 1.29.3), libc6 (>= 2.11), libcairo2 (>= 1.2.4), libexpat1 (>= 1.95.8), libfontconfig1 (>= 2.8.0), libfreetype6 (>= 2.2.1), libgdome2-0, libgdome2-cpp-smart0c2a, libglade2-0 (>= 1:2.6.1), libglib2.0-0 (>= 2.16.0), libgtk2.0-0 (>= 2.12.0), libgtkmathview0c2a, libgtksourceview2.0-0 (>= 2.9.7), libmysqlclient16 (>= 5.1.21-1), libpango1.0-0 (>= 1.14.0), libpcre3 (>= 7.7), libsqlite3-0 (>= 3.6.22), libt1-5 (>= 5.1.0), libxml2 (>= 2.6.27), zlib1g (>= 1:1.1.4) 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_amd64.deb: drwxr-xr-x root/root 0 2010-04-16 22:31 ./ drwxr-xr-x root/root 0 2010-04-16 22:31 ./usr/ drwxr-xr-x root/root 0 2010-04-16 22:32 ./usr/bin/ -rwxr-xr-x root/root 9336232 2010-04-16 22:31 ./usr/bin/matita.opt -rwxr-xr-x root/root 6572200 2010-04-16 22:31 ./usr/bin/matitac.opt drwxr-xr-x root/root 0 2010-04-16 22:31 ./usr/share/ drwxr-xr-x root/root 0 2010-04-16 22:31 ./usr/share/matita/ drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/help/ drwxr-xr-x root/root 0 2010-04-16 22:26 ./usr/share/matita/help/C/ -rw-r--r-- root/root 23883 2009-07-07 15:13 ./usr/share/matita/help/C/sec_install.xml -rw-r--r-- root/root 7159 2009-01-05 16:07 ./usr/share/matita/help/C/sec_gettingstarted.xml -rw-r--r-- root/root 646 2006-06-14 15:41 ./usr/share/matita/help/C/docbook.css -rw-r--r-- root/root 23379 2009-05-07 15:30 ./usr/share/matita/help/C/sec_commands.xml -rw-r--r-- root/root 33544 2009-05-07 15:30 ./usr/share/matita/help/C/sec_terms.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 17 2006-02-07 14:54 ./usr/share/matita/help/C/version.txt.in -rw-r--r-- root/root 16498 2008-05-26 17:33 ./usr/share/matita/help/C/sec_declarative_tactics.xml drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/help/C/figures/ -rw-r--r-- root/root 38415 2008-12-07 18:05 ./usr/share/matita/help/C/figures/vbox2.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 3650 2008-11-25 19:30 ./usr/share/matita/help/C/figures/matita.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 42328 2008-12-07 18:05 ./usr/share/matita/help/C/figures/vbox5.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 15256 2007-10-31 15:46 ./usr/share/matita/help/C/figures/database.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 27551 2008-12-08 00:39 ./usr/share/matita/help/C/figures/vbox35.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 7058 2008-11-28 12:11 ./usr/share/matita/help/C/figures/vbox6.png -rw-r--r-- root/root 151 2006-11-14 15:30 ./usr/share/matita/help/C/tactic_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 1047 2006-06-10 17:20 ./usr/share/matita/help/C/legal.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 4069 2006-06-10 17:21 ./usr/share/matita/help/C/sec_intro.xml -rw-r--r-- root/root 149 2006-06-10 17:20 ./usr/share/matita/help/C/sec_license.xml drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/help/C/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 1888 2006-11-14 15:30 ./usr/share/matita/help/C/xsl/tactic_quickref.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 5479 2008-05-26 17:33 ./usr/share/matita/help/C/declarative_tactics_quickref.xml -rw-r--r-- root/root 8316 2009-05-07 15:30 ./usr/share/matita/help/C/matita.xml 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 -rw-r--r-- root/root 373 2006-05-14 07:15 ./usr/share/matita/help/C/TODO -rw-r--r-- root/root 61877 2006-02-08 10:34 ./usr/share/matita/help/C/xhtml1-transitional.dtd -rw-r--r-- root/root 1293 2008-11-25 19:15 ./usr/share/matita/help/C/Makefile -rw-r--r-- root/root 6 2010-04-16 22:26 ./usr/share/matita/help/C/version.txt drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/icons/ -rw-r--r-- root/root 17605 2005-09-15 10:15 ./usr/share/matita/icons/matita.png -rw-r--r-- root/root 1287 2005-06-08 10:10 ./usr/share/matita/icons/matita-theory.png -rw-r--r-- root/root 4786 2005-09-15 10:15 ./usr/share/matita/icons/matita_small.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 1272 2005-04-27 18:21 ./usr/share/matita/icons/matita-bulb-medium.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 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 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 157131 2005-09-15 10:15 ./usr/share/matita/icons/meegg.png -rw-r--r-- root/root 1073 2006-01-24 10:15 ./usr/share/matita/icons/whelp.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 232 2006-06-13 11:00 ./usr/share/matita/AUTHORS -rw-r--r-- root/root 916 2006-06-13 11:00 ./usr/share/matita/LICENSE -rw-r--r-- root/root 467 2005-10-25 14:49 ./usr/share/matita/closed.xml -rw-r--r-- root/root 762 2010-04-16 22:26 ./usr/share/matita/gtkmathview.matita.conf.xml -rw-r--r-- root/root 4469 2010-04-16 22:26 ./usr/share/matita/matita.conf.xml -rw-r--r-- root/root 8729 2009-11-16 17:09 ./usr/share/matita/matita.lang -rw-r--r-- root/root 2601 2005-04-27 18:21 ./usr/share/matita/matita.gtkrc -rw-r--r-- root/root 8946 2009-08-25 12:34 ./usr/share/matita/core_notation.moo -rw-r--r-- root/root 1002 2008-01-10 22:32 ./usr/share/matita/matita.ma.templ drwxr-xr-x root/root 0 2010-04-16 22:31 ./usr/share/matita/ma/ 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/list/ -rw-r--r-- root/root 6625 2008-06-08 18:12 ./usr/share/matita/ma/standard-library/list/sort.ma -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 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/nat/ -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 28161 2008-06-08 18:56 ./usr/share/matita/ma/standard-library/nat/iteration2.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 25339 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/nat/map_iter_p.ma -rw-r--r-- root/root 7736 2008-04-02 10:39 ./usr/share/matita/ma/standard-library/nat/count.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 8402 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/div_and_mod_diseq.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 53957 2008-06-08 19:20 ./usr/share/matita/ma/standard-library/nat/neper.ma -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 50088 2009-05-21 12:42 ./usr/share/matita/ma/standard-library/nat/generic_iter_p.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 3830 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/nat/times.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 6538 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/exp.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 2057 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/relevant_equations.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 4367 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/le_arith.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 11459 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/log.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 10040 2007-07-06 15:49 ./usr/share/matita/ma/standard-library/nat/div_and_mod_new.ma.dontcompile -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 6920 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/sqrt.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 11240 2008-06-08 18:56 ./usr/share/matita/ma/standard-library/nat/minimization.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 6191 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/nth_prime.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 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 6829 2008-02-19 12:27 ./usr/share/matita/ma/standard-library/nat/o.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 7374 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/chinese_reminder.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 23906 2009-06-03 21:20 ./usr/share/matita/ma/standard-library/nat/permutation.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 33418 2009-02-13 15:16 ./usr/share/matita/ma/standard-library/nat/bertrand.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 2302 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/nat/factorial.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 10804 2008-02-18 08:56 ./usr/share/matita/ma/standard-library/nat/binomial.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 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 drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/datatypes/ -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 5086 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/datatypes/subsets.ma -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 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/higher_order_defs/ -rw-r--r-- root/root 2052 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/higher_order_defs/relations.ma -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 drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/demo/ -rw-r--r-- root/root 6373 2008-07-23 10:02 ./usr/share/matita/ma/standard-library/demo/toolbox.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 2753 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/demo/natural_deduction.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 2079 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/demo/cantor.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 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/R/ -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 1097 2009-02-13 15:16 ./usr/share/matita/ma/standard-library/R/Rlog.ma -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 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 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/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 6739 2008-06-06 19:02 ./usr/share/matita/ma/standard-library/Q/fraction/fraction.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 5412 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/Q/fraction/ftimes.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 1034 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/Q/q/qplus.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 6382 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/Q/q/qtimes.ma -rw-r--r-- root/root 1344 2008-06-06 13:53 ./usr/share/matita/ma/standard-library/Q/q/qinv.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 -rw-r--r-- root/root 2852 2008-06-09 21:19 ./usr/share/matita/ma/standard-library/Q/Qaxioms.ma -rw-r--r-- root/root 4308 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/Q/frac.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 1334 2008-06-06 13:53 ./usr/share/matita/ma/standard-library/Q/ratio/rinv.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 2878 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/Q/inv.ma drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/algebra/ -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 11815 2009-06-13 20:00 ./usr/share/matita/ma/standard-library/algebra/finite_groups.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/logic/ -rw-r--r-- root/root 5793 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/logic/cprop_connectives.ma -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 6776 2009-05-08 15:39 ./usr/share/matita/ma/standard-library/logic/equality.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 1383 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/logic/connectives2.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/exercises/ -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 22013 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/exercises/duality.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 19769 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/exercises/substitution.ma -rw-r--r-- root/root 9921 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction_theories.ma -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 11492 2009-11-05 22:30 ./usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction.ma -rw-r--r-- root/root 661 2008-11-15 13:21 ./usr/share/matita/ma/standard-library/didactic/exercises/Makefile 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/dama/ -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 -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 5746 2008-12-19 12:44 ./usr/share/matita/ma/standard-library/dama/property_sigma.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 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 6375 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/models/increasing_supremum_stabilizes.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 18042 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/supremum.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 1853 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/sequence.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 3874 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/bishop_set_rewrite.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 3913 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/bishop_set.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 1445 2009-05-25 16:39 ./usr/share/matita/ma/standard-library/dama/russell_support.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/formal_topology/ -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 1854 2009-01-26 17:12 ./usr/share/matita/ma/standard-library/formal_topology/saturations_reductions.ma.dontcompile -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 10370 2009-01-26 17:12 ./usr/share/matita/ma/standard-library/formal_topology/relations.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 6519 2009-01-26 17:12 ./usr/share/matita/ma/standard-library/formal_topology/basic_pairs.ma.dontcompile drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/Z/ -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 9094 2009-06-05 23:18 ./usr/share/matita/ma/standard-library/Z/plus.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 22662 2009-04-15 19:48 ./usr/share/matita/ma/standard-library/Z/sigma_p.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 10597 2009-05-26 11:47 ./usr/share/matita/ma/standard-library/Z/moebius.ma -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 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 drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/standard-library/decidable_kit/ -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 7631 2009-04-28 14:59 ./usr/share/matita/ma/standard-library/decidable_kit/decidable.ma -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 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 -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/new-standard-library/ -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/new-standard-library/nat/ -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 1289 2009-11-17 13:01 ./usr/share/matita/ma/new-standard-library/nat/nat.ma -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 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 drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/datatypes/ -rw-r--r-- root/root 1085 2009-08-14 18:24 ./usr/share/matita/ma/new-standard-library/datatypes/bool.ma -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 23 2009-07-07 14:15 ./usr/share/matita/ma/new-standard-library/root drwxr-xr-x root/root 0 2009-12-01 22:54 ./usr/share/matita/ma/new-standard-library/algebra/ -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 1150 2009-08-13 18:15 ./usr/share/matita/ma/new-standard-library/algebra/abelian_magmas.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/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 2288 2009-10-06 16:04 ./usr/share/matita/ma/new-standard-library/logic/connectives.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 2053 2009-11-17 13:01 ./usr/share/matita/ma/new-standard-library/logic/destruct_bb.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/topology/ -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 22325 2009-10-21 10:30 ./usr/share/matita/ma/new-standard-library/topology/igft-setoid.ma -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 15433 2009-09-24 12:50 ./usr/share/matita/ma/new-standard-library/topology/sh_main.js -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 3346 2009-09-24 12:51 ./usr/share/matita/ma/new-standard-library/topology/sh_gedit.css -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 1174 2009-10-17 08:03 ./usr/share/matita/ma/new-standard-library/topology/preamble.xml -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 543 2009-09-25 16:28 ./usr/share/matita/ma/new-standard-library/topology/grafite.lang -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 1142 2009-09-25 16:28 ./usr/share/matita/ma/new-standard-library/topology/sh_grafite.js -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 4206 2009-10-29 15:40 ./usr/share/matita/ma/new-standard-library/topology/cantor.ma -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/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 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 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 2749 2009-08-06 11:08 ./usr/share/matita/ma/new-standard-library/sets/setoids1.ma -rw-r--r-- root/root 9735 2009-10-28 15:00 ./usr/share/matita/ma/new-standard-library/sets/partitions.ma -rw-r--r-- root/root 268 2009-07-07 14:15 ./usr/share/matita/ma/new-standard-library/Makefile drwxr-xr-x root/root 0 2010-04-16 22:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2010-04-16 22:31 ./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 1045 2010-04-16 22:26 ./usr/share/doc/matita/copyright -rw-r--r-- root/root 1642 2010-04-16 22:26 ./usr/share/doc/matita/changelog.Debian.gz drwxr-xr-x root/root 0 2010-04-16 22:31 ./usr/share/menu/ -rw-r--r-- root/root 224 2010-04-16 22:26 ./usr/share/menu/matita drwxr-xr-x root/root 0 2010-04-16 22:31 ./usr/share/man/ drwxr-xr-x root/root 0 2010-04-16 22:32 ./usr/share/man/man1/ -rw-r--r-- root/root 678 2010-04-16 22:31 ./usr/share/man/man1/matitac.1.gz -rw-r--r-- root/root 685 2010-04-16 22:31 ./usr/share/man/man1/matitaclean.1.gz -rw-r--r-- root/root 763 2010-04-16 22:31 ./usr/share/man/man1/matitadep.1.gz lrwxrwxrwx root/root 0 2010-04-16 22:32 ./usr/bin/matita -> matita.opt lrwxrwxrwx root/root 0 2010-04-16 22:32 ./usr/bin/matitac -> matitac.opt lrwxrwxrwx root/root 0 2010-04-16 22:32 ./usr/bin/matitadep -> matitac lrwxrwxrwx root/root 0 2010-04-16 22:32 ./usr/bin/matitaclean -> matitac lrwxrwxrwx root/root 0 2010-04-16 22:32 ./usr/share/man/man1/matitac.opt.1.gz -> matitac.1.gz matita_0.5.8-2build2_amd64.changes: Format: 1.8 Date: Fri, 16 Apr 2010 12:12:58 -0400 Source: matita Binary: matita matita-doc Architecture: amd64 Version: 0.5.8-2build2 Distribution: lucid Urgency: low Maintainer: Ubuntu/amd64 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: d5d2793a2f3b6a6559abef878bcb0a30b044cf89 6090184 matita_0.5.8-2build2_amd64.deb Checksums-Sha256: 1f11c44ca46ffc64b572fb77bb7977679cd5ba24d52e4e77239dbd7be6b8f929 6090184 matita_0.5.8-2build2_amd64.deb Files: e470e24acf7721befadc24efa36e6533 6090184 math optional matita_0.5.8-2build2_amd64.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 ... 26022 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-2233 Build needed 00:06:07, 132520k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '1696304-3354596'] Scanning for processes to kill in build /home/buildd/build-1696304-3354596/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '1696304-3354596'] Unmounting chroot for build 1696304-3354596... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '1696304-3354596'] Removing build 1696304-3354596