DC-Build-Header: minisat2 1:2.2.1-5 / 2020-02-25 16:25:45 +0000 DC-Task: type:rebuild-binarch-only source:minisat2 version:1:2.2.1-5 chroot:unstable esttime:169 logfile:/tmp/minisat2_2.2.1-5_unstable_clang8.log modes:clang8:binarch-only DC-Sbuild-call: su user42 -c 'sbuild -n --arch-any --apt-update -d unstable -v --no-run-lintian --chroot-setup-commands=/tmp/clang8 minisat2_1:2.2.1-5' sbuild (Debian sbuild) 0.78.1 (09 February 2019) on ip-172-31-1-11.eu-central-1.compute.internal +==============================================================================+ | minisat2 1:2.2.1-5 (amd64) Tue, 25 Feb 2020 16:25:45 +0000 | +==============================================================================+ Package: minisat2 Version: 1:2.2.1-5 Source Version: 1:2.2.1-5 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: binary I: NOTICE: Log filtering will replace 'var/run/schroot/mount/sid-amd64-sbuild-5a6c9309-f5c6-497f-a852-35723d29bc72' with '<>' +------------------------------------------------------------------------------+ | Chroot Setup Commands | +------------------------------------------------------------------------------+ /tmp/clang8 ----------- + echo 'Entering customization script...' Entering customization script... + CLANG_VERSION=8 + echo 'Install of clang-8' Install of clang-8 + apt-get update Get:1 http://127.0.0.1:12990/debian sid InRelease [142 kB] Get:2 http://127.0.0.1:12990/debian sid/main Sources.diff/Index [27.9 kB] Get:3 http://127.0.0.1:12990/debian sid/main amd64 Packages.diff/Index [27.9 kB] Get:4 http://127.0.0.1:12990/debian sid/main Sources 2020-02-24-0823.32.pdiff [11.0 kB] Get:5 http://127.0.0.1:12990/debian sid/main Sources 2020-02-24-1420.34.pdiff [30.2 kB] Get:6 http://127.0.0.1:12990/debian sid/main Sources 2020-02-24-2014.03.pdiff [16.9 kB] Get:7 http://127.0.0.1:12990/debian sid/main Sources 2020-02-25-0213.11.pdiff [23.2 kB] Get:8 http://127.0.0.1:12990/debian sid/main Sources 2020-02-25-0815.22.pdiff [9222 B] Get:9 http://127.0.0.1:12990/debian sid/main Sources 2020-02-25-1413.15.pdiff [16.3 kB] Get:10 http://127.0.0.1:12990/debian sid/main amd64 Packages 2020-02-24-0823.32.pdiff [15.5 kB] Get:11 http://127.0.0.1:12990/debian sid/main amd64 Packages 2020-02-24-1420.34.pdiff [27.5 kB] Get:12 http://127.0.0.1:12990/debian sid/main amd64 Packages 2020-02-24-2014.03.pdiff [21.6 kB] Get:13 http://127.0.0.1:12990/debian sid/main amd64 Packages 2020-02-25-0213.11.pdiff [35.0 kB] Get:14 http://127.0.0.1:12990/debian sid/main amd64 Packages 2020-02-25-0815.22.pdiff [20.1 kB] Get:15 http://127.0.0.1:12990/debian sid/main amd64 Packages 2020-02-25-1413.15.pdiff [18.4 kB] Get:9 http://127.0.0.1:12990/debian sid/main Sources 2020-02-25-1413.15.pdiff [16.3 kB] Get:15 http://127.0.0.1:12990/debian sid/main amd64 Packages 2020-02-25-1413.15.pdiff [18.4 kB] Get:16 http://127.0.0.1:12990/debian sid/main Translation-en [6195 kB] Fetched 6638 kB in 2s (4031 kB/s) Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-8 libomp-8-dev libobjc-9-dev Reading package lists... Building dependency tree... The following additional packages will be installed: cpp-9 g++-9 gcc-8-base gcc-9 gcc-9-base lib32gcc-s1 lib32gcc1 lib32stdc++6 libasan5 libbsd0 libc6-i386 libclang-common-8-dev libclang1-8 libedit2 libgc1c2 libgcc-8-dev libgcc-9-dev libllvm8 libmpx2 libobjc-8-dev libobjc4 libomp5-8 libstdc++-8-dev libstdc++-9-dev Suggested packages: clang-8-doc gcc-9-locales g++-9-multilib gcc-9-doc gcc-9-multilib libomp-8-doc libstdc++-8-doc libstdc++-9-doc Recommended packages: llvm-8-dev python3 The following NEW packages will be installed: clang-8 gcc-8-base lib32gcc-s1 lib32gcc1 lib32stdc++6 libbsd0 libc6-i386 libclang-common-8-dev libclang1-8 libedit2 libgc1c2 libgcc-8-dev libllvm8 libmpx2 libobjc-8-dev libobjc-9-dev libobjc4 libomp-8-dev libomp5-8 libstdc++-8-dev The following packages will be upgraded: cpp-9 g++-9 gcc-9 gcc-9-base libasan5 libgcc-9-dev libstdc++-9-dev 7 upgraded, 20 newly installed, 0 to remove and 3 not upgraded. Need to get 74.9 MB of archives. After this operation, 223 MB of additional disk space will be used. Get:1 http://127.0.0.1:12990/debian sid/main amd64 libasan5 amd64 9.2.1-30 [389 kB] Get:2 http://127.0.0.1:12990/debian sid/main amd64 g++-9 amd64 9.2.1-30 [10.7 MB] Get:3 http://127.0.0.1:12990/debian sid/main amd64 gcc-9 amd64 9.2.1-30 [10.0 MB] Get:4 http://127.0.0.1:12990/debian sid/main amd64 libstdc++-9-dev amd64 9.2.1-30 [1697 kB] Get:5 http://127.0.0.1:12990/debian sid/main amd64 libgcc-9-dev amd64 9.2.1-30 [2349 kB] Get:6 http://127.0.0.1:12990/debian sid/main amd64 cpp-9 amd64 9.2.1-30 [9711 kB] Get:7 http://127.0.0.1:12990/debian sid/main amd64 gcc-9-base amd64 9.2.1-30 [196 kB] Get:8 http://127.0.0.1:12990/debian sid/main amd64 libbsd0 amd64 0.10.0-1 [107 kB] Get:9 http://127.0.0.1:12990/debian sid/main amd64 libedit2 amd64 3.1-20191231-1 [95.4 kB] Get:10 http://127.0.0.1:12990/debian sid/main amd64 libllvm8 amd64 1:8.0.1-7 [13.8 MB] Get:11 http://127.0.0.1:12990/debian sid/main amd64 gcc-8-base amd64 8.3.0-29 [194 kB] Get:12 http://127.0.0.1:12990/debian sid/main amd64 libmpx2 amd64 8.3.0-29 [11.4 kB] Get:13 http://127.0.0.1:12990/debian sid/main amd64 libgcc-8-dev amd64 8.3.0-29 [2297 kB] Get:14 http://127.0.0.1:12990/debian sid/main amd64 libstdc++-8-dev amd64 8.3.0-29 [1543 kB] Get:15 http://127.0.0.1:12990/debian sid/main amd64 libgc1c2 amd64 1:7.6.4-0.4 [224 kB] Get:16 http://127.0.0.1:12990/debian sid/main amd64 libobjc4 amd64 10-20200222-1 [41.6 kB] Get:17 http://127.0.0.1:12990/debian sid/main amd64 libobjc-8-dev amd64 8.3.0-29 [227 kB] Get:18 http://127.0.0.1:12990/debian sid/main amd64 libc6-i386 amd64 2.29-10 [2918 kB] Get:19 http://127.0.0.1:12990/debian sid/main amd64 lib32gcc-s1 amd64 10-20200222-1 [49.4 kB] Get:20 http://127.0.0.1:12990/debian sid/main amd64 lib32gcc1 amd64 1:10-20200222-1 [1104 B] Get:21 http://127.0.0.1:12990/debian sid/main amd64 lib32stdc++6 amd64 10-20200222-1 [510 kB] Get:22 http://127.0.0.1:12990/debian sid/main amd64 libclang-common-8-dev amd64 1:8.0.1-7 [2989 kB] Get:23 http://127.0.0.1:12990/debian sid/main amd64 libclang1-8 amd64 1:8.0.1-7 [6244 kB] Get:24 http://127.0.0.1:12990/debian sid/main amd64 clang-8 amd64 1:8.0.1-7 [8010 kB] Get:25 http://127.0.0.1:12990/debian sid/main amd64 libobjc-9-dev amd64 9.2.1-30 [219 kB] Get:26 http://127.0.0.1:12990/debian sid/main amd64 libomp5-8 amd64 1:8.0.1-7 [331 kB] Get:27 http://127.0.0.1:12990/debian sid/main amd64 libomp-8-dev amd64 1:8.0.1-7 [62.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 74.9 MB in 1s (103 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12119 files and directories currently installed.) Preparing to unpack .../00-libasan5_9.2.1-30_amd64.deb ... Unpacking libasan5:amd64 (9.2.1-30) over (9.2.1-29) ... Preparing to unpack .../01-g++-9_9.2.1-30_amd64.deb ... Unpacking g++-9 (9.2.1-30) over (9.2.1-29) ... Preparing to unpack .../02-gcc-9_9.2.1-30_amd64.deb ... Unpacking gcc-9 (9.2.1-30) over (9.2.1-29) ... Preparing to unpack .../03-libstdc++-9-dev_9.2.1-30_amd64.deb ... Unpacking libstdc++-9-dev:amd64 (9.2.1-30) over (9.2.1-29) ... Preparing to unpack .../04-libgcc-9-dev_9.2.1-30_amd64.deb ... Unpacking libgcc-9-dev:amd64 (9.2.1-30) over (9.2.1-29) ... Preparing to unpack .../05-cpp-9_9.2.1-30_amd64.deb ... Unpacking cpp-9 (9.2.1-30) over (9.2.1-29) ... Preparing to unpack .../06-gcc-9-base_9.2.1-30_amd64.deb ... Unpacking gcc-9-base:amd64 (9.2.1-30) over (9.2.1-29) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../07-libbsd0_0.10.0-1_amd64.deb ... Unpacking libbsd0:amd64 (0.10.0-1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../08-libedit2_3.1-20191231-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20191231-1) ... Selecting previously unselected package libllvm8:amd64. Preparing to unpack .../09-libllvm8_1%3a8.0.1-7_amd64.deb ... Unpacking libllvm8:amd64 (1:8.0.1-7) ... Selecting previously unselected package gcc-8-base:amd64. Preparing to unpack .../10-gcc-8-base_8.3.0-29_amd64.deb ... Unpacking gcc-8-base:amd64 (8.3.0-29) ... Selecting previously unselected package libmpx2:amd64. Preparing to unpack .../11-libmpx2_8.3.0-29_amd64.deb ... Unpacking libmpx2:amd64 (8.3.0-29) ... Selecting previously unselected package libgcc-8-dev:amd64. Preparing to unpack .../12-libgcc-8-dev_8.3.0-29_amd64.deb ... Unpacking libgcc-8-dev:amd64 (8.3.0-29) ... Selecting previously unselected package libstdc++-8-dev:amd64. Preparing to unpack .../13-libstdc++-8-dev_8.3.0-29_amd64.deb ... Unpacking libstdc++-8-dev:amd64 (8.3.0-29) ... Selecting previously unselected package libgc1c2:amd64. Preparing to unpack .../14-libgc1c2_1%3a7.6.4-0.4_amd64.deb ... Unpacking libgc1c2:amd64 (1:7.6.4-0.4) ... Selecting previously unselected package libobjc4:amd64. Preparing to unpack .../15-libobjc4_10-20200222-1_amd64.deb ... Unpacking libobjc4:amd64 (10-20200222-1) ... Selecting previously unselected package libobjc-8-dev:amd64. Preparing to unpack .../16-libobjc-8-dev_8.3.0-29_amd64.deb ... Unpacking libobjc-8-dev:amd64 (8.3.0-29) ... Selecting previously unselected package libc6-i386. Preparing to unpack .../17-libc6-i386_2.29-10_amd64.deb ... Unpacking libc6-i386 (2.29-10) ... Selecting previously unselected package lib32gcc-s1. Preparing to unpack .../18-lib32gcc-s1_10-20200222-1_amd64.deb ... Unpacking lib32gcc-s1 (10-20200222-1) ... Selecting previously unselected package lib32gcc1. Preparing to unpack .../19-lib32gcc1_1%3a10-20200222-1_amd64.deb ... Unpacking lib32gcc1 (1:10-20200222-1) ... Selecting previously unselected package lib32stdc++6. Preparing to unpack .../20-lib32stdc++6_10-20200222-1_amd64.deb ... Unpacking lib32stdc++6 (10-20200222-1) ... Selecting previously unselected package libclang-common-8-dev. Preparing to unpack .../21-libclang-common-8-dev_1%3a8.0.1-7_amd64.deb ... Unpacking libclang-common-8-dev (1:8.0.1-7) ... Selecting previously unselected package libclang1-8. Preparing to unpack .../22-libclang1-8_1%3a8.0.1-7_amd64.deb ... Unpacking libclang1-8 (1:8.0.1-7) ... Selecting previously unselected package clang-8. Preparing to unpack .../23-clang-8_1%3a8.0.1-7_amd64.deb ... Unpacking clang-8 (1:8.0.1-7) ... Selecting previously unselected package libobjc-9-dev:amd64. Preparing to unpack .../24-libobjc-9-dev_9.2.1-30_amd64.deb ... Unpacking libobjc-9-dev:amd64 (9.2.1-30) ... Selecting previously unselected package libomp5-8:amd64. Preparing to unpack .../25-libomp5-8_1%3a8.0.1-7_amd64.deb ... Unpacking libomp5-8:amd64 (1:8.0.1-7) ... Selecting previously unselected package libomp-8-dev. Preparing to unpack .../26-libomp-8-dev_1%3a8.0.1-7_amd64.deb ... Unpacking libomp-8-dev (1:8.0.1-7) ... Setting up libgc1c2:amd64 (1:7.6.4-0.4) ... Setting up libobjc4:amd64 (10-20200222-1) ... Setting up gcc-8-base:amd64 (8.3.0-29) ... Setting up libmpx2:amd64 (8.3.0-29) ... Setting up libc6-i386 (2.29-10) ... Setting up libbsd0:amd64 (0.10.0-1) ... Setting up libomp5-8:amd64 (1:8.0.1-7) ... Setting up libomp-8-dev (1:8.0.1-7) ... Setting up gcc-9-base:amd64 (9.2.1-30) ... Setting up libedit2:amd64 (3.1-20191231-1) ... Setting up libasan5:amd64 (9.2.1-30) ... Setting up lib32gcc-s1 (10-20200222-1) ... Setting up libgcc-8-dev:amd64 (8.3.0-29) ... Setting up cpp-9 (9.2.1-30) ... Setting up libstdc++-8-dev:amd64 (8.3.0-29) ... Setting up libllvm8:amd64 (1:8.0.1-7) ... Setting up libclang1-8 (1:8.0.1-7) ... Setting up lib32gcc1 (1:10-20200222-1) ... Setting up libgcc-9-dev:amd64 (9.2.1-30) ... Setting up libobjc-8-dev:amd64 (8.3.0-29) ... Setting up lib32stdc++6 (10-20200222-1) ... Setting up libobjc-9-dev:amd64 (9.2.1-30) ... Setting up gcc-9 (9.2.1-30) ... Setting up libstdc++-9-dev:amd64 (9.2.1-30) ... Setting up libclang-common-8-dev (1:8.0.1-7) ... Setting up g++-9 (9.2.1-30) ... Setting up clang-8 (1:8.0.1-7) ... Processing triggers for libc-bin (2.29-10) ... W: --force-yes is deprecated, use one of the options starting with --allow instead. + echo 'Replace gcc, g++ & cpp by clang' Replace gcc, g++ & cpp by clang + VERSIONS='4.6 4.7 4.8 4.9 5 6 7 8 9 10' + cd /usr/bin + for VERSION in $VERSIONS + rm -f g++-4.6 gcc-4.6 cpp-4.6 gcc + ln -s clang++-8 g++-4.6 + ln -s clang-8 gcc-4.6 + ln -s clang-8 cpp-4.6 + ln -s clang-8 gcc + echo 'gcc-4.6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-4.7 gcc-4.7 cpp-4.7 gcc + ln -s clang++-8 g++-4.7 + ln -s clang-8 gcc-4.7 + ln -s clang-8 cpp-4.7 + ln -s clang-8 gcc + echo 'gcc-4.7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-4.8 gcc-4.8 cpp-4.8 gcc + ln -s clang++-8 g++-4.8 + ln -s clang-8 gcc-4.8 + ln -s clang-8 cpp-4.8 + ln -s clang-8 gcc + echo 'gcc-4.8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-4.9 gcc-4.9 cpp-4.9 gcc + ln -s clang++-8 g++-4.9 + ln -s clang-8 gcc-4.9 + ln -s clang-8 cpp-4.9 + ln -s clang-8 gcc + echo 'gcc-4.9 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.9 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.9 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.9 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-5 gcc-5 cpp-5 gcc + ln -s clang++-8 g++-5 + ln -s clang-8 gcc-5 + ln -s clang-8 cpp-5 + ln -s clang-8 gcc + echo 'gcc-5 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-5 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-5 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-5 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-6 gcc-6 cpp-6 gcc + ln -s clang++-8 g++-6 + ln -s clang-8 gcc-6 + ln -s clang-8 cpp-6 + ln -s clang-8 gcc + echo 'gcc-6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-7 gcc-7 cpp-7 gcc + ln -s clang++-8 g++-7 + ln -s clang-8 gcc-7 + ln -s clang-8 cpp-7 + ln -s clang-8 gcc + echo 'gcc-7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-8 gcc-8 cpp-8 gcc + ln -s clang++-8 g++-8 + ln -s clang-8 gcc-8 + ln -s clang-8 cpp-8 + ln -s clang-8 gcc + echo 'gcc-8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-9 gcc-9 cpp-9 gcc + ln -s clang++-8 g++-9 + ln -s clang-8 gcc-9 + ln -s clang-8 cpp-9 + ln -s clang-8 gcc + echo 'gcc-9 hold' + dpkg --set-selections + echo 'g++-9 hold' + dpkg --set-selections + for VERSION in $VERSIONS + rm -f g++-10 gcc-10 cpp-10 gcc + ln -s clang++-8 g++-10 + ln -s clang-8 gcc-10 + ln -s clang-8 cpp-10 + ln -s clang-8 gcc + echo 'gcc-10 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-10 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-10 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-10 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + cd - /build/minisat2-ztojEk + echo 'Check if gcc, g++ & cpp are actually clang' Check if gcc, g++ & cpp are actually clang + gcc --version + grep clang + cpp --version + grep clang + g++ --version + grep clang I: Finished running '/tmp/clang8'. Finished processing commands. -------------------------------------------------------------------------------- I: NOTICE: Log filtering will replace 'build/minisat2-ztojEk/resolver-X88bm2' with '<>' +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Hit:1 http://127.0.0.1:12990/debian sid InRelease Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: bash libgmp10 zlib1g 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 1722 kB of archives. After this operation, 4096 B of additional disk space will be used. Get:1 http://127.0.0.1:12990/debian sid/main amd64 bash amd64 5.0-6 [1379 kB] Get:2 http://127.0.0.1:12990/debian sid/main amd64 libgmp10 amd64 2:6.2.0+dfsg-4 [253 kB] Get:3 http://127.0.0.1:12990/debian sid/main amd64 zlib1g amd64 1:1.2.11.dfsg-2 [90.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 1722 kB in 0s (75.3 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13887 files and directories currently installed.) Preparing to unpack .../archives/bash_5.0-6_amd64.deb ... Unpacking bash (5.0-6) over (5.0-5) ... Setting up bash (5.0-6) ... 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 ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13887 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.2.0+dfsg-4_amd64.deb ... Unpacking libgmp10:amd64 (2:6.2.0+dfsg-4) over (2:6.2.0+dfsg-3) ... Setting up libgmp10:amd64 (2:6.2.0+dfsg-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13887 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.11.dfsg-2_amd64.deb ... Unpacking zlib1g:amd64 (1:1.2.11.dfsg-2) over (1:1.2.11.dfsg-1.2) ... Setting up zlib1g:amd64 (1:1.2.11.dfsg-2) ... Processing triggers for libc-bin (2.29-10) ... +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... NOTICE: 'minisat2' packaging is maintained in the 'Git' version control system at: git://gitorious.org/minisat-debian/minisat2.git Please use: git clone git://gitorious.org/minisat-debian/minisat2.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 55.5 kB of source archives. Get:1 http://127.0.0.1:12990/debian sid/main minisat2 1:2.2.1-5 (dsc) [1893 B] Get:2 http://127.0.0.1:12990/debian sid/main minisat2 1:2.2.1-5 (tar) [44.2 kB] Get:3 http://127.0.0.1:12990/debian sid/main minisat2 1:2.2.1-5 (diff) [9348 B] Fetched 55.5 kB in 0s (706 kB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/minisat2-ztojEk/minisat2-2.2.1' with '<>' I: NOTICE: Log filtering will replace 'build/minisat2-ztojEk' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper (>= 9), libz-dev, build-essential, fakeroot Filtered Build-Depends: debhelper (>= 9), libz-dev, build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [372 B] Get:5 copy:/<>/apt_archive ./ Packages [455 B] Fetched 1784 B in 0s (0 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libglib2.0-0 libicu63 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 m4 man-db po-debconf sensible-utils zlib1g-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make gettext-doc libasprintf-dev libgettextpo-dev groff libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser libmail-box-perl Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libglib2.0-0 libicu63 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 m4 man-db po-debconf sbuild-build-depends-main-dummy sensible-utils zlib1g-dev 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. Need to get 19.4 MB of archives. After this operation, 71.0 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [880 B] Get:2 http://127.0.0.1:12990/debian sid/main amd64 bsdmainutils amd64 11.1.2+b1 [191 kB] Get:3 http://127.0.0.1:12990/debian sid/main amd64 libuchardet0 amd64 0.0.6-3 [64.9 kB] Get:4 http://127.0.0.1:12990/debian sid/main amd64 groff-base amd64 1.22.4-4 [919 kB] Get:5 http://127.0.0.1:12990/debian sid/main amd64 libpipeline1 amd64 1.5.2-2 [33.9 kB] Get:6 http://127.0.0.1:12990/debian sid/main amd64 man-db amd64 2.9.0-2 [1307 kB] Get:7 http://127.0.0.1:12990/debian sid/main amd64 sensible-utils all 0.0.12+nmu1 [16.0 kB] Get:8 http://127.0.0.1:12990/debian sid/main amd64 libmagic-mgc amd64 1:5.38-4 [262 kB] Get:9 http://127.0.0.1:12990/debian sid/main amd64 libmagic1 amd64 1:5.38-4 [120 kB] Get:10 http://127.0.0.1:12990/debian sid/main amd64 file amd64 1:5.38-4 [67.9 kB] Get:11 http://127.0.0.1:12990/debian sid/main amd64 gettext-base amd64 0.19.8.1-10 [123 kB] Get:12 http://127.0.0.1:12990/debian sid/main amd64 libsigsegv2 amd64 2.12-2 [32.8 kB] Get:13 http://127.0.0.1:12990/debian sid/main amd64 m4 amd64 1.4.18-4 [203 kB] Get:14 http://127.0.0.1:12990/debian sid/main amd64 autoconf all 2.69-11.1 [341 kB] Get:15 http://127.0.0.1:12990/debian sid/main amd64 autotools-dev all 20180224.1 [77.0 kB] Get:16 http://127.0.0.1:12990/debian sid/main amd64 automake all 1:1.16.1-4 [771 kB] Get:17 http://127.0.0.1:12990/debian sid/main amd64 autopoint all 0.19.8.1-10 [435 kB] Get:18 http://127.0.0.1:12990/debian sid/main amd64 libtool all 2.4.6-13 [513 kB] Get:19 http://127.0.0.1:12990/debian sid/main amd64 dh-autoreconf all 19 [16.9 kB] Get:20 http://127.0.0.1:12990/debian sid/main amd64 libdebhelper-perl all 12.9 [183 kB] Get:21 http://127.0.0.1:12990/debian sid/main amd64 libarchive-zip-perl all 1.67-1 [104 kB] Get:22 http://127.0.0.1:12990/debian sid/main amd64 libsub-override-perl all 0.09-2 [10.2 kB] Get:23 http://127.0.0.1:12990/debian sid/main amd64 libfile-stripnondeterminism-perl all 1.6.3-2 [23.7 kB] Get:24 http://127.0.0.1:12990/debian sid/main amd64 dh-strip-nondeterminism all 1.6.3-2 [14.7 kB] Get:25 http://127.0.0.1:12990/debian sid/main amd64 libelf1 amd64 0.176-1.1 [161 kB] Get:26 http://127.0.0.1:12990/debian sid/main amd64 dwz amd64 0.13-5 [151 kB] Get:27 http://127.0.0.1:12990/debian sid/main amd64 libglib2.0-0 amd64 2.62.4-2 [1319 kB] Get:28 http://127.0.0.1:12990/debian sid/main amd64 libicu63 amd64 63.2-2 [8301 kB] Get:29 http://127.0.0.1:12990/debian sid/main amd64 libxml2 amd64 2.9.10+dfsg-3 [709 kB] Get:30 http://127.0.0.1:12990/debian sid/main amd64 libcroco3 amd64 0.6.13-1 [146 kB] Get:31 http://127.0.0.1:12990/debian sid/main amd64 gettext amd64 0.19.8.1-10 [1303 kB] Get:32 http://127.0.0.1:12990/debian sid/main amd64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get:33 http://127.0.0.1:12990/debian sid/main amd64 po-debconf all 1.0.21 [248 kB] Get:34 http://127.0.0.1:12990/debian sid/main amd64 debhelper all 12.9 [994 kB] Get:35 http://127.0.0.1:12990/debian sid/main amd64 zlib1g-dev amd64 1:1.2.11.dfsg-2 [190 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 19.4 MB in 0s (89.3 MB/s) Selecting previously unselected package bsdmainutils. (Reading database ... 13887 files and directories currently installed.) Preparing to unpack .../00-bsdmainutils_11.1.2+b1_amd64.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../01-libuchardet0_0.0.6-3_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.4-4_amd64.deb ... Unpacking groff-base (1.22.4-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../03-libpipeline1_1.5.2-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.2-2) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.9.0-2_amd64.deb ... Unpacking man-db (2.9.0-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../05-sensible-utils_0.0.12+nmu1_all.deb ... Unpacking sensible-utils (0.0.12+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../06-libmagic-mgc_1%3a5.38-4_amd64.deb ... Unpacking libmagic-mgc (1:5.38-4) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../07-libmagic1_1%3a5.38-4_amd64.deb ... Unpacking libmagic1:amd64 (1:5.38-4) ... Selecting previously unselected package file. Preparing to unpack .../08-file_1%3a5.38-4_amd64.deb ... Unpacking file (1:5.38-4) ... Selecting previously unselected package gettext-base. Preparing to unpack .../09-gettext-base_0.19.8.1-10_amd64.deb ... Unpacking gettext-base (0.19.8.1-10) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../10-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.19.8.1-10_all.deb ... Unpacking autopoint (0.19.8.1-10) ... Selecting previously unselected package libtool. Preparing to unpack .../16-libtool_2.4.6-13_all.deb ... Unpacking libtool (2.4.6-13) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../17-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../18-libdebhelper-perl_12.9_all.deb ... Unpacking libdebhelper-perl (12.9) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../19-libarchive-zip-perl_1.67-1_all.deb ... Unpacking libarchive-zip-perl (1.67-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../20-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.6.3-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.6.3-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../22-dh-strip-nondeterminism_1.6.3-2_all.deb ... Unpacking dh-strip-nondeterminism (1.6.3-2) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../23-libelf1_0.176-1.1_amd64.deb ... Unpacking libelf1:amd64 (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.13-5_amd64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../25-libglib2.0-0_2.62.4-2_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.62.4-2) ... Selecting previously unselected package libicu63:amd64. Preparing to unpack .../26-libicu63_63.2-2_amd64.deb ... Unpacking libicu63:amd64 (63.2-2) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../27-libxml2_2.9.10+dfsg-3_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-3) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../28-libcroco3_0.6.13-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../29-gettext_0.19.8.1-10_amd64.deb ... Unpacking gettext (0.19.8.1-10) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../30-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../31-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../32-debhelper_12.9_all.deb ... Unpacking debhelper (12.9) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../33-zlib1g-dev_1%3a1.2.11.dfsg-2_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-2) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../34-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libpipeline1:amd64 (1.5.2-2) ... Setting up libmagic-mgc (1:5.38-4) ... Setting up libarchive-zip-perl (1.67-1) ... Setting up libglib2.0-0:amd64 (2.62.4-2) ... No schema files found: doing nothing. Setting up libdebhelper-perl (12.9) ... Setting up libmagic1:amd64 (1:5.38-4) ... Setting up gettext-base (0.19.8.1-10) ... Setting up file (1:5.38-4) ... Setting up libicu63:amd64 (63.2-2) ... Setting up autotools-dev (20180224.1) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up bsdmainutils (11.1.2+b1) ... 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 autopoint (0.19.8.1-10) ... Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-2) ... Setting up sensible-utils (0.0.12+nmu1) ... Setting up libuchardet0:amd64 (0.0.6-3) ... Setting up libsub-override-perl (0.09-2) ... Setting up libelf1:amd64 (0.176-1.1) ... Setting up libxml2:amd64 (2.9.10+dfsg-3) ... Setting up libfile-stripnondeterminism-perl (1.6.3-2) ... Setting up libtool (2.4.6-13) ... Setting up m4 (1.4.18-4) ... Setting up libcroco3:amd64 (0.6.13-1) ... Setting up autoconf (2.69-11.1) ... Setting up dh-strip-nondeterminism (1.6.3-2) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-4) ... Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up gettext (0.19.8.1-10) ... Setting up man-db (2.9.0-2) ... Not building database; man-db/auto-update is not 'true'. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up dh-autoreconf (19) ... Setting up debhelper (12.9) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.29-10) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.19.0-6-cloud-amd64 #1 SMP Debian 4.19.67-2+deb10u2 (2019-11-11) amd64 (x86_64) Toolchain package versions: binutils_2.34-3 dpkg-dev_1.19.7 g++-9_9.2.1-30 gcc-9_9.2.1-30 libc6-dev_2.29-10 libstdc++-8-dev_8.3.0-29 libstdc++-9-dev_9.2.1-30 libstdc++6_10-20200222-1 linux-libc-dev_5.4.19-1 Package versions: adduser_3.118 apt_1.8.4 autoconf_2.69-11.1 automake_1:1.16.1-4 autopoint_0.19.8.1-10 autotools-dev_20180224.1 base-files_11 base-passwd_3.5.47 bash_5.0-6 binutils_2.34-3 binutils-common_2.34-3 binutils-x86-64-linux-gnu_2.34-3 bsdmainutils_11.1.2+b1 bsdutils_1:2.34-0.1 build-essential_12.8 bzip2_1.0.8-2 clang-8_1:8.0.1-7 coreutils_8.30-3+b1 cpp_4:9.2.1-3.1 cpp-9_9.2.1-30 dash_0.5.10.2-6 debconf_1.5.73 debhelper_12.9 debian-archive-keyring_2019.1 debianutils_4.9.1 dh-autoreconf_19 dh-strip-nondeterminism_1.6.3-2 diffutils_1:3.7-3 dpkg_1.19.7 dpkg-dev_1.19.7 dwz_0.13-5 e2fsprogs_1.45.5-2 fakeroot_1.24-1 fdisk_2.34-0.1 file_1:5.38-4 findutils_4.7.0-1 g++_4:9.2.1-3.1 g++-9_9.2.1-30 gcc_4:9.2.1-3.1 gcc-10-base_10-20200222-1 gcc-8-base_8.3.0-29 gcc-9_9.2.1-30 gcc-9-base_9.2.1-30 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10 gpgv_2.2.19-1 grep_3.4-1 groff-base_1.22.4-4 gzip_1.9-3+b1 hostname_3.23 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 lib32gcc-s1_10-20200222-1 lib32gcc1_1:10-20200222-1 lib32stdc++6_10-20200222-1 libacl1_2.2.53-5 libapt-pkg5.0_1.8.4 libarchive-zip-perl_1.67-1 libasan5_9.2.1-30 libatomic1_10-20200222-1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2 libaudit1_1:2.8.5-2+b1 libbinutils_2.34-3 libblkid1_2.34-0.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.29-10 libc-dev-bin_2.29-10 libc6_2.29-10 libc6-dev_2.29-10 libc6-i386_2.29-10 libcap-ng0_0.7.9-2.1+b1 libcc1-0_10-20200222-1 libclang-common-8-dev_1:8.0.1-7 libclang1-8_1:8.0.1-7 libcom-err2_1.45.5-2 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.10-10 libcrypt1_1:4.4.10-10 libctf-nobfd0_2.34-3 libctf0_2.34-3 libdb5.3_5.3.28+dfsg1-0.6 libdebconfclient0_0.251 libdebhelper-perl_12.9 libdpkg-perl_1.19.7 libedit2_3.1-20191231-1 libelf1_0.176-1.1 libext2fs2_1.45.5-2 libfakeroot_1.24-1 libfdisk1_2.34-0.1 libffi7_3.3-3 libfile-stripnondeterminism-perl_1.6.3-2 libgc1c2_1:7.6.4-0.4 libgcc-8-dev_8.3.0-29 libgcc-9-dev_9.2.1-30 libgcc-s1_10-20200222-1 libgcc1_1:10-20200222-1 libgcrypt20_1.8.5-5 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libglib2.0-0_2.62.4-2 libgmp10_2:6.2.0+dfsg-4 libgnutls30_3.6.12-2 libgomp1_10-20200222-1 libgpg-error0_1.37-1 libhogweed5_3.5.1+really3.5.1-2 libicu63_63.2-2 libidn2-0_2.2.0-2 libisl22_0.22.1-1 libitm1_10-20200222-1 libllvm8_1:8.0.1-7 liblsan0_10-20200222-1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1+b1 libmagic-mgc_1:5.38-4 libmagic1_1:5.38-4 libmount1_2.34-0.1 libmpc3_1.1.0-1 libmpfr6_4.0.2-1 libmpx2_8.3.0-29 libncursesw6_6.1+20191019-1 libnettle7_3.5.1+really3.5.1-2 libobjc-8-dev_8.3.0-29 libobjc-9-dev_9.2.1-30 libobjc4_10-20200222-1 libomp-8-dev_1:8.0.1-7 libomp5-8_1:8.0.1-7 libp11-kit0_0.23.20-1 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpcre2-8-0_10.34-7 libpcre3_2:8.39-12+b1 libperl5.30_5.30.0-9 libpipeline1_1.5.2-2 libquadmath0_10-20200222-1 libseccomp2_2.4.2-2 libselinux1_3.0-1+b1 libsemanage-common_3.0-1 libsemanage1_3.0-1+b1 libsepol1_3.0-1 libsigsegv2_2.12-2 libsmartcols1_2.34-0.1 libss2_1.45.5-2 libstdc++-8-dev_8.3.0-29 libstdc++-9-dev_9.2.1-30 libstdc++6_10-20200222-1 libsub-override-perl_0.09-2 libsystemd0_244.3-1 libtasn1-6_4.16.0-2 libtinfo6_6.1+20191019-1 libtool_2.4.6-13 libtsan0_10-20200222-1 libubsan1_10-20200222-1 libuchardet0_0.0.6-3 libudev1_244.3-1 libunistring2_0.9.10-2 libuuid1_2.34-0.1 libxml2_2.9.10+dfsg-3 libzstd1_1.4.4+dfsg-3 linux-libc-dev_5.4.19-1 login_1:4.8.1-1 logsave_1.45.5-2 lsb-base_11.1.0 m4_1.4.18-4 make_4.2.1-1.2 man-db_2.9.0-2 mawk_1.3.4.20200120-2 mount_2.34-0.1 ncurses-base_6.1+20191019-1 ncurses-bin_6.1+20191019-1 passwd_1:4.8.1-1 patch_2.7.6-6 perl_5.30.0-9 perl-base_5.30.0-9 perl-modules-5.30_5.30.0-9 po-debconf_1.0.21 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 sysvinit-utils_2.96-2.1 tar_1.30+dfsg-6+b1 tzdata_2019c-3 util-linux_2.34-0.1 xz-utils_5.2.4-1+b1 zlib1g_1:1.2.11.dfsg-2 zlib1g-dev_1:1.2.11.dfsg-2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: minisat2 Binary: minisat, minisat2 Architecture: any Version: 1:2.2.1-5 Maintainer: Michael Tautschnig Homepage: http://minisat.se/ Standards-Version: 3.9.5 Vcs-Browser: http://github.com/niklasso/minisat Vcs-Git: git://gitorious.org/minisat-debian/minisat2.git Build-Depends: debhelper (>= 9), libz-dev Package-List: minisat deb science extra arch=any minisat2 deb oldlibs extra arch=any Checksums-Sha1: 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20 44229 minisat2_2.2.1.orig.tar.gz 7e13866f0217cd5afc1060237b09facda071bf8d 9348 minisat2_2.2.1-5.debian.tar.xz Checksums-Sha256: e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz 569d2e327a231e16cec180db6016345ca626d803746936dcf4bb82fc738ad9a4 9348 minisat2_2.2.1-5.debian.tar.xz Files: 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz e955db0db0eb10fa1d71e5858e60ee33 9348 minisat2_2.2.1-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJT2MFdAAoJEKjvEonjOGdBExkP/3ObqriRSdJCbrjrDc2RpJp8 esnjl5rgqBI0C+3tz8MA6pc60+Rm971syuuOkfjLLf2TSX+EqNUGp7m7lVbKBXmL QOI2ce9SIaNxzjiQySGpaVvG3xbqdSC8TuGSLVNBXpk472DSGGSjnQYJgtYZ0uCA EoamoDYbWGjDPE9dMbRHDihFgZziNT7V7kN8qgxosbHz3Kp/O/0Y4HB6vwuwMKeW pL2FLATUcA8FyiIvYop6kSg5wU+SxPixcEILpTC7XOTlqbdn9ZBvRWphYeTECSLt cxNglzj/TsNOR/l4440HCSe1c4641eIyQDJY7KQ4ey2lTfbUfZY8ZMD5Gj3tHWb/ P24igpymSdAVvQiu9mpHXskQkNl1UcG2bNY6rkvjyjyRG6sAAFiRMawlZ3W/H7vi MvEs5+HrerhdXI+Dk6AcNa99DGJsCishEKERQH4S7lZN5Ywz0BH0UTfzvOiQKpBS hMklYvflZo2lTCxq4nAsmsAY/VkiOl8jC7gHe3yZ+0D9DqqpHrjkR2BTSCTXgvzg qaazpdLI9rR/14bo3KBHO6lgLAb0/8SCy3mFESJkhvRC6oE4NEk/Q9Pp8sSWlH/I LF1OeoSi6LwuMpbwz05Vr4SNhFeL3K2IxE7kNfFjFTR7lZdpaKqP1wcUMmTKhZle Cj109hOJin7nY4O0rTgh =+Lnf -----END PGP SIGNATURE----- gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Wed Jul 30 09:56:45 2014 UTC gpgv: using RSA key A8EF1289E3386741 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./minisat2_2.2.1-5.dsc dpkg-source: info: extracting minisat2 in /<> dpkg-source: info: unpacking minisat2_2.2.1.orig.tar.gz dpkg-source: info: unpacking minisat2_2.2.1-5.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying memory_limit dpkg-source: info: applying clang_build Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=user42 PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable SCHROOT_CHROOT_NAME=sid-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1001 SCHROOT_GROUP=user42 SCHROOT_SESSION_ID=sid-amd64-sbuild-5a6c9309-f5c6-497f-a852-35723d29bc72 SCHROOT_UID=1001 SCHROOT_USER=user42 SHELL=/bin/sh USER=user42 dpkg-buildpackage ----------------- Command: dpkg-buildpackage -us -uc -b -rfakeroot dpkg-buildpackage: info: source package minisat2 dpkg-buildpackage: info: source version 1:2.2.1-5 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Michael Tautschnig dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean dh_auto_clean make -j1 distclean make[1]: Entering directory '/<>' rm -f build/release/minisat/core/Solver.o build/release/minisat/core/Main.o build/release/minisat/simp/SimpSolver.o build/release/minisat/simp/Main.o build/release/minisat/utils/System.o build/release/minisat/utils/Options.o build/debug/minisat/core/Solver.o build/debug/minisat/core/Main.o build/debug/minisat/simp/SimpSolver.o build/debug/minisat/simp/Main.o build/debug/minisat/utils/System.o build/debug/minisat/utils/Options.o build/profile/minisat/core/Solver.o build/profile/minisat/core/Main.o build/profile/minisat/simp/SimpSolver.o build/profile/minisat/simp/Main.o build/profile/minisat/utils/System.o build/profile/minisat/utils/Options.o build/dynamic/minisat/core/Solver.o build/dynamic/minisat/core/Main.o build/dynamic/minisat/simp/SimpSolver.o build/dynamic/minisat/simp/Main.o build/dynamic/minisat/utils/System.o build/dynamic/minisat/utils/Options.o \ build/release/minisat/core/Solver.d build/release/minisat/core/Main.d build/release/minisat/simp/SimpSolver.d build/release/minisat/simp/Main.d build/release/minisat/utils/System.d build/release/minisat/utils/Options.d build/debug/minisat/core/Solver.d build/debug/minisat/core/Main.d build/debug/minisat/simp/SimpSolver.d build/debug/minisat/simp/Main.d build/debug/minisat/utils/System.d build/debug/minisat/utils/Options.d build/profile/minisat/core/Solver.d build/profile/minisat/core/Main.d build/profile/minisat/simp/SimpSolver.d build/profile/minisat/simp/Main.d build/profile/minisat/utils/System.d build/profile/minisat/utils/Options.d build/dynamic/minisat/core/Solver.d build/dynamic/minisat/core/Main.d build/dynamic/minisat/simp/SimpSolver.d build/dynamic/minisat/simp/Main.d build/dynamic/minisat/utils/System.d build/dynamic/minisat/utils/Options.d \ build/release/bin/minisat_core build/release/bin/minisat build/debug/bin/minisat_core build/debug/bin/minisat build/profile/bin/minisat_core build/profile/bin/minisat build/dynamic/bin/minisat_core build/dynamic/bin/minisat \ build/release/lib/libminisat.a build/debug/lib/libminisat.a build/profile/lib/libminisat.a \ build/dynamic/lib/libminisat.so.2.1.0\ build/dynamic/lib/libminisat.so.2\ build/dynamic/lib/libminisat.so rm -f config.mk make[1]: Leaving directory '/<>' dh_clean debian/rules build dh build dh_update_autotools_config debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' dh_testdir /usr/bin/make config prefix=/usr make[2]: Entering directory '/<>' make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_auto_build make -j1 make[1]: Entering directory '/<>' Compiling: build/release/minisat/simp/Main.o In file included from minisat/simp/Main.cc:29: ./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.begin); ^ ./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.end); ^ ./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ minisat/simp/Main.cc:42:39: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("restarts : %"PRIu64"\n", solver.starts); ^ minisat/simp/Main.cc:43:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("conflicts : %-12"PRIu64" (%.0f /sec)\n", solver.conflicts , solver.conflicts /cpu_time); ^ minisat/simp/Main.cc:44:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("decisions : %-12"PRIu64" (%4.2f %% random) (%.0f /sec)\n", solver.decisions, (float)solver.rnd_decisions*100 / (float)solver.decisions, solver.decisions /cpu_time); ^ minisat/simp/Main.cc:45:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("propagations : %-12"PRIu64" (%.0f /sec)\n", solver.propagations, solver.propagations/cpu_time); ^ minisat/simp/Main.cc:46:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("conflict literals : %-12"PRIu64" (%4.2f %% deleted)\n", solver.tot_literals, (solver.max_literals - solver.tot_literals)*100 / (double)solver.max_literals); ^ 8 errors generated. make[1]: *** [Makefile:129: build/release/minisat/simp/Main.o] Error 1 make[1]: Leaving directory '/<>' dh_auto_build: error: make -j1 returned exit code 2 make: *** [debian/rules:13: build] Error 25 dpkg-buildpackage: error: debian/rules build subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2020-02-25T16:26:05Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: binary Build-Space: 464 Build-Time: 0 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 3 Job: minisat2_1:2.2.1-5 Machine Architecture: amd64 Package: minisat2 Package-Time: 20 Source-Version: 1:2.2.1-5 Space: 464 Status: attempted Version: 1:2.2.1-5 -------------------------------------------------------------------------------- Finished at 2020-02-25T16:26:05Z Build needed 00:00:20, 464k disk space E: Build failure (dpkg-buildpackage died) DC-Status: Failed 21.363571276s DC-Time-Estimation: 21.363571276 versus expected 169 (r/m: 6.910662398934018 ; m: 21.363571276)