RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 3.2.0-1427-omap4 #36-Ubuntu SMP PREEMPT Fri Mar 1 18:08:27 UTC 2013 armv7l Buildd toolchain package versions: launchpad-buildd_114-0~53~0.IS.08.04 python-lpbuildd_114-0~53~0.IS.08.04 bzr_2.5.1-0ubuntu2. Syncing the system clock with the buildd NTP service... 6 Apr 17:30:27 ntpdate[11617]: adjust time server 10.211.37.1 offset -0.000230 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '81c80679fde3e45f6c001787026a9af6ff199aa9', '/home/buildd/filecache-default/92adb221c70b961885279cd75732117d7c9ea7ce'] Unpacking chroot for build 81c80679fde3e45f6c001787026a9af6ff199aa9 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '81c80679fde3e45f6c001787026a9af6ff199aa9'] Mounting chroot for build 81c80679fde3e45f6c001787026a9af6ff199aa9 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '81c80679fde3e45f6c001787026a9af6ff199aa9', 'deb http://ftpmaster.internal/ubuntu raring main restricted universe multiverse', 'deb http://ftpmaster.internal/ubuntu raring-security main restricted universe multiverse', 'deb http://ftpmaster.internal/ubuntu raring-updates main restricted universe multiverse'] Overriding sources.list in build-81c80679fde3e45f6c001787026a9af6ff199aa9 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '81c80679fde3e45f6c001787026a9af6ff199aa9', 'armhf'] Updating debian chroot for build 81c80679fde3e45f6c001787026a9af6ff199aa9 Get:1 http://ftpmaster.internal raring Release.gpg [933 B] Get:2 http://ftpmaster.internal raring-security Release.gpg [933 B] Get:3 http://ftpmaster.internal raring-updates Release.gpg [933 B] Get:4 http://ftpmaster.internal raring Release [40.8 kB] Get:5 http://ftpmaster.internal raring-security Release [49.6 kB] Get:6 http://ftpmaster.internal raring-updates Release [49.6 kB] Get:7 http://ftpmaster.internal raring/main armhf Packages [1149 kB] Get:8 http://ftpmaster.internal raring/restricted armhf Packages [1131 B] Get:9 http://ftpmaster.internal raring/universe armhf Packages [5300 kB] Get:10 http://ftpmaster.internal raring/multiverse armhf Packages [111 kB] Get:11 http://ftpmaster.internal raring/main Translation-en [673 kB] Get:12 http://ftpmaster.internal raring/multiverse Translation-en [98.2 kB] Get:13 http://ftpmaster.internal raring/restricted Translation-en [3032 B] Get:14 http://ftpmaster.internal raring/universe Translation-en [3743 kB] Get:15 http://ftpmaster.internal raring-security/main armhf Packages [14 B] Get:16 http://ftpmaster.internal raring-security/restricted armhf Packages [14 B] Get:17 http://ftpmaster.internal raring-security/universe armhf Packages [14 B] Get:18 http://ftpmaster.internal raring-security/multiverse armhf Packages [14 B] Get:19 http://ftpmaster.internal raring-security/main Translation-en [14 B] Get:20 http://ftpmaster.internal raring-security/multiverse Translation-en [14 B] Get:21 http://ftpmaster.internal raring-security/restricted Translation-en [14 B] Get:22 http://ftpmaster.internal raring-security/universe Translation-en [14 B] Get:23 http://ftpmaster.internal raring-updates/main armhf Packages [14 B] Get:24 http://ftpmaster.internal raring-updates/restricted armhf Packages [14 B] Get:25 http://ftpmaster.internal raring-updates/universe armhf Packages [14 B] Get:26 http://ftpmaster.internal raring-updates/multiverse armhf Packages [14 B] Get:27 http://ftpmaster.internal raring-updates/main Translation-en [14 B] Get:28 http://ftpmaster.internal raring-updates/multiverse Translation-en [14 B] Get:29 http://ftpmaster.internal raring-updates/restricted Translation-en [14 B] Get:30 http://ftpmaster.internal raring-updates/universe Translation-en [14 B] Fetched 11.2 MB in 40s (279 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: bash binutils cpp-4.7 g++-4.7 gcc-4.7 gcc-4.7-base libcurl3-gnutls libdb5.1 libgcc-4.7-dev libgcc1 libgomp1 libsqlite3-0 libstdc++6 libstdc++6-4.7-dev linux-libc-dev tar 16 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 21.7 MB of archives. After this operation, 793 kB disk space will be freed. WARNING: The following packages cannot be authenticated! bash tar libgomp1 gcc-4.7-base libstdc++6 cpp-4.7 g++-4.7 libstdc++6-4.7-dev libgcc-4.7-dev gcc-4.7 libgcc1 binutils libdb5.1 libsqlite3-0 libcurl3-gnutls linux-libc-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ raring/main bash armhf 4.2-5ubuntu3 [553 kB] Get:2 http://ftpmaster.internal/ubuntu/ raring/main tar armhf 1.26+dfsg-5 [189 kB] Get:3 http://ftpmaster.internal/ubuntu/ raring/main libgomp1 armhf 4.7.2-23ubuntu1 [25.2 kB] Get:4 http://ftpmaster.internal/ubuntu/ raring/main gcc-4.7-base armhf 4.7.2-23ubuntu1 [15.4 kB] Get:5 http://ftpmaster.internal/ubuntu/ raring/main libstdc++6 armhf 4.7.2-23ubuntu1 [271 kB] Get:6 http://ftpmaster.internal/ubuntu/ raring/main cpp-4.7 armhf 4.7.2-23ubuntu1 [4483 kB] Get:7 http://ftpmaster.internal/ubuntu/ raring/main g++-4.7 armhf 4.7.2-23ubuntu1 [4841 kB] Get:8 http://ftpmaster.internal/ubuntu/ raring/main libstdc++6-4.7-dev armhf 4.7.2-23ubuntu1 [1735 kB] Get:9 http://ftpmaster.internal/ubuntu/ raring/main libgcc-4.7-dev armhf 4.7.2-23ubuntu1 [167 kB] Get:10 http://ftpmaster.internal/ubuntu/ raring/main gcc-4.7 armhf 4.7.2-23ubuntu1 [5123 kB] Get:11 http://ftpmaster.internal/ubuntu/ raring/main libgcc1 armhf 1:4.7.2-23ubuntu1 [48.9 kB] Get:12 http://ftpmaster.internal/ubuntu/ raring/main binutils armhf 2.23.2-1ubuntu2 [2274 kB] Get:13 http://ftpmaster.internal/ubuntu/ raring/main libdb5.1 armhf 5.1.29-5ubuntu8 [597 kB] Get:14 http://ftpmaster.internal/ubuntu/ raring/main libsqlite3-0 armhf 3.7.15.2-1ubuntu1 [301 kB] Get:15 http://ftpmaster.internal/ubuntu/ raring/main libcurl3-gnutls armhf 7.29.0-1ubuntu2 [206 kB] Get:16 http://ftpmaster.internal/ubuntu/ raring/main linux-libc-dev armhf 3.8.0-16.26 [882 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 21.7 MB in 5s (3648 kB/s) (Reading database ... 11968 files and directories currently installed.) Preparing to replace bash 4.2-5ubuntu2 (using .../bash_4.2-5ubuntu3_armhf.deb) ... Unpacking replacement bash ... Setting up bash (4.2-5ubuntu3) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 11968 files and directories currently installed.) Preparing to replace tar 1.26+dfsg-0.1ubuntu1 (using .../tar_1.26+dfsg-5_armhf.deb) ... Unpacking replacement tar ... Setting up tar (1.26+dfsg-5) ... (Reading database ... 11970 files and directories currently installed.) Preparing to replace libgomp1:armhf 4.7.2-22ubuntu5 (using .../libgomp1_4.7.2-23ubuntu1_armhf.deb) ... Unpacking replacement libgomp1:armhf ... Preparing to replace gcc-4.7-base:armhf 4.7.2-22ubuntu5 (using .../gcc-4.7-base_4.7.2-23ubuntu1_armhf.deb) ... Unpacking replacement gcc-4.7-base:armhf ... Setting up gcc-4.7-base:armhf (4.7.2-23ubuntu1) ... (Reading database ... 11970 files and directories currently installed.) Preparing to replace libstdc++6:armhf 4.7.2-22ubuntu5 (using .../libstdc++6_4.7.2-23ubuntu1_armhf.deb) ... Unpacking replacement libstdc++6:armhf ... Setting up libstdc++6:armhf (4.7.2-23ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11970 files and directories currently installed.) Preparing to replace cpp-4.7 4.7.2-22ubuntu5 (using .../cpp-4.7_4.7.2-23ubuntu1_armhf.deb) ... Unpacking replacement cpp-4.7 ... Preparing to replace g++-4.7 4.7.2-22ubuntu5 (using .../g++-4.7_4.7.2-23ubuntu1_armhf.deb) ... Unpacking replacement g++-4.7 ... Preparing to replace libstdc++6-4.7-dev:armhf 4.7.2-22ubuntu5 (using .../libstdc++6-4.7-dev_4.7.2-23ubuntu1_armhf.deb) ... Unpacking replacement libstdc++6-4.7-dev:armhf ... Preparing to replace libgcc-4.7-dev:armhf 4.7.2-22ubuntu5 (using .../libgcc-4.7-dev_4.7.2-23ubuntu1_armhf.deb) ... Unpacking replacement libgcc-4.7-dev:armhf ... Preparing to replace gcc-4.7 4.7.2-22ubuntu5 (using .../gcc-4.7_4.7.2-23ubuntu1_armhf.deb) ... Unpacking replacement gcc-4.7 ... Preparing to replace libgcc1:armhf 1:4.7.2-22ubuntu5 (using .../libgcc1_1%3a4.7.2-23ubuntu1_armhf.deb) ... Unpacking replacement libgcc1:armhf ... Setting up libgcc1:armhf (1:4.7.2-23ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11956 files and directories currently installed.) Preparing to replace binutils 2.23.1-0ubuntu11 (using .../binutils_2.23.2-1ubuntu2_armhf.deb) ... Unpacking replacement binutils ... Preparing to replace libdb5.1:armhf 5.1.29-5ubuntu7 (using .../libdb5.1_5.1.29-5ubuntu8_armhf.deb) ... Unpacking replacement libdb5.1:armhf ... Setting up libdb5.1:armhf (5.1.29-5ubuntu8) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11957 files and directories currently installed.) Preparing to replace libsqlite3-0:armhf 3.7.15.2-1 (using .../libsqlite3-0_3.7.15.2-1ubuntu1_armhf.deb) ... Unpacking replacement libsqlite3-0:armhf ... Preparing to replace libcurl3-gnutls:armhf 7.29.0-1ubuntu1 (using .../libcurl3-gnutls_7.29.0-1ubuntu2_armhf.deb) ... Unpacking replacement libcurl3-gnutls:armhf ... Preparing to replace linux-libc-dev:armhf 3.8.0-15.25 (using .../linux-libc-dev_3.8.0-16.26_armhf.deb) ... Unpacking replacement linux-libc-dev:armhf ... Setting up libgomp1:armhf (4.7.2-23ubuntu1) ... Setting up cpp-4.7 (4.7.2-23ubuntu1) ... Setting up binutils (2.23.2-1ubuntu2) ... Setting up libgcc-4.7-dev:armhf (4.7.2-23ubuntu1) ... Setting up gcc-4.7 (4.7.2-23ubuntu1) ... Setting up libstdc++6-4.7-dev:armhf (4.7.2-23ubuntu1) ... Setting up g++-4.7 (4.7.2-23ubuntu1) ... Setting up libsqlite3-0:armhf (3.7.15.2-1ubuntu1) ... Setting up libcurl3-gnutls:armhf (7.29.0-1ubuntu2) ... Setting up linux-libc-dev:armhf (3.8.0-16.26) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '81c80679fde3e45f6c001787026a9af6ff199aa9', 'armhf', 'raring', '--nolog', '--batch', '--archive=ubuntu', '--dist=raring', '--purpose=COPY', '--architecture=armhf', '--comp=universe', 'why_2.30+dfsg-5.dsc'] Initiating build 81c80679fde3e45f6c001787026a9af6ff199aa9 with 2 jobs across 2 processor cores. Kernel reported to sbuild: 3.2.0-1427-omap4 #36-Ubuntu SMP PREEMPT Fri Mar 1 18:08:27 UTC 2013 armv7l Automatic build of why_2.30+dfsg-5 on aleya by sbuild/armhf 1.170.5 Build started at 20130406-1733 ****************************************************************************** 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 20130406-1733 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', '81c80679fde3e45f6c001787026a9af6ff199aa9'] Scanning for processes to kill in build /home/buildd/build-81c80679fde3e45f6c001787026a9af6ff199aa9/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '81c80679fde3e45f6c001787026a9af6ff199aa9'] Unmounting chroot for build 81c80679fde3e45f6c001787026a9af6ff199aa9... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '81c80679fde3e45f6c001787026a9af6ff199aa9'] Removing build 81c80679fde3e45f6c001787026a9af6ff199aa9