sbuild (Debian sbuild) 0.62.6 (07 Dec 2011) on build04.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ otter 3.3f-1.1 (armhf) 04 May 2012 12:39 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: otter Version: 3.3f-1.1 Source Version: 3.3f-1.1 Distribution: testing Architecture: armhf I: NOTICE: Log filtering will replace 'build/otter-IIRRtF/otter-3.3f' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/otter-IIRRtF' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-d27d50e9-db57-4079-a494-f7c0b69f802c' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Get:1 http://repo.raspbian.lan testing InRelease [3588 B] Get:2 http://repo.raspbian.lan testing/main Sources [5925 kB] Get:3 http://repo.raspbian.lan testing/main armhf Packages [4696 kB] Ign http://repo.raspbian.lan testing/main TranslationIndex Ign http://repo.raspbian.lan testing/main Translation-en Fetched 10.6 MB in 23s (458 kB/s) Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... Need to get 2564 kB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main otter 3.3f-1.1 (dsc) [1703 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main otter 3.3f-1.1 (tar) [2555 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main otter 3.3f-1.1 (diff) [7248 B] Fetched 2564 kB in 0s (8822 kB/s) Download complete and in download only mode Check arch ────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-85UkSC/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/704 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 10678 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 5), libxaw7-dev, hevea Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 5), libxaw7-dev, hevea dpkg-deb: building package `sbuild-build-depends-otter-dummy' in `/«BUILDDIR»/resolver-eVo8Xu/apt_archive/sbuild-build-depends-otter-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install otter build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils debhelper ed file fontconfig-config gettext gettext-base ghostscript groff-base gs-cjk-resource gsfonts hevea html2text intltool-debian libavahi-client3 libavahi-common-data libavahi-common3 libcroco3 libcups2 libcupsimage2 libdbus-1-3 libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 libglib2.0-0 libgnutls26 libgpg-error0 libgs9 libgs9-common libgssapi-krb5-2 libice-dev libice6 libidn11 libijs-0.35 libjasper1 libjbig0 libjbig2dec0 libjpeg8 libk5crypto3 libkeyutils1 libkpathsea5 libkrb5-3 libkrb5support0 liblcms1 liblcms2-2 libmagic1 libnetpbm10 libopenjpeg2 libp11-kit0 libpaper-utils libpaper1 libpcre3 libpipeline1 libpng12-0 libpoppler13 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libtasn1-3 libtiff4 libunistring0 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxaw7-dev libxcb1 libxcb1-dev libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxml2 libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxt-dev libxt6 luatex man-db mime-support netpbm ocaml-base-nox po-debconf tex-common texlive-base texlive-binaries texlive-common texlive-doc-base ttf-dejavu-core x11-common x11proto-core-dev x11proto-input-dev x11proto-kb-dev x11proto-xext-dev xorg-sgml-doctools xtrans-dev Suggested packages: wamerican wordlist whois vacation dh-make gettext-doc ghostscript-cups ghostscript-x hpijs groff fonts-ipafont-mincho fonts-ipafont-gothic ttf-arphic-ukai ttf-arphic-uming fonts-unfonts-core hevea-doc cups-common rng-tools krb5-doc krb5-user libice-doc libjasper-runtime liblcms-utils liblcms2-utils libsm-doc libxaw-doc libxcb-doc libxext-doc libxt-doc less www-browser libmail-box-perl perl-tk xpdf-reader pdf-viewer gv postscript-viewer Recommended packages: curl wget lynx-cur autopoint cmap-adobe-japan1 cmap-adobe-cns1 cmap-adobe-gb1 cmap-adobe-korea1 cmap-adobe-japan2 dbus libglib2.0-data shared-mime-info fonts-droid krb5-locales poppler-data libx11-doc xml-core texlive-luatex libmail-sendmail-perl lmodern The following NEW packages will be installed: bsdmainutils debhelper ed file fontconfig-config gettext gettext-base ghostscript groff-base gs-cjk-resource gsfonts hevea html2text intltool-debian libavahi-client3 libavahi-common-data libavahi-common3 libcroco3 libcups2 libcupsimage2 libdbus-1-3 libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 libglib2.0-0 libgnutls26 libgpg-error0 libgs9 libgs9-common libgssapi-krb5-2 libice-dev libice6 libidn11 libijs-0.35 libjasper1 libjbig0 libjbig2dec0 libjpeg8 libk5crypto3 libkeyutils1 libkpathsea5 libkrb5-3 libkrb5support0 liblcms1 liblcms2-2 libmagic1 libnetpbm10 libopenjpeg2 libp11-kit0 libpaper-utils libpaper1 libpcre3 libpipeline1 libpng12-0 libpoppler13 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libtasn1-3 libtiff4 libunistring0 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxaw7-dev libxcb1 libxcb1-dev libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxml2 libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxt-dev libxt6 luatex man-db mime-support netpbm ocaml-base-nox po-debconf sbuild-build-depends-otter-dummy tex-common texlive-base texlive-binaries texlive-common texlive-doc-base ttf-dejavu-core x11-common x11proto-core-dev x11proto-input-dev x11proto-kb-dev x11proto-xext-dev xorg-sgml-doctools xtrans-dev debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 105 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/61.0 MB of archives. After this operation, 136 MB of additional disk space will be used. Selecting previously unselected package libpcre3:armhf. (Reading database ... 10678 files and directories currently installed.) Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.30-4_armhf.deb) ... Selecting previously unselected package libpipeline1:armhf. Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.1-1_armhf.deb) ... Selecting previously unselected package libgpg-error0:armhf. Unpacking libgpg-error0:armhf (from .../libgpg-error0_1.10-3_armhf.deb) ... Selecting previously unselected package libgcrypt11:armhf. Unpacking libgcrypt11:armhf (from .../libgcrypt11_1.5.0-3_armhf.deb) ... Selecting previously unselected package libp11-kit0:armhf. Unpacking libp11-kit0:armhf (from .../libp11-kit0_0.12-3_armhf.deb) ... Selecting previously unselected package libtasn1-3:armhf. Unpacking libtasn1-3:armhf (from .../libtasn1-3_2.12-1_armhf.deb) ... Selecting previously unselected package libgnutls26:armhf. Unpacking libgnutls26:armhf (from .../libgnutls26_2.12.18-1_armhf.deb) ... Selecting previously unselected package libkrb5support0:armhf. Unpacking libkrb5support0:armhf (from .../libkrb5support0_1.10+dfsg~beta1-2_armhf.deb) ... Selecting previously unselected package libk5crypto3:armhf. Unpacking libk5crypto3:armhf (from .../libk5crypto3_1.10+dfsg~beta1-2_armhf.deb) ... Selecting previously unselected package libkeyutils1:armhf. Unpacking libkeyutils1:armhf (from .../libkeyutils1_1.5.2-2_armhf.deb) ... Selecting previously unselected package libkrb5-3:armhf. Unpacking libkrb5-3:armhf (from .../libkrb5-3_1.10+dfsg~beta1-2_armhf.deb) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Unpacking libgssapi-krb5-2:armhf (from .../libgssapi-krb5-2_1.10+dfsg~beta1-2_armhf.deb) ... Selecting previously unselected package libidn11:armhf. Unpacking libidn11:armhf (from .../libidn11_1.24-2_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_5.11-1_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.7.8.dfsg-9_armhf.deb) ... Selecting previously unselected package libavahi-common-data:armhf. Unpacking libavahi-common-data:armhf (from .../libavahi-common-data_0.6.31-1_armhf.deb) ... Selecting previously unselected package libavahi-common3:armhf. Unpacking libavahi-common3:armhf (from .../libavahi-common3_0.6.31-1_armhf.deb) ... Selecting previously unselected package libdbus-1-3:armhf. Unpacking libdbus-1-3:armhf (from .../libdbus-1-3_1.5.12-1_armhf.deb) ... Selecting previously unselected package libavahi-client3:armhf. Unpacking libavahi-client3:armhf (from .../libavahi-client3_0.6.31-1_armhf.deb) ... Selecting previously unselected package libffi5:armhf. Unpacking libffi5:armhf (from .../libffi5_3.0.10-3+b3_armhf.deb) ... Selecting previously unselected package libglib2.0-0:armhf. Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.32.0-4_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.5-1_armhf.deb) ... Selecting previously unselected package libcups2:armhf. Unpacking libcups2:armhf (from .../libcups2_1.5.2-5_armhf.deb) ... Selecting previously unselected package libjpeg8:armhf. Unpacking libjpeg8:armhf (from .../libjpeg8_8d-1_armhf.deb) ... Selecting previously unselected package libpng12-0:armhf. Unpacking libpng12-0:armhf (from .../libpng12-0_1.2.49-1_armhf.deb) ... Selecting previously unselected package libjbig0:armhf. Unpacking libjbig0:armhf (from .../libjbig0_2.0-2_armhf.deb) ... Selecting previously unselected package libtiff4:armhf. Unpacking libtiff4:armhf (from .../libtiff4_3.9.6-5_armhf.deb) ... Selecting previously unselected package libcupsimage2:armhf. Unpacking libcupsimage2:armhf (from .../libcupsimage2_1.5.2-5_armhf.deb) ... Selecting previously unselected package libexpat1:armhf. Unpacking libexpat1:armhf (from .../libexpat1_2.1.0-1_armhf.deb) ... Selecting previously unselected package libfreetype6:armhf. Unpacking libfreetype6:armhf (from .../libfreetype6_2.4.9-1_armhf.deb) ... Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-3.1_all.deb) ... Selecting previously unselected package libfontconfig1:armhf. Unpacking libfontconfig1:armhf (from .../libfontconfig1_2.8.0-3.1_armhf.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.6+12_all.deb) ... Selecting previously unselected package libice6:armhf. Unpacking libice6:armhf (from .../libice6_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libjasper1:armhf. Unpacking libjasper1:armhf (from .../libjasper1_1.900.1-13_armhf.deb) ... Selecting previously unselected package libsm6:armhf. Unpacking libsm6:armhf (from .../libsm6_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package libxau6:armhf. Unpacking libxau6:armhf (from .../libxau6_1%3a1.0.7-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-1_armhf.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.4.4-4_all.deb) ... Selecting previously unselected package libx11-6:armhf. Unpacking libx11-6:armhf (from .../libx11-6_2%3a1.4.4-4_armhf.deb) ... Selecting previously unselected package libxext6:armhf. Unpacking libxext6:armhf (from .../libxext6_2%3a1.3.1-2_armhf.deb) ... Selecting previously unselected package libxt6:armhf. Unpacking libxt6:armhf (from .../libxt6_1%3a1.1.3-1_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.10-2_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.1_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-7_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.1-2_armhf.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5+rpi1_armhf.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.52-1_all.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-5+rpi1_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+nmu2_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120419_all.deb) ... Selecting previously unselected package ed. Unpacking ed (from .../archives/ed_1.6-1_armhf.deb) ... Selecting previously unselected package libijs-0.35. Unpacking libijs-0.35 (from .../libijs-0.35_0.35-8_armhf.deb) ... Selecting previously unselected package libjbig2dec0. Unpacking libjbig2dec0 (from .../libjbig2dec0_0.11+20120125-1_armhf.deb) ... Selecting previously unselected package liblcms2-2. Unpacking liblcms2-2 (from .../liblcms2-2_2.2+git20110628-2.1_armhf.deb) ... Selecting previously unselected package libpaper1. Unpacking libpaper1 (from .../libpaper1_1.1.24+nmu1_armhf.deb) ... Selecting previously unselected package gs-cjk-resource. Unpacking gs-cjk-resource (from .../gs-cjk-resource_1.20100103-3_all.deb) ... Selecting previously unselected package libgs9-common. Unpacking libgs9-common (from .../libgs9-common_9.05~dfsg-4_all.deb) ... Selecting previously unselected package libgs9. Unpacking libgs9 (from .../libgs9_9.05~dfsg-4_armhf.deb) ... Selecting previously unselected package gsfonts. Unpacking gsfonts (from .../gsfonts_1%3a8.11+urwcyr1.0.7~pre44-4.2_all.deb) ... Selecting previously unselected package ghostscript. Unpacking ghostscript (from .../ghostscript_9.05~dfsg-4_armhf.deb) ... Selecting previously unselected package libnetpbm10. Unpacking libnetpbm10 (from .../libnetpbm10_2%3a10.0-15_armhf.deb) ... Selecting previously unselected package netpbm. Unpacking netpbm (from .../netpbm_2%3a10.0-15_armhf.deb) ... Selecting previously unselected package tex-common. Unpacking tex-common (from .../tex-common_2.10_all.deb) ... Selecting previously unselected package texlive-common. Unpacking texlive-common (from .../texlive-common_2009-15_all.deb) ... Selecting previously unselected package texlive-doc-base. Unpacking texlive-doc-base (from .../texlive-doc-base_2009-2_all.deb) ... Selecting previously unselected package libpaper-utils. Unpacking libpaper-utils (from .../libpaper-utils_1.1.24+nmu1_armhf.deb) ... Selecting previously unselected package liblcms1. Unpacking liblcms1 (from .../liblcms1_1.19.dfsg-1_armhf.deb) ... Selecting previously unselected package libopenjpeg2. Unpacking libopenjpeg2 (from .../libopenjpeg2_1.3+dfsg-4_armhf.deb) ... Selecting previously unselected package libpoppler13. Unpacking libpoppler13 (from .../libpoppler13_0.16.7-3_armhf.deb) ... Selecting previously unselected package luatex. Unpacking luatex (from .../luatex_0.70.1-3_armhf.deb) ... Selecting previously unselected package libkpathsea5. Unpacking libkpathsea5 (from .../libkpathsea5_2009-12_armhf.deb) ... Selecting previously unselected package texlive-binaries. Unpacking texlive-binaries (from .../texlive-binaries_2009-12_armhf.deb) ... Selecting previously unselected package texlive-base. Unpacking texlive-base (from .../texlive-base_2009-15_all.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-2_armhf.deb) ... Selecting previously unselected package hevea. Unpacking hevea (from .../archives/hevea_1.10-14_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.23-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.7-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-1_all.deb) ... Selecting previously unselected package x11proto-kb-dev. Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.6-1_all.deb) ... Selecting previously unselected package xtrans-dev. Unpacking xtrans-dev (from .../xtrans-dev_1.2.6-2_all.deb) ... Selecting previously unselected package libxcb1-dev:armhf. Unpacking libxcb1-dev:armhf (from .../libxcb1-dev_1.8.1-1_armhf.deb) ... Selecting previously unselected package libx11-dev:armhf. Unpacking libx11-dev:armhf (from .../libx11-dev_2%3a1.4.4-4_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_armhf.deb) ... Selecting previously unselected package libxt-dev:armhf. Unpacking libxt-dev:armhf (from .../libxt-dev_1%3a1.1.3-1_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.10-2_armhf.deb) ... Selecting previously unselected package sbuild-build-depends-otter-dummy. Unpacking sbuild-build-depends-otter-dummy (from .../sbuild-build-depends-otter-dummy.deb) ... Setting up libpcre3:armhf (1:8.30-4) ... Setting up libpipeline1:armhf (1.2.1-1) ... Setting up libgpg-error0:armhf (1.10-3) ... Setting up libgcrypt11:armhf (1.5.0-3) ... Setting up libp11-kit0:armhf (0.12-3) ... Setting up libtasn1-3:armhf (2.12-1) ... Setting up libgnutls26:armhf (2.12.18-1) ... Setting up libkrb5support0:armhf (1.10+dfsg~beta1-2) ... Setting up libk5crypto3:armhf (1.10+dfsg~beta1-2) ... Setting up libkeyutils1:armhf (1.5.2-2) ... Setting up libkrb5-3:armhf (1.10+dfsg~beta1-2) ... Setting up libgssapi-krb5-2:armhf (1.10+dfsg~beta1-2) ... Setting up libidn11:armhf (1.24-2) ... Setting up libmagic1:armhf (5.11-1) ... Setting up libxml2:armhf (2.7.8.dfsg-9) ... Setting up libavahi-common-data:armhf (0.6.31-1) ... Setting up libavahi-common3:armhf (0.6.31-1) ... Setting up libdbus-1-3:armhf (1.5.12-1) ... Setting up libavahi-client3:armhf (0.6.31-1) ... Setting up libffi5:armhf (3.0.10-3+b3) ... Setting up libglib2.0-0:armhf (2.32.0-4) ... No schema files found: doing nothing. Setting up libcroco3:armhf (0.6.5-1) ... Setting up libcups2:armhf (1.5.2-5) ... Setting up libjpeg8:armhf (8d-1) ... Setting up libpng12-0:armhf (1.2.49-1) ... Setting up libjbig0:armhf (2.0-2) ... Setting up libtiff4:armhf (3.9.6-5) ... Setting up libcupsimage2:armhf (1.5.2-5) ... Setting up libexpat1:armhf (2.1.0-1) ... Setting up libfreetype6:armhf (2.4.9-1) ... Setting up ttf-dejavu-core (2.33-2) ... Setting up fontconfig-config (2.8.0-3.1) ... Setting up libfontconfig1:armhf (2.8.0-3.1) ... Setting up x11-common (1:7.6+12) ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:armhf (2:1.0.8-2) ... Setting up libjasper1:armhf (1.900.1-13) ... Setting up libsm6:armhf (2:1.2.1-2) ... Setting up libunistring0:armhf (0.9.3-5) ... Setting up libxau6:armhf (1:1.0.7-1) ... Setting up libxdmcp6:armhf (1:1.1.1-1) ... Setting up libxcb1:armhf (1.8.1-1) ... Setting up libx11-data (2:1.4.4-4) ... Setting up libx11-6:armhf (2:1.4.4-4) ... Setting up libxext6:armhf (2:1.3.1-2) ... Setting up libxt6:armhf (1:1.1.3-1) ... 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.10-2) ... Setting up bsdmainutils (9.0.1) ... 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 groff-base (1.21-7) ... Setting up man-db (2.6.1-2) ... Building database of manual pages ... Setting up file (5.11-1) ... Setting up gettext-base (0.18.1.1-5+rpi1) ... Setting up mime-support (3.52-1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5+rpi1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20120419) ... Setting up ed (1.6-1) ... Setting up libijs-0.35 (0.35-8) ... Setting up libjbig2dec0 (0.11+20120125-1) ... Setting up liblcms2-2 (2.2+git20110628-2.1) ... Setting up libpaper1 (1.1.24+nmu1) ... Creating config file /etc/papersize with new version Setting up libgs9-common (9.05~dfsg-4) ... Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2) ... Setting up libnetpbm10 (2:10.0-15) ... Setting up netpbm (2:10.0-15) ... Setting up tex-common (2.10) ... Creating config file /etc/texmf/texmf.d/05TeXMF.cnf with new version Creating config file /etc/texmf/texmf.d/15Plain.cnf with new version Creating config file /etc/texmf/texmf.d/45TeXinputs.cnf with new version Creating config file /etc/texmf/texmf.d/55Fonts.cnf with new version Creating config file /etc/texmf/texmf.d/65BibTeX.cnf with new version Creating config file /etc/texmf/texmf.d/75DviPS.cnf with new version Creating config file /etc/texmf/texmf.d/80DVIPDFMx.cnf with new version Creating config file /etc/texmf/texmf.d/85Misc.cnf with new version Creating config file /etc/texmf/texmf.d/90TeXDoc.cnf with new version Creating config file /etc/texmf/texmf.d/95NonPath.cnf with new version Creating config file /etc/texmf/updmap.d/00updmap.cfg with new version Creating config file /etc/texmf/texmf.cnf with new version 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 texlive-common (2009-15) ... Setting up texlive-doc-base (2009-2) ... Setting up libpaper-utils (1.1.24+nmu1) ... Setting up liblcms1 (1.19.dfsg-1) ... Setting up libopenjpeg2 (1.3+dfsg-4) ... Setting up libpoppler13 (0.16.7-3) ... Setting up luatex (0.70.1-3) ... texlive-base is not ready, cannot create formats Setting up libkpathsea5 (2009-12) ... Setting up texlive-binaries (2009-12) ... 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 ocaml-base-nox (3.12.1-2) ... Setting up xorg-sgml-doctools (1:1.10-1) ... Setting up x11proto-core-dev (7.0.23-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.7-1) ... Setting up libxdmcp-dev:armhf (1:1.1.1-1) ... Setting up x11proto-input-dev (2.2-1) ... Setting up x11proto-kb-dev (1.0.6-1) ... Setting up xtrans-dev (1.2.6-2) ... Setting up libxcb1-dev:armhf (1.8.1-1) ... Setting up libx11-dev:armhf (2:1.4.4-4) ... Setting up x11proto-xext-dev (7.2.1-1) ... Setting up libxext-dev:armhf (2:1.3.1-2) ... Setting up libxt-dev:armhf (1:1.1.3-1) ... 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.10-2) ... Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Setting up texlive-base (2009-15) ... Creating config file /etc/texmf/dvips/config/config.ps with new version Creating config file /etc/texmf/tex/generic/config/pdftexconfig.tex with new version Creating config file /etc/texmf/dvipdfmx/dvipdfmx.cfg with new version Creating config file /etc/texmf/xdvi/XDvi with new version Running mktexlsr. This may take some time... done. Building format(s) --all --cnffile /etc/texmf/fmt.d/10texlive-base.cnf. This may take some time... done. Processing triggers for tex-common ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building e-tex based formats --byhyphen /var/lib/texmf/tex/generic/config/language.def. This may take some time... done. Setting up libgs9 (9.05~dfsg-4) ... Setting up ghostscript (9.05~dfsg-4) ... Setting up gs-cjk-resource (1.20100103-3) ... Setting up hevea (1.10-14) ... Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Setting up sbuild-build-depends-otter-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-2-mx5 armhf (armv7l) Toolchain package versions: binutils_2.22-6 dpkg-dev_1.16.2 g++-4.6_4.6.3-1.1+rpi2 gcc-4.6_4.6.3-1.1+rpi2 libc6-dev_2.13-30 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 linux-libc-dev_3.2.12-1 Package versions: apt_0.8.15.10 base-files_6.7 base-passwd_3.5.24 bash_4.2-2 binutils_2.22-6 bsdmainutils_9.0.1 bsdutils_1:2.20.1-4 build-essential_11.5+b1 bzip2_1.0.6-1 coreutils_8.13-3.1 cpp_4:4.6.2-4 cpp-4.6_4.6.3-1.1+rpi2 dash_0.5.7-3 debconf_1.5.42 debfoster_2.7-1.1 debhelper_9.20120419 debian-archive-keyring_2010.08.28 debianutils_4.3 diffutils_1:3.2-2 dpkg_1.16.2 dpkg-dev_1.16.2 e2fslibs_1.42.2-2 e2fsprogs_1.42.2-2 ed_1.6-1 fakeroot_1.18.3-1 file_5.11-1 findutils_4.4.2-4 fontconfig-config_2.8.0-3.1 g++_4:4.6.2-4 g++-4.6_4.6.3-1.1+rpi2 gcc_4:4.6.2-4 gcc-4.4-base_4.4.7-1 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-1.1+rpi2 gcc-4.6-base_4.6.3-1.1+rpi2 gcc-4.7-base_4.7.0-1.1+rpi gettext_0.18.1.1-5+rpi1 gettext-base_0.18.1.1-5+rpi1 ghostscript_9.05~dfsg-4 gnupg_1.4.12-4 gpgv_1.4.12-4 grep_2.11-3 groff-base_1.21-7 gs-cjk-resource_1.20100103-3 gsfonts_1:8.11+urwcyr1.0.7~pre44-4.2 gzip_1.4-5 hevea_1.10-14 hostname_3.11 html2text_1.3.2a-15 initscripts_2.88dsf-22.1 insserv_1.14.0-3 intltool-debian_0.35.0+20060710.1 libacl1_2.2.51-5 libattr1_1:2.4.46-5 libavahi-client3_0.6.31-1 libavahi-common-data_0.6.31-1 libavahi-common3_0.6.31-1 libblkid1_2.20.1-4 libbz2-1.0_1.0.6-1 libc-bin_2.13-30 libc-dev-bin_2.13-30 libc6_2.13-30 libc6-dev_2.13-30 libclass-isa-perl_0.36-3 libcomerr2_1.42.2-2 libcroco3_0.6.5-1 libcups2_1.5.2-5 libcupsimage2_1.5.2-5 libdb5.1_5.1.29-1 libdbus-1-3_1.5.12-1 libdpkg-perl_1.16.2 libexpat1_2.1.0-1 libffi5_3.0.10-3+b3 libfile-fcntllock-perl_0.14-1 libfontconfig1_2.8.0-3.1 libfreetype6_2.4.9-1 libgc1c2_1:7.1-8 libgcc1_1:4.7.0-1.1+rpi libgcrypt11_1.5.0-3 libgdbm3_1.8.3-10 libglib2.0-0_2.32.0-4 libgmp10_2:5.0.4+dfsg-1 libgnutls26_2.12.18-1 libgomp1_4.7.0-1.1+rpi libgpg-error0_1.10-3 libgs9_9.05~dfsg-4 libgs9-common_9.05~dfsg-4 libgssapi-krb5-2_1.10+dfsg~beta1-2 libice-dev_2:1.0.8-2 libice6_2:1.0.8-2 libidn11_1.24-2 libijs-0.35_0.35-8 libjasper1_1.900.1-13 libjbig0_2.0-2 libjbig2dec0_0.11+20120125-1 libjpeg8_8d-1 libk5crypto3_1.10+dfsg~beta1-2 libkeyutils1_1.5.2-2 libkpathsea5_2009-12 libkrb5-3_1.10+dfsg~beta1-2 libkrb5support0_1.10+dfsg~beta1-2 liblcms1_1.19.dfsg-1 liblcms2-2_2.2+git20110628-2.1 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20110809-3 libmagic1_5.11-1 libmount1_2.20.1-4 libmpc2_0.9-4 libmpfr4_3.1.0-4 libncurses5_5.9-6 libncursesw5_5.9-6 libnetpbm10_2:10.0-15 libopenjpeg2_1.3+dfsg-4 libp11-kit0_0.12-3 libpam-modules_1.1.3-7 libpam-modules-bin_1.1.3-7 libpam-runtime_1.1.3-7 libpam0g_1.1.3-7 libpaper-utils_1.1.24+nmu1 libpaper1_1.1.24+nmu1 libpcre3_1:8.30-4 libpipeline1_1.2.1-1 libpng12-0_1.2.49-1 libpoppler13_0.16.7-3 libpthread-stubs0_0.3-3 libpthread-stubs0-dev_0.3-3 libreadline6_6.2-8 libselinux1_2.1.9-2 libsemanage-common_2.1.6-2 libsemanage1_2.1.6-2 libsepol1_2.1.4-1 libslang2_2.2.4-7 libsm-dev_2:1.2.1-2 libsm6_2:1.2.1-2 libss2_1.42.2-2 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 libswitch-perl_2.16-2 libtasn1-3_2.12-1 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libtiff4_3.9.6-5 libtimedate-perl_1.2000-1 libtinfo5_5.9-6 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libustr-1.0-1_1.0.4-2 libuuid1_2.20.1-4 libx11-6_2:1.4.4-4 libx11-data_2:1.4.4-4 libx11-dev_2:1.4.4-4 libxau-dev_1:1.0.7-1 libxau6_1:1.0.7-1 libxaw7_2:1.0.10-2 libxaw7-dev_2:1.0.10-2 libxcb1_1.8.1-1 libxcb1-dev_1.8.1-1 libxdmcp-dev_1:1.1.1-1 libxdmcp6_1:1.1.1-1 libxext-dev_2:1.3.1-2 libxext6_2:1.3.1-2 libxml2_2.7.8.dfsg-9 libxmu-dev_2:1.1.1-1 libxmu-headers_2:1.1.1-1 libxmu6_2:1.1.1-1 libxpm-dev_1:3.5.10-1 libxpm4_1:3.5.10-1 libxt-dev_1:1.1.3-1 libxt6_1:1.1.3-1 linux-libc-dev_3.2.12-1 login_1:4.1.5-1 lsb-base_4.1+Debian0 luatex_0.70.1-3 make_3.81-8.1 man-db_2.6.1-2 mawk_1.3.3-17 mime-support_3.52-1 mount_2.20.1-4 multiarch-support_2.13-30 ncurses-base_5.9-6 ncurses-bin_5.9-6 netpbm_2:10.0-15 ocaml-base-nox_3.12.1-2 passwd_1:4.1.5-1 patch_2.6.1-3 perl_5.14.2-9 perl-base_5.14.2-9 perl-modules_5.14.2-9 po-debconf_1.0.16+nmu2 readline-common_6.2-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-otter-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.6 sysv-rc_2.88dsf-22.1 sysvinit_2.88dsf-22.1 sysvinit-utils_2.88dsf-22.1 tar_1.26-4 tex-common_2.10 texlive-base_2009-15 texlive-binaries_2009-12 texlive-common_2009-15 texlive-doc-base_2009-2 ttf-dejavu-core_2.33-2 tzdata_2012b-1 ucf_3.0025+nmu3 util-linux_2.20.1-4 x11-common_1:7.6+12 x11proto-core-dev_7.0.23-1 x11proto-input-dev_2.2-1 x11proto-kb-dev_1.0.6-1 x11proto-xext-dev_7.2.1-1 xorg-sgml-doctools_1:1.10-1 xtrans-dev_1.2.6-2 xz-utils_5.1.1alpha+20110809-3 zlib1g_1:1.2.6.dfsg-2 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error 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 Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=buildd PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/usr/games SCHROOT_CHROOT_NAME=testing-armhf-sbuild SCHROOT_COMMAND=env SCHROOT_GID=108 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=testing-armhf-sbuild-d27d50e9-db57-4079-a494-f7c0b69f802c SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── 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 fakeroot debian/rules clean dh_testdir dh_testroot rm -f build-stamp /usr/bin/make realclean make[1]: Entering directory `/«PKGBUILDDIR»' cd source && /usr/bin/make realclean make[2]: Entering directory `/«PKGBUILDDIR»/source' /bin/rm -f *.o *.a otter *~ make[2]: Leaving directory `/«PKGBUILDDIR»/source' cd source/formed && /usr/bin/make realclean make[2]: Entering directory `/«PKGBUILDDIR»/source/formed' /bin/rm -f *.o formed make[2]: Leaving directory `/«PKGBUILDDIR»/source/formed' cd mace2 && /usr/bin/make realclean make[2]: Entering directory `/«PKGBUILDDIR»/mace2' /bin/rm -f *.o mace2 anldp *~ make[2]: Leaving directory `/«PKGBUILDDIR»/mace2' cd examples && /usr/bin/make realclean make[2]: Entering directory `/«PKGBUILDDIR»/examples' /bin/rm -f */*.out[0-9]* *~ */*~ Run_all.out.* make[2]: Leaving directory `/«PKGBUILDDIR»/examples' cd examples-mace2 && /usr/bin/make realclean make[2]: Entering directory `/«PKGBUILDDIR»/examples-mace2' /bin/rm -f */*.out[0-9]* *~ */*~ Run_all.out.* make[2]: Leaving directory `/«PKGBUILDDIR»/examples-mace2' cd documents && /usr/bin/make realclean make[2]: Entering directory `/«PKGBUILDDIR»/documents' rm -f *.haux *.html *.htoc *.image.tex *.png make[2]: Leaving directory `/«PKGBUILDDIR»/documents' /bin/rm -f bin/* /bin/rm -f *~ make[1]: Leaving directory `/«PKGBUILDDIR»' 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 `/«PKGBUILDDIR»' cd source && /usr/bin/make all make[2]: Entering directory `/«PKGBUILDDIR»/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] io.c: In function 'process_op_command': io.c:1592:16: warning: variable 'rc' set but not used [-Wunused-but-set-variable] 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] fpa.c:201:26: warning: unused variable 'tp2' [-Wunused-variable] fpa.c:201:20: warning: unused variable 'tp1' [-Wunused-variable] fpa.c: In function 'delete_fpa_tab': fpa.c:251:26: warning: unused variable 'tp2' [-Wunused-variable] fpa.c:251:20: warning: unused variable 'tp1' [-Wunused-variable] fpa.c: In function 'next_term': fpa.c:589:20: warning: unused variable 'tp' [-Wunused-variable] fpa.c: In function 'get_leaf_node': fpa.c:393:16: warning: 'c' may be used uninitialized in this function [-Wuninitialized] fpa.c: In function 'term_fpa_rec': fpa.c:216:24: warning: 'c' may be used uninitialized in this function [-Wuninitialized] fpa.c:200:16: note: 'c' was declared here 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] 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] clause.c: In function 'get_ancestors2': clause.c:2803:7: warning: variable 'level' set but not used [-Wunused-but-set-variable] 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] 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] 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] check.c: In function 'renumber_vars_subst': check.c:868:10: warning: variable 'ok' set but not used [-Wunused-but-set-variable] check.c: In function 'build_proof_object': check.c:2647:18: warning: variable 'd' set but not used [-Wunused-but-set-variable] check.c:2646:14: warning: variable 'i' set but not used [-Wunused-but-set-variable] check.c:2646:7: warning: variable 'level' set but not used [-Wunused-but-set-variable] check.c: At top level: check.c:165:13: warning: 'p_gen_tab' defined but not used [-Wunused-function] check.c: In function 'identity_paramod': check.c:848:13: warning: 'r' may be used uninitialized in this function [-Wuninitialized] check.c: In function 'translate_step': check.c:2196:28: warning: 'into_node' may be used uninitialized in this function [-Wuninitialized] check.c:2138:41: note: 'into_node' was declared here check.c:2195:28: warning: 'from_node' may be used uninitialized in this function [-Wuninitialized] check.c:2138:29: note: 'from_node' was declared here check.c:1946:3: warning: 'sat_map' may be used uninitialized in this function [-Wuninitialized] check.c:1878:50: note: 'sat_map' was declared here check.c:1878:40: warning: 'sat_ids' may be used uninitialized in this function [-Wuninitialized] check.c:1764:3: warning: 'ip1' may be used uninitialized in this function [-Wuninitialized] check.c:1701:17: note: 'ip1' was declared here 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] case.c: In function 'possible_given_split': case.c:966:11: warning: variable 'rc' set but not used [-Wunused-but-set-variable] case.c: At top level: case.c:225:13: warning: 'p_literal_data' defined but not used [-Wunused-function] 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] 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] 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] overbeek.c: In function 'check_overbeek_world': overbeek.c:208:18: warning: variable 'rc' set but not used [-Wunused-but-set-variable] 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] multijust.c:813:13: warning: 'print_jhash' defined but not used [-Wunused-function] multijust.c:902:13: warning: 'print_jnode' defined but not used [-Wunused-function] multijust.c: In function 'multi_just_process': multijust.c:1013:5: warning: 'c' may be used uninitialized in this function [-Wuninitialized] multijust.c:962:18: note: 'c' was declared here 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] fpa2.c:86:2: warning: format '%d' expects argument of type 'int', but argument 3 has type 'struct term *' [-Wformat] 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] fpa2.c:144:7: warning: format '%d' expects argument of type 'int', but argument 3 has type 'struct term *' [-Wformat] 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 `/«PKGBUILDDIR»/source' cd source/formed && /usr/bin/make all make[2]: Entering directory `/«PKGBUILDDIR»/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] formed.c: In function 'arrange_box_quant': formed.c:907:24: warning: unused variable 'q' [-Wunused-variable] formed.c: At top level: formed.h:29:13: warning: 'all_lg_bits' defined but not used [-Wunused-variable] formed.h:35:13: warning: 'all_md_bits' defined but not used [-Wunused-variable] formed.h:40:13: warning: 'all_sm_bits' defined but not used [-Wunused-variable] formed.h:44:13: warning: 'and_lg_bits' defined but not used [-Wunused-variable] formed.h:50:13: warning: 'and_md_bits' defined but not used [-Wunused-variable] formed.h:55:13: warning: 'and_sm_bits' defined but not used [-Wunused-variable] formed.h:59:13: warning: 'exists_lg_bits' defined but not used [-Wunused-variable] formed.h:65:13: warning: 'exists_md_bits' defined but not used [-Wunused-variable] formed.h:71:13: warning: 'exists_sm_bits' defined but not used [-Wunused-variable] formed.h:75:13: warning: 'iff_lg_bits' defined but not used [-Wunused-variable] formed.h:81:13: warning: 'iff_md_bits' defined but not used [-Wunused-variable] formed.h:86:13: warning: 'iff_sm_bits' defined but not used [-Wunused-variable] formed.h:90:13: warning: 'imp_lg_bits' defined but not used [-Wunused-variable] formed.h:96:13: warning: 'imp_md_bits' defined but not used [-Wunused-variable] formed.h:101:13: warning: 'imp_sm_bits' defined but not used [-Wunused-variable] formed.h:105:13: warning: 'not_lg_bits' defined but not used [-Wunused-variable] formed.h:111:13: warning: 'not_md_bits' defined but not used [-Wunused-variable] formed.h:116:13: warning: 'not_sm_bits' defined but not used [-Wunused-variable] formed.h:120:13: warning: 'or_lg_bits' defined but not used [-Wunused-variable] formed.h:126:13: warning: 'or_md_bits' defined but not used [-Wunused-variable] formed.h:131:13: warning: 'or_sm_bits' defined but not used [-Wunused-variable] formed.h:135:13: warning: 'pattern_bits' defined but not used [-Wunused-variable] formed.c: In function 'main': formed.c:56:1: warning: control reaches end of non-void function [-Wreturn-type] 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] display.c: In function 'user_error': display.c:726:24: warning: variable 'message_text' set but not used [-Wunused-but-set-variable] display.c: At top level: formed.h:135:13: warning: 'pattern_bits' defined but not used [-Wunused-variable] display.c: In function 'setup_operator_pixmaps': display.c:688:1: warning: control reaches end of non-void function [-Wreturn-type] 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] callback.c: In function 'abbreviate_callback': callback.c:1348:21: warning: unused variable 'f' [-Wunused-variable] callback.c: In function 'edit_transform': callback.c:1392:31: warning: unused variable 'q' [-Wunused-variable] callback.c: In function 'conjoin_with_callback': callback.c:1651:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] callback.c: In function 'disjoin_with_callback': callback.c:1721:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] callback.c: In function 'add_quantify_callback': callback.c:1791:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] callback.c: In function 'insert_formula_callback': callback.c:1885:9: warning: unused variable 'i' [-Wunused-variable] callback.c: At top level: formed.h:29:13: warning: 'all_lg_bits' defined but not used [-Wunused-variable] formed.h:35:13: warning: 'all_md_bits' defined but not used [-Wunused-variable] formed.h:40:13: warning: 'all_sm_bits' defined but not used [-Wunused-variable] formed.h:44:13: warning: 'and_lg_bits' defined but not used [-Wunused-variable] formed.h:50:13: warning: 'and_md_bits' defined but not used [-Wunused-variable] formed.h:55:13: warning: 'and_sm_bits' defined but not used [-Wunused-variable] formed.h:59:13: warning: 'exists_lg_bits' defined but not used [-Wunused-variable] formed.h:65:13: warning: 'exists_md_bits' defined but not used [-Wunused-variable] formed.h:71:13: warning: 'exists_sm_bits' defined but not used [-Wunused-variable] formed.h:75:13: warning: 'iff_lg_bits' defined but not used [-Wunused-variable] formed.h:81:13: warning: 'iff_md_bits' defined but not used [-Wunused-variable] formed.h:86:13: warning: 'iff_sm_bits' defined but not used [-Wunused-variable] formed.h:90:13: warning: 'imp_lg_bits' defined but not used [-Wunused-variable] formed.h:96:13: warning: 'imp_md_bits' defined but not used [-Wunused-variable] formed.h:101:13: warning: 'imp_sm_bits' defined but not used [-Wunused-variable] formed.h:105:13: warning: 'not_lg_bits' defined but not used [-Wunused-variable] formed.h:111:13: warning: 'not_md_bits' defined but not used [-Wunused-variable] formed.h:116:13: warning: 'not_sm_bits' defined but not used [-Wunused-variable] formed.h:120:13: warning: 'or_lg_bits' defined but not used [-Wunused-variable] formed.h:126:13: warning: 'or_md_bits' defined but not used [-Wunused-variable] formed.h:131:13: warning: 'or_sm_bits' defined but not used [-Wunused-variable] formed.h:135:13: warning: 'pattern_bits' defined but not used [-Wunused-variable] callback.c: In function 'help_info_callback': callback.c:440:2: warning: 'help_list' may be used uninitialized in this function [-Wuninitialized] callback.c: In function 'edit_transform': callback.c:1416:14: warning: 'prev' may be used uninitialized in this function [-Wuninitialized] 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 `/«PKGBUILDDIR»/source/formed' cd mace2 && /usr/bin/make all make[2]: Entering directory `/«PKGBUILDDIR»/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] dp.c: In function 'clause_split': dp.c:1171:11: warning: 'iso_seta' may be used uninitialized in this function [-Wuninitialized] dp.c: In function 'dp_prover': dp.c:1336:19: warning: 'iso_set' may be used uninitialized in this function [-Wuninitialized] 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] generate.c: In function 'iso_constants': generate.c:1294:12: warning: variable 'n' set but not used [-Wunused-but-set-variable] generate.c: In function 'dp_trans': generate.c:1322:22: warning: unused variable 'd' [-Wunused-variable] generate.c: At top level: generate.c:232:13: warning: 'p_relational_clause' defined but not used [-Wunused-function] 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] 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] 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] anldp.c:216:3: warning: implicit declaration of function 'init' [-Wimplicit-function-declaration] 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 `/«PKGBUILDDIR»/mace2' cd documents && /usr/bin/make all make[2]: Entering directory `/«PKGBUILDDIR»/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:110: Warning: File \jobname.htoc not found ./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 -png 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: 98: /usr/bin/imagen: latex: not found This is dvips(k) 5.98 Copyright 2009 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:103: Warning: File \jobname.htoc not found ./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 `/«PKGBUILDDIR»/documents' make[1]: Leaving directory `/«PKGBUILDDIR»' touch build-stamp 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=/«PKGBUILDDIR»/debian/tmp make[1]: Entering directory `/«PKGBUILDDIR»' cd source && /usr/bin/make all make[2]: Entering directory `/«PKGBUILDDIR»/source' /bin/cp otter ../bin make[2]: Leaving directory `/«PKGBUILDDIR»/source' cd source/formed && /usr/bin/make all make[2]: Entering directory `/«PKGBUILDDIR»/source/formed' /bin/cp formed ../../bin make[2]: Leaving directory `/«PKGBUILDDIR»/source/formed' cd mace2 && /usr/bin/make all make[2]: Entering directory `/«PKGBUILDDIR»/mace2' /bin/cp mace2 anldp ../bin make[2]: Leaving directory `/«PKGBUILDDIR»/mace2' cd documents && /usr/bin/make all make[2]: Entering directory `/«PKGBUILDDIR»/documents' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/«PKGBUILDDIR»/documents' mkdir -p /«PKGBUILDDIR»/debian/tmp/usr/bin cp -a bin/anldp bin/mace2 bin/otter bin/formed /«PKGBUILDDIR»/debian/tmp/usr/bin/ make[1]: Leaving directory `/«PKGBUILDDIR»' dh_testdir dh_testroot dh_install --sourcedir=debian/tmp dh_installchangelogs Changelog dh_installdocs dh_installexamples dh_installman dh_strip dh_compress dh_fixperms dh_installdeb dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package `otter' in `../otter_3.3f-1.1_armhf.deb'. dpkg-deb: building package `mace2' in `../mace2_3.3f-1.1_armhf.deb'. dpkg-deb: building package `formed' in `../formed_3.3f-1.1_armhf.deb'. dpkg-genchanges -B -mbuildd >../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 20120504-1247 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ 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: testing Urgency: low Maintainer: buildd 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: 9711476231f8d26a5118af7388b02bbd7605dfc2 763826 otter_3.3f-1.1_armhf.deb 229149eefac089838bdb7354ee68ea1db1134d02 511244 mace2_3.3f-1.1_armhf.deb 9d0612071387bf380543486de04bb53cdea66a4b 161844 formed_3.3f-1.1_armhf.deb Checksums-Sha256: 213626f111baca7d0ddb5845f6fd74d25183026c0dbecd93fbd34b47c51e2f0e 763826 otter_3.3f-1.1_armhf.deb 9195f004c89acc8c7ee30c1ab1d21fe00e128f19651a60b2501fc289369e2f8a 511244 mace2_3.3f-1.1_armhf.deb a6eda3eddd295cb012fcbdc0a6c76b9a737629b532756385bd28977683da4bda 161844 formed_3.3f-1.1_armhf.deb Files: 35a590cb6d2756f86886125adb9ababd 763826 math optional otter_3.3f-1.1_armhf.deb 8289944fd18ae01745b4b9436fb7fa45 511244 math optional mace2_3.3f-1.1_armhf.deb e0ad0c803ef3bc903360dc0d62d863ca 161844 math optional formed_3.3f-1.1_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ otter_3.3f-1.1_armhf.deb ──────────────────────── new debian package, version 2.0. size 763826 bytes: control archive= 6161 bytes. 725 bytes, 19 lines control 16596 bytes, 209 lines md5sums Package: otter Version: 3.3f-1.1 Architecture: armhf Maintainer: Peter Collingbourne Installed-Size: 1236 Depends: libc6 (>= 2.13-28) 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. drwxr-xr-x root/root 0 2012-05-04 12:46 ./ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/sbin/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/bin/ -rwxr-xr-x root/root 255816 2012-05-04 12:46 ./usr/bin/otter drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/ -rw-r--r-- root/root 2237 2004-08-02 14:24 ./usr/share/doc/otter/README -rw-r--r-- root/root 888 2003-08-19 13:31 ./usr/share/doc/otter/README.Ivy -rw-r--r-- root/root 124858 2003-08-29 07:55 ./usr/share/doc/otter/otter33.ps.gz -rw-r--r-- root/root 259416 2012-05-04 12:46 ./usr/share/doc/otter/otter33.html -rw-r--r-- root/root 384 2012-05-04 12:43 ./usr/share/doc/otter/changelog.Debian.gz drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/fringe/ -rw-r--r-- root/root 122 2001-06-19 10:30 ./usr/share/doc/otter/examples/fringe/README -rw-r--r-- root/root 626 2004-04-20 09:37 ./usr/share/doc/otter/examples/fringe/gl4.in -rw-r--r-- root/root 2506 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/lexical3.out -rw-r--r-- root/root 2622 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/lexical2.out -rw-r--r-- root/root 4677 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/olsax_hints.out.gz -rw-r--r-- root/root 649 1995-03-31 14:23 ./usr/share/doc/otter/examples/fringe/gl4.in.28897 -rw-r--r-- root/root 1588 1995-08-02 06:24 ./usr/share/doc/otter/examples/fringe/luka5h.in.gz -rw-r--r-- root/root 1219 1995-08-02 06:46 ./usr/share/doc/otter/examples/fringe/lexical3.in -rw-r--r-- root/root 2489 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/mfl_13.out.gz -rw-r--r-- root/root 3865 1995-08-02 13:36 ./usr/share/doc/otter/examples/fringe/bring.in -rw-r--r-- root/root 1112 2003-04-30 14:26 ./usr/share/doc/otter/examples/fringe/olsax_hints.in.gz -rw-r--r-- root/root 1331 1995-08-02 06:46 ./usr/share/doc/otter/examples/fringe/lexical1.in -rw-r--r-- root/root 1703 2003-08-06 14:11 ./usr/share/doc/otter/examples/fringe/index.html -rw-r--r-- root/root 6772 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/rob_ocd.out.gz -rw-r--r-- root/root 1810 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/gl4.out.gz -rw-r--r-- root/root 650 1995-03-31 14:23 ./usr/share/doc/otter/examples/fringe/gl8.in -rw-r--r-- root/root 3331 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/luka5h.out.gz -rw-r--r-- root/root 2914 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/x3tricks.out.gz -rw-r--r-- root/root 2887 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/lexical1.out -rw-r--r-- root/root 1797 1995-07-28 09:22 ./usr/share/doc/otter/examples/fringe/ec_yql.in.28897 -rw-r--r-- root/root 3657 1995-08-02 13:53 ./usr/share/doc/otter/examples/fringe/if.in -rw-r--r-- root/root 1407 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/if.out.gz -rw-r--r-- root/root 2744 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/gl8.out -rw-r--r-- root/root 1500 2001-06-19 10:23 ./usr/share/doc/otter/examples/fringe/mfl_13.in -rw-r--r-- root/root 1774 2004-04-20 09:37 ./usr/share/doc/otter/examples/fringe/ec_yql.in -rw-r--r-- root/root 2034 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/bring.out.gz -rw-r--r-- root/root 1323 1995-08-02 06:46 ./usr/share/doc/otter/examples/fringe/lexical2.in -rw-r--r-- root/root 3562 2004-08-02 13:31 ./usr/share/doc/otter/examples/fringe/ec_yql.out.gz -rw-r--r-- root/root 1917 1995-08-02 06:31 ./usr/share/doc/otter/examples/fringe/x3tricks.in.gz -rw-r--r-- root/root 3319 2003-07-01 14:23 ./usr/share/doc/otter/examples/fringe/rob_ocd.in -rw-r--r-- root/root 1146 2001-04-09 13:34 ./usr/share/doc/otter/examples/README drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/kalman/ -rw-r--r-- root/root 2801 2004-08-02 13:30 ./usr/share/doc/otter/examples/kalman/i1.out -rw-r--r-- root/root 28 2001-06-19 10:55 ./usr/share/doc/otter/examples/kalman/README -rw-r--r-- root/root 1853 1993-12-07 13:18 ./usr/share/doc/otter/examples/kalman/i4.in.gz -rw-r--r-- root/root 2419 2004-08-02 13:30 ./usr/share/doc/otter/examples/kalman/ex_4.out.gz -rw-r--r-- root/root 1503 2004-08-02 13:30 ./usr/share/doc/otter/examples/kalman/ex_2.out.gz -rw-r--r-- root/root 30305 2004-08-02 13:30 ./usr/share/doc/otter/examples/kalman/i3.out.gz -rw-r--r-- root/root 2797 2004-08-02 13:30 ./usr/share/doc/otter/examples/kalman/i2.out -rw-r--r-- root/root 570 1993-12-07 13:18 ./usr/share/doc/otter/examples/kalman/i1.in -rw-r--r-- root/root 1036 2003-08-06 14:11 ./usr/share/doc/otter/examples/kalman/index.html -rw-r--r-- root/root 1577 1993-12-07 13:18 ./usr/share/doc/otter/examples/kalman/i3.in.gz -rw-r--r-- root/root 659 1995-08-07 05:47 ./usr/share/doc/otter/examples/kalman/ex_4.in -rw-r--r-- root/root 651 1995-08-07 05:47 ./usr/share/doc/otter/examples/kalman/ex_2.in -rw-r--r-- root/root 21891 2004-08-02 13:30 ./usr/share/doc/otter/examples/kalman/i4.out.gz -rw-r--r-- root/root 1695 2004-08-02 13:30 ./usr/share/doc/otter/examples/kalman/ex_1.out.gz -rw-r--r-- root/root 512 1993-12-07 13:18 ./usr/share/doc/otter/examples/kalman/i2.in -rw-r--r-- root/root 3278 2004-08-02 13:30 ./usr/share/doc/otter/examples/kalman/ex_3.out.gz -rw-r--r-- root/root 875 1995-08-07 05:47 ./usr/share/doc/otter/examples/kalman/ex_3.in -rw-r--r-- root/root 715 1995-08-07 05:43 ./usr/share/doc/otter/examples/kalman/ex_1.in -rwxr-xr-x root/root 435 2003-08-06 14:25 ./usr/share/doc/otter/examples/Run_all -rwxr-xr-x root/root 1798 2003-07-17 14:24 ./usr/share/doc/otter/examples/Run_group drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/misc/ -rw-r--r-- root/root 3914 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/kb_bench.out.gz -rw-r--r-- root/root 29 2001-06-19 10:52 ./usr/share/doc/otter/examples/misc/README -rw-r--r-- root/root 2840 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/str_bws.out.gz -rw-r--r-- root/root 1002 2004-04-20 09:36 ./usr/share/doc/otter/examples/misc/cn.in -rw-r--r-- root/root 2611 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/mv.out.gz -rw-r--r-- root/root 1780 2004-04-20 09:36 ./usr/share/doc/otter/examples/misc/dem_alu.in -rw-r--r-- root/root 3607 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/sax1.out.gz -rw-r--r-- root/root 1705 1993-10-20 13:33 ./usr/share/doc/otter/examples/misc/ec.in -rw-r--r-- root/root 758 2004-04-20 09:36 ./usr/share/doc/otter/examples/misc/str_bws.in -rw-r--r-- root/root 1364 2003-08-06 14:11 ./usr/share/doc/otter/examples/misc/index.html -rw-r--r-- root/root 522 1994-01-14 05:46 ./usr/share/doc/otter/examples/misc/sax2.in -rw-r--r-- root/root 802 1993-11-16 08:58 ./usr/share/doc/otter/examples/misc/str_bws.in.28752 -rw-r--r-- root/root 817 2004-04-20 09:36 ./usr/share/doc/otter/examples/misc/andrews.in -rw-r--r-- root/root 1779 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/ec.out.gz -rw-r--r-- root/root 4520 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/andrews.out.gz -rw-r--r-- root/root 1824 1993-11-16 09:01 ./usr/share/doc/otter/examples/misc/dem_alu.in.28752 -rw-r--r-- root/root 861 1994-01-13 08:07 ./usr/share/doc/otter/examples/misc/andrews.in.28752 -rw-r--r-- root/root 796 1993-11-16 08:44 ./usr/share/doc/otter/examples/misc/kb_bench.in -rw-r--r-- root/root 1047 1994-01-13 08:35 ./usr/share/doc/otter/examples/misc/cn.in.28752 -rw-r--r-- root/root 3493 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/stage1.out.gz -rw-r--r-- root/root 2037 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/stage2.out.gz -rw-r--r-- root/root 474 1994-01-14 05:54 ./usr/share/doc/otter/examples/misc/sax1.in -rw-r--r-- root/root 814 1993-11-16 08:44 ./usr/share/doc/otter/examples/misc/mv.in.28752 -rw-r--r-- root/root 2171 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/sax2.out.gz -rw-r--r-- root/root 2505 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/cn.out.gz -rw-r--r-- root/root 4016 2004-08-02 13:30 ./usr/share/doc/otter/examples/misc/dem_alu.out -rw-r--r-- root/root 770 2004-04-20 09:36 ./usr/share/doc/otter/examples/misc/mv.in -rw-r--r-- root/root 1438 1993-11-16 08:46 ./usr/share/doc/otter/examples/misc/stage1.in -rw-r--r-- root/root 2849 1993-11-16 08:51 ./usr/share/doc/otter/examples/misc/stage2.in -rw-r--r-- root/root 1162 2003-08-06 14:11 ./usr/share/doc/otter/examples/index.html drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/ivy/ -rw-r--r-- root/root 55 2001-06-19 10:32 ./usr/share/doc/otter/examples/ivy/README -rw-r--r-- root/root 337 1999-07-28 12:36 ./usr/share/doc/otter/examples/ivy/group-x2.in -rw-r--r-- root/root 401 1999-07-28 12:36 ./usr/share/doc/otter/examples/ivy/group-comm.in -rw-r--r-- root/root 1623 1999-07-28 12:36 ./usr/share/doc/otter/examples/ivy/steam.in -rw-r--r-- root/root 2076 2004-08-02 13:31 ./usr/share/doc/otter/examples/ivy/group-x2.out.gz -rw-r--r-- root/root 1630 1999-07-28 12:44 ./usr/share/doc/otter/examples/ivy/t1.in -rw-r--r-- root/root 1322 2003-08-06 14:11 ./usr/share/doc/otter/examples/ivy/index.html -rw-r--r-- root/root 152 1999-07-28 13:23 ./usr/share/doc/otter/examples/ivy/p-and-not-p.in -rw-r--r-- root/root 339 1999-07-28 12:36 ./usr/share/doc/otter/examples/ivy/comb-sk-w.in -rw-r--r-- root/root 4525 2004-08-02 13:31 ./usr/share/doc/otter/examples/ivy/steam.out.gz -rw-r--r-- root/root 4525 2004-08-02 13:31 ./usr/share/doc/otter/examples/ivy/t1.out.gz -rw-r--r-- root/root 2416 1999-07-28 12:36 ./usr/share/doc/otter/examples/ivy/lifsch.in -rw-r--r-- root/root 2534 2004-08-02 13:31 ./usr/share/doc/otter/examples/ivy/comb-sk-w.out.gz -rw-r--r-- root/root 337 1999-07-28 12:36 ./usr/share/doc/otter/examples/ivy/group-x2-refute.in -rw-r--r-- root/root 4883 2004-08-02 13:31 ./usr/share/doc/otter/examples/ivy/group-comm.out.gz -rw-r--r-- root/root 2076 2004-08-02 13:31 ./usr/share/doc/otter/examples/ivy/group-x2-refute.out.gz -rw-r--r-- root/root 2378 2004-08-02 13:31 ./usr/share/doc/otter/examples/ivy/p-and-not-p.out -rw-r--r-- root/root 376 1999-07-28 12:36 ./usr/share/doc/otter/examples/ivy/cd-cn19.in -rw-r--r-- root/root 3419 2004-08-02 13:31 ./usr/share/doc/otter/examples/ivy/lifsch.out.gz -rw-r--r-- root/root 5172 2004-08-02 13:31 ./usr/share/doc/otter/examples/ivy/cd-cn19.out.gz drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/program/ -rw-r--r-- root/root 3371 2004-08-02 13:31 ./usr/share/doc/otter/examples/program/eval.out -rw-r--r-- root/root 31 2001-06-19 10:53 ./usr/share/doc/otter/examples/program/README -rw-r--r-- root/root 27755 2004-08-02 13:31 ./usr/share/doc/otter/examples/program/queens.out.gz -rw-r--r-- root/root 1973 1994-01-13 08:02 ./usr/share/doc/otter/examples/program/mission.in -rw-r--r-- root/root 3662 2004-08-02 13:31 ./usr/share/doc/otter/examples/program/jugs.out -rw-r--r-- root/root 2496 2003-07-16 15:01 ./usr/share/doc/otter/examples/program/eval.in -rw-r--r-- root/root 850 2003-08-06 14:11 ./usr/share/doc/otter/examples/program/index.html -rw-r--r-- root/root 3180 2003-07-17 10:21 ./usr/share/doc/otter/examples/program/two_inv.in -rw-r--r-- root/root 4076 2004-08-02 13:32 ./usr/share/doc/otter/examples/program/two_inv.out -rw-r--r-- root/root 1123 1993-11-10 08:20 ./usr/share/doc/otter/examples/program/jugs.in -rw-r--r-- root/root 1351 2004-08-02 13:31 ./usr/share/doc/otter/examples/program/mission.out.gz -rw-r--r-- root/root 1641 1993-12-07 15:36 ./usr/share/doc/otter/examples/program/queens.in drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/auto/ -rw-r--r-- root/root 64 2001-06-19 10:55 ./usr/share/doc/otter/examples/auto/README -rw-r--r-- root/root 1619 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/robbins.out.gz -rw-r--r-- root/root 426 1994-01-13 07:17 ./usr/share/doc/otter/examples/auto/robbins.in -rw-r--r-- root/root 3081 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/salt.out.gz -rw-r--r-- root/root 1023 1993-11-10 08:20 ./usr/share/doc/otter/examples/auto/sam.in -rw-r--r-- root/root 588 1993-11-10 08:20 ./usr/share/doc/otter/examples/auto/wang1.in -rw-r--r-- root/root 2463 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/cn19.out.gz -rw-r--r-- root/root 1773 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/w_sk.out.gz -rw-r--r-- root/root 2249 1994-01-13 07:07 ./usr/share/doc/otter/examples/auto/steam.in -rw-r--r-- root/root 473 1993-11-10 08:20 ./usr/share/doc/otter/examples/auto/mv25.in -rw-r--r-- root/root 301 1994-01-13 07:12 ./usr/share/doc/otter/examples/auto/x2_quant.in -rw-r--r-- root/root 2978 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/ring_x2.out.gz -rw-r--r-- root/root 2371 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/z11.out.gz -rw-r--r-- root/root 1937 2003-08-06 14:11 ./usr/share/doc/otter/examples/auto/index.html -rw-r--r-- root/root 1736 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/ec_yq.out.gz -rw-r--r-- root/root 207 1993-11-10 08:20 ./usr/share/doc/otter/examples/auto/tba_gg.in -rw-r--r-- root/root 1352 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/group.out.gz -rw-r--r-- root/root 432 1993-11-10 08:20 ./usr/share/doc/otter/examples/auto/cn19.in -rw-r--r-- root/root 2414 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/steam.out.gz -rw-r--r-- root/root 243 1994-01-13 06:59 ./usr/share/doc/otter/examples/auto/ec_yq.in -rw-r--r-- root/root 393 1993-11-10 08:20 ./usr/share/doc/otter/examples/auto/lifsch.in -rw-r--r-- root/root 1570 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/tba_gg.out.gz -rw-r--r-- root/root 350 1994-01-13 07:14 ./usr/share/doc/otter/examples/auto/ring_x2.in -rw-r--r-- root/root 3830 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/pigeon.out.gz -rw-r--r-- root/root 1827 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/comm.out.gz -rw-r--r-- root/root 2358 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/wang1.out.gz -rw-r--r-- root/root 270 1994-01-13 06:58 ./usr/share/doc/otter/examples/auto/comm.in -rw-r--r-- root/root 276 1994-01-13 07:14 ./usr/share/doc/otter/examples/auto/w_sk.in -rw-r--r-- root/root 1236 1993-11-10 08:20 ./usr/share/doc/otter/examples/auto/salt.in -rw-r--r-- root/root 1590 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/lifsch.out.gz -rw-r--r-- root/root 1406 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/x2_quant.out.gz -rw-r--r-- root/root 165 1993-11-10 08:20 ./usr/share/doc/otter/examples/auto/group.in -rw-r--r-- root/root 2121 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/mv25.out.gz -rw-r--r-- root/root 387 1993-11-10 08:20 ./usr/share/doc/otter/examples/auto/z11.in -rw-r--r-- root/root 3313 2004-08-02 13:30 ./usr/share/doc/otter/examples/auto/sam.out.gz -rw-r--r-- root/root 854 1994-01-12 07:26 ./usr/share/doc/otter/examples/auto/pigeon.in -rw-r--r-- root/root 855 2004-08-02 14:10 ./usr/share/doc/otter/examples/Run_all.out.gz drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/wos/ -rw-r--r-- root/root 2049 1995-07-25 18:45 ./usr/share/doc/otter/examples/wos/twoval.in.gz -rw-r--r-- root/root 2877 1995-07-25 18:44 ./usr/share/doc/otter/examples/wos/rob_occ.in -rw-r--r-- root/root 94 2001-06-19 10:17 ./usr/share/doc/otter/examples/wos/README -rw-r--r-- root/root 1301 1994-01-19 14:12 ./usr/share/doc/otter/examples/wos/grp_exp4.in.gz -rw-r--r-- root/root 4019 2004-08-02 13:30 ./usr/share/doc/otter/examples/wos/cursory.out.gz -rw-r--r-- root/root 2777 2004-08-02 13:30 ./usr/share/doc/otter/examples/wos/rob_occ.out.gz -rw-r--r-- root/root 4514 2004-08-02 13:30 ./usr/share/doc/otter/examples/wos/rigorous.out.gz -rw-r--r-- root/root 1135 2003-08-06 14:11 ./usr/share/doc/otter/examples/wos/index.html -rw-r--r-- root/root 18384 2004-08-02 13:31 ./usr/share/doc/otter/examples/wos/twoval.out.gz -rw-r--r-- root/root 6168 2004-08-02 13:30 ./usr/share/doc/otter/examples/wos/grp_exp4.out.gz -rw-r--r-- root/root 1950 2004-08-02 13:30 ./usr/share/doc/otter/examples/wos/grp_exp3.out.gz -rw-r--r-- root/root 2097 1995-07-25 18:45 ./usr/share/doc/otter/examples/wos/grp_exp3.in -rw-r--r-- root/root 2296 2001-06-19 10:53 ./usr/share/doc/otter/examples/wos/README.more -rw-r--r-- root/root 1675 1995-07-25 18:45 ./usr/share/doc/otter/examples/wos/rigorous.in.gz -rw-r--r-- root/root 1826 1995-05-05 11:18 ./usr/share/doc/otter/examples/wos/manyval.in -rw-r--r-- root/root 36263 2004-08-02 13:30 ./usr/share/doc/otter/examples/wos/manyval.out.gz -rw-r--r-- root/root 1361 1995-07-25 18:45 ./usr/share/doc/otter/examples/wos/cursory.in.gz drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/split/ -rw-r--r-- root/root 1392 2004-04-20 09:43 ./usr/share/doc/otter/examples/split/GEO010-2.in.gz -rw-r--r-- root/root 4126 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/GEO010-2.out.gz -rw-r--r-- root/root 70 2001-06-19 08:47 ./usr/share/doc/otter/examples/split/README -rwxr-xr-x root/root 538 2001-06-18 13:43 ./usr/share/doc/otter/examples/split/temp1 -rw-r--r-- root/root 3733 1999-09-15 12:31 ./usr/share/doc/otter/examples/split/GEO036-2.in -rw-r--r-- root/root 3515 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/GRP025-1.out.gz -rw-r--r-- root/root 3118 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/pair.out.gz -rw-r--r-- root/root 2764 1998-04-01 09:33 ./usr/share/doc/otter/examples/split/zebra2.in -rw-r--r-- root/root 9539 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/zebra4.out.gz -rw-r--r-- root/root 631 1998-02-16 08:53 ./usr/share/doc/otter/examples/split/group2.in -rw-r--r-- root/root 1491 2003-08-06 14:11 ./usr/share/doc/otter/examples/split/index.html -rw-r--r-- root/root 827 1998-02-16 08:26 ./usr/share/doc/otter/examples/split/wang3.in -rw-r--r-- root/root 907 2001-06-19 08:47 ./usr/share/doc/otter/examples/split/README.more -rw-r--r-- root/root 2149 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/group2.out.gz -rw-r--r-- root/root 6318 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/zebra2.out.gz -rw-r--r-- root/root 1459 1999-09-15 12:32 ./usr/share/doc/otter/examples/split/GRP025-1.in.gz -rw-r--r-- root/root 1608 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/power.out.gz -rw-r--r-- root/root 11292 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/noncomm-group.out.gz -rw-r--r-- root/root 1062 1998-02-16 09:04 ./usr/share/doc/otter/examples/split/power.in -rw-r--r-- root/root 8611 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/wang3.out.gz -rw-r--r-- root/root 2716 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/GEO036-2.out.gz -rw-r--r-- root/root 5595 2004-08-02 13:31 ./usr/share/doc/otter/examples/split/pigeon5.out.gz -rw-r--r-- root/root 963 1998-02-13 14:49 ./usr/share/doc/otter/examples/split/pigeon5.in -rw-r--r-- root/root 550 1998-02-16 08:57 ./usr/share/doc/otter/examples/split/pair.in -rw-r--r-- root/root 2200 2000-02-17 13:13 ./usr/share/doc/otter/examples/split/noncomm-group.in.gz -rw-r--r-- root/root 1850 1998-02-16 09:08 ./usr/share/doc/otter/examples/split/zebra4.in -rwxr-xr-x root/root 414 2012-05-04 12:43 ./usr/share/doc/otter/examples/summary -rw-r--r-- root/root 82 2003-07-18 14:50 ./usr/share/doc/otter/examples/Makefile drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/otter/examples/Loop/ -rw-r--r-- root/root 4927 2004-02-10 14:13 ./usr/share/doc/otter/examples/Loop/temp.gz -rw-r--r-- root/root 606 2001-05-25 11:34 ./usr/share/doc/otter/examples/Loop/README -rw-r--r-- root/root 164 2004-02-10 13:35 ./usr/share/doc/otter/examples/Loop/head -rw-r--r-- root/root 1349 2001-05-25 06:51 ./usr/share/doc/otter/examples/Loop/Sheffer-mgi-without-mirrors.gz -rwxr-xr-x root/root 885 2012-05-04 12:43 ./usr/share/doc/otter/examples/Loop/otter-ploop -rw-r--r-- root/root 15309 2004-08-02 14:26 ./usr/share/doc/otter/changelog.gz -rw-r--r-- root/root 1605 2012-05-04 12:43 ./usr/share/doc/otter/copyright drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/man/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/man/man1/ -rw-r--r-- root/root 682 2012-05-04 12:46 ./usr/share/man/man1/otter.1.gz mace2_3.3f-1.1_armhf.deb ──────────────────────── new debian package, version 2.0. size 511244 bytes: control archive= 4193 bytes. 867 bytes, 23 lines control 10680 bytes, 132 lines md5sums Package: mace2 Source: otter Version: 3.3f-1.1 Architecture: armhf Maintainer: Peter Collingbourne Installed-Size: 1008 Depends: libc6 (>= 2.13-28) 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. drwxr-xr-x root/root 0 2012-05-04 12:46 ./ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/bin/ -rwxr-xr-x root/root 297580 2012-05-04 12:46 ./usr/bin/mace2 -rwxr-xr-x root/root 296792 2012-05-04 12:46 ./usr/bin/anldp drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/mace2/ -rw-r--r-- root/root 2237 2004-08-02 14:24 ./usr/share/doc/mace2/README -rw-r--r-- root/root 888 2003-08-19 13:31 ./usr/share/doc/mace2/README.Ivy -rw-r--r-- root/root 384 2012-05-04 12:43 ./usr/share/doc/mace2/changelog.Debian.gz drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/mace2/examples/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/mace2/examples/iterate/ -rw-r--r-- root/root 136 2001-06-18 08:01 ./usr/share/doc/mace2/examples/iterate/noncommutative_group.in -rw-r--r-- root/root 2242 2001-06-18 08:17 ./usr/share/doc/mace2/examples/iterate/LCL136-1.in -rw-r--r-- root/root 44 2001-06-19 12:03 ./usr/share/doc/mace2/examples/iterate/README -rw-r--r-- root/root 2656 2001-06-18 08:16 ./usr/share/doc/mace2/examples/iterate/LAT025-1.in -rw-r--r-- root/root 1480 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/PUZ001-3.out.gz -rw-r--r-- root/root 1440 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/LCL136-1.out.gz -rw-r--r-- root/root 1726 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/LAT025-1.out.gz -rw-r--r-- root/root 1442 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/noncommutative_group.out.gz -rw-r--r-- root/root 2764 2001-06-18 08:17 ./usr/share/doc/mace2/examples/iterate/PUZ001-3.in -rw-r--r-- root/root 1031 2003-08-06 07:56 ./usr/share/doc/mace2/examples/iterate/noncommutive_ring1.in -rw-r--r-- root/root 1425 2001-06-18 08:00 ./usr/share/doc/mace2/examples/iterate/kauer.in -rw-r--r-- root/root 1928 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/RNG025-8.out.gz -rw-r--r-- root/root 1583 2003-08-06 14:12 ./usr/share/doc/mace2/examples/iterate/index.html -rw-r--r-- root/root 6 2003-07-17 12:56 ./usr/share/doc/mace2/examples/iterate/program -rw-r--r-- root/root 2758 2001-06-18 08:16 ./usr/share/doc/mace2/examples/iterate/CAT019-5.in -rw-r--r-- root/root 1613 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/CAT019-5.out.gz -rw-r--r-- root/root 2521 2001-06-18 08:16 ./usr/share/doc/mace2/examples/iterate/BOO032-1.in -rw-r--r-- root/root 3169 2001-06-18 08:17 ./usr/share/doc/mace2/examples/iterate/RNG025-8.in -rw-r--r-- root/root 704 2001-06-18 08:04 ./usr/share/doc/mace2/examples/iterate/cd.in -rw-r--r-- root/root 1918 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/BOO032-1.out.gz -rw-r--r-- root/root 1499 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/kauer.out.gz -rw-r--r-- root/root 1215 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/cd.out.gz -rw-r--r-- root/root 1996 2004-08-02 13:44 ./usr/share/doc/mace2/examples/iterate/noncommutive_ring1.out.gz -rw-r--r-- root/root 104 2003-04-30 15:13 ./usr/share/doc/mace2/examples/README -rwxr-xr-x root/root 1889 2003-07-17 14:24 ./usr/share/doc/mace2/examples/Run_mace -rwxr-xr-x root/root 722 2003-08-06 18:13 ./usr/share/doc/mace2/examples/Run_all drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/mace2/examples/Perl-examples/ -rw-r--r-- root/root 670 2003-08-06 11:56 ./usr/share/doc/mace2/examples/Perl-examples/README -rw-r--r-- root/root 1061 2003-07-17 09:53 ./usr/share/doc/mace2/examples/Perl-examples/index.html -rw-r--r-- root/root 925 2001-05-23 14:27 ./usr/share/doc/mace2/examples/Perl-examples/candidates -rw-r--r-- root/root 1349 2001-05-23 14:24 ./usr/share/doc/mace2/examples/Perl-examples/Sheffer-mgi-without-mirrors.gz -rwxr-xr-x root/root 535 2003-08-06 11:56 ./usr/share/doc/mace2/examples/Perl-examples/commute4_filter -rwxr-xr-x root/root 1739 2003-07-18 14:51 ./usr/share/doc/mace2/examples/Run_anldp drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/mace2/examples/propositional/ -rw-r--r-- root/root 34 2001-06-19 12:04 ./usr/share/doc/mace2/examples/propositional/README -rw-r--r-- root/root 1397 2004-08-02 13:45 ./usr/share/doc/mace2/examples/propositional/f3.out -rw-r--r-- root/root 3330 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/p8.in -rw-r--r-- root/root 1183 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/p9.in.gz -rw-r--r-- root/root 76 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/f3.in -rw-r--r-- root/root 3835 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/q10.in.gz -rw-r--r-- root/root 1549 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/p10.IN.gz -rw-r--r-- root/root 1399 2004-08-02 13:45 ./usr/share/doc/mace2/examples/propositional/f4.out -rw-r--r-- root/root 1400 2004-08-02 13:45 ./usr/share/doc/mace2/examples/propositional/p6.out -rw-r--r-- root/root 192 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/f4.in -rw-r--r-- root/root 1470 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/p6.in -rw-r--r-- root/root 1401 2004-08-02 13:45 ./usr/share/doc/mace2/examples/propositional/p9.out -rw-r--r-- root/root 1117 2003-08-06 14:12 ./usr/share/doc/mace2/examples/propositional/index.html -rw-r--r-- root/root 6 2003-07-17 12:56 ./usr/share/doc/mace2/examples/propositional/program -rw-r--r-- root/root 125 2001-06-19 12:04 ./usr/share/doc/mace2/examples/propositional/README.more -rw-r--r-- root/root 1397 2004-08-02 13:45 ./usr/share/doc/mace2/examples/propositional/f2.out -rw-r--r-- root/root 1400 2004-08-02 13:45 ./usr/share/doc/mace2/examples/propositional/p8.out -rw-r--r-- root/root 28 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/f2.in -rw-r--r-- root/root 1400 2004-08-02 13:45 ./usr/share/doc/mace2/examples/propositional/p7.out -rw-r--r-- root/root 1545 2004-08-02 13:45 ./usr/share/doc/mace2/examples/propositional/q10.out -rw-r--r-- root/root 1399 2004-08-02 13:45 ./usr/share/doc/mace2/examples/propositional/p5.out -rw-r--r-- root/root 2276 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/p7.in -rw-r--r-- root/root 879 2001-04-27 13:43 ./usr/share/doc/mace2/examples/propositional/p5.in -rw-r--r-- root/root 816 2003-08-06 14:12 ./usr/share/doc/mace2/examples/index.html drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/mace2/examples/lattice/ -rw-r--r-- root/root 268 2003-08-06 08:48 ./usr/share/doc/mace2/examples/lattice/mol-ba.in -rw-r--r-- root/root 363 2003-08-06 08:57 ./usr/share/doc/mace2/examples/lattice/ml-mol.in -rw-r--r-- root/root 68 2003-08-06 09:01 ./usr/share/doc/mace2/examples/lattice/README -rw-r--r-- root/root 276 2003-08-06 08:45 ./usr/share/doc/mace2/examples/lattice/lt-ol.in -rw-r--r-- root/root 1693 2004-08-02 13:44 ./usr/share/doc/mace2/examples/lattice/lt-ol.out.gz -rw-r--r-- root/root 1765 2001-06-29 10:09 ./usr/share/doc/mace2/examples/lattice/lattice-axioms -rw-r--r-- root/root 1797 2004-08-02 13:44 ./usr/share/doc/mace2/examples/lattice/mol-ba.out.gz -rw-r--r-- root/root 242 2003-08-06 08:39 ./usr/share/doc/mace2/examples/lattice/lt-ml.in -rw-r--r-- root/root 1238 2003-08-06 14:12 ./usr/share/doc/mace2/examples/lattice/index.html -rw-r--r-- root/root 796 2003-08-06 08:42 ./usr/share/doc/mace2/examples/lattice/finite-lattice -rw-r--r-- root/root 6 2003-07-17 12:56 ./usr/share/doc/mace2/examples/lattice/program -rw-r--r-- root/root 1410 2003-08-06 08:27 ./usr/share/doc/mace2/examples/lattice/ol-e4.in -rw-r--r-- root/root 2345 2004-08-02 13:44 ./usr/share/doc/mace2/examples/lattice/ml-mol.out.gz -rw-r--r-- root/root 1159 2003-08-06 08:23 ./usr/share/doc/mace2/examples/lattice/ol-e1.in -rw-r--r-- root/root 200 2003-08-06 08:49 ./usr/share/doc/mace2/examples/lattice/ol-oml.in -rw-r--r-- root/root 2548 2004-08-02 13:44 ./usr/share/doc/mace2/examples/lattice/ol-e1.out.gz -rw-r--r-- root/root 1679 2004-08-02 13:45 ./usr/share/doc/mace2/examples/lattice/ol-oml.out.gz -rw-r--r-- root/root 474 2003-08-06 08:54 ./usr/share/doc/mace2/examples/lattice/oml-mol.in -rw-r--r-- root/root 2001 2004-08-02 13:45 ./usr/share/doc/mace2/examples/lattice/oml-mol.out.gz -rw-r--r-- root/root 1534 2004-08-02 13:44 ./usr/share/doc/mace2/examples/lattice/lt-ml.out.gz -rw-r--r-- root/root 2730 2004-08-02 13:45 ./usr/share/doc/mace2/examples/lattice/ol-e4.out.gz -rw-r--r-- root/root 540 2003-08-06 08:19 ./usr/share/doc/mace2/examples/lattice/ortholattice -rw-r--r-- root/root 3756 2004-08-02 13:45 ./usr/share/doc/mace2/examples/Run_all.out drwxr-xr-x root/root 0 2004-08-02 13:50 ./usr/share/doc/mace2/examples/basic/ -rw-r--r-- root/root 136 2001-06-15 07:57 ./usr/share/doc/mace2/examples/basic/noncommutative_group.in -rw-r--r-- root/root 34 2001-06-19 12:03 ./usr/share/doc/mace2/examples/basic/README -rw-r--r-- root/root 616 2001-06-18 07:40 ./usr/share/doc/mace2/examples/basic/ring.in -rw-r--r-- root/root 2155 2004-08-02 13:44 ./usr/share/doc/mace2/examples/basic/cd.out -rw-r--r-- root/root 2455 2004-08-02 13:44 ./usr/share/doc/mace2/examples/basic/ring.out -rw-r--r-- root/root 2070 2004-08-02 13:44 ./usr/share/doc/mace2/examples/basic/noncommutative_group.out -rw-r--r-- root/root 1270 2003-08-06 14:12 ./usr/share/doc/mace2/examples/basic/index.html -rw-r--r-- root/root 428 2001-06-15 07:48 ./usr/share/doc/mace2/examples/basic/cl_ql.in -rw-r--r-- root/root 6 2003-07-17 12:56 ./usr/share/doc/mace2/examples/basic/program -rw-r--r-- root/root 2056 2004-08-02 13:44 ./usr/share/doc/mace2/examples/basic/tba.out -rw-r--r-- root/root 523 2001-06-15 07:53 ./usr/share/doc/mace2/examples/basic/cl_sw.in -rw-r--r-- root/root 2473 2004-08-02 13:44 ./usr/share/doc/mace2/examples/basic/cl_sw.out -rw-r--r-- root/root 2456 2004-08-02 13:44 ./usr/share/doc/mace2/examples/basic/cl_ql.out -rw-r--r-- root/root 3233 2001-06-18 07:49 ./usr/share/doc/mace2/examples/basic/tough-nut.in -rw-r--r-- root/root 383 2001-06-18 07:43 ./usr/share/doc/mace2/examples/basic/ordered_semi.in -rw-r--r-- root/root 733 2001-06-18 08:02 ./usr/share/doc/mace2/examples/basic/cd.in -rw-r--r-- root/root 3945 2003-08-05 13:50 ./usr/share/doc/mace2/examples/basic/temp -rw-r--r-- root/root 3474 2004-08-02 13:44 ./usr/share/doc/mace2/examples/basic/tough-nut.out -rw-r--r-- root/root 2244 2004-08-02 13:44 ./usr/share/doc/mace2/examples/basic/ordered_semi.out -rw-r--r-- root/root 358 2001-06-18 07:46 ./usr/share/doc/mace2/examples/basic/tba.in drwxr-xr-x root/root 0 2004-08-02 13:49 ./usr/share/doc/mace2/examples/quasigroup/ -rw-r--r-- root/root 40 2001-06-19 12:04 ./usr/share/doc/mace2/examples/quasigroup/README -rw-r--r-- root/root 765 2001-05-17 10:11 ./usr/share/doc/mace2/examples/quasigroup/omts9.in -rw-r--r-- root/root 2054 2004-08-02 13:44 ./usr/share/doc/mace2/examples/quasigroup/qg1d.out -rw-r--r-- root/root 212 2001-05-08 10:22 ./usr/share/doc/mace2/examples/quasigroup/qg5l.in -rw-r--r-- root/root 2858 2004-08-02 13:44 ./usr/share/doc/mace2/examples/quasigroup/omts9.out -rw-r--r-- root/root 167 2001-05-08 10:22 ./usr/share/doc/mace2/examples/quasigroup/qg4.in -rw-r--r-- root/root 335 2003-08-06 11:51 ./usr/share/doc/mace2/examples/quasigroup/qg2d.in -rw-r--r-- root/root 1207 2003-08-06 14:12 ./usr/share/doc/mace2/examples/quasigroup/index.html -rw-r--r-- root/root 1955 2004-08-02 13:44 ./usr/share/doc/mace2/examples/quasigroup/qg7bl.out -rw-r--r-- root/root 6 2003-07-17 12:56 ./usr/share/doc/mace2/examples/quasigroup/program -rw-r--r-- root/root 2088 2004-08-02 13:44 ./usr/share/doc/mace2/examples/quasigroup/qg2d.out -rw-r--r-- root/root 2083 2004-08-02 13:44 ./usr/share/doc/mace2/examples/quasigroup/qg5l.out -rw-r--r-- root/root 191 2001-05-08 10:22 ./usr/share/doc/mace2/examples/quasigroup/qg7bl.in -rw-r--r-- root/root 1883 2004-08-02 13:44 ./usr/share/doc/mace2/examples/quasigroup/qg4.out -rw-r--r-- root/root 1895 2004-08-02 13:44 ./usr/share/doc/mace2/examples/quasigroup/qg6.out -rw-r--r-- root/root 167 2001-05-08 10:22 ./usr/share/doc/mace2/examples/quasigroup/qg3.in -rw-r--r-- root/root 173 2001-05-08 10:22 ./usr/share/doc/mace2/examples/quasigroup/qg6.in -rw-r--r-- root/root 1990 2004-08-02 13:44 ./usr/share/doc/mace2/examples/quasigroup/qg3.out -rw-r--r-- root/root 335 2001-05-08 10:22 ./usr/share/doc/mace2/examples/quasigroup/qg1d.in -rw-r--r-- root/root 82 2003-07-18 14:43 ./usr/share/doc/mace2/examples/Makefile -rw-r--r-- root/root 22999 2001-06-01 10:30 ./usr/share/doc/mace2/mace2.ps.gz -rw-r--r-- root/root 36556 2012-05-04 12:46 ./usr/share/doc/mace2/mace2.html -rw-r--r-- root/root 15309 2004-08-02 14:26 ./usr/share/doc/mace2/changelog.gz -rw-r--r-- root/root 1605 2012-05-04 12:43 ./usr/share/doc/mace2/copyright -rw-r--r-- root/root 57692 2012-05-04 12:46 ./usr/share/doc/mace2/anldp.html -rw-r--r-- root/root 75615 2001-05-11 08:45 ./usr/share/doc/mace2/anldp.ps.gz drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/man/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/man/man1/ -rw-r--r-- root/root 1095 2012-05-04 12:46 ./usr/share/man/man1/anldp.1.gz -rw-r--r-- root/root 1425 2012-05-04 12:46 ./usr/share/man/man1/mace2.1.gz formed_3.3f-1.1_armhf.deb ───────────────────────── new debian package, version 2.0. size 161844 bytes: control archive= 648 bytes. 457 bytes, 14 lines control 384 bytes, 6 lines md5sums Package: formed Source: otter Version: 3.3f-1.1 Architecture: armhf Maintainer: Peter Collingbourne Installed-Size: 351 Depends: libc6 (>= 2.13-28), 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. drwxr-xr-x root/root 0 2012-05-04 12:46 ./ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/bin/ -rwxr-xr-x root/root 302656 2012-05-04 12:46 ./usr/bin/formed drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/doc/formed/ -rw-r--r-- root/root 1426 2003-07-21 12:29 ./usr/share/doc/formed/README -rw-r--r-- root/root 384 2012-05-04 12:43 ./usr/share/doc/formed/changelog.Debian.gz -rw-r--r-- root/root 15309 2004-08-02 14:26 ./usr/share/doc/formed/changelog.gz -rw-r--r-- root/root 1605 2012-05-04 12:43 ./usr/share/doc/formed/copyright drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/man/ drwxr-xr-x root/root 0 2012-05-04 12:46 ./usr/share/man/man1/ -rw-r--r-- root/root 911 2012-05-04 12:46 ./usr/share/man/man1/formed.1.gz ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: bsdmainutils* debhelper* ed* file* fontconfig-config* gettext* gettext-base* ghostscript* groff-base* gs-cjk-resource* gsfonts* hevea* html2text* intltool-debian* libavahi-client3* libavahi-common-data* libavahi-common3* libcroco3* libcups2* libcupsimage2* libdbus-1-3* libexpat1* libffi5* libfontconfig1* libfreetype6* libgcrypt11* libglib2.0-0* libgnutls26* libgpg-error0* libgs9* libgs9-common* libgssapi-krb5-2* libice-dev* libice6* libidn11* libijs-0.35* libjasper1* libjbig0* libjbig2dec0* libjpeg8* libk5crypto3* libkeyutils1* libkpathsea5* libkrb5-3* libkrb5support0* liblcms1* liblcms2-2* libmagic1* libnetpbm10* libopenjpeg2* libp11-kit0* libpaper-utils* libpaper1* libpcre3* libpipeline1* libpng12-0* libpoppler13* libpthread-stubs0* libpthread-stubs0-dev* libsm-dev* libsm6* libtasn1-3* libtiff4* libunistring0* libx11-6* libx11-data* libx11-dev* libxau-dev* libxau6* libxaw7* libxaw7-dev* libxcb1* libxcb1-dev* libxdmcp-dev* libxdmcp6* libxext-dev* libxext6* libxml2* libxmu-dev* libxmu-headers* libxmu6* libxpm-dev* libxpm4* libxt-dev* libxt6* luatex* man-db* mime-support* netpbm* ocaml-base-nox* po-debconf* sbuild-build-depends-core-dummy* sbuild-build-depends-otter-dummy* tex-common* texlive-base* texlive-binaries* texlive-common* texlive-doc-base* ttf-dejavu-core* x11-common* x11proto-core-dev* x11proto-input-dev* x11proto-kb-dev* x11proto-xext-dev* xorg-sgml-doctools* xtrans-dev* 0 upgraded, 0 newly installed, 106 to remove and 0 not upgraded. After this operation, 136 MB disk space will be freed. (Reading database ... 17474 files and directories currently installed.) Removing sbuild-build-depends-otter-dummy ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing hevea ... Purging configuration files for hevea ... Removing texlive-base ... Purging configuration files for texlive-base ... Removing texlive-binaries ... Removing ed ... Removing file ... Removing luatex ... Removing libpoppler13 ... Purging configuration files for libpoppler13 ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing gettext-base ... Removing groff-base ... Purging configuration files for groff-base ... Removing html2text ... Purging configuration files for html2text ... Removing libcroco3:armhf ... Purging configuration files for libcroco3:armhf ... Removing libglib2.0-0:armhf ... Purging configuration files for libglib2.0-0:armhf ... Removing libffi5:armhf ... Purging configuration files for libffi5:armhf ... Removing libxaw7-dev:armhf ... Removing libxmu-dev:armhf ... Removing libxt-dev:armhf ... Removing libsm-dev:armhf ... Removing libice-dev:armhf ... Removing libxaw7:armhf ... Purging configuration files for libxaw7:armhf ... Removing libxmu6:armhf ... Purging configuration files for libxmu6:armhf ... Removing libxt6:armhf ... Purging configuration files for libxt6:armhf ... Removing libsm6:armhf ... Purging configuration files for libsm6:armhf ... Removing libice6:armhf ... Purging configuration files for libice6:armhf ... Removing netpbm ... Removing libkpathsea5 ... Purging configuration files for libkpathsea5 ... Removing liblcms1 ... Purging configuration files for liblcms1 ... Removing libmagic1:armhf ... Purging configuration files for libmagic1:armhf ... Removing libnetpbm10 ... Purging configuration files for libnetpbm10 ... Removing libopenjpeg2 ... Purging configuration files for libopenjpeg2 ... Removing libpaper-utils ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libxpm-dev:armhf ... Removing libxmu-headers ... Removing libxext-dev:armhf ... Removing libx11-dev:armhf ... Removing libxcb1-dev:armhf ... Removing libpthread-stubs0-dev:armhf ... Removing libpthread-stubs0:armhf ... Removing libunistring0:armhf ... Purging configuration files for libunistring0:armhf ... Removing libxpm4:armhf ... Purging configuration files for libxpm4:armhf ... Removing libxext6:armhf ... Purging configuration files for libxext6:armhf ... Removing libx11-6:armhf ... Purging configuration files for libx11-6:armhf ... Removing libx11-data ... Removing libxau-dev:armhf ... Removing libxcb1:armhf ... Purging configuration files for libxcb1:armhf ... Removing libxau6:armhf ... Purging configuration files for libxau6:armhf ... Removing libxdmcp-dev:armhf ... Removing libxdmcp6:armhf ... Purging configuration files for libxdmcp6:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing mime-support ... Purging configuration files for mime-support ... Removing ocaml-base-nox ... Removing sbuild-build-depends-core-dummy ... Removing texlive-doc-base ... Purging configuration files for texlive-doc-base ... Removing texlive-common ... Removing tex-common ... Purging configuration files for tex-common ... Removing x11-common ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of stop. Purging configuration files for x11-common ... Removing x11proto-xext-dev ... Removing x11proto-input-dev ... Removing x11proto-core-dev ... Removing x11proto-kb-dev ... Removing xorg-sgml-doctools ... Removing xtrans-dev ... Removing libgs9 ... Purging configuration files for libgs9 ... Removing gs-cjk-resource ... Purging configuration files for gs-cjk-resource ... Removing libfontconfig1:armhf ... Purging configuration files for libfontconfig1:armhf ... Removing fontconfig-config ... Purging configuration files for fontconfig-config ... Removing libcupsimage2:armhf ... Purging configuration files for libcupsimage2:armhf ... Removing libcups2:armhf ... Purging configuration files for libcups2:armhf ... Removing libavahi-client3:armhf ... Purging configuration files for libavahi-client3:armhf ... Removing libavahi-common3:armhf ... Purging configuration files for libavahi-common3:armhf ... Removing libavahi-common-data:armhf ... Removing libdbus-1-3:armhf ... Purging configuration files for libdbus-1-3:armhf ... Removing libexpat1:armhf ... Purging configuration files for libexpat1:armhf ... Removing libfreetype6:armhf ... Purging configuration files for libfreetype6:armhf ... Removing libgnutls26:armhf ... Purging configuration files for libgnutls26:armhf ... Removing libgcrypt11:armhf ... Purging configuration files for libgcrypt11:armhf ... Removing libgpg-error0:armhf ... Purging configuration files for libgpg-error0:armhf ... Removing libgs9-common ... Removing libgssapi-krb5-2:armhf ... Purging configuration files for libgssapi-krb5-2:armhf ... Removing libidn11:armhf ... Purging configuration files for libidn11:armhf ... Removing libijs-0.35 ... Purging configuration files for libijs-0.35 ... Removing libjasper1:armhf ... Purging configuration files for libjasper1:armhf ... Removing libtiff4:armhf ... Purging configuration files for libtiff4:armhf ... Removing libjbig0:armhf ... Purging configuration files for libjbig0:armhf ... Removing libjbig2dec0 ... Purging configuration files for libjbig2dec0 ... Removing libjpeg8:armhf ... Removing libkrb5-3:armhf ... Purging configuration files for libkrb5-3:armhf ... Removing libk5crypto3:armhf ... Purging configuration files for libk5crypto3:armhf ... Removing libkeyutils1:armhf ... Purging configuration files for libkeyutils1:armhf ... Removing libkrb5support0:armhf ... Purging configuration files for libkrb5support0:armhf ... Removing liblcms2-2 ... Purging configuration files for liblcms2-2 ... Removing libp11-kit0:armhf ... Purging configuration files for libp11-kit0:armhf ... Removing libpaper1 ... Purging configuration files for libpaper1 ... Removing libpng12-0:armhf ... Purging configuration files for libpng12-0:armhf ... Removing libtasn1-3:armhf ... Purging configuration files for libtasn1-3:armhf ... Removing ttf-dejavu-core ... Removing ghostscript ... Removing gsfonts ... Purging configuration files for gsfonts ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: armhf Build-Space: 30204 Build-Time: 229 Distribution: testing Install-Time: 217 Job: otter_3.3f-1.1 Package: otter Package-Time: 486 Source-Version: 3.3f-1.1 Space: 30204 Status: successful Version: 3.3f-1.1 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120504-1247 Build needed 00:08:06, 30204k disc space