RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '1546207-3358536', '/home/buildd/filecache-default/21e9d7c4b48c9cc80e593feff4ab876bb80e92c4'] Synching the system clock with the buildd NTP service... 18 Apr 06:56:49 ntpdate[15617]: adjust time server 10.211.37.1 offset -0.000196 sec Unpacking chroot for build 1546207-3358536 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '1546207-3358536'] Mounting chroot for build 1546207-3358536 RUN: /usr/share/launchpad-buildd/slavebin/apply-ogre-model ['apply-ogre-model', '1546207-3358536', 'universe'] Attempting OGRE for universe in build-1546207-3358536 No OGRE sources.list found. RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '1546207-3358536', 'deb http://ftpmaster.internal/ubuntu lucid main universe'] Overriding sources.list in build-1546207-3358536 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '1546207-3358536'] Updating debian chroot for build 1546207-3358536 Get:1 http://ftpmaster.internal lucid Release.gpg [189B] Get:2 http://ftpmaster.internal lucid Release [57.2kB] Get:3 http://ftpmaster.internal lucid/main Packages [1360kB] Get:4 http://ftpmaster.internal lucid/universe Packages [5307kB] Fetched 6724kB in 18s (368kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: apt apt-transport-https base-files bash debconf debconf-i18n dpkg dpkg-dev initramfs-tools initramfs-tools-bin libc-bin libc-dev-bin libc6 libc6-dev libdrm-intel1 libdrm-nouveau1 libdrm-radeon1 libdrm2 libglib2.0-0 libgssapi-krb5-2 libk5crypto3 libkrb5-3 libkrb5support0 libldap-2.4-2 libpam-modules libpam-runtime libpam0g libplymouth2 libudev0 linux-libc-dev locales module-init-tools mountall plymouth python2.6-minimal udev 36 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 23.7MB of archives. After this operation, 16.4kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpam-modules base-files bash dpkg debconf-i18n debconf libc-dev-bin libc6-dev libc-bin libc6 linux-libc-dev apt libpam-runtime libpam0g python2.6-minimal libk5crypto3 libgssapi-krb5-2 libkrb5-3 libkrb5support0 libldap-2.4-2 libglib2.0-0 module-init-tools udev libudev0 initramfs-tools initramfs-tools-bin libdrm2 libdrm-intel1 libdrm-nouveau1 libdrm-radeon1 plymouth libplymouth2 mountall locales apt-transport-https dpkg-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ lucid/main libpam-modules 1.1.1-2ubuntu2 [351kB] Get:2 http://ftpmaster.internal/ubuntu/ lucid/main base-files 5.0.0ubuntu18 [80.2kB] Get:3 http://ftpmaster.internal/ubuntu/ lucid/main bash 4.1-2ubuntu2 [626kB] Get:4 http://ftpmaster.internal/ubuntu/ lucid/main dpkg 1.15.5.6ubuntu4 [2175kB] Get:5 http://ftpmaster.internal/ubuntu/ lucid/main debconf-i18n 1.5.28ubuntu4 [178kB] Get:6 http://ftpmaster.internal/ubuntu/ lucid/main debconf 1.5.28ubuntu4 [148kB] Get:7 http://ftpmaster.internal/ubuntu/ lucid/main libc-dev-bin 2.11.1-0ubuntu6 [212kB] Get:8 http://ftpmaster.internal/ubuntu/ lucid/main libc6-dev 2.11.1-0ubuntu6 [2407kB] Get:9 http://ftpmaster.internal/ubuntu/ lucid/main libc-bin 2.11.1-0ubuntu6 [683kB] Get:10 http://ftpmaster.internal/ubuntu/ lucid/main libc6 2.11.1-0ubuntu6 [4016kB] Get:11 http://ftpmaster.internal/ubuntu/ lucid/main linux-libc-dev 2.6.32-21.32 [769kB] Get:12 http://ftpmaster.internal/ubuntu/ lucid/main apt 0.7.25.3ubuntu7 [1773kB] Get:13 http://ftpmaster.internal/ubuntu/ lucid/main libpam-runtime 1.1.1-2ubuntu2 [115kB] Get:14 http://ftpmaster.internal/ubuntu/ lucid/main libpam0g 1.1.1-2ubuntu2 [119kB] Get:15 http://ftpmaster.internal/ubuntu/ lucid/main python2.6-minimal 2.6.5-1ubuntu6 [1330kB] Get:16 http://ftpmaster.internal/ubuntu/ lucid/main libk5crypto3 1.8.1+dfsg-2 [104kB] Get:17 http://ftpmaster.internal/ubuntu/ lucid/main libgssapi-krb5-2 1.8.1+dfsg-2 [111kB] Get:18 http://ftpmaster.internal/ubuntu/ lucid/main libkrb5-3 1.8.1+dfsg-2 [319kB] Get:19 http://ftpmaster.internal/ubuntu/ lucid/main libkrb5support0 1.8.1+dfsg-2 [41.5kB] Get:20 http://ftpmaster.internal/ubuntu/ lucid/main libldap-2.4-2 2.4.21-0ubuntu4 [188kB] Get:21 http://ftpmaster.internal/ubuntu/ lucid/main libglib2.0-0 2.24.0-0ubuntu2 [1004kB] Get:22 http://ftpmaster.internal/ubuntu/ lucid/main module-init-tools 3.11.1-2ubuntu1 [94.7kB] Get:23 http://ftpmaster.internal/ubuntu/ lucid/main udev 151-11 [409kB] Get:24 http://ftpmaster.internal/ubuntu/ lucid/main libudev0 151-11 [117kB] Get:25 http://ftpmaster.internal/ubuntu/ lucid/main initramfs-tools 0.92bubuntu74 [87.3kB] Get:26 http://ftpmaster.internal/ubuntu/ lucid/main initramfs-tools-bin 0.92bubuntu74 [51.6kB] Get:27 http://ftpmaster.internal/ubuntu/ lucid/main libdrm2 2.4.18-1ubuntu3 [409kB] Get:28 http://ftpmaster.internal/ubuntu/ lucid/main libdrm-intel1 2.4.18-1ubuntu3 [409kB] Get:29 http://ftpmaster.internal/ubuntu/ lucid/main libdrm-nouveau1 2.4.18-1ubuntu3 [400kB] Get:30 http://ftpmaster.internal/ubuntu/ lucid/main libdrm-radeon1 2.4.18-1ubuntu3 [398kB] Get:31 http://ftpmaster.internal/ubuntu/ lucid/main plymouth 0.8.2-2 [106kB] Get:32 http://ftpmaster.internal/ubuntu/ lucid/main libplymouth2 0.8.2-2 [83.5kB] Get:33 http://ftpmaster.internal/ubuntu/ lucid/main mountall 2.12 [50.7kB] Get:34 http://ftpmaster.internal/ubuntu/ lucid/main locales 2.11+git20100304-3 [3552kB] Get:35 http://ftpmaster.internal/ubuntu/ lucid/main apt-transport-https 0.7.25.3ubuntu7 [81.3kB] Get:36 http://ftpmaster.internal/ubuntu/ lucid/main dpkg-dev 1.15.5.6ubuntu4 [653kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 23.7MB in 2s (8456kB/s) (Reading database ... 13244 files and directories currently installed.) Preparing to replace libpam-modules 1.1.1-2ubuntu1 (using .../libpam-modules_1.1.1-2ubuntu2_armel.deb) ... Unpacking replacement libpam-modules ... Setting up libpam-modules (1.1.1-2ubuntu2) ... (Reading database ... 13245 files and directories currently installed.) Preparing to replace base-files 5.0.0ubuntu14 (using .../base-files_5.0.0ubuntu18_armel.deb) ... Unpacking replacement base-files ... Setting up base-files (5.0.0ubuntu18) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace bash 4.1-2ubuntu1 (using .../bash_4.1-2ubuntu2_armel.deb) ... Unpacking replacement bash ... Setting up bash (4.1-2ubuntu2) ... Installing new version of config file /etc/bash.bashrc ... 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 ... 13244 files and directories currently installed.) Preparing to replace dpkg 1.15.5.6ubuntu3 (using .../dpkg_1.15.5.6ubuntu4_armel.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.15.5.6ubuntu4) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace debconf-i18n 1.5.28ubuntu3 (using .../debconf-i18n_1.5.28ubuntu4_all.deb) ... Unpacking replacement debconf-i18n ... Setting up debconf-i18n (1.5.28ubuntu4) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace debconf 1.5.28ubuntu3 (using .../debconf_1.5.28ubuntu4_all.deb) ... Unpacking replacement debconf ... Setting up debconf (1.5.28ubuntu4) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace libc-dev-bin 2.11.1-0ubuntu5 (using .../libc-dev-bin_2.11.1-0ubuntu6_armel.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libc6-dev 2.11.1-0ubuntu5 (using .../libc6-dev_2.11.1-0ubuntu6_armel.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-bin 2.11.1-0ubuntu5 (using .../libc-bin_2.11.1-0ubuntu6_armel.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.11.1-0ubuntu6) ... Installing new version of config file /etc/gai.conf ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace libc6 2.11.1-0ubuntu5 (using .../libc6_2.11.1-0ubuntu6_armel.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.11.1-0ubuntu6) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13244 files and directories currently installed.) Preparing to replace linux-libc-dev 2.6.32-19.28 (using .../linux-libc-dev_2.6.32-21.32_armel.deb) ... Unpacking replacement linux-libc-dev ... Preparing to replace apt 0.7.25.3ubuntu6 (using .../apt_0.7.25.3ubuntu7_armel.deb) ... Unpacking replacement apt ... Setting up apt (0.7.25.3ubuntu7) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13244 files and directories currently installed.) Preparing to replace libpam-runtime 1.1.1-2ubuntu1 (using .../libpam-runtime_1.1.1-2ubuntu2_all.deb) ... Unpacking replacement libpam-runtime ... Setting up libpam-runtime (1.1.1-2ubuntu2) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace libpam0g 1.1.1-2ubuntu1 (using .../libpam0g_1.1.1-2ubuntu2_armel.deb) ... Unpacking replacement libpam0g ... Setting up libpam0g (1.1.1-2ubuntu2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13244 files and directories currently installed.) Preparing to replace python2.6-minimal 2.6.5-1ubuntu4 (using .../python2.6-minimal_2.6.5-1ubuntu6_armel.deb) ... Unpacking replacement python2.6-minimal ... Setting up python2.6-minimal (2.6.5-1ubuntu6) ... (Reading database ... 13244 files and directories currently installed.) Preparing to replace libk5crypto3 1.8+dfsg~alpha1-7ubuntu1 (using .../libk5crypto3_1.8.1+dfsg-2_armel.deb) ... Unpacking replacement libk5crypto3 ... Preparing to replace libgssapi-krb5-2 1.8+dfsg~alpha1-7ubuntu1 (using .../libgssapi-krb5-2_1.8.1+dfsg-2_armel.deb) ... Unpacking replacement libgssapi-krb5-2 ... Preparing to replace libkrb5-3 1.8+dfsg~alpha1-7ubuntu1 (using .../libkrb5-3_1.8.1+dfsg-2_armel.deb) ... Unpacking replacement libkrb5-3 ... Preparing to replace libkrb5support0 1.8+dfsg~alpha1-7ubuntu1 (using .../libkrb5support0_1.8.1+dfsg-2_armel.deb) ... Unpacking replacement libkrb5support0 ... Preparing to replace libldap-2.4-2 2.4.21-0ubuntu3 (using .../libldap-2.4-2_2.4.21-0ubuntu4_armel.deb) ... Unpacking replacement libldap-2.4-2 ... Preparing to replace libglib2.0-0 2.24.0-0ubuntu1 (using .../libglib2.0-0_2.24.0-0ubuntu2_armel.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace module-init-tools 3.11.1-2 (using .../module-init-tools_3.11.1-2ubuntu1_armel.deb) ... Unpacking replacement module-init-tools ... Preparing to replace udev 151-8 (using .../archives/udev_151-11_armel.deb) ... Adding `local diversion of /sbin/udevadm to /sbin/udevadm.upgrade' Unpacking replacement udev ... Preparing to replace libudev0 151-8 (using .../libudev0_151-11_armel.deb) ... Unpacking replacement libudev0 ... Preparing to replace initramfs-tools 0.92bubuntu71 (using .../initramfs-tools_0.92bubuntu74_all.deb) ... Unpacking replacement initramfs-tools ... Preparing to replace initramfs-tools-bin 0.92bubuntu71 (using .../initramfs-tools-bin_0.92bubuntu74_armel.deb) ... Unpacking replacement initramfs-tools-bin ... Preparing to replace libdrm2 2.4.18-1ubuntu2 (using .../libdrm2_2.4.18-1ubuntu3_armel.deb) ... Unpacking replacement libdrm2 ... Preparing to replace libdrm-intel1 2.4.18-1ubuntu2 (using .../libdrm-intel1_2.4.18-1ubuntu3_armel.deb) ... Unpacking replacement libdrm-intel1 ... Preparing to replace libdrm-nouveau1 2.4.18-1ubuntu2 (using .../libdrm-nouveau1_2.4.18-1ubuntu3_armel.deb) ... Unpacking replacement libdrm-nouveau1 ... Preparing to replace libdrm-radeon1 2.4.18-1ubuntu2 (using .../libdrm-radeon1_2.4.18-1ubuntu3_armel.deb) ... Unpacking replacement libdrm-radeon1 ... Preparing to replace plymouth 0.8.1-4ubuntu1 (using .../plymouth_0.8.2-2_armel.deb) ... Unpacking replacement plymouth ... Preparing to replace libplymouth2 0.8.1-4ubuntu1 (using .../libplymouth2_0.8.2-2_armel.deb) ... Unpacking replacement libplymouth2 ... Preparing to replace mountall 2.10 (using .../mountall_2.12_armel.deb) ... Unpacking replacement mountall ... Preparing to replace locales 2.11+git20100304-2 (using .../locales_2.11+git20100304-3_all.deb) ... Unpacking replacement locales ... Preparing to replace apt-transport-https 0.7.25.3ubuntu6 (using .../apt-transport-https_0.7.25.3ubuntu7_armel.deb) ... Unpacking replacement apt-transport-https ... Preparing to replace dpkg-dev 1.15.5.6ubuntu3 (using .../dpkg-dev_1.15.5.6ubuntu4_all.deb) ... Unpacking replacement dpkg-dev ... Setting up libc-dev-bin (2.11.1-0ubuntu6) ... Setting up linux-libc-dev (2.6.32-21.32) ... Setting up libc6-dev (2.11.1-0ubuntu6) ... Setting up libkrb5support0 (1.8.1+dfsg-2) ... Setting up libk5crypto3 (1.8.1+dfsg-2) ... Setting up libkrb5-3 (1.8.1+dfsg-2) ... Setting up libgssapi-krb5-2 (1.8.1+dfsg-2) ... Setting up libldap-2.4-2 (2.4.21-0ubuntu4) ... Setting up libglib2.0-0 (2.24.0-0ubuntu2) ... Setting up module-init-tools (3.11.1-2ubuntu1) ... Installing new version of config file /etc/modprobe.d/blacklist-framebuffer.conf ... Setting up libudev0 (151-11) ... Setting up initramfs-tools-bin (0.92bubuntu74) ... Setting up libdrm2 (2.4.18-1ubuntu3) ... Setting up libdrm-intel1 (2.4.18-1ubuntu3) ... Setting up libdrm-nouveau1 (2.4.18-1ubuntu3) ... Setting up libdrm-radeon1 (2.4.18-1ubuntu3) ... Setting up libplymouth2 (0.8.2-2) ... Setting up locales (2.11+git20100304-3) ... Setting up apt-transport-https (0.7.25.3ubuntu7) ... Setting up dpkg-dev (1.15.5.6ubuntu4) ... Setting up initramfs-tools (0.92bubuntu74) ... update-initramfs: deferring update (trigger activated) Setting up udev (151-11) ... Removing `local diversion of /sbin/udevadm to /sbin/udevadm.upgrade' update-initramfs: deferring update (trigger activated) Setting up mountall (2.12) ... Installing new version of config file /etc/init/mounted-tmp.conf ... Installing new version of config file /etc/init/mounted-varrun.conf ... Installing new version of config file /etc/init/mounted-dev.conf ... Setting up plymouth (0.8.2-2) ... Installing new version of config file /etc/init/plymouth-stop.conf ... update-initramfs: deferring update (trigger activated) Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '1546207-3358536', 'lucid', '--nolog', '--batch', '--archive=ubuntu', '--dist=lucid', '--purpose=PRIMARY', '--comp=universe', 'ssreflect_1.2+dfsg-3build1.dsc'] Initiating build 1546207-3358536 with 0 processor cores. Automatic build of ssreflect_1.2+dfsg-3build1 on cushaw by sbuild/armel 1.170.5 Build started at 20100418-0700 ****************************************************************************** ssreflect_1.2+dfsg-3build1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), coq (>= 8.2.pl1+dfsg-4~), libcoq-ocaml-dev, 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 libcoq-ocaml-dev: missing 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... Note, selecting ocaml-nox instead of ocaml-best-compilers Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation: The following packages have unmet dependencies: coq: Depends: ocaml-base-nox-3.11.1 but it is not installable Depends: coq-theories (= 8.2.pl1+dfsg-3) but it is not going to be installed libcoq-ocaml-dev: Depends: ocaml-nox-3.11.1 but it is not installable E: Broken packages 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 20100418-0700 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', '1546207-3358536'] Scanning for processes to kill in build /home/buildd/build-1546207-3358536/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '1546207-3358536'] Unmounting chroot for build 1546207-3358536... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '1546207-3358536'] Removing build 1546207-3358536