Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/b/boolector/boolector_1.5.118.6b56be4.121013-1.1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/boolector-1.5.118.6b56be4.121013-1.1rtbkhrr2/boolector_1.5.118.6b56be4.121013-1.1_amd64.buildinfo Get source package info: boolector=1.5.118.6b56be4.121013-1.1 Source URL: http://snapshot.notset.fr/mr/package/boolector/1.5.118.6b56be4.121013-1.1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1.1 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=12 base-passwd=3.5.52 bash=5.1-5+b1 binutils=2.37-10.1 binutils-common=2.37-10.1 binutils-x86-64-linux-gnu=2.37-10.1 bsdextrautils=2.37.2-5 bsdutils=1:2.37.2-5 build-essential=12.9 bzip2=1.0.8-5 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.2.0-13 dash=0.5.11+git20210903+057cd650a4ed-3 debconf=1.5.79 debhelper=13.6 debianutils=5.5-1 dh-autoreconf=20 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.1 dpkg-dev=1.21.1 dwz=0.14-1 file=1:5.41-2 findutils=4.8.0-1 g++=4:11.2.0-2 g++-11=11.2.0-13 gcc=4:11.2.0-2 gcc-11=11.2.0-13 gcc-11-base=11.2.0-13 gettext=0.21-4 gettext-base=0.21-4 grep=3.7-1 groff-base=1.22.4-8 gzip=1.10-4 hostname=3.23 init-system-helpers=1.61 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-13 libatomic1=11.2.0-13 libattr1=1:2.5.1-1 libaudit-common=1:3.0.6-1 libaudit1=1:3.0.6-1+b1 libbinutils=2.37-10.1 libblkid1=2.37.2-5 libbz2-1.0=1.0.8-5 libc-bin=2.33-1 libc-dev-bin=2.33-1 libc6=2.33-1 libc6-dev=2.33-1 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=11.2.0-13 libcom-err2=1.46.5-1 libcrypt-dev=1:4.4.27-1 libcrypt1=1:4.4.27-1 libctf-nobfd0=2.37-10.1 libctf0=2.37-10.1 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.261 libdebhelper-perl=13.6 libdpkg-perl=1.21.1 libelf1=0.186-1 libfile-stripnondeterminism-perl=1.13.0-1 libgcc-11-dev=11.2.0-13 libgcc-s1=11.2.0-13 libgcrypt20=1.9.4-5 libgdbm-compat4=1.22-1 libgdbm6=1.22-1 libgmp10=2:6.2.1+dfsg-3 libgomp1=11.2.0-13 libgpg-error0=1.43-1 libgssapi-krb5-2=1.18.3-7 libicu67=67.1-7 libisl23=0.24-2 libitm1=11.2.0-13 libk5crypto3=1.18.3-7 libkeyutils1=1.6.1-2 libkrb5-3=1.18.3-7 libkrb5support0=1.18.3-7 liblsan0=11.2.0-13 liblz4-1=1.9.3-2 liblzma5=5.2.5-2 libmagic-mgc=1:5.41-2 libmagic1=1:5.41-2 libmount1=2.37.2-5 libmpc3=1.2.1-1 libmpfr6=4.1.0-3 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-11 libpam-modules-bin=1.4.0-11 libpam-runtime=1.4.0-11 libpam0g=1.4.0-11 libpcre2-8-0=10.39-3 libpcre3=2:8.39-13 libperl5.32=5.32.1-6 libpipeline1=1.5.4-2 libquadmath0=11.2.0-13 libseccomp2=2.5.3-2 libselinux1=3.3-1+b1 libsigsegv2=2.13-1 libsmartcols1=2.37.2-5 libssl1.1=1.1.1m-1 libstdc++-11-dev=11.2.0-13 libstdc++6=11.2.0-13 libsub-override-perl=0.09-2 libsystemd0=249.7-1 libtinfo6=6.3-1 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.6-15 libtsan0=11.2.0-13 libubsan1=11.2.0-13 libuchardet0=0.0.7-1 libudev1=249.7-1 libunistring2=0.9.10-6 libuuid1=2.37.2-5 libxml2=2.9.12+dfsg-5+b1 libzstd1=1.4.8+dfsg-3 linux-libc-dev=5.15.5-2 login=1:4.8.1-2 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4.1 man-db=2.9.4-4 mawk=1.3.4.20200120-2 ncurses-base=6.3-1 ncurses-bin=6.3-1 patch=2.7.6-7 perl=5.32.1-6 perl-base=5.32.1-6 perl-modules-5.32=5.32.1-6 po-debconf=1.0.21+nmu1 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.01-1 tar=1.34+dfsg-1 util-linux=2.37.2-5 xz-utils=5.2.5-2 zlib1g=1:1.2.11.dfsg-2 --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/20220113T025801Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220113T025801Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220103T215446Z/ 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.1 && mkdir -p /build/boolector-M9GrHv && dpkg-source --no-check -x /*.dsc /build/boolector-M9GrHv/boolector-1.5.118.6b56be4.121013 && chown -R builduser:builduser /build/boolector-M9GrHv" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/boolector-M9GrHv/boolector-1.5.118.6b56be4.121013 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1640634808" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/boolector-M9GrHv /tmp/boolector-1.5.118.6b56be4.121013-1.1rtbkhrr2 bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220103T215446Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.URoCKqWpi2 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.URoCKqWpi2 Reading package lists... Building dependency tree... util-linux is already the newest version (2.37.2-5). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 135 kB of archives. After this operation, 406 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220103T215446Z unstable/main amd64 libfakeroot amd64 1.26-1.1 [48.2 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220103T215446Z unstable/main amd64 fakeroot amd64 1.26-1.1 [87.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 135 kB in 0s (1027 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 ... 4684 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.26-1.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.26-1.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.26-1.1_amd64.deb ... Unpacking fakeroot (1.26-1.1) ... Setting up libfakeroot:amd64 (1.26-1.1) ... Setting up fakeroot (1.26-1.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-1) ... 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/20220113T025801Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220113T025801Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220103T215446Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.URoCKqWpi2 Get:1 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm InRelease [129 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20220103T215446Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main Sources [11.7 MB] Get:4 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main amd64 Packages [11.1 MB] Fetched 23.0 MB in 20s (1157 kB/s) Reading package lists... 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.URoCKqWpi2 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.1 && mkdir -p /build/boolector-M9GrHv && dpkg-source --no-check -x /*.dsc /build/boolector-M9GrHv/boolector-1.5.118.6b56be4.121013 && chown -R builduser:builduser /build/boolector-M9GrHv"' exec /tmp/mmdebstrap.URoCKqWpi2 Reading package lists... Need to get 362 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main boolector 1.5.118.6b56be4.121013-1.1 (dsc) [2165 B] Get:2 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main boolector 1.5.118.6b56be4.121013-1.1 (tar) [166 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main boolector 1.5.118.6b56be4.121013-1.1 (tar) [189 kB] Get:4 http://snapshot.notset.fr/archive/debian/20220113T025801Z bookworm/main boolector 1.5.118.6b56be4.121013-1.1 (diff) [4704 B] Fetched 362 kB in 0s (904 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.1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting boolector in /build/boolector-M9GrHv/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.1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series 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-M9GrHv/boolector-1.5.118.6b56be4.121013 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1640634808" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.URoCKqWpi2 dpkg-buildpackage: info: source package boolector dpkg-buildpackage: info: source version 1.5.118.6b56be4.121013-1.1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Adrian Bunk dpkg-source --before-build . 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: warning: Compatibility levels before 10 are deprecated (level 7 in use) debian/rules build-arch 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-M9GrHv/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:9: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 16052 | if (rootsonly) noimpls++; goto CONTINUE; | ^~ lglib.c:16052:35: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 16052 | if (rootsonly) noimpls++; goto CONTINUE; | ^~~~ rm -f lglcflags.h echo '#define LGL_CC "gcc (Debian 11.2.0-13) 11.2.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=] 456 | 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-M9GrHv/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-M9GrHv/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 btoraig.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btoraigvec.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorbtor.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorconst.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorexp.c btorexp.c: In function ‘constraints_stats_changes’: btorexp.c:4898:5: warning: taking the absolute value of unsigned type ‘unsigned int’ has no effect [-Wabsolute-value] 4898 | abs (btor->stats.oldconstraints.varsubst - | ^~~ btorexp.c:4901:10: warning: taking the absolute value of unsigned type ‘unsigned int’ has no effect [-Wabsolute-value] 4901 | res += abs (btor->stats.oldconstraints.embedded - | ^~~ btorexp.c:4904:10: warning: taking the absolute value of unsigned type ‘unsigned int’ has no effect [-Wabsolute-value] 4904 | res += abs (btor->stats.oldconstraints.unsynthesized - | ^~~ btorexp.c:4907:10: warning: taking the absolute value of unsigned type ‘unsigned int’ has no effect [-Wabsolute-value] 4907 | res += abs (btor->stats.oldconstraints.synthesized - | ^~~ btorexp.c: In function ‘erase_local_data_exp’: btorexp.c:721:12: warning: this statement may fall through [-Wimplicit-fallthrough=] 721 | if (free_symbol) | ^ btorexp.c:727:7: note: here 727 | case BTOR_WRITE_NODE: | ^~~~ gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorhash.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btormain.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btormem.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] 186 | 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] 3129 | 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 btorsat.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorsmt.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorsmt2.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorutil.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c boolector.c rm -f libboolector.a ar rc libboolector.a btoraig.o btoraigvec.o btorbtor.o btorconst.o btorexp.o btorhash.o btormain.o btormem.o btorrewrite.o btorsat.o btorsmt.o btorsmt2.o btorutil.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-M9GrHv/boolector-1.5.118.6b56be4.121013' touch build-stamp fakeroot debian/rules binary-arch dh_testdir dh_testroot dh_clean -k dh_clean: warning: Compatibility levels before 10 are deprecated (level 7 in use) dh_clean: warning: dh_clean -k is deprecated; use dh_prep instead dh_clean: warning: This feature will be removed in compat 12. dh_installdirs dh_installdirs: warning: Compatibility levels before 10 are deprecated (level 7 in use) # Add here commands to install the package into debian/picosat. dh_testdir dh_testroot dh_installchangelogs NEWS dh_installdocs dh_installdocs: warning: Compatibility levels before 10 are deprecated (level 7 in use) dh_install dh_install: warning: Compatibility levels before 10 are deprecated (level 7 in use) dh_installman debian/boolector.1 dh_installman: warning: Compatibility levels before 10 are deprecated (level 7 in use) dh_link dh_strip dh_strip: warning: Compatibility levels before 10 are deprecated (level 7 in use) dh_compress dh_compress: warning: Compatibility levels before 10 are deprecated (level 7 in use) dh_fixperms dh_makeshlibs dh_makeshlibs: warning: Compatibility levels before 10 are deprecated (level 7 in use) dh_installdeb dh_installdeb: warning: Compatibility levels before 10 are deprecated (level 7 in use) dh_shlibdeps dh_shlibdeps: warning: Compatibility levels before 10 are deprecated (level 7 in use) dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'boolector' in '../boolector_1.5.118.6b56be4.121013-1.1_amd64.deb'. dpkg-deb: building package 'boolector-dbgsym' in '../boolector-dbgsym_1.5.118.6b56be4.121013-1.1_amd64.deb'. dpkg-genbuildinfo --build=any -O../boolector_1.5.118.6b56be4.121013-1.1_amd64.buildinfo dpkg-genchanges --build=any -O../boolector_1.5.118.6b56be4.121013-1.1_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/boolector-M9GrHv /tmp/boolector-1.5.118.6b56be4.121013-1.1rtbkhrr2 I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.URoCKqWpi2... I: success in 2211.4093 seconds md5: Value of 'md5' differs for boolector-dbgsym_1.5.118.6b56be4.121013-1.1_amd64.deb md5: Value of 'md5' differs for boolector_1.5.118.6b56be4.121013-1.1_amd64.deb md5: Size differs for boolector_1.5.118.6b56be4.121013-1.1_amd64.deb sha1: Value of 'sha1' differs for boolector-dbgsym_1.5.118.6b56be4.121013-1.1_amd64.deb sha1: Value of 'sha1' differs for boolector_1.5.118.6b56be4.121013-1.1_amd64.deb sha1: Size differs for boolector_1.5.118.6b56be4.121013-1.1_amd64.deb sha256: Value of 'sha256' differs for boolector-dbgsym_1.5.118.6b56be4.121013-1.1_amd64.deb sha256: Value of 'sha256' differs for boolector_1.5.118.6b56be4.121013-1.1_amd64.deb sha256: Size differs for boolector_1.5.118.6b56be4.121013-1.1_amd64.deb Checksums: FAIL Cannot generate diffoscope for boolector-dbgsym_1.5.118.6b56be4.121013-1.1_amd64.deb: Cannot find URL: http://snapshot.notset.fr/mr/file/1b0a5d56442ca2369a94944d692bc45b8b7a392806ccdbef6001ed1d028b29b6/download Cannot generate diffoscope for boolector_1.5.118.6b56be4.121013-1.1_amd64.deb: RetryError[]