RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '1199295-2554734', '/home/buildd/filecache-default/3bff271ed2f48b4121624f48a8c8f97714456767'] Synching the system clock with the buildd NTP service... 1 Sep 08:50:17 ntpdate[2674]: adjust time server 10.211.37.1 offset -0.000230 sec Unpacking chroot for build 1199295-2554734 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '1199295-2554734'] Mounting chroot for build 1199295-2554734 RUN: /usr/share/launchpad-buildd/slavebin/apply-ogre-model ['apply-ogre-model', '1199295-2554734', 'universe'] Attempting OGRE for universe in build-1199295-2554734 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '1199295-2554734', 'deb http://ftpmaster.internal/ubuntu karmic main universe'] Overriding sources.list in build-1199295-2554734 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '1199295-2554734'] Updating debian chroot for build 1199295-2554734 Get:1 http://ftpmaster.internal karmic Release.gpg [189B] Get:2 http://ftpmaster.internal karmic Release [65.9kB] Get:3 http://ftpmaster.internal karmic/main Packages [1352kB] Get:4 http://ftpmaster.internal karmic/universe Packages [5009kB] Fetched 6427kB in 3s (1783kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: linux-libc-dev 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 0B/729kB of archives. After this operation, 0B of additional disk space will be used. WARNING: The following packages cannot be authenticated! linux-libc-dev debconf: delaying package configuration, since apt-utils is not installed Authentication warning overridden. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9309 files and directories currently installed.) Preparing to replace linux-libc-dev 2.6.31-8.28 (using .../linux-libc-dev_2.6.31-9.29_lpia.deb) ... Unpacking replacement linux-libc-dev ... Setting up linux-libc-dev (2.6.31-9.29) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '1199295-2554734', '--nolog', '--batch', '--archive=ubuntu', '--purpose=PRIMARY', '--dist=karmic', '--comp=universe', 'alt-ergo_0.8-1build1.dsc'] Initiating build 1199295-2554734 with 2 processor cores. Automatic build of alt-ergo_0.8-1build1 on molybdenum by sbuild/lpia 1.170.5 Build started at 20090901-0850 ****************************************************************************** alt-ergo_0.8-1build1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7), autotools-dev, ocaml-nox (>= 3.11.0), libocamlgraph-ocaml-dev (>= 1.0), dpatch, dh-ocaml (>= 0.4.1) Checking for already installed source dependencies... debhelper: missing autotools-dev: missing ocaml-nox: missing libocamlgraph-ocaml-dev: missing dpatch: missing dh-ocaml: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper autotools-dev ocaml-nox libocamlgraph-ocaml-dev dpatch dh-ocaml 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 libglib2.0-0 libmagic1 libncurses5-dev libpcre3 libxml2 man-db ocaml-base-nox ocaml-interp po-debconf Suggested packages: wamerican wordlist whois vacation dh-make curl cvs gettext-doc groff graphviz springgraph less www-browser ocaml-doc libgdbm-dev tuareg-mode ocaml-mode libmail-box-perl Recommended packages: patchutils libglib2.0-data shared-mime-info xml-core ledit readline-editor camlp4 libmail-sendmail-perl The following NEW packages will be installed: autotools-dev bsdmainutils debhelper dh-ocaml dpatch file gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libpcre3 libxml2 man-db ocaml-base-nox ocaml-interp ocaml-nox po-debconf 0 upgraded, 23 newly installed, 0 to remove and 0 not upgraded. Need to get 960kB/17.7MB of archives. After this operation, 66.7MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libmagic1 file libpcre3 libglib2.0-0 libxml2 bsdmainutils gettext-base groff-base man-db autotools-dev html2text libcroco3 gettext intltool-debian po-debconf debhelper dpatch libncurses5-dev ocaml-base-nox ocaml-interp ocaml-nox libocamlgraph-ocaml-dev dh-ocaml Authentication warning overridden. Get:1 http://ftpmaster.internal karmic/universe libocamlgraph-ocaml-dev 1.1-1 [893kB] Get:2 http://ftpmaster.internal karmic/main dh-ocaml 0.5.0 [67.4kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 960kB in 0s (14.3MB/s) Selecting previously deselected package libmagic1. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 9309 files and directories currently installed.) Unpacking libmagic1 (from .../libmagic1_5.03-1ubuntu1_lpia.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.03-1ubuntu1_lpia.deb) ... Selecting previously deselected package libpcre3. Unpacking libpcre3 (from .../libpcre3_7.8-2ubuntu1_lpia.deb) ... Selecting previously deselected package libglib2.0-0. Unpacking libglib2.0-0 (from .../libglib2.0-0_2.21.5-0ubuntu2_lpia.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.3.dfsg-1ubuntu1_lpia.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_6.1.10ubuntu4_lpia.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.17-6ubuntu2_lpia.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.20.1-5_lpia.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.5.6-1_lpia.deb) ... Selecting previously deselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20090427.1_all.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-14_lpia.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.1-2_lpia.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.17-6ubuntu2_lpia.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_7.3.15ubuntu1_all.deb) ... Selecting previously deselected package dpatch. Unpacking dpatch (from .../archives/dpatch_2.0.31_all.deb) ... Selecting previously deselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20090607-1ubuntu1_lpia.deb) ... Selecting previously deselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.11.1-2_lpia.deb) ... Selecting previously deselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.11.1-2_lpia.deb) ... Selecting previously deselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.11.1-2_lpia.deb) ... Selecting previously deselected package libocamlgraph-ocaml-dev. Unpacking libocamlgraph-ocaml-dev (from .../libocamlgraph-ocaml-dev_1.1-1_lpia.deb) ... Selecting previously deselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_0.5.0_all.deb) ... Setting up libmagic1 (5.03-1ubuntu1) ... Setting up file (5.03-1ubuntu1) ... Setting up libpcre3 (7.8-2ubuntu1) ... Setting up libglib2.0-0 (2.21.5-0ubuntu2) ... Setting up libxml2 (2.7.3.dfsg-1ubuntu1) ... Setting up bsdmainutils (6.1.10ubuntu4) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. Setting up gettext-base (0.17-6ubuntu2) ... Setting up groff-base (1.20.1-5) ... Setting up man-db (2.5.6-1) ... Building database of manual pages ... ... skipping, since this is a buildd Setting up autotools-dev (20090427.1) ... Setting up html2text (1.3.2a-14) ... Setting up libcroco3 (0.6.1-2) ... Setting up gettext (0.17-6ubuntu2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16) ... Setting up debhelper (7.3.15ubuntu1) ... Setting up dpatch (2.0.31) ... Setting up libncurses5-dev (5.7+20090607-1ubuntu1) ... Setting up ocaml-base-nox (3.11.1-2) ... Setting up ocaml-interp (3.11.1-2) ... Setting up ocaml-nox (3.11.1-2) ... Setting up libocamlgraph-ocaml-dev (1.1-1) ... Setting up dh-ocaml (0.5.0) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.10.1-0ubuntu8 make_3.81-6 dpkg-dev_1.15.3.1ubuntu1 g++-4.4_4.4.1-3ubuntu3 gcc-4.4_4.4.1-3ubuntu3 binutils_2.19.51.20090827-1ubuntu1 libstdc++6_4.4.1-3ubuntu3 libstdc++6-4.4-dev_4.4.1-3ubuntu3 ------------------------------------------------------------------------------ sh: gcc: not found dpkg-source: warning: Couldn't determine gcc system type, falling back to default (native compilation) gpg: Signature made Tue Sep 1 08:46:04 2009 BST using RSA key ID 776E82EA gpg: Can't check signature: public key not found dpkg-source: extracting alt-ergo in alt-ergo-0.8 dpkg-source: unpacking alt-ergo_0.8.orig.tar.gz dpkg-source: applying /home/buildd/build-1199295-2554734/alt-ergo_0.8-1build1.diff.gz dpkg-buildpackage: set CFLAGS to default value: -g -O2 dpkg-buildpackage: set CPPFLAGS to default value: dpkg-buildpackage: set LDFLAGS to default value: -Wl,-Bsymbolic-functions dpkg-buildpackage: set FFLAGS to default value: -g -O2 dpkg-buildpackage: set CXXFLAGS to default value: -g -O2 dpkg-buildpackage: source package alt-ergo dpkg-buildpackage: source version 0.8-1build1 dpkg-buildpackage: host architecture lpia /usr/bin/fakeroot debian/rules clean dpatch deapply-all 01_no_debug not applied to ./ . rm -rf patch-stamp patch-stampT debian/patched dh_testdir dh_testroot if [ -f Makefile ]; then \ /usr/bin/make clean; \ fi for i in version.ml .depend; do \ [ ! -f $i.debian ] || mv $i.debian $i; \ done dh_clean debian/rules build test -d debian/patched || install -d debian/patched dpatch apply-all applying patch 01_no_debug to ./ ... ok. dpatch cat-all >>patch-stampT mv -f patch-stampT patch-stamp dh_testdir ./configure --host=i686-linux-gnulp \ --build=i686-linux-gnulp \ --prefix=/usr \ --mandir=\${prefix}/share/man checking for ocamlc... ocamlc ocaml version is 3.11.1 ocaml library path is /usr/lib/ocaml checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... no checking for ocamlopt.opt... no checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for ocamlyacc... ocamlyacc checking for lablgtk2... no checking for ocamlweb... true checking platform... configure: creating ./config.status config.status: creating Makefile config.status: WARNING: Makefile.in seems to ignore the --datarootdir setting configure: creating ./config.status config.status: creating Makefile config.status: WARNING: Makefile.in seems to ignore the --datarootdir setting config.status: creating version.sh dh_testdir for i in version.ml .depend; do \ cp -ax $i $i.debian; \ done /usr/bin/make opt make[1]: Entering directory `/build/buildd/alt-ergo-0.8' ocamlyacc -v why_parser.mly ocamllex why_lexer.mll 53 states, 480 transitions, table size 2238 bytes 1393 additional bytes used for bindings ocamlyacc -v smt_parser.mly ocamllex smt_lex.mll 36 states, 879 transitions, table size 3732 bytes 1291 additional bytes used for bindings rm -f .depend ocamldep -I +ocamlgraph *.ml *.mli > .depend make[1]: Leaving directory `/build/buildd/alt-ergo-0.8' make[1]: Entering directory `/build/buildd/alt-ergo-0.8' echo "let version = \""0.8"\"" > version.ml echo "let date = \""`date`"\"" >> version.ml echo "let libdir = \""/usr/lib"\"" >> version.ml ocamlopt -c -dtypes -I +ocamlgraph version.ml ocamlc -c -dtypes -I +ocamlgraph exception.mli ocamlopt -c -dtypes -I +ocamlgraph exception.ml ocamlc -c -dtypes -I +ocamlgraph print_color.mli ocamlopt -c -dtypes -I +ocamlgraph print_color.ml ocamlc -c -dtypes -I +ocamlgraph options.mli ocamlopt -c -dtypes -I +ocamlgraph options.ml ocamlopt -c -dtypes -I +ocamlgraph loc.ml ocamlc -c -dtypes -I +ocamlgraph hashcons.mli ocamlopt -c -dtypes -I +ocamlgraph hashcons.ml ocamlc -c -dtypes -I +ocamlgraph hstring.mli ocamlopt -c -dtypes -I +ocamlgraph hstring.ml ocamlc -c -dtypes -I +ocamlgraph builtin.mli ocamlopt -c -dtypes -I +ocamlgraph builtin.ml ocamlc -c -dtypes -I +ocamlgraph symbols.mli ocamlopt -c -dtypes -I +ocamlgraph symbols.ml ocamlc -c -dtypes -I +ocamlgraph subst.mli ocamlopt -c -dtypes -I +ocamlgraph subst.ml ocamlc -c -dtypes -I +ocamlgraph ty.mli ocamlopt -c -dtypes -I +ocamlgraph ty.ml ocamlc -c -dtypes -I +ocamlgraph term.mli ocamlopt -c -dtypes -I +ocamlgraph term.ml ocamlc -c -dtypes -I +ocamlgraph literal.mli ocamlopt -c -dtypes -I +ocamlgraph literal.ml ocamlc -c -dtypes -I +ocamlgraph formula.mli ocamlopt -c -dtypes -I +ocamlgraph formula.ml ocamlc -c -dtypes -I +ocamlgraph explanation.mli ocamlopt -c -dtypes -I +ocamlgraph explanation.ml ocamlc -c -dtypes -I +ocamlgraph why_ptree.mli ocamlc -c -dtypes -I +ocamlgraph why_parser.mli ocamlopt -c -dtypes -I +ocamlgraph why_parser.ml ocamlopt -c -dtypes -I +ocamlgraph why_lexer.ml ocamlc -c -dtypes -I +ocamlgraph pretty.mli ocamlopt -c -dtypes -I +ocamlgraph pretty.ml ocamlc -c -dtypes -I +ocamlgraph smt_ast.mli ocamlc -c -dtypes -I +ocamlgraph smt_parser.mli ocamlopt -c -dtypes -I +ocamlgraph smt_parser.ml ocamlopt -c -dtypes -I +ocamlgraph smt_lex.ml ocamlopt -c -dtypes -I +ocamlgraph smt_to_why.ml ocamlc -c -dtypes -I +ocamlgraph sig.mli ocamlc -c -dtypes -I +ocamlgraph polynomes.mli ocamlopt -c -dtypes -I +ocamlgraph polynomes.ml ocamlc -c -dtypes -I +ocamlgraph uf.mli ocamlopt -c -dtypes -I +ocamlgraph uf.ml ocamlc -c -dtypes -I +ocamlgraph arith.mli ocamlopt -c -dtypes -I +ocamlgraph arith.ml ocamlc -c -dtypes -I +ocamlgraph pairs.mli ocamlopt -c -dtypes -I +ocamlgraph pairs.ml ocamlc -c -dtypes -I +ocamlgraph bitv.mli ocamlopt -c -dtypes -I +ocamlgraph bitv.ml ocamlc -c -dtypes -I +ocamlgraph combine.mli ocamlopt -c -dtypes -I +ocamlgraph combine.ml ocamlc -c -dtypes -I +ocamlgraph cc.mli ocamlopt -c -dtypes -I +ocamlgraph cc.ml ocamlc -c -dtypes -I +ocamlgraph heap.mli ocamlopt -c -dtypes -I +ocamlgraph heap.ml ocamlc -c -dtypes -I +ocamlgraph existantial.mli ocamlopt -c -dtypes -I +ocamlgraph existantial.ml ocamlc -c -dtypes -I +ocamlgraph pruning.mli ocamlopt -c -dtypes -I +ocamlgraph pruning.ml ocamlc -c -dtypes -I +ocamlgraph why_typing.mli ocamlopt -c -dtypes -I +ocamlgraph why_typing.ml ocamlc -c -dtypes -I +ocamlgraph matching.mli ocamlopt -c -dtypes -I +ocamlgraph matching.ml ocamlc -c -dtypes -I +ocamlgraph sat.mli ocamlopt -c -dtypes -I +ocamlgraph sat.ml ocamlopt -c -dtypes -I +ocamlgraph main.ml ocamlopt -dtypes -I +ocamlgraph -o alt-ergo.opt nums.cmxa graph.cmxa unix.cmxa version.cmx exception.cmx print_color.cmx options.cmx loc.cmx hashcons.cmx hstring.cmx builtin.cmx symbols.cmx subst.cmx ty.cmx term.cmx literal.cmx formula.cmx explanation.cmx why_parser.cmx why_lexer.cmx pretty.cmx smt_parser.cmx smt_lex.cmx smt_to_why.cmx polynomes.cmx uf.cmx arith.cmx pairs.cmx bitv.cmx combine.cmx cc.cmx heap.cmx existantial.cmx pruning.cmx why_typing.cmx matching.cmx sat.cmx main.cmx make[1]: Leaving directory `/build/buildd/alt-ergo-0.8' touch build-arch-stamp /usr/bin/fakeroot debian/rules binary-arch dh_testdir dh_testroot dh_prep dh_installdirs cp -f alt-ergo.opt /build/buildd/alt-ergo-0.8/debian/alt-ergo/usr/bin/alt-ergo cp -f smt_prelude.mlw /build/buildd/alt-ergo-0.8/debian/alt-ergo/usr/lib/alt-ergo dh_testdir dh_testroot dh_installchangelogs CHANGES dh_installdocs dh_installman dh_link dh_strip dh_strip debug symbol extraction: all non-arch-all packages for this build platform lpia: alt-ergo dh_strip debug symbol extraction: packages to act on: alt-ergo dh_strip debug symbol extraction: ignored packages: pkgstriptranslations: processing control file: ./debian/alt-ergo-dbgsym/DEBIAN/control, package alt-ergo-dbgsym, directory ./debian/alt-ergo-dbgsym pkgstriptranslations: alt-ergo-dbgsym does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgstriptranslations: static tarball already exists pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " dpkg-deb: warning: '/build/buildd/alt-ergo-0.8/debian/alt-ergo-dbgsym/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: ignoring 1 warnings about the control file(s) dpkg-deb: building package `alt-ergo-dbgsym' in `../alt-ergo-dbgsym_0.8-1build1_lpia.ddeb'. dh_compress dh_fixperms dh_installdeb dh_shlibdeps dh_gencontrol -- -VF:OCamlRun="" dh_md5sums dh_builddeb pkgstriptranslations: processing control file: ./debian/alt-ergo/DEBIAN/control, package alt-ergo, directory ./debian/alt-ergo pkgstriptranslations: alt-ergo does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgstriptranslations: static tarball already exists pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " dpkg-deb: warning: 'debian/alt-ergo/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: ignoring 1 warnings about the control file(s) dpkg-deb: building package `alt-ergo' in `../alt-ergo_0.8-1build1_lpia.deb'. dpkg-genchanges -B -mUbuntu/lpia Build Daemon >../alt-ergo_0.8-1build1_lpia.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20090901-0850 Publishing debug debs. chroot-autobuild/build/buildd/alt-ergo_0.8-1build1_lpia.deb: new debian package, version 2.0. size 417196 bytes: control archive= 919 bytes. 902 bytes, 20 lines control 463 bytes, 7 lines md5sums Package: alt-ergo Version: 0.8-1build1 Architecture: lpia Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 1112 Depends: libc6 (>= 2.10) Suggests: why Section: math Priority: optional Homepage: http://alt-ergo.lri.fr Description: Automatic theorem prover dedicated to program verification Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism. . Alt-Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor. chroot-autobuild/build/buildd/alt-ergo_0.8-1build1_lpia.deb: drwxr-xr-x root/root 0 2009-09-01 08:50 ./ drwxr-xr-x root/root 0 2009-09-01 08:50 ./usr/ drwxr-xr-x root/root 0 2009-09-01 08:50 ./usr/bin/ -rwxr-xr-x root/root 1042936 2009-09-01 08:50 ./usr/bin/alt-ergo drwxr-xr-x root/root 0 2009-09-01 08:50 ./usr/lib/ drwxr-xr-x root/root 0 2009-09-01 08:50 ./usr/lib/alt-ergo/ -rw-r--r-- root/root 923 2009-09-01 08:50 ./usr/lib/alt-ergo/smt_prelude.mlw drwxr-xr-x root/root 0 2009-09-01 08:50 ./usr/share/ drwxr-xr-x root/root 0 2009-09-01 08:50 ./usr/share/doc/ drwxr-xr-x root/root 0 2009-09-01 08:50 ./usr/share/doc/alt-ergo/ -rw-r--r-- root/root 679 2008-09-17 13:00 ./usr/share/doc/alt-ergo/changelog.gz -rw-r--r-- root/root 325 2008-09-17 13:00 ./usr/share/doc/alt-ergo/README -rw-r--r-- root/root 23064 2009-09-01 08:50 ./usr/share/doc/alt-ergo/copyright -rw-r--r-- root/root 251 2009-09-01 08:50 ./usr/share/doc/alt-ergo/changelog.Debian.gz drwxr-xr-x root/root 0 2009-09-01 08:50 ./usr/share/man/ drwxr-xr-x root/root 0 2009-09-01 08:50 ./usr/share/man/man1/ -rw-r--r-- root/root 381 2009-09-01 08:50 ./usr/share/man/man1/alt-ergo.1.gz alt-ergo_0.8-1build1_lpia.changes: Format: 1.8 Date: Tue, 01 Sep 2009 09:44:02 +0200 Source: alt-ergo Binary: alt-ergo Architecture: lpia Version: 0.8-1build1 Distribution: karmic Urgency: low Maintainer: Ubuntu/lpia Build Daemon Changed-By: Michael Bienia Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.8-1build1) karmic; urgency=low . * Rebuild with OCaml 3.11.1 on armel (lp: #421084) Checksums-Sha1: fe28f1577d74cc5bf2cb9fcc1f56cf5e6ba0f02c 417196 alt-ergo_0.8-1build1_lpia.deb Checksums-Sha256: 2a260ec80c5170ec8d69543bb50a0af2e22e636711a33d11abe7ea24a42786cb 417196 alt-ergo_0.8-1build1_lpia.deb Files: 23036c57a2c0eb9f4f106f97da824746 417196 math optional alt-ergo_0.8-1build1_lpia.deb Launchpad-Bugs-Fixed: 421084 ****************************************************************************** Built successfully Purging chroot-autobuild/build/buildd/alt-ergo-0.8 ------------------------------------------------------------------------------ /usr/bin/sudo dpkg --purge intltool-debian groff-base libocamlgraph-ocaml-dev ocaml-interp libglib2.0-0 gettext file dpatch html2text gettext-base debhelper ocaml-base-nox autotools-dev po-debconf libncurses5-dev libcroco3 ocaml-nox libmagic1 libxml2 bsdmainutils libpcre3 man-db dh-ocaml (Reading database ... 12699 files and directories currently installed.) Removing libocamlgraph-ocaml-dev ... Removing dpatch ... Purging configuration files for dpatch ... Removing debhelper ... Removing autotools-dev ... Removing po-debconf ... Removing ocaml-nox ... Purging configuration files for ocaml-nox ... Removing man-db ... Purging configuration files for man-db ... Removing dh-ocaml ... dpkg: warning: while removing dh-ocaml, directory '/usr/share/doc/ocaml-base' not empty so not removed. Removing intltool-debian ... Removing groff-base ... Purging configuration files for groff-base ... Removing ocaml-interp ... Purging configuration files for ocaml-interp ... Removing gettext ... Removing file ... Purging configuration files for file ... Removing html2text ... Purging configuration files for html2text ... Removing gettext-base ... Removing ocaml-base-nox ... Removing libncurses5-dev ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing libmagic1 ... Purging configuration files for libmagic1 ... Removing libxml2 ... Purging configuration files for libxml2 ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing libglib2.0-0 ... Purging configuration files for libglib2.0-0 ... Removing libpcre3 ... Purging configuration files for libpcre3 ... Processing triggers for libc6 ... ldconfig deferred processing now taking place ****************************************************************************** Finished at 20090901-0850 Build needed 00:00:21, 8940k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '1199295-2554734'] Scanning for processes to kill in build /home/buildd/build-1199295-2554734/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '1199295-2554734'] Unmounting chroot for build 1199295-2554734... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '1199295-2554734'] Removing build 1199295-2554734