RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '70a178bc987d05bdd1cebd5f92c402e4b86b0013', '/home/buildd/filecache-default/8b669016202bc91bd6cca25d2a92d8606492bf56'] Synching the system clock with the buildd NTP service... 14 May 07:59:26 ntpdate[22834]: adjust time server 10.211.37.1 offset -0.000004 sec Unpacking chroot for build 70a178bc987d05bdd1cebd5f92c402e4b86b0013 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '70a178bc987d05bdd1cebd5f92c402e4b86b0013'] Mounting chroot for build 70a178bc987d05bdd1cebd5f92c402e4b86b0013 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '70a178bc987d05bdd1cebd5f92c402e4b86b0013', 'deb http://ftpmaster.internal/ubuntu oneiric main universe'] Overriding sources.list in build-70a178bc987d05bdd1cebd5f92c402e4b86b0013 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '70a178bc987d05bdd1cebd5f92c402e4b86b0013', 'amd64'] Updating debian chroot for build 70a178bc987d05bdd1cebd5f92c402e4b86b0013 Ign http://ftpmaster.internal oneiric InRelease Get:1 http://ftpmaster.internal oneiric Release.gpg [198 B] Get:2 http://ftpmaster.internal oneiric Release [39.8 kB] Get:3 http://ftpmaster.internal oneiric/main amd64 Packages [1572 kB] Get:4 http://ftpmaster.internal oneiric/universe amd64 Packages [6085 kB] Ign http://ftpmaster.internal oneiric/main TranslationIndex Ign http://ftpmaster.internal oneiric/universe TranslationIndex Ign http://ftpmaster.internal oneiric/main Translation-en Ign http://ftpmaster.internal oneiric/universe Translation-en Fetched 7698 kB in 2s (3845 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: binutils cpp-4.6 g++-4.6 gcc-4.6 gcc-4.6-base libgcc1 libgomp1 libquadmath0 libstdc++6 libstdc++6-4.6-dev linux-libc-dev 11 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 24.8 MB of archives. After this operation, 2195 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libgomp1 gcc-4.6-base libstdc++6 cpp-4.6 libquadmath0 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libgcc1 binutils linux-libc-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ oneiric/main libgomp1 amd64 4.6.0-6ubuntu3 [25.5 kB] Get:2 http://ftpmaster.internal/ubuntu/ oneiric/main gcc-4.6-base amd64 4.6.0-6ubuntu3 [14.9 kB] Get:3 http://ftpmaster.internal/ubuntu/ oneiric/main libstdc++6 amd64 4.6.0-6ubuntu3 [328 kB] Get:4 http://ftpmaster.internal/ubuntu/ oneiric/main cpp-4.6 amd64 4.6.0-6ubuntu3 [4777 kB] Get:5 http://ftpmaster.internal/ubuntu/ oneiric/main libquadmath0 amd64 4.6.0-6ubuntu3 [126 kB] Get:6 http://ftpmaster.internal/ubuntu/ oneiric/main libstdc++6-4.6-dev amd64 4.6.0-6ubuntu3 [1644 kB] Get:7 http://ftpmaster.internal/ubuntu/ oneiric/main g++-4.6 amd64 4.6.0-6ubuntu3 [6920 kB] Get:8 http://ftpmaster.internal/ubuntu/ oneiric/main gcc-4.6 amd64 4.6.0-6ubuntu3 [7519 kB] Get:9 http://ftpmaster.internal/ubuntu/ oneiric/main libgcc1 amd64 1:4.6.0-6ubuntu3 [42.5 kB] Get:10 http://ftpmaster.internal/ubuntu/ oneiric/main binutils amd64 2.21.51.20110421-0ubuntu6 [2567 kB] Get:11 http://ftpmaster.internal/ubuntu/ oneiric/main linux-libc-dev amd64 2.6.39-2.7 [788 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 24.8 MB in 0s (54.9 MB/s) (Reading database ... 14236 files and directories currently installed.) Preparing to replace libgomp1 4.6.0-6ubuntu2 (using .../libgomp1_4.6.0-6ubuntu3_amd64.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.0-6ubuntu2 (using .../gcc-4.6-base_4.6.0-6ubuntu3_amd64.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.0-6ubuntu3) ... (Reading database ... 14236 files and directories currently installed.) Preparing to replace libstdc++6 4.6.0-6ubuntu2 (using .../libstdc++6_4.6.0-6ubuntu3_amd64.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.0-6ubuntu3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14236 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.0-6ubuntu2 (using .../cpp-4.6_4.6.0-6ubuntu3_amd64.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libquadmath0 4.6.0-6ubuntu2 (using .../libquadmath0_4.6.0-6ubuntu3_amd64.deb) ... Unpacking replacement libquadmath0 ... Preparing to replace libstdc++6-4.6-dev 4.6.0-6ubuntu2 (using .../libstdc++6-4.6-dev_4.6.0-6ubuntu3_amd64.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.0-6ubuntu2 (using .../g++-4.6_4.6.0-6ubuntu3_amd64.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.0-6ubuntu2 (using .../gcc-4.6_4.6.0-6ubuntu3_amd64.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libgcc1 1:4.6.0-6ubuntu2 (using .../libgcc1_1%3a4.6.0-6ubuntu3_amd64.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.0-6ubuntu3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14249 files and directories currently installed.) Preparing to replace binutils 2.21.51.20110421-0ubuntu5 (using .../binutils_2.21.51.20110421-0ubuntu6_amd64.deb) ... Unpacking replacement binutils ... Preparing to replace linux-libc-dev 2.6.39-1.6 (using .../linux-libc-dev_2.6.39-2.7_amd64.deb) ... Unpacking replacement linux-libc-dev ... Setting up libgomp1 (4.6.0-6ubuntu3) ... Setting up cpp-4.6 (4.6.0-6ubuntu3) ... Setting up libquadmath0 (4.6.0-6ubuntu3) ... Setting up binutils (2.21.51.20110421-0ubuntu6) ... Setting up gcc-4.6 (4.6.0-6ubuntu3) ... Setting up linux-libc-dev (2.6.39-2.7) ... Setting up libstdc++6-4.6-dev (4.6.0-6ubuntu3) ... Setting up g++-4.6 (4.6.0-6ubuntu3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '70a178bc987d05bdd1cebd5f92c402e4b86b0013', 'amd64', 'oneiric', '--nolog', '--batch', '--archive=ubuntu', '--dist=oneiric', '--purpose=PRIMARY', '--architecture=amd64', '--comp=universe', 'lbt_1.2.2-5.dsc'] Initiating build 70a178bc987d05bdd1cebd5f92c402e4b86b0013 with 8 processor cores. Automatic build of lbt_1.2.2-5 on allspice by sbuild/amd64 1.170.5 Build started at 20110514-0800 ****************************************************************************** lbt_1.2.2-5.dsc exists in cwd sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) sh: gcc: not found dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation) Checking for already installed source dependencies... debhelper: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils file gettext gettext-base groff-base html2text intltool-debian libcroco3 libmagic1 libpipeline1 libunistring0 libxml2 man-db po-debconf Suggested packages: wamerican wordlist whois vacation dh-make gettext-doc groff less www-browser libmail-box-perl Recommended packages: curl wget lynx-cur xml-core libmail-sendmail-perl The following NEW packages will be installed: bsdmainutils debhelper file gettext gettext-base groff-base html2text intltool-debian libcroco3 libmagic1 libpipeline1 libunistring0 libxml2 man-db po-debconf 0 upgraded, 15 newly installed, 0 to remove and 0 not upgraded. Need to get 5669 kB of archives. After this operation, 19.1 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libmagic1 file bsdmainutils gettext-base groff-base libpipeline1 libxml2 man-db html2text libcroco3 libunistring0 gettext intltool-debian po-debconf debhelper Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ oneiric/main libmagic1 amd64 5.04-5ubuntu2 [205 kB] Get:2 http://ftpmaster.internal/ubuntu/ oneiric/main file amd64 5.04-5ubuntu2 [22.7 kB] Get:3 http://ftpmaster.internal/ubuntu/ oneiric/main bsdmainutils amd64 8.2.2 [199 kB] Get:4 http://ftpmaster.internal/ubuntu/ oneiric/main gettext-base amd64 0.18.1.1-3ubuntu1 [80.6 kB] Get:5 http://ftpmaster.internal/ubuntu/ oneiric/main groff-base amd64 1.21-5 [1052 kB] Get:6 http://ftpmaster.internal/ubuntu/ oneiric/main libpipeline1 amd64 1.2.0-1 [26.1 kB] Get:7 http://ftpmaster.internal/ubuntu/ oneiric/main libxml2 amd64 2.7.8.dfsg-2 [664 kB] Get:8 http://ftpmaster.internal/ubuntu/ oneiric/main man-db amd64 2.6.0.2-1 [731 kB] Get:9 http://ftpmaster.internal/ubuntu/ oneiric/main html2text amd64 1.3.2a-15 [104 kB] Get:10 http://ftpmaster.internal/ubuntu/ oneiric/main libcroco3 amd64 0.6.2-1 [101 kB] Get:11 http://ftpmaster.internal/ubuntu/ oneiric/main libunistring0 amd64 0.9.3-4 [426 kB] Get:12 http://ftpmaster.internal/ubuntu/ oneiric/main gettext amd64 0.18.1.1-3ubuntu1 [1329 kB] Get:13 http://ftpmaster.internal/ubuntu/ oneiric/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:14 http://ftpmaster.internal/ubuntu/ oneiric/main po-debconf all 1.0.16+nmu1 [212 kB] Get:15 http://ftpmaster.internal/ubuntu/ oneiric/main debhelper all 8.1.6ubuntu1 [484 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 5669 kB in 0s (32.4 MB/s) Selecting previously deselected package libmagic1. (Reading database ... 14249 files and directories currently installed.) Unpacking libmagic1 (from .../libmagic1_5.04-5ubuntu2_amd64.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.04-5ubuntu2_amd64.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.2_amd64.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-3ubuntu1_amd64.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-5_amd64.deb) ... Selecting previously deselected package libpipeline1. Unpacking libpipeline1 (from .../libpipeline1_1.2.0-1_amd64.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-2_amd64.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-1_amd64.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_amd64.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_amd64.deb) ... Selecting previously deselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-4_amd64.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-3ubuntu1_amd64.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu1_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_8.1.6ubuntu1_all.deb) ... Setting up libmagic1 (5.04-5ubuntu2) ... Setting up file (5.04-5ubuntu2) ... Setting up bsdmainutils (8.2.2) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up gettext-base (0.18.1.1-3ubuntu1) ... Setting up groff-base (1.21-5) ... Setting up libpipeline1 (1.2.0-1) ... Setting up libxml2 (2.7.8.dfsg-2) ... Setting up man-db (2.6.0.2-1) ... Building database of manual pages ... Setting up html2text (1.3.2a-15) ... Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-4) ... Setting up gettext (0.18.1.1-3ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu1) ... Setting up debhelper (8.1.6ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.13-2ubuntu1 make_3.81-8ubuntu1 dpkg-dev_1.16.0~ubuntu8 gcc-4.6_4.6.0-6ubuntu3 g++-4.6_4.6.0-6ubuntu3 binutils_2.21.51.20110421-0ubuntu6 libstdc++6-4.6-dev_4.6.0-6ubuntu3 libstdc++6_4.6.0-6ubuntu3 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Fri May 13 08:16:01 2011 UTC using DSA key ID E0BA04C1 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./lbt_1.2.2-5.dsc dpkg-source: info: extracting lbt in lbt-1.2.2 dpkg-source: info: unpacking lbt_1.2.2.orig.tar.gz dpkg-source: info: unpacking lbt_1.2.2-5.debian.tar.gz dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): -Wl,-Bsymbolic-functions dpkg-buildpackage: source package lbt dpkg-buildpackage: source version 1.2.2-5 dpkg-source --before-build lbt-1.2.2 dpkg-buildpackage: host architecture amd64 /usr/bin/fakeroot debian/rules clean dh_testdir dh_testroot rm -f build-stamp [ ! -f Makefile ] || /usr/bin/make reallyclean make[1]: Entering directory `/build/buildd/lbt-1.2.2' rm -f Ltl.o LtlGraph.o BitVector.o lbt.o lbt2dot.o rm -f lbt lbt2dot make[1]: Leaving directory `/build/buildd/lbt-1.2.2' dh_clean debian/rules build dh_testdir /usr/bin/make CFLAGS=-O3 make[1]: Entering directory `/build/buildd/lbt-1.2.2' g++ -O3 -fno-exceptions -fno-rtti -c Ltl.C -o Ltl.o g++ -O3 -fno-exceptions -fno-rtti -c LtlGraph.C -o LtlGraph.o g++ -O3 -fno-exceptions -fno-rtti -c BitVector.C -o BitVector.o g++ -O3 -fno-exceptions -fno-rtti -c lbt.C -o lbt.o lbt.C: In function 'void translateFormula(const Ltl&)': lbt.C:177:60: warning: format '%u' expects argument of type 'unsigned int', but argument 3 has type 'std::map >::size_type' [-Wformat] g++ -o lbt Ltl.o LtlGraph.o BitVector.o lbt.o gcc -O3 -c lbt2dot.c -o lbt2dot.o gcc -o lbt2dot lbt2dot.o make[1]: Leaving directory `/build/buildd/lbt-1.2.2' touch build-stamp /usr/bin/fakeroot debian/rules binary-arch dh_testdir dh_testroot dh_prep dh_installdirs /usr/bin/make install DESTDIR=/build/buildd/lbt-1.2.2/debian/lbt make[1]: Entering directory `/build/buildd/lbt-1.2.2' install -d /build/buildd/lbt-1.2.2/debian/lbt/usr/bin /build/buildd/lbt-1.2.2/debian/lbt/usr/share/doc/lbt install lbt lbt2dot /build/buildd/lbt-1.2.2/debian/lbt/usr/bin install -m 444 doc/* /build/buildd/lbt-1.2.2/debian/lbt/usr/share/doc/lbt make[1]: Leaving directory `/build/buildd/lbt-1.2.2' cd /build/buildd/lbt-1.2.2/debian/lbt/usr/share/doc/lbt && mv *.html *.png html dh_testdir dh_testroot dh_installdocs dh_installexamples dh_installman dh_installchangelogs dh_link dh_strip dh_strip debug symbol extraction: all non-arch-all packages for this build platform amd64: lbt dh_strip debug symbol extraction: packages to act on: lbt dh_strip debug symbol extraction: ignored packages: lbt is already stripped, ignoring dh_compress dh_fixperms dh_installdeb dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb INFO: pkgstriptranslations version 97 pkgstriptranslations: processing control file: ./debian/lbt/DEBIAN/control, package lbt, directory ./debian/lbt pkgstriptranslations: lbt does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/lbt/DEBIAN/control, package lbt, directory debian/lbt OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/doc/lbt/html/notgp0-opt.png 286x115 pixels, 8 bits/pixel, 18 colors (1 transparent) in palette Reducing image to 8 bits/pixel, grayscale Input IDAT size = 1045 bytes Input file size = 1181 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 1056 zc = 9 zm = 8 zs = 1 f = 0 IDAT size = 1052 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 1 f = 0 IDAT size = 1052 Output IDAT size = 1052 bytes (7 bytes increase) Output file size = 1109 bytes (72 bytes = 6.10% decrease) 1109 1109 100% ./usr/share/doc/lbt/html/notgp0-opt.png (Unsupported bit depth/color type, 8/0) 1109 1109 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/doc/lbt/html/notgp0.png 574x186 pixels, 8 bits/pixel, 18 colors (1 transparent) in palette Reducing image to 8 bits/pixel, grayscale Input IDAT size = 2147 bytes Input file size = 2283 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 2143 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 2143 Output IDAT size = 2143 bytes (4 bytes decrease) Output file size = 2200 bytes (83 bytes = 3.64% decrease) 2200 2200 100% ./usr/share/doc/lbt/html/notgp0.png (Unsupported bit depth/color type, 8/0) 2200 2200 100% dpkg-deb: warning: 'debian/lbt/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `lbt' in `../lbt_1.2.2-5_amd64.deb'. dpkg-genchanges -B -mUbuntu/amd64 Build Daemon >../lbt_1.2.2-5_amd64.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 lbt-1.2.2 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20110514-0800 chroot-autobuild/build/buildd/lbt_1.2.2-5_amd64.deb: new debian package, version 2.0. size 33832 bytes: control archive= 911 bytes. 708 bytes, 16 lines control 557 bytes, 9 lines md5sums Package: lbt Version: 1.2.2-5 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Maintainers Installed-Size: 140 Depends: libc6 (>= 2.7), libstdc++6 (>= 4.1.1) Recommends: graphviz Section: science Priority: extra Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/ Description: converts from LTL formulas to Büchi automata This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net). chroot-autobuild/build/buildd/lbt_1.2.2-5_amd64.deb: drwxr-xr-x root/root 0 2011-05-14 08:00 ./ drwxr-xr-x root/root 0 2011-05-14 08:00 ./usr/ drwxr-xr-x root/root 0 2011-05-14 08:00 ./usr/share/ drwxr-xr-x root/root 0 2011-05-14 08:00 ./usr/share/doc-base/ -rw-r--r-- root/root 333 2011-05-13 07:59 ./usr/share/doc-base/lbt drwxr-xr-x root/root 0 2011-05-14 08:00 ./usr/share/doc/ drwxr-xr-x root/root 0 2011-05-14 08:00 ./usr/share/doc/lbt/ -rw-r--r-- root/root 618 2011-05-13 07:59 ./usr/share/doc/lbt/copyright drwxr-xr-x root/root 0 2011-05-14 08:00 ./usr/share/doc/lbt/html/ -rw-r--r-- root/root 1109 2011-05-14 08:00 ./usr/share/doc/lbt/html/notgp0-opt.png -rw-r--r-- root/root 2200 2011-05-14 08:00 ./usr/share/doc/lbt/html/notgp0.png -rw-r--r-- root/root 10815 2011-05-14 08:00 ./usr/share/doc/lbt/html/index.html -rw-r--r-- root/root 1146 2011-05-13 07:59 ./usr/share/doc/lbt/changelog.Debian.gz drwxr-xr-x root/root 0 2011-05-14 08:00 ./usr/share/man/ drwxr-xr-x root/root 0 2011-05-14 08:00 ./usr/share/man/man1/ -rw-r--r-- root/root 1244 2011-05-14 08:00 ./usr/share/man/man1/lbt.1.gz drwxr-xr-x root/root 0 2011-05-14 08:00 ./usr/bin/ -rwxr-xr-x root/root 10232 2011-05-14 08:00 ./usr/bin/lbt2dot -rwxr-xr-x root/root 47312 2011-05-14 08:00 ./usr/bin/lbt lrwxrwxrwx root/root 0 2011-05-14 08:00 ./usr/share/man/man1/lbt2dot.1.gz -> lbt.1.gz lbt_1.2.2-5_amd64.changes: Format: 1.8 Date: Fri, 13 May 2011 08:50:40 +0200 Source: lbt Binary: lbt Architecture: amd64 Version: 1.2.2-5 Distribution: oneiric Urgency: low Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Ralf Treinen Description: lbt - converts from LTL formulas to Büchi automata Changes: lbt (1.2.2-5) unstable; urgency=low . * debian-control: - set Maintainer to debian-science - set Section to science - set Prioriy to extra - Standards-Version 3.9.2 (no change) - add Dependency on ${misc:Depends} * migrate to source format 3.0 (quilt) * rename debian/dirs to debian/lbt.dirs * manpage for lbt2dot is symlink to lbt.1 * simplify call to dh_installchangelogs Checksums-Sha1: 3741fefd73b415a08c667b62f9e5ed5374e278ee 33832 lbt_1.2.2-5_amd64.deb Checksums-Sha256: 68b8566e87845f9e00bf4ead5453a146e81dab499fc9f80286a1539059a410dd 33832 lbt_1.2.2-5_amd64.deb Files: 5abfc2f0af8fddeff5e40afd1a0cbef7 33832 science extra lbt_1.2.2-5_amd64.deb ****************************************************************************** Built successfully Purging chroot-autobuild/build/buildd/lbt-1.2.2 ------------------------------------------------------------------------------ /usr/bin/sudo dpkg --purge po-debconf libunistring0 intltool-debian groff-base libcroco3 libmagic1 gettext file libpipeline1 libxml2 bsdmainutils html2text gettext-base man-db debhelper (Reading database ... 15390 files and directories currently installed.) Removing debhelper ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing file ... Removing html2text ... Purging configuration files for html2text ... Removing gettext-base ... Removing man-db ... Purging configuration files for man-db ... Removing catpages as well as /var/cache/man hierarchy. Removing libunistring0 ... Purging configuration files for libunistring0 ... Removing groff-base ... Purging configuration files for groff-base ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing libmagic1 ... Purging configuration files for libmagic1 ... Removing libpipeline1 ... Purging configuration files for libpipeline1 ... Removing libxml2 ... Purging configuration files for libxml2 ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place ****************************************************************************** Finished at 20110514-0800 Build needed 00:00:07, 568k disk space Can't open average time db /var/debbuild/avg-build-times Can't open average space db /var/debbuild/avg-build-space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '70a178bc987d05bdd1cebd5f92c402e4b86b0013'] Scanning for processes to kill in build /home/buildd/build-70a178bc987d05bdd1cebd5f92c402e4b86b0013/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '70a178bc987d05bdd1cebd5f92c402e4b86b0013'] Unmounting chroot for build 70a178bc987d05bdd1cebd5f92c402e4b86b0013... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '70a178bc987d05bdd1cebd5f92c402e4b86b0013'] Removing build 70a178bc987d05bdd1cebd5f92c402e4b86b0013