RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 3.2.0-1429-omap4 #38-Ubuntu SMP PREEMPT Thu Mar 28 19:33:32 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... 10 May 00:29:16 ntpdate[19931]: adjust time server 10.211.37.1 offset -0.005180 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'bfa3d5368c291fa7daedd665e253a1f466bee7bd', '/home/buildd/filecache-default/f3fd503ae615845081b422c5c67a47cb551a94b4'] Unpacking chroot for build bfa3d5368c291fa7daedd665e253a1f466bee7bd RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'bfa3d5368c291fa7daedd665e253a1f466bee7bd'] Mounting chroot for build bfa3d5368c291fa7daedd665e253a1f466bee7bd RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'bfa3d5368c291fa7daedd665e253a1f466bee7bd', 'deb http://ftpmaster.internal/ubuntu saucy main universe'] Overriding sources.list in build-bfa3d5368c291fa7daedd665e253a1f466bee7bd RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'bfa3d5368c291fa7daedd665e253a1f466bee7bd', 'armhf'] Updating debian chroot for build bfa3d5368c291fa7daedd665e253a1f466bee7bd Ign http://archive-team.internal saucy Release.gpg Get:1 http://archive-team.internal saucy Release [728 B] Get:2 http://ftpmaster.internal saucy Release.gpg [933 B] Get:3 http://ftpmaster.internal saucy Release [40.8 kB] Get:4 http://archive-team.internal saucy/main armhf Packages Ign http://archive-team.internal saucy/main Translation-en Get:5 http://ftpmaster.internal saucy/main armhf Packages [1159 kB] Get:6 http://ftpmaster.internal saucy/universe armhf Packages [5353 kB] Get:7 http://ftpmaster.internal saucy/main Translation-en [681 kB] Get:8 http://ftpmaster.internal saucy/universe Translation-en [3813 kB] Fetched 11.0 MB in 35s (314 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: cpp-4.8 debconf g++-4.8 gcc-4.8 gcc-4.8-base libasan0 libatomic1 libcurl3-gnutls libgcc-4.8-dev libgcc1 libgomp1 libisl10 libstdc++-4.8-dev libstdc++6 linux-libc-dev sed 16 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 20.9 MB of archives. After this operation, 156 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! sed libgomp1 gcc-4.8-base libstdc++6 libasan0 libatomic1 cpp-4.8 libstdc++-4.8-dev g++-4.8 gcc-4.8 libgcc-4.8-dev libgcc1 libisl10 debconf libcurl3-gnutls linux-libc-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ saucy/main sed armhf 4.2.2-1ubuntu1 [137 kB] Get:2 http://ftpmaster.internal/ubuntu/ saucy/main libgomp1 armhf 4.8.0-6ubuntu1 [25.1 kB] Get:3 http://ftpmaster.internal/ubuntu/ saucy/main gcc-4.8-base armhf 4.8.0-6ubuntu1 [15.4 kB] Get:4 http://ftpmaster.internal/ubuntu/ saucy/main libstdc++6 armhf 4.8.0-6ubuntu1 [279 kB] Get:5 http://ftpmaster.internal/ubuntu/ saucy/main libasan0 armhf 4.8.0-6ubuntu1 [67.5 kB] Get:6 http://ftpmaster.internal/ubuntu/ saucy/main libatomic1 armhf 4.8.0-6ubuntu1 [6782 B] Get:7 http://ftpmaster.internal/ubuntu/ saucy/main cpp-4.8 armhf 4.8.0-6ubuntu1 [5171 kB] Get:8 http://ftpmaster.internal/ubuntu/ saucy/main libstdc++-4.8-dev armhf 4.8.0-6ubuntu1 [1785 kB] Get:9 http://ftpmaster.internal/ubuntu/ saucy/main g++-4.8 armhf 4.8.0-6ubuntu1 [5555 kB] Get:10 http://ftpmaster.internal/ubuntu/ saucy/main gcc-4.8 armhf 4.8.0-6ubuntu1 [5866 kB] Get:11 http://ftpmaster.internal/ubuntu/ saucy/main libgcc-4.8-dev armhf 4.8.0-6ubuntu1 [301 kB] Get:12 http://ftpmaster.internal/ubuntu/ saucy/main libgcc1 armhf 1:4.8.0-6ubuntu1 [48.8 kB] Get:13 http://ftpmaster.internal/ubuntu/ saucy/main libisl10 armhf 0.11.2-1 [365 kB] Get:14 http://ftpmaster.internal/ubuntu/ saucy/main debconf all 1.5.50ubuntu1 [149 kB] Get:15 http://ftpmaster.internal/ubuntu/ saucy/main libcurl3-gnutls armhf 7.30.0-1ubuntu1 [212 kB] Get:16 http://ftpmaster.internal/ubuntu/ saucy/main linux-libc-dev armhf 3.9.0-1.5 [889 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 20.9 MB in 5s (3817 kB/s) (Reading database ... 11848 files and directories currently installed.) Preparing to replace sed 4.2.1-10ubuntu2 (using .../sed_4.2.2-1ubuntu1_armhf.deb) ... Unpacking replacement sed ... Setting up sed (4.2.2-1ubuntu1) ... (Reading database ... 11848 files and directories currently installed.) Preparing to replace libgomp1:armhf 4.8.0-4ubuntu3 (using .../libgomp1_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement libgomp1:armhf ... Preparing to replace gcc-4.8-base:armhf 4.8.0-4ubuntu3 (using .../gcc-4.8-base_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement gcc-4.8-base:armhf ... Setting up gcc-4.8-base:armhf (4.8.0-6ubuntu1) ... (Reading database ... 11848 files and directories currently installed.) Preparing to replace libstdc++6:armhf 4.8.0-4ubuntu3 (using .../libstdc++6_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement libstdc++6:armhf ... Setting up libstdc++6:armhf (4.8.0-6ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11848 files and directories currently installed.) Preparing to replace libasan0:armhf 4.8.0-4ubuntu3 (using .../libasan0_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement libasan0:armhf ... Preparing to replace libatomic1:armhf 4.8.0-4ubuntu3 (using .../libatomic1_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement libatomic1:armhf ... Preparing to replace cpp-4.8 4.8.0-4ubuntu3 (using .../cpp-4.8_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement cpp-4.8 ... Preparing to replace libstdc++-4.8-dev:armhf 4.8.0-4ubuntu3 (using .../libstdc++-4.8-dev_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement libstdc++-4.8-dev:armhf ... Preparing to replace g++-4.8 4.8.0-4ubuntu3 (using .../g++-4.8_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement g++-4.8 ... Preparing to replace gcc-4.8 4.8.0-4ubuntu3 (using .../gcc-4.8_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement gcc-4.8 ... Preparing to replace libgcc-4.8-dev:armhf 4.8.0-4ubuntu3 (using .../libgcc-4.8-dev_4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement libgcc-4.8-dev:armhf ... Preparing to replace libgcc1:armhf 1:4.8.0-4ubuntu3 (using .../libgcc1_1%3a4.8.0-6ubuntu1_armhf.deb) ... Unpacking replacement libgcc1:armhf ... Setting up libgcc1:armhf (1:4.8.0-6ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11848 files and directories currently installed.) Preparing to replace libisl10:armhf 0.11.1-2 (using .../libisl10_0.11.2-1_armhf.deb) ... Unpacking replacement libisl10:armhf ... Preparing to replace debconf 1.5.49ubuntu1 (using .../debconf_1.5.50ubuntu1_all.deb) ... Unpacking replacement debconf ... Setting up debconf (1.5.50ubuntu1) ... (Reading database ... 11848 files and directories currently installed.) Preparing to replace libcurl3-gnutls:armhf 7.29.0-1ubuntu3 (using .../libcurl3-gnutls_7.30.0-1ubuntu1_armhf.deb) ... Unpacking replacement libcurl3-gnutls:armhf ... Preparing to replace linux-libc-dev:armhf 3.9.0-0.4 (using .../linux-libc-dev_3.9.0-1.5_armhf.deb) ... Unpacking replacement linux-libc-dev:armhf ... Setting up libgomp1:armhf (4.8.0-6ubuntu1) ... Setting up libasan0:armhf (4.8.0-6ubuntu1) ... Setting up libatomic1:armhf (4.8.0-6ubuntu1) ... Setting up libisl10:armhf (0.11.2-1) ... Setting up cpp-4.8 (4.8.0-6ubuntu1) ... Setting up libgcc-4.8-dev:armhf (4.8.0-6ubuntu1) ... Setting up libstdc++-4.8-dev:armhf (4.8.0-6ubuntu1) ... Setting up gcc-4.8 (4.8.0-6ubuntu1) ... Setting up g++-4.8 (4.8.0-6ubuntu1) ... Setting up libcurl3-gnutls:armhf (7.30.0-1ubuntu1) ... Setting up linux-libc-dev:armhf (3.9.0-1.5) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'bfa3d5368c291fa7daedd665e253a1f466bee7bd', 'armhf', 'saucy', '--nolog', '--batch', '--archive=ubuntu', '--dist=saucy', '--purpose=PRIMARY', '--architecture=armhf', '--comp=universe', 'ssreflect_1.3pl4-1.dsc'] Initiating build bfa3d5368c291fa7daedd665e253a1f466bee7bd with 2 jobs across 2 processor cores. Kernel reported to sbuild: 3.2.0-1429-omap4 #38-Ubuntu SMP PREEMPT Thu Mar 28 19:33:32 UTC 2013 armv7l Automatic build of ssreflect_1.3pl4-1 on ijiraq by sbuild/armhf 1.170.5 Build started at 20130510-0031 ****************************************************************************** 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 E: Package 'coq' has no installation candidate E: Unable to locate package libcoq-ocaml-dev 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 20130510-0031 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', 'bfa3d5368c291fa7daedd665e253a1f466bee7bd'] Scanning for processes to kill in build /home/buildd/build-bfa3d5368c291fa7daedd665e253a1f466bee7bd/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'bfa3d5368c291fa7daedd665e253a1f466bee7bd'] Unmounting chroot for build bfa3d5368c291fa7daedd665e253a1f466bee7bd... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'bfa3d5368c291fa7daedd665e253a1f466bee7bd'] Removing build bfa3d5368c291fa7daedd665e253a1f466bee7bd