RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 3.2.0-1418-omap4 #25-Ubuntu SMP PREEMPT Fri Aug 31 18:41:31 UTC 2012 armv7l Buildd toolchain package versions: launchpad-buildd_114-0~53~0.IS.08.04 python-lpbuildd_114-0~53~0.IS.08.04 bzr_2.5.1-0ubuntu2. Syncing the system clock with the buildd NTP service... 13 Sep 21:09:57 ntpdate[4773]: adjust time server 10.211.37.1 offset 0.001913 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'ef2a8e192e33c15b90648225e814b116ef9ee842', '/home/buildd/filecache-default/0759bb80e8de2f593d6df73f7ee9803743286aab'] Unpacking chroot for build ef2a8e192e33c15b90648225e814b116ef9ee842 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'ef2a8e192e33c15b90648225e814b116ef9ee842'] Mounting chroot for build ef2a8e192e33c15b90648225e814b116ef9ee842 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'ef2a8e192e33c15b90648225e814b116ef9ee842', 'deb http://ftpmaster.internal/ubuntu quantal main universe'] Overriding sources.list in build-ef2a8e192e33c15b90648225e814b116ef9ee842 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'ef2a8e192e33c15b90648225e814b116ef9ee842', 'armhf'] Updating debian chroot for build ef2a8e192e33c15b90648225e814b116ef9ee842 Ign http://ftpmaster.internal quantal InRelease Get:1 http://ftpmaster.internal quantal Release.gpg [198 B] Get:2 http://ftpmaster.internal quantal Release [49.6 kB] Get:3 http://ftpmaster.internal quantal/main armhf Packages [1135 kB] Get:4 http://ftpmaster.internal quantal/universe armhf Packages [5189 kB] Get:5 http://ftpmaster.internal quantal/main Translation-en [659 kB] Get:6 http://ftpmaster.internal quantal/universe Translation-en [3668 kB] Fetched 10.7 MB in 25s (425 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: ifupdown perl perl-base perl-modules 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 8454 kB of archives. After this operation, 4096 B disk space will be freed. WARNING: The following packages cannot be authenticated! perl perl-base perl-modules ifupdown Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ quantal/main perl armhf 5.14.2-13 [3625 kB] Get:2 http://ftpmaster.internal/ubuntu/ quantal/main perl-base armhf 5.14.2-13 [1390 kB] Get:3 http://ftpmaster.internal/ubuntu/ quantal/main perl-modules all 5.14.2-13 [3390 kB] Get:4 http://ftpmaster.internal/ubuntu/ quantal/main ifupdown armhf 0.7.2ubuntu1 [49.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 8454 kB in 1s (4461 kB/s) (Reading database ... 12202 files and directories currently installed.) Preparing to replace perl 5.14.2-12 (using .../perl_5.14.2-13_armhf.deb) ... Unpacking replacement perl ... Preparing to replace perl-base 5.14.2-12 (using .../perl-base_5.14.2-13_armhf.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.14.2-13) ... (Reading database ... 12202 files and directories currently installed.) Preparing to replace perl-modules 5.14.2-12 (using .../perl-modules_5.14.2-13_all.deb) ... Unpacking replacement perl-modules ... Preparing to replace ifupdown 0.7.1ubuntu3 (using .../ifupdown_0.7.2ubuntu1_armhf.deb) ... Unpacking replacement ifupdown ... Setting up ifupdown (0.7.2ubuntu1) ... Setting up perl-modules (5.14.2-13) ... Setting up perl (5.14.2-13) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'ef2a8e192e33c15b90648225e814b116ef9ee842', 'armhf', 'quantal', '--nolog', '--batch', '--archive=ubuntu', '--dist=quantal', '--purpose=PRIMARY', '--architecture=armhf', '--comp=universe', 'why_2.30+dfsg-5.dsc'] Initiating build ef2a8e192e33c15b90648225e814b116ef9ee842 with 2 jobs across 2 processor cores. Kernel reported to sbuild: 3.2.0-1418-omap4 #25-Ubuntu SMP PREEMPT Fri Aug 31 18:41:31 UTC 2012 armv7l Automatic build of why_2.30+dfsg-5 on nasl by sbuild/armhf 1.170.5 Build started at 20120913-2111 ****************************************************************************** why_2.30+dfsg-5.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), autotools-dev, autoconf, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3~), coq (>= 8.3~), libfloat-coq, libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20111001+nitrogen+dfsg-1~), libapron-ocaml-dev (>= 0.9.10-4~), camlidl Checking for already installed source dependencies... debhelper: missing autotools-dev: missing autoconf: missing dh-ocaml: missing ocaml-nox: missing ocaml-best-compilers: missing camlp4: missing liblablgtk2-ocaml-dev: missing coq: missing coq: does not exist libfloat-coq: missing libocamlgraph-ocaml-dev: missing frama-c-base: missing libapron-ocaml-dev: missing camlidl: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper autotools-dev autoconf dh-ocaml ocaml-nox ocaml-best-compilers camlp4 liblablgtk2-ocaml-dev coq libfloat-coq libocamlgraph-ocaml-dev frama-c-base libapron-ocaml-dev camlidl Reading package lists... Building dependency tree... Reading state information... Package coq is not available, but is referred to by another package. This may mean that the package is missing, has been obsoleted, or is only available from another source E: Package 'coq' has no installation candidate apt-get failed. Package installation failed Trying to reinstall removed packages: Trying to uninstall newly installed packages: Source-dependencies not satisfied; skipping why ****************************************************************************** Finished at 20120913-2112 Build needed 00:00:00, 0k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', 'ef2a8e192e33c15b90648225e814b116ef9ee842'] Scanning for processes to kill in build /home/buildd/build-ef2a8e192e33c15b90648225e814b116ef9ee842/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'ef2a8e192e33c15b90648225e814b116ef9ee842'] Unmounting chroot for build ef2a8e192e33c15b90648225e814b116ef9ee842... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'ef2a8e192e33c15b90648225e814b116ef9ee842'] Removing build ef2a8e192e33c15b90648225e814b116ef9ee842