RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 3.2.0-1432-omap4 #41-Ubuntu SMP PREEMPT Thu May 16 18:37:42 UTC 2013 armv7l Buildd toolchain package versions: launchpad-buildd_114-0~53~0.IS.08.04 python-lpbuildd_114-0~53~0.IS.08.04 bzr_2.5.1-0ubuntu2. Syncing the system clock with the buildd NTP service... 18 Jun 21:03:09 ntpdate[542]: adjust time server 10.211.37.1 offset 0.000068 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'd64f4161129c4b39fccd5a02d4eb1c15baf810a1', '/home/buildd/filecache-default/c219ff4263fbebe8b03d7ffa1d47a3840a02f1e5'] Unpacking chroot for build d64f4161129c4b39fccd5a02d4eb1c15baf810a1 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'd64f4161129c4b39fccd5a02d4eb1c15baf810a1'] Mounting chroot for build d64f4161129c4b39fccd5a02d4eb1c15baf810a1 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'd64f4161129c4b39fccd5a02d4eb1c15baf810a1', 'deb http://ftpmaster.internal/ubuntu saucy main restricted universe multiverse', 'deb http://ftpmaster.internal/ubuntu saucy-security main restricted universe multiverse', 'deb http://ftpmaster.internal/ubuntu saucy-updates main restricted universe multiverse'] Overriding sources.list in build-d64f4161129c4b39fccd5a02d4eb1c15baf810a1 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'd64f4161129c4b39fccd5a02d4eb1c15baf810a1', 'armhf'] Updating debian chroot for build d64f4161129c4b39fccd5a02d4eb1c15baf810a1 Ign http://archive-team.internal saucy Release.gpg Get:1 http://ftpmaster.internal saucy Release.gpg [933 B] Get:2 http://archive-team.internal saucy Release [728 B] Get:3 http://ftpmaster.internal saucy-security Release.gpg [933 B] Get:4 http://ftpmaster.internal saucy-updates Release.gpg [933 B] Get:5 http://ftpmaster.internal saucy Release [40.8 kB] Get:6 http://archive-team.internal saucy/main armhf Packages Get:7 http://ftpmaster.internal saucy-security Release [40.8 kB] Ign http://archive-team.internal saucy/main Translation-en Get:8 http://ftpmaster.internal saucy-updates Release [40.8 kB] Get:9 http://ftpmaster.internal saucy/main armhf Packages [1180 kB] Get:10 http://ftpmaster.internal saucy/restricted armhf Packages [1131 B] Get:11 http://ftpmaster.internal saucy/universe armhf Packages [5406 kB] Get:12 http://ftpmaster.internal saucy/multiverse armhf Packages [113 kB] Get:13 http://ftpmaster.internal saucy/main Translation-en [694 kB] Get:14 http://ftpmaster.internal saucy/multiverse Translation-en [101 kB] Get:15 http://ftpmaster.internal saucy/restricted Translation-en [3046 B] Get:16 http://ftpmaster.internal saucy/universe Translation-en [3838 kB] Get:17 http://ftpmaster.internal saucy-security/main armhf Packages [14 B] Get:18 http://ftpmaster.internal saucy-security/restricted armhf Packages [14 B] Get:19 http://ftpmaster.internal saucy-security/universe armhf Packages [14 B] Get:20 http://ftpmaster.internal saucy-security/multiverse armhf Packages [14 B] Get:21 http://ftpmaster.internal saucy-security/main Translation-en [14 B] Get:22 http://ftpmaster.internal saucy-security/multiverse Translation-en [14 B] Get:23 http://ftpmaster.internal saucy-security/restricted Translation-en [14 B] Get:24 http://ftpmaster.internal saucy-security/universe Translation-en [14 B] Get:25 http://ftpmaster.internal saucy-updates/main armhf Packages [14 B] Get:26 http://ftpmaster.internal saucy-updates/restricted armhf Packages [14 B] Get:27 http://ftpmaster.internal saucy-updates/universe armhf Packages [14 B] Get:28 http://ftpmaster.internal saucy-updates/multiverse armhf Packages [14 B] Get:29 http://ftpmaster.internal saucy-updates/main Translation-en [14 B] Get:30 http://ftpmaster.internal saucy-updates/multiverse Translation-en [14 B] Get:31 http://ftpmaster.internal saucy-updates/restricted Translation-en [14 B] Get:32 http://ftpmaster.internal saucy-updates/universe Translation-en [14 B] Fetched 11.5 MB in 32s (354 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: libasn1-8-heimdal libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libkrb5-26-heimdal libroken18-heimdal libwind0-heimdal linux-libc-dev sensible-utils upstart 12 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 2194 kB of archives. After this operation, 24.6 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libroken18-heimdal libasn1-8-heimdal libhcrypto4-heimdal libheimbase1-heimdal libwind0-heimdal libhx509-5-heimdal libkrb5-26-heimdal libheimntlm0-heimdal libgssapi3-heimdal sensible-utils upstart linux-libc-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ saucy/main libroken18-heimdal armhf 1.6~git20120403+dfsg1-3 [37.9 kB] Get:2 http://ftpmaster.internal/ubuntu/ saucy/main libasn1-8-heimdal armhf 1.6~git20120403+dfsg1-3 [168 kB] Get:3 http://ftpmaster.internal/ubuntu/ saucy/main libhcrypto4-heimdal armhf 1.6~git20120403+dfsg1-3 [90.1 kB] Get:4 http://ftpmaster.internal/ubuntu/ saucy/main libheimbase1-heimdal armhf 1.6~git20120403+dfsg1-3 [25.7 kB] Get:5 http://ftpmaster.internal/ubuntu/ saucy/main libwind0-heimdal armhf 1.6~git20120403+dfsg1-3 [76.5 kB] Get:6 http://ftpmaster.internal/ubuntu/ saucy/main libhx509-5-heimdal armhf 1.6~git20120403+dfsg1-3 [97.3 kB] Get:7 http://ftpmaster.internal/ubuntu/ saucy/main libkrb5-26-heimdal armhf 1.6~git20120403+dfsg1-3 [180 kB] Get:8 http://ftpmaster.internal/ubuntu/ saucy/main libheimntlm0-heimdal armhf 1.6~git20120403+dfsg1-3 [14.9 kB] Get:9 http://ftpmaster.internal/ubuntu/ saucy/main libgssapi3-heimdal armhf 1.6~git20120403+dfsg1-3 [86.2 kB] Get:10 http://ftpmaster.internal/ubuntu/ saucy/main sensible-utils all 0.0.9 [10.5 kB] Get:11 http://ftpmaster.internal/ubuntu/ saucy/main upstart armhf 1.8-0ubuntu7 [515 kB] Get:12 http://ftpmaster.internal/ubuntu/ saucy/main linux-libc-dev armhf 3.9.0-6.13 [891 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 2194 kB in 0s (3326 kB/s) (Reading database ... 11854 files and directories currently installed.) Preparing to replace libroken18-heimdal:armhf 1.6~git20120403+dfsg1-2 (using .../libroken18-heimdal_1.6~git20120403+dfsg1-3_armhf.deb) ... Unpacking replacement libroken18-heimdal:armhf ... Preparing to replace libasn1-8-heimdal:armhf 1.6~git20120403+dfsg1-2 (using .../libasn1-8-heimdal_1.6~git20120403+dfsg1-3_armhf.deb) ... Unpacking replacement libasn1-8-heimdal:armhf ... Preparing to replace libhcrypto4-heimdal:armhf 1.6~git20120403+dfsg1-2 (using .../libhcrypto4-heimdal_1.6~git20120403+dfsg1-3_armhf.deb) ... Unpacking replacement libhcrypto4-heimdal:armhf ... Preparing to replace libheimbase1-heimdal:armhf 1.6~git20120403+dfsg1-2 (using .../libheimbase1-heimdal_1.6~git20120403+dfsg1-3_armhf.deb) ... Unpacking replacement libheimbase1-heimdal:armhf ... Preparing to replace libwind0-heimdal:armhf 1.6~git20120403+dfsg1-2 (using .../libwind0-heimdal_1.6~git20120403+dfsg1-3_armhf.deb) ... Unpacking replacement libwind0-heimdal:armhf ... Preparing to replace libhx509-5-heimdal:armhf 1.6~git20120403+dfsg1-2 (using .../libhx509-5-heimdal_1.6~git20120403+dfsg1-3_armhf.deb) ... Unpacking replacement libhx509-5-heimdal:armhf ... Preparing to replace libkrb5-26-heimdal:armhf 1.6~git20120403+dfsg1-2 (using .../libkrb5-26-heimdal_1.6~git20120403+dfsg1-3_armhf.deb) ... Unpacking replacement libkrb5-26-heimdal:armhf ... Preparing to replace libheimntlm0-heimdal:armhf 1.6~git20120403+dfsg1-2 (using .../libheimntlm0-heimdal_1.6~git20120403+dfsg1-3_armhf.deb) ... Unpacking replacement libheimntlm0-heimdal:armhf ... Preparing to replace libgssapi3-heimdal:armhf 1.6~git20120403+dfsg1-2 (using .../libgssapi3-heimdal_1.6~git20120403+dfsg1-3_armhf.deb) ... Unpacking replacement libgssapi3-heimdal:armhf ... Preparing to replace sensible-utils 0.0.7ubuntu1 (using .../sensible-utils_0.0.9_all.deb) ... Unpacking replacement sensible-utils ... Setting up sensible-utils (0.0.9) ... (Reading database ... 11854 files and directories currently installed.) Preparing to replace upstart 1.8-0ubuntu6 (using .../upstart_1.8-0ubuntu7_armhf.deb) ... Unpacking replacement upstart ... Preparing to replace linux-libc-dev:armhf 3.9.0-5.12 (using .../linux-libc-dev_3.9.0-6.13_armhf.deb) ... Unpacking replacement linux-libc-dev:armhf ... Setting up libroken18-heimdal:armhf (1.6~git20120403+dfsg1-3) ... Setting up libasn1-8-heimdal:armhf (1.6~git20120403+dfsg1-3) ... Setting up libhcrypto4-heimdal:armhf (1.6~git20120403+dfsg1-3) ... Setting up libheimbase1-heimdal:armhf (1.6~git20120403+dfsg1-3) ... Setting up libwind0-heimdal:armhf (1.6~git20120403+dfsg1-3) ... Setting up libhx509-5-heimdal:armhf (1.6~git20120403+dfsg1-3) ... Setting up libkrb5-26-heimdal:armhf (1.6~git20120403+dfsg1-3) ... Setting up libheimntlm0-heimdal:armhf (1.6~git20120403+dfsg1-3) ... Setting up libgssapi3-heimdal:armhf (1.6~git20120403+dfsg1-3) ... Setting up upstart (1.8-0ubuntu7) ... Setting up linux-libc-dev:armhf (3.9.0-6.13) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'd64f4161129c4b39fccd5a02d4eb1c15baf810a1', 'armhf', 'saucy', '--nolog', '--batch', '--archive=ubuntu', '--dist=saucy', '--purpose=COPY', '--architecture=armhf', '--comp=universe', 'otter_3.3f-1.1.dsc'] Initiating build d64f4161129c4b39fccd5a02d4eb1c15baf810a1 with 2 jobs across 2 processor cores. Kernel reported to sbuild: 3.2.0-1432-omap4 #41-Ubuntu SMP PREEMPT Thu May 16 18:37:42 UTC 2013 armv7l Automatic build of otter_3.3f-1.1 on ain by sbuild/armhf 1.170.5 Build started at 20130618-2106 ****************************************************************************** otter_3.3f-1.1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 5), libxaw7-dev, hevea Checking for already installed source dependencies... debhelper: missing libxaw7-dev: missing hevea: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper libxaw7-dev hevea Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils dh-apparmor file fontconfig-config fonts-dejavu-core gettext gettext-base ghostscript groff-base gsfonts intltool-debian libasprintf-dev libasprintf0c2 libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcroco3 libcups2 libcupsfilters1 libcupsimage2 libexpat1 libffi6 libfontconfig1 libfreetype6 libgettextpo-dev libgettextpo0 libglib2.0-0 libgraphite2-3 libgs9 libgs9-common libice-dev libice6 libicu48 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblcms2-2 libmagic1 libnetpbm10 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler37 libptexenc1 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libtiff5 libunistring0 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxcb1-dev libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxml2 libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxrender1 libxt-dev libxt6 luatex man-db netpbm ocaml-base-nox po-debconf poppler-data tex-common texlive-base texlive-binaries ttf-dejavu-core ucf x11-common x11proto-core-dev x11proto-input-dev x11proto-kb-dev x11proto-xext-dev xdg-utils xorg-sgml-doctools xtrans-dev Suggested packages: wamerican wordlist whois vacation dh-make gettext-doc ghostscript-cups ghostscript-x hpijs groff hevea-doc cups-common fonts-droid libice-doc liblcms2-utils libsm-doc libxaw-doc libxcb-doc libxext-doc libxt-doc less www-browser libmail-box-perl poppler-utils fonts-japanese-mincho fonts-ipafont-mincho fonts-japanese-gothic fonts-ipafont-gothic fonts-arphic-ukai fonts-arphic-uming fonts-unfonts-core perl-tk gv postscript-viewer xpdf-reader pdf-viewer gvfs-bin Recommended packages: curl wget lynx-cur libglib2.0-data shared-mime-info libx11-doc xml-core texlive-luatex libmail-sendmail-perl lmodern python ruby wish libfile-mimeinfo-perl x11-utils x11-xserver-utils The following NEW packages will be installed: bsdmainutils debhelper dh-apparmor file fontconfig-config fonts-dejavu-core gettext gettext-base ghostscript groff-base gsfonts hevea intltool-debian libasprintf-dev libasprintf0c2 libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcroco3 libcups2 libcupsfilters1 libcupsimage2 libexpat1 libffi6 libfontconfig1 libfreetype6 libgettextpo-dev libgettextpo0 libglib2.0-0 libgraphite2-3 libgs9 libgs9-common libice-dev libice6 libicu48 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblcms2-2 libmagic1 libnetpbm10 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler37 libptexenc1 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libtiff5 libunistring0 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxaw7-dev libxcb-render0 libxcb-shm0 libxcb1 libxcb1-dev libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxml2 libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxrender1 libxt-dev libxt6 luatex man-db netpbm ocaml-base-nox po-debconf poppler-data tex-common texlive-base texlive-binaries ttf-dejavu-core ucf x11-common x11proto-core-dev x11proto-input-dev x11proto-kb-dev x11proto-xext-dev xdg-utils xorg-sgml-doctools xtrans-dev 0 upgraded, 100 newly installed, 0 to remove and 0 not upgraded. Need to get 55.9 MB of archives. After this operation, 172 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libexpat1 libmagic1 libffi6 libglib2.0-0 libasprintf0c2 libpipeline1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 libxml2 groff-base bsdmainutils man-db ucf fonts-dejavu-core ttf-dejavu-core fontconfig-config libavahi-common-data libavahi-common3 libavahi-client3 libfreetype6 libfontconfig1 libpixman-1-0 libxcb-render0 libxcb-shm0 libxrender1 libcairo2 libcroco3 libcups2 libjpeg-turbo8 libjpeg8 libjbig0 libtiff5 libcupsfilters1 libcupsimage2 libunistring0 libgettextpo0 libgraphite2-3 x11-common libice6 libicu48 liblcms2-2 libpaper1 libpoppler37 libsm6 libxt6 libxmu6 libxpm4 libxaw7 tex-common libkpathsea6 luatex poppler-data file gettext-base libasprintf-dev libgettextpo-dev gettext intltool-debian po-debconf dh-apparmor debhelper libijs-0.35 libjbig2dec0 libgs9-common libgs9 gsfonts ghostscript libnetpbm10 netpbm xdg-utils libpaper-utils libptexenc1 texlive-binaries texlive-base ocaml-base-nox hevea xorg-sgml-doctools x11proto-core-dev libice-dev libpthread-stubs0 libpthread-stubs0-dev libsm-dev libxau-dev libxdmcp-dev x11proto-input-dev x11proto-kb-dev xtrans-dev libxcb1-dev libx11-dev x11proto-xext-dev libxext-dev libxt-dev libxmu-headers libxmu-dev libxpm-dev libxaw7-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ saucy/main libexpat1 armhf 2.1.0-3 [101 kB] Get:2 http://ftpmaster.internal/ubuntu/ saucy/main libmagic1 armhf 5.11-2ubuntu4 [167 kB] Get:3 http://ftpmaster.internal/ubuntu/ saucy/main libffi6 armhf 3.0.13-2ubuntu1 [16.8 kB] Get:4 http://ftpmaster.internal/ubuntu/ saucy/main libglib2.0-0 armhf 2.37.1-0ubuntu1 [881 kB] Get:5 http://ftpmaster.internal/ubuntu/ saucy/main libasprintf0c2 armhf 0.18.1.1-10ubuntu3 [6544 B] Get:6 http://ftpmaster.internal/ubuntu/ saucy/main libpipeline1 armhf 1.2.4-1 [21.7 kB] Get:7 http://ftpmaster.internal/ubuntu/ saucy/main libxau6 armhf 1:1.0.8-1 [7324 B] Get:8 http://ftpmaster.internal/ubuntu/ saucy/main libxdmcp6 armhf 1:1.1.1-1 [11.2 kB] Get:9 http://ftpmaster.internal/ubuntu/ saucy/main libxcb1 armhf 1.8.1-2ubuntu3 [36.6 kB] Get:10 http://ftpmaster.internal/ubuntu/ saucy/main libx11-data all 2:1.5.0-1ubuntu2 [180 kB] Get:11 http://ftpmaster.internal/ubuntu/ saucy/main libx11-6 armhf 2:1.5.0-1ubuntu2 [689 kB] Get:12 http://ftpmaster.internal/ubuntu/ saucy/main libxext6 armhf 2:1.3.1-2+deb7u1 [27.5 kB] Get:13 http://ftpmaster.internal/ubuntu/ saucy/main libxml2 armhf 2.9.0+dfsg1-4ubuntu5 [567 kB] Get:14 http://ftpmaster.internal/ubuntu/ saucy/main groff-base armhf 1.22.2-3 [648 kB] Get:15 http://ftpmaster.internal/ubuntu/ saucy/main bsdmainutils armhf 9.0.5ubuntu1 [195 kB] Get:16 http://ftpmaster.internal/ubuntu/ saucy/main man-db armhf 2.6.3-7 [612 kB] Get:17 http://ftpmaster.internal/ubuntu/ saucy/main ucf all 3.0027 [56.6 kB] Get:18 http://ftpmaster.internal/ubuntu/ saucy/main fonts-dejavu-core all 2.33+svn2514-3ubuntu1 [1019 kB] Get:19 http://ftpmaster.internal/ubuntu/ saucy/main ttf-dejavu-core all 2.33+svn2514-3ubuntu1 [2964 B] Get:20 http://ftpmaster.internal/ubuntu/ saucy/main fontconfig-config all 2.10.93-0ubuntu1 [50.5 kB] Get:21 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-common-data armhf 0.6.31-2ubuntu2 [22.0 kB] Get:22 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-common3 armhf 0.6.31-2ubuntu2 [22.7 kB] Get:23 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-client3 armhf 0.6.31-2ubuntu2 [25.6 kB] Get:24 http://ftpmaster.internal/ubuntu/ saucy/main libfreetype6 armhf 2.4.11-0ubuntu1 [275 kB] Get:25 http://ftpmaster.internal/ubuntu/ saucy/main libfontconfig1 armhf 2.10.93-0ubuntu1 [122 kB] Get:26 http://ftpmaster.internal/ubuntu/ saucy/main libpixman-1-0 armhf 0.28.2-0ubuntu1 [175 kB] Get:27 http://ftpmaster.internal/ubuntu/ saucy/main libxcb-render0 armhf 1.8.1-2ubuntu3 [11.7 kB] Get:28 http://ftpmaster.internal/ubuntu/ saucy/main libxcb-shm0 armhf 1.8.1-2ubuntu3 [5496 B] Get:29 http://ftpmaster.internal/ubuntu/ saucy/main libxrender1 armhf 1:0.9.7-1+deb7u1 [16.9 kB] Get:30 http://ftpmaster.internal/ubuntu/ saucy/main libcairo2 armhf 1.12.14-0ubuntu1 [511 kB] Get:31 http://ftpmaster.internal/ubuntu/ saucy/main libcroco3 armhf 0.6.8-2 [69.2 kB] Get:32 http://ftpmaster.internal/ubuntu/ saucy/main libcups2 armhf 1.6.2-9 [164 kB] Get:33 http://ftpmaster.internal/ubuntu/ saucy/main libjpeg-turbo8 armhf 1.2.1-0ubuntu2 [85.2 kB] Get:34 http://ftpmaster.internal/ubuntu/ saucy/main libjpeg8 armhf 8c-2ubuntu7 [2118 B] Get:35 http://ftpmaster.internal/ubuntu/ saucy/main libjbig0 armhf 2.0-2ubuntu1 [25.5 kB] Get:36 http://ftpmaster.internal/ubuntu/ saucy/main libtiff5 armhf 4.0.2-4ubuntu3 [151 kB] Get:37 http://ftpmaster.internal/ubuntu/ saucy/main libcupsfilters1 armhf 1.0.34-3 [68.2 kB] Get:38 http://ftpmaster.internal/ubuntu/ saucy/main libcupsimage2 armhf 1.6.2-9 [15.1 kB] Get:39 http://ftpmaster.internal/ubuntu/ saucy/main libunistring0 armhf 0.9.3-5build1 [395 kB] Get:40 http://ftpmaster.internal/ubuntu/ saucy/main libgettextpo0 armhf 0.18.1.1-10ubuntu3 [101 kB] Get:41 http://ftpmaster.internal/ubuntu/ saucy/main libgraphite2-3 armhf 1.2.3-1 [46.5 kB] Get:42 http://ftpmaster.internal/ubuntu/ saucy/main x11-common all 1:7.7+1ubuntu4 [58.1 kB] Get:43 http://ftpmaster.internal/ubuntu/ saucy/main libice6 armhf 2:1.0.8-2 [38.2 kB] Get:44 http://ftpmaster.internal/ubuntu/ saucy/main libicu48 armhf 4.8.1.1-12 [4504 kB] Get:45 http://ftpmaster.internal/ubuntu/ saucy/main liblcms2-2 armhf 2.4-0ubuntu3 [123 kB] Get:46 http://ftpmaster.internal/ubuntu/ saucy/main libpaper1 armhf 1.1.24+nmu2ubuntu2 [13.6 kB] Get:47 http://ftpmaster.internal/ubuntu/ saucy/main libpoppler37 armhf 0.22.4-0ubuntu1 [746 kB] Get:48 http://ftpmaster.internal/ubuntu/ saucy/main libsm6 armhf 2:1.2.1-2 [15.4 kB] Get:49 http://ftpmaster.internal/ubuntu/ saucy/main libxt6 armhf 1:1.1.3-1+deb7u1 [146 kB] Get:50 http://ftpmaster.internal/ubuntu/ saucy/main libxmu6 armhf 2:1.1.1-1 [43.7 kB] Get:51 http://ftpmaster.internal/ubuntu/ saucy/main libxpm4 armhf 1:3.5.10-1 [32.1 kB] Get:52 http://ftpmaster.internal/ubuntu/ saucy/main libxaw7 armhf 2:1.0.11-1 [158 kB] Get:53 http://ftpmaster.internal/ubuntu/ saucy/main tex-common all 4.04 [621 kB] Get:54 http://ftpmaster.internal/ubuntu/ saucy/main libkpathsea6 armhf 2013.20130529.30792-1build1 [66.7 kB] Get:55 http://ftpmaster.internal/ubuntu/ saucy/main luatex armhf 0.76.0-2build1 [3360 kB] Get:56 http://ftpmaster.internal/ubuntu/ saucy/main poppler-data all 0.4.6-4 [1479 kB] Get:57 http://ftpmaster.internal/ubuntu/ saucy/main file armhf 5.11-2ubuntu4 [17.9 kB] Get:58 http://ftpmaster.internal/ubuntu/ saucy/main gettext-base armhf 0.18.1.1-10ubuntu3 [53.5 kB] Get:59 http://ftpmaster.internal/ubuntu/ saucy/main libasprintf-dev armhf 0.18.1.1-10ubuntu3 [4446 B] Get:60 http://ftpmaster.internal/ubuntu/ saucy/main libgettextpo-dev armhf 0.18.1.1-10ubuntu3 [119 kB] Get:61 http://ftpmaster.internal/ubuntu/ saucy/main gettext armhf 0.18.1.1-10ubuntu3 [931 kB] Get:62 http://ftpmaster.internal/ubuntu/ saucy/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:63 http://ftpmaster.internal/ubuntu/ saucy/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:64 http://ftpmaster.internal/ubuntu/ saucy/main dh-apparmor all 2.8.0-0ubuntu13 [8314 B] Get:65 http://ftpmaster.internal/ubuntu/ saucy/main debhelper all 9.20130604ubuntu1 [628 kB] Get:66 http://ftpmaster.internal/ubuntu/ saucy/main libijs-0.35 armhf 0.35-8build1 [14.6 kB] Get:67 http://ftpmaster.internal/ubuntu/ saucy/main libjbig2dec0 armhf 0.11+20120125-1ubuntu1 [41.3 kB] Get:68 http://ftpmaster.internal/ubuntu/ saucy/main libgs9-common all 9.07~dfsg2-0ubuntu3 [2145 kB] Get:69 http://ftpmaster.internal/ubuntu/ saucy/main libgs9 armhf 9.07~dfsg2-0ubuntu3 [2091 kB] Get:70 http://ftpmaster.internal/ubuntu/ saucy/main gsfonts all 1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1 [3374 kB] Get:71 http://ftpmaster.internal/ubuntu/ saucy/main ghostscript armhf 9.07~dfsg2-0ubuntu3 [45.3 kB] Get:72 http://ftpmaster.internal/ubuntu/ saucy/main libnetpbm10 armhf 2:10.0-15ubuntu2 [55.4 kB] Get:73 http://ftpmaster.internal/ubuntu/ saucy/main netpbm armhf 2:10.0-15ubuntu2 [1211 kB] Get:74 http://ftpmaster.internal/ubuntu/ saucy/main xdg-utils all 1.1.0~rc1-2ubuntu7 [65.6 kB] Get:75 http://ftpmaster.internal/ubuntu/ saucy/main libpaper-utils armhf 1.1.24+nmu2ubuntu2 [8768 B] Get:76 http://ftpmaster.internal/ubuntu/ saucy/main libptexenc1 armhf 2013.20130529.30792-1build1 [37.0 kB] Get:77 http://ftpmaster.internal/ubuntu/ saucy/main texlive-binaries armhf 2013.20130529.30792-1build1 [5238 kB] Get:78 http://ftpmaster.internal/ubuntu/ saucy/main texlive-base all 2013.20130530-1 [16.2 MB] Get:79 http://ftpmaster.internal/ubuntu/ saucy/main ocaml-base-nox armhf 3.12.1-4ubuntu1 [426 kB] Get:80 http://ftpmaster.internal/ubuntu/ saucy/main hevea all 2.06-2 [482 kB] Get:81 http://ftpmaster.internal/ubuntu/ saucy/main xorg-sgml-doctools all 1:1.10-1 [12.0 kB] Get:82 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-core-dev all 7.0.24-1 [748 kB] Get:83 http://ftpmaster.internal/ubuntu/ saucy/main libice-dev armhf 2:1.0.8-2 [47.8 kB] Get:84 http://ftpmaster.internal/ubuntu/ saucy/main libpthread-stubs0 armhf 0.3-3 [3266 B] Get:85 http://ftpmaster.internal/ubuntu/ saucy/main libpthread-stubs0-dev armhf 0.3-3 [2884 B] Get:86 http://ftpmaster.internal/ubuntu/ saucy/main libsm-dev armhf 2:1.2.1-2 [16.4 kB] Get:87 http://ftpmaster.internal/ubuntu/ saucy/main libxau-dev armhf 1:1.0.8-1 [9438 B] Get:88 http://ftpmaster.internal/ubuntu/ saucy/main libxdmcp-dev armhf 1:1.1.1-1 [25.3 kB] Get:89 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-input-dev all 2.2.99.1-0ubuntu1 [139 kB] Get:90 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-kb-dev all 1.0.6-2 [269 kB] Get:91 http://ftpmaster.internal/ubuntu/ saucy/main xtrans-dev all 1.2.7-1 [84.3 kB] Get:92 http://ftpmaster.internal/ubuntu/ saucy/main libxcb1-dev armhf 1.8.1-2ubuntu3 [76.8 kB] Get:93 http://ftpmaster.internal/ubuntu/ saucy/main libx11-dev armhf 2:1.5.0-1ubuntu2 [810 kB] Get:94 http://ftpmaster.internal/ubuntu/ saucy/main x11proto-xext-dev all 7.2.1-1 [265 kB] Get:95 http://ftpmaster.internal/ubuntu/ saucy/main libxext-dev armhf 2:1.3.1-2+deb7u1 [86.0 kB] Get:96 http://ftpmaster.internal/ubuntu/ saucy/main libxt-dev armhf 1:1.1.3-1+deb7u1 [452 kB] Get:97 http://ftpmaster.internal/ubuntu/ saucy/main libxmu-headers all 2:1.1.1-1 [62.0 kB] Get:98 http://ftpmaster.internal/ubuntu/ saucy/main libxmu-dev armhf 2:1.1.1-1 [47.1 kB] Get:99 http://ftpmaster.internal/ubuntu/ saucy/main libxpm-dev armhf 1:3.5.10-1 [87.1 kB] Get:100 http://ftpmaster.internal/ubuntu/ saucy/main libxaw7-dev armhf 2:1.0.11-1 [254 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 55.9 MB in 15s (3539 kB/s) Selecting previously unselected package libexpat1:armhf. (Reading database ... 11854 files and directories currently installed.) Unpacking libexpat1:armhf (from .../libexpat1_2.1.0-3_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_5.11-2ubuntu4_armhf.deb) ... Selecting previously unselected package libffi6:armhf. Unpacking libffi6:armhf (from .../libffi6_3.0.13-2ubuntu1_armhf.deb) ... Selecting previously unselected package libglib2.0-0:armhf. Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.37.1-0ubuntu1_armhf.deb) ... Selecting previously unselected package libasprintf0c2:armhf. Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.1.1-10ubuntu3_armhf.deb) ... Selecting previously unselected package libpipeline1:armhf. Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.4-1_armhf.deb) ... Selecting previously unselected package libxau6:armhf. Unpacking libxau6:armhf (from .../libxau6_1%3a1.0.8-1_armhf.deb) ... Selecting previously unselected package libxdmcp6:armhf. Unpacking libxdmcp6:armhf (from .../libxdmcp6_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libxcb1:armhf. Unpacking libxcb1:armhf (from .../libxcb1_1.8.1-2ubuntu3_armhf.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.5.0-1ubuntu2_all.deb) ... Selecting previously unselected package libx11-6:armhf. Unpacking libx11-6:armhf (from .../libx11-6_2%3a1.5.0-1ubuntu2_armhf.deb) ... Selecting previously unselected package libxext6:armhf. Unpacking libxext6:armhf (from .../libxext6_2%3a1.3.1-2+deb7u1_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.9.0+dfsg1-4ubuntu5_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.22.2-3_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.5ubuntu1_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.3-7_armhf.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../archives/ucf_3.0027_all.deb) ... Moving old data out of the way Selecting previously unselected package fonts-dejavu-core. Unpacking fonts-dejavu-core (from .../fonts-dejavu-core_2.33+svn2514-3ubuntu1_all.deb) ... Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33+svn2514-3ubuntu1_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.10.93-0ubuntu1_all.deb) ... Selecting previously unselected package libavahi-common-data:armhf. Unpacking libavahi-common-data:armhf (from .../libavahi-common-data_0.6.31-2ubuntu2_armhf.deb) ... Selecting previously unselected package libavahi-common3:armhf. Unpacking libavahi-common3:armhf (from .../libavahi-common3_0.6.31-2ubuntu2_armhf.deb) ... Selecting previously unselected package libavahi-client3:armhf. Unpacking libavahi-client3:armhf (from .../libavahi-client3_0.6.31-2ubuntu2_armhf.deb) ... Selecting previously unselected package libfreetype6:armhf. Unpacking libfreetype6:armhf (from .../libfreetype6_2.4.11-0ubuntu1_armhf.deb) ... Selecting previously unselected package libfontconfig1:armhf. Unpacking libfontconfig1:armhf (from .../libfontconfig1_2.10.93-0ubuntu1_armhf.deb) ... Selecting previously unselected package libpixman-1-0:armhf. Unpacking libpixman-1-0:armhf (from .../libpixman-1-0_0.28.2-0ubuntu1_armhf.deb) ... Selecting previously unselected package libxcb-render0:armhf. Unpacking libxcb-render0:armhf (from .../libxcb-render0_1.8.1-2ubuntu3_armhf.deb) ... Selecting previously unselected package libxcb-shm0:armhf. Unpacking libxcb-shm0:armhf (from .../libxcb-shm0_1.8.1-2ubuntu3_armhf.deb) ... Selecting previously unselected package libxrender1:armhf. Unpacking libxrender1:armhf (from .../libxrender1_1%3a0.9.7-1+deb7u1_armhf.deb) ... Selecting previously unselected package libcairo2:armhf. Unpacking libcairo2:armhf (from .../libcairo2_1.12.14-0ubuntu1_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.8-2_armhf.deb) ... Selecting previously unselected package libcups2:armhf. Unpacking libcups2:armhf (from .../libcups2_1.6.2-9_armhf.deb) ... Selecting previously unselected package libjpeg-turbo8:armhf. Unpacking libjpeg-turbo8:armhf (from .../libjpeg-turbo8_1.2.1-0ubuntu2_armhf.deb) ... Selecting previously unselected package libjpeg8:armhf. Unpacking libjpeg8:armhf (from .../libjpeg8_8c-2ubuntu7_armhf.deb) ... Selecting previously unselected package libjbig0:armhf. Unpacking libjbig0:armhf (from .../libjbig0_2.0-2ubuntu1_armhf.deb) ... Selecting previously unselected package libtiff5:armhf. Unpacking libtiff5:armhf (from .../libtiff5_4.0.2-4ubuntu3_armhf.deb) ... Selecting previously unselected package libcupsfilters1:armhf. Unpacking libcupsfilters1:armhf (from .../libcupsfilters1_1.0.34-3_armhf.deb) ... Selecting previously unselected package libcupsimage2:armhf. Unpacking libcupsimage2:armhf (from .../libcupsimage2_1.6.2-9_armhf.deb) ... Selecting previously unselected package libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5build1_armhf.deb) ... Selecting previously unselected package libgettextpo0:armhf. Unpacking libgettextpo0:armhf (from .../libgettextpo0_0.18.1.1-10ubuntu3_armhf.deb) ... Selecting previously unselected package libgraphite2-3:armhf. Unpacking libgraphite2-3:armhf (from .../libgraphite2-3_1.2.3-1_armhf.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.7+1ubuntu4_all.deb) ... Selecting previously unselected package libice6:armhf. Unpacking libice6:armhf (from .../libice6_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libicu48:armhf. Unpacking libicu48:armhf (from .../libicu48_4.8.1.1-12_armhf.deb) ... Selecting previously unselected package liblcms2-2:armhf. Unpacking liblcms2-2:armhf (from .../liblcms2-2_2.4-0ubuntu3_armhf.deb) ... Selecting previously unselected package libpaper1:armhf. Unpacking libpaper1:armhf (from .../libpaper1_1.1.24+nmu2ubuntu2_armhf.deb) ... Selecting previously unselected package libpoppler37:armhf. Unpacking libpoppler37:armhf (from .../libpoppler37_0.22.4-0ubuntu1_armhf.deb) ... Selecting previously unselected package libsm6:armhf. Unpacking libsm6:armhf (from .../libsm6_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package libxt6:armhf. Unpacking libxt6:armhf (from .../libxt6_1%3a1.1.3-1+deb7u1_armhf.deb) ... Selecting previously unselected package libxmu6:armhf. Unpacking libxmu6:armhf (from .../libxmu6_2%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libxpm4:armhf. Unpacking libxpm4:armhf (from .../libxpm4_1%3a3.5.10-1_armhf.deb) ... Selecting previously unselected package libxaw7:armhf. Unpacking libxaw7:armhf (from .../libxaw7_2%3a1.0.11-1_armhf.deb) ... Selecting previously unselected package tex-common. Unpacking tex-common (from .../tex-common_4.04_all.deb) ... Selecting previously unselected package libkpathsea6. Unpacking libkpathsea6 (from .../libkpathsea6_2013.20130529.30792-1build1_armhf.deb) ... Selecting previously unselected package luatex. Unpacking luatex (from .../luatex_0.76.0-2build1_armhf.deb) ... Selecting previously unselected package poppler-data. Unpacking poppler-data (from .../poppler-data_0.4.6-4_all.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_5.11-2ubuntu4_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-10ubuntu3_armhf.deb) ... Selecting previously unselected package libasprintf-dev:armhf. Unpacking libasprintf-dev:armhf (from .../libasprintf-dev_0.18.1.1-10ubuntu3_armhf.deb) ... Selecting previously unselected package libgettextpo-dev:armhf. Unpacking libgettextpo-dev:armhf (from .../libgettextpo-dev_0.18.1.1-10ubuntu3_armhf.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-10ubuntu3_armhf.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2ubuntu1_all.deb) ... Selecting previously unselected package dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.8.0-0ubuntu13_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20130604ubuntu1_all.deb) ... Selecting previously unselected package libijs-0.35. Unpacking libijs-0.35 (from .../libijs-0.35_0.35-8build1_armhf.deb) ... Selecting previously unselected package libjbig2dec0. Unpacking libjbig2dec0 (from .../libjbig2dec0_0.11+20120125-1ubuntu1_armhf.deb) ... Selecting previously unselected package libgs9-common. Unpacking libgs9-common (from .../libgs9-common_9.07~dfsg2-0ubuntu3_all.deb) ... Selecting previously unselected package libgs9. Unpacking libgs9 (from .../libgs9_9.07~dfsg2-0ubuntu3_armhf.deb) ... Selecting previously unselected package gsfonts. Unpacking gsfonts (from .../gsfonts_1%3a8.11+urwcyr1.0.7~pre44-4.2ubuntu1_all.deb) ... Selecting previously unselected package ghostscript. Unpacking ghostscript (from .../ghostscript_9.07~dfsg2-0ubuntu3_armhf.deb) ... Selecting previously unselected package libnetpbm10. Unpacking libnetpbm10 (from .../libnetpbm10_2%3a10.0-15ubuntu2_armhf.deb) ... Selecting previously unselected package netpbm. Unpacking netpbm (from .../netpbm_2%3a10.0-15ubuntu2_armhf.deb) ... Selecting previously unselected package xdg-utils. Unpacking xdg-utils (from .../xdg-utils_1.1.0~rc1-2ubuntu7_all.deb) ... Selecting previously unselected package libpaper-utils. Unpacking libpaper-utils (from .../libpaper-utils_1.1.24+nmu2ubuntu2_armhf.deb) ... Selecting previously unselected package libptexenc1. Unpacking libptexenc1 (from .../libptexenc1_2013.20130529.30792-1build1_armhf.deb) ... Selecting previously unselected package texlive-binaries. Unpacking texlive-binaries (from .../texlive-binaries_2013.20130529.30792-1build1_armhf.deb) ... Selecting previously unselected package texlive-base. Unpacking texlive-base (from .../texlive-base_2013.20130530-1_all.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-4ubuntu1_armhf.deb) ... Selecting previously unselected package hevea. Unpacking hevea (from .../archives/hevea_2.06-2_all.deb) ... Selecting previously unselected package xorg-sgml-doctools. Unpacking xorg-sgml-doctools (from .../xorg-sgml-doctools_1%3a1.10-1_all.deb) ... Selecting previously unselected package x11proto-core-dev. Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.24-1_all.deb) ... Selecting previously unselected package libice-dev:armhf. Unpacking libice-dev:armhf (from .../libice-dev_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libpthread-stubs0:armhf. Unpacking libpthread-stubs0:armhf (from .../libpthread-stubs0_0.3-3_armhf.deb) ... Selecting previously unselected package libpthread-stubs0-dev:armhf. Unpacking libpthread-stubs0-dev:armhf (from .../libpthread-stubs0-dev_0.3-3_armhf.deb) ... Selecting previously unselected package libsm-dev:armhf. Unpacking libsm-dev:armhf (from .../libsm-dev_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package libxau-dev:armhf. Unpacking libxau-dev:armhf (from .../libxau-dev_1%3a1.0.8-1_armhf.deb) ... Selecting previously unselected package libxdmcp-dev:armhf. Unpacking libxdmcp-dev:armhf (from .../libxdmcp-dev_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package x11proto-input-dev. Unpacking x11proto-input-dev (from .../x11proto-input-dev_2.2.99.1-0ubuntu1_all.deb) ... Selecting previously unselected package x11proto-kb-dev. Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.6-2_all.deb) ... Selecting previously unselected package xtrans-dev. Unpacking xtrans-dev (from .../xtrans-dev_1.2.7-1_all.deb) ... Selecting previously unselected package libxcb1-dev:armhf. Unpacking libxcb1-dev:armhf (from .../libxcb1-dev_1.8.1-2ubuntu3_armhf.deb) ... Selecting previously unselected package libx11-dev:armhf. Unpacking libx11-dev:armhf (from .../libx11-dev_2%3a1.5.0-1ubuntu2_armhf.deb) ... Selecting previously unselected package x11proto-xext-dev. Unpacking x11proto-xext-dev (from .../x11proto-xext-dev_7.2.1-1_all.deb) ... Selecting previously unselected package libxext-dev:armhf. Unpacking libxext-dev:armhf (from .../libxext-dev_2%3a1.3.1-2+deb7u1_armhf.deb) ... Selecting previously unselected package libxt-dev:armhf. Unpacking libxt-dev:armhf (from .../libxt-dev_1%3a1.1.3-1+deb7u1_armhf.deb) ... Selecting previously unselected package libxmu-headers. Unpacking libxmu-headers (from .../libxmu-headers_2%3a1.1.1-1_all.deb) ... Selecting previously unselected package libxmu-dev:armhf. Unpacking libxmu-dev:armhf (from .../libxmu-dev_2%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libxpm-dev:armhf. Unpacking libxpm-dev:armhf (from .../libxpm-dev_1%3a3.5.10-1_armhf.deb) ... Selecting previously unselected package libxaw7-dev:armhf. Unpacking libxaw7-dev:armhf (from .../libxaw7-dev_2%3a1.0.11-1_armhf.deb) ... Setting up libexpat1:armhf (2.1.0-3) ... Setting up libmagic1:armhf (5.11-2ubuntu4) ... Setting up libffi6:armhf (3.0.13-2ubuntu1) ... Setting up libglib2.0-0:armhf (2.37.1-0ubuntu1) ... No schema files found: doing nothing. Setting up libasprintf0c2:armhf (0.18.1.1-10ubuntu3) ... Setting up libpipeline1:armhf (1.2.4-1) ... Setting up libxau6:armhf (1:1.0.8-1) ... Setting up libxdmcp6:armhf (1:1.1.1-1) ... Setting up libxcb1:armhf (1.8.1-2ubuntu3) ... Setting up libx11-data (2:1.5.0-1ubuntu2) ... Setting up libx11-6:armhf (2:1.5.0-1ubuntu2) ... Setting up libxext6:armhf (2:1.3.1-2+deb7u1) ... Setting up libxml2:armhf (2.9.0+dfsg1-4ubuntu5) ... Setting up groff-base (1.22.2-3) ... Setting up bsdmainutils (9.0.5ubuntu1) ... 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 man-db (2.6.3-7) ... Not building database; man-db/auto-update is not 'true'. Setting up ucf (3.0027) ... Setting up fonts-dejavu-core (2.33+svn2514-3ubuntu1) ... Setting up ttf-dejavu-core (2.33+svn2514-3ubuntu1) ... Setting up fontconfig-config (2.10.93-0ubuntu1) ... Setting up libavahi-common-data:armhf (0.6.31-2ubuntu2) ... Setting up libavahi-common3:armhf (0.6.31-2ubuntu2) ... Setting up libavahi-client3:armhf (0.6.31-2ubuntu2) ... Setting up libfreetype6:armhf (2.4.11-0ubuntu1) ... Setting up libfontconfig1:armhf (2.10.93-0ubuntu1) ... Setting up libpixman-1-0:armhf (0.28.2-0ubuntu1) ... Setting up libxcb-render0:armhf (1.8.1-2ubuntu3) ... Setting up libxcb-shm0:armhf (1.8.1-2ubuntu3) ... Setting up libxrender1:armhf (1:0.9.7-1+deb7u1) ... Setting up libcairo2:armhf (1.12.14-0ubuntu1) ... Setting up libcroco3:armhf (0.6.8-2) ... Setting up libcups2:armhf (1.6.2-9) ... Setting up libjpeg-turbo8:armhf (1.2.1-0ubuntu2) ... Setting up libjpeg8:armhf (8c-2ubuntu7) ... Setting up libjbig0:armhf (2.0-2ubuntu1) ... Setting up libtiff5:armhf (4.0.2-4ubuntu3) ... Setting up libcupsfilters1:armhf (1.0.34-3) ... Setting up libcupsimage2:armhf (1.6.2-9) ... Setting up libunistring0:armhf (0.9.3-5build1) ... Setting up libgettextpo0:armhf (0.18.1.1-10ubuntu3) ... Setting up libgraphite2-3:armhf (1.2.3-1) ... Setting up x11-common (1:7.7+1ubuntu4) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:armhf (2:1.0.8-2) ... Setting up libicu48:armhf (4.8.1.1-12) ... Setting up liblcms2-2:armhf (2.4-0ubuntu3) ... Setting up libpaper1:armhf (1.1.24+nmu2ubuntu2) ... Creating config file /etc/papersize with new version Setting up libpoppler37:armhf (0.22.4-0ubuntu1) ... Setting up libsm6:armhf (2:1.2.1-2) ... Setting up libxt6:armhf (1:1.1.3-1+deb7u1) ... Setting up libxmu6:armhf (2:1.1.1-1) ... Setting up libxpm4:armhf (1:3.5.10-1) ... Setting up libxaw7:armhf (2:1.0.11-1) ... Setting up tex-common (4.04) ... Running mktexlsr. This may take some time... done. texlive-base is not ready, delaying updmap-sys call texlive-base is not ready, skipping fmtutil-sys --all call Setting up libkpathsea6 (2013.20130529.30792-1build1) ... Setting up luatex (0.76.0-2build1) ... texlive-base is not ready, cannot create formats Setting up poppler-data (0.4.6-4) ... Setting up file (5.11-2ubuntu4) ... Setting up gettext-base (0.18.1.1-10ubuntu3) ... Setting up libasprintf-dev:armhf (0.18.1.1-10ubuntu3) ... Setting up libgettextpo-dev:armhf (0.18.1.1-10ubuntu3) ... Setting up gettext (0.18.1.1-10ubuntu3) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.8.0-0ubuntu13) ... Setting up debhelper (9.20130604ubuntu1) ... Setting up libijs-0.35 (0.35-8build1) ... Setting up libjbig2dec0 (0.11+20120125-1ubuntu1) ... Setting up libgs9-common (9.07~dfsg2-0ubuntu3) ... update-alternatives: using /usr/share/ghostscript/9.07 to provide /usr/share/ghostscript/current (ghostscript-current) in auto mode Setting up libgs9 (9.07~dfsg2-0ubuntu3) ... Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1) ... Setting up ghostscript (9.07~dfsg2-0ubuntu3) ... Setting up libnetpbm10 (2:10.0-15ubuntu2) ... Setting up netpbm (2:10.0-15ubuntu2) ... Setting up xdg-utils (1.1.0~rc1-2ubuntu7) ... Setting up libpaper-utils (1.1.24+nmu2ubuntu2) ... Setting up libptexenc1 (2013.20130529.30792-1build1) ... Setting up texlive-binaries (2013.20130529.30792-1build1) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Building format(s) --refresh. This may take some time... done. Setting up texlive-base (2013.20130530-1) ... mktexlsr: /usr/share/texlive/texmf: not a directory, skipping. /usr/bin/tl-paper: setting paper size for dvips to a4. /usr/bin/tl-paper: setting paper size for dvipdfmx to a4. /usr/bin/tl-paper: setting paper size for xdvi to a4. /usr/bin/tl-paper: setting paper size for pdftex to a4. Running mktexlsr. This may take some time... done. Building format(s) --all. This may take some time... done. Setting up ocaml-base-nox (3.12.1-4ubuntu1) ... Setting up xorg-sgml-doctools (1:1.10-1) ... Setting up x11proto-core-dev (7.0.24-1) ... Setting up libice-dev:armhf (2:1.0.8-2) ... Setting up libpthread-stubs0:armhf (0.3-3) ... Setting up libpthread-stubs0-dev:armhf (0.3-3) ... Setting up libsm-dev:armhf (2:1.2.1-2) ... Setting up libxau-dev:armhf (1:1.0.8-1) ... Setting up libxdmcp-dev:armhf (1:1.1.1-1) ... Setting up x11proto-input-dev (2.2.99.1-0ubuntu1) ... Setting up x11proto-kb-dev (1.0.6-2) ... Setting up xtrans-dev (1.2.7-1) ... Setting up libxcb1-dev:armhf (1.8.1-2ubuntu3) ... Setting up libx11-dev:armhf (2:1.5.0-1ubuntu2) ... Setting up x11proto-xext-dev (7.2.1-1) ... Setting up libxext-dev:armhf (2:1.3.1-2+deb7u1) ... Setting up libxt-dev:armhf (1:1.1.3-1+deb7u1) ... Setting up libxmu-headers (2:1.1.1-1) ... Setting up libxmu-dev:armhf (2:1.1.1-1) ... Setting up libxpm-dev:armhf (1:3.5.10-1) ... Setting up libxaw7-dev:armhf (2:1.0.11-1) ... Processing triggers for tex-common ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up hevea (2.06-2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.17-0ubuntu5 make_3.81-8.2ubuntu3 dpkg-dev_1.16.10ubuntu2 gcc-4.8_4.8.1-3ubuntu1 g++-4.8_4.8.1-3ubuntu1 binutils_2.23.52.20130612-1ubuntu1 libstdc++-4.8-dev_4.8.1-3ubuntu1 libstdc++6_4.8.1-3ubuntu1 ------------------------------------------------------------------------------ gpgv: Signature made Tue Oct 11 17:33:38 2011 UTC using RSA key ID 3B5821CC gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./otter_3.3f-1.1.dsc dpkg-source: info: extracting otter in otter-3.3f dpkg-source: info: unpacking otter_3.3f.orig.tar.gz dpkg-source: info: applying otter_3.3f-1.1.diff.gz dpkg-source: info: upstream files that have been modified: otter-3.3f/Makefile otter-3.3f/documents/Makefile otter-3.3f/documents/anldp.tex otter-3.3f/documents/otter33.hva otter-3.3f/documents/otter33.tex otter-3.3f/examples/Loop/otter-ploop otter-3.3f/examples/summary otter-3.3f/mace2/Makefile otter-3.3f/source/Makefile otter-3.3f/source/formed/Makefile dpkg-buildpackage: source package otter dpkg-buildpackage: source version 3.3f-1.1 dpkg-source --before-build otter-3.3f dpkg-buildpackage: host architecture armhf /usr/bin/fakeroot debian/rules clean dh_testdir dh_testroot rm -f build-stamp /usr/bin/make realclean make[1]: Entering directory `/build/buildd/otter-3.3f' cd source && /usr/bin/make realclean make[2]: Entering directory `/build/buildd/otter-3.3f/source' /bin/rm -f *.o *.a otter *~ make[2]: Leaving directory `/build/buildd/otter-3.3f/source' cd source/formed && /usr/bin/make realclean make[2]: Entering directory `/build/buildd/otter-3.3f/source/formed' /bin/rm -f *.o formed make[2]: Leaving directory `/build/buildd/otter-3.3f/source/formed' cd mace2 && /usr/bin/make realclean make[2]: Entering directory `/build/buildd/otter-3.3f/mace2' /bin/rm -f *.o mace2 anldp *~ make[2]: Leaving directory `/build/buildd/otter-3.3f/mace2' cd examples && /usr/bin/make realclean make[2]: Entering directory `/build/buildd/otter-3.3f/examples' /bin/rm -f */*.out[0-9]* *~ */*~ Run_all.out.* make[2]: Leaving directory `/build/buildd/otter-3.3f/examples' cd examples-mace2 && /usr/bin/make realclean make[2]: Entering directory `/build/buildd/otter-3.3f/examples-mace2' /bin/rm -f */*.out[0-9]* *~ */*~ Run_all.out.* make[2]: Leaving directory `/build/buildd/otter-3.3f/examples-mace2' cd documents && /usr/bin/make realclean make[2]: Entering directory `/build/buildd/otter-3.3f/documents' rm -f *.haux *.html *.htoc *.image.tex *.png make[2]: Leaving directory `/build/buildd/otter-3.3f/documents' /bin/rm -f bin/* /bin/rm -f *~ make[1]: Leaving directory `/build/buildd/otter-3.3f' dh_clean dpkg-buildpackage: warning: debian/rules must be updated to support the 'build-arch' and 'build-indep' targets (at least 'build-arch' seems to be missing) debian/rules build dh_testdir /usr/bin/make XFLAGS="-Wall -g -O2" make[1]: Entering directory `/build/buildd/otter-3.3f' cd source && /usr/bin/make all make[2]: Entering directory `/build/buildd/otter-3.3f/source' cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o main.o main.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o av.o av.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o io.o io.c io.c: In function 'init_special_ops': io.c:1543:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int rc; ^ io.c: In function 'process_op_command': io.c:1592:16: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int type, n, rc; ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o share.o share.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o fpa.o fpa.c fpa.c: In function 'insert_fpa_tab': fpa.c:201:32: warning: unused variable 'tp3' [-Wunused-variable] struct term_ptr *tp1, *tp2, *tp3; ^ fpa.c:201:26: warning: unused variable 'tp2' [-Wunused-variable] struct term_ptr *tp1, *tp2, *tp3; ^ fpa.c:201:20: warning: unused variable 'tp1' [-Wunused-variable] struct term_ptr *tp1, *tp2, *tp3; ^ fpa.c: In function 'delete_fpa_tab': fpa.c:251:26: warning: unused variable 'tp2' [-Wunused-variable] struct term_ptr *tp1, *tp2; ^ fpa.c:251:20: warning: unused variable 'tp1' [-Wunused-variable] struct term_ptr *tp1, *tp2; ^ fpa.c: In function 'next_term': fpa.c:589:20: warning: unused variable 'tp' [-Wunused-variable] struct term_ptr *tp; ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o clocks.o clocks.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o unify.o unify.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o demod.o demod.c demod.c:556:21: warning: 'replace_special' defined but not used [-Wunused-function] static struct term *replace_special(struct term *t, ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o weight.o weight.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o imd.o imd.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o is.o is.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o clause.o clause.c clause.c: In function 'proof_length': clause.c:1195:14: warning: variable 'level' set but not used [-Wunused-but-set-variable] int count, level; ^ clause.c: In function 'get_ancestors2': clause.c:2803:7: warning: variable 'level' set but not used [-Wunused-but-set-variable] int level; ^ clause.c: In function 'find_interactive_cl': clause.c:3294:13: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result] fscanf(fin, "%s", s); ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o options.o options.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o resolve.o resolve.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o index.o index.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o paramod.o paramod.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o formula.o formula.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o process.o process.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o misc.o misc.c misc.c: In function 'read_all_input': misc.c:822:6: warning: suggest explicit braces to avoid ambiguous 'else' [-Wparentheses] if (argc > 1 && str_ident(argv[1], "-s")) ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o lrpo.o lrpo.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o linkur.o linkur.c linkur.c:1259:16: warning: 'check_up_tree' defined but not used [-Wunused-function] static BOOLEAN check_up_tree(struct link_node *node, ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o linkhyp.o linkhyp.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o foreign.o foreign.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o geometry.o geometry.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o hot.o hot.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o nonport.o nonport.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o check.o check.c check.c: In function 'connect_new_node': check.c:229:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int rc; ^ check.c: In function 'renumber_vars_subst': check.c:868:10: warning: variable 'ok' set but not used [-Wunused-but-set-variable] int i, ok; ^ check.c: In function 'build_proof_object': check.c:2647:18: warning: variable 'd' set but not used [-Wunused-but-set-variable] struct clause *d; ^ check.c:2646:14: warning: variable 'i' set but not used [-Wunused-but-set-variable] int level, i, rc; ^ check.c:2646:7: warning: variable 'level' set but not used [-Wunused-but-set-variable] int level, i, rc; ^ check.c: At top level: check.c:165:13: warning: 'p_gen_tab' defined but not used [-Wunused-function] static void p_gen_tab(struct gen_tab *tab) ^ check.c: In function 'identity_paramod': check.c:848:13: warning: 'r' may be used uninitialized in this function [-Wmaybe-uninitialized] r->argval = copy_term(beta); ^ check.c: In function 'translate_step': check.c:1765:39: warning: 'ip1' may be used uninitialized in this function [-Wmaybe-uninitialized] for (ip2 = ip_save, i = 1; i < ip1->i; ip2 = ip2->next->next->next, i++); ^ check.c:1701:17: note: 'ip1' was declared here struct ilist *ip1, *ip2, *ip3, *ip4, *ip_min; ^ check.c:2196:28: warning: 'into_node' may be used uninitialized in this function [-Wmaybe-uninitialized] into_term = para_position(into_node->c, into_pos); ^ check.c:2138:41: note: 'into_node' was declared here struct proof_object_node *from_node, *into_node; ^ check.c:2195:28: warning: 'from_node' may be used uninitialized in this function [-Wmaybe-uninitialized] from_term = para_position(from_node->c, from_pos); ^ check.c:2138:29: note: 'from_node' was declared here struct proof_object_node *from_node, *into_node; ^ check.c:1946:32: warning: 'sat_map' may be used uninitialized in this function [-Wmaybe-uninitialized] for (ip1 = sat_map; ip1; ip1 = ip1->next) printf("%d ", ip1->i); ^ check.c:1878:50: note: 'sat_map' was declared here struct ilist *ip, *ip1, *ip2, *ip3, *sat_ids, *sat_map; ^ check.c:1862:29: warning: 'sat_ids' may be used uninitialized in this function [-Wmaybe-uninitialized] for (i=1; ip && i < n; ip = ip->next, i++); ^ check.c:1878:40: note: 'sat_ids' was declared here struct ilist *ip, *ip1, *ip2, *ip3, *sat_ids, *sat_map; ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o hints.o hints.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o hints2.o hints2.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o attrib.o attrib.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o case.o case.c case.c: In function 'possible_split': case.c:901:11: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int rc; ^ case.c: In function 'possible_given_split': case.c:966:11: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int rc; ^ case.c: At top level: case.c:225:13: warning: 'p_literal_data' defined but not used [-Wunused-function] static void p_literal_data(struct literal_data data) ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o lisp.o lisp.c lisp.c: In function 'parse_lisp': lisp.c:139:6: warning: array subscript is above array bounds [-Warray-bounds] Word[i] = '\0'; ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o ivy.o ivy.c ivy.c: In function 'bnode_to_otterterm': ivy.c:34:11: warning: variable 'str' set but not used [-Wunused-but-set-variable] char *str; ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o pickdiff.o pickdiff.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o overbeek.o overbeek.c overbeek.c: In function 'overbeek_weight': overbeek.c:144:6: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int rc; ^ overbeek.c: In function 'check_overbeek_world': overbeek.c:208:18: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int wt1, wt2, rc; ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o multijust.o multijust.c multijust.c:39:22: warning: 'remove_those_containing' defined but not used [-Wunused-function] static struct glist *remove_those_containing(struct glist *a, int i) ^ multijust.c:813:13: warning: 'print_jhash' defined but not used [-Wunused-function] static void print_jhash(void) ^ multijust.c:902:13: warning: 'print_jnode' defined but not used [-Wunused-function] static void print_jnode(struct jnode *j) ^ multijust.c: In function 'multi_just_process': multijust.c:1013:5: warning: 'c' may be used uninitialized in this function [-Wmaybe-uninitialized] n = proof_length(c); ^ multijust.c:962:18: note: 'c' was declared here struct clause *c; ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o lists.o lists.c cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o fpa2.o fpa2.c fpa2.c: In function 'flist_insert': fpa2.c:49:7: warning: format '%d' expects argument of type 'int', but argument 3 has type 'struct term *' [-Wformat=] fprintf(stderr, "WARNING: flist_insert, item %d already here (1)!\n", x); ^ fpa2.c:86:2: warning: format '%d' expects argument of type 'int', but argument 3 has type 'struct term *' [-Wformat=] fprintf(stderr, "WARNING: flist_insert, item %d already here (2)!\n", x); ^ fpa2.c: In function 'flist_delete': fpa2.c:135:5: warning: format '%d' expects argument of type 'int', but argument 3 has type 'struct term *' [-Wformat=] fprintf(stderr, "WARNING: flist_delete, item %d not found (1)!\n", x); ^ fpa2.c:144:7: warning: format '%d' expects argument of type 'int', but argument 3 has type 'struct term *' [-Wformat=] fprintf(stderr, "WARNING: flist_delete, item %d not found (2)!\n", x); ^ ar rs libotter.a av.o io.o share.o fpa.o clocks.o unify.o demod.o weight.o imd.o is.o clause.o options.o resolve.o index.o paramod.o formula.o process.o misc.o lrpo.o linkur.o linkhyp.o foreign.o geometry.o hot.o nonport.o check.o hints.o hints2.o attrib.o case.o lisp.o ivy.o pickdiff.o overbeek.o multijust.o lists.o fpa2.o ar: creating libotter.a cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 main.o libotter.a -o otter /bin/cp otter ../bin make[2]: Leaving directory `/build/buildd/otter-3.3f/source' cd source/formed && /usr/bin/make all make[2]: Entering directory `/build/buildd/otter-3.3f/source/formed' cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o formed.o formed.c formed.c:16:1: warning: return type defaults to 'int' [-Wreturn-type] main(argc, argv) ^ formed.c: In function 'arrange_box_quant': formed.c:907:24: warning: unused variable 'q' [-Wunused-variable] struct quantifier *q; ^ In file included from formed.c:7:0: formed.c: At top level: formed.h:29:13: warning: 'all_lg_bits' defined but not used [-Wunused-variable] static char all_lg_bits[] = { ^ formed.h:35:13: warning: 'all_md_bits' defined but not used [-Wunused-variable] static char all_md_bits[] = { ^ formed.h:40:13: warning: 'all_sm_bits' defined but not used [-Wunused-variable] static char all_sm_bits[] = { ^ formed.h:44:13: warning: 'and_lg_bits' defined but not used [-Wunused-variable] static char and_lg_bits[] = { ^ formed.h:50:13: warning: 'and_md_bits' defined but not used [-Wunused-variable] static char and_md_bits[] = { ^ formed.h:55:13: warning: 'and_sm_bits' defined but not used [-Wunused-variable] static char and_sm_bits[] = { ^ formed.h:59:13: warning: 'exists_lg_bits' defined but not used [-Wunused-variable] static char exists_lg_bits[] = { ^ formed.h:65:13: warning: 'exists_md_bits' defined but not used [-Wunused-variable] static char exists_md_bits[] = { ^ formed.h:71:13: warning: 'exists_sm_bits' defined but not used [-Wunused-variable] static char exists_sm_bits[] = { ^ formed.h:75:13: warning: 'iff_lg_bits' defined but not used [-Wunused-variable] static char iff_lg_bits[] = { ^ formed.h:81:13: warning: 'iff_md_bits' defined but not used [-Wunused-variable] static char iff_md_bits[] = { ^ formed.h:86:13: warning: 'iff_sm_bits' defined but not used [-Wunused-variable] static char iff_sm_bits[] = { ^ formed.h:90:13: warning: 'imp_lg_bits' defined but not used [-Wunused-variable] static char imp_lg_bits[] = { ^ formed.h:96:13: warning: 'imp_md_bits' defined but not used [-Wunused-variable] static char imp_md_bits[] = { ^ formed.h:101:13: warning: 'imp_sm_bits' defined but not used [-Wunused-variable] static char imp_sm_bits[] = { ^ formed.h:105:13: warning: 'not_lg_bits' defined but not used [-Wunused-variable] static char not_lg_bits[] = { ^ formed.h:111:13: warning: 'not_md_bits' defined but not used [-Wunused-variable] static char not_md_bits[] = { ^ formed.h:116:13: warning: 'not_sm_bits' defined but not used [-Wunused-variable] static char not_sm_bits[] = { ^ formed.h:120:13: warning: 'or_lg_bits' defined but not used [-Wunused-variable] static char or_lg_bits[] = { ^ formed.h:126:13: warning: 'or_md_bits' defined but not used [-Wunused-variable] static char or_md_bits[] = { ^ formed.h:131:13: warning: 'or_sm_bits' defined but not used [-Wunused-variable] static char or_sm_bits[] = { ^ formed.h:135:13: warning: 'pattern_bits' defined but not used [-Wunused-variable] static char pattern_bits[] = { ^ formed.c: In function 'main': formed.c:56:1: warning: control reaches end of non-void function [-Wreturn-type] } /* main */ ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o display.o display.c display.c:589:1: warning: return type defaults to 'int' [-Wreturn-type] setup_operator_pixmaps(font_string) ^ display.c: In function 'user_error': display.c:726:24: warning: variable 'message_text' set but not used [-Wunused-but-set-variable] Widget message_form, message_text, message_label; ^ In file included from display.c:7:0: display.c: At top level: formed.h:135:13: warning: 'pattern_bits' defined but not used [-Wunused-variable] static char pattern_bits[] = { ^ display.c: In function 'setup_operator_pixmaps': display.c:688:1: warning: control reaches end of non-void function [-Wreturn-type] } /* setup_operator_pixmaps */ ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 -c -o callback.o callback.c callback.c: In function 'load_formula_list': callback.c:669:21: warning: unused variable 'f' [-Wunused-variable] struct formula *f; ^ callback.c: In function 'abbreviate_callback': callback.c:1348:21: warning: unused variable 'f' [-Wunused-variable] struct formula *f; ^ callback.c: In function 'edit_transform': callback.c:1392:31: warning: unused variable 'q' [-Wunused-variable] struct formula_ptr_2 *p, *q; ^ callback.c: In function 'conjoin_with_callback': callback.c:1651:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ callback.c: In function 'disjoin_with_callback': callback.c:1721:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ callback.c: In function 'add_quantify_callback': callback.c:1791:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ callback.c: In function 'insert_formula_callback': callback.c:1885:9: warning: unused variable 'i' [-Wunused-variable] int i; ^ In file included from callback.c:7:0: callback.c: At top level: formed.h:29:13: warning: 'all_lg_bits' defined but not used [-Wunused-variable] static char all_lg_bits[] = { ^ formed.h:35:13: warning: 'all_md_bits' defined but not used [-Wunused-variable] static char all_md_bits[] = { ^ formed.h:40:13: warning: 'all_sm_bits' defined but not used [-Wunused-variable] static char all_sm_bits[] = { ^ formed.h:44:13: warning: 'and_lg_bits' defined but not used [-Wunused-variable] static char and_lg_bits[] = { ^ formed.h:50:13: warning: 'and_md_bits' defined but not used [-Wunused-variable] static char and_md_bits[] = { ^ formed.h:55:13: warning: 'and_sm_bits' defined but not used [-Wunused-variable] static char and_sm_bits[] = { ^ formed.h:59:13: warning: 'exists_lg_bits' defined but not used [-Wunused-variable] static char exists_lg_bits[] = { ^ formed.h:65:13: warning: 'exists_md_bits' defined but not used [-Wunused-variable] static char exists_md_bits[] = { ^ formed.h:71:13: warning: 'exists_sm_bits' defined but not used [-Wunused-variable] static char exists_sm_bits[] = { ^ formed.h:75:13: warning: 'iff_lg_bits' defined but not used [-Wunused-variable] static char iff_lg_bits[] = { ^ formed.h:81:13: warning: 'iff_md_bits' defined but not used [-Wunused-variable] static char iff_md_bits[] = { ^ formed.h:86:13: warning: 'iff_sm_bits' defined but not used [-Wunused-variable] static char iff_sm_bits[] = { ^ formed.h:90:13: warning: 'imp_lg_bits' defined but not used [-Wunused-variable] static char imp_lg_bits[] = { ^ formed.h:96:13: warning: 'imp_md_bits' defined but not used [-Wunused-variable] static char imp_md_bits[] = { ^ formed.h:101:13: warning: 'imp_sm_bits' defined but not used [-Wunused-variable] static char imp_sm_bits[] = { ^ formed.h:105:13: warning: 'not_lg_bits' defined but not used [-Wunused-variable] static char not_lg_bits[] = { ^ formed.h:111:13: warning: 'not_md_bits' defined but not used [-Wunused-variable] static char not_md_bits[] = { ^ formed.h:116:13: warning: 'not_sm_bits' defined but not used [-Wunused-variable] static char not_sm_bits[] = { ^ formed.h:120:13: warning: 'or_lg_bits' defined but not used [-Wunused-variable] static char or_lg_bits[] = { ^ formed.h:126:13: warning: 'or_md_bits' defined but not used [-Wunused-variable] static char or_md_bits[] = { ^ formed.h:131:13: warning: 'or_sm_bits' defined but not used [-Wunused-variable] static char or_sm_bits[] = { ^ formed.h:135:13: warning: 'pattern_bits' defined but not used [-Wunused-variable] static char pattern_bits[] = { ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wall -g -O2 formed.o display.o callback.o \ ../libotter.a -L/usr/X11R6/lib -lXaw -lX11 -lXt -o formed /bin/cp formed ../../bin make[2]: Leaving directory `/build/buildd/otter-3.3f/source/formed' cd mace2 && /usr/bin/make all make[2]: Entering directory `/build/buildd/otter-3.3f/mace2' cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o mace2.o mace2.c cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o clock.o clock.c cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o avail.o avail.c cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o opts.o opts.c cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o stats.o stats.c cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o miscellany.o miscellany.c cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o flatten.o flatten.c cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o dp.o dp.c dp.c: In function 'add_args_to_set': dp.c:1108:7: warning: unused variable 'function_value' [-Wunused-variable] int function_value; ^ dp.c: In function 'clause_split': dp.c:1213:20: warning: 'iso_seta' may be used uninitialized in this function [-Wmaybe-uninitialized] remove_from_jset(iso_seta, function_value(atom)); ^ dp.c: In function 'dp_prover': dp.c:1336:19: warning: 'iso_set' may be used uninitialized in this function [-Wmaybe-uninitialized] clause_split(0, iso_set); /* recursive clause-splitting routine */ ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o generate.o generate.c generate.c: In function 'trans_relational_clause': generate.c:1020:13: warning: variable 'arity' set but not used [-Wunused-but-set-variable] int i, j, arity, fid; ^ generate.c: In function 'iso_constants': generate.c:1294:12: warning: variable 'n' set but not used [-Wunused-but-set-variable] int i, n; ^ generate.c: In function 'dp_trans': generate.c:1322:22: warning: unused variable 'd' [-Wunused-variable] struct clause *c, *d; ^ generate.c: At top level: generate.c:232:13: warning: 'p_relational_clause' defined but not used [-Wunused-function] static void p_relational_clause(struct rel_clause *c) ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o print.o print.c cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o part.o part.c part.c:80:13: warning: 'p_vars' defined but not used [-Wunused-function] static void p_vars(int *vars, int n) ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 mace2.o clock.o avail.o opts.o stats.o miscellany.o flatten.o dp.o generate.o print.o part.o ../source/libotter.a -o mace2 cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 -c -o anldp.o anldp.c anldp.c: In function 'MACE_print_banner': anldp.c:74:5: warning: implicit declaration of function 'username' [-Wimplicit-function-declaration] username(), hostname(), get_time()); ^ anldp.c:74:5: warning: implicit declaration of function 'hostname' [-Wimplicit-function-declaration] anldp.c:74:5: warning: implicit declaration of function 'get_time' [-Wimplicit-function-declaration] anldp.c:74:5: warning: format '%s' expects argument of type 'char *', but argument 2 has type 'int' [-Wformat=] anldp.c:74:5: warning: format '%s' expects argument of type 'char *', but argument 3 has type 'int' [-Wformat=] anldp.c:74:5: warning: format '%s' expects argument of type 'char *', but argument 4 has type 'int' [-Wformat=] anldp.c: In function 'main': anldp.c:209:3: warning: implicit declaration of function 'wall_seconds' [-Wimplicit-function-declaration] Init_wall_seconds = wall_seconds(); ^ anldp.c:216:3: warning: implicit declaration of function 'init' [-Wimplicit-function-declaration] init(); /* This is Otter's initialization. */ ^ cc -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wall -g -O2 anldp.o clock.o avail.o opts.o stats.o miscellany.o flatten.o dp.o generate.o print.o part.o ../source/libotter.a -o anldp /bin/cp mace2 anldp ../bin make[2]: Leaving directory `/build/buildd/otter-3.3f/mace2' cd documents && /usr/bin/make all make[2]: Entering directory `/build/buildd/otter-3.3f/documents' hevea otter33.hva otter33.tex ./otter33.tex:28: Warning: Unknown counter: page in \setcounter ./otter33.tex:62: Warning: Command not found: \vfill ./otter33.tex:77: Warning: Unknown counter: page in \setcounter ./otter33.tex:118: Warning: Unknown counter: page in \setcounter ./otter33.tex:145: Warning: Undefined citation: 'AURA' ./otter33.tex:145: Warning: Undefined citation: 'ITP' ./otter33.tex:180: Warning: Undefined label: 'answer' ./otter33.tex:185: Warning: Undefined label: 'eval' ./otter33.tex:190: Warning: Undefined label: 'ivy' ./otter33.tex:196: Warning: Undefined label: 'hints' ./otter33.tex:199: Warning: Undefined citation: 'mace2' ./otter33.tex:232: Warning: Undefined citation: 'quaife-thesis' ./otter33.tex:232: Warning: Undefined citation: 'quaife-geo' ./otter33.tex:234: Warning: Undefined citation: 'boyer-moore-2' ./otter33.tex:234: Warning: Undefined citation: 'acl2-approach' ./otter33.tex:237: Warning: Undefined citation: 'bm-verify' ./otter33.tex:237: Warning: Undefined citation: 'hw-verify' ./otter33.tex:264: Warning: Undefined citation: 'chang-lee' ./otter33.tex:264: Warning: Undefined citation: 'loveland' ./otter33.tex:264: Warning: Undefined citation: 'JAR-overview' ./otter33.tex:266: Warning: Undefined citation: 'siekmann-wrightson' ./otter33.tex:266: Warning: Undefined citation: 'after-25-years' ./otter33.tex:268: Warning: Undefined citation: 'book2' ./otter33.tex:269: Warning: Undefined citation: 'fascinating' ./otter33.tex:269: Warning: Undefined citation: 'kalman-otter' ./otter33.tex:269: Warning: Undefined citation: 'wm-rp:monograph' ./otter33.tex:285: Warning: Undefined citation: 'book1a' ./otter33.tex:296: Warning: Undefined label: 'passive' ./otter33.tex:395: Warning: Undefined label: 'interact' ./otter33.tex:438: Warning: Undefined label: 'ops' ./otter33.tex:469: Warning: Undefined label: 'eval' ./otter33.tex:470: Warning: Undefined label: 'answer' ./otter33.tex:514: Warning: Undefined label: 'list-tab' ./otter33.tex:547: Warning: Undefined label: 'ops' ./otter33.tex:551: Warning: Undefined label: 'ops-tab' ./otter33.tex:587: Warning: Undefined label: 'ops' ./otter33.tex:640: Warning: Undefined label: 'ops' ./otter33.tex:659: Warning: Undefined label: 'predeclared-ops' ./otter33.tex:681: Warning: Undefined label: 'predeclared-ops' ./otter33.tex:724: Warning: Undefined label: 'op-types' ./otter33.tex:787: Warning: Undefined label: 'names' ./otter33.tex:841: Warning: Undefined label: 'input-options' ./otter33.tex:867: Warning: Undefined label: 'command-tab' ./otter33.tex:868: Warning: Undefined label: 'fringe' ./otter33.tex:909: Warning: Undefined label: 'options' ./otter33.tex:1007: Warning: Undefined label: 'weighting' ./otter33.tex:1032: Warning: Undefined label: 'orient' ./otter33.tex:1033: Warning: Undefined label: 'orient-lrpo' ./otter33.tex:1034: Warning: Undefined label: 'dynamic' ./otter33.tex:1034: Warning: Undefined label: 'dynamic-lrpo' ./otter33.tex:1036: Warning: Undefined label: 'lex-dep' ./otter33.tex:1036: Warning: Undefined label: 'lex-dep-lrpo' ./otter33.tex:1038: Warning: Undefined label: 'eval' ./otter33.tex:1039: Warning: Undefined label: 'ordering' ./otter33.tex:1046: Warning: Undefined label: 'para-flags' ./otter33.tex:1047: Warning: Undefined label: 'gen-flags' ./otter33.tex:1051: Warning: Undefined label: 'lrpo' ./otter33.tex:1059: Warning: Undefined label: 'ops' ./otter33.tex:1066: Warning: Undefined label: 'make-eval' ./otter33.tex:1099: Warning: Undefined label: 'fringe' ./otter33.tex:1126: Warning: Undefined label: 'output' ./otter33.tex:1209: Warning: Undefined label: 'symbol-commands' ./otter33.tex:1276: Warning: Undefined citation: 'skolem-aaai' ./otter33.tex:1294: Warning: Undefined label: 'eq-flags' ./otter33.tex:1302: Warning: Undefined label: 'output' ./otter33.tex:1387: Warning: Undefined label: 'orient' ./otter33.tex:1387: Warning: Undefined label: 'orient-lrpo' ./otter33.tex:1398: Warning: Undefined label: 'orient' ./otter33.tex:1398: Warning: Undefined label: 'orient-lrpo' ./otter33.tex:1423: Warning: Undefined label: 'eval' ./otter33.tex:1428: Warning: Undefined label: 'dynamic' ./otter33.tex:1428: Warning: Undefined label: 'dynamic-lrpo' ./otter33.tex:1434: Warning: Undefined label: 'dynamic' ./otter33.tex:1440: Warning: Undefined label: 'dynamic' ./otter33.tex:1440: Warning: Undefined label: 'dynamic-lrpo' ./otter33.tex:1474: Warning: Undefined label: 'kb' ./otter33.tex:1484: Warning: Undefined label: 'lrpo' ./otter33.tex:1485: Warning: Undefined label: 'kb' ./otter33.tex:1500: Warning: Undefined label: 'lex-order' ./otter33.tex:1558: Warning: Undefined label: 'outline' ./otter33.tex:1564: Warning: Undefined label: 'output-flags' ./otter33.tex:1605: Warning: Undefined citation: 'ivy' ./otter33.tex:1628: Warning: Undefined label: 'syntax-terms' ./otter33.tex:1689: Warning: Undefined label: 'mem-control' ./otter33.tex:1735: Warning: Undefined label: 'interact' ./otter33.tex:1799: Warning: Undefined label: 'weighting' ./otter33.tex:1870: Warning: Undefined label: 'interact' ./otter33.tex:1893: Warning: Undefined label: 'eval' ./otter33.tex:1906: Warning: Undefined label: 'weighting' ./otter33.tex:1910: Warning: Undefined label: 'output-flags' ./otter33.tex:1931: Warning: Undefined label: 'ad-hoc' ./otter33.tex:1936: Warning: Undefined label: 'ad-hoc' ./otter33.tex:1964: Warning: Undefined citation: 'tptp-web' ./otter33.tex:1969: Warning: Undefined label: 'inf-flags' ./otter33.tex:1992: Warning: Undefined label: 'eq-flags' ./otter33.tex:2003: Warning: Undefined label: 'eq-flags' ./otter33.tex:2007: Warning: Undefined label: 'eq-flags' ./otter33.tex:2007: Warning: Undefined label: 'dynamic' ./otter33.tex:2008: Warning: Undefined label: 'dynamic-lrpo' ./otter33.tex:2009: Warning: Undefined label: 'eq-flags' ./otter33.tex:2038: Warning: Undefined label: 'eq-flags' ./otter33.tex:2038: Warning: Undefined label: 'lex-dep' ./otter33.tex:2038: Warning: Undefined label: 'lex-dep-lrpo' ./otter33.tex:2045: Warning: Undefined label: 'eval' ./otter33.tex:2056: Warning: Undefined label: 'cond-demod' ./otter33.tex:2061: Warning: Undefined label: 'eval' ./otter33.tex:2070: Warning: Undefined label: 'weighting' ./otter33.tex:2096: Warning: Undefined label: 'ad-hoc' ./otter33.tex:2101: Warning: Undefined label: 'lrpo' ./otter33.tex:2106: Warning: Undefined label: 'symbol-commands' ./otter33.tex:2139: Warning: Undefined label: 'order-tab' ./otter33.tex:2140: Warning: Undefined label: 'ad-hoc' ./otter33.tex:2140: Warning: Undefined label: 'lrpo' ./otter33.tex:2148: Warning: \cline changed into \hline ./otter33.tex:2151: Warning: Command not found: \vbox ./otter33.tex:2154: Warning: Command not found: \vbox ./otter33.tex:2155: Warning: \cline changed into \hline ./otter33.tex:2156: Warning: Command not found: \vbox ./otter33.tex:2157: Warning: \cline changed into \hline ./otter33.tex:2158: Warning: Command not found: \vbox ./otter33.tex:2159: Warning: Command not found: \vbox ./otter33.tex:2216: Warning: Undefined label: 'eq-flags' ./otter33.tex:2250: Warning: Optional argument to \item in itemize environment ./otter33.tex:2253: Warning: Optional argument to \item in itemize environment ./otter33.tex:2259: Warning: Undefined label: 'lex-dep' ./otter33.tex:2270: Warning: Undefined label: 'dynamic' ./otter33.tex:2299: Warning: Undefined citation: 'termination' ./otter33.tex:2299: Warning: Undefined citation: 'rta-85' ./otter33.tex:2299: Warning: Undefined citation: 'rrl' ./otter33.tex:2307: Warning: Undefined label: 'symbol-commands' ./otter33.tex:2354: Warning: Undefined citation: 'knuth-bendix' ./otter33.tex:2418: Warning: Undefined citation: 'kurosh' ./otter33.tex:2484: Warning: Undefined label: 'eval-tab' ./otter33.tex:2546: Warning: Undefined label: 'float' ./otter33.tex:2609: Warning: Undefined label: 'eq-flags' ./otter33.tex:2609: Warning: Undefined label: 'lex-order' ./otter33.tex:2692: Warning: Undefined label: 'eval-examples' ./otter33.tex:2856: Warning: Undefined label: 'input-weight' ./otter33.tex:2874: Warning: Undefined label: 'lex-order' ./otter33.tex:2876: Warning: Undefined label: 'orient' ./otter33.tex:2876: Warning: Undefined label: 'dynamic' ./otter33.tex:2885: Warning: Undefined label: 'misc-parms' ./otter33.tex:2910: Warning: Undefined label: 'misc-flags' ./otter33.tex:3017: Warning: Undefined label: 'hints' ./otter33.tex:3073: Warning: Undefined citation: 'veroff:hints' ./otter33.tex:3073: Warning: Undefined citation: 'veroff:sketches' ./otter33.tex:3265: Warning: Undefined label: 'interact-tab' ./otter33.tex:3289: Warning: Undefined label: 'loop-flags' ./otter33.tex:3382: Warning: Undefined label: 'eval' ./otter33.tex:3384: Warning: Undefined label: 'gen-flags' ./otter33.tex:3421: Warning: Undefined label: 'exit-tab' ./otter33.tex:3494: Warning: Undefined label: 'mem-control' ./otter33.tex:3678: Warning: Undefined label: 'sequent-tab' ./otter33.tex:3715: Warning: Undefined label: 'eval' ./otter33.tex:3824: Warning: Undefined label: 'eval-examples' ./otter33.tex:3829: Warning: Undefined label: 'float-tab' ./otter33.tex:3831: Warning: Undefined label: 'eval' ./otter33.tex:3873: Warning: Undefined citation: 'c-2ed' ./otter33.tex:3899: Warning: Undefined citation: 'gl' ./otter33.tex:3900: Warning: Undefined citation: 'wm-rp:monograph' ./otter33.tex:3951: Warning: Undefined citation: 'link-I' ./otter33.tex:3951: Warning: Undefined citation: 'link-II' ./otter33.tex:3951: Warning: Undefined citation: 'link-implement' ./otter33.tex:3958: Warning: Command not found: \strut ./otter33.tex:3987: Warning: Command not found: \strut ./otter33.tex:4001: Warning: Command not found: \strut ./otter33.tex:4305: Warning: Undefined citation: 'ivy' ./otter33.tex:4306: Warning: Undefined label: 'output-flags' ./otter33.tex:4309: Warning: Undefined citation: 'acl2-approach' ./otter33.tex:4386: Warning: Undefined label: 'misc-flags' ./otter33.tex:4387: Warning: Undefined label: 'mem-control' ./otter33.tex:4399: Warning: Undefined label: 'misc-flags' ./otter33.tex:4402: Warning: Undefined label: 'index-flags' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. hevea otter33.hva otter33.tex ./otter33.tex:26: Warning: Command not found: \otter ./otter33.tex:28: Warning: Unknown counter: page in \setcounter ./otter33.tex:62: Warning: Command not found: \vfill ./otter33.tex:77: Warning: Unknown counter: page in \setcounter ./otter33.tex:118: Warning: Unknown counter: page in \setcounter ./otter33.tex:2148: Warning: \cline changed into \hline ./otter33.tex:2151: Warning: Command not found: \vbox ./otter33.tex:2154: Warning: Command not found: \vbox ./otter33.tex:2155: Warning: \cline changed into \hline ./otter33.tex:2156: Warning: Command not found: \vbox ./otter33.tex:2157: Warning: \cline changed into \hline ./otter33.tex:2158: Warning: Command not found: \vbox ./otter33.tex:2159: Warning: Command not found: \vbox ./otter33.tex:2250: Warning: Optional argument to \item in itemize environment ./otter33.tex:2253: Warning: Optional argument to \item in itemize environment ./otter33.tex:3958: Warning: Command not found: \strut ./otter33.tex:3987: Warning: Command not found: \strut ./otter33.tex:4001: Warning: Command not found: \strut hevea otter33.hva anldp.tex ./anldp.tex:9: Warning: Command not found: \textheight ./anldp.tex:68: Warning: Undefined citation: 'dp-trie' ./anldp.tex:146: Warning: Undefined label: 'pigeon' ./anldp.tex:166: Warning: Undefined label: 'use-fo' ./anldp.tex:185: Warning: Undefined label: 'qg' ./anldp.tex:204: Warning: Undefined citation: 'finder3' ./anldp.tex:205: Warning: Undefined citation: 'qg-slaney-fujita-stickel' ./anldp.tex:208: Warning: Undefined citation: 'dp-trie' ./anldp.tex:208: Warning: Undefined citation: 'dp-trie' ./anldp.tex:211: Warning: Undefined label: 'qg' ./anldp.tex:221: Warning: Undefined label: 'trans' ./anldp.tex:254: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:258: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:264: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:269: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:273: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:278: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:288: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:309: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:312: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:344: Warning: Undefined label: 'holey' ./anldp.tex:347: Warning: Undefined label: 'holey' ./anldp.tex:353: Warning: Undefined label: 'use-prop' ./anldp.tex:394: Warning: Undefined citation: 'otter3' ./anldp.tex:397: Warning: Undefined label: 'use-fo' ./anldp.tex:426: Warning: Undefined citation: 'finder3' ./anldp.tex:439: Warning: Undefined label: 'order-tab' ./anldp.tex:463: Warning: Undefined label: 'qg-tab' ./anldp.tex:467: Warning: Undefined citation: 'qg-survey' ./anldp.tex:468: Warning: Undefined citation: 'qg-slaney-fujita-stickel' ./anldp.tex:487: Warning: Undefined citation: 'qg-slaney-fujita-stickel' ./anldp.tex:496: Warning: Undefined label: 'qg-tab-compare' ./anldp.tex:499: Warning: Undefined citation: 'dp-trie' ./anldp.tex:544: Warning: Undefined label: 'qg-tab-stats' ./anldp.tex:600: Warning: Undefined citation: 'qg-survey' ./anldp.tex:678: Warning: Undefined citation: 'somts' ./anldp.tex:684: Warning: Undefined citation: 'somts' ./anldp.tex:721: Warning: Undefined citation: 'bennett-email' ./anldp.tex:724: Warning: Undefined citation: 'bennett-email' ./anldp.tex:776: Warning: Undefined citation: 'bennett-email' ./anldp.tex:781: Warning: Undefined citation: 'qg-survey' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. HeVeA Warning: images may have changed, run 'imagen anldp' hevea otter33.hva anldp.tex ./anldp.tex:9: Warning: Command not found: \textheight ./anldp.tex:254: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:258: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:264: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:269: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:273: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:278: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:288: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:309: Warning: Ignored optional argument to \item in enumerate enironment ./anldp.tex:312: Warning: Ignored optional argument to \item in enumerate enironment imagen -png anldp RESOLUTION: 100 /usr/bin/imagen: 103: /usr/bin/imagen: latex: not found This is dvips(k) 5.993 Copyright 2013 Radical Eye Software (www.radicaleye.com) dvips: DVI file can't be opened: anldp.image.dvi: No such file or directory hevea mace2.tex ./mace2.tex:22: Warning: Unknown counter: page in \setcounter ./mace2.tex:57: Warning: Command not found: \vfill ./mace2.tex:72: Warning: Unknown counter: page in \setcounter ./mace2.tex:108: Warning: Unknown counter: page in \setcounter ./mace2.tex:150: Warning: Undefined citation: 'otter3' ./mace2.tex:150: Warning: Undefined citation: 'otter-web' ./mace2.tex:156: Warning: Undefined citation: 'dp-quasi' ./mace2.tex:156: Warning: Undefined citation: 'ortholattice' ./mace2.tex:157: Warning: Undefined citation: 'wm-rp:monograph' ./mace2.tex:157: Warning: Undefined citation: 'monograph-web' ./mace2.tex:159: Warning: Undefined citation: 'sem' ./mace2.tex:159: Warning: Undefined citation: 'finder' ./mace2.tex:162: Warning: Undefined citation: 'satchmo' ./mace2.tex:162: Warning: Undefined citation: 'mgtp' ./mace2.tex:167: Warning: Undefined label: 'anldp' ./mace2.tex:168: Warning: Undefined label: 'history' ./mace2.tex:280: Warning: Undefined label: 'language' ./mace2.tex:332: Warning: Undefined label: 'syntax' ./mace2.tex:362: Warning: Command not found: \hfil ./mace2.tex:380: Warning: Command not found: \hfil ./mace2.tex:383: Warning: Command not found: \hfil ./mace2.tex:391: Warning: Command not found: \hfil ./mace2.tex:395: Warning: Command not found: \hfil ./mace2.tex:399: Warning: Command not found: \hfil ./mace2.tex:402: Warning: Undefined citation: 'ivy' ./mace2.tex:403: Warning: Command not found: \hfil ./mace2.tex:405: Warning: Command not found: \hfil ./mace2.tex:409: Warning: Command not found: \hfil ./mace2.tex:414: Warning: Command not found: \hfil ./mace2.tex:418: Warning: Undefined citation: 'dp-quasi' ./mace2.tex:419: Warning: Command not found: \hfil ./mace2.tex:471: Warning: Undefined citation: 'otter3' ./mace2.tex:517: Warning: Undefined citation: 'dp-quasi' ./mace2.tex:594: Warning: Undefined citation: 'sem' ./mace2.tex:755: Warning: Command not found: \hfil ./mace2.tex:757: Warning: Command not found: \hfil ./mace2.tex:759: Warning: Command not found: \hfil ./mace2.tex:761: Warning: Command not found: \hfil ./mace2.tex:764: Warning: Command not found: \hfil ./mace2.tex:784: Warning: Undefined citation: 'dp-quasi' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. hevea mace2.tex ./mace2.tex:22: Warning: Unknown counter: page in \setcounter ./mace2.tex:57: Warning: Command not found: \vfill ./mace2.tex:72: Warning: Unknown counter: page in \setcounter ./mace2.tex:108: Warning: Unknown counter: page in \setcounter ./mace2.tex:150: Warning: Undefined citation: 'otter3' ./mace2.tex:150: Warning: Undefined citation: 'otter-web' ./mace2.tex:156: Warning: Undefined citation: 'dp-quasi' ./mace2.tex:156: Warning: Undefined citation: 'ortholattice' ./mace2.tex:157: Warning: Undefined citation: 'wm-rp:monograph' ./mace2.tex:157: Warning: Undefined citation: 'monograph-web' ./mace2.tex:159: Warning: Undefined citation: 'sem' ./mace2.tex:159: Warning: Undefined citation: 'finder' ./mace2.tex:162: Warning: Undefined citation: 'satchmo' ./mace2.tex:162: Warning: Undefined citation: 'mgtp' ./mace2.tex:362: Warning: Command not found: \hfil ./mace2.tex:380: Warning: Command not found: \hfil ./mace2.tex:383: Warning: Command not found: \hfil ./mace2.tex:391: Warning: Command not found: \hfil ./mace2.tex:395: Warning: Command not found: \hfil ./mace2.tex:399: Warning: Command not found: \hfil ./mace2.tex:402: Warning: Undefined citation: 'ivy' ./mace2.tex:403: Warning: Command not found: \hfil ./mace2.tex:405: Warning: Command not found: \hfil ./mace2.tex:409: Warning: Command not found: \hfil ./mace2.tex:414: Warning: Command not found: \hfil ./mace2.tex:418: Warning: Undefined citation: 'dp-quasi' ./mace2.tex:419: Warning: Command not found: \hfil ./mace2.tex:471: Warning: Undefined citation: 'otter3' ./mace2.tex:517: Warning: Undefined citation: 'dp-quasi' ./mace2.tex:594: Warning: Undefined citation: 'sem' ./mace2.tex:755: Warning: Command not found: \hfil ./mace2.tex:757: Warning: Command not found: \hfil ./mace2.tex:759: Warning: Command not found: \hfil ./mace2.tex:761: Warning: Command not found: \hfil ./mace2.tex:764: Warning: Command not found: \hfil ./mace2.tex:784: Warning: Undefined citation: 'dp-quasi' make[2]: Leaving directory `/build/buildd/otter-3.3f/documents' make[1]: Leaving directory `/build/buildd/otter-3.3f' touch build-stamp /usr/bin/fakeroot debian/rules binary-arch dh_testdir dh_testroot dh_clean -k dh_clean: dh_clean -k is deprecated; use dh_prep instead dh_installdirs /usr/bin/make install DESTDIR=/build/buildd/otter-3.3f/debian/tmp make[1]: Entering directory `/build/buildd/otter-3.3f' cd source && /usr/bin/make all make[2]: Entering directory `/build/buildd/otter-3.3f/source' /bin/cp otter ../bin make[2]: Leaving directory `/build/buildd/otter-3.3f/source' cd source/formed && /usr/bin/make all make[2]: Entering directory `/build/buildd/otter-3.3f/source/formed' /bin/cp formed ../../bin make[2]: Leaving directory `/build/buildd/otter-3.3f/source/formed' cd mace2 && /usr/bin/make all make[2]: Entering directory `/build/buildd/otter-3.3f/mace2' /bin/cp mace2 anldp ../bin make[2]: Leaving directory `/build/buildd/otter-3.3f/mace2' cd documents && /usr/bin/make all make[2]: Entering directory `/build/buildd/otter-3.3f/documents' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/otter-3.3f/documents' mkdir -p /build/buildd/otter-3.3f/debian/tmp/usr/bin cp -a bin/anldp bin/mace2 bin/otter bin/formed /build/buildd/otter-3.3f/debian/tmp/usr/bin/ make[1]: Leaving directory `/build/buildd/otter-3.3f' dh_testdir dh_testroot dh_install --sourcedir=debian/tmp dh_installchangelogs Changelog dh_installdocs dh_installexamples dh_installman dh_strip dh_strip debug symbol extraction: all non-arch-all packages for this build platform armhf: otter mace2 formed dh_strip debug symbol extraction: packages to act on: otter mace2 formed dh_strip debug symbol extraction: ignored packages: dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-deb: building package `otter-dbgsym' in `../otter-dbgsym_3.3f-1.1_armhf.ddeb'. dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-deb: building package `mace2-dbgsym' in `../mace2-dbgsym_3.3f-1.1_armhf.ddeb'. dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-deb: building package `formed-dbgsym' in `../formed-dbgsym_3.3f-1.1_armhf.ddeb'. dh_compress dh_fixperms dh_installdeb dh_shlibdeps dh_gencontrol dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dh_md5sums dh_builddeb INFO: pkgstriptranslations version 118 pkgstriptranslations: processing otter (in debian/otter); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/otter/DEBIAN/control, package otter, directory debian/otter .. removing usr/share/doc/otter/changelog.gz pkgstripfiles: PNG optimization for package otter took 0 s dpkg-deb: warning: 'debian/otter/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `otter' in `../otter_3.3f-1.1_armhf.deb'. INFO: pkgstriptranslations version 118 pkgstriptranslations: processing mace2 (in debian/mace2); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/mace2/DEBIAN/control, package mace2, directory debian/mace2 .. removing usr/share/doc/mace2/changelog.gz pkgstripfiles: PNG optimization for package mace2 took 0 s dpkg-deb: warning: 'debian/mace2/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `mace2' in `../mace2_3.3f-1.1_armhf.deb'. INFO: pkgstriptranslations version 118 pkgstriptranslations: processing formed (in debian/formed); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/formed/DEBIAN/control, package formed, directory debian/formed .. removing usr/share/doc/formed/changelog.gz pkgstripfiles: PNG optimization for package formed took 0 s dpkg-deb: warning: 'debian/formed/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `formed' in `../formed_3.3f-1.1_armhf.deb'. dpkg-genchanges -B -mUbuntu/armhf Build Daemon >../otter_3.3f-1.1_armhf.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build otter-3.3f dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20130618-2111 Publishing debug debs. chroot-autobuild/build/buildd/otter_3.3f-1.1_armhf.deb: new debian package, version 2.0. size 741932 bytes: control archive= 6182 bytes. 800 bytes, 20 lines control 16529 bytes, 208 lines md5sums Package: otter Version: 3.3f-1.1 Architecture: armhf Maintainer: Ubuntu Developers Original-Maintainer: Peter Collingbourne Installed-Size: 1226 Depends: libc6 (>= 2.7) Recommends: perl, c-shell, mace2 Suggests: formed Section: math Priority: optional Description: resolution-style theorem prover OTTER is an automated theorem prover for equational logic developed at Argonne National Laboratory. . OTTER's inference rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing and restricting searches for proofs. OTTER can also be used as a symbolic calculator and has an embedded equational programming system. chroot-autobuild/build/buildd/mace2_3.3f-1.1_armhf.deb: new debian package, version 2.0. size 475944 bytes: control archive= 4216 bytes. 941 bytes, 24 lines control 10613 bytes, 131 lines md5sums Package: mace2 Source: otter Version: 3.3f-1.1 Architecture: armhf Maintainer: Ubuntu Developers Original-Maintainer: Peter Collingbourne Installed-Size: 903 Depends: libc6 (>= 2.7) Recommends: perl, c-shell, otter Suggests: swi-prolog | gprolog Section: math Priority: optional Description: program that searches for finite models of first-order statements MACE is a program that searches for finite models of first-order and equational statements developed at Argonne National Laboratory. . This package includes ANLDP, which calls the propositional decision procedure at the core of MACE directly. . MACE serves as a complementary companion to OTTER, which searches for refutations of the same class of statement. In particular, if you have a first-order conjecture, OTTER will search for a proof, and MACE will search for a counterexample from the same input file. chroot-autobuild/build/buildd/formed_3.3f-1.1_armhf.deb: new debian package, version 2.0. size 136498 bytes: control archive= 680 bytes. 532 bytes, 15 lines control 316 bytes, 5 lines md5sums Package: formed Source: otter Version: 3.3f-1.1 Architecture: armhf Maintainer: Ubuntu Developers Original-Maintainer: Peter Collingbourne Installed-Size: 283 Depends: libc6 (>= 2.7), libx11-6, libxaw7, libxt6 Suggests: otter Section: math Priority: optional Description: formula editor for first-order logic formulae Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things. chroot-autobuild/build/buildd/otter_3.3f-1.1_armhf.deb: drwxr-xr-x root/root 0 2013-06-18 21:11 ./ drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/ drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/sbin/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/bin/ -rwxr-xr-x root/root 198264 2013-06-18 21:11 ./usr/bin/otter drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/ drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/man/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/man/man1/ -rw-r--r-- root/root 682 2013-06-18 21:10 ./usr/share/man/man1/otter.1.gz drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/ -rw-r--r-- root/root 384 2013-06-18 21:07 ./usr/share/doc/otter/changelog.Debian.gz -rw-r--r-- root/root 2237 2004-08-02 21:24 ./usr/share/doc/otter/README drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/auto/ -rw-r--r-- root/root 1619 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/robbins.out.gz -rw-r--r-- root/root 854 1994-01-12 15:26 ./usr/share/doc/otter/examples/auto/pigeon.in -rw-r--r-- root/root 276 1994-01-13 15:14 ./usr/share/doc/otter/examples/auto/w_sk.in -rw-r--r-- root/root 165 1993-11-10 16:20 ./usr/share/doc/otter/examples/auto/group.in -rw-r--r-- root/root 270 1994-01-13 14:58 ./usr/share/doc/otter/examples/auto/comm.in -rw-r--r-- root/root 1570 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/tba_gg.out.gz -rw-r--r-- root/root 387 1993-11-10 16:20 ./usr/share/doc/otter/examples/auto/z11.in -rw-r--r-- root/root 3830 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/pigeon.out.gz -rw-r--r-- root/root 2371 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/z11.out.gz -rw-r--r-- root/root 350 1994-01-13 15:14 ./usr/share/doc/otter/examples/auto/ring_x2.in -rw-r--r-- root/root 64 2001-06-19 17:55 ./usr/share/doc/otter/examples/auto/README -rw-r--r-- root/root 432 1993-11-10 16:20 ./usr/share/doc/otter/examples/auto/cn19.in -rw-r--r-- root/root 207 1993-11-10 16:20 ./usr/share/doc/otter/examples/auto/tba_gg.in -rw-r--r-- root/root 243 1994-01-13 14:59 ./usr/share/doc/otter/examples/auto/ec_yq.in -rw-r--r-- root/root 588 1993-11-10 16:20 ./usr/share/doc/otter/examples/auto/wang1.in -rw-r--r-- root/root 301 1994-01-13 15:12 ./usr/share/doc/otter/examples/auto/x2_quant.in -rw-r--r-- root/root 2121 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/mv25.out.gz -rw-r--r-- root/root 2358 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/wang1.out.gz -rw-r--r-- root/root 1406 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/x2_quant.out.gz -rw-r--r-- root/root 1937 2003-08-06 21:11 ./usr/share/doc/otter/examples/auto/index.html -rw-r--r-- root/root 2414 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/steam.out.gz -rw-r--r-- root/root 1773 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/w_sk.out.gz -rw-r--r-- root/root 1352 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/group.out.gz -rw-r--r-- root/root 1023 1993-11-10 16:20 ./usr/share/doc/otter/examples/auto/sam.in -rw-r--r-- root/root 1590 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/lifsch.out.gz -rw-r--r-- root/root 1236 1993-11-10 16:20 ./usr/share/doc/otter/examples/auto/salt.in -rw-r--r-- root/root 2463 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/cn19.out.gz -rw-r--r-- root/root 473 1993-11-10 16:20 ./usr/share/doc/otter/examples/auto/mv25.in -rw-r--r-- root/root 2978 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/ring_x2.out.gz -rw-r--r-- root/root 2249 1994-01-13 15:07 ./usr/share/doc/otter/examples/auto/steam.in -rw-r--r-- root/root 393 1993-11-10 16:20 ./usr/share/doc/otter/examples/auto/lifsch.in -rw-r--r-- root/root 1827 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/comm.out.gz -rw-r--r-- root/root 3081 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/salt.out.gz -rw-r--r-- root/root 3313 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/sam.out.gz -rw-r--r-- root/root 426 1994-01-13 15:17 ./usr/share/doc/otter/examples/auto/robbins.in -rw-r--r-- root/root 1736 2004-08-02 20:30 ./usr/share/doc/otter/examples/auto/ec_yq.out.gz -rw-r--r-- root/root 855 2004-08-02 21:10 ./usr/share/doc/otter/examples/Run_all.out.gz -rw-r--r-- root/root 1146 2001-04-09 20:34 ./usr/share/doc/otter/examples/README drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/misc/ -rw-r--r-- root/root 3914 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/kb_bench.out.gz -rw-r--r-- root/root 2505 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/cn.out.gz -rw-r--r-- root/root 814 1993-11-16 16:44 ./usr/share/doc/otter/examples/misc/mv.in.28752 -rw-r--r-- root/root 1705 1993-10-20 20:33 ./usr/share/doc/otter/examples/misc/ec.in -rw-r--r-- root/root 4520 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/andrews.out.gz -rw-r--r-- root/root 29 2001-06-19 17:52 ./usr/share/doc/otter/examples/misc/README -rw-r--r-- root/root 2037 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/stage2.out.gz -rw-r--r-- root/root 1824 1993-11-16 17:01 ./usr/share/doc/otter/examples/misc/dem_alu.in.28752 -rw-r--r-- root/root 770 2004-04-20 16:36 ./usr/share/doc/otter/examples/misc/mv.in -rw-r--r-- root/root 2840 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/str_bws.out.gz -rw-r--r-- root/root 474 1994-01-14 13:54 ./usr/share/doc/otter/examples/misc/sax1.in -rw-r--r-- root/root 3607 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/sax1.out.gz -rw-r--r-- root/root 1438 1993-11-16 16:46 ./usr/share/doc/otter/examples/misc/stage1.in -rw-r--r-- root/root 1780 2004-04-20 16:36 ./usr/share/doc/otter/examples/misc/dem_alu.in -rw-r--r-- root/root 817 2004-04-20 16:36 ./usr/share/doc/otter/examples/misc/andrews.in -rw-r--r-- root/root 522 1994-01-14 13:46 ./usr/share/doc/otter/examples/misc/sax2.in -rw-r--r-- root/root 1779 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/ec.out.gz -rw-r--r-- root/root 2849 1993-11-16 16:51 ./usr/share/doc/otter/examples/misc/stage2.in -rw-r--r-- root/root 4016 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/dem_alu.out -rw-r--r-- root/root 802 1993-11-16 16:58 ./usr/share/doc/otter/examples/misc/str_bws.in.28752 -rw-r--r-- root/root 1364 2003-08-06 21:11 ./usr/share/doc/otter/examples/misc/index.html -rw-r--r-- root/root 796 1993-11-16 16:44 ./usr/share/doc/otter/examples/misc/kb_bench.in -rw-r--r-- root/root 1047 1994-01-13 16:35 ./usr/share/doc/otter/examples/misc/cn.in.28752 -rw-r--r-- root/root 758 2004-04-20 16:36 ./usr/share/doc/otter/examples/misc/str_bws.in -rw-r--r-- root/root 861 1994-01-13 16:07 ./usr/share/doc/otter/examples/misc/andrews.in.28752 -rw-r--r-- root/root 3493 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/stage1.out.gz -rw-r--r-- root/root 2611 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/mv.out.gz -rw-r--r-- root/root 2171 2004-08-02 20:30 ./usr/share/doc/otter/examples/misc/sax2.out.gz -rw-r--r-- root/root 1002 2004-04-20 16:36 ./usr/share/doc/otter/examples/misc/cn.in drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/fringe/ -rw-r--r-- root/root 1407 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/if.out.gz -rw-r--r-- root/root 3657 1995-08-02 20:53 ./usr/share/doc/otter/examples/fringe/if.in -rw-r--r-- root/root 1219 1995-08-02 13:46 ./usr/share/doc/otter/examples/fringe/lexical3.in -rw-r--r-- root/root 2914 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/x3tricks.out.gz -rw-r--r-- root/root 2506 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/lexical3.out -rw-r--r-- root/root 1588 1995-08-02 13:24 ./usr/share/doc/otter/examples/fringe/luka5h.in.gz -rw-r--r-- root/root 1797 1995-07-28 16:22 ./usr/share/doc/otter/examples/fringe/ec_yql.in.28897 -rw-r--r-- root/root 122 2001-06-19 17:30 ./usr/share/doc/otter/examples/fringe/README -rw-r--r-- root/root 2622 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/lexical2.out -rw-r--r-- root/root 1331 1995-08-02 13:46 ./usr/share/doc/otter/examples/fringe/lexical1.in -rw-r--r-- root/root 626 2004-04-20 16:37 ./usr/share/doc/otter/examples/fringe/gl4.in -rw-r--r-- root/root 6772 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/rob_ocd.out.gz -rw-r--r-- root/root 2034 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/bring.out.gz -rw-r--r-- root/root 1323 1995-08-02 13:46 ./usr/share/doc/otter/examples/fringe/lexical2.in -rw-r--r-- root/root 650 1995-03-31 22:23 ./usr/share/doc/otter/examples/fringe/gl8.in -rw-r--r-- root/root 1810 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/gl4.out.gz -rw-r--r-- root/root 1703 2003-08-06 21:11 ./usr/share/doc/otter/examples/fringe/index.html -rw-r--r-- root/root 4677 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/olsax_hints.out.gz -rw-r--r-- root/root 3562 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/ec_yql.out.gz -rw-r--r-- root/root 2744 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/gl8.out -rw-r--r-- root/root 649 1995-03-31 22:23 ./usr/share/doc/otter/examples/fringe/gl4.in.28897 -rw-r--r-- root/root 3331 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/luka5h.out.gz -rw-r--r-- root/root 3319 2003-07-01 21:23 ./usr/share/doc/otter/examples/fringe/rob_ocd.in -rw-r--r-- root/root 2887 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/lexical1.out -rw-r--r-- root/root 2489 2004-08-02 20:31 ./usr/share/doc/otter/examples/fringe/mfl_13.out.gz -rw-r--r-- root/root 1500 2001-06-19 17:23 ./usr/share/doc/otter/examples/fringe/mfl_13.in -rw-r--r-- root/root 1917 1995-08-02 13:31 ./usr/share/doc/otter/examples/fringe/x3tricks.in.gz -rw-r--r-- root/root 1774 2004-04-20 16:37 ./usr/share/doc/otter/examples/fringe/ec_yql.in -rw-r--r-- root/root 3865 1995-08-02 20:36 ./usr/share/doc/otter/examples/fringe/bring.in -rw-r--r-- root/root 1112 2003-04-30 21:26 ./usr/share/doc/otter/examples/fringe/olsax_hints.in.gz -rw-r--r-- root/root 82 2003-07-18 21:50 ./usr/share/doc/otter/examples/Makefile drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/wos/ -rw-r--r-- root/root 36263 2004-08-02 20:30 ./usr/share/doc/otter/examples/wos/manyval.out.gz -rw-r--r-- root/root 1826 1995-05-05 18:18 ./usr/share/doc/otter/examples/wos/manyval.in -rw-r--r-- root/root 1361 1995-07-26 01:45 ./usr/share/doc/otter/examples/wos/cursory.in.gz -rw-r--r-- root/root 2049 1995-07-26 01:45 ./usr/share/doc/otter/examples/wos/twoval.in.gz -rw-r--r-- root/root 94 2001-06-19 17:17 ./usr/share/doc/otter/examples/wos/README -rw-r--r-- root/root 2877 1995-07-26 01:44 ./usr/share/doc/otter/examples/wos/rob_occ.in -rw-r--r-- root/root 1301 1994-01-19 22:12 ./usr/share/doc/otter/examples/wos/grp_exp4.in.gz -rw-r--r-- root/root 4514 2004-08-02 20:30 ./usr/share/doc/otter/examples/wos/rigorous.out.gz -rw-r--r-- root/root 1950 2004-08-02 20:30 ./usr/share/doc/otter/examples/wos/grp_exp3.out.gz -rw-r--r-- root/root 18384 2004-08-02 20:31 ./usr/share/doc/otter/examples/wos/twoval.out.gz -rw-r--r-- root/root 2777 2004-08-02 20:30 ./usr/share/doc/otter/examples/wos/rob_occ.out.gz -rw-r--r-- root/root 4019 2004-08-02 20:30 ./usr/share/doc/otter/examples/wos/cursory.out.gz -rw-r--r-- root/root 1135 2003-08-06 21:11 ./usr/share/doc/otter/examples/wos/index.html -rw-r--r-- root/root 1675 1995-07-26 01:45 ./usr/share/doc/otter/examples/wos/rigorous.in.gz -rw-r--r-- root/root 2296 2001-06-19 17:53 ./usr/share/doc/otter/examples/wos/README.more -rw-r--r-- root/root 6168 2004-08-02 20:30 ./usr/share/doc/otter/examples/wos/grp_exp4.out.gz -rw-r--r-- root/root 2097 1995-07-26 01:45 ./usr/share/doc/otter/examples/wos/grp_exp3.in drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/split/ -rw-r--r-- root/root 8611 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/wang3.out.gz -rw-r--r-- root/root 1608 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/power.out.gz -rw-r--r-- root/root 631 1998-02-16 16:53 ./usr/share/doc/otter/examples/split/group2.in -rw-r--r-- root/root 3515 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/GRP025-1.out.gz -rw-r--r-- root/root 827 1998-02-16 16:26 ./usr/share/doc/otter/examples/split/wang3.in -rw-r--r-- root/root 70 2001-06-19 15:47 ./usr/share/doc/otter/examples/split/README -rw-r--r-- root/root 2764 1998-04-01 17:33 ./usr/share/doc/otter/examples/split/zebra2.in -rw-r--r-- root/root 2200 2000-02-17 21:13 ./usr/share/doc/otter/examples/split/noncomm-group.in.gz -rwxr-xr-x root/root 538 2001-06-18 20:43 ./usr/share/doc/otter/examples/split/temp1 -rw-r--r-- root/root 2716 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/GEO036-2.out.gz -rw-r--r-- root/root 11292 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/noncomm-group.out.gz -rw-r--r-- root/root 6318 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/zebra2.out.gz -rw-r--r-- root/root 1459 1999-09-15 19:32 ./usr/share/doc/otter/examples/split/GRP025-1.in.gz -rw-r--r-- root/root 3118 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/pair.out.gz -rw-r--r-- root/root 1491 2003-08-06 21:11 ./usr/share/doc/otter/examples/split/index.html -rw-r--r-- root/root 1850 1998-02-16 17:08 ./usr/share/doc/otter/examples/split/zebra4.in -rw-r--r-- root/root 9539 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/zebra4.out.gz -rw-r--r-- root/root 1062 1998-02-16 17:04 ./usr/share/doc/otter/examples/split/power.in -rw-r--r-- root/root 963 1998-02-13 22:49 ./usr/share/doc/otter/examples/split/pigeon5.in -rw-r--r-- root/root 907 2001-06-19 15:47 ./usr/share/doc/otter/examples/split/README.more -rw-r--r-- root/root 1392 2004-04-20 16:43 ./usr/share/doc/otter/examples/split/GEO010-2.in.gz -rw-r--r-- root/root 4126 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/GEO010-2.out.gz -rw-r--r-- root/root 3733 1999-09-15 19:31 ./usr/share/doc/otter/examples/split/GEO036-2.in -rw-r--r-- root/root 2149 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/group2.out.gz -rw-r--r-- root/root 5595 2004-08-02 20:31 ./usr/share/doc/otter/examples/split/pigeon5.out.gz -rw-r--r-- root/root 550 1998-02-16 16:57 ./usr/share/doc/otter/examples/split/pair.in drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/kalman/ -rw-r--r-- root/root 30305 2004-08-02 20:30 ./usr/share/doc/otter/examples/kalman/i3.out.gz -rw-r--r-- root/root 659 1995-08-07 12:47 ./usr/share/doc/otter/examples/kalman/ex_4.in -rw-r--r-- root/root 512 1993-12-07 21:18 ./usr/share/doc/otter/examples/kalman/i2.in -rw-r--r-- root/root 875 1995-08-07 12:47 ./usr/share/doc/otter/examples/kalman/ex_3.in -rw-r--r-- root/root 2801 2004-08-02 20:30 ./usr/share/doc/otter/examples/kalman/i1.out -rw-r--r-- root/root 28 2001-06-19 17:55 ./usr/share/doc/otter/examples/kalman/README -rw-r--r-- root/root 1577 1993-12-07 21:18 ./usr/share/doc/otter/examples/kalman/i3.in.gz -rw-r--r-- root/root 2419 2004-08-02 20:30 ./usr/share/doc/otter/examples/kalman/ex_4.out.gz -rw-r--r-- root/root 1503 2004-08-02 20:30 ./usr/share/doc/otter/examples/kalman/ex_2.out.gz -rw-r--r-- root/root 1695 2004-08-02 20:30 ./usr/share/doc/otter/examples/kalman/ex_1.out.gz -rw-r--r-- root/root 21891 2004-08-02 20:30 ./usr/share/doc/otter/examples/kalman/i4.out.gz -rw-r--r-- root/root 1036 2003-08-06 21:11 ./usr/share/doc/otter/examples/kalman/index.html -rw-r--r-- root/root 715 1995-08-07 12:43 ./usr/share/doc/otter/examples/kalman/ex_1.in -rw-r--r-- root/root 1853 1993-12-07 21:18 ./usr/share/doc/otter/examples/kalman/i4.in.gz -rw-r--r-- root/root 651 1995-08-07 12:47 ./usr/share/doc/otter/examples/kalman/ex_2.in -rw-r--r-- root/root 570 1993-12-07 21:18 ./usr/share/doc/otter/examples/kalman/i1.in -rw-r--r-- root/root 3278 2004-08-02 20:30 ./usr/share/doc/otter/examples/kalman/ex_3.out.gz -rw-r--r-- root/root 2797 2004-08-02 20:30 ./usr/share/doc/otter/examples/kalman/i2.out -rwxr-xr-x root/root 414 2013-06-18 21:07 ./usr/share/doc/otter/examples/summary -rw-r--r-- root/root 1162 2003-08-06 21:11 ./usr/share/doc/otter/examples/index.html drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/program/ -rw-r--r-- root/root 3180 2003-07-17 17:21 ./usr/share/doc/otter/examples/program/two_inv.in -rw-r--r-- root/root 1641 1993-12-07 23:36 ./usr/share/doc/otter/examples/program/queens.in -rw-r--r-- root/root 4076 2004-08-02 20:32 ./usr/share/doc/otter/examples/program/two_inv.out -rw-r--r-- root/root 1973 1994-01-13 16:02 ./usr/share/doc/otter/examples/program/mission.in -rw-r--r-- root/root 31 2001-06-19 17:53 ./usr/share/doc/otter/examples/program/README -rw-r--r-- root/root 3662 2004-08-02 20:31 ./usr/share/doc/otter/examples/program/jugs.out -rw-r--r-- root/root 1123 1993-11-10 16:20 ./usr/share/doc/otter/examples/program/jugs.in -rw-r--r-- root/root 27755 2004-08-02 20:31 ./usr/share/doc/otter/examples/program/queens.out.gz -rw-r--r-- root/root 850 2003-08-06 21:11 ./usr/share/doc/otter/examples/program/index.html -rw-r--r-- root/root 3371 2004-08-02 20:31 ./usr/share/doc/otter/examples/program/eval.out -rw-r--r-- root/root 2496 2003-07-16 22:01 ./usr/share/doc/otter/examples/program/eval.in -rw-r--r-- root/root 1351 2004-08-02 20:31 ./usr/share/doc/otter/examples/program/mission.out.gz drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/Loop/ -rw-r--r-- root/root 606 2001-05-25 18:34 ./usr/share/doc/otter/examples/Loop/README -rw-r--r-- root/root 1349 2001-05-25 13:51 ./usr/share/doc/otter/examples/Loop/Sheffer-mgi-without-mirrors.gz -rw-r--r-- root/root 4927 2004-02-10 22:13 ./usr/share/doc/otter/examples/Loop/temp.gz -rwxr-xr-x root/root 885 2013-06-18 21:07 ./usr/share/doc/otter/examples/Loop/otter-ploop -rw-r--r-- root/root 164 2004-02-10 21:35 ./usr/share/doc/otter/examples/Loop/head -rwxr-xr-x root/root 1798 2003-07-17 21:24 ./usr/share/doc/otter/examples/Run_group drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/otter/examples/ivy/ -rw-r--r-- root/root 376 1999-07-28 19:36 ./usr/share/doc/otter/examples/ivy/cd-cn19.in -rw-r--r-- root/root 337 1999-07-28 19:36 ./usr/share/doc/otter/examples/ivy/group-x2-refute.in -rw-r--r-- root/root 1630 1999-07-28 19:44 ./usr/share/doc/otter/examples/ivy/t1.in -rw-r--r-- root/root 5172 2004-08-02 20:31 ./usr/share/doc/otter/examples/ivy/cd-cn19.out.gz -rw-r--r-- root/root 55 2001-06-19 17:32 ./usr/share/doc/otter/examples/ivy/README -rw-r--r-- root/root 4883 2004-08-02 20:31 ./usr/share/doc/otter/examples/ivy/group-comm.out.gz -rw-r--r-- root/root 2076 2004-08-02 20:31 ./usr/share/doc/otter/examples/ivy/group-x2.out.gz -rw-r--r-- root/root 152 1999-07-28 20:23 ./usr/share/doc/otter/examples/ivy/p-and-not-p.in -rw-r--r-- root/root 337 1999-07-28 19:36 ./usr/share/doc/otter/examples/ivy/group-x2.in -rw-r--r-- root/root 339 1999-07-28 19:36 ./usr/share/doc/otter/examples/ivy/comb-sk-w.in -rw-r--r-- root/root 2076 2004-08-02 20:31 ./usr/share/doc/otter/examples/ivy/group-x2-refute.out.gz -rw-r--r-- root/root 1322 2003-08-06 21:11 ./usr/share/doc/otter/examples/ivy/index.html -rw-r--r-- root/root 4525 2004-08-02 20:31 ./usr/share/doc/otter/examples/ivy/steam.out.gz -rw-r--r-- root/root 4525 2004-08-02 20:31 ./usr/share/doc/otter/examples/ivy/t1.out.gz -rw-r--r-- root/root 3419 2004-08-02 20:31 ./usr/share/doc/otter/examples/ivy/lifsch.out.gz -rw-r--r-- root/root 2534 2004-08-02 20:31 ./usr/share/doc/otter/examples/ivy/comb-sk-w.out.gz -rw-r--r-- root/root 2378 2004-08-02 20:31 ./usr/share/doc/otter/examples/ivy/p-and-not-p.out -rw-r--r-- root/root 1623 1999-07-28 19:36 ./usr/share/doc/otter/examples/ivy/steam.in -rw-r--r-- root/root 2416 1999-07-28 19:36 ./usr/share/doc/otter/examples/ivy/lifsch.in -rw-r--r-- root/root 401 1999-07-28 19:36 ./usr/share/doc/otter/examples/ivy/group-comm.in -rwxr-xr-x root/root 435 2003-08-06 21:25 ./usr/share/doc/otter/examples/Run_all -rw-r--r-- root/root 306835 2013-06-18 21:10 ./usr/share/doc/otter/otter33.html -rw-r--r-- root/root 888 2003-08-19 20:31 ./usr/share/doc/otter/README.Ivy -rw-r--r-- root/root 124858 2003-08-29 14:55 ./usr/share/doc/otter/otter33.ps.gz -rw-r--r-- root/root 1605 2013-06-18 21:07 ./usr/share/doc/otter/copyright chroot-autobuild/build/buildd/mace2_3.3f-1.1_armhf.deb: drwxr-xr-x root/root 0 2013-06-18 21:11 ./ drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/bin/ -rwxr-xr-x root/root 231060 2013-06-18 21:11 ./usr/bin/mace2 -rwxr-xr-x root/root 226956 2013-06-18 21:11 ./usr/bin/anldp drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/ drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/man/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/man/man1/ -rw-r--r-- root/root 1095 2013-06-18 21:10 ./usr/share/man/man1/anldp.1.gz -rw-r--r-- root/root 1425 2013-06-18 21:10 ./usr/share/man/man1/mace2.1.gz drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/mace2/ -rw-r--r-- root/root 75615 2001-05-11 15:45 ./usr/share/doc/mace2/anldp.ps.gz -rw-r--r-- root/root 43263 2013-06-18 21:10 ./usr/share/doc/mace2/mace2.html -rw-r--r-- root/root 384 2013-06-18 21:07 ./usr/share/doc/mace2/changelog.Debian.gz -rw-r--r-- root/root 22999 2001-06-01 17:30 ./usr/share/doc/mace2/mace2.ps.gz -rw-r--r-- root/root 2237 2004-08-02 21:24 ./usr/share/doc/mace2/README drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/doc/mace2/examples/ drwxr-xr-x root/root 0 2004-08-02 20:49 ./usr/share/doc/mace2/examples/quasigroup/ -rw-r--r-- root/root 335 2003-08-06 18:51 ./usr/share/doc/mace2/examples/quasigroup/qg2d.in -rw-r--r-- root/root 40 2001-06-19 19:04 ./usr/share/doc/mace2/examples/quasigroup/README -rw-r--r-- root/root 1955 2004-08-02 20:44 ./usr/share/doc/mace2/examples/quasigroup/qg7bl.out -rw-r--r-- root/root 1895 2004-08-02 20:44 ./usr/share/doc/mace2/examples/quasigroup/qg6.out -rw-r--r-- root/root 2858 2004-08-02 20:44 ./usr/share/doc/mace2/examples/quasigroup/omts9.out -rw-r--r-- root/root 335 2001-05-08 17:22 ./usr/share/doc/mace2/examples/quasigroup/qg1d.in -rw-r--r-- root/root 765 2001-05-17 17:11 ./usr/share/doc/mace2/examples/quasigroup/omts9.in -rw-r--r-- root/root 191 2001-05-08 17:22 ./usr/share/doc/mace2/examples/quasigroup/qg7bl.in -rw-r--r-- root/root 2054 2004-08-02 20:44 ./usr/share/doc/mace2/examples/quasigroup/qg1d.out -rw-r--r-- root/root 1207 2003-08-06 21:12 ./usr/share/doc/mace2/examples/quasigroup/index.html -rw-r--r-- root/root 2088 2004-08-02 20:44 ./usr/share/doc/mace2/examples/quasigroup/qg2d.out -rw-r--r-- root/root 1990 2004-08-02 20:44 ./usr/share/doc/mace2/examples/quasigroup/qg3.out -rw-r--r-- root/root 6 2003-07-17 19:56 ./usr/share/doc/mace2/examples/quasigroup/program -rw-r--r-- root/root 167 2001-05-08 17:22 ./usr/share/doc/mace2/examples/quasigroup/qg3.in -rw-r--r-- root/root 212 2001-05-08 17:22 ./usr/share/doc/mace2/examples/quasigroup/qg5l.in -rw-r--r-- root/root 167 2001-05-08 17:22 ./usr/share/doc/mace2/examples/quasigroup/qg4.in -rw-r--r-- root/root 1883 2004-08-02 20:44 ./usr/share/doc/mace2/examples/quasigroup/qg4.out -rw-r--r-- root/root 173 2001-05-08 17:22 ./usr/share/doc/mace2/examples/quasigroup/qg6.in -rw-r--r-- root/root 2083 2004-08-02 20:44 ./usr/share/doc/mace2/examples/quasigroup/qg5l.out drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/mace2/examples/propositional/ -rw-r--r-- root/root 1400 2004-08-02 20:45 ./usr/share/doc/mace2/examples/propositional/p6.out -rw-r--r-- root/root 1397 2004-08-02 20:45 ./usr/share/doc/mace2/examples/propositional/f2.out -rw-r--r-- root/root 3330 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/p8.in -rw-r--r-- root/root 879 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/p5.in -rw-r--r-- root/root 1399 2004-08-02 20:45 ./usr/share/doc/mace2/examples/propositional/f4.out -rw-r--r-- root/root 34 2001-06-19 19:04 ./usr/share/doc/mace2/examples/propositional/README -rw-r--r-- root/root 28 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/f2.in -rw-r--r-- root/root 2276 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/p7.in -rw-r--r-- root/root 1399 2004-08-02 20:45 ./usr/share/doc/mace2/examples/propositional/p5.out -rw-r--r-- root/root 1400 2004-08-02 20:45 ./usr/share/doc/mace2/examples/propositional/p7.out -rw-r--r-- root/root 1397 2004-08-02 20:45 ./usr/share/doc/mace2/examples/propositional/f3.out -rw-r--r-- root/root 76 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/f3.in -rw-r--r-- root/root 1117 2003-08-06 21:12 ./usr/share/doc/mace2/examples/propositional/index.html -rw-r--r-- root/root 192 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/f4.in -rw-r--r-- root/root 1549 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/p10.IN.gz -rw-r--r-- root/root 1401 2004-08-02 20:45 ./usr/share/doc/mace2/examples/propositional/p9.out -rw-r--r-- root/root 125 2001-06-19 19:04 ./usr/share/doc/mace2/examples/propositional/README.more -rw-r--r-- root/root 6 2003-07-17 19:56 ./usr/share/doc/mace2/examples/propositional/program -rw-r--r-- root/root 1545 2004-08-02 20:45 ./usr/share/doc/mace2/examples/propositional/q10.out -rw-r--r-- root/root 3835 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/q10.in.gz -rw-r--r-- root/root 1183 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/p9.in.gz -rw-r--r-- root/root 1400 2004-08-02 20:45 ./usr/share/doc/mace2/examples/propositional/p8.out -rw-r--r-- root/root 1470 2001-04-27 20:43 ./usr/share/doc/mace2/examples/propositional/p6.in -rw-r--r-- root/root 104 2003-04-30 22:13 ./usr/share/doc/mace2/examples/README drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/mace2/examples/lattice/ -rw-r--r-- root/root 2730 2004-08-02 20:45 ./usr/share/doc/mace2/examples/lattice/ol-e4.out.gz -rw-r--r-- root/root 474 2003-08-06 15:54 ./usr/share/doc/mace2/examples/lattice/oml-mol.in -rw-r--r-- root/root 1797 2004-08-02 20:44 ./usr/share/doc/mace2/examples/lattice/mol-ba.out.gz -rw-r--r-- root/root 1693 2004-08-02 20:44 ./usr/share/doc/mace2/examples/lattice/lt-ol.out.gz -rw-r--r-- root/root 68 2003-08-06 16:01 ./usr/share/doc/mace2/examples/lattice/README -rw-r--r-- root/root 1765 2001-06-29 17:09 ./usr/share/doc/mace2/examples/lattice/lattice-axioms -rw-r--r-- root/root 200 2003-08-06 15:49 ./usr/share/doc/mace2/examples/lattice/ol-oml.in -rw-r--r-- root/root 242 2003-08-06 15:39 ./usr/share/doc/mace2/examples/lattice/lt-ml.in -rw-r--r-- root/root 540 2003-08-06 15:19 ./usr/share/doc/mace2/examples/lattice/ortholattice -rw-r--r-- root/root 1410 2003-08-06 15:27 ./usr/share/doc/mace2/examples/lattice/ol-e4.in -rw-r--r-- root/root 1238 2003-08-06 21:12 ./usr/share/doc/mace2/examples/lattice/index.html -rw-r--r-- root/root 363 2003-08-06 15:57 ./usr/share/doc/mace2/examples/lattice/ml-mol.in -rw-r--r-- root/root 2345 2004-08-02 20:44 ./usr/share/doc/mace2/examples/lattice/ml-mol.out.gz -rw-r--r-- root/root 2548 2004-08-02 20:44 ./usr/share/doc/mace2/examples/lattice/ol-e1.out.gz -rw-r--r-- root/root 1534 2004-08-02 20:44 ./usr/share/doc/mace2/examples/lattice/lt-ml.out.gz -rw-r--r-- root/root 796 2003-08-06 15:42 ./usr/share/doc/mace2/examples/lattice/finite-lattice -rw-r--r-- root/root 1159 2003-08-06 15:23 ./usr/share/doc/mace2/examples/lattice/ol-e1.in -rw-r--r-- root/root 6 2003-07-17 19:56 ./usr/share/doc/mace2/examples/lattice/program -rw-r--r-- root/root 2001 2004-08-02 20:45 ./usr/share/doc/mace2/examples/lattice/oml-mol.out.gz -rw-r--r-- root/root 276 2003-08-06 15:45 ./usr/share/doc/mace2/examples/lattice/lt-ol.in -rw-r--r-- root/root 1679 2004-08-02 20:45 ./usr/share/doc/mace2/examples/lattice/ol-oml.out.gz -rw-r--r-- root/root 268 2003-08-06 15:48 ./usr/share/doc/mace2/examples/lattice/mol-ba.in -rw-r--r-- root/root 82 2003-07-18 21:43 ./usr/share/doc/mace2/examples/Makefile -rwxr-xr-x root/root 1889 2003-07-17 21:24 ./usr/share/doc/mace2/examples/Run_mace -rwxr-xr-x root/root 1739 2003-07-18 21:51 ./usr/share/doc/mace2/examples/Run_anldp -rw-r--r-- root/root 3756 2004-08-02 20:45 ./usr/share/doc/mace2/examples/Run_all.out -rw-r--r-- root/root 816 2003-08-06 21:12 ./usr/share/doc/mace2/examples/index.html drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/mace2/examples/iterate/ -rw-r--r-- root/root 704 2001-06-18 15:04 ./usr/share/doc/mace2/examples/iterate/cd.in -rw-r--r-- root/root 1499 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/kauer.out.gz -rw-r--r-- root/root 1918 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/BOO032-1.out.gz -rw-r--r-- root/root 1442 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/noncommutative_group.out.gz -rw-r--r-- root/root 44 2001-06-19 19:03 ./usr/share/doc/mace2/examples/iterate/README -rw-r--r-- root/root 1425 2001-06-18 15:00 ./usr/share/doc/mace2/examples/iterate/kauer.in -rw-r--r-- root/root 1613 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/CAT019-5.out.gz -rw-r--r-- root/root 1726 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/LAT025-1.out.gz -rw-r--r-- root/root 1480 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/PUZ001-3.out.gz -rw-r--r-- root/root 2764 2001-06-18 15:17 ./usr/share/doc/mace2/examples/iterate/PUZ001-3.in -rw-r--r-- root/root 136 2001-06-18 15:01 ./usr/share/doc/mace2/examples/iterate/noncommutative_group.in -rw-r--r-- root/root 1996 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/noncommutive_ring1.out.gz -rw-r--r-- root/root 1031 2003-08-06 14:56 ./usr/share/doc/mace2/examples/iterate/noncommutive_ring1.in -rw-r--r-- root/root 1928 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/RNG025-8.out.gz -rw-r--r-- root/root 1583 2003-08-06 21:12 ./usr/share/doc/mace2/examples/iterate/index.html -rw-r--r-- root/root 2758 2001-06-18 15:16 ./usr/share/doc/mace2/examples/iterate/CAT019-5.in -rw-r--r-- root/root 2521 2001-06-18 15:16 ./usr/share/doc/mace2/examples/iterate/BOO032-1.in -rw-r--r-- root/root 1440 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/LCL136-1.out.gz -rw-r--r-- root/root 1215 2004-08-02 20:44 ./usr/share/doc/mace2/examples/iterate/cd.out.gz -rw-r--r-- root/root 2656 2001-06-18 15:16 ./usr/share/doc/mace2/examples/iterate/LAT025-1.in -rw-r--r-- root/root 6 2003-07-17 19:56 ./usr/share/doc/mace2/examples/iterate/program -rw-r--r-- root/root 2242 2001-06-18 15:17 ./usr/share/doc/mace2/examples/iterate/LCL136-1.in -rw-r--r-- root/root 3169 2001-06-18 15:17 ./usr/share/doc/mace2/examples/iterate/RNG025-8.in drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/mace2/examples/Perl-examples/ -rw-r--r-- root/root 925 2001-05-23 21:27 ./usr/share/doc/mace2/examples/Perl-examples/candidates -rwxr-xr-x root/root 535 2003-08-06 18:56 ./usr/share/doc/mace2/examples/Perl-examples/commute4_filter -rw-r--r-- root/root 670 2003-08-06 18:56 ./usr/share/doc/mace2/examples/Perl-examples/README -rw-r--r-- root/root 1349 2001-05-23 21:24 ./usr/share/doc/mace2/examples/Perl-examples/Sheffer-mgi-without-mirrors.gz -rw-r--r-- root/root 1061 2003-07-17 16:53 ./usr/share/doc/mace2/examples/Perl-examples/index.html drwxr-xr-x root/root 0 2004-08-02 20:50 ./usr/share/doc/mace2/examples/basic/ -rw-r--r-- root/root 2056 2004-08-02 20:44 ./usr/share/doc/mace2/examples/basic/tba.out -rw-r--r-- root/root 523 2001-06-15 14:53 ./usr/share/doc/mace2/examples/basic/cl_sw.in -rw-r--r-- root/root 733 2001-06-18 15:02 ./usr/share/doc/mace2/examples/basic/cd.in -rw-r--r-- root/root 3945 2003-08-05 20:50 ./usr/share/doc/mace2/examples/basic/temp -rw-r--r-- root/root 34 2001-06-19 19:03 ./usr/share/doc/mace2/examples/basic/README -rw-r--r-- root/root 428 2001-06-15 14:48 ./usr/share/doc/mace2/examples/basic/cl_ql.in -rw-r--r-- root/root 2456 2004-08-02 20:44 ./usr/share/doc/mace2/examples/basic/cl_ql.out -rw-r--r-- root/root 3474 2004-08-02 20:44 ./usr/share/doc/mace2/examples/basic/tough-nut.out -rw-r--r-- root/root 2455 2004-08-02 20:44 ./usr/share/doc/mace2/examples/basic/ring.out -rw-r--r-- root/root 2473 2004-08-02 20:44 ./usr/share/doc/mace2/examples/basic/cl_sw.out -rw-r--r-- root/root 2155 2004-08-02 20:44 ./usr/share/doc/mace2/examples/basic/cd.out -rw-r--r-- root/root 3233 2001-06-18 14:49 ./usr/share/doc/mace2/examples/basic/tough-nut.in -rw-r--r-- root/root 136 2001-06-15 14:57 ./usr/share/doc/mace2/examples/basic/noncommutative_group.in -rw-r--r-- root/root 383 2001-06-18 14:43 ./usr/share/doc/mace2/examples/basic/ordered_semi.in -rw-r--r-- root/root 1270 2003-08-06 21:12 ./usr/share/doc/mace2/examples/basic/index.html -rw-r--r-- root/root 2244 2004-08-02 20:44 ./usr/share/doc/mace2/examples/basic/ordered_semi.out -rw-r--r-- root/root 358 2001-06-18 14:46 ./usr/share/doc/mace2/examples/basic/tba.in -rw-r--r-- root/root 6 2003-07-17 19:56 ./usr/share/doc/mace2/examples/basic/program -rw-r--r-- root/root 616 2001-06-18 14:40 ./usr/share/doc/mace2/examples/basic/ring.in -rw-r--r-- root/root 2070 2004-08-02 20:44 ./usr/share/doc/mace2/examples/basic/noncommutative_group.out -rwxr-xr-x root/root 722 2003-08-07 01:13 ./usr/share/doc/mace2/examples/Run_all -rw-r--r-- root/root 888 2003-08-19 20:31 ./usr/share/doc/mace2/README.Ivy -rw-r--r-- root/root 1605 2013-06-18 21:07 ./usr/share/doc/mace2/copyright -rw-r--r-- root/root 79782 2013-06-18 21:10 ./usr/share/doc/mace2/anldp.html chroot-autobuild/build/buildd/formed_3.3f-1.1_armhf.deb: drwxr-xr-x root/root 0 2013-06-18 21:11 ./ drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/bin/ -rwxr-xr-x root/root 232796 2013-06-18 21:11 ./usr/bin/formed drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/ drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/man/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/man/man1/ -rw-r--r-- root/root 911 2013-06-18 21:10 ./usr/share/man/man1/formed.1.gz drwxr-xr-x root/root 0 2013-06-18 21:10 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-06-18 21:11 ./usr/share/doc/formed/ -rw-r--r-- root/root 384 2013-06-18 21:07 ./usr/share/doc/formed/changelog.Debian.gz -rw-r--r-- root/root 1426 2003-07-21 19:29 ./usr/share/doc/formed/README -rw-r--r-- root/root 1605 2013-06-18 21:07 ./usr/share/doc/formed/copyright otter_3.3f-1.1_armhf.changes: Format: 1.8 Date: Tue, 11 Oct 2011 19:12:10 +0200 Source: otter Binary: otter mace2 formed Architecture: armhf Version: 3.3f-1.1 Distribution: saucy Urgency: low Maintainer: Ubuntu/armhf Build Daemon Changed-By: Bart Martens Description: formed - formula editor for first-order logic formulae mace2 - program that searches for finite models of first-order statements otter - resolution-style theorem prover Closes: 555879 Changes: otter (3.3f-1.1) unstable; urgency=low . * Non-maintainer upload. * source/formed/Makefile: Added -lX11 -lXt. Closes: #555879. * Fixed debhelper-but-no-misc-depends. * Fixed debian-rules-ignores-make-clean-error. Checksums-Sha1: 5de5995dbb74312370b38fdb88ce55d266ae0023 741932 otter_3.3f-1.1_armhf.deb 9c03dc4448c6387c5f2aa351b55b2593dc0f7dc0 475944 mace2_3.3f-1.1_armhf.deb 1d404f1cd54fe42801b1f949365f2bd6ebe1c16a 136498 formed_3.3f-1.1_armhf.deb Checksums-Sha256: c7eed43d094036b249967dac8217c7772f4449ebe0d283a36d29786235d052fa 741932 otter_3.3f-1.1_armhf.deb 3ad57bca14f655ef89c43adba0d5c5ac90e09585b505454cb08720ded44713a3 475944 mace2_3.3f-1.1_armhf.deb e97bea0795abe23a2a16261bd3d0e2162afe952f6257562f8d00ee5cac6c8ce6 136498 formed_3.3f-1.1_armhf.deb Files: 798a2191e0225fb76bce044c3129ecdf 741932 math optional otter_3.3f-1.1_armhf.deb b568ba1f3b30a087ed0e13242c4e9727 475944 math optional mace2_3.3f-1.1_armhf.deb 83acdcf9a05ae552b5e23291f5e7c716 136498 math optional formed_3.3f-1.1_armhf.deb ****************************************************************************** Built successfully NOTE: The package could have used binaries from the following packages (access time changed) without a source dependency: tetex-bin: /usr/bin/dvips ****************************************************************************** Finished at 20130618-2111 Build needed 00:04:08, 33216k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', 'd64f4161129c4b39fccd5a02d4eb1c15baf810a1'] Scanning for processes to kill in build /home/buildd/build-d64f4161129c4b39fccd5a02d4eb1c15baf810a1/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'd64f4161129c4b39fccd5a02d4eb1c15baf810a1'] Unmounting chroot for build d64f4161129c4b39fccd5a02d4eb1c15baf810a1... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'd64f4161129c4b39fccd5a02d4eb1c15baf810a1'] Removing build d64f4161129c4b39fccd5a02d4eb1c15baf810a1