RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux klock 3.2.0-60-generic #91-Ubuntu SMP Wed Feb 19 03:54:44 UTC 2014 x86_64 Buildd toolchain package versions: launchpad-buildd_121~0.IS.08.04.0 python-lpbuildd_121~0.IS.08.04.0 bzr_2.5.1-0ubuntu2 dpkg-dev_1.16.1.2ubuntu7.2. Syncing the system clock with the buildd NTP service... 26 Apr 22:28:35 ntpdate[982]: adjust time server 10.211.37.1 offset 0.000072 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5939763', '/home/buildd/filecache-default/f58d997572ec5fe0b089dc84b4b2302dad127be0'] Unpacking chroot for build PACKAGEBUILD-5939763 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5939763'] Mounting chroot for build PACKAGEBUILD-5939763 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5939763', 'deb http://ftpmaster.internal/ubuntu utopic main universe', 'deb http://ftpmaster.internal/ubuntu utopic-security main universe', 'deb http://ftpmaster.internal/ubuntu utopic-updates main universe', 'deb http://ftpmaster.internal/ubuntu utopic-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-5939763 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5939763', 'i386'] Updating debian chroot for build PACKAGEBUILD-5939763 Ign http://ftpmaster.internal utopic InRelease Ign http://ftpmaster.internal utopic-security InRelease Ign http://ftpmaster.internal utopic-updates InRelease Ign http://ftpmaster.internal utopic-proposed InRelease Get:1 http://ftpmaster.internal utopic Release.gpg [933 B] Get:2 http://ftpmaster.internal utopic-security Release.gpg [933 B] Get:3 http://ftpmaster.internal utopic-updates Release.gpg [933 B] Get:4 http://ftpmaster.internal utopic-proposed Release.gpg [933 B] Get:5 http://ftpmaster.internal utopic Release [58.5 kB] Get:6 http://ftpmaster.internal utopic-security Release [58.5 kB] Get:7 http://ftpmaster.internal utopic-updates Release [58.5 kB] Get:8 http://ftpmaster.internal utopic-proposed Release [58.5 kB] Get:9 http://ftpmaster.internal utopic/main i386 Packages [1364 kB] Get:10 http://ftpmaster.internal utopic/universe i386 Packages [5874 kB] Get:11 http://ftpmaster.internal utopic/main Translation-en [767 kB] Get:12 http://ftpmaster.internal utopic/universe Translation-en [4093 kB] Get:13 http://ftpmaster.internal utopic-security/main i386 Packages [14 B] Get:14 http://ftpmaster.internal utopic-security/universe i386 Packages [14 B] Get:15 http://ftpmaster.internal utopic-security/main Translation-en [14 B] Get:16 http://ftpmaster.internal utopic-security/universe Translation-en [14 B] Get:17 http://ftpmaster.internal utopic-updates/main i386 Packages [14 B] Get:18 http://ftpmaster.internal utopic-updates/universe i386 Packages [14 B] Get:19 http://ftpmaster.internal utopic-updates/main Translation-en [14 B] Get:20 http://ftpmaster.internal utopic-updates/universe Translation-en [14 B] Get:21 http://ftpmaster.internal utopic-proposed/main i386 Packages [24.4 kB] Get:22 http://ftpmaster.internal utopic-proposed/universe i386 Packages [218 kB] Get:23 http://ftpmaster.internal utopic-proposed/main Translation-en [15.3 kB] Get:24 http://ftpmaster.internal utopic-proposed/universe Translation-en [227 kB] Fetched 12.8 MB in 6s (1998 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: librtmp0 Use 'apt-get autoremove' to remove it. The following NEW packages will be installed: libhogweed2 libnettle4 librtmp1 The following packages will be upgraded: advancecomp apt apt-transport-https base-files bash binutils cpp-4.8 dpkg dpkg-dev findutils g++-4.8 gcc-4.8 gcc-4.8-base gcc-4.9-base iproute2 kmod libapt-pkg4.12 libasan0 libatomic1 libcurl3-gnutls libdpkg-perl libgcc-4.8-dev libgcc1 libgomp1 libitm1 libjson-c2 libjson0 libkmod2 libquadmath0 libsasl2-2 libsasl2-modules-db libstdc++-4.8-dev libstdc++6 libtimedate-perl libudev1 module-init-tools patch tar udev 39 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 27.4 MB of archives. After this operation, 1825 kB disk space will be freed. Get:1 http://ftpmaster.internal/ubuntu/ utopic/main base-files i386 7.2ubuntu6 [68.7 kB] Get:2 http://ftpmaster.internal/ubuntu/ utopic/main bash i386 4.3-7ubuntu1 [548 kB] Get:3 http://ftpmaster.internal/ubuntu/ utopic/main dpkg i386 1.17.7ubuntu1 [1963 kB] Get:4 http://ftpmaster.internal/ubuntu/ utopic/main findutils i386 4.4.2-8 [237 kB] Get:5 http://ftpmaster.internal/ubuntu/ utopic/main tar i386 1.27.1-2 [195 kB] Get:6 http://ftpmaster.internal/ubuntu/ utopic/main gcc-4.9-base i386 4.9.0-1ubuntu3 [16.4 kB] Get:7 http://ftpmaster.internal/ubuntu/ utopic/main libgcc1 i386 1:4.9.0-1ubuntu3 [48.2 kB] Get:8 http://ftpmaster.internal/ubuntu/ utopic/main libstdc++6 i386 4.9.0-1ubuntu3 [280 kB] Get:9 http://ftpmaster.internal/ubuntu/ utopic/main libapt-pkg4.12 i386 1.0.2ubuntu2 [640 kB] Get:10 http://ftpmaster.internal/ubuntu/ utopic/main apt i386 1.0.2ubuntu2 [955 kB] Get:11 http://ftpmaster.internal/ubuntu/ utopic/main libjson-c2 i386 0.11-4ubuntu1 [22.6 kB] Get:12 http://ftpmaster.internal/ubuntu/ utopic/main libkmod2 i386 16-2ubuntu1 [40.3 kB] Get:13 http://ftpmaster.internal/ubuntu/ utopic-proposed/main udev i386 204-8ubuntu1 [739 kB] Get:14 http://ftpmaster.internal/ubuntu/ utopic-proposed/main libudev1 i386 204-8ubuntu1 [37.3 kB] Get:15 http://ftpmaster.internal/ubuntu/ utopic/main kmod i386 16-2ubuntu1 [86.0 kB] Get:16 http://ftpmaster.internal/ubuntu/ utopic/main module-init-tools all 16-2ubuntu1 [2066 B] Get:17 http://ftpmaster.internal/ubuntu/ utopic/main libnettle4 i386 2.7.1-2 [105 kB] Get:18 http://ftpmaster.internal/ubuntu/ utopic/main libhogweed2 i386 2.7.1-2 [123 kB] Get:19 http://ftpmaster.internal/ubuntu/ utopic-proposed/main librtmp1 i386 2.4+20131018.git79459a2-2 [53.5 kB] Get:20 http://ftpmaster.internal/ubuntu/ utopic-proposed/main libcurl3-gnutls i386 7.35.0-1ubuntu3 [166 kB] Get:21 http://ftpmaster.internal/ubuntu/ utopic/main libsasl2-2 i386 2.1.26.dfsg1-9 [47.5 kB] Get:22 http://ftpmaster.internal/ubuntu/ utopic/main libsasl2-modules-db i386 2.1.26.dfsg1-9 [14.1 kB] Get:23 http://ftpmaster.internal/ubuntu/ utopic/main libitm1 i386 4.9.0-1ubuntu3 [31.7 kB] Get:24 http://ftpmaster.internal/ubuntu/ utopic/main libgomp1 i386 4.9.0-1ubuntu3 [39.3 kB] Get:25 http://ftpmaster.internal/ubuntu/ utopic/main g++-4.8 i386 4.8.2-21ubuntu1 [4812 kB] Get:26 http://ftpmaster.internal/ubuntu/ utopic/main libstdc++-4.8-dev i386 4.8.2-21ubuntu1 [1046 kB] Get:27 http://ftpmaster.internal/ubuntu/ utopic/main gcc-4.8 i386 4.8.2-21ubuntu1 [4890 kB] Get:28 http://ftpmaster.internal/ubuntu/ utopic/main cpp-4.8 i386 4.8.2-21ubuntu1 [4446 kB] Get:29 http://ftpmaster.internal/ubuntu/ utopic/main binutils i386 2.24.51.20140425-0ubuntu2 [2137 kB] Get:30 http://ftpmaster.internal/ubuntu/ utopic/main libatomic1 i386 4.9.0-1ubuntu3 [10.2 kB] Get:31 http://ftpmaster.internal/ubuntu/ utopic/main libquadmath0 i386 4.9.0-1ubuntu3 [194 kB] Get:32 http://ftpmaster.internal/ubuntu/ utopic/main libgcc-4.8-dev i386 4.8.2-21ubuntu1 [1735 kB] Get:33 http://ftpmaster.internal/ubuntu/ utopic/main libasan0 i386 4.8.2-21ubuntu1 [64.4 kB] Get:34 http://ftpmaster.internal/ubuntu/ utopic/main gcc-4.8-base i386 4.8.2-21ubuntu1 [15.6 kB] Get:35 http://ftpmaster.internal/ubuntu/ utopic/main iproute2 i386 3.14.0-1 [406 kB] Get:36 http://ftpmaster.internal/ubuntu/ utopic/main libjson0 i386 0.11-4ubuntu1 [1144 B] Get:37 http://ftpmaster.internal/ubuntu/ utopic/main apt-transport-https i386 1.0.2ubuntu2 [25.5 kB] Get:38 http://ftpmaster.internal/ubuntu/ utopic/main advancecomp i386 1.19-1 [152 kB] Get:39 http://ftpmaster.internal/ubuntu/ utopic/main libtimedate-perl all 2.3000-2 [37.5 kB] Get:40 http://ftpmaster.internal/ubuntu/ utopic/main dpkg-dev all 1.17.7ubuntu1 [726 kB] Get:41 http://ftpmaster.internal/ubuntu/ utopic/main libdpkg-perl all 1.17.7ubuntu1 [180 kB] Get:42 http://ftpmaster.internal/ubuntu/ utopic/main patch i386 2.7.1-5 [89.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 27.4 MB in 1s (15.8 MB/s) (Reading database ... 11778 files and directories currently installed.) Preparing to unpack .../base-files_7.2ubuntu6_i386.deb ... Unpacking base-files (7.2ubuntu6) over (7.2ubuntu5) ... Setting up base-files (7.2ubuntu6) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... Installing new version of config file /etc/os-release ... (Reading database ... 11778 files and directories currently installed.) Preparing to unpack .../bash_4.3-7ubuntu1_i386.deb ... Unpacking bash (4.3-7ubuntu1) over (4.3-6ubuntu1) ... Setting up bash (4.3-7ubuntu1) ... 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 ... 11778 files and directories currently installed.) Preparing to unpack .../dpkg_1.17.7ubuntu1_i386.deb ... Unpacking dpkg (1.17.7ubuntu1) over (1.17.5ubuntu5) ... Setting up dpkg (1.17.7ubuntu1) ... Installing new version of config file /etc/cron.daily/dpkg ... (Reading database ... 11781 files and directories currently installed.) Preparing to unpack .../findutils_4.4.2-8_i386.deb ... Unpacking findutils (4.4.2-8) over (4.4.2-7) ... Setting up findutils (4.4.2-8) ... (Reading database ... 11781 files and directories currently installed.) Preparing to unpack .../archives/tar_1.27.1-2_i386.deb ... Unpacking tar (1.27.1-2) over (1.27.1-1) ... Setting up tar (1.27.1-2) ... (Reading database ... 11781 files and directories currently installed.) Preparing to unpack .../gcc-4.9-base_4.9.0-1ubuntu3_i386.deb ... Unpacking gcc-4.9-base:i386 (4.9.0-1ubuntu3) over (4.9-20140406-0ubuntu1) ... Setting up gcc-4.9-base:i386 (4.9.0-1ubuntu3) ... (Reading database ... 11781 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a4.9.0-1ubuntu3_i386.deb ... Unpacking libgcc1:i386 (1:4.9.0-1ubuntu3) over (1:4.9-20140406-0ubuntu1) ... Setting up libgcc1:i386 (1:4.9.0-1ubuntu3) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11781 files and directories currently installed.) Preparing to unpack .../libstdc++6_4.9.0-1ubuntu3_i386.deb ... Unpacking libstdc++6:i386 (4.9.0-1ubuntu3) over (4.8.2-19ubuntu1) ... Setting up libstdc++6:i386 (4.9.0-1ubuntu3) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11781 files and directories currently installed.) Preparing to unpack .../libapt-pkg4.12_1.0.2ubuntu2_i386.deb ... Unpacking libapt-pkg4.12:i386 (1.0.2ubuntu2) over (1.0.1ubuntu2) ... Setting up libapt-pkg4.12:i386 (1.0.2ubuntu2) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11781 files and directories currently installed.) Preparing to unpack .../apt_1.0.2ubuntu2_i386.deb ... Unpacking apt (1.0.2ubuntu2) over (1.0.1ubuntu2) ... Setting up apt (1.0.2ubuntu2) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... (Reading database ... 11781 files and directories currently installed.) Preparing to unpack .../libjson-c2_0.11-4ubuntu1_i386.deb ... Unpacking libjson-c2:i386 (0.11-4ubuntu1) over (0.11-3ubuntu1) ... Preparing to unpack .../libkmod2_16-2ubuntu1_i386.deb ... Unpacking libkmod2:i386 (16-2ubuntu1) over (15-0ubuntu6) ... Preparing to unpack .../udev_204-8ubuntu1_i386.deb ... Adding 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' Unpacking udev (204-8ubuntu1) over (204-5ubuntu20) ... Preparing to unpack .../libudev1_204-8ubuntu1_i386.deb ... Unpacking libudev1:i386 (204-8ubuntu1) over (204-5ubuntu20) ... Preparing to unpack .../kmod_16-2ubuntu1_i386.deb ... Unpacking kmod (16-2ubuntu1) over (15-0ubuntu6) ... Preparing to unpack .../module-init-tools_16-2ubuntu1_all.deb ... Unpacking module-init-tools (16-2ubuntu1) over (15-0ubuntu6) ... Selecting previously unselected package libnettle4:i386. Preparing to unpack .../libnettle4_2.7.1-2_i386.deb ... Unpacking libnettle4:i386 (2.7.1-2) ... Selecting previously unselected package libhogweed2:i386. Preparing to unpack .../libhogweed2_2.7.1-2_i386.deb ... Unpacking libhogweed2:i386 (2.7.1-2) ... Selecting previously unselected package librtmp1:i386. Preparing to unpack .../librtmp1_2.4+20131018.git79459a2-2_i386.deb ... Unpacking librtmp1:i386 (2.4+20131018.git79459a2-2) ... Preparing to unpack .../libcurl3-gnutls_7.35.0-1ubuntu3_i386.deb ... Unpacking libcurl3-gnutls:i386 (7.35.0-1ubuntu3) over (7.35.0-1ubuntu2) ... Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-9_i386.deb ... Unpacking libsasl2-2:i386 (2.1.26.dfsg1-9) over (2.1.25.dfsg1-17build1) ... Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-9_i386.deb ... Unpacking libsasl2-modules-db:i386 (2.1.26.dfsg1-9) over (2.1.25.dfsg1-17build1) ... Preparing to unpack .../libitm1_4.9.0-1ubuntu3_i386.deb ... Unpacking libitm1:i386 (4.9.0-1ubuntu3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libgomp1_4.9.0-1ubuntu3_i386.deb ... Unpacking libgomp1:i386 (4.9.0-1ubuntu3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../g++-4.8_4.8.2-21ubuntu1_i386.deb ... Unpacking g++-4.8 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libstdc++-4.8-dev_4.8.2-21ubuntu1_i386.deb ... Unpacking libstdc++-4.8-dev:i386 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ... Preparing to unpack .../gcc-4.8_4.8.2-21ubuntu1_i386.deb ... Unpacking gcc-4.8 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ... Preparing to unpack .../cpp-4.8_4.8.2-21ubuntu1_i386.deb ... Unpacking cpp-4.8 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ... Preparing to unpack .../binutils_2.24.51.20140425-0ubuntu2_i386.deb ... Unpacking binutils (2.24.51.20140425-0ubuntu2) over (2.24-5ubuntu3) ... Preparing to unpack .../libatomic1_4.9.0-1ubuntu3_i386.deb ... Unpacking libatomic1:i386 (4.9.0-1ubuntu3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libquadmath0_4.9.0-1ubuntu3_i386.deb ... Unpacking libquadmath0:i386 (4.9.0-1ubuntu3) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libgcc-4.8-dev_4.8.2-21ubuntu1_i386.deb ... Unpacking libgcc-4.8-dev:i386 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ... Preparing to unpack .../libasan0_4.8.2-21ubuntu1_i386.deb ... Unpacking libasan0:i386 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ... Preparing to unpack .../gcc-4.8-base_4.8.2-21ubuntu1_i386.deb ... Unpacking gcc-4.8-base:i386 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ... Preparing to unpack .../iproute2_3.14.0-1_i386.deb ... Unpacking iproute2 (3.14.0-1) over (3.12.0-2) ... Preparing to unpack .../libjson0_0.11-4ubuntu1_i386.deb ... Unpacking libjson0:i386 (0.11-4ubuntu1) over (0.11-3ubuntu1) ... Preparing to unpack .../apt-transport-https_1.0.2ubuntu2_i386.deb ... Unpacking apt-transport-https (1.0.2ubuntu2) over (1.0.1ubuntu2) ... Preparing to unpack .../advancecomp_1.19-1_i386.deb ... Unpacking advancecomp (1.19-1) over (1.18-1) ... Preparing to unpack .../libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) over (2.3000-1) ... Preparing to unpack .../dpkg-dev_1.17.7ubuntu1_all.deb ... Unpacking dpkg-dev (1.17.7ubuntu1) over (1.17.5ubuntu5) ... Preparing to unpack .../libdpkg-perl_1.17.7ubuntu1_all.deb ... Unpacking libdpkg-perl (1.17.7ubuntu1) over (1.17.5ubuntu5) ... Preparing to unpack .../patch_2.7.1-5_i386.deb ... Unpacking patch (2.7.1-5) over (2.7.1-4) ... Setting up libjson-c2:i386 (0.11-4ubuntu1) ... Setting up libkmod2:i386 (16-2ubuntu1) ... Setting up libudev1:i386 (204-8ubuntu1) ... Setting up udev (204-8ubuntu1) ... invoke-rc.d: policy-rc.d denied execution of restart. Removing 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up kmod (16-2ubuntu1) ... Installing new version of config file /etc/init.d/kmod ... Setting up module-init-tools (16-2ubuntu1) ... Setting up libnettle4:i386 (2.7.1-2) ... Setting up libhogweed2:i386 (2.7.1-2) ... Setting up librtmp1:i386 (2.4+20131018.git79459a2-2) ... Setting up libcurl3-gnutls:i386 (7.35.0-1ubuntu3) ... Setting up libsasl2-modules-db:i386 (2.1.26.dfsg1-9) ... Setting up libsasl2-2:i386 (2.1.26.dfsg1-9) ... Setting up libitm1:i386 (4.9.0-1ubuntu3) ... Setting up libgomp1:i386 (4.9.0-1ubuntu3) ... Setting up gcc-4.8-base:i386 (4.8.2-21ubuntu1) ... Setting up cpp-4.8 (4.8.2-21ubuntu1) ... Setting up binutils (2.24.51.20140425-0ubuntu2) ... Setting up libatomic1:i386 (4.9.0-1ubuntu3) ... Setting up libasan0:i386 (4.8.2-21ubuntu1) ... Setting up libquadmath0:i386 (4.9.0-1ubuntu3) ... Setting up libgcc-4.8-dev:i386 (4.8.2-21ubuntu1) ... Setting up gcc-4.8 (4.8.2-21ubuntu1) ... Setting up libstdc++-4.8-dev:i386 (4.8.2-21ubuntu1) ... Setting up g++-4.8 (4.8.2-21ubuntu1) ... Setting up iproute2 (3.14.0-1) ... Setting up libjson0:i386 (0.11-4ubuntu1) ... Setting up apt-transport-https (1.0.2ubuntu2) ... Setting up advancecomp (1.19-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libdpkg-perl (1.17.7ubuntu1) ... Setting up patch (2.7.1-5) ... Setting up dpkg-dev (1.17.7ubuntu1) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... Processing triggers for initramfs-tools (0.103ubuntu4) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5939763', 'i386', 'utopic-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=utopic-proposed', '-A', '--purpose=PRIMARY', '--architecture=i386', '--comp=universe', 'depqbf_3.02-1.dsc'] Initiating build PACKAGEBUILD-5939763 with 12 jobs across 12 processor cores. Kernel reported to sbuild: 3.2.0-60-generic #91-Ubuntu SMP Wed Feb 19 03:54:44 UTC 2014 i686 Automatic build of depqbf_3.02-1 on klock by sbuild/i386 1.170.5 Build started at 20140426-2229 ****************************************************************************** depqbf_3.02-1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 9), dpkg-dev (>= 1.16.1~) Checking for already installed source dependencies... debhelper: missing dpkg-dev: already installed (1.17.7ubuntu1 >= 1.16.1~ is satisfied) Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: librtmp0 Use 'apt-get autoremove' to remove it. The following extra packages will be installed: bsdmainutils dh-apparmor file gettext gettext-base groff-base intltool-debian libasprintf0c2 libcroco3 libglib2.0-0 libmagic1 libpipeline1 libunistring0 libxml2 man-db po-debconf Suggested packages: wamerican wordlist whois vacation dh-make apparmor-easyprof gettext-doc groff less www-browser libmail-box-perl Recommended packages: curl wget lynx-cur libasprintf-dev libgettextpo-dev libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl The following NEW packages will be installed: bsdmainutils debhelper dh-apparmor file gettext gettext-base groff-base intltool-debian libasprintf0c2 libcroco3 libglib2.0-0 libmagic1 libpipeline1 libunistring0 libxml2 man-db po-debconf 0 upgraded, 17 newly installed, 0 to remove and 0 not upgraded. Need to get 5970 kB of archives. After this operation, 22.1 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ utopic/main libmagic1 i386 1:5.14-2ubuntu3 [184 kB] Get:2 http://ftpmaster.internal/ubuntu/ utopic/main libasprintf0c2 i386 0.18.3.2-1ubuntu1 [6360 B] Get:3 http://ftpmaster.internal/ubuntu/ utopic/main libglib2.0-0 i386 2.40.0-2 [1031 kB] Get:4 http://ftpmaster.internal/ubuntu/ utopic/main libpipeline1 i386 1.3.0-1 [23.5 kB] Get:5 http://ftpmaster.internal/ubuntu/ utopic/main libxml2 i386 2.9.1+dfsg1-3ubuntu4 [555 kB] Get:6 http://ftpmaster.internal/ubuntu/ utopic/main groff-base i386 1.22.2-5 [1030 kB] Get:7 http://ftpmaster.internal/ubuntu/ utopic/main bsdmainutils i386 9.0.5ubuntu1 [197 kB] Get:8 http://ftpmaster.internal/ubuntu/ utopic/main man-db i386 2.6.7.1-1 [851 kB] Get:9 http://ftpmaster.internal/ubuntu/ utopic/main libcroco3 i386 0.6.8-2ubuntu1 [81.1 kB] Get:10 http://ftpmaster.internal/ubuntu/ utopic/main libunistring0 i386 0.9.3-5ubuntu3 [272 kB] Get:11 http://ftpmaster.internal/ubuntu/ utopic/main file i386 1:5.14-2ubuntu3 [18.5 kB] Get:12 http://ftpmaster.internal/ubuntu/ utopic/main gettext-base i386 0.18.3.2-1ubuntu1 [47.6 kB] Get:13 http://ftpmaster.internal/ubuntu/ utopic/main gettext i386 0.18.3.2-1ubuntu1 [816 kB] Get:14 http://ftpmaster.internal/ubuntu/ utopic/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:15 http://ftpmaster.internal/ubuntu/ utopic/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:16 http://ftpmaster.internal/ubuntu/ utopic/main dh-apparmor all 2.8.95~2430-0ubuntu5 [11.3 kB] Get:17 http://ftpmaster.internal/ubuntu/ utopic/main debhelper all 9.20131227ubuntu1 [604 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 5970 kB in 0s (13.9 MB/s) Selecting previously unselected package libmagic1:i386. (Reading database ... 11782 files and directories currently installed.) Preparing to unpack .../libmagic1_1%3a5.14-2ubuntu3_i386.deb ... Unpacking libmagic1:i386 (1:5.14-2ubuntu3) ... Selecting previously unselected package libasprintf0c2:i386. Preparing to unpack .../libasprintf0c2_0.18.3.2-1ubuntu1_i386.deb ... Unpacking libasprintf0c2:i386 (0.18.3.2-1ubuntu1) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../libglib2.0-0_2.40.0-2_i386.deb ... Unpacking libglib2.0-0:i386 (2.40.0-2) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../libpipeline1_1.3.0-1_i386.deb ... Unpacking libpipeline1:i386 (1.3.0-1) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../libxml2_2.9.1+dfsg1-3ubuntu4_i386.deb ... Unpacking libxml2:i386 (2.9.1+dfsg1-3ubuntu4) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.2-5_i386.deb ... Unpacking groff-base (1.22.2-5) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.5ubuntu1_i386.deb ... Unpacking bsdmainutils (9.0.5ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.6.7.1-1_i386.deb ... Unpacking man-db (2.6.7.1-1) ... Selecting previously unselected package libcroco3:i386. Preparing to unpack .../libcroco3_0.6.8-2ubuntu1_i386.deb ... Unpacking libcroco3:i386 (0.6.8-2ubuntu1) ... Selecting previously unselected package libunistring0:i386. Preparing to unpack .../libunistring0_0.9.3-5ubuntu3_i386.deb ... Unpacking libunistring0:i386 (0.9.3-5ubuntu3) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.14-2ubuntu3_i386.deb ... Unpacking file (1:5.14-2ubuntu3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.18.3.2-1ubuntu1_i386.deb ... Unpacking gettext-base (0.18.3.2-1ubuntu1) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.18.3.2-1ubuntu1_i386.deb ... Unpacking gettext (0.18.3.2-1ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu2ubuntu1_all.deb ... Unpacking po-debconf (1.0.16+nmu2ubuntu1) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.8.95~2430-0ubuntu5_all.deb ... Unpacking dh-apparmor (2.8.95~2430-0ubuntu5) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20131227ubuntu1_all.deb ... Unpacking debhelper (9.20131227ubuntu1) ... Setting up libmagic1:i386 (1:5.14-2ubuntu3) ... Setting up libasprintf0c2:i386 (0.18.3.2-1ubuntu1) ... Setting up libglib2.0-0:i386 (2.40.0-2) ... No schema files found: doing nothing. Setting up libpipeline1:i386 (1.3.0-1) ... Setting up libxml2:i386 (2.9.1+dfsg1-3ubuntu4) ... Setting up groff-base (1.22.2-5) ... Setting up bsdmainutils (9.0.5ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.6.7.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libcroco3:i386 (0.6.8-2ubuntu1) ... Setting up libunistring0:i386 (0.9.3-5ubuntu3) ... Setting up file (1:5.14-2ubuntu3) ... Setting up gettext-base (0.18.3.2-1ubuntu1) ... Setting up gettext (0.18.3.2-1ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.8.95~2430-0ubuntu5) ... Setting up debhelper (9.20131227ubuntu1) ... Processing triggers for libc-bin (2.19-0ubuntu6) ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.19-0ubuntu6 make_3.81-8.2ubuntu3 dpkg-dev_1.17.7ubuntu1 gcc-4.8_4.8.2-21ubuntu1 g++-4.8_4.8.2-21ubuntu1 binutils_2.24.51.20140425-0ubuntu2 libstdc++-4.8-dev_4.8.2-21ubuntu1 libstdc++6_4.9.0-1ubuntu3 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt gpgv: Signature made Thu Apr 24 05:50:13 2014 UTC using RSA key ID A6669AA9 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./depqbf_3.02-1.dsc dpkg-source: info: extracting depqbf in depqbf-3.02 dpkg-source: info: unpacking depqbf_3.02.orig.tar.gz dpkg-source: info: unpacking depqbf_3.02-1.debian.tar.xz dpkg-source: info: applying depqbf-makefile.patch dpkg-source: info: applying depqbf-manpages.patch dpkg-buildpackage: source package depqbf dpkg-buildpackage: source version 3.02-1 dpkg-buildpackage: source distribution unstable dpkg-source --before-build depqbf-3.02 dpkg-buildpackage: host architecture i386 /usr/bin/fakeroot debian/rules clean dh clean dh_testdir dh_auto_clean make[1]: Entering directory `/build/buildd/depqbf-3.02' rm -f *.so.1.0 *.fpico *.a *.o *.gcno *.gcda *.gcov *~ gmon.out depqbf make[1]: Leaving directory `/build/buildd/depqbf-3.02' dh_clean debian/rules build dh build dh_testdir dh_auto_configure dh_auto_build make[1]: Entering directory `/build/buildd/depqbf-3.02' gcc -Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 `dpkg-buildflags --get CFLAGS` `dpkg-buildflags --get CPPFLAGS` -c qdpll_main.c -o qdpll_main.o gcc -Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 `dpkg-buildflags --get CFLAGS` `dpkg-buildflags --get CPPFLAGS` -c qdpll_app.c -o qdpll_app.o qdpll_app.c: In function 'print_abort_err': qdpll_app.c:159:29: warning: unused parameter 'app' [-Wunused-parameter] print_abort_err (QDPLLApp * app, char *msg, ...) ^ qdpll_app.c: In function 'parse': qdpll_app.c:198:19: warning: unused parameter 'app' [-Wunused-parameter] parse (QDPLLApp * app, QDPLL * qdpll, FILE * in, int trace) ^ qdpll_app.c: In function 'print_deps': qdpll_app.c:469:24: warning: unused parameter 'app' [-Wunused-parameter] print_deps (QDPLLApp * app, QDPLL * qdpll) ^ qdpll_app.c: In function 'set_signal_handlers': qdpll_app.c:507:33: warning: unused parameter 'app' [-Wunused-parameter] set_signal_handlers (QDPLLApp * app) ^ gcc -Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 `dpkg-buildflags --get CFLAGS` `dpkg-buildflags --get CPPFLAGS` -c qdpll.c -o qdpll.o qdpll.c: In function 'assert_internal_vars_integrity': qdpll.c:1477:40: warning: unused parameter 'qdpll' [-Wunused-parameter] assert_internal_vars_integrity (QDPLL *qdpll) ^ qdpll.c: In function 'remove_id_from_notify_list': qdpll.c:2837:47: warning: unused parameter 'owner' [-Wunused-parameter] remove_id_from_notify_list (Var * vars, Var * owner, LitIDStack * notify_list, ^ qdpll.c:2839:50: warning: unused parameter 'signed_id' [-Wunused-parameter] VarID del_pos, LitID signed_id) ^ qdpll.c: In function 'update_blocking_literal': qdpll.c:3328:34: warning: unused parameter 'qdpll' [-Wunused-parameter] update_blocking_literal (QDPLL * qdpll, Var * vars, BLitsOcc * blit_ptr, ^ qdpll.c:3329:39: warning: unused parameter 'c' [-Wunused-parameter] Constraint * c, LitID disabling_lit, ^ qdpll.c: In function 'update_literal_watchers': qdpll.c:3669:47: warning: unused parameter 'propagated_var' [-Wunused-parameter] update_literal_watchers (QDPLL * qdpll, Var * propagated_var, ^ qdpll.c: In function 'count_type_lit_at_dec_level': qdpll.c:5571:53: warning: unused parameter 'lit_start' [-Wunused-parameter] count_type_lit_at_dec_level (QDPLL * qdpll, LitID * lit_start, ^ qdpll.c:5572:38: warning: unused parameter 'lit_end' [-Wunused-parameter] LitID * lit_end, unsigned int level, ^ qdpll.c:5572:60: warning: unused parameter 'level' [-Wunused-parameter] LitID * lit_end, unsigned int level, ^ qdpll.c:5573:56: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'get_highest_type_lit_dec_level': qdpll.c:5625:56: warning: unused parameter 'lit_start' [-Wunused-parameter] get_highest_type_lit_dec_level (QDPLL * qdpll, LitID * lit_start, ^ qdpll.c:5626:41: warning: unused parameter 'lit_end' [-Wunused-parameter] LitID * lit_end, ^ qdpll.c:5627:59: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'get_type_var_at_dec_level': qdpll.c:5639:51: warning: unused parameter 'lit_start' [-Wunused-parameter] get_type_var_at_dec_level (QDPLL * qdpll, LitID * lit_start, LitID * lit_end, ^ qdpll.c:5639:70: warning: unused parameter 'lit_end' [-Wunused-parameter] get_type_var_at_dec_level (QDPLL * qdpll, LitID * lit_start, LitID * lit_end, ^ qdpll.c:5640:41: warning: unused parameter 'level' [-Wunused-parameter] unsigned int level, const QDPLLQuantifierType type) ^ qdpll.c:5640:74: warning: unused parameter 'type' [-Wunused-parameter] unsigned int level, const QDPLLQuantifierType type) ^ qdpll.c: In function 'working_clause_is_tautologous': qdpll.c:6723:58: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'qpup_check_dependency': qdpll.c:7226:74: warning: unused parameter 'type' [-Wunused-parameter] qpup_check_dependency (QDPLL *qdpll, Var *var, const QDPLLQuantifierType type) ^ qdpll.c: In function 'qpup_res_merge_literals': qdpll.c:8127:52: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'qpup_compute': qdpll.c:8241:34: warning: unused parameter 'pivot' [-Wunused-parameter] qpup_compute (QDPLL *qdpll, Var *pivot, LitIDStack *resolvent_lits, ^ qdpll.c: In function 'qpup_cleanup_aux_constraints': qdpll.c:8609:57: warning: unused parameter 'learnt_constraint' [-Wunused-parameter] qpup_cleanup_aux_constraints (QDPLL *qdpll, Constraint *learnt_constraint, ^ qdpll.c:8610:57: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'compute_sdcl_score': qdpll.c:9427:53: warning: unused parameter 'lit' [-Wunused-parameter] compute_sdcl_score (QDPLL * qdpll, Var * var, LitID lit, BLitsOccStack * occs) ^ qdpll.c: In function 'compute_qtype_score': qdpll.c:9458:43: warning: unused parameter 'var' [-Wunused-parameter] compute_qtype_score (QDPLL * qdpll, Var * var, LitID lit, ^ qdpll.c:9458:54: warning: unused parameter 'lit' [-Wunused-parameter] compute_qtype_score (QDPLL * qdpll, Var * var, LitID lit, ^ qdpll.c: In function 'check_disabling_blocking_lit': qdpll.c:9577:41: warning: unused parameter 'called_on_pure_lits' [-Wunused-parameter] const int called_on_pure_lits) ^ qdpll.c: In function 'cleanup_constraint_sweep_occs': qdpll.c:9998:40: warning: unused parameter 'qdpll' [-Wunused-parameter] cleanup_constraint_sweep_occs (QDPLL * qdpll, BLitsOccStack * occs) ^ qdpll.c: In function 'cleanup_constraint_sweep': qdpll.c:10054:55: warning: unused parameter 'del' [-Wunused-parameter] cleanup_constraint_sweep (QDPLL * qdpll, unsigned int del, ^ qdpll.c: In function 'rename_internal_variable_ids_aux': qdpll.c:11608:42: warning: unused parameter 'qdpll' [-Wunused-parameter] rename_internal_variable_ids_aux (QDPLL *qdpll, VarID *p, ^ qdpll.c: In function 'qdo_has_outer_scope_unassigned_vars': qdpll.c:11815:78: warning: unused parameter 'result' [-Wunused-parameter] qdo_has_outer_scope_unassigned_vars (QDPLL *qdpll, Scope *outer, QDPLLResult result) ^ qdpll.c: In function 'qdo_fix_outer_scope_unassigned_vars': qdpll.c:11892:59: warning: unused parameter 'outer' [-Wunused-parameter] qdo_fix_outer_scope_unassigned_vars (QDPLL *qdpll, Scope *outer, QDPLLResult result, ^ qdpll.c:11892:78: warning: unused parameter 'result' [-Wunused-parameter] qdo_fix_outer_scope_unassigned_vars (QDPLL *qdpll, Scope *outer, QDPLLResult result, ^ qdpll.c: In function 'qdpll_print_stats': qdpll.c:13503:28: warning: unused parameter 'qdpll' [-Wunused-parameter] qdpll_print_stats (QDPLL * qdpll) ^ gcc -Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 `dpkg-buildflags --get CFLAGS` `dpkg-buildflags --get CPPFLAGS` -c qdpll_mem.c -o qdpll_mem.o gcc -Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 `dpkg-buildflags --get CFLAGS` `dpkg-buildflags --get CPPFLAGS` -c qdpll_dep_man_qdag.c -o qdpll_dep_man_qdag.o qdpll_dep_man_qdag.c: In function 'uf_find': qdpll_dep_man_qdag.c:181:32: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLDepManType type) ^ qdpll_dep_man_qdag.c: In function 'assert_graph_check_edges_pq': qdpll_dep_man_qdag.c:836:48: warning: unused parameter 'v' [-Wunused-parameter] assert_graph_check_edges_pq (Var * vars, Var * v, EdgePriorityQueue * edge_pq) ^ qdpll_dep_man_qdag.c: In function 'assert_graph_check_edges': qdpll_dep_man_qdag.c:856:45: warning: unused parameter 'v' [-Wunused-parameter] assert_graph_check_edges (Var * vars, Var * v, EdgeTable * edge_table) ^ qdpll_dep_man_qdag.c: In function 'is_candidate_by_frontier': qdpll_dep_man_qdag.c:3904:45: warning: unused parameter 'dm' [-Wunused-parameter] is_candidate_by_frontier (QDPLLDepManQDAG * dm, Var * vars, Var * u) ^ qdpll_dep_man_qdag.c: In function 'referenced_by_active_universal_class': qdpll_dep_man_qdag.c:4128:45: warning: unused parameter 'vars' [-Wunused-parameter] referenced_by_active_universal_class (Var * vars, Var * v) ^ ar rc libqdpll.a qdpll.o qdpll_mem.o qdpll_dep_man_qdag.o ranlib libqdpll.a gcc -Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 `dpkg-buildflags --get CFLAGS` `dpkg-buildflags --get CPPFLAGS` -fPIC -c qdpll.c -o qdpll.fpico qdpll.c: In function 'assert_internal_vars_integrity': qdpll.c:1477:40: warning: unused parameter 'qdpll' [-Wunused-parameter] assert_internal_vars_integrity (QDPLL *qdpll) ^ qdpll.c: In function 'remove_id_from_notify_list': qdpll.c:2837:47: warning: unused parameter 'owner' [-Wunused-parameter] remove_id_from_notify_list (Var * vars, Var * owner, LitIDStack * notify_list, ^ qdpll.c:2839:50: warning: unused parameter 'signed_id' [-Wunused-parameter] VarID del_pos, LitID signed_id) ^ qdpll.c: In function 'update_blocking_literal': qdpll.c:3328:34: warning: unused parameter 'qdpll' [-Wunused-parameter] update_blocking_literal (QDPLL * qdpll, Var * vars, BLitsOcc * blit_ptr, ^ qdpll.c:3329:39: warning: unused parameter 'c' [-Wunused-parameter] Constraint * c, LitID disabling_lit, ^ qdpll.c: In function 'update_literal_watchers': qdpll.c:3669:47: warning: unused parameter 'propagated_var' [-Wunused-parameter] update_literal_watchers (QDPLL * qdpll, Var * propagated_var, ^ qdpll.c: In function 'count_type_lit_at_dec_level': qdpll.c:5571:53: warning: unused parameter 'lit_start' [-Wunused-parameter] count_type_lit_at_dec_level (QDPLL * qdpll, LitID * lit_start, ^ qdpll.c:5572:38: warning: unused parameter 'lit_end' [-Wunused-parameter] LitID * lit_end, unsigned int level, ^ qdpll.c:5572:60: warning: unused parameter 'level' [-Wunused-parameter] LitID * lit_end, unsigned int level, ^ qdpll.c:5573:56: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'get_highest_type_lit_dec_level': qdpll.c:5625:56: warning: unused parameter 'lit_start' [-Wunused-parameter] get_highest_type_lit_dec_level (QDPLL * qdpll, LitID * lit_start, ^ qdpll.c:5626:41: warning: unused parameter 'lit_end' [-Wunused-parameter] LitID * lit_end, ^ qdpll.c:5627:59: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'get_type_var_at_dec_level': qdpll.c:5639:51: warning: unused parameter 'lit_start' [-Wunused-parameter] get_type_var_at_dec_level (QDPLL * qdpll, LitID * lit_start, LitID * lit_end, ^ qdpll.c:5639:70: warning: unused parameter 'lit_end' [-Wunused-parameter] get_type_var_at_dec_level (QDPLL * qdpll, LitID * lit_start, LitID * lit_end, ^ qdpll.c:5640:41: warning: unused parameter 'level' [-Wunused-parameter] unsigned int level, const QDPLLQuantifierType type) ^ qdpll.c:5640:74: warning: unused parameter 'type' [-Wunused-parameter] unsigned int level, const QDPLLQuantifierType type) ^ qdpll.c: In function 'working_clause_is_tautologous': qdpll.c:6723:58: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'qpup_check_dependency': qdpll.c:7226:74: warning: unused parameter 'type' [-Wunused-parameter] qpup_check_dependency (QDPLL *qdpll, Var *var, const QDPLLQuantifierType type) ^ qdpll.c: In function 'qpup_res_merge_literals': qdpll.c:8127:52: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'qpup_compute': qdpll.c:8241:34: warning: unused parameter 'pivot' [-Wunused-parameter] qpup_compute (QDPLL *qdpll, Var *pivot, LitIDStack *resolvent_lits, ^ qdpll.c: In function 'qpup_cleanup_aux_constraints': qdpll.c:8609:57: warning: unused parameter 'learnt_constraint' [-Wunused-parameter] qpup_cleanup_aux_constraints (QDPLL *qdpll, Constraint *learnt_constraint, ^ qdpll.c:8610:57: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLQuantifierType type) ^ qdpll.c: In function 'compute_sdcl_score': qdpll.c:9427:53: warning: unused parameter 'lit' [-Wunused-parameter] compute_sdcl_score (QDPLL * qdpll, Var * var, LitID lit, BLitsOccStack * occs) ^ qdpll.c: In function 'compute_qtype_score': qdpll.c:9458:43: warning: unused parameter 'var' [-Wunused-parameter] compute_qtype_score (QDPLL * qdpll, Var * var, LitID lit, ^ qdpll.c:9458:54: warning: unused parameter 'lit' [-Wunused-parameter] compute_qtype_score (QDPLL * qdpll, Var * var, LitID lit, ^ qdpll.c: In function 'check_disabling_blocking_lit': qdpll.c:9577:41: warning: unused parameter 'called_on_pure_lits' [-Wunused-parameter] const int called_on_pure_lits) ^ qdpll.c: In function 'cleanup_constraint_sweep_occs': qdpll.c:9998:40: warning: unused parameter 'qdpll' [-Wunused-parameter] cleanup_constraint_sweep_occs (QDPLL * qdpll, BLitsOccStack * occs) ^ qdpll.c: In function 'cleanup_constraint_sweep': qdpll.c:10054:55: warning: unused parameter 'del' [-Wunused-parameter] cleanup_constraint_sweep (QDPLL * qdpll, unsigned int del, ^ qdpll.c: In function 'rename_internal_variable_ids_aux': qdpll.c:11608:42: warning: unused parameter 'qdpll' [-Wunused-parameter] rename_internal_variable_ids_aux (QDPLL *qdpll, VarID *p, ^ qdpll.c: In function 'qdo_has_outer_scope_unassigned_vars': qdpll.c:11815:78: warning: unused parameter 'result' [-Wunused-parameter] qdo_has_outer_scope_unassigned_vars (QDPLL *qdpll, Scope *outer, QDPLLResult result) ^ qdpll.c: In function 'qdo_fix_outer_scope_unassigned_vars': qdpll.c:11892:59: warning: unused parameter 'outer' [-Wunused-parameter] qdo_fix_outer_scope_unassigned_vars (QDPLL *qdpll, Scope *outer, QDPLLResult result, ^ qdpll.c:11892:78: warning: unused parameter 'result' [-Wunused-parameter] qdo_fix_outer_scope_unassigned_vars (QDPLL *qdpll, Scope *outer, QDPLLResult result, ^ qdpll.c: In function 'qdpll_print_stats': qdpll.c:13503:28: warning: unused parameter 'qdpll' [-Wunused-parameter] qdpll_print_stats (QDPLL * qdpll) ^ gcc -Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 `dpkg-buildflags --get CFLAGS` `dpkg-buildflags --get CPPFLAGS` -fPIC -c qdpll_mem.c -o qdpll_mem.fpico gcc -Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 `dpkg-buildflags --get CFLAGS` `dpkg-buildflags --get CPPFLAGS` -fPIC -c qdpll_dep_man_qdag.c -o qdpll_dep_man_qdag.fpico qdpll_dep_man_qdag.c: In function 'uf_find': qdpll_dep_man_qdag.c:181:32: warning: unused parameter 'type' [-Wunused-parameter] const QDPLLDepManType type) ^ qdpll_dep_man_qdag.c: In function 'assert_graph_check_edges_pq': qdpll_dep_man_qdag.c:836:48: warning: unused parameter 'v' [-Wunused-parameter] assert_graph_check_edges_pq (Var * vars, Var * v, EdgePriorityQueue * edge_pq) ^ qdpll_dep_man_qdag.c: In function 'assert_graph_check_edges': qdpll_dep_man_qdag.c:856:45: warning: unused parameter 'v' [-Wunused-parameter] assert_graph_check_edges (Var * vars, Var * v, EdgeTable * edge_table) ^ qdpll_dep_man_qdag.c: In function 'is_candidate_by_frontier': qdpll_dep_man_qdag.c:3904:45: warning: unused parameter 'dm' [-Wunused-parameter] is_candidate_by_frontier (QDPLLDepManQDAG * dm, Var * vars, Var * u) ^ qdpll_dep_man_qdag.c: In function 'referenced_by_active_universal_class': qdpll_dep_man_qdag.c:4128:45: warning: unused parameter 'vars' [-Wunused-parameter] referenced_by_active_universal_class (Var * vars, Var * v) ^ gcc `dpkg-buildflags --get LDFLAGS` -shared -Wl,-soname,libqdpll.so.1 qdpll.fpico qdpll_mem.fpico qdpll_dep_man_qdag.fpico -o libqdpll.so.1.0 gcc -Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 `dpkg-buildflags --get CFLAGS` `dpkg-buildflags --get CPPFLAGS` `dpkg-buildflags --get LDFLAGS` qdpll_main.o qdpll_app.o -L. -lqdpll -o depqbf make[1]: Leaving directory `/build/buildd/depqbf-3.02' dh_auto_test /usr/bin/fakeroot debian/rules binary dh binary dh_testroot dh_prep dh_auto_install dh_install dh_installdocs dh_installchangelogs dh_installman dh_perl dh_link dh_compress dh_fixperms dh_strip dh_strip debug symbol extraction: not enabling -a because /CurrentlyBuilding exists dh_strip debug symbol extraction: all non-arch-all packages for this build platform i386: depqbf dh_strip debug symbol extraction: packages to act on: depqbf dh_strip debug symbol extraction: ignored packages: Using buildid for compat level >= 9 dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe /usr/bin/pkg_create_dbgsym: building ddeb package dpkg-deb: building package `depqbf-dbgsym' in `../depqbf-dbgsym_3.02-1_i386.ddeb'. dh_makeshlibs dh_shlibdeps dh_installdeb dh_gencontrol dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dh_md5sums dh_builddeb INFO: pkgstriptranslations version 121 pkgstriptranslations: processing depqbf (in debian/depqbf); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/depqbf/DEBIAN/control, package depqbf, directory debian/depqbf pkgstripfiles: PNG optimization for package depqbf took 0 s dpkg-deb: warning: 'debian/depqbf/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `depqbf' in `../depqbf_3.02-1_i386.deb'. dpkg-genchanges -b -mUbuntu/amd64 Build Daemon >../depqbf_3.02-1_i386.changes dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build depqbf-3.02 dpkg-buildpackage: binary-only upload (no source included) ****************************************************************************** Build finished at 20140426-2230 Publishing debug debs. chroot-autobuild/build/buildd/depqbf_3.02-1_i386.deb: new debian package, version 2.0. size 121094 bytes: control archive= 1498 bytes. 1067 bytes, 21 lines control 972 bytes, 14 lines md5sums 135 bytes, 7 lines * postinst #!/bin/sh 132 bytes, 7 lines * postrm #!/bin/sh 18 bytes, 1 lines shlibs Package: depqbf Version: 3.02-1 Architecture: i386 Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Maintainers Installed-Size: 482 Depends: libc6 (>= 2.3.4) Section: interpreters Priority: extra Homepage: http://lonsing.github.com/depqbf/ Description: solver for quantified boolean formulae DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm for QBF, called QDPLL, with conflict-driven clause and solution-driven cube learning. By analyzing the syntactic structure of a formula, DepQBF tries to identify independent variables. In general, information on independent variables can be represented in the formal framework of dependency schemes. DepQBF computes the so-called "standard dependency scheme" of a given formula. In addition to other benefits, information on independent variables often increases the freedom for decision making and clause learning. chroot-autobuild/build/buildd/depqbf_3.02-1_i386.deb: drwxr-xr-x root/root 0 2014-04-26 22:29 ./ drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/ drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/lib/ -rw-r--r-- root/root 132492 2014-04-26 22:29 ./usr/lib/libqdpll.so.1.0 -rw-r--r-- root/root 142884 2014-04-26 22:29 ./usr/lib/libqdpll.a drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/include/ drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/include/qdpll/ -rw-r--r-- root/root 11059 2014-04-23 13:46 ./usr/include/qdpll/qdpll.h drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/share/ drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/share/man/ drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/share/man/man1/ -rw-r--r-- root/root 1250 2014-04-26 22:29 ./usr/share/man/man1/depqbf.1.gz drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/share/doc/ drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/share/doc/depqbf/ -rw-r--r-- root/root 119 2014-04-23 13:46 ./usr/share/doc/depqbf/NEWS.gz drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/share/doc/depqbf/examples/ -rw-r--r-- root/root 3902 2014-04-23 13:46 ./usr/share/doc/depqbf/examples/basic-api-example3.c -rw-r--r-- root/root 1576 2014-04-23 13:46 ./usr/share/doc/depqbf/examples/basic-api-example2.c.gz -rw-r--r-- root/root 3574 2014-04-23 13:46 ./usr/share/doc/depqbf/examples/basic-manual-selectors.c -rw-r--r-- root/root 272 2014-04-23 13:46 ./usr/share/doc/depqbf/examples/makefile -rw-r--r-- root/root 3344 2014-04-23 13:46 ./usr/share/doc/depqbf/examples/basic-api-example.c -rw-r--r-- root/root 4301 2014-04-23 13:46 ./usr/share/doc/depqbf/README.gz -rw-r--r-- root/root 1315 2014-02-20 15:45 ./usr/share/doc/depqbf/copyright -rw-r--r-- root/root 662 2014-04-24 05:43 ./usr/share/doc/depqbf/changelog.Debian.gz drwxr-xr-x root/root 0 2014-04-26 22:29 ./usr/bin/ -rwxr-xr-x root/root 132632 2014-04-26 22:29 ./usr/bin/depqbf lrwxrwxrwx root/root 0 2014-04-26 22:29 ./usr/lib/libqdpll.so.1 -> libqdpll.so.1.0 lrwxrwxrwx root/root 0 2014-04-26 22:29 ./usr/lib/libdqpll.so -> libqdpll.so.1 depqbf_3.02-1_i386.changes: Format: 1.8 Date: Thu, 24 Apr 2014 07:27:13 +0200 Source: depqbf Binary: depqbf Architecture: i386 Version: 3.02-1 Distribution: utopic-proposed Urgency: low Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Thomas Krennwallner Description: depqbf - solver for quantified boolean formulae Changes: depqbf (3.02-1) unstable; urgency=low . * New upstream release. * Add support for libqdpll. * debian/install: Install libqdpll.* and qdpll.h. * debian/docs: Add examples directory. * debian/links: Symlink libqdpll.so.1.0. * debian/patches/depqbf-makefile.patch: quilt refresh. Checksums-Sha1: 00470a941bc4432382219367fe96ad586f49239f 121094 depqbf_3.02-1_i386.deb Checksums-Sha256: 709e812bd53c29340553b7eb328192569aeb8b305afc06123a4769732a39db05 121094 depqbf_3.02-1_i386.deb Files: be594f085a63731116cf6ab88e78cf92 121094 interpreters extra depqbf_3.02-1_i386.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20140426-2230 Build needed 00:00:29, 4708k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5939763'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5939763/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5939763'] Unmounting chroot for build PACKAGEBUILD-5939763... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5939763'] Removing build PACKAGEBUILD-5939763