RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a', '/home/buildd/filecache-default/4b4c4d5c4d07986b1ad4d03f9987a4ffc69f5acc'] Synching the system clock with the buildd NTP service... 18 Aug 07:35:56 ntpdate[28786]: adjust time server 10.122.37.1 offset -0.000066 sec Unpacking chroot for build 52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a'] Mounting chroot for build 52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a', 'deb http://ftpmaster.internal/ubuntu maverick main universe'] Overriding sources.list in build-52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a'] Updating debian chroot for build 52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a Get:1 http://ftpmaster.internal maverick Release.gpg [189B] Ign http://ftpmaster.internal/ubuntu/ maverick/main Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick/universe Translation-en Get:2 http://ftpmaster.internal maverick Release [57.3kB] Get:3 http://ftpmaster.internal maverick/main sparc Packages [1440kB] Get:4 http://ftpmaster.internal maverick/universe sparc Packages [5602kB] Fetched 7099kB in 8s (818kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: apt apt-transport-https binutils cpp-4.4 dpkg dpkg-dev g++-4.4 gcc-4.4 gcc-4.4-base gcc-4.4-multilib gcc-4.5-base lib64gcc1 libc-bin libc-dev-bin libc6 libc6-dev libc6-dev-sparc64 libc6-sparc64 libdpkg-perl libgcc1 libglib2.0-0 libgomp1 libpam-modules libpam-runtime libpam0g libstdc++6 libstdc++6-4.4-dev linux-libc-dev upstart 29 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 35.9MB of archives. After this operation, 4682kB disk space will be freed. WARNING: The following packages cannot be authenticated! dpkg libpam-modules libc-dev-bin libc6-dev libc6-dev-sparc64 libc6-sparc64 libc-bin libc6 linux-libc-dev lib64gcc1 libgomp1 gcc-4.5-base libgcc1 libstdc++6 apt libpam-runtime libpam0g libglib2.0-0 upstart apt-transport-https libstdc++6-4.4-dev g++-4.4 gcc-4.4-multilib gcc-4.4 cpp-4.4 gcc-4.4-base binutils dpkg-dev libdpkg-perl Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ maverick/main dpkg sparc 1.15.8.4ubuntu1 [2093kB] Get:2 http://ftpmaster.internal/ubuntu/ maverick/main libpam-modules sparc 1.1.1-4ubuntu1 [339kB] Get:3 http://ftpmaster.internal/ubuntu/ maverick/main libc-dev-bin sparc 2.12.1-0ubuntu1 [221kB] Get:4 http://ftpmaster.internal/ubuntu/ maverick/main libc6-dev sparc 2.12.1-0ubuntu1 [2956kB] Get:5 http://ftpmaster.internal/ubuntu/ maverick/main libc6-dev-sparc64 sparc 2.12.1-0ubuntu1 [2656kB] Get:6 http://ftpmaster.internal/ubuntu/ maverick/main libc6-sparc64 sparc 2.12.1-0ubuntu1 [4338kB] Get:7 http://ftpmaster.internal/ubuntu/ maverick/main libc-bin sparc 2.12.1-0ubuntu1 [756kB] Get:8 http://ftpmaster.internal/ubuntu/ maverick/main libc6 sparc 2.12.1-0ubuntu1 [4373kB] Get:9 http://ftpmaster.internal/ubuntu/ maverick/main linux-libc-dev sparc 2.6.35-16.22 [788kB] Get:10 http://ftpmaster.internal/ubuntu/ maverick/main lib64gcc1 sparc 1:4.5.1-1ubuntu2 [33.6kB] Get:11 http://ftpmaster.internal/ubuntu/ maverick/main libgomp1 sparc 4.5.1-1ubuntu2 [21.6kB] Get:12 http://ftpmaster.internal/ubuntu/ maverick/main gcc-4.5-base sparc 4.5.1-1ubuntu2 [119kB] Get:13 http://ftpmaster.internal/ubuntu/ maverick/main libgcc1 sparc 1:4.5.1-1ubuntu2 [29.9kB] Get:14 http://ftpmaster.internal/ubuntu/ maverick/main libstdc++6 sparc 4.5.1-1ubuntu2 [328kB] Get:15 http://ftpmaster.internal/ubuntu/ maverick/main apt sparc 0.8.0~pre1ubuntu1 [1999kB] Get:16 http://ftpmaster.internal/ubuntu/ maverick/main libpam-runtime all 1.1.1-4ubuntu1 [85.2kB] Get:17 http://ftpmaster.internal/ubuntu/ maverick/main libpam0g sparc 1.1.1-4ubuntu1 [91.0kB] Get:18 http://ftpmaster.internal/ubuntu/ maverick/main libglib2.0-0 sparc 2.25.14-1ubuntu1 [1367kB] Get:19 http://ftpmaster.internal/ubuntu/ maverick/main upstart sparc 0.6.6-3 [195kB] Get:20 http://ftpmaster.internal/ubuntu/ maverick/main apt-transport-https sparc 0.8.0~pre1ubuntu1 [89.3kB] Get:21 http://ftpmaster.internal/ubuntu/ maverick/main libstdc++6-4.4-dev sparc 4.4.4-8ubuntu2 [1533kB] Get:22 http://ftpmaster.internal/ubuntu/ maverick/main g++-4.4 sparc 4.4.4-8ubuntu2 [4112kB] Get:23 http://ftpmaster.internal/ubuntu/ maverick/main gcc-4.4-multilib sparc 4.4.4-8ubuntu2 [77.0kB] Get:24 http://ftpmaster.internal/ubuntu/ maverick/main gcc-4.4 sparc 4.4.4-8ubuntu2 [707kB] Get:25 http://ftpmaster.internal/ubuntu/ maverick/main cpp-4.4 sparc 4.4.4-8ubuntu2 [2975kB] Get:26 http://ftpmaster.internal/ubuntu/ maverick/main gcc-4.4-base sparc 4.4.4-8ubuntu2 [123kB] Get:27 http://ftpmaster.internal/ubuntu/ maverick/main binutils sparc 2.20.51.20100813-1ubuntu1 [2220kB] Get:28 http://ftpmaster.internal/ubuntu/ maverick/main dpkg-dev all 1.15.8.4ubuntu1 [772kB] Get:29 http://ftpmaster.internal/ubuntu/ maverick/main libdpkg-perl all 1.15.8.4ubuntu1 [504kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 35.9MB in 2s (15.1MB/s) (Reading database ... 13587 files and directories currently installed.) Preparing to replace dpkg 1.15.8.2ubuntu3 (using .../dpkg_1.15.8.4ubuntu1_sparc.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.15.8.4ubuntu1) ... (Reading database ... 13641 files and directories currently installed.) Preparing to replace libpam-modules 1.1.1-3ubuntu3 (using .../libpam-modules_1.1.1-4ubuntu1_sparc.deb) ... Unpacking replacement libpam-modules ... Setting up libpam-modules (1.1.1-4ubuntu1) ... (Reading database ... 13639 files and directories currently installed.) Preparing to replace libc-dev-bin 2.12-0ubuntu5 (using .../libc-dev-bin_2.12.1-0ubuntu1_sparc.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libc6-dev 2.12-0ubuntu5 (using .../libc6-dev_2.12.1-0ubuntu1_sparc.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc6-dev-sparc64 2.12-0ubuntu5 (using .../libc6-dev-sparc64_2.12.1-0ubuntu1_sparc.deb) ... Unpacking replacement libc6-dev-sparc64 ... Preparing to replace libc6-sparc64 2.12-0ubuntu5 (using .../libc6-sparc64_2.12.1-0ubuntu1_sparc.deb) ... Unpacking replacement libc6-sparc64 ... Preparing to replace libc-bin 2.12-0ubuntu5 (using .../libc-bin_2.12.1-0ubuntu1_sparc.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.12.1-0ubuntu1) ... (Reading database ... 13639 files and directories currently installed.) Preparing to replace libc6 2.12-0ubuntu5 (using .../libc6_2.12.1-0ubuntu1_sparc.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.12.1-0ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13639 files and directories currently installed.) Preparing to replace linux-libc-dev 2.6.35-14.20 (using .../linux-libc-dev_2.6.35-16.22_sparc.deb) ... Unpacking replacement linux-libc-dev ... Preparing to replace lib64gcc1 1:4.5.1-1ubuntu1 (using .../lib64gcc1_1%3a4.5.1-1ubuntu2_sparc.deb) ... Unpacking replacement lib64gcc1 ... Preparing to replace libgomp1 4.5.1-1ubuntu1 (using .../libgomp1_4.5.1-1ubuntu2_sparc.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.5-base 4.5.1-1ubuntu1 (using .../gcc-4.5-base_4.5.1-1ubuntu2_sparc.deb) ... Unpacking replacement gcc-4.5-base ... Setting up gcc-4.5-base (4.5.1-1ubuntu2) ... (Reading database ... 13640 files and directories currently installed.) Preparing to replace libgcc1 1:4.5.1-1ubuntu1 (using .../libgcc1_1%3a4.5.1-1ubuntu2_sparc.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.5.1-1ubuntu2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13640 files and directories currently installed.) Preparing to replace libstdc++6 4.5.1-1ubuntu1 (using .../libstdc++6_4.5.1-1ubuntu2_sparc.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.5.1-1ubuntu2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13640 files and directories currently installed.) Preparing to replace apt 0.7.26~exp12ubuntu3 (using .../apt_0.8.0~pre1ubuntu1_sparc.deb) ... Unpacking replacement apt ... Setting up apt (0.8.0~pre1ubuntu1) ... gpg: key 437D05B5: "Ubuntu Archive Automatic Signing Key " not changed gpg: key FBB75451: "Ubuntu CD Image Automatic Signing Key " not changed gpg: Total number processed: 2 gpg: unchanged: 2 Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13640 files and directories currently installed.) Preparing to replace libpam-runtime 1.1.1-3ubuntu3 (using .../libpam-runtime_1.1.1-4ubuntu1_all.deb) ... Unpacking replacement libpam-runtime ... Setting up libpam-runtime (1.1.1-4ubuntu1) ... (Reading database ... 13639 files and directories currently installed.) Preparing to replace libpam0g 1.1.1-3ubuntu3 (using .../libpam0g_1.1.1-4ubuntu1_sparc.deb) ... Unpacking replacement libpam0g ... Setting up libpam0g (1.1.1-4ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13638 files and directories currently installed.) Preparing to replace libglib2.0-0 2.24.0-0ubuntu4 (using .../libglib2.0-0_2.25.14-1ubuntu1_sparc.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace upstart 0.6.5-6 (using .../upstart_0.6.6-3_sparc.deb) ... Unpacking replacement upstart ... Preparing to replace apt-transport-https 0.7.26~exp12ubuntu3 (using .../apt-transport-https_0.8.0~pre1ubuntu1_sparc.deb) ... Unpacking replacement apt-transport-https ... Preparing to replace libstdc++6-4.4-dev 4.4.4-8ubuntu1 (using .../libstdc++6-4.4-dev_4.4.4-8ubuntu2_sparc.deb) ... Unpacking replacement libstdc++6-4.4-dev ... Preparing to replace g++-4.4 4.4.4-8ubuntu1 (using .../g++-4.4_4.4.4-8ubuntu2_sparc.deb) ... Unpacking replacement g++-4.4 ... Preparing to replace gcc-4.4-multilib 4.4.4-8ubuntu1 (using .../gcc-4.4-multilib_4.4.4-8ubuntu2_sparc.deb) ... Unpacking replacement gcc-4.4-multilib ... Preparing to replace gcc-4.4 4.4.4-8ubuntu1 (using .../gcc-4.4_4.4.4-8ubuntu2_sparc.deb) ... Unpacking replacement gcc-4.4 ... Preparing to replace cpp-4.4 4.4.4-8ubuntu1 (using .../cpp-4.4_4.4.4-8ubuntu2_sparc.deb) ... Unpacking replacement cpp-4.4 ... Preparing to replace gcc-4.4-base 4.4.4-8ubuntu1 (using .../gcc-4.4-base_4.4.4-8ubuntu2_sparc.deb) ... Unpacking replacement gcc-4.4-base ... Preparing to replace binutils 2.20.51.20100710-1ubuntu2 (using .../binutils_2.20.51.20100813-1ubuntu1_sparc.deb) ... Unpacking replacement binutils ... Preparing to replace dpkg-dev 1.15.8.2ubuntu3 (using .../dpkg-dev_1.15.8.4ubuntu1_all.deb) ... Unpacking replacement dpkg-dev ... Preparing to replace libdpkg-perl 1.15.8.2ubuntu3 (using .../libdpkg-perl_1.15.8.4ubuntu1_all.deb) ... Unpacking replacement libdpkg-perl ... Setting up libc-dev-bin (2.12.1-0ubuntu1) ... Setting up linux-libc-dev (2.6.35-16.22) ... Setting up libc6-dev (2.12.1-0ubuntu1) ... Setting up libc6-sparc64 (2.12.1-0ubuntu1) ... Setting up libc6-dev-sparc64 (2.12.1-0ubuntu1) ... Setting up lib64gcc1 (1:4.5.1-1ubuntu2) ... Setting up libgomp1 (4.5.1-1ubuntu2) ... Setting up libglib2.0-0 (2.25.14-1ubuntu1) ... No schema files found: doing nothing. Setting up upstart (0.6.6-3) ... Setting up apt-transport-https (0.8.0~pre1ubuntu1) ... Setting up gcc-4.4-base (4.4.4-8ubuntu2) ... Setting up cpp-4.4 (4.4.4-8ubuntu2) ... Setting up binutils (2.20.51.20100813-1ubuntu1) ... Setting up gcc-4.4 (4.4.4-8ubuntu2) ... Setting up gcc-4.4-multilib (4.4.4-8ubuntu2) ... Setting up libdpkg-perl (1.15.8.4ubuntu1) ... Setting up dpkg-dev (1.15.8.4ubuntu1) ... Setting up g++-4.4 (4.4.4-8ubuntu2) ... Setting up libstdc++6-4.4-dev (4.4.4-8ubuntu2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a', 'maverick', '--nolog', '--batch', '--archive=ubuntu', '--dist=maverick', '--purpose=PRIMARY', '--comp=universe', 'matita_0.5.8-2build2.dsc'] Initiating build 52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a with 0 processor cores. Automatic build of matita_0.5.8-2build2 on artigas by sbuild/sparc 1.170.5 Build started at 20100818-0737 ****************************************************************************** matita_0.5.8-2build2.dsc exists in cwd sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) ** 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 sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) 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 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-bin libglib2.0-data 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 liblablgtk2-ocaml liblablgtkmathview-ocaml liblablgtksourceview2-ocaml libmagic1 libmysql-ocaml libmysqlclient-dev libmysqlclient16 libmysqlclient16-dev libncurses5-dev 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 libt1-5 libt1-dev libthai-data libthai0 libtiff4 libunistring0 liburi-perl libwww-perl libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxaw7-dev libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 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 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 libfont-freetype-perl 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: patchutils 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 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 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-bin libglib2.0-data 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 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 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 libt1-5 libt1-dev libthai-data libthai0 libtiff4 libunistring0 liburi-perl libwww-perl libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxaw7-dev libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 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 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, 201 newly installed, 0 to remove and 0 not upgraded. Need to get 84.0MB of archives. After this operation, 282MB 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 libmagic1 file 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 libunistring0 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 libglib2.0-data libglib2.0-bin zlib1g-dev libglib2.0-dev libatk1.0-dev libavahi-common-data libavahi-common3 libavahi-client3 libpixman-1-0 libxcb-render0 libxcb-shm0 libxrender1 libcairo2 libexpat1-dev libfreetype6-dev libfontconfig1-dev x11proto-render-dev libxrender-dev libpng12-dev libpixman-1-dev libxcb-render0-dev libxcb-shm0-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 libjpeg62 libjasper1 libpango1.0-common libthai-data libthai0 libxft2 libpango1.0-0 libtiff4 libxfixes3 libxcomposite1 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 x11proto-fixes-dev libxfixes-dev libxcursor-dev x11proto-composite-dev libxcomposite-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/ maverick/main x11-common all 1:7.5+6ubuntu3 [309kB] Get:2 http://ftpmaster.internal/ubuntu/ maverick/main libice6 sparc 2:1.0.6-1 [48.2kB] Get:3 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-core-dev all 7.0.17-1 [95.2kB] Get:4 http://ftpmaster.internal/ubuntu/ maverick/main libice-dev sparc 2:1.0.6-1 [61.8kB] Get:5 http://ftpmaster.internal/ubuntu/ maverick/main libxau6 sparc 1:1.0.6-1 [16.0kB] Get:6 http://ftpmaster.internal/ubuntu/ maverick/main libxdmcp6 sparc 1:1.0.3-2 [18.4kB] Get:7 http://ftpmaster.internal/ubuntu/ maverick/main libxcb1 sparc 1.6-1 [40.4kB] Get:8 http://ftpmaster.internal/ubuntu/ maverick/main libx11-data all 2:1.3.3-3ubuntu1 [215kB] Get:9 http://ftpmaster.internal/ubuntu/ maverick/main libx11-6 sparc 2:1.3.3-3ubuntu1 [805kB] Get:10 http://ftpmaster.internal/ubuntu/ maverick/main libxau-dev sparc 1:1.0.6-1 [19.4kB] Get:11 http://ftpmaster.internal/ubuntu/ maverick/main libxdmcp-dev sparc 1:1.0.3-2 [21.4kB] Get:12 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-input-dev all 2.0-2 [62.5kB] Get:13 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-kb-dev all 1.0.4-1 [27.3kB] Get:14 http://ftpmaster.internal/ubuntu/ maverick/main xtrans-dev all 1.2.5-1 [68.5kB] Get:15 http://ftpmaster.internal/ubuntu/ maverick/main libpthread-stubs0 sparc 0.3-2 [3202B] Get:16 http://ftpmaster.internal/ubuntu/ maverick/main libpthread-stubs0-dev sparc 0.3-2 [2416B] Get:17 http://ftpmaster.internal/ubuntu/ maverick/main libxcb1-dev sparc 1.6-1 [77.2kB] Get:18 http://ftpmaster.internal/ubuntu/ maverick/main libx11-dev sparc 2:1.3.3-3ubuntu1 [3451kB] Get:19 http://ftpmaster.internal/ubuntu/ maverick/main libxext6 sparc 2:1.1.2-1 [41.1kB] Get:20 http://ftpmaster.internal/ubuntu/ maverick/main libsm6 sparc 2:1.1.1-1 [23.4kB] Get:21 http://ftpmaster.internal/ubuntu/ maverick/main libxt6 sparc 1:1.0.7-1 [171kB] Get:22 http://ftpmaster.internal/ubuntu/ maverick/main libxmu6 sparc 2:1.0.5-1 [51.7kB] Get:23 http://ftpmaster.internal/ubuntu/ maverick/main libxpm4 sparc 1:3.5.8-1 [41.3kB] Get:24 http://ftpmaster.internal/ubuntu/ maverick/main libxaw7 sparc 2:1.0.7-1 [187kB] Get:25 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-xext-dev all 7.1.1-2 [27.2kB] Get:26 http://ftpmaster.internal/ubuntu/ maverick/main libxext-dev sparc 2:1.1.2-1 [104kB] Get:27 http://ftpmaster.internal/ubuntu/ maverick/main libsm-dev sparc 2:1.1.1-1 [26.8kB] Get:28 http://ftpmaster.internal/ubuntu/ maverick/main libxt-dev sparc 1:1.0.7-1 [499kB] Get:29 http://ftpmaster.internal/ubuntu/ maverick/main libxmu-headers all 2:1.0.5-1 [22.7kB] Get:30 http://ftpmaster.internal/ubuntu/ maverick/main libxmu-dev sparc 2:1.0.5-1 [59.2kB] Get:31 http://ftpmaster.internal/ubuntu/ maverick/main libxpm-dev sparc 1:3.5.8-1 [97.3kB] Get:32 http://ftpmaster.internal/ubuntu/ maverick/main libxaw7-dev sparc 2:1.0.7-1 [581kB] Get:33 http://ftpmaster.internal/ubuntu/ maverick/main libmagic1 sparc 5.03-5ubuntu1 [400kB] Get:34 http://ftpmaster.internal/ubuntu/ maverick/main file sparc 5.03-5ubuntu1 [48.2kB] Get:35 http://ftpmaster.internal/ubuntu/ maverick/main libnewt0.52 sparc 0.52.11-1 [54.4kB] Get:36 http://ftpmaster.internal/ubuntu/ maverick/main libpopt0 sparc 1.16-1 [34.1kB] Get:37 http://ftpmaster.internal/ubuntu/ maverick/main libsqlite3-0 sparc 3.7.0.1-1 [377kB] Get:38 http://ftpmaster.internal/ubuntu/ maverick/main mime-support all 3.48-1ubuntu2 [34.7kB] Get:39 http://ftpmaster.internal/ubuntu/ maverick/main python2.6 sparc 2.6.6~rc1-1ubuntu1 [2458kB] Get:40 http://ftpmaster.internal/ubuntu/ maverick/main python all 2.6.5-12ubuntu1 [163kB] Get:41 http://ftpmaster.internal/ubuntu/ maverick/main ucf all 3.0025 [68.1kB] Get:42 http://ftpmaster.internal/ubuntu/ maverick/main whiptail sparc 0.52.11-1 [39.3kB] Get:43 http://ftpmaster.internal/ubuntu/ maverick/main bsdmainutils sparc 8.0.11ubuntu1 [202kB] Get:44 http://ftpmaster.internal/ubuntu/ maverick/main gettext-base sparc 0.18.1.1-1ubuntu2 [96.2kB] Get:45 http://ftpmaster.internal/ubuntu/ maverick/main groff-base sparc 1.20.1-10 [1119kB] Get:46 http://ftpmaster.internal/ubuntu/ maverick/main libexpat1 sparc 2.0.1-7ubuntu1 [133kB] Get:47 http://ftpmaster.internal/ubuntu/ maverick/main liburi-perl all 1.54-1 [98.1kB] Get:48 http://ftpmaster.internal/ubuntu/ maverick/main libhtml-tagset-perl all 3.20-2 [13.5kB] Get:49 http://ftpmaster.internal/ubuntu/ maverick/main libhtml-parser-perl sparc 3.65-1 [112kB] Get:50 http://ftpmaster.internal/ubuntu/ maverick/main libhtml-tree-perl all 3.23-2 [208kB] Get:51 http://ftpmaster.internal/ubuntu/ maverick/main libwww-perl all 5.836-1 [402kB] Get:52 http://ftpmaster.internal/ubuntu/ maverick/main libxml-parser-perl sparc 2.36-1.1build3 [324kB] Get:53 http://ftpmaster.internal/ubuntu/ maverick/main libxml2 sparc 2.7.7.dfsg-4 [842kB] Get:54 http://ftpmaster.internal/ubuntu/ maverick/main man-db sparc 2.5.7-4 [965kB] Get:55 http://ftpmaster.internal/ubuntu/ maverick/main m4 sparc 1.4.14-3 [276kB] Get:56 http://ftpmaster.internal/ubuntu/ maverick/main autoconf all 2.67-2ubuntu1 [569kB] Get:57 http://ftpmaster.internal/ubuntu/ maverick/main autotools-dev all 20100122.1 [70.7kB] Get:58 http://ftpmaster.internal/ubuntu/ maverick/main automake all 1:1.11.1-1 [608kB] Get:59 http://ftpmaster.internal/ubuntu/ maverick/main html2text sparc 1.3.2a-15 [101kB] Get:60 http://ftpmaster.internal/ubuntu/ maverick/main libcroco3 sparc 0.6.2-1 [95.2kB] Get:61 http://ftpmaster.internal/ubuntu/ maverick/main libunistring0 sparc 0.9.3-1 [425kB] Get:62 http://ftpmaster.internal/ubuntu/ maverick/main gettext sparc 0.18.1.1-1ubuntu2 [1239kB] Get:63 http://ftpmaster.internal/ubuntu/ maverick/main intltool-debian all 0.35.0+20060710.1 [31.6kB] Get:64 http://ftpmaster.internal/ubuntu/ maverick/main po-debconf all 1.0.16 [224kB] Get:65 http://ftpmaster.internal/ubuntu/ maverick/main debhelper all 8.0.0ubuntu1 [460kB] Get:66 http://ftpmaster.internal/ubuntu/ maverick/main fdupes sparc 1.50-PR2-3 [21.1kB] Get:67 http://ftpmaster.internal/ubuntu/ maverick/main intltool all 0.41.1-1 [103kB] Get:68 http://ftpmaster.internal/ubuntu/ maverick/main cdbs all 0.4.83ubuntu1 [1201kB] Get:69 http://ftpmaster.internal/ubuntu/ maverick/main defoma all 0.11.11ubuntu1 [101kB] Get:70 http://ftpmaster.internal/ubuntu/ maverick/main dpatch all 2.0.31 [88.4kB] Get:71 http://ftpmaster.internal/ubuntu/ maverick/main libfreetype6 sparc 2.4.2-1 [345kB] Get:72 http://ftpmaster.internal/ubuntu/ maverick/main ttf-dejavu-core all 2.31-1 [1450kB] Get:73 http://ftpmaster.internal/ubuntu/ maverick/main fontconfig-config all 2.8.0-2ubuntu1 [205kB] Get:74 http://ftpmaster.internal/ubuntu/ maverick/main libfontconfig1 sparc 2.8.0-2ubuntu1 [281kB] Get:75 http://ftpmaster.internal/ubuntu/ maverick/main fontconfig sparc 2.8.0-2ubuntu1 [157kB] Get:76 http://ftpmaster.internal/ubuntu/ maverick/main help2man sparc 1.38.2 [47.1kB] Get:77 http://ftpmaster.internal/ubuntu/ maverick/main libaspell15 sparc 0.60.6-4ubuntu1 [696kB] Get:78 http://ftpmaster.internal/ubuntu/ maverick/main libatk1.0-0 sparc 1.30.0-1ubuntu3 [53.2kB] Get:79 http://ftpmaster.internal/ubuntu/ maverick/main pkg-config sparc 0.25-1 [58.8kB] Get:80 http://ftpmaster.internal/ubuntu/ maverick/main libglib2.0-data all 2.25.14-1ubuntu1 [976B] Get:81 http://ftpmaster.internal/ubuntu/ maverick/main libglib2.0-bin sparc 2.25.14-1ubuntu1 [300kB] Get:82 http://ftpmaster.internal/ubuntu/ maverick/main zlib1g-dev sparc 1:1.2.3.4.dfsg-3ubuntu1 [191kB] Get:83 http://ftpmaster.internal/ubuntu/ maverick/main libglib2.0-dev sparc 2.25.14-1ubuntu1 [1455kB] Get:84 http://ftpmaster.internal/ubuntu/ maverick/main libatk1.0-dev sparc 1.30.0-1ubuntu3 [116kB] Get:85 http://ftpmaster.internal/ubuntu/ maverick/main libavahi-common-data sparc 0.6.25-1ubuntu6 [34.1kB] Get:86 http://ftpmaster.internal/ubuntu/ maverick/main libavahi-common3 sparc 0.6.25-1ubuntu6 [24.0kB] Get:87 http://ftpmaster.internal/ubuntu/ maverick/main libavahi-client3 sparc 0.6.25-1ubuntu6 [53.1kB] Get:88 http://ftpmaster.internal/ubuntu/ maverick/main libpixman-1-0 sparc 0.18.2-1ubuntu1 [283kB] Get:89 http://ftpmaster.internal/ubuntu/ maverick/main libxcb-render0 sparc 1.6-1 [15.2kB] Get:90 http://ftpmaster.internal/ubuntu/ maverick/main libxcb-shm0 sparc 1.6-1 [9158B] Get:91 http://ftpmaster.internal/ubuntu/ maverick/main libxrender1 sparc 1:0.9.6-1 [28.6kB] Get:92 http://ftpmaster.internal/ubuntu/ maverick/main libcairo2 sparc 1.9.14-1ubuntu1 [914kB] Get:93 http://ftpmaster.internal/ubuntu/ maverick/main libexpat1-dev sparc 2.0.1-7ubuntu1 [221kB] Get:94 http://ftpmaster.internal/ubuntu/ maverick/main libfreetype6-dev sparc 2.4.2-1 [714kB] Get:95 http://ftpmaster.internal/ubuntu/ maverick/main libfontconfig1-dev sparc 2.8.0-2ubuntu1 [649kB] Get:96 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-render-dev all 2:0.11-1 [7404B] Get:97 http://ftpmaster.internal/ubuntu/ maverick/main libxrender-dev sparc 1:0.9.6-1 [36.6kB] Get:98 http://ftpmaster.internal/ubuntu/ maverick/main libpng12-dev sparc 1.2.44-1 [266kB] Get:99 http://ftpmaster.internal/ubuntu/ maverick/main libpixman-1-dev sparc 0.18.2-1ubuntu1 [302kB] Get:100 http://ftpmaster.internal/ubuntu/ maverick/main libxcb-render0-dev sparc 1.6-1 [22.7kB] Get:101 http://ftpmaster.internal/ubuntu/ maverick/main libxcb-shm0-dev sparc 1.6-1 [10.6kB] Get:102 http://ftpmaster.internal/ubuntu/ maverick/main libcairo2-dev sparc 1.9.14-1ubuntu1 [1087kB] Get:103 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-base-nox sparc 3.11.2-1 [646kB] Get:104 http://ftpmaster.internal/ubuntu/ maverick/main libfindlib-ocaml sparc 1.2.5+debian-1build1 [98.2kB] Get:105 http://ftpmaster.internal/ubuntu/ maverick/main libncurses5-dev sparc 5.7+20100626-0ubuntu1 [1594kB] Get:106 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-interp sparc 3.11.2-1 [300kB] Get:107 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-nox sparc 3.11.2-1 [7016kB] Get:108 http://ftpmaster.internal/ubuntu/ maverick/main libfindlib-ocaml-dev sparc 1.2.5+debian-1build1 [140kB] Get:109 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-findlib sparc 1.2.5+debian-1build1 [232kB] Get:110 http://ftpmaster.internal/ubuntu/ maverick/universe libcryptgps-ocaml-dev sparc 0.2.1-7build1 [186kB] Get:111 http://ftpmaster.internal/ubuntu/ maverick/main libcups2 sparc 1.4.3-1ubuntu1 [219kB] Get:112 http://ftpmaster.internal/ubuntu/ maverick/main libdatrie1 sparc 0.2.3-1 [24.2kB] Get:113 http://ftpmaster.internal/ubuntu/ maverick/main libhunspell-1.2-0 sparc 1.2.11-1ubuntu1 [153kB] Get:114 http://ftpmaster.internal/ubuntu/ maverick/main libenchant1c2a sparc 1.6.0-1 [86.8kB] Get:115 http://ftpmaster.internal/ubuntu/ maverick/main libenchant-dev sparc 1.6.0-1 [65.7kB] Get:116 http://ftpmaster.internal/ubuntu/ maverick/universe libexpat-ocaml sparc 0.9.1+debian1-7 [10.2kB] Get:117 http://ftpmaster.internal/ubuntu/ maverick/universe libexpat-ocaml-dev sparc 0.9.1+debian1-7 [23.6kB] Get:118 http://ftpmaster.internal/ubuntu/ maverick/universe libgdome2-0 sparc 0.8.1+debian-4 [92.6kB] Get:119 http://ftpmaster.internal/ubuntu/ maverick/universe libgdome2-cpp-smart0c2a sparc 0.2.6-5 [45.2kB] Get:120 http://ftpmaster.internal/ubuntu/ maverick/main libxml2-dev sparc 2.7.7.dfsg-4 [805kB] Get:121 http://ftpmaster.internal/ubuntu/ maverick/universe libgdome2-dev sparc 0.8.1+debian-4 [270kB] Get:122 http://ftpmaster.internal/ubuntu/ maverick/universe libgdome2-cpp-smart-dev sparc 0.2.6-5 [55.6kB] Get:123 http://ftpmaster.internal/ubuntu/ maverick/universe libgdome2-ocaml sparc 0.2.6-5 [30.8kB] Get:124 http://ftpmaster.internal/ubuntu/ maverick/universe libgdome2-ocaml-dev sparc 0.2.6-5 [302kB] Get:125 http://ftpmaster.internal/ubuntu/ maverick/main libgtk2.0-common all 2.21.5-1ubuntu6 [465kB] Get:126 http://ftpmaster.internal/ubuntu/ maverick/main libjpeg62 sparc 6b-16.1 [86.5kB] Get:127 http://ftpmaster.internal/ubuntu/ maverick/main libjasper1 sparc 1.900.1-7 [146kB] Get:128 http://ftpmaster.internal/ubuntu/ maverick/main libpango1.0-common all 1.28.1-1ubuntu3 [113kB] Get:129 http://ftpmaster.internal/ubuntu/ maverick/main libthai-data all 0.1.14-2 [197kB] Get:130 http://ftpmaster.internal/ubuntu/ maverick/main libthai0 sparc 0.1.14-2 [40.3kB] Get:131 http://ftpmaster.internal/ubuntu/ maverick/main libxft2 sparc 2.1.14-2ubuntu1 [52.7kB] Get:132 http://ftpmaster.internal/ubuntu/ maverick/main libpango1.0-0 sparc 1.28.1-1ubuntu3 [301kB] Get:133 http://ftpmaster.internal/ubuntu/ maverick/main libtiff4 sparc 3.9.4-2 [142kB] Get:134 http://ftpmaster.internal/ubuntu/ maverick/main libxfixes3 sparc 1:4.0.5-1 [17.6kB] Get:135 http://ftpmaster.internal/ubuntu/ maverick/main libxcomposite1 sparc 1:0.4.2-1 [15.2kB] Get:136 http://ftpmaster.internal/ubuntu/ maverick/main libxcursor1 sparc 1:1.1.10-2 [23.4kB] Get:137 http://ftpmaster.internal/ubuntu/ maverick/main libxdamage1 sparc 1:1.1.3-1 [13.6kB] Get:138 http://ftpmaster.internal/ubuntu/ maverick/main libxi6 sparc 2:1.3-4 [52.8kB] Get:139 http://ftpmaster.internal/ubuntu/ maverick/main libxinerama1 sparc 2:1.1-3 [12.0kB] Get:140 http://ftpmaster.internal/ubuntu/ maverick/main libxrandr2 sparc 2:1.3.0-3 [26.4kB] Get:141 http://ftpmaster.internal/ubuntu/ maverick/main shared-mime-info sparc 0.71-3 [399kB] Get:142 http://ftpmaster.internal/ubuntu/ maverick/main libgtk2.0-0 sparc 2.21.1-1ubuntu3 [2744kB] Get:143 http://ftpmaster.internal/ubuntu/ maverick/main libglade2-0 sparc 1:2.6.4-1build1 [51.6kB] Get:144 http://ftpmaster.internal/ubuntu/ maverick/main libxft-dev sparc 2.1.14-2ubuntu1 [68.2kB] Get:145 http://ftpmaster.internal/ubuntu/ maverick/main libpango1.0-dev sparc 1.28.1-1ubuntu3 [451kB] Get:146 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-xinerama-dev all 1.2-2 [4782B] Get:147 http://ftpmaster.internal/ubuntu/ maverick/main libxinerama-dev sparc 2:1.1-3 [14.9kB] Get:148 http://ftpmaster.internal/ubuntu/ maverick/main libxi-dev sparc 2:1.3-4 [134kB] Get:149 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-randr-dev all 1.3.1-1 [38.2kB] Get:150 http://ftpmaster.internal/ubuntu/ maverick/main libxrandr-dev sparc 2:1.3.0-3 [33.9kB] Get:151 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-fixes-dev all 1:4.1.1-2 [15.5kB] Get:152 http://ftpmaster.internal/ubuntu/ maverick/main libxfixes-dev sparc 1:4.0.5-1 [20.0kB] Get:153 http://ftpmaster.internal/ubuntu/ maverick/main libxcursor-dev sparc 1:1.1.10-2 [32.3kB] Get:154 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-composite-dev all 1:0.4.1-1 [13.3kB] Get:155 http://ftpmaster.internal/ubuntu/ maverick/main libxcomposite-dev sparc 1:0.4.2-1 [18.7kB] Get:156 http://ftpmaster.internal/ubuntu/ maverick/main x11proto-damage-dev all 1:1.2.0-1 [10.2kB] Get:157 http://ftpmaster.internal/ubuntu/ maverick/main libxdamage-dev sparc 1:1.1.3-1 [13.5kB] Get:158 http://ftpmaster.internal/ubuntu/ maverick/main libxml2-utils sparc 2.7.7.dfsg-4 [92.3kB] Get:159 http://ftpmaster.internal/ubuntu/ maverick/main libgtk2.0-dev sparc 2.21.1-1ubuntu3 [4213kB] Get:160 http://ftpmaster.internal/ubuntu/ maverick/main libglade2-dev sparc 1:2.6.4-1build1 [89.7kB] Get:161 http://ftpmaster.internal/ubuntu/ maverick/main libt1-5 sparc 5.1.2-3build1 [165kB] Get:162 http://ftpmaster.internal/ubuntu/ maverick/universe libgtkmathview0c2a sparc 0.8.0-5 [952kB] Get:163 http://ftpmaster.internal/ubuntu/ maverick/main libt1-dev sparc 5.1.2-3build1 [179kB] Get:164 http://ftpmaster.internal/ubuntu/ maverick/universe libgtkmathview-dev sparc 0.8.0-5 [1322kB] Get:165 http://ftpmaster.internal/ubuntu/ maverick/main libgtksourceview2.0-common all 2.10.4-1 [138kB] Get:166 http://ftpmaster.internal/ubuntu/ maverick/main libgtksourceview2.0-0 sparc 2.10.4-1 [170kB] Get:167 http://ftpmaster.internal/ubuntu/ maverick/main libgtksourceview2.0-dev sparc 2.10.4-1 [221kB] Get:168 http://ftpmaster.internal/ubuntu/ maverick/main libgtkspell0 sparc 2.0.16-1 [15.8kB] Get:169 http://ftpmaster.internal/ubuntu/ maverick/main libgtkspell-dev sparc 2.0.16-1 [30.5kB] Get:170 http://ftpmaster.internal/ubuntu/ maverick/main libpcrecpp0 sparc 8.02-1 [107kB] Get:171 http://ftpmaster.internal/ubuntu/ maverick/main libpcre3-dev sparc 8.02-1 [285kB] Get:172 http://ftpmaster.internal/ubuntu/ maverick/universe libpcre-ocaml sparc 6.0.1-3 [19.2kB] Get:173 http://ftpmaster.internal/ubuntu/ maverick/universe libpcre-ocaml-dev sparc 6.0.1-3 [82.2kB] Get:174 http://ftpmaster.internal/ubuntu/ maverick/universe libocamlnet-ocaml sparc 2.2.9-8 [16.0kB] Get:175 http://ftpmaster.internal/ubuntu/ maverick/universe libocamlnet-ocaml-dev sparc 2.2.9-8 [6685kB] Get:176 http://ftpmaster.internal/ubuntu/ maverick/universe libhttp-ocaml-dev sparc 0.1.4-3build2 [201kB] Get:177 http://ftpmaster.internal/ubuntu/ maverick/universe liblablgtk2-ocaml sparc 2.14.0+dfsg-2build1 [1019kB] Get:178 http://ftpmaster.internal/ubuntu/ maverick/universe liblablgtk2-ocaml-dev sparc 2.14.0+dfsg-2build1 [2094kB] Get:179 http://ftpmaster.internal/ubuntu/ maverick/universe liblablgtkmathview-ocaml sparc 0.7.8-5build2 [11.9kB] Get:180 http://ftpmaster.internal/ubuntu/ maverick/universe liblablgtkmathview-ocaml-dev sparc 0.7.8-5build2 [69.0kB] Get:181 http://ftpmaster.internal/ubuntu/ maverick/universe liblablgtksourceview2-ocaml sparc 2.14.0+dfsg-2build1 [86.2kB] Get:182 http://ftpmaster.internal/ubuntu/ maverick/universe liblablgtksourceview2-ocaml-dev sparc 2.14.0+dfsg-2build1 [114kB] Get:183 http://ftpmaster.internal/ubuntu/ maverick/main mysql-common all 5.1.49-1ubuntu5 [63.3kB] Get:184 http://ftpmaster.internal/ubuntu/ maverick/main libmysqlclient16 sparc 5.1.49-1ubuntu5 [1907kB] Get:185 http://ftpmaster.internal/ubuntu/ maverick/universe libmysql-ocaml sparc 1.0.4-7ubuntu3 [11.6kB] Get:186 http://ftpmaster.internal/ubuntu/ maverick/main libmysqlclient-dev sparc 5.1.49-1ubuntu5 [3234kB] Get:187 http://ftpmaster.internal/ubuntu/ maverick/main libmysqlclient16-dev all 5.1.49-1ubuntu5 [59.8kB] Get:188 http://ftpmaster.internal/ubuntu/ maverick/universe libmysql-ocaml-dev sparc 1.0.4-7ubuntu3 [56.4kB] Get:189 http://ftpmaster.internal/ubuntu/ maverick/main libsqlite3-dev sparc 3.7.0.1-1 [404kB] Get:190 http://ftpmaster.internal/ubuntu/ maverick/main libxss1 sparc 1:1.2.0-2 [13.2kB] Get:191 http://ftpmaster.internal/ubuntu/ maverick/universe libzip-ocaml sparc 1.04-6build1 [86.9kB] Get:192 http://ftpmaster.internal/ubuntu/ maverick/universe libzip-ocaml-dev sparc 1.04-6build1 [44.7kB] Get:193 http://ftpmaster.internal/ubuntu/ maverick/main tcl8.5 sparc 8.5.8-2build1 [1561kB] Get:194 http://ftpmaster.internal/ubuntu/ maverick/main tk8.5 sparc 8.5.8-1 [1115kB] Get:195 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-base sparc 3.11.2-1 [125kB] Get:196 http://ftpmaster.internal/ubuntu/ maverick/main ocaml sparc 3.11.2-1 [2186kB] Get:197 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-compiler-libs sparc 3.11.2-1 [1211kB] Get:198 http://ftpmaster.internal/ubuntu/ maverick/main camlp5 sparc 5.14-1 [4138kB] Get:199 http://ftpmaster.internal/ubuntu/ maverick/universe ocaml-ulex08 sparc 0.8-9 [42.4kB] Get:200 http://ftpmaster.internal/ubuntu/ maverick/universe libsqlite3-ocaml sparc 1.5.6-3build1 [33.8kB] Get:201 http://ftpmaster.internal/ubuntu/ maverick/universe libsqlite3-ocaml-dev sparc 1.5.6-3build1 [41.6kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 84.0MB in 7s (12.0MB/s) Selecting previously deselected package x11-common. (Reading database ... 13773 files and directories currently installed.) Unpacking x11-common (from .../x11-common_1%3a7.5+6ubuntu3_all.deb) ... Selecting previously deselected package libice6. Unpacking libice6 (from .../libice6_2%3a1.0.6-1_sparc.deb) ... Selecting previously deselected package x11proto-core-dev. Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.17-1_all.deb) ... Setting up x11-common (1:7.5+6ubuntu3) ... Selecting previously deselected package libice-dev. (Reading database ... 13894 files and directories currently installed.) Unpacking libice-dev (from .../libice-dev_2%3a1.0.6-1_sparc.deb) ... Selecting previously deselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.6-1_sparc.deb) ... Selecting previously deselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.0.3-2_sparc.deb) ... Selecting previously deselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.6-1_sparc.deb) ... Selecting previously deselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.3.3-3ubuntu1_all.deb) ... Selecting previously deselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.3.3-3ubuntu1_sparc.deb) ... Selecting previously deselected package libxau-dev. Unpacking libxau-dev (from .../libxau-dev_1%3a1.0.6-1_sparc.deb) ... Selecting previously deselected package libxdmcp-dev. Unpacking libxdmcp-dev (from .../libxdmcp-dev_1%3a1.0.3-2_sparc.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_sparc.deb) ... Selecting previously deselected package libpthread-stubs0-dev. Unpacking libpthread-stubs0-dev (from .../libpthread-stubs0-dev_0.3-2_sparc.deb) ... Selecting previously deselected package libxcb1-dev. Unpacking libxcb1-dev (from .../libxcb1-dev_1.6-1_sparc.deb) ... Selecting previously deselected package libx11-dev. Unpacking libx11-dev (from .../libx11-dev_2%3a1.3.3-3ubuntu1_sparc.deb) ... Selecting previously deselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.1.2-1_sparc.deb) ... Selecting previously deselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.1.1-1_sparc.deb) ... Selecting previously deselected package libxt6. Unpacking libxt6 (from .../libxt6_1%3a1.0.7-1_sparc.deb) ... Selecting previously deselected package libxmu6. Unpacking libxmu6 (from .../libxmu6_2%3a1.0.5-1_sparc.deb) ... Selecting previously deselected package libxpm4. Unpacking libxpm4 (from .../libxpm4_1%3a3.5.8-1_sparc.deb) ... Selecting previously deselected package libxaw7. Unpacking libxaw7 (from .../libxaw7_2%3a1.0.7-1_sparc.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.2-1_sparc.deb) ... Selecting previously deselected package libsm-dev. Unpacking libsm-dev (from .../libsm-dev_2%3a1.1.1-1_sparc.deb) ... Selecting previously deselected package libxt-dev. Unpacking libxt-dev (from .../libxt-dev_1%3a1.0.7-1_sparc.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_sparc.deb) ... Selecting previously deselected package libxpm-dev. Unpacking libxpm-dev (from .../libxpm-dev_1%3a3.5.8-1_sparc.deb) ... Selecting previously deselected package libxaw7-dev. Unpacking libxaw7-dev (from .../libxaw7-dev_2%3a1.0.7-1_sparc.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.03-5ubuntu1_sparc.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.03-5ubuntu1_sparc.deb) ... Selecting previously deselected package libnewt0.52. Unpacking libnewt0.52 (from .../libnewt0.52_0.52.11-1_sparc.deb) ... Selecting previously deselected package libpopt0. Unpacking libpopt0 (from .../libpopt0_1.16-1_sparc.deb) ... Selecting previously deselected package libsqlite3-0. Unpacking libsqlite3-0 (from .../libsqlite3-0_3.7.0.1-1_sparc.deb) ... Selecting previously deselected package mime-support. Unpacking mime-support (from .../mime-support_3.48-1ubuntu2_all.deb) ... Selecting previously deselected package python2.6. Unpacking python2.6 (from .../python2.6_2.6.6~rc1-1ubuntu1_sparc.deb) ... Selecting previously deselected package python. Unpacking python (from .../python_2.6.5-12ubuntu1_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.11-1_sparc.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.0.11ubuntu1_sparc.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-1ubuntu2_sparc.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.20.1-10_sparc.deb) ... Selecting previously deselected package libexpat1. Unpacking libexpat1 (from .../libexpat1_2.0.1-7ubuntu1_sparc.deb) ... Selecting previously deselected package liburi-perl. Unpacking liburi-perl (from .../liburi-perl_1.54-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.65-1_sparc.deb) ... Selecting previously deselected package libhtml-tree-perl. Unpacking libhtml-tree-perl (from .../libhtml-tree-perl_3.23-2_all.deb) ... Selecting previously deselected package libwww-perl. Unpacking libwww-perl (from .../libwww-perl_5.836-1_all.deb) ... Selecting previously deselected package libxml-parser-perl. Unpacking libxml-parser-perl (from .../libxml-parser-perl_2.36-1.1build3_sparc.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.7.dfsg-4_sparc.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.5.7-4_sparc.deb) ... Selecting previously deselected package m4. Unpacking m4 (from .../archives/m4_1.4.14-3_sparc.deb) ... Selecting previously deselected package autoconf. Unpacking autoconf (from .../autoconf_2.67-2ubuntu1_all.deb) ... Selecting previously deselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20100122.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-15_sparc.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_sparc.deb) ... Selecting previously deselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-1_sparc.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-1ubuntu2_sparc.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_8.0.0ubuntu1_all.deb) ... Selecting previously deselected package fdupes. Unpacking fdupes (from .../fdupes_1.50-PR2-3_sparc.deb) ... Selecting previously deselected package intltool. Unpacking intltool (from .../intltool_0.41.1-1_all.deb) ... Selecting previously deselected package cdbs. Unpacking cdbs (from .../cdbs_0.4.83ubuntu1_all.deb) ... Selecting previously deselected package defoma. Unpacking defoma (from .../defoma_0.11.11ubuntu1_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.4.2-1_sparc.deb) ... Selecting previously deselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.31-1_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_sparc.deb) ... Selecting previously deselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.8.0-2ubuntu1_sparc.deb) ... Selecting previously deselected package help2man. Unpacking help2man (from .../help2man_1.38.2_sparc.deb) ... Selecting previously deselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.6-4ubuntu1_sparc.deb) ... Selecting previously deselected package libatk1.0-0. Unpacking libatk1.0-0 (from .../libatk1.0-0_1.30.0-1ubuntu3_sparc.deb) ... Selecting previously deselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.25-1_sparc.deb) ... Selecting previously deselected package libglib2.0-data. Unpacking libglib2.0-data (from .../libglib2.0-data_2.25.14-1ubuntu1_all.deb) ... Selecting previously deselected package libglib2.0-bin. Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.25.14-1ubuntu1_sparc.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3ubuntu1_sparc.deb) ... Selecting previously deselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.25.14-1ubuntu1_sparc.deb) ... Selecting previously deselected package libatk1.0-dev. Unpacking libatk1.0-dev (from .../libatk1.0-dev_1.30.0-1ubuntu3_sparc.deb) ... Selecting previously deselected package libavahi-common-data. Unpacking libavahi-common-data (from .../libavahi-common-data_0.6.25-1ubuntu6_sparc.deb) ... Selecting previously deselected package libavahi-common3. Unpacking libavahi-common3 (from .../libavahi-common3_0.6.25-1ubuntu6_sparc.deb) ... Selecting previously deselected package libavahi-client3. Unpacking libavahi-client3 (from .../libavahi-client3_0.6.25-1ubuntu6_sparc.deb) ... Selecting previously deselected package libpixman-1-0. Unpacking libpixman-1-0 (from .../libpixman-1-0_0.18.2-1ubuntu1_sparc.deb) ... Selecting previously deselected package libxcb-render0. Unpacking libxcb-render0 (from .../libxcb-render0_1.6-1_sparc.deb) ... Selecting previously deselected package libxcb-shm0. Unpacking libxcb-shm0 (from .../libxcb-shm0_1.6-1_sparc.deb) ... Selecting previously deselected package libxrender1. Unpacking libxrender1 (from .../libxrender1_1%3a0.9.6-1_sparc.deb) ... Selecting previously deselected package libcairo2. Unpacking libcairo2 (from .../libcairo2_1.9.14-1ubuntu1_sparc.deb) ... Selecting previously deselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.0.1-7ubuntu1_sparc.deb) ... Selecting previously deselected package libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.2-1_sparc.deb) ... Selecting previously deselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.8.0-2ubuntu1_sparc.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.6-1_sparc.deb) ... Selecting previously deselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.44-1_sparc.deb) ... Selecting previously deselected package libpixman-1-dev. Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.18.2-1ubuntu1_sparc.deb) ... Selecting previously deselected package libxcb-render0-dev. Unpacking libxcb-render0-dev (from .../libxcb-render0-dev_1.6-1_sparc.deb) ... Selecting previously deselected package libxcb-shm0-dev. Unpacking libxcb-shm0-dev (from .../libxcb-shm0-dev_1.6-1_sparc.deb) ... Selecting previously deselected package libcairo2-dev. Unpacking libcairo2-dev (from .../libcairo2-dev_1.9.14-1ubuntu1_sparc.deb) ... Selecting previously deselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.11.2-1_sparc.deb) ... Selecting previously deselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.2.5+debian-1build1_sparc.deb) ... Selecting previously deselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20100626-0ubuntu1_sparc.deb) ... Selecting previously deselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.11.2-1_sparc.deb) ... Selecting previously deselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.11.2-1_sparc.deb) ... Selecting previously deselected package libfindlib-ocaml-dev. Unpacking libfindlib-ocaml-dev (from .../libfindlib-ocaml-dev_1.2.5+debian-1build1_sparc.deb) ... Selecting previously deselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.2.5+debian-1build1_sparc.deb) ... Selecting previously deselected package libcryptgps-ocaml-dev. Unpacking libcryptgps-ocaml-dev (from .../libcryptgps-ocaml-dev_0.2.1-7build1_sparc.deb) ... Selecting previously deselected package libcups2. Unpacking libcups2 (from .../libcups2_1.4.3-1ubuntu1_sparc.deb) ... Selecting previously deselected package libdatrie1. Unpacking libdatrie1 (from .../libdatrie1_0.2.3-1_sparc.deb) ... Selecting previously deselected package libhunspell-1.2-0. Unpacking libhunspell-1.2-0 (from .../libhunspell-1.2-0_1.2.11-1ubuntu1_sparc.deb) ... Selecting previously deselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-1_sparc.deb) ... Selecting previously deselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-1_sparc.deb) ... Selecting previously deselected package libexpat-ocaml. Unpacking libexpat-ocaml (from .../libexpat-ocaml_0.9.1+debian1-7_sparc.deb) ... Selecting previously deselected package libexpat-ocaml-dev. Unpacking libexpat-ocaml-dev (from .../libexpat-ocaml-dev_0.9.1+debian1-7_sparc.deb) ... Selecting previously deselected package libgdome2-0. Unpacking libgdome2-0 (from .../libgdome2-0_0.8.1+debian-4_sparc.deb) ... Selecting previously deselected package libgdome2-cpp-smart0c2a. Unpacking libgdome2-cpp-smart0c2a (from .../libgdome2-cpp-smart0c2a_0.2.6-5_sparc.deb) ... Selecting previously deselected package libxml2-dev. Unpacking libxml2-dev (from .../libxml2-dev_2.7.7.dfsg-4_sparc.deb) ... Selecting previously deselected package libgdome2-dev. Unpacking libgdome2-dev (from .../libgdome2-dev_0.8.1+debian-4_sparc.deb) ... Selecting previously deselected package libgdome2-cpp-smart-dev. Unpacking libgdome2-cpp-smart-dev (from .../libgdome2-cpp-smart-dev_0.2.6-5_sparc.deb) ... Selecting previously deselected package libgdome2-ocaml. Unpacking libgdome2-ocaml (from .../libgdome2-ocaml_0.2.6-5_sparc.deb) ... Selecting previously deselected package libgdome2-ocaml-dev. Unpacking libgdome2-ocaml-dev (from .../libgdome2-ocaml-dev_0.2.6-5_sparc.deb) ... Selecting previously deselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.21.5-1ubuntu6_all.deb) ... Selecting previously deselected package libjpeg62. Unpacking libjpeg62 (from .../libjpeg62_6b-16.1_sparc.deb) ... Selecting previously deselected package libjasper1. Unpacking libjasper1 (from .../libjasper1_1.900.1-7_sparc.deb) ... Selecting previously deselected package libpango1.0-common. Unpacking libpango1.0-common (from .../libpango1.0-common_1.28.1-1ubuntu3_all.deb) ... Selecting previously deselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.14-2_all.deb) ... Selecting previously deselected package libthai0. Unpacking libthai0 (from .../libthai0_0.1.14-2_sparc.deb) ... Selecting previously deselected package libxft2. Unpacking libxft2 (from .../libxft2_2.1.14-2ubuntu1_sparc.deb) ... Selecting previously deselected package libpango1.0-0. Unpacking libpango1.0-0 (from .../libpango1.0-0_1.28.1-1ubuntu3_sparc.deb) ... Selecting previously deselected package libtiff4. Unpacking libtiff4 (from .../libtiff4_3.9.4-2_sparc.deb) ... Selecting previously deselected package libxfixes3. Unpacking libxfixes3 (from .../libxfixes3_1%3a4.0.5-1_sparc.deb) ... Selecting previously deselected package libxcomposite1. Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.2-1_sparc.deb) ... Selecting previously deselected package libxcursor1. Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.10-2_sparc.deb) ... Selecting previously deselected package libxdamage1. Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.3-1_sparc.deb) ... Selecting previously deselected package libxi6. Unpacking libxi6 (from .../libxi6_2%3a1.3-4_sparc.deb) ... Selecting previously deselected package libxinerama1. Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1-3_sparc.deb) ... Selecting previously deselected package libxrandr2. Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.0-3_sparc.deb) ... Selecting previously deselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_0.71-3_sparc.deb) ... Selecting previously deselected package libgtk2.0-0. Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.21.1-1ubuntu3_sparc.deb) ... Selecting previously deselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1build1_sparc.deb) ... Selecting previously deselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.1.14-2ubuntu1_sparc.deb) ... Selecting previously deselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.28.1-1ubuntu3_sparc.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-3_sparc.deb) ... Selecting previously deselected package libxi-dev. Unpacking libxi-dev (from .../libxi-dev_2%3a1.3-4_sparc.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_sparc.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.5-1_sparc.deb) ... Selecting previously deselected package libxcursor-dev. Unpacking libxcursor-dev (from .../libxcursor-dev_1%3a1.1.10-2_sparc.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.2-1_sparc.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.3-1_sparc.deb) ... Selecting previously deselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.7.7.dfsg-4_sparc.deb) ... Selecting previously deselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.21.1-1ubuntu3_sparc.deb) ... Selecting previously deselected package libglade2-dev. Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1build1_sparc.deb) ... Selecting previously deselected package libt1-5. Unpacking libt1-5 (from .../libt1-5_5.1.2-3build1_sparc.deb) ... Selecting previously deselected package libgtkmathview0c2a. Unpacking libgtkmathview0c2a (from .../libgtkmathview0c2a_0.8.0-5_sparc.deb) ... Selecting previously deselected package libt1-dev. Unpacking libt1-dev (from .../libt1-dev_5.1.2-3build1_sparc.deb) ... Selecting previously deselected package libgtkmathview-dev. Unpacking libgtkmathview-dev (from .../libgtkmathview-dev_0.8.0-5_sparc.deb) ... Selecting previously deselected package libgtksourceview2.0-common. Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.4-1_all.deb) ... Selecting previously deselected package libgtksourceview2.0-0. Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.4-1_sparc.deb) ... Selecting previously deselected package libgtksourceview2.0-dev. Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.4-1_sparc.deb) ... Selecting previously deselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_sparc.deb) ... Selecting previously deselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1_sparc.deb) ... Selecting previously deselected package libpcrecpp0. Unpacking libpcrecpp0 (from .../libpcrecpp0_8.02-1_sparc.deb) ... Selecting previously deselected package libpcre3-dev. Unpacking libpcre3-dev (from .../libpcre3-dev_8.02-1_sparc.deb) ... Selecting previously deselected package libpcre-ocaml. Unpacking libpcre-ocaml (from .../libpcre-ocaml_6.0.1-3_sparc.deb) ... Selecting previously deselected package libpcre-ocaml-dev. Unpacking libpcre-ocaml-dev (from .../libpcre-ocaml-dev_6.0.1-3_sparc.deb) ... Selecting previously deselected package libocamlnet-ocaml. Unpacking libocamlnet-ocaml (from .../libocamlnet-ocaml_2.2.9-8_sparc.deb) ... Selecting previously deselected package libocamlnet-ocaml-dev. Unpacking libocamlnet-ocaml-dev (from .../libocamlnet-ocaml-dev_2.2.9-8_sparc.deb) ... Selecting previously deselected package libhttp-ocaml-dev. Unpacking libhttp-ocaml-dev (from .../libhttp-ocaml-dev_0.1.4-3build2_sparc.deb) ... Selecting previously deselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.0+dfsg-2build1_sparc.deb) ... Selecting previously deselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.0+dfsg-2build1_sparc.deb) ... Selecting previously deselected package liblablgtkmathview-ocaml. Unpacking liblablgtkmathview-ocaml (from .../liblablgtkmathview-ocaml_0.7.8-5build2_sparc.deb) ... Selecting previously deselected package liblablgtkmathview-ocaml-dev. Unpacking liblablgtkmathview-ocaml-dev (from .../liblablgtkmathview-ocaml-dev_0.7.8-5build2_sparc.deb) ... Selecting previously deselected package liblablgtksourceview2-ocaml. Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.14.0+dfsg-2build1_sparc.deb) ... Selecting previously deselected package liblablgtksourceview2-ocaml-dev. Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_2.14.0+dfsg-2build1_sparc.deb) ... Selecting previously deselected package mysql-common. Unpacking mysql-common (from .../mysql-common_5.1.49-1ubuntu5_all.deb) ... Selecting previously deselected package libmysqlclient16. Unpacking libmysqlclient16 (from .../libmysqlclient16_5.1.49-1ubuntu5_sparc.deb) ... Selecting previously deselected package libmysql-ocaml. Unpacking libmysql-ocaml (from .../libmysql-ocaml_1.0.4-7ubuntu3_sparc.deb) ... Selecting previously deselected package libmysqlclient-dev. Unpacking libmysqlclient-dev (from .../libmysqlclient-dev_5.1.49-1ubuntu5_sparc.deb) ... Selecting previously deselected package libmysqlclient16-dev. Unpacking libmysqlclient16-dev (from .../libmysqlclient16-dev_5.1.49-1ubuntu5_all.deb) ... Selecting previously deselected package libmysql-ocaml-dev. Unpacking libmysql-ocaml-dev (from .../libmysql-ocaml-dev_1.0.4-7ubuntu3_sparc.deb) ... Selecting previously deselected package libsqlite3-dev. Unpacking libsqlite3-dev (from .../libsqlite3-dev_3.7.0.1-1_sparc.deb) ... Selecting previously deselected package libxss1. Unpacking libxss1 (from .../libxss1_1%3a1.2.0-2_sparc.deb) ... Selecting previously deselected package libzip-ocaml. Unpacking libzip-ocaml (from .../libzip-ocaml_1.04-6build1_sparc.deb) ... Selecting previously deselected package libzip-ocaml-dev. Unpacking libzip-ocaml-dev (from .../libzip-ocaml-dev_1.04-6build1_sparc.deb) ... Selecting previously deselected package tcl8.5. Unpacking tcl8.5 (from .../tcl8.5_8.5.8-2build1_sparc.deb) ... Selecting previously deselected package tk8.5. Unpacking tk8.5 (from .../tk8.5_8.5.8-1_sparc.deb) ... Selecting previously deselected package ocaml-base. Unpacking ocaml-base (from .../ocaml-base_3.11.2-1_sparc.deb) ... Selecting previously deselected package ocaml. Unpacking ocaml (from .../ocaml_3.11.2-1_sparc.deb) ... Selecting previously deselected package ocaml-compiler-libs. Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_3.11.2-1_sparc.deb) ... Selecting previously deselected package camlp5. Unpacking camlp5 (from .../camlp5_5.14-1_sparc.deb) ... Selecting previously deselected package ocaml-ulex08. Unpacking ocaml-ulex08 (from .../ocaml-ulex08_0.8-9_sparc.deb) ... Selecting previously deselected package libsqlite3-ocaml. Unpacking libsqlite3-ocaml (from .../libsqlite3-ocaml_1.5.6-3build1_sparc.deb) ... Selecting previously deselected package libsqlite3-ocaml-dev. Unpacking libsqlite3-ocaml-dev (from .../libsqlite3-ocaml-dev_1.5.6-3build1_sparc.deb) ... Processing triggers for libglib2.0-0 ... No schema files found: doing nothing. Setting up libice6 (2:1.0.6-1) ... Setting up x11proto-core-dev (7.0.17-1) ... Setting up libice-dev (2:1.0.6-1) ... Setting up libxau6 (1:1.0.6-1) ... Setting up libxdmcp6 (1:1.0.3-2) ... Setting up libxcb1 (1.6-1) ... Setting up libx11-data (2:1.3.3-3ubuntu1) ... Setting up libx11-6 (2:1.3.3-3ubuntu1) ... Setting up libxau-dev (1:1.0.6-1) ... Setting up libxdmcp-dev (1:1.0.3-2) ... 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.6-1) ... Setting up libx11-dev (2:1.3.3-3ubuntu1) ... Setting up libxext6 (2:1.1.2-1) ... 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.2-1) ... 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 libmagic1 (5.03-5ubuntu1) ... Setting up file (5.03-5ubuntu1) ... Setting up libnewt0.52 (0.52.11-1) ... Setting up libpopt0 (1.16-1) ... Setting up libsqlite3-0 (3.7.0.1-1) ... Setting up mime-support (3.48-1ubuntu2) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.6 (2.6.6~rc1-1ubuntu1) ... Setting up python (2.6.5-12ubuntu1) ... Setting up ucf (3.0025) ... Setting up whiptail (0.52.11-1) ... Setting up bsdmainutils (8.0.11ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up gettext-base (0.18.1.1-1ubuntu2) ... Setting up groff-base (1.20.1-10) ... Setting up libexpat1 (2.0.1-7ubuntu1) ... Setting up liburi-perl (1.54-1) ... Setting up libhtml-tagset-perl (3.20-2) ... Setting up libhtml-parser-perl (3.65-1) ... Setting up libhtml-tree-perl (3.23-2) ... Setting up libwww-perl (5.836-1) ... Setting up libxml-parser-perl (2.36-1.1build3) ... Setting up libxml2 (2.7.7.dfsg-4) ... Setting up man-db (2.5.7-4) ... Building database of manual pages ... Setting up m4 (1.4.14-3) ... Setting up autoconf (2.67-2ubuntu1) ... Setting up autotools-dev (20100122.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-15) ... Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-1) ... Setting up gettext (0.18.1.1-1ubuntu2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16) ... Setting up debhelper (8.0.0ubuntu1) ... Setting up fdupes (1.50-PR2-3) ... Setting up intltool (0.41.1-1) ... Setting up cdbs (0.4.83ubuntu1) ... Setting up defoma (0.11.11ubuntu1) ... Setting up dpatch (2.0.31) ... Setting up libfreetype6 (2.4.2-1) ... Setting up ttf-dejavu-core (2.31-1) ... 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.38.2) ... Setting up libaspell15 (0.60.6-4ubuntu1) ... Setting up libatk1.0-0 (1.30.0-1ubuntu3) ... Setting up pkg-config (0.25-1) ... Setting up libglib2.0-data (2.25.14-1ubuntu1) ... Setting up libglib2.0-bin (2.25.14-1ubuntu1) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3ubuntu1) ... Setting up libglib2.0-dev (2.25.14-1ubuntu1) ... Setting up libatk1.0-dev (1.30.0-1ubuntu3) ... 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 libpixman-1-0 (0.18.2-1ubuntu1) ... Setting up libxcb-render0 (1.6-1) ... Setting up libxcb-shm0 (1.6-1) ... Setting up libxrender1 (1:0.9.6-1) ... Setting up libcairo2 (1.9.14-1ubuntu1) ... Setting up libexpat1-dev (2.0.1-7ubuntu1) ... Setting up libfreetype6-dev (2.4.2-1) ... Setting up libfontconfig1-dev (2.8.0-2ubuntu1) ... Setting up x11proto-render-dev (2:0.11-1) ... Setting up libxrender-dev (1:0.9.6-1) ... Setting up libpng12-dev (1.2.44-1) ... Setting up libpixman-1-dev (0.18.2-1ubuntu1) ... Setting up libxcb-render0-dev (1.6-1) ... Setting up libxcb-shm0-dev (1.6-1) ... Setting up libcairo2-dev (1.9.14-1ubuntu1) ... Setting up ocaml-base-nox (3.11.2-1) ... Setting up libfindlib-ocaml (1.2.5+debian-1build1) ... Setting up libncurses5-dev (5.7+20100626-0ubuntu1) ... 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-1ubuntu1) ... Setting up libdatrie1 (0.2.3-1) ... Setting up libhunspell-1.2-0 (1.2.11-1ubuntu1) ... Setting up libenchant1c2a (1.6.0-1) ... Setting up libenchant-dev (1.6.0-1) ... 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.7.dfsg-4) ... 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.21.5-1ubuntu6) ... Setting up libjpeg62 (6b-16.1) ... Setting up libjasper1 (1.900.1-7) ... Setting up libpango1.0-common (1.28.1-1ubuntu3) ... 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.14-2) ... Setting up libthai0 (0.1.14-2) ... Setting up libxft2 (2.1.14-2ubuntu1) ... Setting up libpango1.0-0 (1.28.1-1ubuntu3) ... Setting up libtiff4 (3.9.4-2) ... Setting up libxfixes3 (1:4.0.5-1) ... Setting up libxcomposite1 (1:0.4.2-1) ... Setting up libxcursor1 (1:1.1.10-2) ... Setting up libxdamage1 (1:1.1.3-1) ... Setting up libxi6 (2:1.3-4) ... Setting up libxinerama1 (2:1.1-3) ... Setting up libxrandr2 (2:1.3.0-3) ... Setting up shared-mime-info (0.71-3) ... Setting up libgtk2.0-0 (2.21.1-1ubuntu3) ... Setting up libglade2-0 (1:2.6.4-1build1) ... Setting up libxft-dev (2.1.14-2ubuntu1) ... Setting up libpango1.0-dev (1.28.1-1ubuntu3) ... Setting up x11proto-xinerama-dev (1.2-2) ... Setting up libxinerama-dev (2:1.1-3) ... Setting up libxi-dev (2:1.3-4) ... Setting up x11proto-randr-dev (1.3.1-1) ... Setting up libxrandr-dev (2:1.3.0-3) ... Setting up x11proto-fixes-dev (1:4.1.1-2) ... Setting up libxfixes-dev (1:4.0.5-1) ... Setting up libxcursor-dev (1:1.1.10-2) ... Setting up x11proto-composite-dev (1:0.4.1-1) ... Setting up libxcomposite-dev (1:0.4.2-1) ... Setting up x11proto-damage-dev (1:1.2.0-1) ... Setting up libxdamage-dev (1:1.1.3-1) ... Setting up libxml2-utils (2.7.7.dfsg-4) ... Setting up libgtk2.0-dev (2.21.1-1ubuntu3) ... Setting up libglade2-dev (1:2.6.4-1build1) ... Setting up libt1-5 (5.1.2-3build1) ... Setting up libgtkmathview0c2a (0.8.0-5) ... Setting up libt1-dev (5.1.2-3build1) ... Setting up libgtkmathview-dev (0.8.0-5) ... Setting up libgtksourceview2.0-common (2.10.4-1) ... Setting up libgtksourceview2.0-0 (2.10.4-1) ... Setting up libgtksourceview2.0-dev (2.10.4-1) ... Setting up libgtkspell0 (2.0.16-1) ... Setting up libgtkspell-dev (2.0.16-1) ... Setting up libpcrecpp0 (8.02-1) ... Setting up libpcre3-dev (8.02-1) ... Setting up libpcre-ocaml (6.0.1-3) ... Setting up libpcre-ocaml-dev (6.0.1-3) ... Setting up libocamlnet-ocaml (2.2.9-8) ... Setting up libocamlnet-ocaml-dev (2.2.9-8) ... 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.49-1ubuntu5) ... Setting up libmysqlclient16 (5.1.49-1ubuntu5) ... Setting up libmysql-ocaml (1.0.4-7ubuntu3) ... Setting up libmysqlclient-dev (5.1.49-1ubuntu5) ... Setting up libmysqlclient16-dev (5.1.49-1ubuntu5) ... Setting up libmysql-ocaml-dev (1.0.4-7ubuntu3) ... Setting up libsqlite3-dev (3.7.0.1-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-2build1) ... 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.14-1) ... Setting up ocaml-ulex08 (0.8-9) ... 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.12.1-0ubuntu1 make_3.81-8 dpkg-dev_1.15.8.4ubuntu1 gcc-4.4_4.4.4-8ubuntu2 g++-4.4_4.4.4-8ubuntu2 binutils_2.20.51.20100813-1ubuntu1 libstdc++6-4.4-dev_4.4.4-8ubuntu2 libstdc++6_4.5.1-1ubuntu2 ------------------------------------------------------------------------------ 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: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): -Wl,-Bsymbolic-functions dpkg-buildpackage: source package matita dpkg-buildpackage: source version 0.5.8-2build2 dpkg-source --before-build matita-0.5.8 dpkg-buildpackage: host architecture sparc /usr/bin/fakeroot debian/rules clean test -x debian/rules dh_testroot rm -f debian/stamp-makefile-build debian/stamp-makefile-install /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-autotools rmdir --ignore-fail-on-non-empty . rmdir: failed to remove `.': Invalid argument make: [makefile-clean] Error 1 (ignored) 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 mkdir -p . 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=sparc-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 touch debian/stamp-autotools /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_clean: dh_clean -k is deprecated; use dh_prep instead 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 Adding cdbs dependencies to debian/matita.substvars 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 sparc: 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_sparc.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 INFO: pkgstriptranslations version 75 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_sparc.deb'. dpkg-genchanges -B -mUbuntu/sparc Build Daemon >../matita_0.5.8-2build2_sparc.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build matita-0.5.8 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20100818-0750 Publishing debug debs. chroot-autobuild/build/buildd/matita_0.5.8-2build2_sparc.deb: new debian package, version 2.0. size 5932458 bytes: control archive= 8594 bytes. 1374 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: sparc Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 15812 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.10.0), libmysqlclient16 (>= 5.1.21-1), libpango1.0-0 (>= 1.14.0), libpcre3 (>= 7.7), libsqlite3-0 (>= 3.7.0.1), 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_sparc.deb: drwxr-xr-x root/root 0 2010-08-18 07:49 ./ drwxr-xr-x root/root 0 2010-08-18 07:49 ./usr/ drwxr-xr-x root/root 0 2010-08-18 07:49 ./usr/bin/ -rwxr-xr-x root/root 7168936 2010-08-18 07:49 ./usr/bin/matita.opt -rwxr-xr-x root/root 5260312 2010-08-18 07:49 ./usr/bin/matitac.opt drwxr-xr-x root/root 0 2010-08-18 07:49 ./usr/share/ drwxr-xr-x root/root 0 2010-08-18 07:49 ./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-08-18 07:40 ./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-08-18 07:40 ./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-08-18 07:40 ./usr/share/matita/gtkmathview.matita.conf.xml -rw-r--r-- root/root 4469 2010-08-18 07:40 ./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-08-18 07:49 ./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-08-18 07:49 ./usr/share/doc/ drwxr-xr-x root/root 0 2010-08-18 07:49 ./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-08-18 07:40 ./usr/share/doc/matita/copyright -rw-r--r-- root/root 1642 2010-08-18 07:40 ./usr/share/doc/matita/changelog.Debian.gz drwxr-xr-x root/root 0 2010-08-18 07:49 ./usr/share/menu/ -rw-r--r-- root/root 224 2010-08-18 07:40 ./usr/share/menu/matita drwxr-xr-x root/root 0 2010-08-18 07:49 ./usr/share/man/ drwxr-xr-x root/root 0 2010-08-18 07:49 ./usr/share/man/man1/ -rw-r--r-- root/root 679 2010-08-18 07:49 ./usr/share/man/man1/matitac.1.gz -rw-r--r-- root/root 687 2010-08-18 07:49 ./usr/share/man/man1/matitaclean.1.gz -rw-r--r-- root/root 764 2010-08-18 07:49 ./usr/share/man/man1/matitadep.1.gz lrwxrwxrwx root/root 0 2010-08-18 07:49 ./usr/bin/matita -> matita.opt lrwxrwxrwx root/root 0 2010-08-18 07:49 ./usr/bin/matitac -> matitac.opt lrwxrwxrwx root/root 0 2010-08-18 07:49 ./usr/bin/matitadep -> matitac lrwxrwxrwx root/root 0 2010-08-18 07:49 ./usr/bin/matitaclean -> matitac lrwxrwxrwx root/root 0 2010-08-18 07:49 ./usr/share/man/man1/matitac.opt.1.gz -> matitac.1.gz matita_0.5.8-2build2_sparc.changes: Format: 1.8 Date: Fri, 16 Apr 2010 12:12:58 -0400 Source: matita Binary: matita matita-doc Architecture: sparc Version: 0.5.8-2build2 Distribution: maverick Urgency: low Maintainer: Ubuntu/sparc 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: f3d8944cc297aec307ae6a445c1d3cd329c268df 5932458 matita_0.5.8-2build2_sparc.deb Checksums-Sha256: 2948fc76020cbcf3ffae077e0131e834a5d89d29cacfd359deddc4a0d0d8b782 5932458 matita_0.5.8-2build2_sparc.deb Files: 3bbfa8a4f244877291a623b35385cf8f 5932458 math optional matita_0.5.8-2build2_sparc.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 libxcomposite-dev libgdome2-ocaml-dev libfontconfig1 libgtkmathview-dev libenchant1c2a libxcb-shm0-dev libpcrecpp0 libglade2-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 libglib2.0-data libxdamage1 libt1-dev dpatch libxt6 libcryptgps-ocaml-dev liblablgtksourceview2-ocaml-dev libxss1 libxml2-utils libhtml-tree-perl libglib2.0-dev liblablgtk2-ocaml-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 libxau-dev libdatrie1 libxmu-headers libaspell15 libxrender-dev libpng12-dev libgtksourceview2.0-common libavahi-common-data libxft2 x11proto-render-dev libxext6 libsqlite3-0 libxinerama1 libgtksourceview2.0-dev libxdamage-dev libsm-dev libxmu6 libpcre-ocaml-dev ocaml-ulex08 libxdmcp-dev defoma ttf-dejavu-core libcairo2-dev fontconfig libxcb-render0-dev 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 libxcb-shm0 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 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 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 libunistring0 libsm6 libxcb-render0 libsqlite3-ocaml-dev libglib2.0-bin autoconf (Reading database ... 26156 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 ... 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 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 libxext-dev ... Removing libaspell15 ... Purging configuration files for libaspell15 ... Removing libcairo2-dev ... Removing libxcb-render0-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 ... Removing libpango1.0-0 ... Purging configuration files for libpango1.0-0 ... Removing libgtk2.0-common ... Removing gettext-base ... Removing libunistring0 ... Purging configuration files for libunistring0 ... Removing libglib2.0-bin ... 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 libxcb-shm0-dev ... Removing libpango1.0-common ... Purging font configuration of pango... Purging category xfont.. Purging configuration files for libpango1.0-common ... Removing libglib2.0-data ... Removing libxdamage1 ... Purging configuration files for libxdamage1 ... Removing libhtml-tagset-perl ... Removing libxml2 ... Purging configuration files for libxml2 ... Removing x11proto-xext-dev ... Removing libfontconfig1-dev ... Removing libcups2 ... Purging configuration files for libcups2 ... 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 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 libxcb-shm0 ... Purging configuration files for libxcb-shm0 ... Removing whiptail ... Removing libxfixes3 ... Purging configuration files for libxfixes3 ... Removing libpixman-1-0 ... Purging configuration files for libpixman-1-0 ... Removing libsm6 ... Purging configuration files for libsm6 ... Removing libxcb-render0 ... Purging configuration files for libxcb-render0 ... Removing file ... Purging configuration files for file ... Removing zlib1g-dev ... Removing libx11-dev ... Removing libjpeg62 ... Removing x11proto-input-dev ... Removing libexpat1-dev ... Removing libfontconfig1 ... Purging configuration files for libfontconfig1 ... Removing xtrans-dev ... Removing libnewt0.52 ... Purging configuration files for libnewt0.52 ... 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 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 libxcb1-dev ... Removing x11proto-kb-dev ... Removing libpthread-stubs0-dev ... Removing libavahi-common3 ... Purging configuration files for libavahi-common3 ... Removing fontconfig-config ... Purging configuration files for fontconfig-config ... Removing x11-common ... Purging configuration files for x11-common ... Removing libx11-6 ... Purging configuration files for libx11-6 ... 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 ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for libglib2.0-0 ... No schema files found: doing nothing. ****************************************************************************** Finished at 20100818-0752 Build needed 00:09:28, 114628k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a'] Scanning for processes to kill in build /home/buildd/build-52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a'] Unmounting chroot for build 52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a'] Removing build 52badcd5c5c2ef70661b7b8f2a52cecaf1bb692a