Wed Jul 1 23:14:14 UTC 2020 I: starting to build boolector/buster/armhf on jenkins on '2020-07-01 23:13' Wed Jul 1 23:14:14 UTC 2020 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_43/2790/console.log Wed Jul 1 23:14:14 UTC 2020 I: Downloading source for buster/boolector=1.5.118.6b56be4.121013-1 --2020-07-01 23:14:14-- http://deb.debian.org/debian/pool/main/b/boolector/boolector_1.5.118.6b56be4.121013-1.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 1515 (1.5K) Saving to: ‘boolector_1.5.118.6b56be4.121013-1.dsc’ 0K . 100% 109M=0s 2020-07-01 23:14:14 (109 MB/s) - ‘boolector_1.5.118.6b56be4.121013-1.dsc’ saved [1515/1515] Wed Jul 1 23:14:14 UTC 2020 I: boolector_1.5.118.6b56be4.121013-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: boolector Binary: boolector Architecture: any Version: 1.5.118.6b56be4.121013-1 Maintainer: Michael Tautschnig Homepage: http://fmv.jku.at/boolector/ Standards-Version: 3.9.3 Build-Depends: debhelper (>= 5) Package-List: boolector deb science extra Checksums-Sha1: 8c9c8f443b401586649ced68096b890da59d08fb 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz b136e73313e402c65cb3819e03f397dd3b218756 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz 9a8e763f7ef6d7d8c3c5c18689f231c5ef4b6469 4827 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz Checksums-Sha256: 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz efe3c5f85abcb7198a01312612a9d223eded6d1752fc6c64c8d64d8dd69287d1 4827 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz Files: d0a0dff8874138369df2454e9bb39940 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz b1762bb9c2395333aa6ad03d510a7f21 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz 1361f44eea9cf0e8eacb8aa7a4540dca 4827 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAlB9bwYACgkQvx6dH3bVKsQ9LACgw3whc2A9z1AVD9Nk+aFyLsUv MDsAoJ5BM+xyPqZkZb84n6GYuAhDOL2G =ablK -----END PGP SIGNATURE----- Wed Jul 1 23:14:14 UTC 2020 I: Checking whether the package is not for us Wed Jul 1 23:14:14 UTC 2020 I: Starting 1st build on remote node cbxi4b-armhf-rb.debian.net. Wed Jul 1 23:14:14 UTC 2020 I: Preparing to do remote build '1' on cbxi4b-armhf-rb.debian.net. Wed Jul 1 23:20:59 UTC 2020 I: Deleting $TMPDIR on cbxi4b-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Wed Jul 1 11:14:23 -12 2020 I: pbuilder-time-stamp: 1593645263 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [boolector_1.5.118.6b56be4.121013-1.dsc] I: copying [./boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz] I: copying [./boolector_1.5.118.6b56be4.121013.orig.tar.gz] I: copying [./boolector_1.5.118.6b56be4.121013-1.debian.tar.gz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Tue Oct 16 02:28:22 2012 -12 gpgv: using DSA key BF1E9D1F76D52AC4 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./boolector_1.5.118.6b56be4.121013-1.dsc dpkg-source: info: extracting boolector in boolector-1.5.118.6b56be4.121013 dpkg-source: info: unpacking boolector_1.5.118.6b56be4.121013.orig.tar.gz dpkg-source: info: unpacking boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz dpkg-source: info: unpacking boolector_1.5.118.6b56be4.121013-1.debian.tar.gz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying debian-changes-1.5.118.6b56be4.121013-1 I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/22119/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3' DISTRIBUTION='' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='4d8a8057fd4d4a4fae814ef0c96ef22a' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='22119' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.dDOYa5XVtI/pbuilderrc_OO3i --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.dDOYa5XVtI/b1 --logfile b1/build.log boolector_1.5.118.6b56be4.121013-1.dsc' SUDO_GID='116' SUDO_UID='112' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:8000/' I: uname -a Linux cbxi4b 4.19.0-9-armmp #1 SMP Debian 4.19.118-2+deb10u1 (2020-06-07) armv7l GNU/Linux I: ls -l /bin total 3328 -rwxr-xr-x 1 root root 767656 Apr 17 2019 bash -rwxr-xr-x 3 root root 26052 Jul 10 2019 bunzip2 -rwxr-xr-x 3 root root 26052 Jul 10 2019 bzcat lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep -rwxr-xr-x 3 root root 26052 Jul 10 2019 bzip2 -rwxr-xr-x 1 root root 9636 Jul 10 2019 bzip2recover lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore -rwxr-xr-x 1 root root 22432 Feb 28 2019 cat -rwxr-xr-x 1 root root 38868 Feb 28 2019 chgrp -rwxr-xr-x 1 root root 38836 Feb 28 2019 chmod -rwxr-xr-x 1 root root 42972 Feb 28 2019 chown -rwxr-xr-x 1 root root 88376 Feb 28 2019 cp -rwxr-xr-x 1 root root 75516 Jan 17 2019 dash -rwxr-xr-x 1 root root 71648 Feb 28 2019 date -rwxr-xr-x 1 root root 51212 Feb 28 2019 dd -rwxr-xr-x 1 root root 55672 Feb 28 2019 df -rwxr-xr-x 1 root root 88444 Feb 28 2019 dir -rwxr-xr-x 1 root root 54872 Jan 9 2019 dmesg lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname -rwxr-xr-x 1 root root 22364 Feb 28 2019 echo -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep -rwxr-xr-x 1 root root 18260 Feb 28 2019 false -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep -rwxr-xr-x 1 root root 47356 Jan 9 2019 findmnt -rwsr-xr-x 1 root root 21980 Apr 22 07:38 fusermount -rwxr-xr-x 1 root root 124508 Jan 7 2019 grep -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe -rwxr-xr-x 1 root root 64232 Jan 5 2019 gzip -rwxr-xr-x 1 root root 13784 Sep 26 2018 hostname -rwxr-xr-x 1 root root 43044 Feb 28 2019 ln -rwxr-xr-x 1 root root 34932 Jul 26 2018 login -rwxr-xr-x 1 root root 88444 Feb 28 2019 ls -rwxr-xr-x 1 root root 67036 Jan 9 2019 lsblk -rwxr-xr-x 1 root root 47168 Feb 28 2019 mkdir -rwxr-xr-x 1 root root 43040 Feb 28 2019 mknod -rwxr-xr-x 1 root root 26552 Feb 28 2019 mktemp -rwxr-xr-x 1 root root 26024 Jan 9 2019 more -rwsr-xr-x 1 root root 34268 Jan 9 2019 mount -rwxr-xr-x 1 root root 9688 Jan 9 2019 mountpoint -rwxr-xr-x 1 root root 84284 Feb 28 2019 mv lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 22416 Feb 28 2019 pwd lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash -rwxr-xr-x 1 root root 26504 Feb 28 2019 readlink -rwxr-xr-x 1 root root 42968 Feb 28 2019 rm -rwxr-xr-x 1 root root 26496 Feb 28 2019 rmdir -rwxr-xr-x 1 root root 14136 Jan 21 2019 run-parts -rwxr-xr-x 1 root root 76012 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Jun 30 20:27 sh -> dash -rwxr-xr-x 1 root root 22384 Feb 28 2019 sleep -rwxr-xr-x 1 root root 51124 Feb 28 2019 stty -rwsr-xr-x 1 root root 42472 Jan 9 2019 su -rwxr-xr-x 1 root root 22392 Feb 28 2019 sync -rwxr-xr-x 1 root root 283324 Apr 23 2019 tar -rwxr-xr-x 1 root root 9808 Jan 21 2019 tempfile -rwxr-xr-x 1 root root 63464 Feb 28 2019 touch -rwxr-xr-x 1 root root 18260 Feb 28 2019 true -rwxr-xr-x 1 root root 9636 Apr 22 07:38 ulockmgr_server -rwsr-xr-x 1 root root 21976 Jan 9 2019 umount -rwxr-xr-x 1 root root 22380 Feb 28 2019 uname -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress -rwxr-xr-x 1 root root 88444 Feb 28 2019 vdir -rwxr-xr-x 1 root root 21980 Jan 9 2019 wdctl -rwxr-xr-x 1 root root 946 Jan 21 2019 which lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew I: user script /srv/workspace/pbuilder/22119/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 5) dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 18932 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 5); however: Package debhelper is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdmainutils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libbsd0{a} libcroco3{a} libelf1{a} libfile-stripnondeterminism-perl{a} libglib2.0-0{a} libicu63{a} libmagic-mgc{a} libmagic1{a} libncurses6{a} libpipeline1{a} libsigsegv2{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libglib2.0-data libgpm2 libltdl-dev libmail-sendmail-perl lynx shared-mime-info wget xdg-user-dirs 0 packages upgraded, 33 newly installed, 0 to remove and 0 not upgraded. Need to get 18.2 MB of archives. After unpacking 63.5 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main armhf libbsd0 armhf 0.9.1-2 [103 kB] Get: 2 http://deb.debian.org/debian buster/main armhf bsdmainutils armhf 11.1.2+b1 [186 kB] Get: 3 http://deb.debian.org/debian buster/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB] Get: 4 http://deb.debian.org/debian buster/main armhf groff-base armhf 1.22.4-3 [828 kB] Get: 5 http://deb.debian.org/debian buster/main armhf libpipeline1 armhf 1.5.1-2 [26.8 kB] Get: 6 http://deb.debian.org/debian buster/main armhf man-db armhf 2.8.5-2 [1240 kB] Get: 7 http://deb.debian.org/debian buster/main armhf sensible-utils all 0.0.12 [15.8 kB] Get: 8 http://deb.debian.org/debian buster/main armhf libmagic-mgc armhf 1:5.35-4+deb10u1 [242 kB] Get: 9 http://deb.debian.org/debian buster/main armhf libmagic1 armhf 1:5.35-4+deb10u1 [110 kB] Get: 10 http://deb.debian.org/debian buster/main armhf file armhf 1:5.35-4+deb10u1 [65.5 kB] Get: 11 http://deb.debian.org/debian buster/main armhf gettext-base armhf 0.19.8.1-9 [118 kB] Get: 12 http://deb.debian.org/debian buster/main armhf libsigsegv2 armhf 2.12-2 [32.1 kB] Get: 13 http://deb.debian.org/debian buster/main armhf m4 armhf 1.4.18-2 [190 kB] Get: 14 http://deb.debian.org/debian buster/main armhf autoconf all 2.69-11 [341 kB] Get: 15 http://deb.debian.org/debian buster/main armhf autotools-dev all 20180224.1 [77.0 kB] Get: 16 http://deb.debian.org/debian buster/main armhf automake all 1:1.16.1-4 [771 kB] Get: 17 http://deb.debian.org/debian buster/main armhf autopoint all 0.19.8.1-9 [434 kB] Get: 18 http://deb.debian.org/debian buster/main armhf libtool all 2.4.6-9 [547 kB] Get: 19 http://deb.debian.org/debian buster/main armhf dh-autoreconf all 19 [16.9 kB] Get: 20 http://deb.debian.org/debian buster/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 21 http://deb.debian.org/debian buster/main armhf libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 22 http://deb.debian.org/debian buster/main armhf dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 23 http://deb.debian.org/debian buster/main armhf libelf1 armhf 0.176-1.1 [158 kB] Get: 24 http://deb.debian.org/debian buster/main armhf dwz armhf 0.12-3 [72.0 kB] Get: 25 http://deb.debian.org/debian buster/main armhf libglib2.0-0 armhf 2.58.3-2+deb10u2 [1101 kB] Get: 26 http://deb.debian.org/debian buster/main armhf libicu63 armhf 63.1-6+deb10u1 [8005 kB] Get: 27 http://deb.debian.org/debian buster/main armhf libxml2 armhf 2.9.4+dfsg1-7+b3 [595 kB] Get: 28 http://deb.debian.org/debian buster/main armhf libcroco3 armhf 0.6.12-3 [133 kB] Get: 29 http://deb.debian.org/debian buster/main armhf libncurses6 armhf 6.1+20181013-2+deb10u2 [79.8 kB] Get: 30 http://deb.debian.org/debian buster/main armhf gettext armhf 0.19.8.1-9 [1242 kB] Get: 31 http://deb.debian.org/debian buster/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 32 http://deb.debian.org/debian buster/main armhf po-debconf all 1.0.21 [248 kB] Get: 33 http://deb.debian.org/debian buster/main armhf debhelper all 12.1.1 [1016 kB] Fetched 18.2 MB in 2s (7759 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:armhf. (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 ... 18932 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2_armhf.deb ... Unpacking libbsd0:armhf (0.9.1-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_armhf.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../02-libuchardet0_0.0.6-3_armhf.deb ... Unpacking libuchardet0:armhf (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3_armhf.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../04-libpipeline1_1.5.1-2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_armhf.deb ... Unpacking man-db (2.8.5-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../06-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u1) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../08-libmagic1_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic1:armhf (1:5.35-4+deb10u1) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking file (1:5.35-4+deb10u1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../10-gettext-base_0.19.8.1-9_armhf.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../11-libsigsegv2_2.12-2_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../12-m4_1.4.18-2_armhf.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../13-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../14-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../15-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../16-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.4.6-9_all.deb ... Unpacking libtool (2.4.6-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../18-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../19-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.1.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.1.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../21-dh-strip-nondeterminism_1.1.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.1.2-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../22-libelf1_0.176-1.1_armhf.deb ... Unpacking libelf1:armhf (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../23-dwz_0.12-3_armhf.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../24-libglib2.0-0_2.58.3-2+deb10u2_armhf.deb ... Unpacking libglib2.0-0:armhf (2.58.3-2+deb10u2) ... Selecting previously unselected package libicu63:armhf. Preparing to unpack .../25-libicu63_63.1-6+deb10u1_armhf.deb ... Unpacking libicu63:armhf (63.1-6+deb10u1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../26-libxml2_2.9.4+dfsg1-7+b3_armhf.deb ... Unpacking libxml2:armhf (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../27-libcroco3_0.6.12-3_armhf.deb ... Unpacking libcroco3:armhf (0.6.12-3) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../28-libncurses6_6.1+20181013-2+deb10u2_armhf.deb ... Unpacking libncurses6:armhf (6.1+20181013-2+deb10u2) ... Selecting previously unselected package gettext. Preparing to unpack .../29-gettext_0.19.8.1-9_armhf.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../30-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../31-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../32-debhelper_12.1.1_all.deb ... Unpacking debhelper (12.1.1) ... Setting up libpipeline1:armhf (1.5.1-2) ... Setting up libmagic-mgc (1:5.35-4+deb10u1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libglib2.0-0:armhf (2.58.3-2+deb10u2) ... No schema files found: doing nothing. Setting up libmagic1:armhf (1:5.35-4+deb10u1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.35-4+deb10u1) ... Setting up libicu63:armhf (63.1-6+deb10u1) ... Setting up autotools-dev (20180224.1) ... Setting up libncurses6:armhf (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:armhf (2.12-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up sensible-utils (0.0.12) ... Setting up libuchardet0:armhf (0.0.6-3) ... Setting up libbsd0:armhf (0.9.1-2) ... Setting up libelf1:armhf (0.176-1.1) ... Setting up libxml2:armhf (2.9.4+dfsg1-7+b3) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libtool (2.4.6-9) ... Setting up m4 (1.4.18-2) ... Setting up bsdmainutils (11.1.2+b1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libcroco3:armhf (0.6.12-3) ... Setting up autoconf (2.69-11) ... Setting up dwz (0.12-3) ... Setting up groff-base (1.22.4-3) ... Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up gettext (0.19.8.1-9) ... Setting up man-db (2.8.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up debhelper (12.1.1) ... Setting up dh-autoreconf (19) ... Setting up dh-strip-nondeterminism (1.1.2-1) ... Processing triggers for libc-bin (2.28-10) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/boolector-1.5.118.6b56be4.121013/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package boolector dpkg-buildpackage: info: source version 1.5.118.6b56be4.121013-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Michael Tautschnig dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf fakeroot debian/rules clean dh_testdir dh_testroot rm -f build-stamp # Add here commands to clean up after the build process. [ ! -e makefile ] || /usr/bin/make clean dh_clean dh_clean: Compatibility levels before 9 are deprecated (level 5 in use) debian/rules build dh_testdir # Add here commands to configure the package. cd lingeling ; ./configure gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT /usr/bin/make -C lingeling make[1]: Entering directory '/build/boolector-1.5.118.6b56be4.121013/lingeling' gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c lglib.c lglib.c: In function 'lglstampall': lglib.c:16052:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (rootsonly) noimpls++; goto CONTINUE; ^~ lglib.c:16052:28: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' if (rootsonly) noimpls++; goto CONTINUE; ^~~~ rm -f lglcflags.h echo '#define LGL_CC "gcc (Debian 8.3.0-6) 8.3.0"' >> lglcflags.h echo '#define LGL_CFLAGS "-Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT "' >> lglcflags.h rm -f lglcfg.h ./mkconfig > lglcfg.h gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c lglbnr.c ar rc liblgl.a lglib.o lglbnr.o ranlib liblgl.a gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c lglmain.c gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -o lingeling lglmain.o -L. -llgl -lm gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c plingeling.c plingeling.c: In function 'getsystemtotalmem': plingeling.c:456:17: warning: result of '12 << 30' requires 35 bits to represent, but 'int' only has 32 bits [-Wshift-overflow=] res = MAXGB << 30;; ^~ gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -pthread -o plingeling plingeling.o -L. -llgl -lm gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c ilingeling.c gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -pthread -o ilingeling ilingeling.o -L. -llgl -lm make[1]: Leaving directory '/build/boolector-1.5.118.6b56be4.121013/lingeling' ./configure [configure] optimized compilation without debugging symbols [configure] disabling PicoSAT: '../picosat' missing [configure] using Lingeling in '../lingeling' [configure] disabling MiniSAT: '../minisat' missing [configure] linking against 'libm' [configure] CC=gcc [configure] CFLAGS=-W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING [configure] LIBS=-Llingeling -llgl -lm [configure] OBJS= [configure] makefile generated dh_testdir # Add here commands to compile the package. /usr/bin/make make[1]: Entering directory '/build/boolector-1.5.118.6b56be4.121013' rm -f btorconfig.h; ./mkconfig > btorconfig.h rm -f dependencies; gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -MM *.c|sed -e 's,:,: makefile,'>dependencies gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorconst.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorutil.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorrewrite.c btorrewrite.c: In function 'btor_slice_simplifiable': btorrewrite.c:186:3: warning: enumeration value 'BTOR_INVALID_NODE' not handled in switch [-Wswitch] switch (real_exp->kind) ^~~~~~ btorrewrite.c:186:3: warning: enumeration value 'BTOR_ARRAY_VAR_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_AND_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_BEQ_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_AEQ_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_ADD_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_MUL_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_ULT_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_SLL_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_SRL_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_UDIV_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_UREM_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_CONCAT_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_READ_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_WRITE_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_BCOND_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_ACOND_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_PROXY_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_NUM_OPS_NODE' not handled in switch [-Wswitch] btorrewrite.c: In function 'btor_concat_simplifiable': btorrewrite.c:3129:3: warning: enumeration value 'BTOR_INVALID_NODE' not handled in switch [-Wswitch] switch (real_exp->kind) ^~~~~~ btorrewrite.c:3129:3: warning: enumeration value 'BTOR_ARRAY_VAR_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_SLICE_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_AND_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_BEQ_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_AEQ_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_ADD_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_MUL_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_ULT_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_SLL_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_SRL_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_UDIV_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_UREM_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_CONCAT_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_READ_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_WRITE_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_BCOND_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_ACOND_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_PROXY_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_NUM_OPS_NODE' not handled in switch [-Wswitch] gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorsmt2.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorbtor.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btormem.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btoraigvec.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorsat.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorexp.c btorexp.c: In function 'erase_local_data_exp': btorexp.c:721:5: warning: this statement may fall through [-Wimplicit-fallthrough=] if (free_symbol) ^ btorexp.c:727:7: note: here case BTOR_WRITE_NODE: ^~~~ gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btoraig.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorsmt.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btormain.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorhash.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c boolector.c rm -f libboolector.a ar rc libboolector.a btorsmt2.o btormem.o btoraigvec.o btormain.o btorhash.o btorrewrite.o btorexp.o btorbtor.o btorutil.o btorsat.o btorconst.o btoraig.o btorsmt.o boolector.o ranlib libboolector.a gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c boolectormain.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -o boolector boolectormain.o -L. -lboolector -Llingeling -llgl -lm gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c synthebtor.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -o synthebtor synthebtor.o -L. -lboolector -Llingeling -llgl -lm gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -o deltabtor deltabtor.c make[1]: Leaving directory '/build/boolector-1.5.118.6b56be4.121013' touch build-stamp fakeroot debian/rules binary dh_testdir dh_testroot dh_clean -k dh_clean: Compatibility levels before 9 are deprecated (level 5 in use) dh_clean: dh_clean -k is deprecated; use dh_prep instead dh_clean: This feature will be removed in compat 12. dh_installdirs dh_installdirs: Compatibility levels before 9 are deprecated (level 5 in use) # Add here commands to install the package into debian/picosat. dh_testdir dh_testroot dh_installchangelogs NEWS dh_installdocs dh_installdocs: Compatibility levels before 9 are deprecated (level 5 in use) dh_install dh_install: Compatibility levels before 9 are deprecated (level 5 in use) dh_installman debian/boolector.1 dh_installman: Compatibility levels before 9 are deprecated (level 5 in use) dh_link dh_strip dh_strip: Compatibility levels before 9 are deprecated (level 5 in use) dh_compress dh_compress: Compatibility levels before 9 are deprecated (level 5 in use) dh_fixperms dh_makeshlibs dh_installdeb dh_installdeb: Compatibility levels before 9 are deprecated (level 5 in use) dh_shlibdeps dh_shlibdeps: Compatibility levels before 9 are deprecated (level 5 in use) dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'boolector' in '../boolector_1.5.118.6b56be4.121013-1_armhf.deb'. dpkg-deb: building package 'boolector-dbgsym' in '../boolector-dbgsym_1.5.118.6b56be4.121013-1_armhf.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../boolector_1.5.118.6b56be4.121013-1_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/22119 and its subdirectories I: Current time: Wed Jul 1 11:20:53 -12 2020 I: pbuilder-time-stamp: 1593645653 Wed Jul 1 23:21:01 UTC 2020 I: 1st build successful. Starting 2nd build on remote node cb3a-armhf-rb.debian.net. Wed Jul 1 23:21:01 UTC 2020 I: Preparing to do remote build '2' on cb3a-armhf-rb.debian.net. Wed Jul 1 23:28:19 UTC 2020 I: Deleting $TMPDIR on cb3a-armhf-rb.debian.net. Wed Jul 1 23:28:21 UTC 2020 I: boolector_1.5.118.6b56be4.121013-1_armhf.changes: Format: 1.8 Date: Tue, 16 Oct 2012 13:01:32 +0100 Source: boolector Binary: boolector boolector-dbgsym Architecture: armhf Version: 1.5.118.6b56be4.121013-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: boolector - SMT solver for bit-vectors and arrays Changes: boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low . * New upstream release * Bumped Standards-Version to 3.9.3 (no changes) Checksums-Sha1: 6aa90c2c939659c9f4dd670bda66067423633f6c 15688 boolector-dbgsym_1.5.118.6b56be4.121013-1_armhf.deb cb1a02816f19a8c08737c5cfc5777caba658d180 4628 boolector_1.5.118.6b56be4.121013-1_armhf.buildinfo 9215aded24f8380e5477569dcf9451c1de6fa793 257708 boolector_1.5.118.6b56be4.121013-1_armhf.deb Checksums-Sha256: 3f46f9bd7f90238ccae34127af9895d0b73fc47ee4697eda8f16ee9b8b232f4e 15688 boolector-dbgsym_1.5.118.6b56be4.121013-1_armhf.deb c6d2ec0c294487bbb4422263bc356444155c23177f1014d3f3eb96d010e48d79 4628 boolector_1.5.118.6b56be4.121013-1_armhf.buildinfo 42c0f4c85b5446c30c8fd1cad6033dadb6159dca30d78705902f247e947b69c9 257708 boolector_1.5.118.6b56be4.121013-1_armhf.deb Files: a0aff284170abc627dc42fcf26552198 15688 debug optional boolector-dbgsym_1.5.118.6b56be4.121013-1_armhf.deb 432c85b00927bd6a5e4e51c14e1980e9 4628 science extra boolector_1.5.118.6b56be4.121013-1_armhf.buildinfo 856966638fd9e6a1c05254b1e16d59a8 257708 science extra boolector_1.5.118.6b56be4.121013-1_armhf.deb Wed Jul 1 23:28:24 UTC 2020 I: diffoscope 149 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.dDOYa5XVtI/boolector_1.5.118.6b56be4.121013-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.dDOYa5XVtI/boolector_1.5.118.6b56be4.121013-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.dDOYa5XVtI/boolector_1.5.118.6b56be4.121013-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.dDOYa5XVtI/b1/boolector_1.5.118.6b56be4.121013-1_armhf.changes /srv/reproducible-results/rbuild-debian/tmp.dDOYa5XVtI/b2/boolector_1.5.118.6b56be4.121013-1_armhf.changes ## close_archive (total time: 0.001s) 0.000s 18 calls diffoscope.comparators.xz.XzContainer 0.000s 12 calls diffoscope.comparators.tar.TarContainer 0.000s 8 calls diffoscope.comparators.deb.DebContainer 0.000s 6 calls diffoscope.comparators.deb.DebTarContainer ## command (total time: 23.761s) 10.286s 151 calls diff 10.152s 165 calls objdump 1.665s 985 calls readelf 0.625s 4 calls objcopy 0.573s 22 calls strings 0.323s 18 calls xz 0.137s 8 calls cmp 0.001s 14 calls cmp (internal) ## compare_files (cumulative) (total time: 103.076s) 18.912s 1 call abc.DotChangesFile 18.578s 2 calls abc.DebFile 18.254s 4 calls abc.XzFile 17.510s 2 calls abc.DebDataTarFile 16.977s 2 calls abc.ElfFile 10.348s 8 calls diffoscope.comparators.elf.ElfCodeSection 1.971s 35 calls diffoscope.comparators.elf.ElfSection 0.360s 2 calls abc.TarFile 0.050s 2 calls abc.Md5sumsFile 0.040s 1 call abc.TextFile 0.038s 1 call diffoscope.comparators.elf.MonkeyPatchedElfSection 0.038s 1 call diffoscope.comparators.elf.ElfStringSection ## container_extract (total time: 0.375s) 0.326s 18 calls diffoscope.comparators.xz.XzContainer 0.021s 22 calls diffoscope.comparators.deb.DebContainer 0.014s 16 calls diffoscope.comparators.tar.TarContainer 0.013s 14 calls diffoscope.comparators.deb.DebTarContainer ## has_same_content_as (total time: 0.143s) 0.071s 4 calls abc.XzFile 0.033s 2 calls abc.DebFile 0.026s 2 calls abc.DebDataTarFile 0.009s 2 calls abc.ElfFile 0.001s 4 calls abc.Md5sumsFile 0.001s 2 calls abc.JSONFile 0.000s 2 calls abc.TarFile 0.000s 35 calls diffoscope.comparators.elf.ElfSection 0.000s 2 calls abc.TextFile 0.000s 1 call diffoscope.comparators.utils.libarchive.LibarchiveSymlink 0.000s 1 call abc.DotChangesFile 0.000s 8 calls diffoscope.comparators.elf.ElfCodeSection 0.000s 1 call diffoscope.comparators.elf.MonkeyPatchedElfSection 0.000s 1 call diffoscope.comparators.elf.ElfStringSection ## main (total time: 19.692s) 19.655s 2 calls outputs 0.036s 1 call cleanup ## open_archive (total time: 0.001s) 0.000s 18 calls diffoscope.comparators.xz.XzContainer 0.000s 8 calls diffoscope.comparators.deb.DebContainer 0.000s 12 calls diffoscope.comparators.tar.TarContainer 0.000s 6 calls diffoscope.comparators.deb.DebTarContainer ## output (total time: 0.367s) 0.364s 1 call html 0.002s 1 call text 0.001s 1 call json ## recognizes (total time: 0.984s) 0.378s 1362 calls diffoscope.comparators.utils.libarchive.LibarchiveMember 0.264s 630 calls diffoscope.comparators.elf.ElfSection 0.196s 678 calls diffoscope.comparators.utils.archive.ArchiveMember 0.062s 144 calls diffoscope.comparators.elf.ElfCodeSection 0.047s 168 calls diffoscope.comparators.debian.DebControlMember 0.032s 10 calls diffoscope.comparators.binary.FilesystemFile 0.003s 18 calls diffoscope.comparators.elf.ElfStringSection 0.002s 18 calls diffoscope.comparators.elf.MonkeyPatchedElfSection 0.000s 28 calls abc.Md5sumsFile 0.000s 8 calls abc.DotChangesFile 0.000s 4 calls diffoscope.comparators.utils.libarchive.LibarchiveSymlink Wed Jul 1 23:28:48 UTC 2020 E: boolector failed to build reproducibly in buster on armhf. Wed Jul 1 23:28:50 UTC 2020 I: Submitting .buildinfo files to external archives: Wed Jul 1 23:28:50 UTC 2020 I: Submitting 8.0K b1/boolector_1.5.118.6b56be4.121013-1_armhf.buildinfo.asc Wed Jul 1 23:28:51 UTC 2020 I: Submitting 8.0K b2/boolector_1.5.118.6b56be4.121013-1_armhf.buildinfo.asc Wed Jul 1 23:28:52 UTC 2020 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Wed Jul 1 23:28:52 UTC 2020 I: Done submitting .buildinfo files. Wed Jul 1 23:28:52 UTC 2020 I: Removing signed boolector_1.5.118.6b56be4.121013-1_armhf.buildinfo.asc files: removed './b1/boolector_1.5.118.6b56be4.121013-1_armhf.buildinfo.asc' removed './b2/boolector_1.5.118.6b56be4.121013-1_armhf.buildinfo.asc'