RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 2.6.38-1209-omap4 #25-Ubuntu SMP PREEMPT Mon Jul 30 17:18:20 UTC 2012 armv7l Buildd toolchain package versions: launchpad-buildd_113~0.IS.08.04 python-lpbuildd_113~0.IS.08.04 bzr_2.3.4-0ubuntu1. Syncing the system clock with the buildd NTP service... 13 Sep 21:06:54 ntpdate[6321]: adjust time server 10.211.37.1 offset -0.000436 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '3cda453cbb53dd80730d1abf10256dce954b182c', '/home/buildd/filecache-default/0759bb80e8de2f593d6df73f7ee9803743286aab'] Unpacking chroot for build 3cda453cbb53dd80730d1abf10256dce954b182c RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '3cda453cbb53dd80730d1abf10256dce954b182c'] Mounting chroot for build 3cda453cbb53dd80730d1abf10256dce954b182c RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '3cda453cbb53dd80730d1abf10256dce954b182c', 'deb http://ftpmaster.internal/ubuntu quantal main universe'] Overriding sources.list in build-3cda453cbb53dd80730d1abf10256dce954b182c RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '3cda453cbb53dd80730d1abf10256dce954b182c', 'armhf'] Updating debian chroot for build 3cda453cbb53dd80730d1abf10256dce954b182c 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 29s (365 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 (4371 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', '3cda453cbb53dd80730d1abf10256dce954b182c', 'armhf', 'quantal', '--nolog', '--batch', '--archive=ubuntu', '--dist=quantal', '--purpose=PRIMARY', '--architecture=armhf', '--comp=universe', 'ssreflect_1.3pl4-1.dsc'] Initiating build 3cda453cbb53dd80730d1abf10256dce954b182c with 2 jobs across 2 processor cores. Automatic build of ssreflect_1.3pl4-1 on rusalka by sbuild/armhf 1.170.5 Build started at 20120913-2108 ****************************************************************************** ssreflect_1.3pl4-1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), coq (>= 8.3), libcoq-ocaml-dev (>= 8.3), dh-ocaml (>= 0.9~), camlp5 (>= 5.12-2~), ocaml-best-compilers, ocaml-nox (>= 3.11.1-3~) Checking for already installed source dependencies... debhelper: missing coq: missing coq: does not exist libcoq-ocaml-dev: missing libcoq-ocaml-dev: does not exist dh-ocaml: missing camlp5: missing ocaml-best-compilers: missing ocaml-nox: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper coq libcoq-ocaml-dev dh-ocaml camlp5 ocaml-best-compilers ocaml-nox 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 Package libcoq-ocaml-dev 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 E: Package 'libcoq-ocaml-dev' 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 ssreflect ****************************************************************************** Finished at 20120913-2109 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', '3cda453cbb53dd80730d1abf10256dce954b182c'] Scanning for processes to kill in build /home/buildd/build-3cda453cbb53dd80730d1abf10256dce954b182c/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '3cda453cbb53dd80730d1abf10256dce954b182c'] Unmounting chroot for build 3cda453cbb53dd80730d1abf10256dce954b182c... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '3cda453cbb53dd80730d1abf10256dce954b182c'] Removing build 3cda453cbb53dd80730d1abf10256dce954b182c