Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/s/spass/spass_3.9-1.1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/spass-3.9-1.18264x8en/spass_3.9-1.1_amd64.buildinfo Get source package info: spass=3.9-1.1 Source URL: http://snapshot.notset.fr/mr/package/spass/3.9-1.1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-14 automake=1:1.16.3-2 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=11 base-passwd=3.5.48 bash=5.1-2 binutils=2.35.1-7 binutils-common=2.35.1-7 binutils-x86-64-linux-gnu=2.35.1-7 bison=2:3.7.5+dfsg-1 bsdextrautils=2.36.1-6 bsdutils=1:2.36.1-6 build-essential=12.9 bzip2=1.0.8-4 coreutils=8.32-4+b1 cpp=4:10.2.1-1 cpp-10=10.2.1-6 dash=0.5.11+git20200708+dd9ef66-5 debconf=1.5.74 debhelper=13.3.3 debianutils=4.11.2 dh-autoreconf=19 dh-strip-nondeterminism=1.10.0-1 diffutils=1:3.7-5 dpkg=1.20.7.1 dpkg-dev=1.20.7.1 dwz=0.13+20210126-1 file=1:5.39-3 findutils=4.8.0-1 flex=2.6.4-8 g++=4:10.2.1-1 g++-10=10.2.1-6 gcc=4:10.2.1-1 gcc-10=10.2.1-6 gcc-10-base=10.2.1-6 gettext=0.21-4 gettext-base=0.21-4 grep=3.6-1 groff-base=1.22.4-6 gzip=1.10-2 hostname=3.23 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-10 libarchive-zip-perl=1.68-1 libasan6=10.2.1-6 libatomic1=10.2.1-6 libattr1=1:2.4.48-6 libaudit-common=1:3.0-2 libaudit1=1:3.0-2 libbinutils=2.35.1-7 libblkid1=2.36.1-6 libbz2-1.0=1.0.8-4 libc-bin=2.31-9 libc-dev-bin=2.31-9 libc6=2.31-9 libc6-dev=2.31-9 libcap-ng0=0.7.9-2.2+b1 libcc1-0=10.2.1-6 libcom-err2=1.45.7-1 libcrypt-dev=1:4.4.17-1 libcrypt1=1:4.4.17-1 libctf-nobfd0=2.35.1-7 libctf0=2.35.1-7 libdb5.3=5.3.28+dfsg1-0.6 libdebconfclient0=0.256 libdebhelper-perl=13.3.3 libdpkg-perl=1.20.7.1 libelf1=0.182+20210203-1 libfile-stripnondeterminism-perl=1.10.0-1 libgcc-10-dev=10.2.1-6 libgcc-s1=10.2.1-6 libgcrypt20=1.8.7-2 libgdbm-compat4=1.19-2 libgdbm6=1.19-2 libgmp10=2:6.2.1+dfsg-1 libgomp1=10.2.1-6 libgpg-error0=1.38-2 libgssapi-krb5-2=1.18.3-4 libicu67=67.1-6 libisl23=0.23-1 libitm1=10.2.1-6 libk5crypto3=1.18.3-4 libkeyutils1=1.6.1-2 libkrb5-3=1.18.3-4 libkrb5support0=1.18.3-4 liblsan0=10.2.1-6 liblz4-1=1.9.3-1 liblzma5=5.2.5-1.0 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmount1=2.36.1-6 libmpc3=1.2.0-1 libmpfr6=4.1.0-3 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-4 libpam-modules-bin=1.4.0-4 libpam-runtime=1.4.0-4 libpam0g=1.4.0-4 libpcre2-8-0=10.36-2 libpcre3=2:8.39-13 libperl5.32=5.32.1-2 libpipeline1=1.5.3-1 libquadmath0=10.2.1-6 libseccomp2=2.5.1-1 libselinux1=3.1-2+b2 libsigsegv2=2.13-1 libsmartcols1=2.36.1-6 libssl1.1=1.1.1i-3 libstdc++-10-dev=10.2.1-6 libstdc++6=10.2.1-6 libsub-override-perl=0.09-2 libsystemd0=247.3-1 libtinfo6=6.2+20201114-2 libtirpc-common=1.3.1-1 libtirpc-dev=1.3.1-1 libtirpc3=1.3.1-1 libtool=2.4.6-15 libtsan0=10.2.1-6 libubsan1=10.2.1-6 libuchardet0=0.0.7-1 libudev1=247.3-1 libunistring2=0.9.10-4 libuuid1=2.36.1-6 libxml2=2.9.10+dfsg-6.3+b1 libzstd1=1.4.8+dfsg-1 linux-libc-dev=5.10.12-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4 man-db=2.9.3-2 mawk=1.3.4.20200120-2 ncurses-base=6.2+20201114-2 ncurses-bin=6.2+20201114-2 patch=2.7.6-7 perl=5.32.1-2 perl-base=5.32.1-2 perl-modules-5.32=5.32.1-2 po-debconf=1.0.21+nmu1 sed=4.7-1 sensible-utils=0.0.14 sysvinit-utils=2.96-5 tar=1.32+dfsg-1 util-linux=2.36.1-6 xz-utils=5.2.5-1.0 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/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20210204T083352Z/ 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 spass=3.9-1.1 && mkdir -p /build/spass-iHMFgj && dpkg-source --no-check -x /*.dsc /build/spass-iHMFgj/spass-3.9 && chown -R builduser:builduser /build/spass-iHMFgj" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/spass-iHMFgj/spass-3.9 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1611242510" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/spass-iHMFgj /tmp/spass-3.9-1.18264x8en bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20210204T083352Z 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.OYjpNFgdFX 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.OYjpNFgdFX Reading package lists... Building dependency tree... util-linux is already the newest version (2.36.1-6). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 134 kB of archives. After this operation, 397 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20210204T083352Z unstable/main amd64 libfakeroot amd64 1.25.3-1.1 [47.0 kB] Get:2 http://snapshot.notset.fr/archive/debian/20210204T083352Z unstable/main amd64 fakeroot amd64 1.25.3-1.1 [87.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (883 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 ... 4663 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.25.3-1.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.25.3-1.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.25.3-1.1_amd64.deb ... Unpacking fakeroot (1.25.3-1.1) ... Setting up libfakeroot:amd64 (1.25.3-1.1) ... Setting up fakeroot (1.25.3-1.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-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/20210204T083352Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.OYjpNFgdFX Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20210204T083352Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Fetched 22.6 MB in 20s (1150 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.OYjpNFgdFX I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d spass=3.9-1.1 && mkdir -p /build/spass-iHMFgj && dpkg-source --no-check -x /*.dsc /build/spass-iHMFgj/spass-3.9 && chown -R builduser:builduser /build/spass-iHMFgj"' exec /tmp/mmdebstrap.OYjpNFgdFX Reading package lists... NOTICE: 'spass' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/science-team/spass.git Please use: git clone https://salsa.debian.org/science-team/spass.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 567 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main spass 3.9-1.1 (dsc) [2002 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main spass 3.9-1.1 (tar) [561 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main spass 3.9-1.1 (diff) [3944 B] Fetched 567 kB in 0s (1220 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'spass_3.9-1.1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting spass in /build/spass-iHMFgj/spass-3.9 dpkg-source: info: unpacking spass_3.9.orig.tar.gz dpkg-source: info: unpacking spass_3.9-1.1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/spass-iHMFgj/spass-3.9 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1611242510" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.OYjpNFgdFX dpkg-buildpackage: info: source package spass dpkg-buildpackage: info: source version 3.9-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 clean --no-parallel dh_auto_clean -O--no-parallel make -j1 clean make[1]: Entering directory '/build/spass-iHMFgj/spass-3.9' /bin/rm -f misc.o memory.o strings.o stack.o list.o clock.o vector.o hashmap.o symbol.o term.o context.o unify.o subst.o st.o clause.o sharing.o cmdline.o order.o kbo.o rpos.o subsumption.o condensing.o component.o defs.o ras.o eml.o description.o array.o foldfg.o cnf.o resolution.o renaming.o rules-inf.o rules-split.o rules-ur.o terminator.o rules-red.o rules-sort.o analyze.o graph.o sort.o doc-proof.o search.o flags.o dfg_diagnostic.o dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o tptpparser.o tptpscanner.o iaparser.o iascanner.o proofcheck.o tableau.o closure.o partition.o table.o top.o input.o vector.o term.o symbol.o hashmap.o strings.o list.o memory.o misc.o stack.o folspass.o clause.o clauseinput.o foldfg.o order.o kbo.o rpos.o strings.o subst.o st.o unify.o context.o sharing.o flags.o vector.o term.o symbol.o hashmap.o list.o memory.o misc.o stack.o SPASS FLOTTER array.o description.o memory.o misc.o list.o stack.o symbol.o hashmap.o strings.o term.o order.o kbo.o rpos.o foldfg.o flags.o unify.o context.o subst.o clause.o sharing.o st.o prolog2dfg.o proscanner.o proparser.o dfg_diagnostic.o dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o eml.o prolog2dfg dfg2otter.o dfg2otter dfg2dimacs.o dfg2dimacs dfg2tptp.o dfg2tptp dfg2ascii.o dfg2ascii dfg2dfg description.o memory.o misc.o stack.o list.o strings.o array.o symbol.o hashmap.o term.o foldfg.o clause.o sharing.o st.o subst.o unify.o context.o order.o kbo.o rpos.o dfg_diagnostic.o dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o flags.o approx.o cmdline.o eml.o dfg2dfg.o tptp2dfg description.o tptpparser.o tptpscanner.o misc.o memory.o strings.o list.o clause.o term.o array.o symbol.o hashmap.o stack.o flags.o foldfg.o cmdline.o sharing.o subst.o order.o context.o unify.o st.o kbo.o rpos.o dfg_diagnostic.o dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o eml.o tptp2dfg.o dimacs2dfg array.o dimparser.o foldfg.o flags.o cnf.o renaming.o search.o resolution.o sort.o rules-inf.o rules-red.o rules-split.o rules-sort.o rules-ur.o closure.o table.o partition.o tptpparser.o tptpscanner.o dfg_diagnostic.o dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o analyze.o graph.o dimacs2dfg.o description.o cmdline.o flags.o memory.o misc.o stack.o list.o array.o symbol.o defs.o cnf.o renaming.o clock.o rules-red.o rules-inf.o rules-sort.o rules-ur.o resolution.o condensing.o closure.o ras.o table.o partition.o rules-split.o hashmap.o strings.o term.o foldfg.o clause.o search.o analyze.o graph.o sort.o sharing.o st.o subst.o unify.o context.o order.o kbo.o rpos.o dfg_diagnostic.o dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o proofcheck.o tableau.o subsumption.o component.o vector.o eml.o pgen.o description.o cmdline.o flags.o misc.o list.o memory.o term.o clause.o foldfg.o array.o symbol.o hashmap.o strings.o sharing.o st.o context.o subst.o order.o rpos.o kbo.o dfg_diagnostic.o dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o unify.o stack.o subsumption.o component.o vector.o eml.o rescmp.o pgen rescmp iaparser.c iaparser.h iascanner.c proparser.c proparser.h proscanner.c tptpparser.c tptpparser.h tptpscanner.c make[1]: Leaving directory '/build/spass-iHMFgj/spass-3.9' dh_autoreconf_clean -O--no-parallel dh_clean -O--no-parallel debian/rules build-arch dh build-arch --no-parallel dh_update_autotools_config -a -O--no-parallel dh_autoreconf -a -O--no-parallel dh_auto_configure -a -O--no-parallel dh_auto_build -a -O--no-parallel make -j1 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/spass-iHMFgj/spass-3.9' gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o misc.o misc.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o memory.o memory.c memory.c: In function ‘memory_PrintAllocatedBlocks’: memory.c:1430:20: warning: variable ‘BlockSize’ set but not used [-Wunused-but-set-variable] 1430 | unsigned int BlockSize; /* current block size */ | ^~~~~~~~~ memory.c:1428:20: warning: variable ‘ActEndOfPage’ set but not used [-Wunused-but-set-variable] 1428 | POINTER ActEndOfPage; /* end of current page */ | ^~~~~~~~~~~~ memory.c: In function ‘memory_PrintLeaks’: memory.c:1805:21: warning: variable ‘BlockSize’ set but not used [-Wunused-but-set-variable] 1805 | unsigned int BlockSize; /* total block size */ | ^~~~~~~~~ memory.c:1802:21: warning: variable ‘ActEndOfPage’ set but not used [-Wunused-but-set-variable] 1802 | POINTER ActEndOfPage; /* end of current page */ | ^~~~~~~~~~~~ memory.c:1801:21: warning: variable ‘ActNext’ set but not used [-Wunused-but-set-variable] 1801 | POINTER ActNext; /* next fresh block on current page */ | ^~~~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o strings.o strings.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o stack.o stack.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o list.o list.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clock.o clock.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o vector.o vector.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o hashmap.o hashmap.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o symbol.o symbol.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o term.o term.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o context.o context.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o unify.o unify.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o subst.o subst.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o st.o st.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clause.o clause.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o sharing.o sharing.c sharing.c: In function ‘sharing_DeleteFromSharing’: sharing.c:672:8: warning: variable ‘IsIndexed’ set but not used [-Wunused-but-set-variable] 672 | BOOL IsIndexed; | ^~~~~~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cmdline.o cmdline.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o order.o order.c order.c: In function ‘ord_LiteralCompareAux’: order.c:414:20: warning: variable ‘OLit2’ set but not used [-Wunused-but-set-variable] 414 | TERM OLit1,OLit2; | ^~~~~ order.c:414:14: warning: variable ‘OLit1’ set but not used [-Wunused-but-set-variable] 414 | TERM OLit1,OLit2; | ^~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o kbo.o kbo.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o rpos.o rpos.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o subsumption.o subsumption.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o condensing.o condensing.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o component.o component.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o defs.o defs.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ras.o ras.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o eml.o eml.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o description.o description.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o array.o array.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o foldfg.o foldfg.c foldfg.c: In function ‘fol_CheckFatherLinks’: foldfg.c:1540:8: warning: variable ‘Result’ set but not used [-Wunused-but-set-variable] 1540 | TERM Result; | ^~~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cnf.o cnf.c cnf.c: In function ‘cnf_List_MultiCons’: cnf.c:1400:8: warning: variable ‘BreakOut’ set but not used [-Wunused-but-set-variable] 1400 | BOOL BreakOut; | ^~~~~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o resolution.o resolution.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o renaming.o renaming.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o rules-inf.o rules-inf.c rules-inf.c: In function ‘inf_GenSPLeftLitToGiven’: rules-inf.c:3436:11: warning: variable ‘Lit’ set but not used [-Wunused-but-set-variable] 3436 | LITERAL Lit; | ^~~ rules-inf.c: In function ‘inf_NegativeChaining’: rules-inf.c:5045:9: warning: variable ‘n’ set but not used [-Wunused-but-set-variable] 5045 | int i,n,m; | ^ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o rules-split.o rules-split.c rules-split.c: In function ‘split_Backtrack’: rules-split.c:173:14: warning: variable ‘DeepestRightBranchLevel’ set but not used [-Wunused-but-set-variable] 173 | int DeepestRightBranchLevel = prfs_ComputeDeepestRightBranchLevel(PS); | ^~~~~~~~~~~~~~~~~~~~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o rules-ur.o rules-ur.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o terminator.o terminator.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o rules-red.o rules-red.c rules-red.c: In function ‘red_CRwRecContGrRewSideCondCheck’: rules-red.c:2278:10: warning: variable ‘aux’ set but not used [-Wunused-but-set-variable] 2278 | CLAUSE aux; | ^~~ rules-red.c:2277:14: warning: variable ‘Precedence’ set but not used [-Wunused-but-set-variable] 2277 | PRECEDENCE Precedence; | ^~~~~~~~~~ rules-red.c:2276:13: warning: variable ‘Flags’ set but not used [-Wunused-but-set-variable] 2276 | FLAGSTORE Flags; | ^~~~~ rules-red.c: In function ‘red_CRwRecursiveContextualGroundRewritingAux’: rules-red.c:2387:7: warning: variable ‘last’ set but not used [-Wunused-but-set-variable] 2387 | int last, h; | ^~~~ rules-red.c: In function ‘red_CRwSideCondSubtermContextualRewriting’: rules-red.c:3340:14: warning: variable ‘Precedence’ set but not used [-Wunused-but-set-variable] 3340 | PRECEDENCE Precedence; | ^~~~~~~~~~ rules-red.c: In function ‘red_NegativeContextualRewriting’: rules-red.c:3500:40: warning: variable ‘Right’ set but not used [-Wunused-but-set-variable] 3500 | TERM RuleLitCopyAtom, TermSCopy, Right, RightCopy; | ^~~~~ rules-red.c:3461:14: warning: variable ‘Precedence’ set but not used [-Wunused-but-set-variable] 3461 | PRECEDENCE Precedence; | ^~~~~~~~~~ rules-red.c:3460:13: warning: variable ‘Flags’ set but not used [-Wunused-but-set-variable] 3460 | FLAGSTORE Flags; | ^~~~~ rules-red.c: In function ‘red_BackOnLiteralAuxSubtermContextualRewriting’: rules-red.c:5720:43: warning: variable ‘RightCopy’ set but not used [-Wunused-but-set-variable] 5720 | TERM CandTerm, ReplaceTermT, TermSCopy, RightCopy, ActAtom; | ^~~~~~~~~ rules-red.c: In function ‘red_BackCRwLitElimination’: rules-red.c:6048:8: warning: variable ‘Tautology’ set but not used [-Wunused-but-set-variable] 6048 | BOOL Tautology; | ^~~~~~~~~ rules-red.c: In function ‘red_BackCRwSubtermContextualRewriting’: rules-red.c:6312:14: warning: variable ‘Precedence’ set but not used [-Wunused-but-set-variable] 6312 | PRECEDENCE Precedence; | ^~~~~~~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o rules-sort.o rules-sort.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o analyze.o analyze.c analyze.c: In function ‘ana_Print’: analyze.c:440:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 440 | if (ana_GetConClauses(Ana) > 0 && ana_GetFeature(Ana,ana_CONGROUND) && !ana_GetFeature(Ana,ana_PUREPROPOSITIONAL)) | ^~ analyze.c:443:5: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 443 | if (ana_GetFeature(Ana,ana_TRANSITIVITY)) | ^~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o graph.o graph.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o sort.o sort.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o doc-proof.o doc-proof.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o search.o search.c search.c: In function ‘prfs_SplitfieldContainsLevel’: search.c:1776:20: warning: variable ‘offset’ set but not used [-Wunused-but-set-variable] 1776 | uintptr_t field, offset; | ^~~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o flags.o flags.c flags.c: In function ‘flag_GetFlagStringValue’: flags.c:1231:10: warning: variable ‘IntValue’ set but not used [-Wunused-but-set-variable] 1231 | int IntValue; | ^~~~~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o dfg_diagnostic.o dfg_diagnostic.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o dfg_string_table.o dfg_string_table.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o dfg_token.o dfg_token.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o dfgparser.o dfgparser.c dfgparser.c: In function ‘dfg_FilterClausesBySelectionA’: dfgparser.c:475:10: warning: variable ‘j’ set but not used [-Wunused-but-set-variable] 475 | int i, j; | ^ dfgparser.c: In function ‘dfg_parse_includes’: dfgparser.c:4481:9: warning: variable ‘includes’ set but not used [-Wunused-but-set-variable] 4481 | LIST includes; | ^~~~~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o dfglexer.o dfglexer.c bison -d -p tptp_ -o tptpparser.c tptpparser.y gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tptpparser.o tptpparser.c tptpparser.y: In function ‘tptp_Identifierify’: tptpparser.y:934:11: warning: variable ‘LookupIdx’ set but not used [-Wunused-but-set-variable] 934 | POINTER LookupIdx; | ^~~~~~~~~ flex -Ce -Ptptp_ -otptpscanner.c tptpscanner.l gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wno-implicit -Wno-uninitialized -c tptpscanner.c -o tptpscanner.o bison -d -p ia_ -o iaparser.c iaparser.y gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o iaparser.o iaparser.c flex -Ce -Pia_ -oiascanner.c iascanner.l gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wno-implicit -Wno-uninitialized -c iascanner.c -o iascanner.o gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o proofcheck.o proofcheck.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tableau.o tableau.c tableau.c: In function ‘tab_CheckUnfinishedAndRepair’: tableau.c:664:10: warning: variable ‘Found’ set but not used [-Wunused-but-set-variable] 664 | BOOL Found; | ^~~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o closure.o closure.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o partition.o partition.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o table.o table.c gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline -Wdate-time -D_FORTIFY_SOURCE=2 -c -o top.o top.c top.c: In function ‘top_ComputeSplitPotential’: top.c:498:11: warning: variable ‘Atom’ set but not used [-Wunused-but-set-variable] 498 | TERM Atom; | ^~~~ top.c: In function ‘top_GetBestSplitLiterals’: top.c:548:11: warning: variable ‘Atom’ set but not used [-Wunused-but-set-variable] 548 | TERM Atom; | ^~~~ gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2 -Winline misc.o memory.o strings.o stack.o list.o clock.o vector.o hashmap.o symbol.o term.o context.o unify.o subst.o st.o clause.o sharing.o cmdline.o order.o kbo.o rpos.o subsumption.o condensing.o component.o defs.o ras.o eml.o description.o array.o foldfg.o cnf.o resolution.o renaming.o rules-inf.o rules-split.o rules-ur.o terminator.o rules-red.o rules-sort.o analyze.o graph.o sort.o doc-proof.o search.o flags.o dfg_diagnostic.o dfg_string_table.o dfg_token.o dfgparser.o dfglexer.o tptpparser.o tptpscanner.o iaparser.o iascanner.o proofcheck.o tableau.o closure.o partition.o table.o top.o -lm -o SPASS make[1]: Leaving directory '/build/spass-iHMFgj/spass-3.9' dh_auto_test -a -O--no-parallel create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --no-parallel dh_testroot -a -O--no-parallel dh_prep -a -O--no-parallel dh_auto_install -a -O--no-parallel dh_install -a -O--no-parallel dh_installdocs -a -O--no-parallel dh_installchangelogs -a -O--no-parallel dh_installinit -a -O--no-parallel dh_installsystemduser -a -O--no-parallel dh_lintian -a -O--no-parallel dh_perl -a -O--no-parallel dh_link -a -O--no-parallel dh_strip_nondeterminism -a -O--no-parallel dh_compress -a -O--no-parallel dh_fixperms -a -O--no-parallel dh_missing -a -O--no-parallel dh_dwz -a -O--no-parallel dwz: debian/spass/usr/bin/SPASS: .debug_info section not present dh_strip -a -O--no-parallel dh_makeshlibs -a -O--no-parallel dh_shlibdeps -a -O--no-parallel dh_installdeb -a -O--no-parallel dh_gencontrol -a -O--no-parallel dh_md5sums -a -O--no-parallel dh_builddeb -a -O--no-parallel dpkg-deb: building package 'spass-dbgsym' in '../spass-dbgsym_3.9-1.1_amd64.deb'. dpkg-deb: building package 'spass' in '../spass_3.9-1.1_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../spass_3.9-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/spass-iHMFgj /tmp/spass-3.9-1.18264x8en I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.OYjpNFgdFX... I: success in 334.5049 seconds md5: spass-dbgsym_3.9-1.1_amd64.deb: OK md5: spass_3.9-1.1_amd64.deb: OK sha1: spass-dbgsym_3.9-1.1_amd64.deb: OK sha1: spass_3.9-1.1_amd64.deb: OK sha256: spass-dbgsym_3.9-1.1_amd64.deb: OK sha256: spass_3.9-1.1_amd64.deb: OK Checksums: OK