Running as unit: rb-build-amd64_37-51631.service ==================================================================================== Sat Feb 22 19:53:49 UTC 2025 - running /srv/jenkins/bin/reproducible_build.sh (for job reproducible_builder_amd64_37) on jenkins, called using "infom01-amd64 infom02-amd64" as arguments. Sat Feb 22 19:53:49 UTC 2025 - actually running "reproducible_build.sh" (md5sum 68e686e434c9ab7bc3ec047d8b309cbc) as "/tmp/jenkins-script-fgv7WnxA" $ git clone https://salsa.debian.org/qa/jenkins.debian.net.git ; more CONTRIBUTING Sat Feb 22 19:53:49 UTC 2025 - checking /var/lib/jenkins/offline_nodes if infom01-amd64.debian.net is marked as down. Sat Feb 22 19:53:49 UTC 2025 - checking via ssh if infom01-amd64.debian.net is up. removed '/tmp/read-only-fs-test-uA1PfF' Sat Feb 22 19:53:50 UTC 2025 - checking /var/lib/jenkins/offline_nodes if infom02-amd64.debian.net is marked as down. Sat Feb 22 19:53:50 UTC 2025 - checking via ssh if infom02-amd64.debian.net is up. removed '/tmp/read-only-fs-test-YUX41A' ok, let's check if spass is building anywhere yet… ok, spass is not building anywhere… UPDATE 1 ============================================================================= Initialising reproducibly build of spass in unstable on amd64 on jenkins now. 1st build will be done on infom01-amd64.debian.net. 2nd build will be done on infom02-amd64.debian.net. ============================================================================= Sat Feb 22 19:53:56 UTC 2025 I: starting to build spass/unstable/amd64 on jenkins on '2025-02-22 19:53' Sat Feb 22 19:53:56 UTC 2025 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_37/51631/console.log 1740254036 amd64 unstable spass Sat Feb 22 19:53:56 UTC 2025 I: Downloading source for unstable/spass=3.9-1.1 --2025-02-22 19:53:56-- http://deb.debian.org/debian/pool/main/s/spass/spass_3.9-1.1.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2002 (2.0K) [text/prs.lines.tag] Saving to: ‘spass_3.9-1.1.dsc’ 0K . 100% 351M=0s 2025-02-22 19:53:56 (351 MB/s) - ‘spass_3.9-1.1.dsc’ saved [2002/2002] --2025-02-22 19:53:56-- http://deb.debian.org/debian/pool/main/s/spass/spass_3.9-1.1.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2002 (2.0K) [text/prs.lines.tag] Saving to: ‘spass_3.9-1.1.dsc’ 0K . 100% 351M=0s 2025-02-22 19:53:56 (351 MB/s) - ‘spass_3.9-1.1.dsc’ saved [2002/2002] Sat Feb 22 19:53:56 UTC 2025 I: spass_3.9-1.1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: spass Binary: spass Architecture: any Version: 3.9-1.1 Maintainer: Debian Science Maintainers Uploaders: Ralf Treinen Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/ Standards-Version: 4.5.0 Vcs-Browser: https://salsa.debian.org/science-team/spass Vcs-Git: https://salsa.debian.org/science-team/spass.git Testsuite: autopkgtest Build-Depends: debhelper-compat (= 12), bison, flex Package-List: spass deb science optional arch=any Checksums-Sha1: a51bd27fd0b742686754cc63f55a29eb5aadb66c 560563 spass_3.9.orig.tar.gz 33ae0bb1ba3782b7f6bd2fb3aede11a0b5ba99cc 3944 spass_3.9-1.1.debian.tar.xz Checksums-Sha256: cdf40431a3ddecd62b168f5321002a804825f8a74c006f08b8b54272c5adc26d 560563 spass_3.9.orig.tar.gz e0b1d75f3cb79b9863571c644b52ec31d57874e030b2bf6dbbccb7c016424fcb 3944 spass_3.9-1.1.debian.tar.xz Files: d5d1fd09574bd93e5c7c1781e89b743e 560563 spass_3.9.orig.tar.gz 90cd0bbd8499d837c5465c50efa45f01 3944 spass_3.9-1.1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmAJnGIACgkQiNJCh6LY mLG84A/8CUVou83jhKB5vuIcCPB6AcsMxhnYER2XjNQcPWqF8+z/DORpG6rKjQRK 32CbkeMuSZA1TriEJJA1hOhwLsDRhMxaa4MkKPoo7y186NN7bXNy5EFRCVGr6egz z90Ve1anqvJAJIeqO6vmkSegoeCCbyd2dXOXPadkI3V5BYMDbmBlvEJlrrfxfoyw EG1jZXULFt7ckiwCf5mudpuR3Wa2kiDH844Vfg6Z54NtXfYOb5P3ONTrSd/fPpYV xJqcovW8UiahuPe1bsIZbiVZitpefZEn0GItjLXW+04VUsM5Rq/ecfoYeWKnY/UY AGqjDjCCExH8y/NVDXxaqJky7+HIOzRx4cVUDRLbRY5CNf4gQSmxdS9gfwBQQgx3 Ar17V4aNIEJERLYcD0b+hcHwr1lHsAleNMvS4WoBEeoLKYuiirGxRQ/iyg3Ny3HD b0XCRg/QZz7IbTw6OOJ/KYwd+IeD7UtioCohIyGQiq68rmAYVxm+uaOFDMNBgTdp nBOeDRPK87JbAdQn7X/rYr1W3fwCG9LWYm1o7qjT/eMi0ge3IahgDM6l3LwFk896 p3qaukHrOBUitJ8I/c+B0pTBEW2IOa6MscI58/vzgsU8UQgO2TN8fddP1BAiGLQR 1bjKzbgDtdsh0hHIPkIOa68oxLeiEax2rZnefPAA6gw2odCho0I= =nf24 -----END PGP SIGNATURE----- Sat Feb 22 19:53:56 UTC 2025 I: Checking whether the package is not for us Sat Feb 22 19:53:56 UTC 2025 I: Starting 1st build on remote node infom01-amd64.debian.net. Sat Feb 22 19:53:56 UTC 2025 I: Preparing to do remote build '1' on infom01-amd64.debian.net. Sat Feb 22 19:53:56 UTC 2025 - checking /var/lib/jenkins/offline_nodes if infom01-amd64.debian.net is marked as down. Sat Feb 22 19:53:56 UTC 2025 - checking via ssh if infom01-amd64.debian.net is up. removed '/tmp/read-only-fs-test-IxUJ6Q' ==================================================================================== Sat Feb 22 19:53:58 UTC 2025 - running /srv/jenkins/bin/reproducible_build.sh (for job /srv/jenkins/bin/reproducible_build.sh) on infom01-amd64, called using "1 spass unstable /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB 3.9-1.1" as arguments. Sat Feb 22 19:53:58 UTC 2025 - actually running "reproducible_build.sh" (md5sum 68e686e434c9ab7bc3ec047d8b309cbc) as "/tmp/jenkins-script-csJze5ST" $ git clone https://salsa.debian.org/qa/jenkins.debian.net.git ; more CONTRIBUTING Sat Feb 22 19:53:58 UTC 2025 I: Downloading source for unstable/spass=3.9-1.1 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://deb.debian.org/debian unstable/main spass 3.9-1.1 (dsc) [2002 B] Get:2 http://deb.debian.org/debian unstable/main spass 3.9-1.1 (tar) [561 kB] Get:3 http://deb.debian.org/debian unstable/main spass 3.9-1.1 (diff) [3944 B] Fetched 567 kB in 0s (4662 kB/s) Download complete and in download only mode 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://deb.debian.org/debian unstable/main spass 3.9-1.1 (dsc) [2002 B] Get:2 http://deb.debian.org/debian unstable/main spass 3.9-1.1 (tar) [561 kB] Get:3 http://deb.debian.org/debian unstable/main spass 3.9-1.1 (diff) [3944 B] Fetched 567 kB in 0s (4662 kB/s) Download complete and in download only mode ============================================================================= Building spass in unstable on amd64 on infom01-amd64 now. Date: Sat Feb 22 19:53:58 UTC 2025 Date UTC: Sat Feb 22 19:53:58 UTC 2025 ============================================================================= W: /root/.pbuilderrc does not exist I: Logging to b1/build.log I: pbuilder: network access will be disabled during build I: Current time: Sat Feb 22 07:53:58 -12 2025 I: pbuilder-time-stamp: 1740254038 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. 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 [spass_3.9-1.1.dsc] I: copying [./spass_3.9.orig.tar.gz] I: copying [./spass_3.9-1.1.debian.tar.xz] I: Extracting source dpkg-source: warning: cannot verify inline signature for ./spass_3.9-1.1.dsc: unsupported subcommand dpkg-source: info: extracting spass in 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: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/1581689/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' DISTRIBUTION='unstable' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='2fa00b496a2d487690fc5e0c05cc7c79' 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='1581689' 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/r-b-build.wyEFRyPB/pbuilderrc_fUyg --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b1 --logfile b1/build.log spass_3.9-1.1.dsc' SUDO_GID='109' SUDO_UID='104' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' I: uname -a Linux infom01-amd64 6.1.0-31-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.128-1 (2025-02-07) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin I: user script /srv/workspace/pbuilder/1581689/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: amd64 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-compat (= 12), bison, flex dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19775 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-compat (= 12); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on bison; however: Package bison is not installed. pbuilder-satisfydepends-dummy depends on flex; however: Package flex 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} bison{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} flex{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libtool{a} libuchardet0{a} libunistring5{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 libfl-dev libltdl-dev libmail-sendmail-perl lynx wget 0 packages upgraded, 32 newly installed, 0 to remove and 0 not upgraded. Need to get 22.1 MB of archives. After unpacking 82.4 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-5 [294 kB] Get: 2 http://deb.debian.org/debian unstable/main amd64 flex amd64 2.6.4-8.2+b4 [423 kB] Get: 3 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB] Get: 4 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB] Get: 5 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB] Get: 6 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB] Get: 7 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.23.1-1 [243 kB] Get: 8 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB] Get: 9 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB] Get: 10 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.4-4 [92.4 kB] Get: 11 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get: 12 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB] Get: 13 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3 [493 kB] Get: 14 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get: 15 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.17-3 [862 kB] Get: 16 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.23.1-1 [770 kB] Get: 17 http://deb.debian.org/debian unstable/main amd64 bison amd64 2:3.8.2+dfsg-1+b2 [1170 kB] Get: 18 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.24.1 [90.9 kB] Get: 19 http://deb.debian.org/debian unstable/main amd64 libtool all 2.5.4-3 [539 kB] Get: 20 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 21 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 22 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB] Get: 23 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.1-2 [8620 B] Get: 24 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get: 25 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get: 26 http://deb.debian.org/debian unstable/main amd64 libunistring5 amd64 1.3-1 [476 kB] Get: 27 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-6 [9421 kB] Get: 28 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB] Get: 29 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.23.1-1 [1680 kB] Get: 30 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 31 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 32 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.24.1 [920 kB] Fetched 22.1 MB in 0s (95.4 MB/s) Preconfiguring packages ... Selecting previously unselected package m4. (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 ... 19775 files and directories currently installed.) Preparing to unpack .../00-m4_1.4.19-5_amd64.deb ... Unpacking m4 (1.4.19-5) ... Selecting previously unselected package flex. Preparing to unpack .../01-flex_2.6.4-8.2+b4_amd64.deb ... Unpacking flex (2.6.4-8.2+b4) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../02-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../03-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../04-libmagic1t64_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../05-file_1%3a5.45-3+b1_amd64.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../06-gettext-base_0.23.1-1_amd64.deb ... Unpacking gettext-base (0.23.1-1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../07-libuchardet0_0.0.8-1+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../08-groff-base_1.23.0-7_amd64.deb ... Unpacking groff-base (1.23.0-7) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../09-bsdextrautils_2.40.4-4_amd64.deb ... Unpacking bsdextrautils (2.40.4-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../10-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../11-man-db_2.13.0-1_amd64.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.17-3_all.deb ... Unpacking automake (1:1.17-3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.23.1-1_all.deb ... Unpacking autopoint (0.23.1-1) ... Selecting previously unselected package bison. Preparing to unpack .../16-bison_2%3a3.8.2+dfsg-1+b2_amd64.deb ... Unpacking bison (2:3.8.2+dfsg-1+b2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../17-libdebhelper-perl_13.24.1_all.deb ... Unpacking libdebhelper-perl (13.24.1) ... Selecting previously unselected package libtool. Preparing to unpack .../18-libtool_2.5.4-3_all.deb ... Unpacking libtool (2.5.4-3) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../19-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../20-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../22-dh-strip-nondeterminism_1.14.1-2_all.deb ... Unpacking dh-strip-nondeterminism (1.14.1-2) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../23-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../25-libunistring5_1.3-1_amd64.deb ... Unpacking libunistring5:amd64 (1.3-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../26-libicu72_72.1-6_amd64.deb ... Unpacking libicu72:amd64 (72.1-6) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../27-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../28-gettext_0.23.1-1_amd64.deb ... Unpacking gettext (0.23.1-1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../29-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../30-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../31-debhelper_13.24.1_all.deb ... Unpacking debhelper (13.24.1) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libicu72:amd64 (72.1-6) ... Setting up bsdextrautils (2.40.4-4) ... Setting up libmagic-mgc (1:5.45-3+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.24.1) ... Setting up libmagic1t64:amd64 (1:5.45-3+b1) ... Setting up gettext-base (0.23.1-1) ... Setting up m4 (1.4.19-5) ... Setting up file (1:5.45-3+b1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up autotools-dev (20220109.1) ... Setting up libunistring5:amd64 (1.3-1) ... Setting up autopoint (0.23.1-1) ... Setting up autoconf (2.72-3) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:amd64 (0.0.8-1+b2) ... Setting up bison (2:3.8.2+dfsg-1+b2) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Setting up automake (1:1.17-3) ... update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.1-2) ... Setting up flex (2.6.4-8.2+b4) ... Setting up gettext (0.23.1-1) ... Setting up libtool (2.5.4-3) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up dh-strip-nondeterminism (1.14.1-2) ... Setting up groff-base (1.23.0-7) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.13.0-1) ... Not building database; man-db/auto-update is not 'true'. Setting up debhelper (13.24.1) ... Processing triggers for libc-bin (2.40-7) ... 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.37-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/reproducible-path/spass-3.9/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../spass_3.9-1.1_source.changes 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 debian/rules clean dh clean --no-parallel dh_auto_clean -O--no-parallel make -j1 clean make[1]: Entering directory '/build/reproducible-path/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/reproducible-path/spass-3.9' dh_autoreconf_clean -O--no-parallel dh_clean -O--no-parallel debian/rules binary dh binary --no-parallel dh_update_autotools_config -O--no-parallel dh_autoreconf -O--no-parallel dh_auto_configure -O--no-parallel dh_auto_build -O--no-parallel make -j1 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/reproducible-path/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/reproducible-path/spass-3.9' dh_auto_test -O--no-parallel create-stamp debian/debhelper-build-stamp dh_testroot -O--no-parallel dh_prep -O--no-parallel dh_auto_install --destdir=debian/spass/ -O--no-parallel dh_install -O--no-parallel dh_installdocs -O--no-parallel dh_installchangelogs -O--no-parallel dh_installinit -O--no-parallel dh_installsystemduser -O--no-parallel dh_lintian -O--no-parallel dh_perl -O--no-parallel dh_link -O--no-parallel dh_strip_nondeterminism -O--no-parallel dh_compress -O--no-parallel dh_fixperms -O--no-parallel dh_missing -O--no-parallel dh_dwz -O--no-parallel dwz: debian/spass/usr/bin/SPASS: .debug_info section not present dh_strip -O--no-parallel dh_makeshlibs -O--no-parallel dh_shlibdeps -O--no-parallel dh_installdeb -O--no-parallel dh_gencontrol -O--no-parallel dh_md5sums -O--no-parallel dh_builddeb -O--no-parallel dpkg-deb: building package 'spass' in '../spass_3.9-1.1_amd64.deb'. dpkg-deb: building package 'spass-dbgsym' in '../spass-dbgsym_3.9-1.1_amd64.deb'. dpkg-genbuildinfo --build=binary -O../spass_3.9-1.1_amd64.buildinfo dpkg-genchanges --build=binary -O../spass_3.9-1.1_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload 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/1581689 and its subdirectories I: Current time: Sat Feb 22 07:54:49 -12 2025 I: pbuilder-time-stamp: 1740254089 Sat Feb 22 19:54:49 UTC 2025 I: Signing ./b1/spass_3.9-1.1_amd64.buildinfo as spass_3.9-1.1_amd64.buildinfo.asc Sat Feb 22 19:54:49 UTC 2025 I: Signed ./b1/spass_3.9-1.1_amd64.buildinfo as ./b1/spass_3.9-1.1_amd64.buildinfo.asc Sat Feb 22 19:54:49 UTC 2025 - build #1 for spass/unstable/amd64 on infom01-amd64 done. Starting cleanup. All cleanup done. Sat Feb 22 19:54:49 UTC 2025 - reproducible_build.sh stopped running as /tmp/jenkins-script-csJze5ST, removing. /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB: total 16 drwxr-xr-x 2 jenkins jenkins 4096 Feb 22 19:54 b1 drwxr-xr-x 2 jenkins jenkins 4096 Feb 22 19:53 b2 -rw------- 1 jenkins jenkins 3090 Feb 22 19:53 rbuildlog.tVfxr8N -rw-r--r-- 1 jenkins jenkins 2002 Jan 21 2021 spass_3.9-1.1.dsc /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b1: total 396 -rw-r--r-- 1 jenkins jenkins 38857 Feb 22 19:54 build.log -rw-r--r-- 1 jenkins jenkins 33124 Feb 22 19:54 spass-dbgsym_3.9-1.1_amd64.deb -rw-r--r-- 1 jenkins jenkins 3944 Feb 22 19:54 spass_3.9-1.1.debian.tar.xz -rw-r--r-- 1 jenkins jenkins 2002 Feb 22 19:54 spass_3.9-1.1.dsc -rw-r--r-- 1 jenkins jenkins 4893 Feb 22 19:54 spass_3.9-1.1_amd64.buildinfo -rw-r--r-- 1 jenkins jenkins 5775 Feb 22 19:54 spass_3.9-1.1_amd64.buildinfo.asc -rw-r--r-- 1 jenkins jenkins 1397 Feb 22 19:54 spass_3.9-1.1_amd64.changes -rw-r--r-- 1 jenkins jenkins 292208 Feb 22 19:54 spass_3.9-1.1_amd64.deb -rw-r--r-- 1 jenkins jenkins 1249 Feb 22 19:54 spass_3.9-1.1_source.changes /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b2: total 0 Sat Feb 22 19:54:50 UTC 2025 I: Deleting $TMPDIR on infom01-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Sat Feb 22 07:53:58 -12 2025 I: pbuilder-time-stamp: 1740254038 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. 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 [spass_3.9-1.1.dsc] I: copying [./spass_3.9.orig.tar.gz] I: copying [./spass_3.9-1.1.debian.tar.xz] I: Extracting source dpkg-source: warning: cannot verify inline signature for ./spass_3.9-1.1.dsc: unsupported subcommand dpkg-source: info: extracting spass in 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: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/1581689/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' DISTRIBUTION='unstable' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='2fa00b496a2d487690fc5e0c05cc7c79' 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='1581689' 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/r-b-build.wyEFRyPB/pbuilderrc_fUyg --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b1 --logfile b1/build.log spass_3.9-1.1.dsc' SUDO_GID='109' SUDO_UID='104' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' I: uname -a Linux infom01-amd64 6.1.0-31-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.128-1 (2025-02-07) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin I: user script /srv/workspace/pbuilder/1581689/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: amd64 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-compat (= 12), bison, flex dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19775 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-compat (= 12); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on bison; however: Package bison is not installed. pbuilder-satisfydepends-dummy depends on flex; however: Package flex 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} bison{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} flex{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libtool{a} libuchardet0{a} libunistring5{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 libfl-dev libltdl-dev libmail-sendmail-perl lynx wget 0 packages upgraded, 32 newly installed, 0 to remove and 0 not upgraded. Need to get 22.1 MB of archives. After unpacking 82.4 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-5 [294 kB] Get: 2 http://deb.debian.org/debian unstable/main amd64 flex amd64 2.6.4-8.2+b4 [423 kB] Get: 3 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB] Get: 4 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB] Get: 5 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB] Get: 6 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB] Get: 7 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.23.1-1 [243 kB] Get: 8 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB] Get: 9 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB] Get: 10 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.4-4 [92.4 kB] Get: 11 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get: 12 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB] Get: 13 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3 [493 kB] Get: 14 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get: 15 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.17-3 [862 kB] Get: 16 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.23.1-1 [770 kB] Get: 17 http://deb.debian.org/debian unstable/main amd64 bison amd64 2:3.8.2+dfsg-1+b2 [1170 kB] Get: 18 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.24.1 [90.9 kB] Get: 19 http://deb.debian.org/debian unstable/main amd64 libtool all 2.5.4-3 [539 kB] Get: 20 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 21 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 22 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB] Get: 23 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.1-2 [8620 B] Get: 24 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get: 25 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get: 26 http://deb.debian.org/debian unstable/main amd64 libunistring5 amd64 1.3-1 [476 kB] Get: 27 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-6 [9421 kB] Get: 28 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB] Get: 29 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.23.1-1 [1680 kB] Get: 30 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 31 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 32 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.24.1 [920 kB] Fetched 22.1 MB in 0s (95.4 MB/s) Preconfiguring packages ... Selecting previously unselected package m4. (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 ... 19775 files and directories currently installed.) Preparing to unpack .../00-m4_1.4.19-5_amd64.deb ... Unpacking m4 (1.4.19-5) ... Selecting previously unselected package flex. Preparing to unpack .../01-flex_2.6.4-8.2+b4_amd64.deb ... Unpacking flex (2.6.4-8.2+b4) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../02-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../03-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../04-libmagic1t64_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../05-file_1%3a5.45-3+b1_amd64.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../06-gettext-base_0.23.1-1_amd64.deb ... Unpacking gettext-base (0.23.1-1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../07-libuchardet0_0.0.8-1+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../08-groff-base_1.23.0-7_amd64.deb ... Unpacking groff-base (1.23.0-7) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../09-bsdextrautils_2.40.4-4_amd64.deb ... Unpacking bsdextrautils (2.40.4-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../10-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../11-man-db_2.13.0-1_amd64.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.17-3_all.deb ... Unpacking automake (1:1.17-3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.23.1-1_all.deb ... Unpacking autopoint (0.23.1-1) ... Selecting previously unselected package bison. Preparing to unpack .../16-bison_2%3a3.8.2+dfsg-1+b2_amd64.deb ... Unpacking bison (2:3.8.2+dfsg-1+b2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../17-libdebhelper-perl_13.24.1_all.deb ... Unpacking libdebhelper-perl (13.24.1) ... Selecting previously unselected package libtool. Preparing to unpack .../18-libtool_2.5.4-3_all.deb ... Unpacking libtool (2.5.4-3) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../19-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../20-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../22-dh-strip-nondeterminism_1.14.1-2_all.deb ... Unpacking dh-strip-nondeterminism (1.14.1-2) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../23-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../25-libunistring5_1.3-1_amd64.deb ... Unpacking libunistring5:amd64 (1.3-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../26-libicu72_72.1-6_amd64.deb ... Unpacking libicu72:amd64 (72.1-6) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../27-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../28-gettext_0.23.1-1_amd64.deb ... Unpacking gettext (0.23.1-1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../29-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../30-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../31-debhelper_13.24.1_all.deb ... Unpacking debhelper (13.24.1) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libicu72:amd64 (72.1-6) ... Setting up bsdextrautils (2.40.4-4) ... Setting up libmagic-mgc (1:5.45-3+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.24.1) ... Setting up libmagic1t64:amd64 (1:5.45-3+b1) ... Setting up gettext-base (0.23.1-1) ... Setting up m4 (1.4.19-5) ... Setting up file (1:5.45-3+b1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up autotools-dev (20220109.1) ... Setting up libunistring5:amd64 (1.3-1) ... Setting up autopoint (0.23.1-1) ... Setting up autoconf (2.72-3) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:amd64 (0.0.8-1+b2) ... Setting up bison (2:3.8.2+dfsg-1+b2) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Setting up automake (1:1.17-3) ... update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.1-2) ... Setting up flex (2.6.4-8.2+b4) ... Setting up gettext (0.23.1-1) ... Setting up libtool (2.5.4-3) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up dh-strip-nondeterminism (1.14.1-2) ... Setting up groff-base (1.23.0-7) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.13.0-1) ... Not building database; man-db/auto-update is not 'true'. Setting up debhelper (13.24.1) ... Processing triggers for libc-bin (2.40-7) ... 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.37-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/reproducible-path/spass-3.9/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../spass_3.9-1.1_source.changes 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 debian/rules clean dh clean --no-parallel dh_auto_clean -O--no-parallel make -j1 clean make[1]: Entering directory '/build/reproducible-path/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/reproducible-path/spass-3.9' dh_autoreconf_clean -O--no-parallel dh_clean -O--no-parallel debian/rules binary dh binary --no-parallel dh_update_autotools_config -O--no-parallel dh_autoreconf -O--no-parallel dh_auto_configure -O--no-parallel dh_auto_build -O--no-parallel make -j1 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/reproducible-path/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/reproducible-path/spass-3.9' dh_auto_test -O--no-parallel create-stamp debian/debhelper-build-stamp dh_testroot -O--no-parallel dh_prep -O--no-parallel dh_auto_install --destdir=debian/spass/ -O--no-parallel dh_install -O--no-parallel dh_installdocs -O--no-parallel dh_installchangelogs -O--no-parallel dh_installinit -O--no-parallel dh_installsystemduser -O--no-parallel dh_lintian -O--no-parallel dh_perl -O--no-parallel dh_link -O--no-parallel dh_strip_nondeterminism -O--no-parallel dh_compress -O--no-parallel dh_fixperms -O--no-parallel dh_missing -O--no-parallel dh_dwz -O--no-parallel dwz: debian/spass/usr/bin/SPASS: .debug_info section not present dh_strip -O--no-parallel dh_makeshlibs -O--no-parallel dh_shlibdeps -O--no-parallel dh_installdeb -O--no-parallel dh_gencontrol -O--no-parallel dh_md5sums -O--no-parallel dh_builddeb -O--no-parallel dpkg-deb: building package 'spass' in '../spass_3.9-1.1_amd64.deb'. dpkg-deb: building package 'spass-dbgsym' in '../spass-dbgsym_3.9-1.1_amd64.deb'. dpkg-genbuildinfo --build=binary -O../spass_3.9-1.1_amd64.buildinfo dpkg-genchanges --build=binary -O../spass_3.9-1.1_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload 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/1581689 and its subdirectories I: Current time: Sat Feb 22 07:54:49 -12 2025 I: pbuilder-time-stamp: 1740254089 Sat Feb 22 19:54:50 UTC 2025 I: 1st build successful. Starting 2nd build on remote node infom02-amd64.debian.net. Sat Feb 22 19:54:50 UTC 2025 I: Preparing to do remote build '2' on infom02-amd64.debian.net. Sat Feb 22 19:54:50 UTC 2025 - checking /var/lib/jenkins/offline_nodes if infom02-amd64.debian.net is marked as down. Sat Feb 22 19:54:50 UTC 2025 - checking via ssh if infom02-amd64.debian.net is up. removed '/tmp/read-only-fs-test-n6Vqjh' ==================================================================================== Sat Mar 28 02:17:52 UTC 2026 - running /srv/jenkins/bin/reproducible_build.sh (for job /srv/jenkins/bin/reproducible_build.sh) on infom02-amd64, called using "2 spass unstable /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB 3.9-1.1" as arguments. Sat Mar 28 02:17:52 UTC 2026 - actually running "reproducible_build.sh" (md5sum 68e686e434c9ab7bc3ec047d8b309cbc) as "/tmp/jenkins-script-8FQLYqsM" $ git clone https://salsa.debian.org/qa/jenkins.debian.net.git ; more CONTRIBUTING Sat Mar 28 02:17:52 UTC 2026 I: Downloading source for unstable/spass=3.9-1.1 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://deb.debian.org/debian unstable/main spass 3.9-1.1 (dsc) [2002 B] Get:2 http://deb.debian.org/debian unstable/main spass 3.9-1.1 (tar) [561 kB] Get:3 http://deb.debian.org/debian unstable/main spass 3.9-1.1 (diff) [3944 B] Fetched 567 kB in 0s (7978 kB/s) Download complete and in download only mode 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://deb.debian.org/debian unstable/main spass 3.9-1.1 (dsc) [2002 B] Get:2 http://deb.debian.org/debian unstable/main spass 3.9-1.1 (tar) [561 kB] Get:3 http://deb.debian.org/debian unstable/main spass 3.9-1.1 (diff) [3944 B] Fetched 567 kB in 0s (7978 kB/s) Download complete and in download only mode ============================================================================= Re-Building spass in unstable on amd64 on infom02-amd64 now. Date: Sat Mar 28 02:17:53 UTC 2026 Date UTC: Sat Mar 28 02:17:53 UTC 2026 ============================================================================= ++ mktemp -t pbuilderrc_XXXX --tmpdir=/srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB + local TMPCFG=/srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/pbuilderrc_inTq + case ${ARCH} in + case $ARCH in + locale=et_EE + language=et + case "${SUITE}" in + reproducible_buildflags=+all + extra_deb_build_options= + case "${SRCPACKAGE}" in + cat + echo BUILDDIR=/build/reproducible-path + '[' spass = debian-installer -o spass = debian-installer-netboot-images ']' + pbuilder_options=() + local pbuilder_options + DEBBUILDOPTS=-b + BINARYTARGET= + '[' spass = u-boot ']' + case "${SRCPACKAGE}" in + PBUILDERTIMEOUT=24 + local PRESULT=0 + sudo timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/pbuilderrc_inTq --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b2 --logfile b2/build.log spass_3.9-1.1.dsc W: /root/.pbuilderrc does not exist I: Logging to b2/build.log I: pbuilder: network access will be disabled during build I: Current time: Sat Mar 28 16:17:53 +14 2026 I: pbuilder-time-stamp: 1774664273 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. 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 [spass_3.9-1.1.dsc] I: copying [./spass_3.9.orig.tar.gz] I: copying [./spass_3.9-1.1.debian.tar.xz] I: Extracting source dpkg-source: warning: cannot verify inline signature for ./spass_3.9-1.1.dsc: unsupported subcommand dpkg-source: info: extracting spass in 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: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/D01_modify_environment starting debug: Running on infom02-amd64. I: Changing host+domainname to test build reproducibility I: Adding a custom variable just for the fun of it... I: Changing /bin/sh to bash '/bin/sh' -> '/bin/bash' lrwxrwxrwx 1 root root 9 Mar 28 02:18 /bin/sh -> /bin/bash I: Setting pbuilder2's login shell to /bin/bash I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/D01_modify_environment finished I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/D02_print_environment starting I: set BASH=/bin/sh BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath BASH_ALIASES=() BASH_ARGC=() BASH_ARGV=() BASH_CMDS=() BASH_LINENO=([0]="12" [1]="0") BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") BASH_VERSION='5.2.37(1)-release' BUILDDIR=/build/reproducible-path BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' BUILDUSERNAME=pbuilder2 BUILD_ARCH=amd64 DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' DIRSTACK=() DISTRIBUTION=unstable EUID=0 FUNCNAME=([0]="Echo" [1]="main") GROUPS=() HOME=/root HOSTNAME=i-capture-the-hostname HOSTTYPE=x86_64 HOST_ARCH=amd64 IFS=' ' INVOCATION_ID=978057545db9446aac1a990f201b773f LANG=C LANGUAGE=et_EE:et LC_ALL=C MACHTYPE=x86_64-pc-linux-gnu MAIL=/var/mail/root OPTERR=1 OPTIND=1 OSTYPE=linux-gnu PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path PBCURRENTCOMMANDLINEOPERATION=build PBUILDER_OPERATION=build PBUILDER_PKGDATADIR=/usr/share/pbuilder PBUILDER_PKGLIBDIR=/usr/lib/pbuilder PBUILDER_SYSCONFDIR=/etc PIPESTATUS=([0]="0") POSIXLY_CORRECT=y PPID=3438456 PS4='+ ' PWD=/ SHELL=/bin/bash SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix SHLVL=3 SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/pbuilderrc_inTq --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b2 --logfile b2/build.log spass_3.9-1.1.dsc' SUDO_GID=109 SUDO_UID=104 SUDO_USER=jenkins TERM=unknown TZ=/usr/share/zoneinfo/Etc/GMT-14 UID=0 USER=root _='I: set' I: uname -a Linux i-capture-the-hostname 6.12.9+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.9-1~bpo12+1 (2025-01-19) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Nov 22 2024 /bin -> usr/bin I: user script /srv/workspace/pbuilder/3438456/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: amd64 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-compat (= 12), bison, flex dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19775 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-compat (= 12); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on bison; however: Package bison is not installed. pbuilder-satisfydepends-dummy depends on flex; however: Package flex 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} bison{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} flex{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libtool{a} libuchardet0{a} libunistring5{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 libfl-dev libltdl-dev libmail-sendmail-perl lynx wget 0 packages upgraded, 32 newly installed, 0 to remove and 0 not upgraded. Need to get 22.1 MB of archives. After unpacking 82.4 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-5 [294 kB] Get: 2 http://deb.debian.org/debian unstable/main amd64 flex amd64 2.6.4-8.2+b4 [423 kB] Get: 3 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB] Get: 4 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB] Get: 5 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB] Get: 6 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB] Get: 7 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.23.1-1 [243 kB] Get: 8 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB] Get: 9 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB] Get: 10 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.4-4 [92.4 kB] Get: 11 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get: 12 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB] Get: 13 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3 [493 kB] Get: 14 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get: 15 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.17-3 [862 kB] Get: 16 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.23.1-1 [770 kB] Get: 17 http://deb.debian.org/debian unstable/main amd64 bison amd64 2:3.8.2+dfsg-1+b2 [1170 kB] Get: 18 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.24.1 [90.9 kB] Get: 19 http://deb.debian.org/debian unstable/main amd64 libtool all 2.5.4-3 [539 kB] Get: 20 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 21 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 22 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB] Get: 23 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.1-2 [8620 B] Get: 24 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get: 25 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get: 26 http://deb.debian.org/debian unstable/main amd64 libunistring5 amd64 1.3-1 [476 kB] Get: 27 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-6 [9421 kB] Get: 28 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB] Get: 29 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.23.1-1 [1680 kB] Get: 30 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 31 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 32 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.24.1 [920 kB] Fetched 22.1 MB in 1s (16.0 MB/s) Preconfiguring packages ... Selecting previously unselected package m4. (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 ... 19775 files and directories currently installed.) Preparing to unpack .../00-m4_1.4.19-5_amd64.deb ... Unpacking m4 (1.4.19-5) ... Selecting previously unselected package flex. Preparing to unpack .../01-flex_2.6.4-8.2+b4_amd64.deb ... Unpacking flex (2.6.4-8.2+b4) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../02-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../03-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../04-libmagic1t64_1%3a5.45-3+b1_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../05-file_1%3a5.45-3+b1_amd64.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../06-gettext-base_0.23.1-1_amd64.deb ... Unpacking gettext-base (0.23.1-1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../07-libuchardet0_0.0.8-1+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../08-groff-base_1.23.0-7_amd64.deb ... Unpacking groff-base (1.23.0-7) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../09-bsdextrautils_2.40.4-4_amd64.deb ... Unpacking bsdextrautils (2.40.4-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../10-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../11-man-db_2.13.0-1_amd64.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.17-3_all.deb ... Unpacking automake (1:1.17-3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.23.1-1_all.deb ... Unpacking autopoint (0.23.1-1) ... Selecting previously unselected package bison. Preparing to unpack .../16-bison_2%3a3.8.2+dfsg-1+b2_amd64.deb ... Unpacking bison (2:3.8.2+dfsg-1+b2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../17-libdebhelper-perl_13.24.1_all.deb ... Unpacking libdebhelper-perl (13.24.1) ... Selecting previously unselected package libtool. Preparing to unpack .../18-libtool_2.5.4-3_all.deb ... Unpacking libtool (2.5.4-3) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../19-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../20-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../22-dh-strip-nondeterminism_1.14.1-2_all.deb ... Unpacking dh-strip-nondeterminism (1.14.1-2) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../23-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../25-libunistring5_1.3-1_amd64.deb ... Unpacking libunistring5:amd64 (1.3-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../26-libicu72_72.1-6_amd64.deb ... Unpacking libicu72:amd64 (72.1-6) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../27-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package gettext. Preparing to unpack .../28-gettext_0.23.1-1_amd64.deb ... Unpacking gettext (0.23.1-1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../29-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../30-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../31-debhelper_13.24.1_all.deb ... Unpacking debhelper (13.24.1) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libicu72:amd64 (72.1-6) ... Setting up bsdextrautils (2.40.4-4) ... Setting up libmagic-mgc (1:5.45-3+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.24.1) ... Setting up libmagic1t64:amd64 (1:5.45-3+b1) ... Setting up gettext-base (0.23.1-1) ... Setting up m4 (1.4.19-5) ... Setting up file (1:5.45-3+b1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up autotools-dev (20220109.1) ... Setting up libunistring5:amd64 (1.3-1) ... Setting up autopoint (0.23.1-1) ... Setting up autoconf (2.72-3) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:amd64 (0.0.8-1+b2) ... Setting up bison (2:3.8.2+dfsg-1+b2) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ... Setting up automake (1:1.17-3) ... update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.1-2) ... Setting up flex (2.6.4-8.2+b4) ... Setting up gettext (0.23.1-1) ... Setting up libtool (2.5.4-3) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up dh-strip-nondeterminism (1.14.1-2) ... Setting up groff-base (1.23.0-7) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.13.0-1) ... Not building database; man-db/auto-update is not 'true'. Setting up debhelper (13.24.1) ... Processing triggers for libc-bin (2.40-7) ... 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.37-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/A99_set_merged_usr starting Not re-configuring usrmerge for unstable I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/A99_set_merged_usr finished hostname: Name or service not known I: Running cd /build/reproducible-path/spass-3.9/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../spass_3.9-1.1_source.changes 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 debian/rules clean dh clean --no-parallel dh_auto_clean -O--no-parallel make -j1 clean make[1]: Entering directory '/build/reproducible-path/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/reproducible-path/spass-3.9' dh_autoreconf_clean -O--no-parallel dh_clean -O--no-parallel debian/rules binary dh binary --no-parallel dh_update_autotools_config -O--no-parallel dh_autoreconf -O--no-parallel dh_auto_configure -O--no-parallel dh_auto_build -O--no-parallel make -j1 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/reproducible-path/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/reproducible-path/spass-3.9' dh_auto_test -O--no-parallel create-stamp debian/debhelper-build-stamp dh_testroot -O--no-parallel dh_prep -O--no-parallel dh_auto_install --destdir=debian/spass/ -O--no-parallel dh_install -O--no-parallel dh_installdocs -O--no-parallel dh_installchangelogs -O--no-parallel dh_installinit -O--no-parallel dh_installsystemduser -O--no-parallel dh_lintian -O--no-parallel dh_perl -O--no-parallel dh_link -O--no-parallel dh_strip_nondeterminism -O--no-parallel dh_compress -O--no-parallel dh_fixperms -O--no-parallel dh_missing -O--no-parallel dh_dwz -O--no-parallel dwz: debian/spass/usr/bin/SPASS: .debug_info section not present dh_strip -O--no-parallel dh_makeshlibs -O--no-parallel dh_shlibdeps -O--no-parallel dh_installdeb -O--no-parallel dh_gencontrol -O--no-parallel dh_md5sums -O--no-parallel dh_builddeb -O--no-parallel dpkg-deb: building package 'spass' in '../spass_3.9-1.1_amd64.deb'. dpkg-deb: building package 'spass-dbgsym' in '../spass-dbgsym_3.9-1.1_amd64.deb'. dpkg-genbuildinfo --build=binary -O../spass_3.9-1.1_amd64.buildinfo dpkg-genchanges --build=binary -O../spass_3.9-1.1_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/B01_cleanup starting I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/B01_cleanup finished 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/3438456 and its subdirectories I: Current time: Sat Mar 28 16:19:00 +14 2026 I: pbuilder-time-stamp: 1774664340 + false + set +x Sat Mar 28 02:19:00 UTC 2026 I: Signing ./b2/spass_3.9-1.1_amd64.buildinfo as spass_3.9-1.1_amd64.buildinfo.asc Sat Mar 28 02:19:00 UTC 2026 I: Signed ./b2/spass_3.9-1.1_amd64.buildinfo as ./b2/spass_3.9-1.1_amd64.buildinfo.asc Sat Mar 28 02:19:00 UTC 2026 - build #2 for spass/unstable/amd64 on infom02-amd64 done. Starting cleanup. All cleanup done. Sat Mar 28 02:19:00 UTC 2026 - reproducible_build.sh stopped running as /tmp/jenkins-script-8FQLYqsM, removing. /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB: total 56 drwxr-xr-x 2 jenkins jenkins 4096 Feb 22 19:54 b1 drwxr-xr-x 2 jenkins jenkins 4096 Feb 22 19:56 b2 -rw------- 1 jenkins jenkins 42236 Feb 22 19:54 rbuildlog.tVfxr8N -rw-r--r-- 1 jenkins jenkins 2002 Jan 21 2021 spass_3.9-1.1.dsc /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b1: total 400 -rw-r--r-- 1 jenkins jenkins 38857 Feb 22 19:54 build.log -rw-r--r-- 1 jenkins jenkins 33124 Feb 22 19:54 spass-dbgsym_3.9-1.1_amd64.deb -rw-r--r-- 1 jenkins jenkins 3944 Feb 22 19:54 spass_3.9-1.1.debian.tar.xz -rw-r--r-- 1 jenkins jenkins 2002 Feb 22 19:54 spass_3.9-1.1.dsc -rw-r--r-- 1 jenkins jenkins 4893 Feb 22 19:54 spass_3.9-1.1_amd64.buildinfo -rw-r--r-- 1 jenkins jenkins 5775 Feb 22 19:54 spass_3.9-1.1_amd64.buildinfo.asc -rw-r--r-- 1 jenkins jenkins 1397 Feb 22 19:54 spass_3.9-1.1_amd64.changes -rw-r--r-- 1 jenkins jenkins 292208 Feb 22 19:54 spass_3.9-1.1_amd64.deb -rw-r--r-- 1 jenkins jenkins 1249 Feb 22 19:54 spass_3.9-1.1_source.changes /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b2: total 396 -rw-r--r-- 1 jenkins jenkins 40794 Feb 22 19:56 build.log -rw-r--r-- 1 jenkins jenkins 33124 Feb 22 19:56 spass-dbgsym_3.9-1.1_amd64.deb -rw-r--r-- 1 jenkins jenkins 3944 Feb 22 19:56 spass_3.9-1.1.debian.tar.xz -rw-r--r-- 1 jenkins jenkins 2002 Feb 22 19:56 spass_3.9-1.1.dsc -rw-r--r-- 1 jenkins jenkins 4896 Feb 22 19:56 spass_3.9-1.1_amd64.buildinfo -rw-r--r-- 1 jenkins jenkins 5778 Feb 22 19:56 spass_3.9-1.1_amd64.buildinfo.asc -rw-r--r-- 1 jenkins jenkins 1397 Feb 22 19:56 spass_3.9-1.1_amd64.changes -rw-r--r-- 1 jenkins jenkins 292208 Feb 22 19:56 spass_3.9-1.1_amd64.deb -rw-r--r-- 1 jenkins jenkins 1249 Feb 22 19:56 spass_3.9-1.1_source.changes Sat Feb 22 19:56:01 UTC 2025 I: Deleting $TMPDIR on infom02-amd64.debian.net. Sat Feb 22 19:56:02 UTC 2025 I: spass_3.9-1.1_amd64.changes: Format: 1.8 Date: Thu, 21 Jan 2021 17:21:50 +0200 Source: spass Binary: spass spass-dbgsym Architecture: amd64 Version: 3.9-1.1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Adrian Bunk Description: spass - automated theorem prover for first-order logic with equality Closes: 976928 Changes: spass (3.9-1.1) unstable; urgency=medium . * Non-maintainer upload. * Workaround parallel FTBFS by disabling parallel building. (Closes: #976928) Checksums-Sha1: f793d727a430cb88bde87861e87054470f50137c 33124 spass-dbgsym_3.9-1.1_amd64.deb 6cf4ad8ef783c30b5b63457ab309604aace1daf4 4893 spass_3.9-1.1_amd64.buildinfo f4f6b9caf1fec2156f4aba224ce77e61bdc29c56 292208 spass_3.9-1.1_amd64.deb Checksums-Sha256: aba5c93af46d6f5aa1406c9c670a954912cbe725e379f466ff2032ec27a63a5d 33124 spass-dbgsym_3.9-1.1_amd64.deb d248126d09dcc263ef293a973748c5de479ed02086319ee2f15e1274cc4f6390 4893 spass_3.9-1.1_amd64.buildinfo c71e7c2c949f67be03ab604fdb4ed89f715f028eb549ea2805894f2e98bfc537 292208 spass_3.9-1.1_amd64.deb Files: b06971bccbbfc6e1c186e323eba9a373 33124 debug optional spass-dbgsym_3.9-1.1_amd64.deb 3c71534beb1fd43bae228878ee83be7d 4893 science optional spass_3.9-1.1_amd64.buildinfo 4199a8c7b026bac9525d38b08b5a468b 292208 science optional spass_3.9-1.1_amd64.deb removed '/var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/amd64/spass_3.9-1.1.rbuild.log' removed '/var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/amd64/spass_3.9-1.1.rbuild.log.gz' removed '/var/lib/jenkins/userContent/reproducible/debian/logs/unstable/amd64/spass_3.9-1.1.build1.log.gz' removed '/var/lib/jenkins/userContent/reproducible/debian/logs/unstable/amd64/spass_3.9-1.1.build2.log.gz' removed '/var/lib/jenkins/userContent/reproducible/debian/buildinfo/unstable/amd64/spass_3.9-1.1_amd64.buildinfo' removed '/var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/amd64/spass_3.9-1.1.diff.gz' Diff of the two buildlogs: -- --- b1/build.log 2025-02-22 19:54:50.202240404 +0000 +++ b2/build.log 2025-02-22 19:56:01.435009767 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Sat Feb 22 07:53:58 -12 2025 -I: pbuilder-time-stamp: 1740254038 +I: Current time: Sat Mar 28 16:17:53 +14 2026 +I: pbuilder-time-stamp: 1774664273 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration @@ -22,51 +22,83 @@ dpkg-source: info: unpacking spass_3.9-1.1.debian.tar.xz I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/1581689/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/D01_modify_environment starting +debug: Running on infom02-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Mar 28 02:18 /bin/sh -> /bin/bash +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.2.37(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' - DISTRIBUTION='unstable' - HOME='/root' - HOST_ARCH='amd64' + DIRSTACK=() + DISTRIBUTION=unstable + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='2fa00b496a2d487690fc5e0c05cc7c79' - 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='1581689' - PS1='# ' - PS2='> ' + INVOCATION_ID=978057545db9446aac1a990f201b773f + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=3438456 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/r-b-build.wyEFRyPB/pbuilderrc_fUyg --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b1 --logfile b1/build.log spass_3.9-1.1.dsc' - SUDO_GID='109' - SUDO_UID='104' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/pbuilderrc_inTq --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b2 --logfile b2/build.log spass_3.9-1.1.dsc' + SUDO_GID=109 + SUDO_UID=104 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' I: uname -a - Linux infom01-amd64 6.1.0-31-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.128-1 (2025-02-07) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.12.9+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.9-1~bpo12+1 (2025-01-19) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/1581689/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Nov 22 2024 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -138,7 +170,7 @@ Get: 30 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 31 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 32 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.24.1 [920 kB] -Fetched 22.1 MB in 0s (95.4 MB/s) +Fetched 22.1 MB in 1s (16.0 MB/s) Preconfiguring packages ... Selecting previously unselected package m4. (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 ... 19775 files and directories currently installed.) @@ -287,7 +319,11 @@ fakeroot is already the newest version (1.37-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/reproducible-path/spass-3.9/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../spass_3.9-1.1_source.changes +I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for unstable +I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/spass-3.9/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../spass_3.9-1.1_source.changes dpkg-buildpackage: info: source package spass dpkg-buildpackage: info: source version 3.9-1.1 dpkg-buildpackage: info: source distribution unstable @@ -538,12 +574,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/3438456/tmp/hooks/B01_cleanup finished 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/1581689 and its subdirectories -I: Current time: Sat Feb 22 07:54:49 -12 2025 -I: pbuilder-time-stamp: 1740254089 +I: removing directory /srv/workspace/pbuilder/3438456 and its subdirectories +I: Current time: Sat Mar 28 16:19:00 +14 2026 +I: pbuilder-time-stamp: 1774664340 Compressing the 2nd log... /var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/amd64/spass_3.9-1.1.diff: 66.3% -- replaced with /var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/amd64/spass_3.9-1.1.diff.gz b2/build.log: 79.2% -- replaced with stdout Compressing the 1st log... b1/build.log: 79.8% -- replaced with stdout Sat Feb 22 19:56:03 UTC 2025 I: diffoscope 288 will be used to compare the two builds: ++ date -u +%s + DIFFOSCOPE_STAMP=/var/log/reproducible-builds/diffoscope_stamp_spass_unstable_amd64_1740254163 + touch /var/log/reproducible-builds/diffoscope_stamp_spass_unstable_amd64_1740254163 + RESULT=0 + systemd-run '--description=diffoscope on spass/3.9-1.1 in unstable/amd64' --slice=rb-build-diffoscope.slice -u rb-diffoscope-amd64_37-51631 '--property=SuccessExitStatus=1 124' --user --send-sighup --pipe --wait -E TMPDIR timeout 155m nice schroot --directory /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB --run-session -c jenkins-reproducible-unstable-diffoscope-a1f1eb61-047e-455e-80c5-9c76e3cca137 -- sh -c 'export TMPDIR=/srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/dbd-tmp-osjmI5H ; timeout 150m diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/spass_3.9-1.1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/spass_3.9-1.1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/spass_3.9-1.1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b1/spass_3.9-1.1_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b2/spass_3.9-1.1_amd64.changes' + false + set +x Running as unit: rb-diffoscope-amd64_37-51631.service # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/spass_3.9-1.1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/spass_3.9-1.1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/spass_3.9-1.1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b1/spass_3.9-1.1_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.wyEFRyPB/b2/spass_3.9-1.1_amd64.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call diffoscope.comparators.binary.FilesystemFile ## main (total time: 0.003s) 0.003s 2 calls outputs 0.000s 1 call cleanup Finished with result: success Main processes terminated with: code=exited/status=0 Service runtime: 220ms CPU time consumed: 220ms ___ _ __ __ _ ___ ___ / __| '_ \ / _` / __/ __| \__ \ |_) | (_| \__ \__ \ |___/ .__/ \__,_|___/___/ |_| Sat Feb 22 19:56:03 UTC 2025 I: diffoscope 288 found no differences in the changes files, and a .buildinfo file also exists. Sat Feb 22 19:56:03 UTC 2025 I: spass from unstable built successfully and reproducibly on amd64. INSERT 0 1 INSERT 0 1 DELETE 1 [2025-02-22 19:56:04] INFO: Starting at 2025-02-22 19:56:04.196779 [2025-02-22 19:56:04] INFO: Generating the pages of 1 package(s) [2025-02-22 19:56:04] CRITICAL: https://tests.reproducible-builds.org/debian/unstable/amd64/spass didn't produce a buildlog, even though it has been built. [2025-02-22 19:56:04] INFO: Finished at 2025-02-22 19:56:04.675375, took: 0:00:00.478605 Sat Feb 22 19:56:04 UTC 2025 - successfully updated the database and updated https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/spass.html Sat Feb 22 19:56:04 UTC 2025 I: Submitting .buildinfo files to external archives: Sat Feb 22 19:56:04 UTC 2025 I: Submitting 8.0K b1/spass_3.9-1.1_amd64.buildinfo.asc https://buildinfo.debian.net/6cf4ad8ef783c30b5b63457ab309604aace1daf4/spass_3.9-1.1_amd64 Sat Feb 22 19:56:05 UTC 2025 I: Submitting 8.0K b2/spass_3.9-1.1_amd64.buildinfo.asc https://buildinfo.debian.net/82d8dce0cdea0f2c2f1a24b5c5040700c05dd045/spass_3.9-1.1_amd64 Sat Feb 22 19:56:06 UTC 2025 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Sat Feb 22 19:56:06 UTC 2025 I: Done submitting .buildinfo files. Sat Feb 22 19:56:06 UTC 2025 I: Removing signed spass_3.9-1.1_amd64.buildinfo.asc files: removed './b1/spass_3.9-1.1_amd64.buildinfo.asc' removed './b2/spass_3.9-1.1_amd64.buildinfo.asc' 1740254166 amd64 unstable spass Starting cleanup. /var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/amd64/spass_3.9-1.1.rbuild.log: 76.4% -- replaced with /var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/amd64/spass_3.9-1.1.rbuild.log.gz [2025-02-22 19:56:07] INFO: Starting at 2025-02-22 19:56:07.036288 [2025-02-22 19:56:07] INFO: Generating the pages of 1 package(s) [2025-02-22 19:56:07] INFO: Finished at 2025-02-22 19:56:07.441768, took: 0:00:00.405488 All cleanup done. Sat Feb 22 19:56:07 UTC 2025 - total duration: 0h 2m 14s. Sat Feb 22 19:56:07 UTC 2025 - reproducible_build.sh stopped running as /tmp/jenkins-script-fgv7WnxA, removing. Finished with result: success Main processes terminated with: code=exited/status=0 Service runtime: 2min 17.776s CPU time consumed: 6.879s