DC-Build-Header: cvc3 2.4.1-5.1 / 2017-07-06 19:37:00 +0000 DC-Task: type:rebuild-binarch-only source:cvc3 version:2.4.1-5.1 chroot:unstable esttime:466 logfile:/tmp/cvc3_2.4.1-5.1_unstable_clang3.9.log modes:clang:binarch-only DC-Sbuild-call: su user42 -c 'sbuild -n --arch-any --apt-update -d unstable -v --chroot-setup-commands=/tmp/clang cvc3_2.4.1-5.1' sbuild (Debian sbuild) 0.73.0 (23 Dec 2016) on ip-172-31-36-220.eu-central-1.compute.internal +==============================================================================+ | cvc3 2.4.1-5.1 (amd64) Thu, 06 Jul 2017 19:37:00 +0000 | +==============================================================================+ Package: cvc3 Version: 2.4.1-5.1 Source Version: 2.4.1-5.1 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: any I: NOTICE: Log filtering will replace 'var/run/schroot/mount/unstable-amd64-sbuild-8a65c0ce-3776-4a11-a422-25fae493bdf6' with '<>' +------------------------------------------------------------------------------+ | Chroot Setup Commands | +------------------------------------------------------------------------------+ /tmp/clang ---------- + echo 'Entering customization script...' Entering customization script... + CLANG_VERSION=3.9 + echo 'Install of clang-3.9' Install of clang-3.9 + apt-get update Get:1 http://127.0.0.1:9999/debian unstable InRelease [255 kB] Get:2 http://127.0.0.1:9999/debian unstable/main Sources.diff/Index [27.9 kB] Get:3 http://127.0.0.1:9999/debian unstable/main amd64 Packages.diff/Index [27.9 kB] Get:4 http://127.0.0.1:9999/debian unstable/main Translation-en.diff/Index [27.9 kB] Get:5 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-02-0216.39.pdiff [15.0 kB] Get:6 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-02-0817.00.pdiff [7416 B] Get:7 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-02-1415.16.pdiff [17.0 kB] Get:8 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-02-2015.53.pdiff [15.2 kB] Get:9 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-03-0215.43.pdiff [50.2 kB] Get:10 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-03-0815.58.pdiff [5500 B] Get:11 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-03-1420.59.pdiff [15.8 kB] Get:12 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-03-2015.52.pdiff [15.6 kB] Get:13 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-04-0215.56.pdiff [7165 B] Get:14 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-04-0817.36.pdiff [8303 B] Get:15 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-04-1416.28.pdiff [11.7 kB] Get:16 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-04-2017.16.pdiff [12.7 kB] Get:17 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-05-0215.45.pdiff [7714 B] Get:18 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-05-0817.10.pdiff [6491 B] Get:19 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-05-1416.09.pdiff [13.0 kB] Get:20 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-05-2019.56.pdiff [14.2 kB] Get:21 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-06-0216.07.pdiff [9132 B] Get:22 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-06-0817.23.pdiff [16.8 kB] Get:23 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-02-0216.39.pdiff [31.6 kB] Get:24 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-02-0817.00.pdiff [12.0 kB] Get:25 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-02-1415.16.pdiff [11.6 kB] Get:26 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-02-2015.53.pdiff [12.9 kB] Get:27 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-03-0215.43.pdiff [63.1 kB] Get:28 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-03-0815.58.pdiff [23.3 kB] Get:29 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-03-1420.59.pdiff [40.0 kB] Get:30 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-03-2015.52.pdiff [28.4 kB] Get:22 http://127.0.0.1:9999/debian unstable/main Sources 2017-07-06-0817.23.pdiff [16.8 kB] Get:31 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-04-0215.56.pdiff [7447 B] Get:32 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-04-0817.36.pdiff [5458 B] Get:33 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-04-1416.28.pdiff [33.1 kB] Get:34 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-04-2017.16.pdiff [18.8 kB] Get:35 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-05-0215.45.pdiff [5901 B] Get:36 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-05-0817.10.pdiff [15.3 kB] Get:37 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-05-1416.09.pdiff [11.4 kB] Get:38 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-05-2019.56.pdiff [13.0 kB] Get:39 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-06-0216.07.pdiff [8638 B] Get:40 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-06-0817.23.pdiff [31.2 kB] Get:41 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-02-0216.39.pdiff [1271 B] Get:42 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-02-2015.53.pdiff [793 B] Get:43 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-03-0215.43.pdiff [327 B] Get:44 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-03-0815.58.pdiff [270 B] Get:45 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-03-1420.59.pdiff [1066 B] Get:46 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-03-2015.52.pdiff [465 B] Get:47 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-04-0215.56.pdiff [291 B] Get:48 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-04-0817.36.pdiff [539 B] Get:40 http://127.0.0.1:9999/debian unstable/main amd64 Packages 2017-07-06-0817.23.pdiff [31.2 kB] Get:49 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-04-1416.28.pdiff [484 B] Get:50 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-04-2017.16.pdiff [1126 B] Get:51 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-05-0215.45.pdiff [214 B] Get:52 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-05-0817.10.pdiff [606 B] Get:53 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-05-1416.09.pdiff [214 B] Get:54 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-05-2019.56.pdiff [2615 B] Get:55 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-06-0216.07.pdiff [1869 B] Get:56 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-06-0817.23.pdiff [915 B] Get:56 http://127.0.0.1:9999/debian unstable/main Translation-en 2017-07-06-0817.23.pdiff [915 B] Fetched 974 kB in 1s (810 kB/s) Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-3.9 Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: cpp-6 g++-6 gcc-6 gcc-6-base gcc-7-base libasan3 libatomic1 libbsd0 libcc1-0 libcilkrts5 libclang-common-3.9-dev libclang1-3.9 libedit2 libffi6 libgcc-6-dev libgcc1 libgomp1 libitm1 libjsoncpp1 libllvm3.9 liblsan0 libmpx2 libncurses5 libobjc-6-dev libobjc4 libquadmath0 libstdc++-6-dev libstdc++6 libtsan0 libubsan0 Suggested packages: gnustep gnustep-devel clang-3.9-doc gcc-6-locales g++-6-multilib gcc-6-doc libstdc++6-6-dbg gcc-6-multilib libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan3-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libmpx2-dbg libquadmath0-dbg libstdc++-6-doc Recommended packages: llvm-3.9-dev python libgpm2 The following NEW packages will be installed: clang-3.9 libbsd0 libclang-common-3.9-dev libclang1-3.9 libedit2 libffi6 libjsoncpp1 libllvm3.9 libncurses5 libobjc-6-dev libobjc4 The following packages will be upgraded: cpp-6 g++-6 gcc-6 gcc-6-base gcc-7-base libasan3 libatomic1 libcc1-0 libcilkrts5 libgcc-6-dev libgcc1 libgomp1 libitm1 liblsan0 libmpx2 libquadmath0 libstdc++-6-dev libstdc++6 libtsan0 libubsan0 20 upgraded, 11 newly installed, 0 to remove and 13 not upgraded. Need to get 83.9 MB of archives. After this operation, 251 MB of additional disk space will be used. Get:1 http://127.0.0.1:9999/debian unstable/main amd64 libquadmath0 amd64 7.1.0-9 [132 kB] Get:2 http://127.0.0.1:9999/debian unstable/main amd64 libitm1 amd64 7.1.0-9 [27.2 kB] Get:3 http://127.0.0.1:9999/debian unstable/main amd64 gcc-7-base amd64 7.1.0-9 [180 kB] Get:4 http://127.0.0.1:9999/debian unstable/main amd64 libstdc++6 amd64 7.1.0-9 [398 kB] Get:5 http://127.0.0.1:9999/debian unstable/main amd64 libmpx2 amd64 7.1.0-9 [11.4 kB] Get:6 http://127.0.0.1:9999/debian unstable/main amd64 liblsan0 amd64 7.1.0-9 [124 kB] Get:7 http://127.0.0.1:9999/debian unstable/main amd64 libtsan0 amd64 7.1.0-9 [270 kB] Get:8 http://127.0.0.1:9999/debian unstable/main amd64 libubsan0 amd64 7.1.0-9 [117 kB] Get:9 http://127.0.0.1:9999/debian unstable/main amd64 libcilkrts5 amd64 7.1.0-9 [42.0 kB] Get:10 http://127.0.0.1:9999/debian unstable/main amd64 libcc1-0 amd64 7.1.0-9 [37.7 kB] Get:11 http://127.0.0.1:9999/debian unstable/main amd64 libatomic1 amd64 7.1.0-9 [8782 B] Get:12 http://127.0.0.1:9999/debian unstable/main amd64 libgomp1 amd64 7.1.0-9 [75.1 kB] Get:13 http://127.0.0.1:9999/debian unstable/main amd64 libgcc1 amd64 1:7.1.0-9 [39.3 kB] Get:14 http://127.0.0.1:9999/debian unstable/main amd64 libasan3 amd64 6.4.0-1 [310 kB] Get:15 http://127.0.0.1:9999/debian unstable/main amd64 g++-6 amd64 6.4.0-1 [7084 kB] Get:16 http://127.0.0.1:9999/debian unstable/main amd64 libstdc++-6-dev amd64 6.4.0-1 [1421 kB] Get:17 http://127.0.0.1:9999/debian unstable/main amd64 gcc-6 amd64 6.4.0-1 [6908 kB] Get:18 http://127.0.0.1:9999/debian unstable/main amd64 libgcc-6-dev amd64 6.4.0-1 [2297 kB] Get:19 http://127.0.0.1:9999/debian unstable/main amd64 cpp-6 amd64 6.4.0-1 [6549 kB] Get:20 http://127.0.0.1:9999/debian unstable/main amd64 gcc-6-base amd64 6.4.0-1 [180 kB] Get:21 http://127.0.0.1:9999/debian unstable/main amd64 libbsd0 amd64 0.8.5-1 [89.6 kB] Get:22 http://127.0.0.1:9999/debian unstable/main amd64 libncurses5 amd64 6.0+20161126-1 [93.4 kB] Get:23 http://127.0.0.1:9999/debian unstable/main amd64 libedit2 amd64 3.1-20170329-1 [85.2 kB] Get:24 http://127.0.0.1:9999/debian unstable/main amd64 libffi6 amd64 3.2.1-6 [20.4 kB] Get:25 http://127.0.0.1:9999/debian unstable/main amd64 libllvm3.9 amd64 1:3.9.1-10 [11.3 MB] Get:26 http://127.0.0.1:9999/debian unstable/main amd64 libclang1-3.9 amd64 1:3.9.1-10 [5875 kB] Get:27 http://127.0.0.1:9999/debian unstable/main amd64 libjsoncpp1 amd64 1.7.4-3 [75.6 kB] Get:28 http://127.0.0.1:9999/debian unstable/main amd64 libobjc4 amd64 7.1.0-9 [51.0 kB] Get:29 http://127.0.0.1:9999/debian unstable/main amd64 libobjc-6-dev amd64 6.4.0-1 [197 kB] Get:30 http://127.0.0.1:9999/debian unstable/main amd64 libclang-common-3.9-dev amd64 1:3.9.1-10 [2573 kB] Get:31 http://127.0.0.1:9999/debian unstable/main amd64 clang-3.9 amd64 1:3.9.1-10 [37.4 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 83.9 MB in 0s (98.2 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 ... 9635 files and directories currently installed.) Preparing to unpack .../libquadmath0_7.1.0-9_amd64.deb ... Unpacking libquadmath0:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../libitm1_7.1.0-9_amd64.deb ... Unpacking libitm1:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../gcc-7-base_7.1.0-9_amd64.deb ... Unpacking gcc-7-base:amd64 (7.1.0-9) over (7.1.0-8) ... Setting up gcc-7-base:amd64 (7.1.0-9) ... (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 ... 9635 files and directories currently installed.) Preparing to unpack .../libstdc++6_7.1.0-9_amd64.deb ... Unpacking libstdc++6:amd64 (7.1.0-9) over (7.1.0-8) ... Setting up libstdc++6:amd64 (7.1.0-9) ... (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 ... 9635 files and directories currently installed.) Preparing to unpack .../0-libmpx2_7.1.0-9_amd64.deb ... Unpacking libmpx2:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../1-liblsan0_7.1.0-9_amd64.deb ... Unpacking liblsan0:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../2-libtsan0_7.1.0-9_amd64.deb ... Unpacking libtsan0:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../3-libubsan0_7.1.0-9_amd64.deb ... Unpacking libubsan0:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../4-libcilkrts5_7.1.0-9_amd64.deb ... Unpacking libcilkrts5:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../5-libcc1-0_7.1.0-9_amd64.deb ... Unpacking libcc1-0:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../6-libatomic1_7.1.0-9_amd64.deb ... Unpacking libatomic1:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../7-libgomp1_7.1.0-9_amd64.deb ... Unpacking libgomp1:amd64 (7.1.0-9) over (7.1.0-8) ... Preparing to unpack .../8-libgcc1_1%3a7.1.0-9_amd64.deb ... Unpacking libgcc1:amd64 (1:7.1.0-9) over (1:7.1.0-8) ... Setting up libgcc1:amd64 (1:7.1.0-9) ... (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 ... 9635 files and directories currently installed.) Preparing to unpack .../00-libasan3_6.4.0-1_amd64.deb ... Unpacking libasan3:amd64 (6.4.0-1) over (6.3.0-21) ... Preparing to unpack .../01-g++-6_6.4.0-1_amd64.deb ... Unpacking g++-6 (6.4.0-1) over (6.3.0-21) ... Preparing to unpack .../02-libstdc++-6-dev_6.4.0-1_amd64.deb ... Unpacking libstdc++-6-dev:amd64 (6.4.0-1) over (6.3.0-21) ... Preparing to unpack .../03-gcc-6_6.4.0-1_amd64.deb ... Unpacking gcc-6 (6.4.0-1) over (6.3.0-21) ... Preparing to unpack .../04-libgcc-6-dev_6.4.0-1_amd64.deb ... Unpacking libgcc-6-dev:amd64 (6.4.0-1) over (6.3.0-21) ... Preparing to unpack .../05-cpp-6_6.4.0-1_amd64.deb ... Unpacking cpp-6 (6.4.0-1) over (6.3.0-21) ... Preparing to unpack .../06-gcc-6-base_6.4.0-1_amd64.deb ... Unpacking gcc-6-base:amd64 (6.4.0-1) over (6.3.0-21) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../07-libbsd0_0.8.5-1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.5-1) ... Selecting previously unselected package libncurses5:amd64. Preparing to unpack .../08-libncurses5_6.0+20161126-1_amd64.deb ... Unpacking libncurses5:amd64 (6.0+20161126-1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../09-libedit2_3.1-20170329-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20170329-1) ... Selecting previously unselected package libffi6:amd64. Preparing to unpack .../10-libffi6_3.2.1-6_amd64.deb ... Unpacking libffi6:amd64 (3.2.1-6) ... Selecting previously unselected package libllvm3.9:amd64. Preparing to unpack .../11-libllvm3.9_1%3a3.9.1-10_amd64.deb ... Unpacking libllvm3.9:amd64 (1:3.9.1-10) ... Selecting previously unselected package libclang1-3.9:amd64. Preparing to unpack .../12-libclang1-3.9_1%3a3.9.1-10_amd64.deb ... Unpacking libclang1-3.9:amd64 (1:3.9.1-10) ... Selecting previously unselected package libjsoncpp1:amd64. Preparing to unpack .../13-libjsoncpp1_1.7.4-3_amd64.deb ... Unpacking libjsoncpp1:amd64 (1.7.4-3) ... Selecting previously unselected package libobjc4:amd64. Preparing to unpack .../14-libobjc4_7.1.0-9_amd64.deb ... Unpacking libobjc4:amd64 (7.1.0-9) ... Selecting previously unselected package libobjc-6-dev:amd64. Preparing to unpack .../15-libobjc-6-dev_6.4.0-1_amd64.deb ... Unpacking libobjc-6-dev:amd64 (6.4.0-1) ... Selecting previously unselected package libclang-common-3.9-dev. Preparing to unpack .../16-libclang-common-3.9-dev_1%3a3.9.1-10_amd64.deb ... Unpacking libclang-common-3.9-dev (1:3.9.1-10) ... Selecting previously unselected package clang-3.9. Preparing to unpack .../17-clang-3.9_1%3a3.9.1-10_amd64.deb ... Unpacking clang-3.9 (1:3.9.1-10) ... Setting up libquadmath0:amd64 (7.1.0-9) ... Setting up libncurses5:amd64 (6.0+20161126-1) ... Setting up libgomp1:amd64 (7.1.0-9) ... Setting up libatomic1:amd64 (7.1.0-9) ... Setting up libcc1-0:amd64 (7.1.0-9) ... Setting up libobjc4:amd64 (7.1.0-9) ... Setting up libcilkrts5:amd64 (7.1.0-9) ... Setting up libubsan0:amd64 (7.1.0-9) ... Setting up libtsan0:amd64 (7.1.0-9) ... Setting up gcc-6-base:amd64 (6.4.0-1) ... Setting up libbsd0:amd64 (0.8.5-1) ... Setting up liblsan0:amd64 (7.1.0-9) ... Setting up libmpx2:amd64 (7.1.0-9) ... Processing triggers for libc-bin (2.24-12) ... Setting up libffi6:amd64 (3.2.1-6) ... Setting up cpp-6 (6.4.0-1) ... Setting up libitm1:amd64 (7.1.0-9) ... Setting up libjsoncpp1:amd64 (1.7.4-3) ... Setting up libedit2:amd64 (3.1-20170329-1) ... Setting up libasan3:amd64 (6.4.0-1) ... Setting up libgcc-6-dev:amd64 (6.4.0-1) ... Setting up libstdc++-6-dev:amd64 (6.4.0-1) ... Setting up libllvm3.9:amd64 (1:3.9.1-10) ... Setting up libclang-common-3.9-dev (1:3.9.1-10) ... Setting up gcc-6 (6.4.0-1) ... Setting up g++-6 (6.4.0-1) ... Setting up libobjc-6-dev:amd64 (6.4.0-1) ... Setting up libclang1-3.9:amd64 (1:3.9.1-10) ... Setting up clang-3.9 (1:3.9.1-10) ... Processing triggers for libc-bin (2.24-12) ... 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' + cd /usr/bin + for VERSION in $VERSIONS + rm -f g++-4.6 gcc-4.6 cpp-4.6 gcc + ln -s clang++-3.9 g++-4.6 + ln -s clang-3.9 gcc-4.6 + ln -s clang-3.9 cpp-4.6 + ln -s clang-3.9 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++-3.9 g++-4.7 + ln -s clang-3.9 gcc-4.7 + ln -s clang-3.9 cpp-4.7 + ln -s clang-3.9 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++-3.9 g++-4.8 + ln -s clang-3.9 gcc-4.8 + ln -s clang-3.9 cpp-4.8 + ln -s clang-3.9 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++-3.9 g++-4.9 + ln -s clang-3.9 gcc-4.9 + ln -s clang-3.9 cpp-4.9 + ln -s clang-3.9 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++-3.9 g++-5 + ln -s clang-3.9 gcc-5 + ln -s clang-3.9 cpp-5 + ln -s clang-3.9 gcc + echo 'gcc-5 hold' + dpkg --set-selections + echo 'g++-5 hold' + dpkg --set-selections + for VERSION in $VERSIONS + rm -f g++-6 gcc-6 cpp-6 gcc + ln -s clang++-3.9 g++-6 + ln -s clang-3.9 gcc-6 + ln -s clang-3.9 cpp-6 + ln -s clang-3.9 gcc + echo 'gcc-6 hold' + dpkg --set-selections + echo 'g++-6 hold' + dpkg --set-selections + for VERSION in $VERSIONS + rm -f g++-7 gcc-7 cpp-7 gcc + ln -s clang++-3.9 g++-7 + ln -s clang-3.9 gcc-7 + ln -s clang-3.9 cpp-7 + ln -s clang-3.9 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 + cd - /build/cvc3-Se4eb6 + 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/clang'. Finished processing commands. -------------------------------------------------------------------------------- +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Hit:1 http://127.0.0.1:9999/debian unstable InRelease Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: libgnutls30 libhogweed4 libidn2-0 libnettle6 libp11-kit0 libtasn1-6 libunistring2 The following packages will be upgraded: apt cpp debconf g++ gcc libapt-pkg5.0 libdebconfclient0 libperl5.24 libsystemd0 libudev1 perl perl-base perl-modules-5.24 13 upgraded, 7 newly installed, 0 to remove and 0 not upgraded. Need to get 12.5 MB of archives. After this operation, 6330 kB of additional disk space will be used. Get:1 http://127.0.0.1:9999/debian unstable/main amd64 libperl5.24 amd64 5.24.1-6 [3525 kB] Get:2 http://127.0.0.1:9999/debian unstable/main amd64 perl amd64 5.24.1-6 [218 kB] Get:3 http://127.0.0.1:9999/debian unstable/main amd64 perl-base amd64 5.24.1-6 [1344 kB] Get:4 http://127.0.0.1:9999/debian unstable/main amd64 perl-modules-5.24 all 5.24.1-6 [2723 kB] Get:5 http://127.0.0.1:9999/debian unstable/main amd64 libapt-pkg5.0 amd64 1.5~beta1 [922 kB] Get:6 http://127.0.0.1:9999/debian unstable/main amd64 libnettle6 amd64 3.3-1+b1 [191 kB] Get:7 http://127.0.0.1:9999/debian unstable/main amd64 libhogweed4 amd64 3.3-1+b1 [136 kB] Get:8 http://127.0.0.1:9999/debian unstable/main amd64 libunistring2 amd64 0.9.7-2 [377 kB] Get:9 http://127.0.0.1:9999/debian unstable/main amd64 libidn2-0 amd64 0.16-1+b1 [56.6 kB] Get:10 http://127.0.0.1:9999/debian unstable/main amd64 libp11-kit0 amd64 0.23.7-2 [193 kB] Get:11 http://127.0.0.1:9999/debian unstable/main amd64 libtasn1-6 amd64 4.12-2 [51.0 kB] Get:12 http://127.0.0.1:9999/debian unstable/main amd64 libgnutls30 amd64 3.5.13-2 [914 kB] Get:13 http://127.0.0.1:9999/debian unstable/main amd64 apt amd64 1.5~beta1 [1237 kB] Get:14 http://127.0.0.1:9999/debian unstable/main amd64 debconf all 1.5.62 [160 kB] Get:15 http://127.0.0.1:9999/debian unstable/main amd64 libsystemd0 amd64 233-10 [281 kB] Get:16 http://127.0.0.1:9999/debian unstable/main amd64 libudev1 amd64 233-10 [126 kB] Get:17 http://127.0.0.1:9999/debian unstable/main amd64 libdebconfclient0 amd64 0.229 [47.9 kB] Get:18 http://127.0.0.1:9999/debian unstable/main amd64 cpp amd64 4:6.3.0-4d1 [18.8 kB] Get:19 http://127.0.0.1:9999/debian unstable/main amd64 gcc amd64 4:6.3.0-4d1 [5252 B] Get:20 http://127.0.0.1:9999/debian unstable/main amd64 g++ amd64 4:6.3.0-4d1 [1548 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 12.5 MB in 0s (86.5 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 ... 10107 files and directories currently installed.) Preparing to unpack .../libperl5.24_5.24.1-6_amd64.deb ... Unpacking libperl5.24:amd64 (5.24.1-6) over (5.24.1-4) ... Preparing to unpack .../perl_5.24.1-6_amd64.deb ... Unpacking perl (5.24.1-6) over (5.24.1-4) ... Preparing to unpack .../perl-base_5.24.1-6_amd64.deb ... Unpacking perl-base (5.24.1-6) over (5.24.1-4) ... Setting up perl-base (5.24.1-6) ... (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 ... 10107 files and directories currently installed.) Preparing to unpack .../perl-modules-5.24_5.24.1-6_all.deb ... Unpacking perl-modules-5.24 (5.24.1-6) over (5.24.1-4) ... Preparing to unpack .../libapt-pkg5.0_1.5~beta1_amd64.deb ... Unpacking libapt-pkg5.0:amd64 (1.5~beta1) over (1.4.6) ... Setting up libapt-pkg5.0:amd64 (1.5~beta1) ... Selecting previously unselected package libnettle6:amd64. (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 ... 10107 files and directories currently installed.) Preparing to unpack .../libnettle6_3.3-1+b1_amd64.deb ... Unpacking libnettle6:amd64 (3.3-1+b1) ... Setting up libnettle6:amd64 (3.3-1+b1) ... Selecting previously unselected package libhogweed4:amd64. (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 ... 10114 files and directories currently installed.) Preparing to unpack .../libhogweed4_3.3-1+b1_amd64.deb ... Unpacking libhogweed4:amd64 (3.3-1+b1) ... Setting up libhogweed4:amd64 (3.3-1+b1) ... Selecting previously unselected package libunistring2:amd64. (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 ... 10117 files and directories currently installed.) Preparing to unpack .../libunistring2_0.9.7-2_amd64.deb ... Unpacking libunistring2:amd64 (0.9.7-2) ... Setting up libunistring2:amd64 (0.9.7-2) ... Selecting previously unselected package libidn2-0:amd64. (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 ... 10123 files and directories currently installed.) Preparing to unpack .../libidn2-0_0.16-1+b1_amd64.deb ... Unpacking libidn2-0:amd64 (0.16-1+b1) ... Setting up libidn2-0:amd64 (0.16-1+b1) ... Selecting previously unselected package libp11-kit0:amd64. (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 ... 10133 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.7-2_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.7-2) ... Setting up libp11-kit0:amd64 (0.23.7-2) ... Selecting previously unselected package libtasn1-6:amd64. (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 ... 10141 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.12-2_amd64.deb ... Unpacking libtasn1-6:amd64 (4.12-2) ... Setting up libtasn1-6:amd64 (4.12-2) ... Selecting previously unselected package libgnutls30:amd64. (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 ... 10150 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.5.13-2_amd64.deb ... Unpacking libgnutls30:amd64 (3.5.13-2) ... Setting up libgnutls30:amd64 (3.5.13-2) ... (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 ... 10177 files and directories currently installed.) Preparing to unpack .../apt_1.5~beta1_amd64.deb ... Unpacking apt (1.5~beta1) over (1.4.6) ... Setting up apt (1.5~beta1) ... (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 ... 10176 files and directories currently installed.) Preparing to unpack .../debconf_1.5.62_all.deb ... Unpacking debconf (1.5.62) over (1.5.61) ... Setting up debconf (1.5.62) ... (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 ... 10176 files and directories currently installed.) Preparing to unpack .../libsystemd0_233-10_amd64.deb ... Unpacking libsystemd0:amd64 (233-10) over (233-9) ... Setting up libsystemd0:amd64 (233-10) ... (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 ... 10176 files and directories currently installed.) Preparing to unpack .../libudev1_233-10_amd64.deb ... Unpacking libudev1:amd64 (233-10) over (233-9) ... Setting up libudev1:amd64 (233-10) ... (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 ... 10176 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.229_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.229) over (0.228) ... Setting up libdebconfclient0:amd64 (0.229) ... (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 ... 10176 files and directories currently installed.) Preparing to unpack .../cpp_4%3a6.3.0-4d1_amd64.deb ... Unpacking cpp (4:6.3.0-4d1) over (4:6.3.0-4) ... Preparing to unpack .../gcc_4%3a6.3.0-4d1_amd64.deb ... Removing old gcc doc directory. Unpacking gcc (4:6.3.0-4d1) over (4:6.3.0-4) ... Preparing to unpack .../g++_4%3a6.3.0-4d1_amd64.deb ... Unpacking g++ (4:6.3.0-4d1) over (4:6.3.0-4) ... Setting up cpp (4:6.3.0-4d1) ... Setting up perl-modules-5.24 (5.24.1-6) ... Setting up libperl5.24:amd64 (5.24.1-6) ... Setting up gcc (4:6.3.0-4d1) ... Setting up perl (5.24.1-6) ... Processing triggers for libc-bin (2.24-12) ... Setting up g++ (4:6.3.0-4d1) ... +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... Need to get 1188 kB of source archives. Get:1 http://127.0.0.1:9999/debian unstable/main cvc3 2.4.1-5.1 (dsc) [2046 B] Get:2 http://127.0.0.1:9999/debian unstable/main cvc3 2.4.1-5.1 (tar) [1176 kB] Get:3 http://127.0.0.1:9999/debian unstable/main cvc3 2.4.1-5.1 (diff) [10.2 kB] Fetched 1188 kB in 0s (3685 kB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/cvc3-Se4eb6/cvc3-2.4.1' with '<>' I: NOTICE: Log filtering will replace 'build/cvc3-Se4eb6' with '<>' +------------------------------------------------------------------------------+ | Install build-essential | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-rLFCqs/apt_archive/sbuild-build-depends-core-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 1 entries to output Packages file. Ign:1 copy:/<>/resolver-rLFCqs/apt_archive ./ InRelease Get:2 copy:/<>/resolver-rLFCqs/apt_archive ./ Release [957 B] Ign:3 copy:/<>/resolver-rLFCqs/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-rLFCqs/apt_archive ./ Sources [349 B] Get:5 copy:/<>/resolver-rLFCqs/apt_archive ./ Packages [430 B] Fetched 1736 B in 0s (0 B/s) Reading package lists... Reading package lists... Install core build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 782 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-rLFCqs/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [782 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 782 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 10178 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any all) +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, flex, libgmp-dev | libgmp3-dev, patchutils, python Filtered Build-Depends: cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, flex, libgmp-dev, patchutils, python dpkg-deb: building package 'sbuild-build-depends-cvc3-dummy' in '/<>/resolver-rLFCqs/apt_archive/sbuild-build-depends-cvc3-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-core-dummy sbuild-build-depends-cvc3-dummy dpkg-scanpackages: info: Wrote 2 entries to output Packages file. Ign:1 copy:/<>/resolver-rLFCqs/apt_archive ./ InRelease Get:2 copy:/<>/resolver-rLFCqs/apt_archive ./ Release [963 B] Ign:3 copy:/<>/resolver-rLFCqs/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-rLFCqs/apt_archive ./ Sources [548 B] Get:5 copy:/<>/resolver-rLFCqs/apt_archive ./ Packages [618 B] Fetched 2129 B in 0s (0 B/s) Reading package lists... Reading package lists... Install cvc3 build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bison bsdmainutils ca-certificates ca-certificates-java cdbs dconf-gsettings-backend dconf-service debhelper default-jdk default-jdk-headless default-jre default-jre-headless dh-autoreconf dh-strip-nondeterminism file flex fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base glib-networking glib-networking-common glib-networking-services gnome-icon-theme groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme intltool-debian java-common libarchive-zip-perl libasound2 libasound2-data libasyncns0 libatk-bridge2.0-0 libatk-wrapper-java libatk-wrapper-java-jni libatk1.0-0 libatk1.0-data libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbison-dev libcairo-gobject2 libcairo2 libcap2 libcolord2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdrm2 libegl1-mesa libepoxy0 libexpat1 libfile-stripnondeterminism-perl libflac8 libfontconfig1 libfontenc1 libfreetype6 libgbm1 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libgl1-mesa-glx libglapi-mesa libglib2.0-0 libgmp-dev libgmpxx4ldbl libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-common libgtk2.0-0 libgtk2.0-common libharfbuzz0b libice6 libicu57 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 libmagic-mgc libmagic1 libnspr4 libnss3 libogg0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcsclite1 libpipeline1 libpixman-1-0 libpng16-16 libproxy1v5 libpulse0 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libreadline7 librest-0.7-0 librsvg2-2 librsvg2-common libsigsegv2 libsm6 libsndfile1 libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libssl1.1 libthai-data libthai0 libtiff5 libtimedate-perl libtool libvorbis0a libvorbisenc2 libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libwayland-server0 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shape0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxmu6 libxmuu1 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxt6 libxtst6 libxv1 libxxf86dga1 libxxf86vm1 lsb-base m4 man-db mime-support openjdk-8-jdk openjdk-8-jdk-headless openjdk-8-jre openjdk-8-jre-headless openssl patchutils po-debconf python python-minimal python2.7 python2.7-minimal readline-common shared-mime-info ucf x11-common x11-utils xkb-data Suggested packages: autoconf-archive gnu-standards autoconf-doc bison-doc wamerican | wordlist whois vacation devscripts dh-make gettext-doc libasprintf-dev libgettextpo-dev groff libasound2-plugins alsa-utils colord cups-common gmp-doc libgmp10-doc libmpfr-dev krb5-doc krb5-user gvfs liblcms2-utils pcscd pulseaudio librsvg2-bin libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc less www-browser openjdk-8-demo openjdk-8-source visualvm icedtea-8-plugin libnss-mdns fonts-dejavu-extra fonts-ipafont-gothic fonts-ipafont-mincho fonts-wqy-microhei fonts-wqy-zenhei fonts-indic libmail-box-perl python-doc python-tk python2.7-doc binfmt-support readline-doc mesa-utils Recommended packages: default-java-plugin libfl-dev curl | wget | lynx-cur at-spi2-core dbus libarchive-cpio-perl libgl1-mesa-dri libglib2.0-data xdg-user-dirs libgtk-3-bin libgail-common libgtk2.0-bin krb5-locales libltdl-dev tcpd xml-core libxt-dev fonts-dejavu-extra libmail-sendmail-perl The following NEW packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bison bsdmainutils ca-certificates ca-certificates-java cdbs dconf-gsettings-backend dconf-service debhelper default-jdk default-jdk-headless default-jre default-jre-headless dh-autoreconf dh-strip-nondeterminism file flex fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base glib-networking glib-networking-common glib-networking-services gnome-icon-theme groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme intltool-debian java-common libarchive-zip-perl libasound2 libasound2-data libasyncns0 libatk-bridge2.0-0 libatk-wrapper-java libatk-wrapper-java-jni libatk1.0-0 libatk1.0-data libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbison-dev libcairo-gobject2 libcairo2 libcap2 libcolord2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdrm2 libegl1-mesa libepoxy0 libexpat1 libfile-stripnondeterminism-perl libflac8 libfontconfig1 libfontenc1 libfreetype6 libgbm1 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libgl1-mesa-glx libglapi-mesa libglib2.0-0 libgmp-dev libgmpxx4ldbl libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-common libgtk2.0-0 libgtk2.0-common libharfbuzz0b libice6 libicu57 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 libmagic-mgc libmagic1 libnspr4 libnss3 libogg0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcsclite1 libpipeline1 libpixman-1-0 libpng16-16 libproxy1v5 libpulse0 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libreadline7 librest-0.7-0 librsvg2-2 librsvg2-common libsigsegv2 libsm6 libsndfile1 libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libssl1.1 libthai-data libthai0 libtiff5 libtimedate-perl libtool libvorbis0a libvorbisenc2 libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libwayland-server0 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shape0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml2 libxmu6 libxmuu1 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxt6 libxtst6 libxv1 libxxf86dga1 libxxf86vm1 lsb-base m4 man-db mime-support openjdk-8-jdk openjdk-8-jdk-headless openjdk-8-jre openjdk-8-jre-headless openssl patchutils po-debconf python python-minimal python2.7 python2.7-minimal readline-common sbuild-build-depends-cvc3-dummy shared-mime-info ucf x11-common x11-utils xkb-data 0 upgraded, 194 newly installed, 0 to remove and 0 not upgraded. Need to get 118 MB of archives. After this operation, 407 MB of additional disk space will be used. Get:1 copy:/<>/resolver-rLFCqs/apt_archive ./ sbuild-build-depends-cvc3-dummy 0.invalid.0 [838 B] Get:2 http://127.0.0.1:9999/debian unstable/main amd64 groff-base amd64 1.22.3-9 [1160 kB] Get:3 http://127.0.0.1:9999/debian unstable/main amd64 bsdmainutils amd64 9.0.12+nmu1 [186 kB] Get:4 http://127.0.0.1:9999/debian unstable/main amd64 libpipeline1 amd64 1.4.1-2 [27.6 kB] Get:5 http://127.0.0.1:9999/debian unstable/main amd64 man-db amd64 2.7.6.1-2 [1044 kB] Get:6 http://127.0.0.1:9999/debian unstable/main amd64 libpython2.7-minimal amd64 2.7.13-2 [389 kB] Get:7 http://127.0.0.1:9999/debian unstable/main amd64 python2.7-minimal amd64 2.7.13-2 [1383 kB] Get:8 http://127.0.0.1:9999/debian unstable/main amd64 python-minimal amd64 2.7.13-2 [40.5 kB] Get:9 http://127.0.0.1:9999/debian unstable/main amd64 mime-support all 3.60 [36.7 kB] Get:10 http://127.0.0.1:9999/debian unstable/main amd64 libexpat1 amd64 2.2.1-3 [85.6 kB] Get:11 http://127.0.0.1:9999/debian unstable/main amd64 readline-common all 7.0-3 [70.4 kB] Get:12 http://127.0.0.1:9999/debian unstable/main amd64 libreadline7 amd64 7.0-3 [151 kB] Get:13 http://127.0.0.1:9999/debian unstable/main amd64 libsqlite3-0 amd64 3.16.2-5 [572 kB] Get:14 http://127.0.0.1:9999/debian unstable/main amd64 libssl1.1 amd64 1.1.0f-3 [1342 kB] Get:15 http://127.0.0.1:9999/debian unstable/main amd64 libpython2.7-stdlib amd64 2.7.13-2 [1895 kB] Get:16 http://127.0.0.1:9999/debian unstable/main amd64 python2.7 amd64 2.7.13-2 [285 kB] Get:17 http://127.0.0.1:9999/debian unstable/main amd64 libpython-stdlib amd64 2.7.13-2 [20.0 kB] Get:18 http://127.0.0.1:9999/debian unstable/main amd64 python amd64 2.7.13-2 [154 kB] Get:19 http://127.0.0.1:9999/debian unstable/main amd64 libsigsegv2 amd64 2.11-1 [29.9 kB] Get:20 http://127.0.0.1:9999/debian unstable/main amd64 m4 amd64 1.4.18-1 [202 kB] Get:21 http://127.0.0.1:9999/debian unstable/main amd64 flex amd64 2.6.1-1.3 [440 kB] Get:22 http://127.0.0.1:9999/debian unstable/main amd64 libpng16-16 amd64 1.6.29-3 [281 kB] Get:23 http://127.0.0.1:9999/debian unstable/main amd64 libfreetype6 amd64 2.8-0.2 [449 kB] Get:24 http://127.0.0.1:9999/debian unstable/main amd64 ucf all 3.0036 [70.2 kB] Get:25 http://127.0.0.1:9999/debian unstable/main amd64 fonts-dejavu-core all 2.37-1 [1068 kB] Get:26 http://127.0.0.1:9999/debian unstable/main amd64 fontconfig-config all 2.12.3-0.1 [303 kB] Get:27 http://127.0.0.1:9999/debian unstable/main amd64 libfontconfig1 amd64 2.12.3-0.1 [366 kB] Get:28 http://127.0.0.1:9999/debian unstable/main amd64 fontconfig amd64 2.12.3-0.1 [436 kB] Get:29 http://127.0.0.1:9999/debian unstable/main amd64 libogg0 amd64 1.3.2-1 [19.9 kB] Get:30 http://127.0.0.1:9999/debian unstable/main amd64 libxau6 amd64 1:1.0.8-1 [20.7 kB] Get:31 http://127.0.0.1:9999/debian unstable/main amd64 openssl amd64 1.1.0f-3 [725 kB] Get:32 http://127.0.0.1:9999/debian unstable/main amd64 ca-certificates all 20161130+nmu1 [196 kB] Get:33 http://127.0.0.1:9999/debian unstable/main amd64 java-common all 0.59 [13.6 kB] Get:34 http://127.0.0.1:9999/debian unstable/main amd64 default-jre-headless amd64 2:1.8-59 [10.0 kB] Get:35 http://127.0.0.1:9999/debian unstable/main amd64 libnspr4 amd64 2:4.15-1 [117 kB] Get:36 http://127.0.0.1:9999/debian unstable/main amd64 libnss3 amd64 2:3.31-1 [1160 kB] Get:37 http://127.0.0.1:9999/debian unstable/main amd64 ca-certificates-java all 20170531+nmu1 [14.7 kB] Get:38 http://127.0.0.1:9999/debian unstable/main amd64 libavahi-common-data amd64 0.6.32-2 [118 kB] Get:39 http://127.0.0.1:9999/debian unstable/main amd64 libavahi-common3 amd64 0.6.32-2 [52.0 kB] Get:40 http://127.0.0.1:9999/debian unstable/main amd64 libdbus-1-3 amd64 1.10.20-1 [193 kB] Get:41 http://127.0.0.1:9999/debian unstable/main amd64 libavahi-client3 amd64 0.6.32-2 [55.3 kB] Get:42 http://127.0.0.1:9999/debian unstable/main amd64 libkeyutils1 amd64 1.5.9-9 [12.4 kB] Get:43 http://127.0.0.1:9999/debian unstable/main amd64 libkrb5support0 amd64 1.15-1 [61.7 kB] Get:44 http://127.0.0.1:9999/debian unstable/main amd64 libk5crypto3 amd64 1.15-1 [119 kB] Get:45 http://127.0.0.1:9999/debian unstable/main amd64 libkrb5-3 amd64 1.15-1 [311 kB] Get:46 http://127.0.0.1:9999/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.15-1 [154 kB] Get:47 http://127.0.0.1:9999/debian unstable/main amd64 libcups2 amd64 2.2.4-1 [313 kB] Get:48 http://127.0.0.1:9999/debian unstable/main amd64 liblcms2-2 amd64 2.8-4 [143 kB] Get:49 http://127.0.0.1:9999/debian unstable/main amd64 libjpeg62-turbo amd64 1:1.5.1-2 [134 kB] Get:50 http://127.0.0.1:9999/debian unstable/main amd64 libpcsclite1 amd64 1.8.22-1 [57.2 kB] Get:51 http://127.0.0.1:9999/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:52 http://127.0.0.1:9999/debian unstable/main amd64 libxcb1 amd64 1.12-1 [133 kB] Get:53 http://127.0.0.1:9999/debian unstable/main amd64 libx11-data all 2:1.6.4-3 [290 kB] Get:54 http://127.0.0.1:9999/debian unstable/main amd64 libx11-6 amd64 2:1.6.4-3 [747 kB] Get:55 http://127.0.0.1:9999/debian unstable/main amd64 libxext6 amd64 2:1.3.3-1+b2 [52.5 kB] Get:56 http://127.0.0.1:9999/debian unstable/main amd64 libxi6 amd64 2:1.7.9-1 [82.6 kB] Get:57 http://127.0.0.1:9999/debian unstable/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:58 http://127.0.0.1:9999/debian unstable/main amd64 lsb-base all 9.20161125 [27.9 kB] Get:59 http://127.0.0.1:9999/debian unstable/main amd64 x11-common all 1:7.7+19 [251 kB] Get:60 http://127.0.0.1:9999/debian unstable/main amd64 libxtst6 amd64 2:1.2.3-1 [27.8 kB] Get:61 http://127.0.0.1:9999/debian unstable/main amd64 openjdk-8-jre-headless amd64 8u131-b11-2 [27.7 MB] Get:62 http://127.0.0.1:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.30-1 [222 kB] Get:63 http://127.0.0.1:9999/debian unstable/main amd64 libmagic1 amd64 1:5.30-1 [111 kB] Get:64 http://127.0.0.1:9999/debian unstable/main amd64 file amd64 1:5.30-1 [63.9 kB] Get:65 http://127.0.0.1:9999/debian unstable/main amd64 gettext-base amd64 0.19.8.1-2+b1 [122 kB] Get:66 http://127.0.0.1:9999/debian unstable/main amd64 libcap2 amd64 1:2.25-1 [16.8 kB] Get:67 http://127.0.0.1:9999/debian unstable/main amd64 libwrap0 amd64 7.6.q-26 [58.2 kB] Get:68 http://127.0.0.1:9999/debian unstable/main amd64 libicu57 amd64 57.1-6 [7701 kB] Get:69 http://127.0.0.1:9999/debian unstable/main amd64 libxml2 amd64 2.9.4+dfsg1-3 [715 kB] Get:70 http://127.0.0.1:9999/debian unstable/main amd64 hicolor-icon-theme all 0.15-1 [9550 B] Get:71 http://127.0.0.1:9999/debian unstable/main amd64 libglib2.0-0 amd64 2.52.3-1 [2742 kB] Get:72 http://127.0.0.1:9999/debian unstable/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get:73 http://127.0.0.1:9999/debian unstable/main amd64 libtiff5 amd64 4.0.8-3 [237 kB] Get:74 http://127.0.0.1:9999/debian unstable/main amd64 shared-mime-info amd64 1.8-1 [731 kB] Get:75 http://127.0.0.1:9999/debian unstable/main amd64 libgdk-pixbuf2.0-common all 2.36.5-2 [310 kB] Get:76 http://127.0.0.1:9999/debian unstable/main amd64 libgdk-pixbuf2.0-0 amd64 2.36.5-2 [169 kB] Get:77 http://127.0.0.1:9999/debian unstable/main amd64 gtk-update-icon-cache amd64 3.22.16-1 [76.7 kB] Get:78 http://127.0.0.1:9999/debian unstable/main amd64 libpixman-1-0 amd64 0.34.0-1 [530 kB] Get:79 http://127.0.0.1:9999/debian unstable/main amd64 libxcb-render0 amd64 1.12-1 [105 kB] Get:80 http://127.0.0.1:9999/debian unstable/main amd64 libxcb-shm0 amd64 1.12-1 [95.9 kB] Get:81 http://127.0.0.1:9999/debian unstable/main amd64 libcairo2 amd64 1.14.10-1 [774 kB] Get:82 http://127.0.0.1:9999/debian unstable/main amd64 libcroco3 amd64 0.6.12-1 [144 kB] Get:83 http://127.0.0.1:9999/debian unstable/main amd64 libthai-data all 0.1.26-1 [166 kB] Get:84 http://127.0.0.1:9999/debian unstable/main amd64 libdatrie1 amd64 0.2.10-4+b1 [36.4 kB] Get:85 http://127.0.0.1:9999/debian unstable/main amd64 libthai0 amd64 0.1.26-1 [52.1 kB] Get:86 http://127.0.0.1:9999/debian unstable/main amd64 libpango-1.0-0 amd64 1.40.6-1 [182 kB] Get:87 http://127.0.0.1:9999/debian unstable/main amd64 libgraphite2-3 amd64 1.3.10-2 [84.3 kB] Get:88 http://127.0.0.1:9999/debian unstable/main amd64 libharfbuzz0b amd64 1.4.2-1 [671 kB] Get:89 http://127.0.0.1:9999/debian unstable/main amd64 libpangoft2-1.0-0 amd64 1.40.6-1 [67.0 kB] Get:90 http://127.0.0.1:9999/debian unstable/main amd64 libpangocairo-1.0-0 amd64 1.40.6-1 [54.8 kB] Get:91 http://127.0.0.1:9999/debian unstable/main amd64 librsvg2-2 amd64 2.40.16-1+b1 [281 kB] Get:92 http://127.0.0.1:9999/debian unstable/main amd64 librsvg2-common amd64 2.40.16-1+b1 [194 kB] Get:93 http://127.0.0.1:9999/debian unstable/main amd64 adwaita-icon-theme all 3.22.0-1 [11.5 MB] Get:94 http://127.0.0.1:9999/debian unstable/main amd64 autoconf all 2.69-10 [338 kB] Get:95 http://127.0.0.1:9999/debian unstable/main amd64 autotools-dev all 20161112.1 [73.4 kB] Get:96 http://127.0.0.1:9999/debian unstable/main amd64 automake all 1:1.15.1-2 [736 kB] Get:97 http://127.0.0.1:9999/debian unstable/main amd64 autopoint all 0.19.8.1-2 [433 kB] Get:98 http://127.0.0.1:9999/debian unstable/main amd64 libbison-dev amd64 2:3.0.4.dfsg-1+b1 [433 kB] Get:99 http://127.0.0.1:9999/debian unstable/main amd64 bison amd64 2:3.0.4.dfsg-1+b1 [786 kB] Get:100 http://127.0.0.1:9999/debian unstable/main amd64 cdbs all 0.4.152 [82.7 kB] Get:101 http://127.0.0.1:9999/debian unstable/main amd64 libdconf1 amd64 0.26.0-2+b1 [37.6 kB] Get:102 http://127.0.0.1:9999/debian unstable/main amd64 dconf-service amd64 0.26.0-2+b1 [34.7 kB] Get:103 http://127.0.0.1:9999/debian unstable/main amd64 dconf-gsettings-backend amd64 0.26.0-2+b1 [26.4 kB] Get:104 http://127.0.0.1:9999/debian unstable/main amd64 libtool all 2.4.6-2 [545 kB] Get:105 http://127.0.0.1:9999/debian unstable/main amd64 dh-autoreconf all 14 [15.9 kB] Get:106 http://127.0.0.1:9999/debian unstable/main amd64 libarchive-zip-perl all 1.59-1 [95.5 kB] Get:107 http://127.0.0.1:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 0.035-2 [17.0 kB] Get:108 http://127.0.0.1:9999/debian unstable/main amd64 libtimedate-perl all 2.3000-2 [42.2 kB] Get:109 http://127.0.0.1:9999/debian unstable/main amd64 dh-strip-nondeterminism all 0.035-2 [10.7 kB] Get:110 http://127.0.0.1:9999/debian unstable/main amd64 gettext amd64 0.19.8.1-2+b1 [1301 kB] Get:111 http://127.0.0.1:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.4 [26.3 kB] Get:112 http://127.0.0.1:9999/debian unstable/main amd64 po-debconf all 1.0.20 [247 kB] Get:113 http://127.0.0.1:9999/debian unstable/main amd64 debhelper all 10.6.2 [968 kB] Get:114 http://127.0.0.1:9999/debian unstable/main amd64 libgtk2.0-common all 2.24.31-2 [2693 kB] Get:115 http://127.0.0.1:9999/debian unstable/main amd64 libatk1.0-data all 2.22.0-1 [172 kB] Get:116 http://127.0.0.1:9999/debian unstable/main amd64 libatk1.0-0 amd64 2.22.0-1 [78.4 kB] Get:117 http://127.0.0.1:9999/debian unstable/main amd64 libxcomposite1 amd64 1:0.4.4-2 [16.5 kB] Get:118 http://127.0.0.1:9999/debian unstable/main amd64 libxfixes3 amd64 1:5.0.3-1 [21.9 kB] Get:119 http://127.0.0.1:9999/debian unstable/main amd64 libxcursor1 amd64 1:1.1.14-1+b4 [35.0 kB] Get:120 http://127.0.0.1:9999/debian unstable/main amd64 libxdamage1 amd64 1:1.1.4-2+b3 [14.5 kB] Get:121 http://127.0.0.1:9999/debian unstable/main amd64 libxinerama1 amd64 2:1.1.3-1+b3 [16.7 kB] Get:122 http://127.0.0.1:9999/debian unstable/main amd64 libxrandr2 amd64 2:1.5.1-1 [37.5 kB] Get:123 http://127.0.0.1:9999/debian unstable/main amd64 gnome-icon-theme all 3.12.0-2 [9890 kB] Get:124 http://127.0.0.1:9999/debian unstable/main amd64 libgtk2.0-0 amd64 2.24.31-2 [1800 kB] Get:125 http://127.0.0.1:9999/debian unstable/main amd64 libdrm2 amd64 2.4.81-2 [38.4 kB] Get:126 http://127.0.0.1:9999/debian unstable/main amd64 libglapi-mesa amd64 17.1.4-1 [59.7 kB] Get:127 http://127.0.0.1:9999/debian unstable/main amd64 libx11-xcb1 amd64 2:1.6.4-3 [183 kB] Get:128 http://127.0.0.1:9999/debian unstable/main amd64 libxcb-dri2-0 amd64 1.12-1 [97.2 kB] Get:129 http://127.0.0.1:9999/debian unstable/main amd64 libxcb-dri3-0 amd64 1.12-1 [95.6 kB] Get:130 http://127.0.0.1:9999/debian unstable/main amd64 libxcb-glx0 amd64 1.12-1 [113 kB] Get:131 http://127.0.0.1:9999/debian unstable/main amd64 libxcb-present0 amd64 1.12-1 [95.8 kB] Get:132 http://127.0.0.1:9999/debian unstable/main amd64 libxcb-sync1 amd64 1.12-1 [99.2 kB] Get:133 http://127.0.0.1:9999/debian unstable/main amd64 libxcb-xfixes0 amd64 1.12-1 [99.6 kB] Get:134 http://127.0.0.1:9999/debian unstable/main amd64 libxshmfence1 amd64 1.2-1+b2 [7922 B] Get:135 http://127.0.0.1:9999/debian unstable/main amd64 libxxf86vm1 amd64 1:1.1.4-1+b2 [20.8 kB] Get:136 http://127.0.0.1:9999/debian unstable/main amd64 libgl1-mesa-glx amd64 17.1.4-1 [167 kB] Get:137 http://127.0.0.1:9999/debian unstable/main amd64 libatspi2.0-0 amd64 2.24.1-1 [62.4 kB] Get:138 http://127.0.0.1:9999/debian unstable/main amd64 libatk-bridge2.0-0 amd64 2.24.1-1 [57.4 kB] Get:139 http://127.0.0.1:9999/debian unstable/main amd64 libcairo-gobject2 amd64 1.14.10-1 [339 kB] Get:140 http://127.0.0.1:9999/debian unstable/main amd64 libgtk-3-common all 3.22.16-1 [3404 kB] Get:141 http://127.0.0.1:9999/debian unstable/main amd64 libcolord2 amd64 1.3.3-2 [252 kB] Get:142 http://127.0.0.1:9999/debian unstable/main amd64 libepoxy0 amd64 1.3.1-3 [176 kB] Get:143 http://127.0.0.1:9999/debian unstable/main amd64 libjson-glib-1.0-common all 1.2.8-1 [168 kB] Get:144 http://127.0.0.1:9999/debian unstable/main amd64 libjson-glib-1.0-0 amd64 1.2.8-1 [180 kB] Get:145 http://127.0.0.1:9999/debian unstable/main amd64 libproxy1v5 amd64 0.4.14-3 [57.5 kB] Get:146 http://127.0.0.1:9999/debian unstable/main amd64 glib-networking-common all 2.50.0-1 [49.1 kB] Get:147 http://127.0.0.1:9999/debian unstable/main amd64 glib-networking-services amd64 2.50.0-1+b1 [12.3 kB] Get:148 http://127.0.0.1:9999/debian unstable/main amd64 gsettings-desktop-schemas all 3.22.0-1 [473 kB] Get:149 http://127.0.0.1:9999/debian unstable/main amd64 glib-networking amd64 2.50.0-1+b1 [57.3 kB] Get:150 http://127.0.0.1:9999/debian unstable/main amd64 libsoup2.4-1 amd64 2.56.0-2 [294 kB] Get:151 http://127.0.0.1:9999/debian unstable/main amd64 libsoup-gnome2.4-1 amd64 2.56.0-2 [16.1 kB] Get:152 http://127.0.0.1:9999/debian unstable/main amd64 librest-0.7-0 amd64 0.8.0-2 [33.0 kB] Get:153 http://127.0.0.1:9999/debian unstable/main amd64 libwayland-client0 amd64 1.12.0-1 [24.8 kB] Get:154 http://127.0.0.1:9999/debian unstable/main amd64 libwayland-cursor0 amd64 1.12.0-1 [13.2 kB] Get:155 http://127.0.0.1:9999/debian unstable/main amd64 libwayland-server0 amd64 1.12.0-1 [30.4 kB] Get:156 http://127.0.0.1:9999/debian unstable/main amd64 libgbm1 amd64 17.1.4-1 [61.3 kB] Get:157 http://127.0.0.1:9999/debian unstable/main amd64 libegl1-mesa amd64 17.1.4-1 [115 kB] Get:158 http://127.0.0.1:9999/debian unstable/main amd64 libwayland-egl1-mesa amd64 17.1.4-1 [43.5 kB] Get:159 http://127.0.0.1:9999/debian unstable/main amd64 xkb-data all 2.19-1 [648 kB] Get:160 http://127.0.0.1:9999/debian unstable/main amd64 libxkbcommon0 amd64 0.7.1-1 [122 kB] Get:161 http://127.0.0.1:9999/debian unstable/main amd64 libgtk-3-0 amd64 3.22.16-1 [2527 kB] Get:162 http://127.0.0.1:9999/debian unstable/main amd64 libfontenc1 amd64 1:1.1.3-1+b2 [24.4 kB] Get:163 http://127.0.0.1:9999/debian unstable/main amd64 libice6 amd64 2:1.0.9-2 [58.7 kB] Get:164 http://127.0.0.1:9999/debian unstable/main amd64 libsm6 amd64 2:1.2.2-1+b3 [33.3 kB] Get:165 http://127.0.0.1:9999/debian unstable/main amd64 libxt6 amd64 1:1.1.5-1 [188 kB] Get:166 http://127.0.0.1:9999/debian unstable/main amd64 libxmu6 amd64 2:1.1.2-2 [60.3 kB] Get:167 http://127.0.0.1:9999/debian unstable/main amd64 libxpm4 amd64 1:3.5.12-1 [49.1 kB] Get:168 http://127.0.0.1:9999/debian unstable/main amd64 libxaw7 amd64 2:1.0.13-1+b2 [201 kB] Get:169 http://127.0.0.1:9999/debian unstable/main amd64 libxcb-shape0 amd64 1.12-1 [96.2 kB] Get:170 http://127.0.0.1:9999/debian unstable/main amd64 libxft2 amd64 2.3.2-1+b2 [56.5 kB] Get:171 http://127.0.0.1:9999/debian unstable/main amd64 libxmuu1 amd64 2:1.1.2-2 [23.5 kB] Get:172 http://127.0.0.1:9999/debian unstable/main amd64 libxv1 amd64 2:1.0.11-1 [24.6 kB] Get:173 http://127.0.0.1:9999/debian unstable/main amd64 libxxf86dga1 amd64 2:1.1.4-1+b3 [22.1 kB] Get:174 http://127.0.0.1:9999/debian unstable/main amd64 x11-utils amd64 7.7+3+b1 [202 kB] Get:175 http://127.0.0.1:9999/debian unstable/main amd64 libatk-wrapper-java all 0.33.3-13 [44.0 kB] Get:176 http://127.0.0.1:9999/debian unstable/main amd64 libatk-wrapper-java-jni amd64 0.33.3-13 [37.2 kB] Get:177 http://127.0.0.1:9999/debian unstable/main amd64 libasound2-data all 1.1.3-5 [173 kB] Get:178 http://127.0.0.1:9999/debian unstable/main amd64 libasound2 amd64 1.1.3-5 [497 kB] Get:179 http://127.0.0.1:9999/debian unstable/main amd64 libgif7 amd64 5.1.4-0.4 [43.1 kB] Get:180 http://127.0.0.1:9999/debian unstable/main amd64 libasyncns0 amd64 0.8-6 [12.5 kB] Get:181 http://127.0.0.1:9999/debian unstable/main amd64 libflac8 amd64 1.3.2-1 [221 kB] Get:182 http://127.0.0.1:9999/debian unstable/main amd64 libvorbis0a amd64 1.3.5-4 [91.6 kB] Get:183 http://127.0.0.1:9999/debian unstable/main amd64 libvorbisenc2 amd64 1.3.5-4 [79.0 kB] Get:184 http://127.0.0.1:9999/debian unstable/main amd64 libsndfile1 amd64 1.0.28-2 [249 kB] Get:185 http://127.0.0.1:9999/debian unstable/main amd64 libpulse0 amd64 10.0-2 [282 kB] Get:186 http://127.0.0.1:9999/debian unstable/main amd64 openjdk-8-jre amd64 8u131-b11-2 [69.5 kB] Get:187 http://127.0.0.1:9999/debian unstable/main amd64 default-jre amd64 2:1.8-59 [934 B] Get:188 http://127.0.0.1:9999/debian unstable/main amd64 openjdk-8-jdk-headless amd64 8u131-b11-2 [8168 kB] Get:189 http://127.0.0.1:9999/debian unstable/main amd64 default-jdk-headless amd64 2:1.8-59 [996 B] Get:190 http://127.0.0.1:9999/debian unstable/main amd64 openjdk-8-jdk amd64 8u131-b11-2 [454 kB] Get:191 http://127.0.0.1:9999/debian unstable/main amd64 default-jdk amd64 2:1.8-59 [930 B] Get:192 http://127.0.0.1:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.1.2+dfsg-1 [22.2 kB] Get:193 http://127.0.0.1:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.1.2+dfsg-1 [631 kB] Get:194 http://127.0.0.1:9999/debian unstable/main amd64 patchutils amd64 0.3.4-2 [90.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 118 MB in 1s (95.3 MB/s) Selecting previously unselected package groff-base. (Reading database ... 10178 files and directories currently installed.) Preparing to unpack .../00-groff-base_1.22.3-9_amd64.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_9.0.12+nmu1_amd64.deb ... Unpacking bsdmainutils (9.0.12+nmu1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../02-libpipeline1_1.4.1-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../03-man-db_2.7.6.1-2_amd64.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../04-libpython2.7-minimal_2.7.13-2_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.13-2) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../05-python2.7-minimal_2.7.13-2_amd64.deb ... Unpacking python2.7-minimal (2.7.13-2) ... Selecting previously unselected package python-minimal. Preparing to unpack .../06-python-minimal_2.7.13-2_amd64.deb ... Unpacking python-minimal (2.7.13-2) ... Selecting previously unselected package mime-support. Preparing to unpack .../07-mime-support_3.60_all.deb ... Unpacking mime-support (3.60) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../08-libexpat1_2.2.1-3_amd64.deb ... Unpacking libexpat1:amd64 (2.2.1-3) ... Selecting previously unselected package readline-common. Preparing to unpack .../09-readline-common_7.0-3_all.deb ... Unpacking readline-common (7.0-3) ... Selecting previously unselected package libreadline7:amd64. Preparing to unpack .../10-libreadline7_7.0-3_amd64.deb ... Unpacking libreadline7:amd64 (7.0-3) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../11-libsqlite3-0_3.16.2-5_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.16.2-5) ... Selecting previously unselected package libssl1.1:amd64. Preparing to unpack .../12-libssl1.1_1.1.0f-3_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.0f-3) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../13-libpython2.7-stdlib_2.7.13-2_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.13-2) ... Selecting previously unselected package python2.7. Preparing to unpack .../14-python2.7_2.7.13-2_amd64.deb ... Unpacking python2.7 (2.7.13-2) ... Selecting previously unselected package libpython-stdlib:amd64. Preparing to unpack .../15-libpython-stdlib_2.7.13-2_amd64.deb ... Unpacking libpython-stdlib:amd64 (2.7.13-2) ... Setting up libpython2.7-minimal:amd64 (2.7.13-2) ... Setting up python2.7-minimal (2.7.13-2) ... Setting up python-minimal (2.7.13-2) ... Selecting previously unselected package python. (Reading database ... 11558 files and directories currently installed.) Preparing to unpack .../000-python_2.7.13-2_amd64.deb ... Unpacking python (2.7.13-2) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../001-libsigsegv2_2.11-1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.11-1) ... Selecting previously unselected package m4. Preparing to unpack .../002-m4_1.4.18-1_amd64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package flex. Preparing to unpack .../003-flex_2.6.1-1.3_amd64.deb ... Unpacking flex (2.6.1-1.3) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../004-libpng16-16_1.6.29-3_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.29-3) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../005-libfreetype6_2.8-0.2_amd64.deb ... Unpacking libfreetype6:amd64 (2.8-0.2) ... Selecting previously unselected package ucf. Preparing to unpack .../006-ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../007-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../008-fontconfig-config_2.12.3-0.1_all.deb ... Unpacking fontconfig-config (2.12.3-0.1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../009-libfontconfig1_2.12.3-0.1_amd64.deb ... Unpacking libfontconfig1:amd64 (2.12.3-0.1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../010-fontconfig_2.12.3-0.1_amd64.deb ... Unpacking fontconfig (2.12.3-0.1) ... Selecting previously unselected package libogg0:amd64. Preparing to unpack .../011-libogg0_1.3.2-1_amd64.deb ... Unpacking libogg0:amd64 (1.3.2-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../012-libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package openssl. Preparing to unpack .../013-openssl_1.1.0f-3_amd64.deb ... Unpacking openssl (1.1.0f-3) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../014-ca-certificates_20161130+nmu1_all.deb ... Unpacking ca-certificates (20161130+nmu1) ... Selecting previously unselected package java-common. Preparing to unpack .../015-java-common_0.59_all.deb ... Unpacking java-common (0.59) ... Selecting previously unselected package default-jre-headless. Preparing to unpack .../016-default-jre-headless_2%3a1.8-59_amd64.deb ... Unpacking default-jre-headless (2:1.8-59) ... Selecting previously unselected package libnspr4:amd64. Preparing to unpack .../017-libnspr4_2%3a4.15-1_amd64.deb ... Unpacking libnspr4:amd64 (2:4.15-1) ... Selecting previously unselected package libnss3:amd64. Preparing to unpack .../018-libnss3_2%3a3.31-1_amd64.deb ... Unpacking libnss3:amd64 (2:3.31-1) ... Selecting previously unselected package ca-certificates-java. Preparing to unpack .../019-ca-certificates-java_20170531+nmu1_all.deb ... Unpacking ca-certificates-java (20170531+nmu1) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../020-libavahi-common-data_0.6.32-2_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.32-2) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../021-libavahi-common3_0.6.32-2_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.32-2) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../022-libdbus-1-3_1.10.20-1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.10.20-1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../023-libavahi-client3_0.6.32-2_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.32-2) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../024-libkeyutils1_1.5.9-9_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-9) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../025-libkrb5support0_1.15-1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.15-1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../026-libk5crypto3_1.15-1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.15-1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../027-libkrb5-3_1.15-1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.15-1) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../028-libgssapi-krb5-2_1.15-1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.15-1) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../029-libcups2_2.2.4-1_amd64.deb ... Unpacking libcups2:amd64 (2.2.4-1) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../030-liblcms2-2_2.8-4_amd64.deb ... Unpacking liblcms2-2:amd64 (2.8-4) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../031-libjpeg62-turbo_1%3a1.5.1-2_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:1.5.1-2) ... Selecting previously unselected package libpcsclite1:amd64. Preparing to unpack .../032-libpcsclite1_1.8.22-1_amd64.deb ... Unpacking libpcsclite1:amd64 (1.8.22-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../033-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../034-libxcb1_1.12-1_amd64.deb ... Unpacking libxcb1:amd64 (1.12-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../035-libx11-data_2%3a1.6.4-3_all.deb ... Unpacking libx11-data (2:1.6.4-3) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../036-libx11-6_2%3a1.6.4-3_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.4-3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../037-libxext6_2%3a1.3.3-1+b2_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1+b2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../038-libxi6_2%3a1.7.9-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.9-1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../039-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package lsb-base. Preparing to unpack .../040-lsb-base_9.20161125_all.deb ... Unpacking lsb-base (9.20161125) ... Selecting previously unselected package x11-common. Preparing to unpack .../041-x11-common_1%3a7.7+19_all.deb ... Unpacking x11-common (1:7.7+19) ... Selecting previously unselected package libxtst6:amd64. Preparing to unpack .../042-libxtst6_2%3a1.2.3-1_amd64.deb ... Unpacking libxtst6:amd64 (2:1.2.3-1) ... Selecting previously unselected package openjdk-8-jre-headless:amd64. Preparing to unpack .../043-openjdk-8-jre-headless_8u131-b11-2_amd64.deb ... Unpacking openjdk-8-jre-headless:amd64 (8u131-b11-2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../044-libmagic-mgc_1%3a5.30-1_amd64.deb ... Unpacking libmagic-mgc (1:5.30-1) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../045-libmagic1_1%3a5.30-1_amd64.deb ... Unpacking libmagic1:amd64 (1:5.30-1) ... Selecting previously unselected package file. Preparing to unpack .../046-file_1%3a5.30-1_amd64.deb ... Unpacking file (1:5.30-1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../047-gettext-base_0.19.8.1-2+b1_amd64.deb ... Unpacking gettext-base (0.19.8.1-2+b1) ... Selecting previously unselected package libcap2:amd64. Preparing to unpack .../048-libcap2_1%3a2.25-1_amd64.deb ... Unpacking libcap2:amd64 (1:2.25-1) ... Selecting previously unselected package libwrap0:amd64. Preparing to unpack .../049-libwrap0_7.6.q-26_amd64.deb ... Unpacking libwrap0:amd64 (7.6.q-26) ... Selecting previously unselected package libicu57:amd64. Preparing to unpack .../050-libicu57_57.1-6_amd64.deb ... Unpacking libicu57:amd64 (57.1-6) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../051-libxml2_2.9.4+dfsg1-3_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-3) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../052-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../053-libglib2.0-0_2.52.3-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.52.3-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../054-libjbig0_2.1-3.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1+b2) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../055-libtiff5_4.0.8-3_amd64.deb ... Unpacking libtiff5:amd64 (4.0.8-3) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../056-shared-mime-info_1.8-1_amd64.deb ... Unpacking shared-mime-info (1.8-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../057-libgdk-pixbuf2.0-common_2.36.5-2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.5-2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../058-libgdk-pixbuf2.0-0_2.36.5-2_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.36.5-2) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../059-gtk-update-icon-cache_3.22.16-1_amd64.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.22.16-1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../060-libpixman-1-0_0.34.0-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.34.0-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../061-libxcb-render0_1.12-1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../062-libxcb-shm0_1.12-1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.12-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../063-libcairo2_1.14.10-1_amd64.deb ... Unpacking libcairo2:amd64 (1.14.10-1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../064-libcroco3_0.6.12-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.12-1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../065-libthai-data_0.1.26-1_all.deb ... Unpacking libthai-data (0.1.26-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../066-libdatrie1_0.2.10-4+b1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.10-4+b1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../067-libthai0_0.1.26-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.26-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../068-libpango-1.0-0_1.40.6-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.40.6-1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../069-libgraphite2-3_1.3.10-2_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.10-2) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../070-libharfbuzz0b_1.4.2-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (1.4.2-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../071-libpangoft2-1.0-0_1.40.6-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.40.6-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../072-libpangocairo-1.0-0_1.40.6-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.40.6-1) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../073-librsvg2-2_2.40.16-1+b1_amd64.deb ... Unpacking librsvg2-2:amd64 (2.40.16-1+b1) ... Selecting previously unselected package librsvg2-common:amd64. Preparing to unpack .../074-librsvg2-common_2.40.16-1+b1_amd64.deb ... Unpacking librsvg2-common:amd64 (2.40.16-1+b1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../075-adwaita-icon-theme_3.22.0-1_all.deb ... Unpacking adwaita-icon-theme (3.22.0-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../076-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../077-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../078-automake_1%3a1.15.1-2_all.deb ... Unpacking automake (1:1.15.1-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../079-autopoint_0.19.8.1-2_all.deb ... Unpacking autopoint (0.19.8.1-2) ... Selecting previously unselected package libbison-dev:amd64. Preparing to unpack .../080-libbison-dev_2%3a3.0.4.dfsg-1+b1_amd64.deb ... Unpacking libbison-dev:amd64 (2:3.0.4.dfsg-1+b1) ... Selecting previously unselected package bison. Preparing to unpack .../081-bison_2%3a3.0.4.dfsg-1+b1_amd64.deb ... Unpacking bison (2:3.0.4.dfsg-1+b1) ... Selecting previously unselected package cdbs. Preparing to unpack .../082-cdbs_0.4.152_all.deb ... Unpacking cdbs (0.4.152) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../083-libdconf1_0.26.0-2+b1_amd64.deb ... Unpacking libdconf1:amd64 (0.26.0-2+b1) ... Selecting previously unselected package dconf-service. Preparing to unpack .../084-dconf-service_0.26.0-2+b1_amd64.deb ... Unpacking dconf-service (0.26.0-2+b1) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../085-dconf-gsettings-backend_0.26.0-2+b1_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.26.0-2+b1) ... Selecting previously unselected package libtool. Preparing to unpack .../086-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../087-dh-autoreconf_14_all.deb ... Unpacking dh-autoreconf (14) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../088-libarchive-zip-perl_1.59-1_all.deb ... Unpacking libarchive-zip-perl (1.59-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../089-libfile-stripnondeterminism-perl_0.035-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.035-2) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../090-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../091-dh-strip-nondeterminism_0.035-2_all.deb ... Unpacking dh-strip-nondeterminism (0.035-2) ... Selecting previously unselected package gettext. Preparing to unpack .../092-gettext_0.19.8.1-2+b1_amd64.deb ... Unpacking gettext (0.19.8.1-2+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../093-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../094-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../095-debhelper_10.6.2_all.deb ... Unpacking debhelper (10.6.2) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../096-libgtk2.0-common_2.24.31-2_all.deb ... Unpacking libgtk2.0-common (2.24.31-2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../097-libatk1.0-data_2.22.0-1_all.deb ... Unpacking libatk1.0-data (2.22.0-1) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../098-libatk1.0-0_2.22.0-1_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.22.0-1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../099-libxcomposite1_1%3a0.4.4-2_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../100-libxfixes3_1%3a5.0.3-1_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../101-libxcursor1_1%3a1.1.14-1+b4_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.1.14-1+b4) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../102-libxdamage1_1%3a1.1.4-2+b3_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.4-2+b3) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../103-libxinerama1_2%3a1.1.3-1+b3_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.3-1+b3) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../104-libxrandr2_2%3a1.5.1-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.1-1) ... Selecting previously unselected package gnome-icon-theme. Preparing to unpack .../105-gnome-icon-theme_3.12.0-2_all.deb ... Unpacking gnome-icon-theme (3.12.0-2) ... Selecting previously unselected package libgtk2.0-0:amd64. Preparing to unpack .../106-libgtk2.0-0_2.24.31-2_amd64.deb ... Unpacking libgtk2.0-0:amd64 (2.24.31-2) ... Selecting previously unselected package libdrm2:amd64. Preparing to unpack .../107-libdrm2_2.4.81-2_amd64.deb ... Unpacking libdrm2:amd64 (2.4.81-2) ... Selecting previously unselected package libglapi-mesa:amd64. Preparing to unpack .../108-libglapi-mesa_17.1.4-1_amd64.deb ... Unpacking libglapi-mesa:amd64 (17.1.4-1) ... Selecting previously unselected package libx11-xcb1:amd64. Preparing to unpack .../109-libx11-xcb1_2%3a1.6.4-3_amd64.deb ... Unpacking libx11-xcb1:amd64 (2:1.6.4-3) ... Selecting previously unselected package libxcb-dri2-0:amd64. Preparing to unpack .../110-libxcb-dri2-0_1.12-1_amd64.deb ... Unpacking libxcb-dri2-0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-dri3-0:amd64. Preparing to unpack .../111-libxcb-dri3-0_1.12-1_amd64.deb ... Unpacking libxcb-dri3-0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-glx0:amd64. Preparing to unpack .../112-libxcb-glx0_1.12-1_amd64.deb ... Unpacking libxcb-glx0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-present0:amd64. Preparing to unpack .../113-libxcb-present0_1.12-1_amd64.deb ... Unpacking libxcb-present0:amd64 (1.12-1) ... Selecting previously unselected package libxcb-sync1:amd64. Preparing to unpack .../114-libxcb-sync1_1.12-1_amd64.deb ... Unpacking libxcb-sync1:amd64 (1.12-1) ... Selecting previously unselected package libxcb-xfixes0:amd64. Preparing to unpack .../115-libxcb-xfixes0_1.12-1_amd64.deb ... Unpacking libxcb-xfixes0:amd64 (1.12-1) ... Selecting previously unselected package libxshmfence1:amd64. Preparing to unpack .../116-libxshmfence1_1.2-1+b2_amd64.deb ... Unpacking libxshmfence1:amd64 (1.2-1+b2) ... Selecting previously unselected package libxxf86vm1:amd64. Preparing to unpack .../117-libxxf86vm1_1%3a1.1.4-1+b2_amd64.deb ... Unpacking libxxf86vm1:amd64 (1:1.1.4-1+b2) ... Selecting previously unselected package libgl1-mesa-glx:amd64. Preparing to unpack .../118-libgl1-mesa-glx_17.1.4-1_amd64.deb ... Unpacking libgl1-mesa-glx:amd64 (17.1.4-1) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../119-libatspi2.0-0_2.24.1-1_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.24.1-1) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../120-libatk-bridge2.0-0_2.24.1-1_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.24.1-1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../121-libcairo-gobject2_1.14.10-1_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.14.10-1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../122-libgtk-3-common_3.22.16-1_all.deb ... Unpacking libgtk-3-common (3.22.16-1) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../123-libcolord2_1.3.3-2_amd64.deb ... Unpacking libcolord2:amd64 (1.3.3-2) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../124-libepoxy0_1.3.1-3_amd64.deb ... Unpacking libepoxy0:amd64 (1.3.1-3) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../125-libjson-glib-1.0-common_1.2.8-1_all.deb ... Unpacking libjson-glib-1.0-common (1.2.8-1) ... Selecting previously unselected package libjson-glib-1.0-0:amd64. Preparing to unpack .../126-libjson-glib-1.0-0_1.2.8-1_amd64.deb ... Unpacking libjson-glib-1.0-0:amd64 (1.2.8-1) ... Selecting previously unselected package libproxy1v5:amd64. Preparing to unpack .../127-libproxy1v5_0.4.14-3_amd64.deb ... Unpacking libproxy1v5:amd64 (0.4.14-3) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../128-glib-networking-common_2.50.0-1_all.deb ... Unpacking glib-networking-common (2.50.0-1) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../129-glib-networking-services_2.50.0-1+b1_amd64.deb ... Unpacking glib-networking-services (2.50.0-1+b1) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../130-gsettings-desktop-schemas_3.22.0-1_all.deb ... Unpacking gsettings-desktop-schemas (3.22.0-1) ... Selecting previously unselected package glib-networking:amd64. Preparing to unpack .../131-glib-networking_2.50.0-1+b1_amd64.deb ... Unpacking glib-networking:amd64 (2.50.0-1+b1) ... Selecting previously unselected package libsoup2.4-1:amd64. Preparing to unpack .../132-libsoup2.4-1_2.56.0-2_amd64.deb ... Unpacking libsoup2.4-1:amd64 (2.56.0-2) ... Selecting previously unselected package libsoup-gnome2.4-1:amd64. Preparing to unpack .../133-libsoup-gnome2.4-1_2.56.0-2_amd64.deb ... Unpacking libsoup-gnome2.4-1:amd64 (2.56.0-2) ... Selecting previously unselected package librest-0.7-0:amd64. Preparing to unpack .../134-librest-0.7-0_0.8.0-2_amd64.deb ... Unpacking librest-0.7-0:amd64 (0.8.0-2) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../135-libwayland-client0_1.12.0-1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.12.0-1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../136-libwayland-cursor0_1.12.0-1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.12.0-1) ... Selecting previously unselected package libwayland-server0:amd64. Preparing to unpack .../137-libwayland-server0_1.12.0-1_amd64.deb ... Unpacking libwayland-server0:amd64 (1.12.0-1) ... Selecting previously unselected package libgbm1:amd64. Preparing to unpack .../138-libgbm1_17.1.4-1_amd64.deb ... Unpacking libgbm1:amd64 (17.1.4-1) ... Selecting previously unselected package libegl1-mesa:amd64. Preparing to unpack .../139-libegl1-mesa_17.1.4-1_amd64.deb ... Unpacking libegl1-mesa:amd64 (17.1.4-1) ... Selecting previously unselected package libwayland-egl1-mesa:amd64. Preparing to unpack .../140-libwayland-egl1-mesa_17.1.4-1_amd64.deb ... Unpacking libwayland-egl1-mesa:amd64 (17.1.4-1) ... Selecting previously unselected package xkb-data. Preparing to unpack .../141-xkb-data_2.19-1_all.deb ... Unpacking xkb-data (2.19-1) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../142-libxkbcommon0_0.7.1-1_amd64.deb ... Unpacking libxkbcommon0:amd64 (0.7.1-1) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../143-libgtk-3-0_3.22.16-1_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.22.16-1) ... Selecting previously unselected package libfontenc1:amd64. Preparing to unpack .../144-libfontenc1_1%3a1.1.3-1+b2_amd64.deb ... Unpacking libfontenc1:amd64 (1:1.1.3-1+b2) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../145-libice6_2%3a1.0.9-2_amd64.deb ... Unpacking libice6:amd64 (2:1.0.9-2) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../146-libsm6_2%3a1.2.2-1+b3_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.2-1+b3) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../147-libxt6_1%3a1.1.5-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../148-libxmu6_2%3a1.1.2-2_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.2-2) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../149-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../150-libxaw7_2%3a1.0.13-1+b2_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.13-1+b2) ... Selecting previously unselected package libxcb-shape0:amd64. Preparing to unpack .../151-libxcb-shape0_1.12-1_amd64.deb ... Unpacking libxcb-shape0:amd64 (1.12-1) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../152-libxft2_2.3.2-1+b2_amd64.deb ... Unpacking libxft2:amd64 (2.3.2-1+b2) ... Selecting previously unselected package libxmuu1:amd64. Preparing to unpack .../153-libxmuu1_2%3a1.1.2-2_amd64.deb ... Unpacking libxmuu1:amd64 (2:1.1.2-2) ... Selecting previously unselected package libxv1:amd64. Preparing to unpack .../154-libxv1_2%3a1.0.11-1_amd64.deb ... Unpacking libxv1:amd64 (2:1.0.11-1) ... Selecting previously unselected package libxxf86dga1:amd64. Preparing to unpack .../155-libxxf86dga1_2%3a1.1.4-1+b3_amd64.deb ... Unpacking libxxf86dga1:amd64 (2:1.1.4-1+b3) ... Selecting previously unselected package x11-utils. Preparing to unpack .../156-x11-utils_7.7+3+b1_amd64.deb ... Unpacking x11-utils (7.7+3+b1) ... Selecting previously unselected package libatk-wrapper-java. Preparing to unpack .../157-libatk-wrapper-java_0.33.3-13_all.deb ... Unpacking libatk-wrapper-java (0.33.3-13) ... Selecting previously unselected package libatk-wrapper-java-jni:amd64. Preparing to unpack .../158-libatk-wrapper-java-jni_0.33.3-13_amd64.deb ... Unpacking libatk-wrapper-java-jni:amd64 (0.33.3-13) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../159-libasound2-data_1.1.3-5_all.deb ... Unpacking libasound2-data (1.1.3-5) ... Selecting previously unselected package libasound2:amd64. Preparing to unpack .../160-libasound2_1.1.3-5_amd64.deb ... Unpacking libasound2:amd64 (1.1.3-5) ... Selecting previously unselected package libgif7:amd64. Preparing to unpack .../161-libgif7_5.1.4-0.4_amd64.deb ... Unpacking libgif7:amd64 (5.1.4-0.4) ... Selecting previously unselected package libasyncns0:amd64. Preparing to unpack .../162-libasyncns0_0.8-6_amd64.deb ... Unpacking libasyncns0:amd64 (0.8-6) ... Selecting previously unselected package libflac8:amd64. Preparing to unpack .../163-libflac8_1.3.2-1_amd64.deb ... Unpacking libflac8:amd64 (1.3.2-1) ... Selecting previously unselected package libvorbis0a:amd64. Preparing to unpack .../164-libvorbis0a_1.3.5-4_amd64.deb ... Unpacking libvorbis0a:amd64 (1.3.5-4) ... Selecting previously unselected package libvorbisenc2:amd64. Preparing to unpack .../165-libvorbisenc2_1.3.5-4_amd64.deb ... Unpacking libvorbisenc2:amd64 (1.3.5-4) ... Selecting previously unselected package libsndfile1:amd64. Preparing to unpack .../166-libsndfile1_1.0.28-2_amd64.deb ... Unpacking libsndfile1:amd64 (1.0.28-2) ... Selecting previously unselected package libpulse0:amd64. Preparing to unpack .../167-libpulse0_10.0-2_amd64.deb ... Unpacking libpulse0:amd64 (10.0-2) ... Selecting previously unselected package openjdk-8-jre:amd64. Preparing to unpack .../168-openjdk-8-jre_8u131-b11-2_amd64.deb ... Unpacking openjdk-8-jre:amd64 (8u131-b11-2) ... Selecting previously unselected package default-jre. Preparing to unpack .../169-default-jre_2%3a1.8-59_amd64.deb ... Unpacking default-jre (2:1.8-59) ... Selecting previously unselected package openjdk-8-jdk-headless:amd64. Preparing to unpack .../170-openjdk-8-jdk-headless_8u131-b11-2_amd64.deb ... Unpacking openjdk-8-jdk-headless:amd64 (8u131-b11-2) ... Selecting previously unselected package default-jdk-headless. Preparing to unpack .../171-default-jdk-headless_2%3a1.8-59_amd64.deb ... Unpacking default-jdk-headless (2:1.8-59) ... Selecting previously unselected package openjdk-8-jdk:amd64. Preparing to unpack .../172-openjdk-8-jdk_8u131-b11-2_amd64.deb ... Unpacking openjdk-8-jdk:amd64 (8u131-b11-2) ... Selecting previously unselected package default-jdk. Preparing to unpack .../173-default-jdk_2%3a1.8-59_amd64.deb ... Unpacking default-jdk (2:1.8-59) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../174-libgmpxx4ldbl_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../175-libgmp-dev_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.1.2+dfsg-1) ... Selecting previously unselected package patchutils. Preparing to unpack .../176-patchutils_0.3.4-2_amd64.deb ... Unpacking patchutils (0.3.4-2) ... Selecting previously unselected package sbuild-build-depends-cvc3-dummy. Preparing to unpack .../177-sbuild-build-depends-cvc3-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-cvc3-dummy (0.invalid.0) ... Setting up cdbs (0.4.152) ... Setting up readline-common (7.0-3) ... Setting up libexpat1:amd64 (2.2.1-3) ... Setting up libjson-glib-1.0-common (1.2.8-1) ... Setting up libgtk2.0-common (2.24.31-2) ... Setting up libasyncns0:amd64 (0.8-6) ... Setting up glib-networking-common (2.50.0-1) ... Setting up libjpeg62-turbo:amd64 (1:1.5.1-2) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up mime-support (3.60) ... Setting up libpng16-16:amd64 (1.6.29-3) ... Setting up libtimedate-perl (2.3000-2) ... Setting up liblcms2-2:amd64 (2.8-4) ... Setting up libjbig0:amd64 (2.1-3.1+b2) ... Setting up libpcsclite1:amd64 (1.8.22-1) ... Setting up libsigsegv2:amd64 (2.11-1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libreadline7:amd64 (7.0-3) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:amd64 (2.52.3-1) ... Setting up libasound2-data (1.1.3-5) ... Setting up libxshmfence1:amd64 (1.2-1+b2) ... Setting up libcap2:amd64 (1:2.25-1) ... Setting up libwayland-client0:amd64 (1.12.0-1) ... Setting up xkb-data (2.19-1) ... Setting up libproxy1v5:amd64 (0.4.14-3) ... Setting up java-common (0.59) ... Setting up libgdk-pixbuf2.0-common (2.36.5-2) ... Setting up glib-networking-services (2.50.0-1+b1) ... Setting up libdatrie1:amd64 (0.2.10-4+b1) ... Setting up libtiff5:amd64 (4.0.8-3) ... Setting up gettext-base (0.19.8.1-2+b1) ... Setting up libgif7:amd64 (5.1.4-0.4) ... Setting up libpipeline1:amd64 (1.4.1-2) ... Setting up libglapi-mesa:amd64 (17.1.4-1) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:amd64 (57.1-6) ... Setting up libnspr4:amd64 (2:4.15-1) ... Setting up ucf (3.0036) ... Setting up libxml2:amd64 (2.9.4+dfsg1-3) ... Setting up libfreetype6:amd64 (2.8-0.2) ... Setting up libmagic-mgc (1:5.30-1) ... Setting up libasound2:amd64 (1.1.3-5) ... Setting up libdrm2:amd64 (2.4.81-2) ... Setting up libmagic1:amd64 (1:5.30-1) ... Setting up libjson-glib-1.0-0:amd64 (1.2.8-1) ... Setting up lsb-base (9.20161125) ... Setting up libgraphite2-3:amd64 (1.3.10-2) ... Setting up libcroco3:amd64 (0.6.12-1) ... Setting up libogg0:amd64 (1.3.2-1) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up libx11-xcb1:amd64 (2:1.6.4-3) ... Setting up libpixman-1-0:amd64 (0.34.0-1) ... Processing triggers for libc-bin (2.24-12) ... Setting up patchutils (0.3.4-2) ... Setting up libepoxy0:amd64 (1.3.1-3) ... Setting up autotools-dev (20161112.1) ... Setting up libssl1.1:amd64 (1.1.0f-3) ... Setting up libatk1.0-0:amd64 (2.22.0-1) ... Setting up openssl (1.1.0f-3) ... Setting up libsqlite3-0:amd64 (3.16.2-5) ... Setting up libbison-dev:amd64 (2:3.0.4.dfsg-1+b1) ... Setting up libfontenc1:amd64 (1:1.1.3-1+b2) ... Setting up libdconf1:amd64 (0.26.0-2+b1) ... Setting up shared-mime-info (1.8-1) ... Setting up libxkbcommon0:amd64 (0.7.1-1) ... Setting up libcolord2:amd64 (1.3.3-2) ... Setting up libthai-data (0.1.26-1) ... Setting up bison (2:3.0.4.dfsg-1+b1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libkeyutils1:amd64 (1.5.9-9) ... Setting up bsdmainutils (9.0.12+nmu1) ... 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 libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-1) ... Setting up libvorbis0a:amd64 (1.3.5-4) ... Setting up x11-common (1:7.7+19) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults invoke-rc.d: could not determine current runlevel All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of start. Setting up ca-certificates (20161130+nmu1) ... Updating certificates in /etc/ssl/certs... 166 added, 0 removed; done. Setting up hicolor-icon-theme (0.15-1) ... Setting up libwayland-cursor0:amd64 (1.12.0-1) ... Setting up libx11-data (2:1.6.4-3) ... Setting up libpython2.7-stdlib:amd64 (2.7.13-2) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-2) ... Setting up libdbus-1-3:amd64 (1.10.20-1) ... Setting up libwrap0:amd64 (7.6.q-26) ... Setting up libavahi-common-data:amd64 (0.6.32-2) ... Setting up libwayland-server0:amd64 (1.12.0-1) ... Setting up libfile-stripnondeterminism-perl (0.035-2) ... Setting up libgmp-dev:amd64 (2:6.1.2+dfsg-1) ... Setting up fontconfig-config (2.12.3-0.1) ... Setting up dconf-service (0.26.0-2+b1) ... Setting up gettext (0.19.8.1-2+b1) ... Setting up flex (2.6.1-1.3) ... Setting up libgbm1:amd64 (17.1.4-1) ... Setting up libflac8:amd64 (1.3.2-1) ... Setting up python2.7 (2.7.13-2) ... Setting up libnss3:amd64 (2:3.31-1) ... Setting up libharfbuzz0b:amd64 (1.4.2-1) ... Setting up autoconf (2.69-10) ... Setting up libthai0:amd64 (0.1.26-1) ... Setting up file (1:5.30-1) ... Setting up libkrb5support0:amd64 (1.15-1) ... Setting up libpython-stdlib:amd64 (2.7.13-2) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up automake (1:1.15.1-2) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up libice6:amd64 (2:1.0.9-2) ... Setting up man-db (2.7.6.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libavahi-common3:amd64 (0.6.32-2) ... Setting up libvorbisenc2:amd64 (1.3.5-4) ... Setting up dconf-gsettings-backend:amd64 (0.26.0-2+b1) ... Setting up libxcb1:amd64 (1.12-1) ... Setting up python (2.7.13-2) ... Setting up libtool (2.4.6-2) ... Setting up libxcb-present0:amd64 (1.12-1) ... Setting up libfontconfig1:amd64 (2.12.3-0.1) ... Setting up libxcb-dri2-0:amd64 (1.12-1) ... Setting up libsm6:amd64 (2:1.2.2-1+b3) ... Setting up libxcb-dri3-0:amd64 (1.12-1) ... Setting up libk5crypto3:amd64 (1.15-1) ... Setting up libxcb-glx0:amd64 (1.12-1) ... Setting up libxcb-xfixes0:amd64 (1.12-1) ... Setting up libxcb-render0:amd64 (1.12-1) ... Setting up po-debconf (1.0.20) ... Setting up gsettings-desktop-schemas (3.22.0-1) ... Setting up libgtk-3-common (3.22.16-1) ... Setting up libx11-6:amd64 (2:1.6.4-3) ... Setting up libxmuu1:amd64 (2:1.1.2-2) ... Setting up libxcb-sync1:amd64 (1.12-1) ... Setting up libsndfile1:amd64 (1.0.28-2) ... Setting up glib-networking:amd64 (2.50.0-1+b1) ... Setting up libxcomposite1:amd64 (1:0.4.4-2) ... Setting up libxcb-shm0:amd64 (1.12-1) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxt6:amd64 (1:1.1.5-1) ... Setting up libxcb-shape0:amd64 (1.12-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libavahi-client3:amd64 (0.6.32-2) ... Setting up libkrb5-3:amd64 (1.15-1) ... Setting up libxft2:amd64 (2.3.2-1+b2) ... Setting up fontconfig (2.12.3-0.1) ... Regenerating fonts cache... done. Setting up libegl1-mesa:amd64 (17.1.4-1) ... Setting up libxext6:amd64 (2:1.3.3-1+b2) ... Setting up libxfixes3:amd64 (1:5.0.3-1) ... Setting up libatspi2.0-0:amd64 (2.24.1-1) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.36.5-2) ... Setting up libxmu6:amd64 (2:1.1.2-2) ... Setting up libgssapi-krb5-2:amd64 (1.15-1) ... Setting up gtk-update-icon-cache (3.22.16-1) ... Setting up libxcursor1:amd64 (1:1.1.14-1+b4) ... Setting up libxxf86dga1:amd64 (2:1.1.4-1+b3) ... Setting up libpango-1.0-0:amd64 (1.40.6-1) ... Setting up libwayland-egl1-mesa:amd64 (17.1.4-1) ... Setting up libatk-bridge2.0-0:amd64 (2.24.1-1) ... Setting up libxv1:amd64 (2:1.0.11-1) ... Setting up libxxf86vm1:amd64 (1:1.1.4-1+b2) ... Setting up libxrandr2:amd64 (2:1.5.1-1) ... Setting up libcups2:amd64 (2.2.4-1) ... Setting up libxi6:amd64 (2:1.7.9-1) ... Setting up libxaw7:amd64 (2:1.0.13-1+b2) ... Setting up libcairo2:amd64 (1.14.10-1) ... Setting up libxinerama1:amd64 (2:1.1.3-1+b3) ... Setting up libxdamage1:amd64 (1:1.1.4-2+b3) ... Setting up libcairo-gobject2:amd64 (1.14.10-1) ... Setting up libsoup2.4-1:amd64 (2.56.0-2) ... Setting up libsoup-gnome2.4-1:amd64 (2.56.0-2) ... Setting up libxtst6:amd64 (2:1.2.3-1) ... Setting up libpangoft2-1.0-0:amd64 (1.40.6-1) ... Setting up libgl1-mesa-glx:amd64 (17.1.4-1) ... Setting up librest-0.7-0:amd64 (0.8.0-2) ... Setting up x11-utils (7.7+3+b1) ... Setting up libpangocairo-1.0-0:amd64 (1.40.6-1) ... Setting up libpulse0:amd64 (10.0-2) ... Setting up libatk-wrapper-java (0.33.3-13) ... Setting up librsvg2-2:amd64 (2.40.16-1+b1) ... Setting up librsvg2-common:amd64 (2.40.16-1+b1) ... Setting up adwaita-icon-theme (3.22.0-1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up libgtk2.0-0:amd64 (2.24.31-2) ... Setting up gnome-icon-theme (3.12.0-2) ... update-alternatives: using /usr/share/icons/gnome/scalable/places/debian-swirl.svg to provide /usr/share/icons/gnome/scalable/places/start-here.svg (start-here.svg) in auto mode Setting up libgtk-3-0:amd64 (3.22.16-1) ... Setting up libatk-wrapper-java-jni:amd64 (0.33.3-13) ... Setting up openjdk-8-jre-headless:amd64 (8u131-b11-2) ... update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/rmid to provide /usr/bin/rmid (rmid) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java to provide /usr/bin/java (java) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/keytool to provide /usr/bin/keytool (keytool) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/jjs to provide /usr/bin/jjs (jjs) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/pack200 to provide /usr/bin/pack200 (pack200) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/rmiregistry to provide /usr/bin/rmiregistry (rmiregistry) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/unpack200 to provide /usr/bin/unpack200 (unpack200) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/orbd to provide /usr/bin/orbd (orbd) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/servertool to provide /usr/bin/servertool (servertool) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/tnameserv to provide /usr/bin/tnameserv (tnameserv) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/lib/jexec to provide /usr/bin/jexec (jexec) in auto mode Setting up ca-certificates-java (20170531+nmu1) ... Adding debian:GlobalSign_Root_CA.pem Adding debian:Camerfirma_Chambers_of_Commerce_Root.pem Warning: there was a problem reading the certificate file /etc/ssl/certs/NetLock_Arany_=Class_Gold=_F?tan?s?tv?ny.pem. Message: /etc/ssl/certs/NetLock_Arany_=Class_Gold=_F?tan?s?tv?ny.pem (No such file or directory) Adding debian:D-TRUST_Root_Class_3_CA_2_2009.pem Warning: there was a problem reading the certificate file /etc/ssl/certs/AC_Ra?z_Certic?mara_S.A..pem. Message: /etc/ssl/certs/AC_Ra?z_Certic?mara_S.A..pem (No such file or directory) Warning: there was a problem reading the certificate file /etc/ssl/certs/EBG_Elektronik_Sertifika_Hizmet_Sa?lay?c?s?.pem. Message: /etc/ssl/certs/EBG_Elektronik_Sertifika_Hizmet_Sa?lay?c?s?.pem (No such file or directory) Adding debian:Global_Chambersign_Root_-_2008.pem Adding debian:Security_Communication_Root_CA.pem Adding debian:Visa_eCommerce_Root.pem Adding debian:GeoTrust_Primary_Certification_Authority.pem Adding debian:RSA_Security_2048_v3.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Atos_TrustedRoot_2011.pem Adding debian:Equifax_Secure_Global_eBusiness_CA.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G3.pem Adding debian:Root_CA_Generalitat_Valenciana.pem Adding debian:Cybertrust_Global_Root.pem Adding debian:Certum_Root_CA.pem Adding debian:IdenTrust_Commercial_Root_CA_1.pem Adding debian:DigiCert_Assured_ID_Root_G3.pem Adding debian:AddTrust_External_Root.pem Adding debian:Staat_der_Nederlanden_EV_Root_CA.pem Adding debian:S-TRUST_Authentication_and_Encryption_Root_CA_2005_PN.pem Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem Adding debian:Chambers_of_Commerce_Root_-_2008.pem Adding debian:SecureTrust_CA.pem Adding debian:Starfield_Root_Certificate_Authority_-_G2.pem Adding debian:Camerfirma_Global_Chambersign_Root.pem Adding debian:CA_Disig_Root_R2.pem Adding debian:Entrust_Root_Certification_Authority.pem Adding debian:SwissSign_Silver_CA_-_G2.pem Adding debian:CA_Disig_Root_R1.pem Adding debian:AffirmTrust_Premium_ECC.pem Adding debian:Certinomis_-_Root_CA.pem Adding debian:Network_Solutions_Certificate_Authority.pem Adding debian:T-TeleSec_GlobalRoot_Class_3.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G5.pem Adding debian:EE_Certification_Centre_Root_CA.pem Adding debian:ePKI_Root_Certification_Authority.pem Adding debian:Certum_Trusted_Network_CA.pem Adding debian:SZAFIR_ROOT_CA2.pem Adding debian:GlobalSign_Root_CA_-_R2.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G4.pem Adding debian:OpenTrust_Root_CA_G3.pem Adding debian:IdenTrust_Public_Sector_Root_CA_1.pem Adding debian:ApplicationCA_-_Japanese_Government.pem Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem Adding debian:DigiCert_Global_Root_CA.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2015.pem Adding debian:E-Tugra_Certification_Authority.pem Adding debian:Microsec_e-Szigno_Root_CA.pem Adding debian:Swisscom_Root_CA_1.pem Adding debian:Hongkong_Post_Root_CA_1.pem Adding debian:AddTrust_Public_Services_Root.pem Adding debian:Secure_Global_CA.pem Adding debian:TC_TrustCenter_Class_3_CA_II.pem Adding debian:GlobalSign_ECC_Root_CA_-_R4.pem Adding debian:D-TRUST_Root_Class_3_CA_2_EV_2009.pem Adding debian:Comodo_Trusted_Services_root.pem Adding debian:IGC_A.pem Adding debian:AffirmTrust_Premium.pem Adding debian:AddTrust_Qualified_Certificates_Root.pem Adding debian:QuoVadis_Root_CA.pem Adding debian:Buypass_Class_3_Root_CA.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2011.pem Adding debian:UTN_USERFirst_Email_Root_CA.pem Adding debian:CFCA_EV_ROOT.pem Adding debian:CNNIC_ROOT.pem Adding debian:QuoVadis_Root_CA_1_G3.pem Adding debian:DST_Root_CA_X3.pem Adding debian:USERTrust_ECC_Certification_Authority.pem Adding debian:COMODO_ECC_Certification_Authority.pem Adding debian:TURKTRUST_Certificate_Services_Provider_Root_2007.pem Adding debian:Equifax_Secure_CA.pem Adding debian:GlobalSign_ECC_Root_CA_-_R5.pem Adding debian:DigiCert_Assured_ID_Root_G2.pem Adding debian:certSIGN_ROOT_CA.pem Adding debian:T-TeleSec_GlobalRoot_Class_2.pem Adding debian:SecureSign_RootCA11.pem Warning: there was a problem reading the certificate file /etc/ssl/certs/Certinomis_-_Autorit?_Racine.pem. Message: /etc/ssl/certs/Certinomis_-_Autorit?_Racine.pem (No such file or directory) Adding debian:XRamp_Global_CA_Root.pem Adding debian:ACCVRAIZ1.pem Adding debian:Verisign_Class_2_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Comodo_AAA_Services_root.pem Adding debian:Buypass_Class_2_CA_1.pem Adding debian:Baltimore_CyberTrust_Root.pem Adding debian:Certum_Trusted_Network_CA_2.pem Adding debian:thawte_Primary_Root_CA_-_G3.pem Adding debian:GeoTrust_Global_CA.pem Adding debian:Buypass_Class_2_Root_CA.pem Adding debian:DigiCert_Global_Root_G2.pem Adding debian:thawte_Primary_Root_CA.pem Adding debian:OpenTrust_Root_CA_G1.pem Adding debian:Entrust.net_Premium_2048_Secure_Server_CA.pem Adding debian:Sonera_Class_2_Root_CA.pem Adding debian:DigiCert_Trusted_Root_G4.pem Adding debian:Microsec_e-Szigno_Root_CA_2009.pem Adding debian:Verisign_Class_1_Public_Primary_Certification_Authority_-_G3.pem Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem Adding debian:Actalis_Authentication_Root_CA.pem Adding debian:GeoTrust_Universal_CA.pem Warning: there was a problem reading the certificate file /etc/ssl/certs/T?B?TAK_UEKAE_K?k_Sertifika_Hizmet_Sa?lay?c?s?_-_S?r?m_3.pem. Message: /etc/ssl/certs/T?B?TAK_UEKAE_K?k_Sertifika_Hizmet_Sa?lay?c?s?_-_S?r?m_3.pem (No such file or directory) Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem Adding debian:AffirmTrust_Commercial.pem Adding debian:Security_Communication_EV_RootCA1.pem Adding debian:Certplus_Root_CA_G2.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G2.pem Adding debian:WellsSecure_Public_Root_Certificate_Authority.pem Adding debian:EC-ACC.pem Adding debian:ISRG_Root_X1.pem Adding debian:SwissSign_Gold_CA_-_G2.pem Adding debian:DigiCert_Global_Root_G3.pem Adding debian:SwissSign_Platinum_CA_-_G2.pem Adding debian:Swisscom_Root_CA_2.pem Adding debian:Go_Daddy_Class_2_CA.pem Adding debian:Certigna.pem Adding debian:TWCA_Global_Root_CA.pem Adding debian:TeliaSonera_Root_CA_v1.pem Adding debian:USERTrust_RSA_Certification_Authority.pem Adding debian:Hellenic_Academic_and_Research_Institutions_ECC_RootCA_2015.pem Adding debian:UTN_USERFirst_Hardware_Root_CA.pem Adding debian:Entrust_Root_Certification_Authority_-_G2.pem Adding debian:VeriSign_Universal_Root_Certification_Authority.pem Adding debian:thawte_Primary_Root_CA_-_G2.pem Adding debian:QuoVadis_Root_CA_2_G3.pem Adding debian:Swisscom_Root_EV_CA_2.pem Adding debian:COMODO_RSA_Certification_Authority.pem Adding debian:Verisign_Class_1_Public_Primary_Certification_Authority.pem Adding debian:GeoTrust_Universal_CA_2.pem Adding debian:Verisign_Class_2_Public_Primary_Certification_Authority_-_G2.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G3.pem Adding debian:OISTE_WISeKey_Global_Root_GB_CA.pem Adding debian:Deutsche_Telekom_Root_CA_2.pem Adding debian:Security_Communication_RootCA2.pem Adding debian:Certplus_Root_CA_G1.pem Adding debian:QuoVadis_Root_CA_3.pem Adding debian:QuoVadis_Root_CA_3_G3.pem Adding debian:ACEDICOM_Root.pem Adding debian:TWCA_Root_Certification_Authority.pem Adding debian:PSCProcert.pem Adding debian:Juur-SK.pem Warning: there was a problem reading the certificate file /etc/ssl/certs/T?RKTRUST_Elektronik_Sertifika_Hizmet_Sa?lay?c?s?_H6.pem. Message: /etc/ssl/certs/T?RKTRUST_Elektronik_Sertifika_Hizmet_Sa?lay?c?s?_H6.pem (No such file or directory) Adding debian:OISTE_WISeKey_Global_Root_GA_CA.pem Adding debian:Entrust_Root_Certification_Authority_-_EC1.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority.pem Adding debian:Certplus_Class_2_Primary_CA.pem Warning: there was a problem reading the certificate file /etc/ssl/certs/T?RKTRUST_Elektronik_Sertifika_Hizmet_Sa?lay?c?s?_H5.pem. Message: /etc/ssl/certs/T?RKTRUST_Elektronik_Sertifika_Hizmet_Sa?lay?c?s?_H5.pem (No such file or directory) Adding debian:QuoVadis_Root_CA_2.pem Adding debian:AffirmTrust_Networking.pem Adding debian:Izenpe.com.pem Adding debian:AddTrust_Low-Value_Services_Root.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G2.pem Adding debian:DigiCert_Assured_ID_Root_CA.pem Adding debian:Equifax_Secure_eBusiness_CA_1.pem Adding debian:Starfield_Class_2_CA.pem Adding debian:Taiwan_GRCA.pem Adding debian:GeoTrust_Global_CA_2.pem Adding debian:DST_ACES_CA_X6.pem Adding debian:OpenTrust_Root_CA_G2.pem Adding debian:Trustis_FPS_Root_CA.pem Adding debian:GlobalSign_Root_CA_-_R3.pem Adding debian:Comodo_Secure_Services_root.pem Adding debian:COMODO_Certification_Authority.pem Adding debian:ComSign_CA.pem Adding debian:S-TRUST_Universal_Root_CA.pem Adding debian:China_Internet_Network_Information_Center_EV_Certificates_Root.pem done. Setting up dh-autoreconf (14) ... Setting up openjdk-8-jdk-headless:amd64 (8u131-b11-2) ... update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/idlj to provide /usr/bin/idlj (idlj) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jdeps to provide /usr/bin/jdeps (jdeps) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/wsimport to provide /usr/bin/wsimport (wsimport) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/rmic to provide /usr/bin/rmic (rmic) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jinfo to provide /usr/bin/jinfo (jinfo) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jsadebugd to provide /usr/bin/jsadebugd (jsadebugd) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/native2ascii to provide /usr/bin/native2ascii (native2ascii) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jstat to provide /usr/bin/jstat (jstat) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/javac to provide /usr/bin/javac (javac) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/javah to provide /usr/bin/javah (javah) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jstack to provide /usr/bin/jstack (jstack) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jrunscript to provide /usr/bin/jrunscript (jrunscript) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/javadoc to provide /usr/bin/javadoc (javadoc) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jhat to provide /usr/bin/jhat (jhat) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/javap to provide /usr/bin/javap (javap) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jar to provide /usr/bin/jar (jar) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/xjc to provide /usr/bin/xjc (xjc) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/schemagen to provide /usr/bin/schemagen (schemagen) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jps to provide /usr/bin/jps (jps) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/extcheck to provide /usr/bin/extcheck (extcheck) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jmap to provide /usr/bin/jmap (jmap) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jstatd to provide /usr/bin/jstatd (jstatd) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jdb to provide /usr/bin/jdb (jdb) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/serialver to provide /usr/bin/serialver (serialver) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/wsgen to provide /usr/bin/wsgen (wsgen) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jcmd to provide /usr/bin/jcmd (jcmd) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jarsigner to provide /usr/bin/jarsigner (jarsigner) in auto mode Setting up dh-strip-nondeterminism (0.035-2) ... Setting up openjdk-8-jre:amd64 (8u131-b11-2) ... update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/policytool to provide /usr/bin/policytool (policytool) in auto mode Setting up default-jre-headless (2:1.8-59) ... Setting up default-jdk-headless (2:1.8-59) ... Setting up debhelper (10.6.2) ... Setting up openjdk-8-jdk:amd64 (8u131-b11-2) ... update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/appletviewer to provide /usr/bin/appletviewer (appletviewer) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jconsole to provide /usr/bin/jconsole (jconsole) in auto mode Setting up default-jre (2:1.8-59) ... Setting up default-jdk (2:1.8-59) ... Setting up sbuild-build-depends-cvc3-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.24-12) ... Processing triggers for ca-certificates (20161130+nmu1) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. done. Processing triggers for libgdk-pixbuf2.0-0:amd64 (2.36.5-2) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.9.0-2-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.28-6 dpkg-dev_1.18.24 g++-6_6.4.0-1 gcc-6_6.4.0-1 libc6-dev_2.24-12 libstdc++-6-dev_6.4.0-1 libstdc++6_7.1.0-9 linux-libc-dev_4.11.6-1 Package versions: adduser_3.115 adwaita-icon-theme_3.22.0-1 apt_1.5~beta1 autoconf_2.69-10 automake_1:1.15.1-2 autopoint_0.19.8.1-2 autotools-dev_20161112.1 base-files_10 base-passwd_3.5.43 bash_4.4-5 binutils_2.28-6 bison_2:3.0.4.dfsg-1+b1 bsdmainutils_9.0.12+nmu1 bsdutils_1:2.29.2-1 build-essential_12.3 bzip2_1.0.6-8.1 ca-certificates_20161130+nmu1 ca-certificates-java_20170531+nmu1 cdbs_0.4.152 clang-3.9_1:3.9.1-10 coreutils_8.26-3 cpp_4:6.3.0-4d1 cpp-6_6.4.0-1 dash_0.5.8-2.4 dconf-gsettings-backend_0.26.0-2+b1 dconf-service_0.26.0-2+b1 debconf_1.5.62 debfoster_2.7-2.1+b1 debhelper_10.6.2 debian-archive-keyring_2017.5 debianutils_4.8.1.1 default-jdk_2:1.8-59 default-jdk-headless_2:1.8-59 default-jre_2:1.8-59 default-jre-headless_2:1.8-59 dh-autoreconf_14 dh-strip-nondeterminism_0.035-2 diffutils_1:3.5-3 dpkg_1.18.24 dpkg-dev_1.18.24 e2fslibs_1.43.4-2 e2fsprogs_1.43.4-2 eatmydata_105-5 fakeroot_1.21-3.1 file_1:5.30-1 findutils_4.6.0+git+20170606-2 flex_2.6.1-1.3 fontconfig_2.12.3-0.1 fontconfig-config_2.12.3-0.1 fonts-dejavu-core_2.37-1 g++_4:6.3.0-4d1 g++-6_6.4.0-1 gcc_4:6.3.0-4d1 gcc-6_6.4.0-1 gcc-6-base_6.4.0-1 gcc-7-base_7.1.0-9 gettext_0.19.8.1-2+b1 gettext-base_0.19.8.1-2+b1 glib-networking_2.50.0-1+b1 glib-networking-common_2.50.0-1 glib-networking-services_2.50.0-1+b1 gnome-icon-theme_3.12.0-2 gpgv_2.1.18-8 grep_2.27-2 groff-base_1.22.3-9 gsettings-desktop-schemas_3.22.0-1 gtk-update-icon-cache_3.22.16-1 gzip_1.6-5+b1 hicolor-icon-theme_0.15-1 hostname_3.18+b1 init-system-helpers_1.48 intltool-debian_0.35.0+20060710.4 java-common_0.59 libacl1_2.2.52-3+b1 libapt-pkg5.0_1.5~beta1 libarchive-zip-perl_1.59-1 libasan3_6.4.0-1 libasound2_1.1.3-5 libasound2-data_1.1.3-5 libasyncns0_0.8-6 libatk-bridge2.0-0_2.24.1-1 libatk-wrapper-java_0.33.3-13 libatk-wrapper-java-jni_0.33.3-13 libatk1.0-0_2.22.0-1 libatk1.0-data_2.22.0-1 libatomic1_7.1.0-9 libatspi2.0-0_2.24.1-1 libattr1_1:2.4.47-2+b2 libaudit-common_1:2.7.7-1 libaudit1_1:2.7.7-1+b1 libavahi-client3_0.6.32-2 libavahi-common-data_0.6.32-2 libavahi-common3_0.6.32-2 libbison-dev_2:3.0.4.dfsg-1+b1 libblkid1_2.29.2-1 libbsd0_0.8.5-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.24-12 libc-dev-bin_2.24-12 libc6_2.24-12 libc6-dev_2.24-12 libcairo-gobject2_1.14.10-1 libcairo2_1.14.10-1 libcap-ng0_0.7.7-3+b1 libcap2_1:2.25-1 libcc1-0_7.1.0-9 libcilkrts5_7.1.0-9 libclang-common-3.9-dev_1:3.9.1-10 libclang1-3.9_1:3.9.1-10 libcolord2_1.3.3-2 libcomerr2_1.43.4-2 libcroco3_0.6.12-1 libcups2_2.2.4-1 libdatrie1_0.2.10-4+b1 libdb5.3_5.3.28-12+b1 libdbus-1-3_1.10.20-1 libdconf1_0.26.0-2+b1 libdebconfclient0_0.229 libdpkg-perl_1.18.24 libdrm2_2.4.81-2 libeatmydata1_105-5 libedit2_3.1-20170329-1 libegl1-mesa_17.1.4-1 libepoxy0_1.3.1-3 libexpat1_2.2.1-3 libfakeroot_1.21-3.1 libfdisk1_2.29.2-1 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.035-2 libflac8_1.3.2-1 libfontconfig1_2.12.3-0.1 libfontenc1_1:1.1.3-1+b2 libfreetype6_2.8-0.2 libgbm1_17.1.4-1 libgc1c2_1:7.4.2-8 libgcc-6-dev_6.4.0-1 libgcc1_1:7.1.0-9 libgcrypt20_1.7.8-1 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.36.5-2 libgdk-pixbuf2.0-common_2.36.5-2 libgif7_5.1.4-0.4 libgl1-mesa-glx_17.1.4-1 libglapi-mesa_17.1.4-1 libglib2.0-0_2.52.3-1 libgmp-dev_2:6.1.2+dfsg-1 libgmp10_2:6.1.2+dfsg-1 libgmpxx4ldbl_2:6.1.2+dfsg-1 libgnutls30_3.5.13-2 libgomp1_7.1.0-9 libgpg-error0_1.27-3 libgraphite2-3_1.3.10-2 libgssapi-krb5-2_1.15-1 libgtk-3-0_3.22.16-1 libgtk-3-common_3.22.16-1 libgtk2.0-0_2.24.31-2 libgtk2.0-common_2.24.31-2 libharfbuzz0b_1.4.2-1 libhogweed4_3.3-1+b1 libice6_2:1.0.9-2 libicu57_57.1-6 libidn2-0_0.16-1+b1 libisl15_0.18-1 libitm1_7.1.0-9 libjbig0_2.1-3.1+b2 libjpeg62-turbo_1:1.5.1-2 libjson-glib-1.0-0_1.2.8-1 libjson-glib-1.0-common_1.2.8-1 libjsoncpp1_1.7.4-3 libk5crypto3_1.15-1 libkeyutils1_1.5.9-9 libkrb5-3_1.15-1 libkrb5support0_1.15-1 liblcms2-2_2.8-4 libllvm3.9_1:3.9.1-10 liblsan0_7.1.0-9 liblz4-1_0.0~r131-2+b1 liblzma5_5.2.2-1.2+b1 libmagic-mgc_1:5.30-1 libmagic1_1:5.30-1 libmount1_2.29.2-1 libmpc3_1.0.3-1+b2 libmpfr4_3.1.5-1 libmpx2_7.1.0-9 libncurses5_6.0+20161126-1 libncursesw5_6.0+20161126-1 libnettle6_3.3-1+b1 libnspr4_2:4.15-1 libnss3_2:3.31-1 libobjc-6-dev_6.4.0-1 libobjc4_7.1.0-9 libogg0_1.3.2-1 libp11-kit0_0.23.7-2 libpam-modules_1.1.8-3.6 libpam-modules-bin_1.1.8-3.6 libpam-runtime_1.1.8-3.6 libpam0g_1.1.8-3.6 libpango-1.0-0_1.40.6-1 libpangocairo-1.0-0_1.40.6-1 libpangoft2-1.0-0_1.40.6-1 libpcre3_2:8.39-3 libpcsclite1_1.8.22-1 libperl5.24_5.24.1-6 libpipeline1_1.4.1-2 libpixman-1-0_0.34.0-1 libpng16-16_1.6.29-3 libproxy1v5_0.4.14-3 libpulse0_10.0-2 libpython-stdlib_2.7.13-2 libpython2.7-minimal_2.7.13-2 libpython2.7-stdlib_2.7.13-2 libquadmath0_7.1.0-9 libreadline7_7.0-3 librest-0.7-0_0.8.0-2 librsvg2-2_2.40.16-1+b1 librsvg2-common_2.40.16-1+b1 libselinux1_2.6-3+b2 libsemanage-common_2.6-2 libsemanage1_2.6-2+b1 libsepol1_2.6-2 libsigsegv2_2.11-1 libsm6_2:1.2.2-1+b3 libsmartcols1_2.29.2-1 libsndfile1_1.0.28-2 libsoup-gnome2.4-1_2.56.0-2 libsoup2.4-1_2.56.0-2 libsqlite3-0_3.16.2-5 libss2_1.43.4-2 libssl1.1_1.1.0f-3 libstdc++-6-dev_6.4.0-1 libstdc++6_7.1.0-9 libsystemd0_233-10 libtasn1-6_4.12-2 libthai-data_0.1.26-1 libthai0_0.1.26-1 libtiff5_4.0.8-3 libtimedate-perl_2.3000-2 libtinfo5_6.0+20161126-1 libtool_2.4.6-2 libtsan0_7.1.0-9 libubsan0_7.1.0-9 libudev1_233-10 libunistring2_0.9.7-2 libustr-1.0-1_1.0.4-6 libuuid1_2.29.2-1 libvorbis0a_1.3.5-4 libvorbisenc2_1.3.5-4 libwayland-client0_1.12.0-1 libwayland-cursor0_1.12.0-1 libwayland-egl1-mesa_17.1.4-1 libwayland-server0_1.12.0-1 libwrap0_7.6.q-26 libx11-6_2:1.6.4-3 libx11-data_2:1.6.4-3 libx11-xcb1_2:1.6.4-3 libxau6_1:1.0.8-1 libxaw7_2:1.0.13-1+b2 libxcb-dri2-0_1.12-1 libxcb-dri3-0_1.12-1 libxcb-glx0_1.12-1 libxcb-present0_1.12-1 libxcb-render0_1.12-1 libxcb-shape0_1.12-1 libxcb-shm0_1.12-1 libxcb-sync1_1.12-1 libxcb-xfixes0_1.12-1 libxcb1_1.12-1 libxcomposite1_1:0.4.4-2 libxcursor1_1:1.1.14-1+b4 libxdamage1_1:1.1.4-2+b3 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.3-1+b2 libxfixes3_1:5.0.3-1 libxft2_2.3.2-1+b2 libxi6_2:1.7.9-1 libxinerama1_2:1.1.3-1+b3 libxkbcommon0_0.7.1-1 libxml2_2.9.4+dfsg1-3 libxmu6_2:1.1.2-2 libxmuu1_2:1.1.2-2 libxpm4_1:3.5.12-1 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libxshmfence1_1.2-1+b2 libxt6_1:1.1.5-1 libxtst6_2:1.2.3-1 libxv1_2:1.0.11-1 libxxf86dga1_2:1.1.4-1+b3 libxxf86vm1_1:1.1.4-1+b2 linux-libc-dev_4.11.6-1 login_1:4.4-4.1 lsb-base_9.20161125 m4_1.4.18-1 make_4.1-9.1 man-db_2.7.6.1-2 mawk_1.3.3-17+b3 mime-support_3.60 mount_2.29.2-1 multiarch-support_2.24-12 ncurses-base_6.0+20161126-1 ncurses-bin_6.0+20161126-1 openjdk-8-jdk_8u131-b11-2 openjdk-8-jdk-headless_8u131-b11-2 openjdk-8-jre_8u131-b11-2 openjdk-8-jre-headless_8u131-b11-2 openssl_1.1.0f-3 passwd_1:4.4-4.1 patch_2.7.5-1+b2 patchutils_0.3.4-2 perl_5.24.1-6 perl-base_5.24.1-6 perl-modules-5.24_5.24.1-6 po-debconf_1.0.20 python_2.7.13-2 python-minimal_2.7.13-2 python2.7_2.7.13-2 python2.7-minimal_2.7.13-2 readline-common_7.0-3 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-cvc3-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.9 shared-mime-info_1.8-1 sysvinit-utils_2.88dsf-59.9 tar_1.29b-1.1 ucf_3.0036 util-linux_2.29.2-1 x11-common_1:7.7+19 x11-utils_7.7+3+b1 xkb-data_2.19-1 xz-utils_5.2.2-1.2+b1 zlib1g_1:1.2.8.dfsg-5 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Fri Jan 13 17:10:46 2017 UTC gpgv: using RSA key 3AFA757FAC6EA11D2FF45DF088D24287A2D898B1 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./cvc3_2.4.1-5.1.dsc dpkg-source: info: extracting cvc3 in /<> dpkg-source: info: unpacking cvc3_2.4.1.orig.tar.gz tar: A lone zero block at 11280 dpkg-source: info: unpacking cvc3_2.4.1-5.1.debian.tar.xz dpkg-source: info: applying disable-log-dumps-in-tests.patch Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf HOME=/sbuild-nonexistent LANG=en_US.UTF-8 LC_ALL=POSIX LOGNAME=user42 PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=unstable-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1001 SCHROOT_GROUP=user42 SCHROOT_SESSION_ID=unstable-amd64-sbuild-8a65c0ce-3776-4a11-a422-25fae493bdf6 SCHROOT_UID=1001 SCHROOT_USER=user42 SHELL=/bin/sh USER=user42 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package cvc3 dpkg-buildpackage: info: source version 2.4.1-5.1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Adrian Bunk dpkg-source --before-build cvc3-2.4.1 dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean test -x debian/rules rm -f java/Test_manifest dh_autotools-dev_updateconfig ./configure --disable-zchaff checking for g++... g++ checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking how to run the C++ preprocessor... g++ -E checking for ar... ar checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking for install... /usr/bin/install checking for ldconfig... /sbin/ldconfig checking for time... not found configure: WARNING: Regression tests depend upon GNU time. checking for perl... /usr/bin/perl checking for bison... bison -y checking for flex... flex checking lex output file root... lex.yy checking lex library... none needed checking whether yytext is a pointer... no checking for compiler version (g++ --version)... 3.9.1 checking for gmp... yes checking vector usability... yes checking vector presence... yes checking for vector... yes checking list usability... yes checking list presence... yes checking for list... yes checking deque usability... yes checking deque presence... yes checking for deque... yes checking set usability... yes checking set presence... yes checking for set... yes checking string usability... yes checking string presence... yes checking for string... yes checking cstdlib usability... yes checking cstdlib presence... yes checking for cstdlib... yes checking cstdio usability... yes checking cstdio presence... yes checking for cstdio... yes checking functional usability... yes checking functional presence... yes checking for functional... yes checking algorithm usability... yes checking algorithm presence... yes checking for algorithm... yes checking for doxygen... no checking for doxytag... no checking for fig2dev... no checking for dot... NO checking for etags... no checking for ebrowse... no configure: creating ./config.status config.status: creating Makefile.local config.status: creating LICENSE config.status: creating src/cvc3.pc config.status: creating bin/unpack config.status: creating bin/run_tests config.status: creating bin/cvc2smt config.status: creating doc/Doxyfile config.status: creating doc/Makefile CVC3 is configured successfully. Platform: x86_64-linux-gnu Version: 2.4.1 Computer arithmetic: GMP Run ./configure --help for additional configuration options. Type 'make' to compile CVC3. dh_autotools-dev_restoreconfig rm -f debian/stamp-makefile-build debian/stamp-makefile-install /usr/bin/make -C . -k distclean TOP=/<> make[1]: Entering directory '/<>' cd /<>/src; /usr/bin/make distclean make[2]: Entering directory '/<>/src' /usr/bin/make build TARGET=distclean make[3]: Entering directory '/<>/src' cd util && /usr/bin/make distclean make[4]: Entering directory '/<>/src/util' Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /<>/obj/util/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/util' cd context && /usr/bin/make distclean make[4]: Entering directory '/<>/src/context' Making dependencies for context.cpp cdflags.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include context.cpp cdflags.cpp >> /<>/obj/context/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/context' cd expr && /usr/bin/make distclean make[4]: Entering directory '/<>/src/expr' Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /<>/obj/expr/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/expr' cd theorem && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theorem' Making dependencies for assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /<>/obj/theorem/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theorem' cd sat && /usr/bin/make distclean make[4]: Entering directory '/<>/src/sat' Making dependencies for cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp >> /<>/obj/sat/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/sat' cd theory_core && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_core' Making dependencies for theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp >> /<>/obj/theory_core/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_core' cd theory_arith && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_arith' Making dependencies for arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp >> /<>/obj/theory_arith/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_arith' cd theory_array && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_array' Making dependencies for array_theorem_producer.cpp theory_array.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include array_theorem_producer.cpp theory_array.cpp >> /<>/obj/theory_array/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_array' cd theory_bitvector && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_bitvector' Making dependencies for bitvector_theorem_producer.cpp theory_bitvector.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include bitvector_theorem_producer.cpp theory_bitvector.cpp >> /<>/obj/theory_bitvector/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_bitvector' cd theory_datatype && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_datatype' Making dependencies for datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp >> /<>/obj/theory_datatype/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_datatype' cd theory_quant && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_quant' Making dependencies for theory_quant.cpp quant_theorem_producer.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include theory_quant.cpp quant_theorem_producer.cpp >> /<>/obj/theory_quant/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_quant' cd theory_records && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_records' Making dependencies for theory_records.cpp records_theorem_producer.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include theory_records.cpp records_theorem_producer.cpp >> /<>/obj/theory_records/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_records' cd theory_simulate && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_simulate' Making dependencies for theory_simulate.cpp simulate_theorem_producer.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include theory_simulate.cpp simulate_theorem_producer.cpp >> /<>/obj/theory_simulate/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_simulate' cd theory_uf && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_uf' Making dependencies for uf_theorem_producer.cpp theory_uf.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include uf_theorem_producer.cpp theory_uf.cpp >> /<>/obj/theory_uf/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_uf' cd search && /usr/bin/make distclean make[4]: Entering directory '/<>/src/search' Making dependencies for clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp >> /<>/obj/search/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/search' cd parser && /usr/bin/make distclean make[4]: Entering directory '/<>/src/parser' bison -d -y -o parsePL.cpp -p PL --debug -v PL.y PL.y: warning: 3 shift/reduce conflicts [-Wconflicts-sr] PL.y:1531.24-1536.25: warning: rule useless in parser due to conflicts [-Wother] AndExpr : AndExpr AND_TOK Expr ^^^^^^^^^^^^^ PL.y:1549.25-1554.25: warning: rule useless in parser due to conflicts [-Wother] OrExpr : OrExpr OR_TOK Expr ^^^^^^^^^^ flex -I -PPL -olexPL.cpp PL.lex bison -d -y -o parseLisp.cpp -p Lisp --debug -v Lisp.y flex -I -PLisp -olexLisp.cpp Lisp.lex bison -d -y -o parsesmtlib.cpp -p smtlib --debug -v smtlib.y flex -I -Psmtlib -olexsmtlib.cpp smtlib.lex bison -d -y -o parsesmtlib2.cpp -p smtlib2 --debug -v smtlib2.y smtlib2.y: warning: 4 shift/reduce conflicts [-Wconflicts-sr] flex -I -Psmtlib2 -olexsmtlib2.cpp smtlib2.lex Making dependencies for parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include -O0 parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp >> /<>/obj/parser/x86_64-linux-gnu/Makefile.tmp rm -f parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parsePL_defs.h parsePL.output parseLisp_defs.h parseLisp.output parsesmtlib_defs.h parsesmtlib.output parsesmtlib2_defs.h parsesmtlib2.output make[4]: Leaving directory '/<>/src/parser' cd translator && /usr/bin/make distclean make[4]: Entering directory '/<>/src/translator' Making dependencies for translator.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include translator.cpp >> /<>/obj/translator/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/translator' cd vcl && /usr/bin/make distclean make[4]: Entering directory '/<>/src/vcl' Making dependencies for vcl.cpp vc_cmd.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include vcl.cpp vc_cmd.cpp >> /<>/obj/vcl/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/vcl' cd c_interface && /usr/bin/make distclean make[4]: Entering directory '/<>/src/c_interface' Making dependencies for c_interface.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include c_interface.cpp >> /<>/obj/c_interface/x86_64-linux-gnu/Makefile.tmp In file included from c_interface.cpp:24: /<>/src/include/c_interface_defs.h:21:9: warning: '_cvc3__include__c_interface_defs_h_' is used as a header guard here, followed by #define of a different macro [-Wheader-guard] #ifndef _cvc3__include__c_interface_defs_h_ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /<>/src/include/c_interface_defs.h:22:9: note: '_cvc3__include__c_interface__defs_h_' is defined here; did you mean '_cvc3__include__c_interface_defs_h_'? #define _cvc3__include__c_interface__defs_h_ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ _cvc3__include__c_interface_defs_h_ 1 warning generated. rm -f make[4]: Leaving directory '/<>/src/c_interface' cd cvc3 && /usr/bin/make distclean VERSION=2.4.1 make[4]: Entering directory '/<>/src/cvc3' Making dependencies for main.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include -DVERSION=\"2.4.1\" main.cpp >> /<>/obj/cvc3/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/cvc3' make[3]: Leaving directory '/<>/src' rm -rf cvc3.pc make[2]: Leaving directory '/<>/src' cd /<>/doc; /usr/bin/make distclean make[2]: Entering directory '/<>/doc' make[2]: Leaving directory '/<>/doc' cd /<>/test; /usr/bin/make distclean make[2]: Entering directory '/<>/test' Making dependencies for main.cpp george.cpp g++ -M -m64 -O2 -Wall -I. -I/<>/src/include -O0 main.cpp george.cpp >> /<>/test/obj/x86_64-linux-gnu/Makefile.tmp rm -f make[2]: Leaving directory '/<>/test' cd /<>/java; /usr/bin/make distclean make[2]: Entering directory '/<>/java' if [ ! -d obj ]; then mkdir -p obj; fi rm -f src/cvc3/EmbeddedManager.cpp src/cvc3/Expr.cpp src/cvc3/ExprMut.cpp src/cvc3/ExprManager.cpp src/cvc3/Type.cpp src/cvc3/TypeMut.cpp src/cvc3/Op.cpp src/cvc3/OpMut.cpp src/cvc3/Rational.cpp src/cvc3/RationalMut.cpp src/cvc3/Theorem.cpp src/cvc3/TheoremMut.cpp src/cvc3/Proof.cpp src/cvc3/ProofMut.cpp src/cvc3/Context.cpp src/cvc3/ContextMut.cpp src/cvc3/Flag.cpp src/cvc3/Flags.cpp src/cvc3/FlagsMut.cpp src/cvc3/Statistics.cpp src/cvc3/StatisticsMut.cpp src/cvc3/ValidityChecker.cpp rm -fr obj/cvc3/* rm -fr /<>/java/lib/* rm -f include/cvc3/EmbeddedManager.h include/cvc3/Expr.h include/cvc3/ExprMut.h include/cvc3/ExprManager.h include/cvc3/Type.h include/cvc3/TypeMut.h include/cvc3/Op.h include/cvc3/OpMut.h include/cvc3/Rational.h include/cvc3/RationalMut.h include/cvc3/Theorem.h include/cvc3/TheoremMut.h include/cvc3/Proof.h include/cvc3/ProofMut.h include/cvc3/Context.h include/cvc3/ContextMut.h include/cvc3/Flag.h include/cvc3/Flags.h include/cvc3/FlagsMut.h include/cvc3/Statistics.h include/cvc3/StatisticsMut.h include/cvc3/ValidityChecker.h include/cvc3/EmbeddedManager.h.gch include/cvc3/Expr.h.gch include/cvc3/ExprMut.h.gch include/cvc3/ExprManager.h.gch include/cvc3/Type.h.gch include/cvc3/TypeMut.h.gch include/cvc3/Op.h.gch include/cvc3/OpMut.h.gch include/cvc3/Rational.h.gch include/cvc3/RationalMut.h.gch include/cvc3/Theorem.h.gch include/cvc3/TheoremMut.h.gch include/cvc3/Proof.h.gch include/cvc3/ProofMut.h.gch include/cvc3/Context.h.gch include/cvc3/ContextMut.h.gch include/cvc3/Flag.h.gch include/cvc3/Flags.h.gch include/cvc3/FlagsMut.h.gch include/cvc3/Statistics.h.gch include/cvc3/StatisticsMut.h.gch include/cvc3/ValidityChecker.h.gch include/cvc3/JniUtils.h.gch make[2]: Leaving directory '/<>/java' rm -rf /<>/test/bin /<>/test/obj cd /<>/testc; /usr/bin/make distclean make[2]: Entering directory '/<>/testc' Making dependencies for gcc -M -g -I../src/include main.c >> /<>/testc/obj/x86_64-linux-gnu/Makefile.tmp In file included from main.c:10: In file included from ../src/include/c_interface.h:25: ../src/include/c_interface_defs.h:21:9: warning: '_cvc3__include__c_interface_defs_h_' is used as a header guard here, followed by #define of a different macro [-Wheader-guard] #ifndef _cvc3__include__c_interface_defs_h_ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../src/include/c_interface_defs.h:22:9: note: '_cvc3__include__c_interface__defs_h_' is defined here; did you mean '_cvc3__include__c_interface_defs_h_'? #define _cvc3__include__c_interface__defs_h_ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ _cvc3__include__c_interface_defs_h_ 1 warning generated. rm -f /<>/testc/obj/x86_64-linux-gnu/main.o make[2]: Leaving directory '/<>/testc' rm -rf /<>/testc/bin /<>/testc/obj mv: cannot stat '/<>/bin/CVS': No such file or directory Makefile:153: recipe for target 'distclean' failed make[1]: [distclean] Error 1 (ignored) mv: cannot stat '/<>/bin/.cvsignore': No such file or directory Makefile:153: recipe for target 'distclean' failed make[1]: [distclean] Error 1 (ignored) rm -rf /<>/bin rm -f TAGS BROWSE FILES LICENSE Makefile.local rm -rf /<>/autom4te.cache rm -f config.log config.status rm -f regressions.log rm -rf /<>/lib /<>/obj make[1]: Leaving directory '/<>' rm -f debian/stamp-makefile-check rm -f debian/stamp-autotools rmdir --ignore-fail-on-non-empty . rmdir: failed to remove '.': Invalid argument /usr/share/cdbs/1/class/autotools.mk:64: recipe for target 'makefile-clean' failed make: [makefile-clean] Error 1 (ignored) set -e; dh_clean dh_clean: Compatibility levels before 9 are deprecated (level 7 in use) rm -f debian/stamp-autotools-files debian/rules build-arch test -x debian/rules mkdir -p "." set -e; mv ./config.guess ./config.guess.cdbs-orig; cp --remove-destination /usr/share/misc/config.guess ./config.guess; set -e; mv ./config.sub ./config.sub.cdbs-orig; cp --remove-destination /usr/share/misc/config.sub ./config.sub; touch debian/stamp-autotools-files chmod a+x /<>/./configure mkdir -p . cd . && CFLAGS="-g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security" CXXFLAGS="-g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98" CPPFLAGS="-Wdate-time -D_FORTIFY_SOURCE=2" LDFLAGS="-Wl,-z,relro" /<>/./configure --build=x86_64-linux-gnu --prefix=/usr --includedir="\${prefix}/include" --mandir="\${prefix}/share/man" --infodir="\${prefix}/share/info" --sysconfdir=/etc --localstatedir=/var --libexecdir="\${prefix}/lib/cvc3" --srcdir=. --disable-maintainer-mode --disable-dependency-tracking --disable-silent-rules --enable-dynamic --enable-java --with-java-home=/usr/lib/jvm/default-java --disable-zchaff configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking, --disable-silent-rules checking for g++... g++ checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking how to run the C++ preprocessor... g++ -E checking for ar... ar checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking for install... /usr/bin/install checking for ldconfig... /sbin/ldconfig checking for time... not found configure: WARNING: Regression tests depend upon GNU time. checking for perl... /usr/bin/perl checking for bison... bison -y checking for flex... flex checking lex output file root... lex.yy checking lex library... none needed checking whether yytext is a pointer... no checking for compiler version (g++ --version)... 3.9.1 checking for gmp... yes checking for javac... /usr/lib/jvm/default-java/bin/javac checking for javah... /usr/lib/jvm/default-java/bin/javah checking for jar... /usr/lib/jvm/default-java/bin/jar checking for java... /usr/lib/jvm/default-java/bin/java checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking jni.h usability... yes checking jni.h presence... yes checking for jni.h... yes checking jni_md.h usability... yes checking jni_md.h presence... yes checking for jni_md.h... yes checking for python... /usr/bin/python checking vector usability... yes checking vector presence... yes checking for vector... yes checking list usability... yes checking list presence... yes checking for list... yes checking deque usability... yes checking deque presence... yes checking for deque... yes checking set usability... yes checking set presence... yes checking for set... yes checking string usability... yes checking string presence... yes checking for string... yes checking cstdlib usability... yes checking cstdlib presence... yes checking for cstdlib... yes checking cstdio usability... yes checking cstdio presence... yes checking for cstdio... yes checking functional usability... yes checking functional presence... yes checking for functional... yes checking algorithm usability... yes checking algorithm presence... yes checking for algorithm... yes checking for doxygen... no checking for doxytag... no checking for fig2dev... no checking for dot... NO checking for etags... no checking for ebrowse... no configure: creating ./config.status config.status: creating Makefile.local config.status: creating LICENSE config.status: creating src/cvc3.pc config.status: creating bin/unpack config.status: creating bin/run_tests config.status: creating bin/cvc2smt config.status: creating doc/Doxyfile config.status: creating doc/Makefile configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking, --disable-silent-rules CVC3 is configured successfully. Platform: x86_64-linux-gnu Version: 2.4.1 Computer arithmetic: GMP Run ./configure --help for additional configuration options. Type 'make' to compile CVC3. *** CVC3 is configured to compile using shared libraries. *** Type "make ld_sh" for bash shells or "make ld_csh" for csh shells *** to see how to set LD_LIBRARY_PATH appropriately. To use static *** libraries and executables instead, run: *** ./configure --enable-static touch debian/stamp-autotools /usr/bin/make -C . make[1]: Entering directory '/<>' cd /<>/src; /usr/bin/make VERSION=2.4.1 make[2]: Entering directory '/<>/src' cd util && /usr/bin/make make[3]: Entering directory '/<>/src/util' Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /<>/obj/util/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c debug.cpp -o '/<>/obj/util/x86_64-linux-gnu/debug.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c statistics.cpp -o '/<>/obj/util/x86_64-linux-gnu/statistics.o' In file included from statistics.cpp:21: /<>/src/include/statistics.h:149:19: warning: private field 'd_os' is not used [-Wunused-private-field] std::ostream* d_os; ^ 1 warning generated. g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c rational.cpp -o '/<>/obj/util/x86_64-linux-gnu/rational.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c rational-native.cpp -o '/<>/obj/util/x86_64-linux-gnu/rational-native.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c rational-gmp.cpp -o '/<>/obj/util/x86_64-linux-gnu/rational-gmp.o' ar ruvs '/<>/lib/x86_64-linux-gnu/libcvc_util.a' /<>/obj/util/x86_64-linux-gnu/debug.o /<>/obj/util/x86_64-linux-gnu/statistics.o /<>/obj/util/x86_64-linux-gnu/rational.o /<>/obj/util/x86_64-linux-gnu/rational-native.o /<>/obj/util/x86_64-linux-gnu/rational-gmp.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/x86_64-linux-gnu/libcvc_util.a a - /<>/obj/util/x86_64-linux-gnu/debug.o a - /<>/obj/util/x86_64-linux-gnu/statistics.o a - /<>/obj/util/x86_64-linux-gnu/rational.o a - /<>/obj/util/x86_64-linux-gnu/rational-native.o a - /<>/obj/util/x86_64-linux-gnu/rational-gmp.o make[3]: Leaving directory '/<>/src/util' cd context && /usr/bin/make make[3]: Entering directory '/<>/src/context' Making dependencies for context.cpp cdflags.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 context.cpp cdflags.cpp >> /<>/obj/context/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c context.cpp -o '/<>/obj/context/x86_64-linux-gnu/context.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c cdflags.cpp -o '/<>/obj/context/x86_64-linux-gnu/cdflags.o' ar ruvs '/<>/lib/x86_64-linux-gnu/libcontext.a' /<>/obj/context/x86_64-linux-gnu/context.o /<>/obj/context/x86_64-linux-gnu/cdflags.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/x86_64-linux-gnu/libcontext.a a - /<>/obj/context/x86_64-linux-gnu/context.o a - /<>/obj/context/x86_64-linux-gnu/cdflags.o make[3]: Leaving directory '/<>/src/context' cd expr && /usr/bin/make make[3]: Entering directory '/<>/src/expr' Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /<>/obj/expr/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr.cpp -o '/<>/obj/expr/x86_64-linux-gnu/expr.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr_manager.cpp -o '/<>/obj/expr/x86_64-linux-gnu/expr_manager.o' In file included from expr_manager.cpp:26: /<>/src/include/memory_manager_chunks.h:45:12: warning: private field 'd_chunkSize' is not used [-Wunused-private-field] unsigned d_chunkSize; // number of data elements ^ 1 warning generated. g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr_stream.cpp -o '/<>/obj/expr/x86_64-linux-gnu/expr_stream.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr_value.cpp -o '/<>/obj/expr/x86_64-linux-gnu/expr_value.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr_op.cpp -o '/<>/obj/expr/x86_64-linux-gnu/expr_op.o' ar ruvs '/<>/lib/x86_64-linux-gnu/libexpr.a' /<>/obj/expr/x86_64-linux-gnu/expr.o /<>/obj/expr/x86_64-linux-gnu/expr_manager.o /<>/obj/expr/x86_64-linux-gnu/expr_stream.o /<>/obj/expr/x86_64-linux-gnu/expr_value.o /<>/obj/expr/x86_64-linux-gnu/expr_op.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/x86_64-linux-gnu/libexpr.a a - /<>/obj/expr/x86_64-linux-gnu/expr.o a - /<>/obj/expr/x86_64-linux-gnu/expr_manager.o a - /<>/obj/expr/x86_64-linux-gnu/expr_stream.o a - /<>/obj/expr/x86_64-linux-gnu/expr_value.o a - /<>/obj/expr/x86_64-linux-gnu/expr_op.o make[3]: Leaving directory '/<>/src/expr' cd theorem && /usr/bin/make make[3]: Entering directory '/<>/src/theorem' Making dependencies for assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /<>/obj/theorem/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c assumptions.cpp -o '/<>/obj/theorem/x86_64-linux-gnu/assumptions.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theorem.cpp -o '/<>/obj/theorem/x86_64-linux-gnu/theorem.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theorem_manager.cpp -o '/<>/obj/theorem/x86_64-linux-gnu/theorem_manager.o' In file included from theorem_manager.cpp:32: /<>/src/include/memory_manager_chunks.h:45:12: warning: private field 'd_chunkSize' is not used [-Wunused-private-field] unsigned d_chunkSize; // number of data elements ^ 1 warning generated. g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theorem_producer.cpp -o '/<>/obj/theorem/x86_64-linux-gnu/theorem_producer.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c common_theorem_producer.cpp -o '/<>/obj/theorem/x86_64-linux-gnu/common_theorem_producer.o' ar ruvs '/<>/lib/x86_64-linux-gnu/libtheorem.a' /<>/obj/theorem/x86_64-linux-gnu/assumptions.o /<>/obj/theorem/x86_64-linux-gnu/theorem.o /<>/obj/theorem/x86_64-linux-gnu/theorem_manager.o /<>/obj/theorem/x86_64-linux-gnu/theorem_producer.o /<>/obj/theorem/x86_64-linux-gnu/common_theorem_producer.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/x86_64-linux-gnu/libtheorem.a a - /<>/obj/theorem/x86_64-linux-gnu/assumptions.o a - /<>/obj/theorem/x86_64-linux-gnu/theorem.o a - /<>/obj/theorem/x86_64-linux-gnu/theorem_manager.o a - /<>/obj/theorem/x86_64-linux-gnu/theorem_producer.o a - /<>/obj/theorem/x86_64-linux-gnu/common_theorem_producer.o make[3]: Leaving directory '/<>/src/theorem' cd sat && /usr/bin/make make[3]: Entering directory '/<>/src/sat' Making dependencies for cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp >> /<>/obj/sat/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c cnf.cpp -o '/<>/obj/sat/x86_64-linux-gnu/cnf.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c cnf_manager.cpp -o '/<>/obj/sat/x86_64-linux-gnu/cnf_manager.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c cnf_theorem_producer.cpp -o '/<>/obj/sat/x86_64-linux-gnu/cnf_theorem_producer.o' In file included from cnf_theorem_producer.cpp:25: ./cnf_theorem_producer.h:34:20: warning: private field 'd_flags' is not used [-Wunused-private-field] const CLFlags& d_flags; ^ 1 warning generated. g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c dpllt_basic.cpp -o '/<>/obj/sat/x86_64-linux-gnu/dpllt_basic.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c sat_api.cpp -o '/<>/obj/sat/x86_64-linux-gnu/sat_api.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c dpllt_minisat.cpp -o '/<>/obj/sat/x86_64-linux-gnu/dpllt_minisat.o' In file included from dpllt_minisat.cpp:24: In file included from ./minisat_solver.h:43: In file included from ./minisat_types.h:46: ./minisat_global.h:154:43: error: implicit instantiation of undefined template 'MiniSat::STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; } ^ ./minisat_global.h:63:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ./minisat_global.h:61:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ./minisat_global.h:155:43: error: implicit instantiation of undefined template 'MiniSat::STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ./minisat_global.h:63:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ./minisat_global.h:61:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from dpllt_minisat.cpp:24: In file included from ./minisat_solver.h:44: ./minisat_varorder.h:62:31: warning: private field 'activity' is not used [-Wunused-private-field] const std::vector& activity; // var->act. Pointer to external activity table. ^ ./minisat_varorder.h:64:23: warning: private field 'random_seed' is not used [-Wunused-private-field] double random_seed; // For the internal random number generator ^ 2 warnings and 2 errors generated. /<>/Makefile.std:193: recipe for target '/<>/obj/sat/x86_64-linux-gnu/dpllt_minisat.o' failed make[3]: *** [/<>/obj/sat/x86_64-linux-gnu/dpllt_minisat.o] Error 1 make[3]: Leaving directory '/<>/src/sat' Makefile:156: recipe for target 'build' failed make[2]: *** [build] Error 2 make[2]: Leaving directory '/<>/src' Makefile:44: recipe for target 'build' failed make[1]: *** [build] Error 2 make[1]: Leaving directory '/<>' /usr/share/cdbs/1/class/makefile.mk:77: recipe for target 'debian/stamp-makefile-build' failed make: *** [debian/stamp-makefile-build] Error 2 dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2 -------------------------------------------------------------------------------- Build finished at 2017-07-06T19:38:24Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: any Build-Space: 38236 Build-Time: 39 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 24 Job: cvc3_2.4.1-5.1 Machine Architecture: amd64 Package: cvc3 Package-Time: 84 Source-Version: 2.4.1-5.1 Space: 38236 Status: attempted Version: 2.4.1-5.1 -------------------------------------------------------------------------------- Finished at 2017-07-06T19:38:24Z Build needed 00:01:24, 38236k disk space E: Build failure (dpkg-buildpackage died) DC-Status: Failed 85.689456003s DC-Time-Estimation: 85.689456003 versus expected 466 (r/m: 4.438242016423645 ; m: 85.689456003)