Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/b/boolector/boolector_1.5.118.6b56be4.121013-1+b1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/boolector-1.5.118.6b56be4.121013-1+b17pi0boua/boolector_1.5.118.6b56be4.121013-1_amd64.buildinfo Get source package info: boolector=1.5.118.6b56be4.121013-1 Source URL: http://snapshot.notset.fr/mr/package/boolector/1.5.118.6b56be4.121013-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-10 automake=1:1.15-6 autopoint=0.19.8.1-2 autotools-dev=20161112.1 base-files=9.8 base-passwd=3.5.43 bash=4.4-4+b1 binutils=2.28-2 bsdmainutils=9.0.12 bsdutils=1:2.29.1-1 build-essential=12.3 bzip2=1.0.6-8.1 coreutils=8.26-3 cpp=4:6.3.0-1 cpp-6=6.3.0-8 dash=0.5.8-2.4 debconf=1.5.60 debhelper=10.2.5 debianutils=4.8.1 dh-autoreconf=13 dh-strip-nondeterminism=0.031-1 diffutils=1:3.5-3 dpkg=1.18.23 dpkg-dev=1.18.23 e2fslibs=1.43.4-2 e2fsprogs=1.43.4-2 file=1:5.29-3 findutils=4.6.0+git+20161106-2 g++=4:6.3.0-1 g++-6=6.3.0-8 gcc=4:6.3.0-1 gcc-6=6.3.0-8 gcc-6-base=6.3.0-8 gettext=0.19.8.1-2 gettext-base=0.19.8.1-2 grep=2.27-2 groff-base=1.22.3-9 gzip=1.6-5+b1 hostname=3.18+b1 init-system-helpers=1.47 intltool-debian=0.35.0+20060710.4 libacl1=2.2.52-3+b1 libarchive-zip-perl=1.59-1 libasan3=6.3.0-8 libatomic1=6.3.0-8 libattr1=1:2.4.47-2+b2 libaudit-common=1:2.6.7-1 libaudit1=1:2.6.7-1 libblkid1=2.29.1-1 libbsd0=0.8.3-1 libbz2-1.0=1.0.6-8.1 libc-bin=2.24-9 libc-dev-bin=2.24-9 libc6=2.24-9 libc6-dev=2.24-9 libcap-ng0=0.7.7-3+b1 libcc1-0=6.3.0-8 libcilkrts5=6.3.0-8 libcomerr2=1.43.4-2 libcroco3=0.6.11-2 libdb5.3=5.3.28-12+b1 libdebconfclient0=0.226 libdpkg-perl=1.18.23 libfdisk1=2.29.1-1 libffi6=3.2.1-6 libfile-stripnondeterminism-perl=0.031-1 libgcc-6-dev=6.3.0-8 libgcc1=1:6.3.0-8 libgcrypt20=1.7.6-1 libgdbm3=1.8.3-14 libglib2.0-0=2.50.3-1 libgmp10=2:6.1.2+dfsg-1 libgomp1=6.3.0-8 libgpg-error0=1.26-2 libicu57=57.1-5 libisl15=0.18-1 libitm1=6.3.0-8 liblsan0=6.3.0-8 liblz4-1=0.0~r131-2+b1 liblzma5=5.2.2-1.2+b1 libmagic-mgc=1:5.29-3 libmagic1=1:5.29-3 libmount1=2.29.1-1 libmpc3=1.0.3-1 libmpfr4=3.1.5-1 libmpx2=6.3.0-8 libncurses5=6.0+20161126-1 libncursesw5=6.0+20161126-1 libpam-modules=1.1.8-3.5 libpam-modules-bin=1.1.8-3.5 libpam-runtime=1.1.8-3.5 libpam0g=1.1.8-3.5 libpcre3=2:8.39-2.1 libperl5.24=5.24.1-1 libpipeline1=1.4.1-2 libquadmath0=6.3.0-8 libselinux1=2.6-3 libsemanage-common=2.6-2 libsemanage1=2.6-2 libsepol1=2.6-2 libsigsegv2=2.10-5 libsmartcols1=2.29.1-1 libss2=1.43.4-2 libstdc++-6-dev=6.3.0-8 libstdc++6=6.3.0-8 libsystemd0=232-20 libtimedate-perl=2.3000-2 libtinfo5=6.0+20161126-1 libtool=2.4.6-2 libtsan0=6.3.0-8 libubsan0=6.3.0-8 libudev1=232-19 libunistring0=0.9.6+really0.9.3-0.1 libustr-1.0-1=1.0.4-6 libuuid1=2.29.1-1 libxml2=2.9.4+dfsg1-2.2 linux-libc-dev=4.9.13-1 login=1:4.4-4 m4=1.4.18-1 make=4.1-9.1 man-db=2.7.6.1-2 mawk=1.3.3-17+b3 mount=2.29.1-1 multiarch-support=2.24-9 ncurses-base=6.0+20161126-1 ncurses-bin=6.0+20161126-1 passwd=1:4.4-4 patch=2.7.5-1+b2 perl=5.24.1-1 perl-base=5.24.1-1 perl-modules-5.24=5.24.1-1 po-debconf=1.0.20 sed=4.4-1 sensible-utils=0.0.9 sysvinit-utils=2.88dsf-59.9 tar=1.29b-1.1 util-linux=2.29.1-1 xz-utils=5.2.2-1.2+b1 zlib1g=1:1.2.8.dfsg-5 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20170321T212219Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20170315T211224Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d boolector=1.5.118.6b56be4.121013-1 && mkdir -p /build/boolector-fbxV5b && dpkg-source --no-check -x /*.dsc /build/boolector-fbxV5b/boolector-1.5.118.6b56be4.121013 && cd /build/boolector-fbxV5b/boolector-1.5.118.6b56be4.121013 && { printf '%s' 'boolector (1.5.118.6b56be4.121013-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * rebuild with PIE -- amd64 / i386 Build Daemon (x86-ubc-01) Tue, 16 Oct 2012 13:01:32 +0100 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/boolector-fbxV5b" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/boolector-fbxV5b/boolector-1.5.118.6b56be4.121013 && env DEB_BUILD_OPTIONS="parallel=4" SOURCE_DATE_EPOCH="1350388892" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/boolector-fbxV5b /tmp/boolector-1.5.118.6b56be4.121013-1+b17pi0boua stretch /dev/null deb http://snapshot.notset.fr/archive/debian/20170315T211224Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.UdMjA7fRFs as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.UdMjA7fRFs Reading package lists... Building dependency tree... util-linux is already the newest version (2.29.1-1). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 131 kB of archives. After this operation, 374 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20170315T211224Z unstable/main amd64 libfakeroot amd64 1.21-3.1 [45.7 kB] Get:2 http://snapshot.notset.fr/archive/debian/20170315T211224Z unstable/main amd64 fakeroot amd64 1.21-3.1 [85.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 131 kB in 0s (754 kB/s) Selecting previously unselected package libfakeroot: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 ... 4401 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.21-3.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.21-3.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.21-3.1_amd64.deb ... Unpacking fakeroot (1.21-3.1) ... Processing triggers for libc-bin (2.24-9) ... Setting up libfakeroot:amd64 (1.21-3.1) ... Setting up fakeroot (1.21-3.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.24-9) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20170321T212219Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20170315T211224Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.UdMjA7fRFs Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:2 http://snapshot.notset.fr/archive/debian/20170321T212219Z unstable InRelease [231 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20170315T211224Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20170321T212219Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20170321T212219Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20170321T212219Z unstable/main amd64 Packages [10.0 MB] Fetched 32.8 MB in 31s (1055 kB/s) Reading package lists... W: Problem unlinking the file auxfiles - Clean (21: Is a directory) I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.UdMjA7fRFs I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d boolector=1.5.118.6b56be4.121013-1 && mkdir -p /build/boolector-fbxV5b && dpkg-source --no-check -x /*.dsc /build/boolector-fbxV5b/boolector-1.5.118.6b56be4.121013 && cd /build/boolector-fbxV5b/boolector-1.5.118.6b56be4.121013 && { printf '%s' 'boolector (1.5.118.6b56be4.121013-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * rebuild with PIE -- amd64 / i386 Build Daemon (x86-ubc-01) Tue, 16 Oct 2012 13:01:32 +0100 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/boolector-fbxV5b"' exec /tmp/mmdebstrap.UdMjA7fRFs Reading package lists... Need to get 361 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main boolector 1.5.118.6b56be4.121013-1 (dsc) [1515 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main boolector 1.5.118.6b56be4.121013-1 (tar) [166 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main boolector 1.5.118.6b56be4.121013-1 (tar) [189 kB] Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main boolector 1.5.118.6b56be4.121013-1 (diff) [4827 B] Fetched 361 kB in 0s (818 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'boolector_1.5.118.6b56be4.121013-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting boolector in /build/boolector-fbxV5b/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: applying debian-changes-1.5.118.6b56be4.121013-1 I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/boolector-fbxV5b/boolector-1.5.118.6b56be4.121013 && env DEB_BUILD_OPTIONS="parallel=4" SOURCE_DATE_EPOCH="1350388892" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.UdMjA7fRFs dpkg-buildpackage: info: source package boolector dpkg-buildpackage: info: source version 1.5.118.6b56be4.121013-1+b1 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-ubc-01) dpkg-source --before-build boolector-1.5.118.6b56be4.121013 dpkg-buildpackage: info: host architecture amd64 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) dpkg-buildpackage: warning: debian/rules must be updated to support the 'build-arch' and 'build-indep' targets (at least 'build-arch' seems to be missing) 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-fbxV5b/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 is guarded by the ‘if’ if (rootsonly) noimpls++; goto CONTINUE; ^~~~ lglib.c: In function ‘lglcutwidth’: lglib.c:6959:10: warning: ‘res’ may be used uninitialized in this function [-Wmaybe-uninitialized] return res; ^~~ rm -f lglcflags.h echo '#define LGL_CC "gcc (Debian 6.3.0-8) 6.3.0 20170221"' >> 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-fbxV5b/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-fbxV5b/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 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 btorexp.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorconst.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorbtor.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorutil.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 btormem.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorsmt2.c 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 btorbtor.o btorutil.o btorsat.o btorexp.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-fbxV5b/boolector-1.5.118.6b56be4.121013' touch build-stamp fakeroot debian/rules binary-arch 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_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_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_fixperms dh_makeshlibs dh_installdeb dh_installdeb: Compatibility levels before 9 are deprecated (level 5 in use) dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'boolector-dbgsym' in '../boolector-dbgsym_1.5.118.6b56be4.121013-1+b1_amd64.deb'. dpkg-deb: building package 'boolector' in '../boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../boolector_1.5.118.6b56be4.121013-1+b1_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build boolector-1.5.118.6b56be4.121013 dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/boolector-fbxV5b /tmp/boolector-1.5.118.6b56be4.121013-1+b17pi0boua I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.UdMjA7fRFs... I: success in 300.5372 seconds md5: Value of 'md5' differs for boolector-dbgsym_1.5.118.6b56be4.121013-1+b1_amd64.deb md5: Size differs for boolector-dbgsym_1.5.118.6b56be4.121013-1+b1_amd64.deb md5: Value of 'md5' differs for boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb md5: Size differs for boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb sha1: Value of 'sha1' differs for boolector-dbgsym_1.5.118.6b56be4.121013-1+b1_amd64.deb sha1: Size differs for boolector-dbgsym_1.5.118.6b56be4.121013-1+b1_amd64.deb sha1: Value of 'sha1' differs for boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb sha1: Size differs for boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb sha256: Value of 'sha256' differs for boolector-dbgsym_1.5.118.6b56be4.121013-1+b1_amd64.deb sha256: Size differs for boolector-dbgsym_1.5.118.6b56be4.121013-1+b1_amd64.deb sha256: Value of 'sha256' differs for boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb sha256: Size differs for boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb Checksums: FAIL Cannot generate diffoscope for boolector-dbgsym_1.5.118.6b56be4.121013-1+b1_amd64.deb: Cannot find URL: http://snapshot.notset.fr/mr/file/4ed9010b869a138b9569f9b5341b5d31760a239ca8db33b06212fd72b17c5127/download diffoscope run passed