Sat Nov 30 11:30:49 UTC 2024 I: starting to build cryptominisat/trixie/armhf on jenkins on '2024-11-30 11:30' Sat Nov 30 11:30:49 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_25/9535/console.log Sat Nov 30 11:30:49 UTC 2024 I: Downloading source for trixie/cryptominisat=5.11.21+dfsg1-1 --2024-11-30 11:30:49-- http://deb.debian.org/debian/pool/main/c/cryptominisat/cryptominisat_5.11.21%2bdfsg1-1.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2498 (2.4K) [text/prs.lines.tag] Saving to: ‘cryptominisat_5.11.21+dfsg1-1.dsc’ 0K .. 100% 305M=0s 2024-11-30 11:30:49 (305 MB/s) - ‘cryptominisat_5.11.21+dfsg1-1.dsc’ saved [2498/2498] Sat Nov 30 11:30:49 UTC 2024 I: cryptominisat_5.11.21+dfsg1-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: cryptominisat Binary: libcryptominisat5-5.11t64, cryptominisat, python3-cryptominisat, libcryptominisat5-dev Architecture: any Version: 5.11.21+dfsg1-1 Maintainer: Debian Science Team Uploaders: Julian Rüth , Julien Puydt Homepage: https://www.msoos.org/ Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/science-team/cryptominisat Vcs-Git: https://salsa.debian.org/science-team/cryptominisat.git Testsuite: autopkgtest Build-Depends: dpkg-dev (>= 1.22.5), cmake, debhelper-compat (= 13), dh-python, help2man, libboost-program-options-dev, libm4ri-dev, pybuild-plugin-pyproject, python3-dev, python3-setuptools, zlib1g-dev Package-List: cryptominisat deb math optional arch=any libcryptominisat5-5.11t64 deb libs optional arch=any libcryptominisat5-dev deb libdevel optional arch=any python3-cryptominisat deb python optional arch=any Checksums-Sha1: 3f81cb82733b315d46ad39b252ed872eef319068 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz 05012919db4b15042857cf622ad837f9be72caa0 6620 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz Checksums-Sha256: 458f5a87b00cdd7667dabfada8dcb8460c93db400f11ca9c0b105edcf9370060 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz e281267f53549b03a28c5a231b1dda7a48f00b96579d25b0936d1fdb4dedaec4 6620 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz Files: 73a3c9062f35408e0eb2d90af7e3cfc4 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz 5f4410c4454abe9ce32408d1175532b0 6620 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmY0gscSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR3uwP/jr06oZ4DFhGDa3PREzkUBiG+HC6ldXI uvKc2RfDbdv3XTfV+ce7+zAVGAp2UyN3fGH1NReInOMERw8iEbUHDeXp8J8nA5s1 oQA87wNFZtAlIS1mGamebYAHR3UvHecgzsvrkVSuhC3qE0ut8W/r7or0w1g4iyLB v2uk6/viKl25EFf+GRlMU5ChcJLvd9uGLmysRXDH3G7JlxQqqSogd2+bVSGzB4e/ k1wp0SX51Yb8cMxgNx47SK/QMzcPGBQrxSuu5l1uZ5SFNfN5VhJ6JjMHYg4UYpO0 m09AYOtKpUqeuVYj/WCguRf1KC4q/ZrpfdYNl0d9P7u3ffR8ItYZHqhZpEUmJooo Yb7dGtfGR6KLfpupvrngngRA2u4VNn39YQtTERK0TeFy+0hm+3y+HVABpa8ZU6SB qPyxXhx/0ToEG+UyQIqAzq2cWHJK2Ml/FO9mY8/cKidlORalqNWE0YglgtX09pGw IR8a3HGA+iHCm4W++Xn9jxwIQ3dam2QbC8qrYAvfHQkBXq1J4En/agzt/MbEBhH7 tkCs8fju/2tHLGJfKTkgGgxI2XtId9Ml6AqxGFp/tfK+39hCR56Ys3snZk0+Q9wz goWDWLgQaFjAxSg+01aP98MKqDgCoqtpi3QJN9B5TJaidSPaxVOAVoyga6SFfvR3 4iKa43rTJ9pL =YhWs -----END PGP SIGNATURE----- Sat Nov 30 11:30:49 UTC 2024 I: Checking whether the package is not for us Sat Nov 30 11:30:49 UTC 2024 I: Starting 1st build on remote node virt32c-armhf-rb.debian.net. Sat Nov 30 11:30:49 UTC 2024 I: Preparing to do remote build '1' on virt32c-armhf-rb.debian.net. Sat Nov 30 11:50:11 UTC 2024 I: Deleting $TMPDIR on virt32c-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Fri Nov 29 23:30:56 -12 2024 I: pbuilder-time-stamp: 1732966256 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-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 [cryptominisat_5.11.21+dfsg1-1.dsc] I: copying [./cryptominisat_5.11.21+dfsg1.orig.tar.xz] I: copying [./cryptominisat_5.11.21+dfsg1-1.debian.tar.xz] I: Extracting source gpgv: Signature made Fri May 3 06:23:03 2024 gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./cryptominisat_5.11.21+dfsg1-1.dsc: no acceptable signature found dpkg-source: info: extracting cryptominisat in cryptominisat-5.11.21+dfsg1 dpkg-source: info: unpacking cryptominisat_5.11.21+dfsg1.orig.tar.xz dpkg-source: info: unpacking cryptominisat_5.11.21+dfsg1-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying reproducible-build.patch dpkg-source: info: applying fix_typos.patch I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/16419/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='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 ' DISTRIBUTION='trixie' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='8dd138b995514666a542cbfa917eb922' 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='16419' 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.tMj5PbGO/pbuilderrc_Ujxq --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.tMj5PbGO/b1 --logfile b1/build.log cryptominisat_5.11.21+dfsg1-1.dsc' SUDO_GID='113' SUDO_UID='107' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:3142/' I: uname -a Linux virt32c 6.1.0-28-armmp-lpae #1 SMP Debian 6.1.119-1 (2024-11-22) armv7l GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 4 21:30 /bin -> usr/bin I: user script /srv/workspace/pbuilder/16419/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: dpkg-dev (>= 1.22.5), cmake, debhelper-compat (= 13), dh-python, help2man, libboost-program-options-dev, libm4ri-dev, pybuild-plugin-pyproject, python3-dev, python3-setuptools, zlib1g-dev dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19683 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 cmake; however: Package cmake is not installed. pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on dh-python; however: Package dh-python is not installed. pbuilder-satisfydepends-dummy depends on help2man; however: Package help2man is not installed. pbuilder-satisfydepends-dummy depends on libboost-program-options-dev; however: Package libboost-program-options-dev is not installed. pbuilder-satisfydepends-dummy depends on libm4ri-dev; however: Package libm4ri-dev is not installed. pbuilder-satisfydepends-dummy depends on pybuild-plugin-pyproject; however: Package pybuild-plugin-pyproject is not installed. pbuilder-satisfydepends-dummy depends on python3-dev; however: Package python3-dev is not installed. pbuilder-satisfydepends-dummy depends on python3-setuptools; however: Package python3-setuptools is not installed. pbuilder-satisfydepends-dummy depends on zlib1g-dev; however: Package zlib1g-dev 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} bsdextrautils{a} cmake{a} cmake-data{a} debhelper{a} dh-autoreconf{a} dh-python{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} help2man{a} intltool-debian{a} libarchive-zip-perl{a} libarchive13t64{a} libboost-program-options-dev{a} libboost-program-options1.83-dev{a} libboost-program-options1.83.0{a} libboost1.83-dev{a} libbrotli1{a} libcom-err2{a} libcurl4t64{a} libdebhelper-perl{a} libelf1t64{a} libexpat1{a} libexpat1-dev{a} libfile-stripnondeterminism-perl{a} libgssapi-krb5-2{a} libicu72{a} libjs-jquery{a} libjs-sphinxdoc{a} libjs-underscore{a} libjsoncpp26{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} libldap-2.5-0{a} liblocale-gettext-perl{a} libm4ri-0.0.20200125{a} libm4ri-dev{a} libmagic-mgc{a} libmagic1t64{a} libnghttp2-14{a} libnsl2{a} libpipeline1{a} libpng16-16t64{a} libproc2-0{a} libpsl5t64{a} libpython3-dev{a} libpython3-stdlib{a} libpython3.12-dev{a} libpython3.12-minimal{a} libpython3.12-stdlib{a} libpython3.12t64{a} libreadline8t64{a} librhash1{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libssh2-1t64{a} libtirpc-common{a} libtirpc3t64{a} libtool{a} libuchardet0{a} libuv1t64{a} libxml2{a} m4{a} man-db{a} media-types{a} netbase{a} po-debconf{a} procps{a} pybuild-plugin-pyproject{a} python3{a} python3-autocommand{a} python3-build{a} python3-dev{a} python3-inflect{a} python3-installer{a} python3-jaraco.context{a} python3-jaraco.functools{a} python3-minimal{a} python3-more-itertools{a} python3-packaging{a} python3-pkg-resources{a} python3-pyproject-hooks{a} python3-setuptools{a} python3-toml{a} python3-typeguard{a} python3-typing-extensions{a} python3-wheel{a} python3-zipp{a} python3.12{a} python3.12-dev{a} python3.12-minimal{a} readline-common{a} sensible-utils{a} tzdata{a} zlib1g-dev{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl javascript-common krb5-locales libarchive-cpio-perl libldap-common libltdl-dev libmail-sendmail-perl libsasl2-modules linux-sysctl-defaults lynx psmisc publicsuffix wget 0 packages upgraded, 105 newly installed, 0 to remove and 0 not upgraded. Need to get 57.2 MB of archives. After unpacking 339 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian trixie/main armhf liblocale-gettext-perl armhf 1.07-7+b1 [14.7 kB] Get: 2 http://deb.debian.org/debian trixie/main armhf libpython3.12-minimal armhf 3.12.7-3 [800 kB] Get: 3 http://deb.debian.org/debian trixie/main armhf libexpat1 armhf 2.6.4-1 [83.5 kB] Get: 4 http://deb.debian.org/debian trixie/main armhf python3.12-minimal armhf 3.12.7-3 [1808 kB] Get: 5 http://deb.debian.org/debian trixie/main armhf python3-minimal armhf 3.12.6-1 [26.7 kB] Get: 6 http://deb.debian.org/debian trixie/main armhf media-types all 10.1.0 [26.9 kB] Get: 7 http://deb.debian.org/debian trixie/main armhf netbase all 6.4 [12.8 kB] Get: 8 http://deb.debian.org/debian trixie/main armhf tzdata all 2024b-3 [255 kB] Get: 9 http://deb.debian.org/debian trixie/main armhf libkrb5support0 armhf 1.21.3-3 [30.0 kB] Get: 10 http://deb.debian.org/debian trixie/main armhf libcom-err2 armhf 1.47.1-1+b1 [22.3 kB] Get: 11 http://deb.debian.org/debian trixie/main armhf libk5crypto3 armhf 1.21.3-3 [75.8 kB] Get: 12 http://deb.debian.org/debian trixie/main armhf libkeyutils1 armhf 1.6.3-4 [8096 B] Get: 13 http://deb.debian.org/debian trixie/main armhf libkrb5-3 armhf 1.21.3-3 [283 kB] Get: 14 http://deb.debian.org/debian trixie/main armhf libgssapi-krb5-2 armhf 1.21.3-3 [114 kB] Get: 15 http://deb.debian.org/debian trixie/main armhf libtirpc-common all 1.3.4+ds-1.3 [10.9 kB] Get: 16 http://deb.debian.org/debian trixie/main armhf libtirpc3t64 armhf 1.3.4+ds-1.3+b1 [71.3 kB] Get: 17 http://deb.debian.org/debian trixie/main armhf libnsl2 armhf 1.3.0-3+b3 [35.0 kB] Get: 18 http://deb.debian.org/debian trixie/main armhf readline-common all 8.2-5 [69.3 kB] Get: 19 http://deb.debian.org/debian trixie/main armhf libreadline8t64 armhf 8.2-5 [146 kB] Get: 20 http://deb.debian.org/debian trixie/main armhf libpython3.12-stdlib armhf 3.12.7-3 [1819 kB] Get: 21 http://deb.debian.org/debian trixie/main armhf python3.12 armhf 3.12.7-3 [671 kB] Get: 22 http://deb.debian.org/debian trixie/main armhf libpython3-stdlib armhf 3.12.6-1 [9692 B] Get: 23 http://deb.debian.org/debian trixie/main armhf python3 armhf 3.12.6-1 [27.8 kB] Get: 24 http://deb.debian.org/debian trixie/main armhf libproc2-0 armhf 2:4.0.4-6 [56.0 kB] Get: 25 http://deb.debian.org/debian trixie/main armhf procps armhf 2:4.0.4-6 [864 kB] Get: 26 http://deb.debian.org/debian trixie/main armhf sensible-utils all 0.0.24 [24.8 kB] Get: 27 http://deb.debian.org/debian trixie/main armhf libmagic-mgc armhf 1:5.45-3+b1 [314 kB] Get: 28 http://deb.debian.org/debian trixie/main armhf libmagic1t64 armhf 1:5.45-3+b1 [98.5 kB] Get: 29 http://deb.debian.org/debian trixie/main armhf file armhf 1:5.45-3+b1 [42.3 kB] Get: 30 http://deb.debian.org/debian trixie/main armhf gettext-base armhf 0.22.5-2 [195 kB] Get: 31 http://deb.debian.org/debian trixie/main armhf libuchardet0 armhf 0.0.8-1+b2 [65.6 kB] Get: 32 http://deb.debian.org/debian trixie/main armhf groff-base armhf 1.23.0-5 [1091 kB] Get: 33 http://deb.debian.org/debian trixie/main armhf bsdextrautils armhf 2.40.2-11 [83.6 kB] Get: 34 http://deb.debian.org/debian trixie/main armhf libpipeline1 armhf 1.5.8-1 [35.0 kB] Get: 35 http://deb.debian.org/debian trixie/main armhf man-db armhf 2.13.0-1 [1382 kB] Get: 36 http://deb.debian.org/debian trixie/main armhf m4 armhf 1.4.19-4 [264 kB] Get: 37 http://deb.debian.org/debian trixie/main armhf autoconf all 2.72-3 [493 kB] Get: 38 http://deb.debian.org/debian trixie/main armhf autotools-dev all 20220109.1 [51.6 kB] Get: 39 http://deb.debian.org/debian trixie/main armhf automake all 1:1.16.5-1.3 [823 kB] Get: 40 http://deb.debian.org/debian trixie/main armhf autopoint all 0.22.5-2 [723 kB] Get: 41 http://deb.debian.org/debian trixie/main armhf cmake-data all 3.30.5-1 [2223 kB] Get: 42 http://deb.debian.org/debian trixie/main armhf libicu72 armhf 72.1-5+b1 [9088 kB] Get: 43 http://deb.debian.org/debian trixie/main armhf libxml2 armhf 2.12.7+dfsg+really2.9.14-0.2+b1 [605 kB] Get: 44 http://deb.debian.org/debian trixie/main armhf libarchive13t64 armhf 3.7.4-1.1 [306 kB] Get: 45 http://deb.debian.org/debian trixie/main armhf libbrotli1 armhf 1.1.0-2+b6 [282 kB] Get: 46 http://deb.debian.org/debian trixie/main armhf libsasl2-modules-db armhf 2.1.28+dfsg1-8 [18.2 kB] Get: 47 http://deb.debian.org/debian trixie/main armhf libsasl2-2 armhf 2.1.28+dfsg1-8 [50.2 kB] Get: 48 http://deb.debian.org/debian trixie/main armhf libldap-2.5-0 armhf 2.5.18+dfsg-3+b1 [163 kB] Get: 49 http://deb.debian.org/debian trixie/main armhf libnghttp2-14 armhf 1.64.0-1 [62.9 kB] Get: 50 http://deb.debian.org/debian trixie/main armhf libpsl5t64 armhf 0.21.2-1.1+b1 [55.8 kB] Get: 51 http://deb.debian.org/debian trixie/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b5 [53.2 kB] Get: 52 http://deb.debian.org/debian trixie/main armhf libssh2-1t64 armhf 1.11.1-1 [227 kB] Get: 53 http://deb.debian.org/debian trixie/main armhf libcurl4t64 armhf 8.11.0-1 [303 kB] Get: 54 http://deb.debian.org/debian trixie/main armhf libjsoncpp26 armhf 1.9.6-3 [69.9 kB] Get: 55 http://deb.debian.org/debian trixie/main armhf librhash1 armhf 1.4.5-1 [143 kB] Get: 56 http://deb.debian.org/debian trixie/main armhf libuv1t64 armhf 1.48.0-7 [134 kB] Get: 57 http://deb.debian.org/debian trixie/main armhf cmake armhf 3.30.5-1 [5365 kB] Get: 58 http://deb.debian.org/debian trixie/main armhf libdebhelper-perl all 13.20 [89.7 kB] Get: 59 http://deb.debian.org/debian trixie/main armhf libtool all 2.4.7-8 [517 kB] Get: 60 http://deb.debian.org/debian trixie/main armhf dh-autoreconf all 20 [17.1 kB] Get: 61 http://deb.debian.org/debian trixie/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 62 http://deb.debian.org/debian trixie/main armhf libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get: 63 http://deb.debian.org/debian trixie/main armhf dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get: 64 http://deb.debian.org/debian trixie/main armhf libelf1t64 armhf 0.192-4 [184 kB] Get: 65 http://deb.debian.org/debian trixie/main armhf dwz armhf 0.15-1+b2 [106 kB] Get: 66 http://deb.debian.org/debian trixie/main armhf gettext armhf 0.22.5-2 [1485 kB] Get: 67 http://deb.debian.org/debian trixie/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 68 http://deb.debian.org/debian trixie/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 69 http://deb.debian.org/debian trixie/main armhf debhelper all 13.20 [915 kB] Get: 70 http://deb.debian.org/debian trixie/main armhf python3-autocommand all 2.2.2-3 [13.6 kB] Get: 71 http://deb.debian.org/debian trixie/main armhf python3-more-itertools all 10.5.0-1 [63.8 kB] Get: 72 http://deb.debian.org/debian trixie/main armhf python3-typing-extensions all 4.12.2-2 [73.0 kB] Get: 73 http://deb.debian.org/debian trixie/main armhf python3-typeguard all 4.4.1-1 [37.0 kB] Get: 74 http://deb.debian.org/debian trixie/main armhf python3-inflect all 7.3.1-2 [32.4 kB] Get: 75 http://deb.debian.org/debian trixie/main armhf python3-jaraco.context all 6.0.0-1 [7984 B] Get: 76 http://deb.debian.org/debian trixie/main armhf python3-jaraco.functools all 4.1.0-1 [12.0 kB] Get: 77 http://deb.debian.org/debian trixie/main armhf python3-pkg-resources all 74.1.2-2 [213 kB] Get: 78 http://deb.debian.org/debian trixie/main armhf python3-zipp all 3.21.0-1 [10.6 kB] Get: 79 http://deb.debian.org/debian trixie/main armhf python3-setuptools all 74.1.2-2 [736 kB] Get: 80 http://deb.debian.org/debian trixie/main armhf dh-python all 6.20241024 [109 kB] Get: 81 http://deb.debian.org/debian trixie/main armhf help2man armhf 1.49.3 [198 kB] Get: 82 http://deb.debian.org/debian trixie/main armhf libboost1.83-dev armhf 1.83.0-3.2+b2 [10.6 MB] Get: 83 http://deb.debian.org/debian trixie/main armhf libboost-program-options1.83.0 armhf 1.83.0-3.2+b2 [327 kB] Get: 84 http://deb.debian.org/debian trixie/main armhf libboost-program-options1.83-dev armhf 1.83.0-3.2+b2 [370 kB] Get: 85 http://deb.debian.org/debian trixie/main armhf libboost-program-options-dev armhf 1.83.0.2+b2 [3604 B] Get: 86 http://deb.debian.org/debian trixie/main armhf libexpat1-dev armhf 2.6.4-1 [140 kB] Get: 87 http://deb.debian.org/debian trixie/main armhf libjs-jquery all 3.6.1+dfsg+~3.5.14-1 [326 kB] Get: 88 http://deb.debian.org/debian trixie/main armhf libjs-underscore all 1.13.4~dfsg+~1.11.4-3 [116 kB] Get: 89 http://deb.debian.org/debian trixie/main armhf libjs-sphinxdoc all 7.4.7-4 [158 kB] Get: 90 http://deb.debian.org/debian trixie/main armhf libpng16-16t64 armhf 1.6.44-2 [263 kB] Get: 91 http://deb.debian.org/debian trixie/main armhf libm4ri-0.0.20200125 armhf 20200125-1+b3 [78.3 kB] Get: 92 http://deb.debian.org/debian trixie/main armhf libm4ri-dev armhf 20200125-1+b3 [106 kB] Get: 93 http://deb.debian.org/debian trixie/main armhf libpython3.12t64 armhf 3.12.7-3 [1848 kB] Get: 94 http://deb.debian.org/debian trixie/main armhf zlib1g-dev armhf 1:1.3.dfsg+really1.3.1-1+b1 [905 kB] Get: 95 http://deb.debian.org/debian trixie/main armhf libpython3.12-dev armhf 3.12.7-3 [3808 kB] Get: 96 http://deb.debian.org/debian trixie/main armhf libpython3-dev armhf 3.12.6-1 [9952 B] Get: 97 http://deb.debian.org/debian trixie/main armhf python3-packaging all 24.2-1 [55.3 kB] Get: 98 http://deb.debian.org/debian trixie/main armhf python3-pyproject-hooks all 1.2.0-1 [11.7 kB] Get: 99 http://deb.debian.org/debian trixie/main armhf python3-toml all 0.10.2-1 [16.2 kB] Get: 100 http://deb.debian.org/debian trixie/main armhf python3-wheel all 0.45.1-1 [56.7 kB] Get: 101 http://deb.debian.org/debian trixie/main armhf python3-build all 1.2.2-1 [36.0 kB] Get: 102 http://deb.debian.org/debian trixie/main armhf python3-installer all 0.7.0+dfsg1-3 [18.6 kB] Get: 103 http://deb.debian.org/debian trixie/main armhf pybuild-plugin-pyproject all 6.20241024 [11.4 kB] Get: 104 http://deb.debian.org/debian trixie/main armhf python3.12-dev armhf 3.12.7-3 [505 kB] Get: 105 http://deb.debian.org/debian trixie/main armhf python3-dev armhf 3.12.6-1 [26.1 kB] Fetched 57.2 MB in 2s (31.0 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package liblocale-gettext-perl. (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 ... 19683 files and directories currently installed.) Preparing to unpack .../liblocale-gettext-perl_1.07-7+b1_armhf.deb ... Unpacking liblocale-gettext-perl (1.07-7+b1) ... Selecting previously unselected package libpython3.12-minimal:armhf. Preparing to unpack .../libpython3.12-minimal_3.12.7-3_armhf.deb ... Unpacking libpython3.12-minimal:armhf (3.12.7-3) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../libexpat1_2.6.4-1_armhf.deb ... Unpacking libexpat1:armhf (2.6.4-1) ... Selecting previously unselected package python3.12-minimal. Preparing to unpack .../python3.12-minimal_3.12.7-3_armhf.deb ... Unpacking python3.12-minimal (3.12.7-3) ... Setting up libpython3.12-minimal:armhf (3.12.7-3) ... Setting up libexpat1:armhf (2.6.4-1) ... Setting up python3.12-minimal (3.12.7-3) ... Selecting previously unselected package python3-minimal. (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 ... 20018 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.12.6-1_armhf.deb ... Unpacking python3-minimal (3.12.6-1) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../02-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package tzdata. Preparing to unpack .../03-tzdata_2024b-3_all.deb ... Unpacking tzdata (2024b-3) ... Selecting previously unselected package libkrb5support0:armhf. Preparing to unpack .../04-libkrb5support0_1.21.3-3_armhf.deb ... Unpacking libkrb5support0:armhf (1.21.3-3) ... Selecting previously unselected package libcom-err2:armhf. Preparing to unpack .../05-libcom-err2_1.47.1-1+b1_armhf.deb ... Unpacking libcom-err2:armhf (1.47.1-1+b1) ... Selecting previously unselected package libk5crypto3:armhf. Preparing to unpack .../06-libk5crypto3_1.21.3-3_armhf.deb ... Unpacking libk5crypto3:armhf (1.21.3-3) ... Selecting previously unselected package libkeyutils1:armhf. Preparing to unpack .../07-libkeyutils1_1.6.3-4_armhf.deb ... Unpacking libkeyutils1:armhf (1.6.3-4) ... Selecting previously unselected package libkrb5-3:armhf. Preparing to unpack .../08-libkrb5-3_1.21.3-3_armhf.deb ... Unpacking libkrb5-3:armhf (1.21.3-3) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Preparing to unpack .../09-libgssapi-krb5-2_1.21.3-3_armhf.deb ... Unpacking libgssapi-krb5-2:armhf (1.21.3-3) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../10-libtirpc-common_1.3.4+ds-1.3_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.3) ... Selecting previously unselected package libtirpc3t64:armhf. Preparing to unpack .../11-libtirpc3t64_1.3.4+ds-1.3+b1_armhf.deb ... Adding 'diversion of /lib/arm-linux-gnueabihf/libtirpc.so.3 to /lib/arm-linux-gnueabihf/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libtirpc.so.3.0.0 to /lib/arm-linux-gnueabihf/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:armhf (1.3.4+ds-1.3+b1) ... Selecting previously unselected package libnsl2:armhf. Preparing to unpack .../12-libnsl2_1.3.0-3+b3_armhf.deb ... Unpacking libnsl2:armhf (1.3.0-3+b3) ... Selecting previously unselected package readline-common. Preparing to unpack .../13-readline-common_8.2-5_all.deb ... Unpacking readline-common (8.2-5) ... Selecting previously unselected package libreadline8t64:armhf. Preparing to unpack .../14-libreadline8t64_8.2-5_armhf.deb ... Adding 'diversion of /lib/arm-linux-gnueabihf/libhistory.so.8 to /lib/arm-linux-gnueabihf/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libhistory.so.8.2 to /lib/arm-linux-gnueabihf/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libreadline.so.8 to /lib/arm-linux-gnueabihf/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libreadline.so.8.2 to /lib/arm-linux-gnueabihf/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:armhf (8.2-5) ... Selecting previously unselected package libpython3.12-stdlib:armhf. Preparing to unpack .../15-libpython3.12-stdlib_3.12.7-3_armhf.deb ... Unpacking libpython3.12-stdlib:armhf (3.12.7-3) ... Selecting previously unselected package python3.12. Preparing to unpack .../16-python3.12_3.12.7-3_armhf.deb ... Unpacking python3.12 (3.12.7-3) ... Selecting previously unselected package libpython3-stdlib:armhf. Preparing to unpack .../17-libpython3-stdlib_3.12.6-1_armhf.deb ... Unpacking libpython3-stdlib:armhf (3.12.6-1) ... Setting up python3-minimal (3.12.6-1) ... Selecting previously unselected package python3. (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 ... 21080 files and directories currently installed.) Preparing to unpack .../00-python3_3.12.6-1_armhf.deb ... Unpacking python3 (3.12.6-1) ... Selecting previously unselected package libproc2-0:armhf. Preparing to unpack .../01-libproc2-0_2%3a4.0.4-6_armhf.deb ... Unpacking libproc2-0:armhf (2:4.0.4-6) ... Selecting previously unselected package procps. Preparing to unpack .../02-procps_2%3a4.0.4-6_armhf.deb ... Unpacking procps (2:4.0.4-6) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../03-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../04-libmagic-mgc_1%3a5.45-3+b1_armhf.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:armhf. Preparing to unpack .../05-libmagic1t64_1%3a5.45-3+b1_armhf.deb ... Unpacking libmagic1t64:armhf (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../06-file_1%3a5.45-3+b1_armhf.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../07-gettext-base_0.22.5-2_armhf.deb ... Unpacking gettext-base (0.22.5-2) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../08-libuchardet0_0.0.8-1+b2_armhf.deb ... Unpacking libuchardet0:armhf (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../09-groff-base_1.23.0-5_armhf.deb ... Unpacking groff-base (1.23.0-5) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../10-bsdextrautils_2.40.2-11_armhf.deb ... Unpacking bsdextrautils (2.40.2-11) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../11-libpipeline1_1.5.8-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.13.0-1_armhf.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.19-4_armhf.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../16-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.22.5-2_all.deb ... Unpacking autopoint (0.22.5-2) ... Selecting previously unselected package cmake-data. Preparing to unpack .../18-cmake-data_3.30.5-1_all.deb ... Unpacking cmake-data (3.30.5-1) ... Selecting previously unselected package libicu72:armhf. Preparing to unpack .../19-libicu72_72.1-5+b1_armhf.deb ... Unpacking libicu72:armhf (72.1-5+b1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../20-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_armhf.deb ... Unpacking libxml2:armhf (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package libarchive13t64:armhf. Preparing to unpack .../21-libarchive13t64_3.7.4-1.1_armhf.deb ... Unpacking libarchive13t64:armhf (3.7.4-1.1) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../22-libbrotli1_1.1.0-2+b6_armhf.deb ... Unpacking libbrotli1:armhf (1.1.0-2+b6) ... Selecting previously unselected package libsasl2-modules-db:armhf. Preparing to unpack .../23-libsasl2-modules-db_2.1.28+dfsg1-8_armhf.deb ... Unpacking libsasl2-modules-db:armhf (2.1.28+dfsg1-8) ... Selecting previously unselected package libsasl2-2:armhf. Preparing to unpack .../24-libsasl2-2_2.1.28+dfsg1-8_armhf.deb ... Unpacking libsasl2-2:armhf (2.1.28+dfsg1-8) ... Selecting previously unselected package libldap-2.5-0:armhf. Preparing to unpack .../25-libldap-2.5-0_2.5.18+dfsg-3+b1_armhf.deb ... Unpacking libldap-2.5-0:armhf (2.5.18+dfsg-3+b1) ... Selecting previously unselected package libnghttp2-14:armhf. Preparing to unpack .../26-libnghttp2-14_1.64.0-1_armhf.deb ... Unpacking libnghttp2-14:armhf (1.64.0-1) ... Selecting previously unselected package libpsl5t64:armhf. Preparing to unpack .../27-libpsl5t64_0.21.2-1.1+b1_armhf.deb ... Unpacking libpsl5t64:armhf (0.21.2-1.1+b1) ... Selecting previously unselected package librtmp1:armhf. Preparing to unpack .../28-librtmp1_2.4+20151223.gitfa8646d.1-2+b5_armhf.deb ... Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b5) ... Selecting previously unselected package libssh2-1t64:armhf. Preparing to unpack .../29-libssh2-1t64_1.11.1-1_armhf.deb ... Unpacking libssh2-1t64:armhf (1.11.1-1) ... Selecting previously unselected package libcurl4t64:armhf. Preparing to unpack .../30-libcurl4t64_8.11.0-1_armhf.deb ... Unpacking libcurl4t64:armhf (8.11.0-1) ... Selecting previously unselected package libjsoncpp26:armhf. Preparing to unpack .../31-libjsoncpp26_1.9.6-3_armhf.deb ... Unpacking libjsoncpp26:armhf (1.9.6-3) ... Selecting previously unselected package librhash1:armhf. Preparing to unpack .../32-librhash1_1.4.5-1_armhf.deb ... Unpacking librhash1:armhf (1.4.5-1) ... Selecting previously unselected package libuv1t64:armhf. Preparing to unpack .../33-libuv1t64_1.48.0-7_armhf.deb ... Unpacking libuv1t64:armhf (1.48.0-7) ... Selecting previously unselected package cmake. Preparing to unpack .../34-cmake_3.30.5-1_armhf.deb ... Unpacking cmake (3.30.5-1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../35-libdebhelper-perl_13.20_all.deb ... Unpacking libdebhelper-perl (13.20) ... Selecting previously unselected package libtool. Preparing to unpack .../36-libtool_2.4.7-8_all.deb ... Unpacking libtool (2.4.7-8) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../37-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../38-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 .../39-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../40-dh-strip-nondeterminism_1.14.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.0-1) ... Selecting previously unselected package libelf1t64:armhf. Preparing to unpack .../41-libelf1t64_0.192-4_armhf.deb ... Unpacking libelf1t64:armhf (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../42-dwz_0.15-1+b2_armhf.deb ... Unpacking dwz (0.15-1+b2) ... Selecting previously unselected package gettext. Preparing to unpack .../43-gettext_0.22.5-2_armhf.deb ... Unpacking gettext (0.22.5-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../44-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 .../45-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../46-debhelper_13.20_all.deb ... Unpacking debhelper (13.20) ... Selecting previously unselected package python3-autocommand. Preparing to unpack .../47-python3-autocommand_2.2.2-3_all.deb ... Unpacking python3-autocommand (2.2.2-3) ... Selecting previously unselected package python3-more-itertools. Preparing to unpack .../48-python3-more-itertools_10.5.0-1_all.deb ... Unpacking python3-more-itertools (10.5.0-1) ... Selecting previously unselected package python3-typing-extensions. Preparing to unpack .../49-python3-typing-extensions_4.12.2-2_all.deb ... Unpacking python3-typing-extensions (4.12.2-2) ... Selecting previously unselected package python3-typeguard. Preparing to unpack .../50-python3-typeguard_4.4.1-1_all.deb ... Unpacking python3-typeguard (4.4.1-1) ... Selecting previously unselected package python3-inflect. Preparing to unpack .../51-python3-inflect_7.3.1-2_all.deb ... Unpacking python3-inflect (7.3.1-2) ... Selecting previously unselected package python3-jaraco.context. Preparing to unpack .../52-python3-jaraco.context_6.0.0-1_all.deb ... Unpacking python3-jaraco.context (6.0.0-1) ... Selecting previously unselected package python3-jaraco.functools. Preparing to unpack .../53-python3-jaraco.functools_4.1.0-1_all.deb ... Unpacking python3-jaraco.functools (4.1.0-1) ... Selecting previously unselected package python3-pkg-resources. Preparing to unpack .../54-python3-pkg-resources_74.1.2-2_all.deb ... Unpacking python3-pkg-resources (74.1.2-2) ... Selecting previously unselected package python3-zipp. Preparing to unpack .../55-python3-zipp_3.21.0-1_all.deb ... Unpacking python3-zipp (3.21.0-1) ... Selecting previously unselected package python3-setuptools. Preparing to unpack .../56-python3-setuptools_74.1.2-2_all.deb ... Unpacking python3-setuptools (74.1.2-2) ... Selecting previously unselected package dh-python. Preparing to unpack .../57-dh-python_6.20241024_all.deb ... Unpacking dh-python (6.20241024) ... Selecting previously unselected package help2man. Preparing to unpack .../58-help2man_1.49.3_armhf.deb ... Unpacking help2man (1.49.3) ... Selecting previously unselected package libboost1.83-dev:armhf. Preparing to unpack .../59-libboost1.83-dev_1.83.0-3.2+b2_armhf.deb ... Unpacking libboost1.83-dev:armhf (1.83.0-3.2+b2) ... Selecting previously unselected package libboost-program-options1.83.0:armhf. Preparing to unpack .../60-libboost-program-options1.83.0_1.83.0-3.2+b2_armhf.deb ... Unpacking libboost-program-options1.83.0:armhf (1.83.0-3.2+b2) ... Selecting previously unselected package libboost-program-options1.83-dev:armhf. Preparing to unpack .../61-libboost-program-options1.83-dev_1.83.0-3.2+b2_armhf.deb ... Unpacking libboost-program-options1.83-dev:armhf (1.83.0-3.2+b2) ... Selecting previously unselected package libboost-program-options-dev:armhf. Preparing to unpack .../62-libboost-program-options-dev_1.83.0.2+b2_armhf.deb ... Unpacking libboost-program-options-dev:armhf (1.83.0.2+b2) ... Selecting previously unselected package libexpat1-dev:armhf. Preparing to unpack .../63-libexpat1-dev_2.6.4-1_armhf.deb ... Unpacking libexpat1-dev:armhf (2.6.4-1) ... Selecting previously unselected package libjs-jquery. Preparing to unpack .../64-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ... Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... Selecting previously unselected package libjs-underscore. Preparing to unpack .../65-libjs-underscore_1.13.4~dfsg+~1.11.4-3_all.deb ... Unpacking libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... Selecting previously unselected package libjs-sphinxdoc. Preparing to unpack .../66-libjs-sphinxdoc_7.4.7-4_all.deb ... Unpacking libjs-sphinxdoc (7.4.7-4) ... Selecting previously unselected package libpng16-16t64:armhf. Preparing to unpack .../67-libpng16-16t64_1.6.44-2_armhf.deb ... Unpacking libpng16-16t64:armhf (1.6.44-2) ... Selecting previously unselected package libm4ri-0.0.20200125:armhf. Preparing to unpack .../68-libm4ri-0.0.20200125_20200125-1+b3_armhf.deb ... Unpacking libm4ri-0.0.20200125:armhf (20200125-1+b3) ... Selecting previously unselected package libm4ri-dev. Preparing to unpack .../69-libm4ri-dev_20200125-1+b3_armhf.deb ... Unpacking libm4ri-dev (20200125-1+b3) ... Selecting previously unselected package libpython3.12t64:armhf. Preparing to unpack .../70-libpython3.12t64_3.12.7-3_armhf.deb ... Unpacking libpython3.12t64:armhf (3.12.7-3) ... Selecting previously unselected package zlib1g-dev:armhf. Preparing to unpack .../71-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_armhf.deb ... Unpacking zlib1g-dev:armhf (1:1.3.dfsg+really1.3.1-1+b1) ... Selecting previously unselected package libpython3.12-dev:armhf. Preparing to unpack .../72-libpython3.12-dev_3.12.7-3_armhf.deb ... Unpacking libpython3.12-dev:armhf (3.12.7-3) ... Selecting previously unselected package libpython3-dev:armhf. Preparing to unpack .../73-libpython3-dev_3.12.6-1_armhf.deb ... Unpacking libpython3-dev:armhf (3.12.6-1) ... Selecting previously unselected package python3-packaging. Preparing to unpack .../74-python3-packaging_24.2-1_all.deb ... Unpacking python3-packaging (24.2-1) ... Selecting previously unselected package python3-pyproject-hooks. Preparing to unpack .../75-python3-pyproject-hooks_1.2.0-1_all.deb ... Unpacking python3-pyproject-hooks (1.2.0-1) ... Selecting previously unselected package python3-toml. Preparing to unpack .../76-python3-toml_0.10.2-1_all.deb ... Unpacking python3-toml (0.10.2-1) ... Selecting previously unselected package python3-wheel. Preparing to unpack .../77-python3-wheel_0.45.1-1_all.deb ... Unpacking python3-wheel (0.45.1-1) ... Selecting previously unselected package python3-build. Preparing to unpack .../78-python3-build_1.2.2-1_all.deb ... Unpacking python3-build (1.2.2-1) ... Selecting previously unselected package python3-installer. Preparing to unpack .../79-python3-installer_0.7.0+dfsg1-3_all.deb ... Unpacking python3-installer (0.7.0+dfsg1-3) ... Selecting previously unselected package pybuild-plugin-pyproject. Preparing to unpack .../80-pybuild-plugin-pyproject_6.20241024_all.deb ... Unpacking pybuild-plugin-pyproject (6.20241024) ... Selecting previously unselected package python3.12-dev. Preparing to unpack .../81-python3.12-dev_3.12.7-3_armhf.deb ... Unpacking python3.12-dev (3.12.7-3) ... Selecting previously unselected package python3-dev. Preparing to unpack .../82-python3-dev_3.12.6-1_armhf.deb ... Unpacking python3-dev (3.12.6-1) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:armhf (1.5.8-1) ... Setting up libboost-program-options1.83.0:armhf (1.83.0-3.2+b2) ... Setting up libkeyutils1:armhf (1.6.3-4) ... Setting up libboost1.83-dev:armhf (1.83.0-3.2+b2) ... Setting up libicu72:armhf (72.1-5+b1) ... Setting up bsdextrautils (2.40.2-11) ... Setting up libmagic-mgc (1:5.45-3+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libtirpc-common (1.3.4+ds-1.3) ... Setting up libdebhelper-perl (13.20) ... Setting up libbrotli1:armhf (1.1.0-2+b6) ... Setting up libuv1t64:armhf (1.48.0-7) ... Setting up libmagic1t64:armhf (1:5.45-3+b1) ... Setting up libboost-program-options1.83-dev:armhf (1.83.0-3.2+b2) ... Setting up libpsl5t64:armhf (0.21.2-1.1+b1) ... Setting up libnghttp2-14:armhf (1.64.0-1) ... Setting up gettext-base (0.22.5-2) ... Setting up m4 (1.4.19-4) ... Setting up libcom-err2:armhf (1.47.1-1+b1) ... Setting up file (1:5.45-3+b1) ... Setting up libelf1t64:armhf (0.192-4) ... Setting up libkrb5support0:armhf (1.21.3-3) ... Setting up libsasl2-modules-db:armhf (2.1.28+dfsg1-8) ... Setting up tzdata (2024b-3) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Nov 30 11:32:00 UTC 2024. Universal Time is now: Sat Nov 30 11:32:00 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20220109.1) ... Setting up libexpat1-dev:armhf (2.6.4-1) ... Setting up libboost-program-options-dev:armhf (1.83.0.2+b2) ... Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b5) ... Setting up libjsoncpp26:armhf (1.9.6-3) ... Setting up libproc2-0:armhf (2:4.0.4-6) ... Setting up libpng16-16t64:armhf (1.6.44-2) ... Setting up autopoint (0.22.5-2) ... Setting up libk5crypto3:armhf (1.21.3-3) ... Setting up libsasl2-2:armhf (2.1.28+dfsg1-8) ... Setting up autoconf (2.72-3) ... Setting up zlib1g-dev:armhf (1:1.3.dfsg+really1.3.1-1+b1) ... Setting up dwz (0.15-1+b2) ... Setting up sensible-utils (0.0.24) ... Setting up libuchardet0:armhf (0.0.8-1+b2) ... Setting up procps (2:4.0.4-6) ... Setting up netbase (6.4) ... Setting up cmake-data (3.30.5-1) ... Setting up librhash1:armhf (1.4.5-1) ... Setting up libkrb5-3:armhf (1.21.3-3) ... Setting up libssh2-1t64:armhf (1.11.1-1) ... Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... Setting up readline-common (8.2-5) ... Setting up libxml2:armhf (2.12.7+dfsg+really2.9.14-0.2+b1) ... Setting up liblocale-gettext-perl (1.07-7+b1) ... Setting up libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.0-1) ... Setting up gettext (0.22.5-2) ... Setting up libtool (2.4.7-8) ... Setting up libldap-2.5-0:armhf (2.5.18+dfsg-3+b1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up help2man (1.49.3) ... Setting up dh-autoreconf (20) ... Setting up libm4ri-0.0.20200125:armhf (20200125-1+b3) ... Setting up libgssapi-krb5-2:armhf (1.21.3-3) ... Setting up libjs-sphinxdoc (7.4.7-4) ... Setting up libm4ri-dev (20200125-1+b3) ... Setting up libreadline8t64:armhf (8.2-5) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up groff-base (1.23.0-5) ... Setting up libarchive13t64:armhf (3.7.4-1.1) ... Setting up libcurl4t64:armhf (8.11.0-1) ... Setting up libtirpc3t64:armhf (1.3.4+ds-1.3+b1) ... 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 libnsl2:armhf (1.3.0-3+b3) ... Setting up cmake (3.30.5-1) ... Setting up libpython3.12-stdlib:armhf (3.12.7-3) ... Setting up python3.12 (3.12.7-3) ... Setting up debhelper (13.20) ... Setting up libpython3.12t64:armhf (3.12.7-3) ... Setting up libpython3-stdlib:armhf (3.12.6-1) ... Setting up python3 (3.12.6-1) ... Setting up libpython3.12-dev:armhf (3.12.7-3) ... Setting up python3-zipp (3.21.0-1) ... Setting up python3-autocommand (2.2.2-3) ... Setting up python3-wheel (0.45.1-1) ... Setting up python3-packaging (24.2-1) ... Setting up python3-pyproject-hooks (1.2.0-1) ... Setting up python3.12-dev (3.12.7-3) ... Setting up python3-typing-extensions (4.12.2-2) ... Setting up python3-toml (0.10.2-1) ... Setting up python3-installer (0.7.0+dfsg1-3) ... Setting up python3-build (1.2.2-1) ... Setting up python3-more-itertools (10.5.0-1) ... Setting up libpython3-dev:armhf (3.12.6-1) ... Setting up python3-jaraco.functools (4.1.0-1) ... Setting up python3-jaraco.context (6.0.0-1) ... Setting up python3-typeguard (4.4.1-1) ... Setting up python3-inflect (7.3.1-2) ... Setting up python3-dev (3.12.6-1) ... Setting up python3-pkg-resources (74.1.2-2) ... Setting up python3-setuptools (74.1.2-2) ... Setting up dh-python (6.20241024) ... Setting up pybuild-plugin-pyproject (6.20241024) ... Processing triggers for libc-bin (2.40-3) ... 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.36-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/reproducible-path/cryptominisat-5.11.21+dfsg1/ && 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 > ../cryptominisat_5.11.21+dfsg1-1_source.changes dpkg-buildpackage: info: source package cryptominisat dpkg-buildpackage: info: source version 5.11.21+dfsg1-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf fakeroot debian/rules clean dh clean --with python3 --buildsystem=pybuild debian/rules override_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' if test -f Makefile; then \ make clean ; \ fi rm -rf build/ .pybuild/ CMakeFiles/ cmsat5-src/ src/pycryptosat.egg-info/ include/ rm -f CMakeCache.txt Makefile compile_commands.json *.cmake install_manifest.txt rm -f cryptominisat5.1 make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' dh_autoreconf_clean -O--buildsystem=pybuild dh_clean -O--buildsystem=pybuild debian/rules build dh build --with python3 --buildsystem=pybuild dh_update_autotools_config -O--buildsystem=pybuild dh_autoreconf -O--buildsystem=pybuild debian/rules override_dh_auto_configure make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' mkdir build && cd build cmake -DCMAKE_LIBRARY_ARCHITECTURE=arm-linux-gnueabihf -DCMAKE_BUILD_RPATH_USE_ORIGIN=ON -DCMAKE_INSTALL_PREFIX=/usr CMake Warning: No source or binary directory provided. Both will be assumed to be the same as the current working directory, but note that this warning will become a fatal error in future CMake releases. CMake Warning (dev) at CMakeLists.txt:25 (enable_language): project() should be called prior to this enable_language() call. This warning is for project developers. Use -Wno-dev to suppress it. -- The CXX compiler identification is GNU 14.2.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is '' -- BIN directory is '' -- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel -- Doing a RelWithDebInfo build -- The C compiler identification is GNU 14.2.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Could NOT find tbuddy (missing: tbuddy_DIR) -- tbuddy not found, not compiling with tbuddy-based GJ FRAT proofs -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- build type is RelWithDebInfo -- Performing Test HAVE_FLAG_-fvisibility=hidden -- Performing Test HAVE_FLAG_-fvisibility=hidden - Success -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Failed -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- Performing Test HAVE_FLAG_-g -- Performing Test HAVE_FLAG_-g - Success -- Performing Test HAVE_FLAG_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success -- Performing Test HAVE_FLAG_-mpopcnt -- Performing Test HAVE_FLAG_-mpopcnt - Failed -- Performing Test HAVE_FLAG_-msse4.2 -- Performing Test HAVE_FLAG_-msse4.2 - Failed -- Performing Test HAVE_FLAG_-Wextra-semi-stmt -- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed -- Performing Test HAVE_FLAG_-Wnoweak-vtables -- Performing Test HAVE_FLAG_-Wnoweak-vtables - Failed -- Performing Test HAVE_FLAG_-ggdb3 -- Performing Test HAVE_FLAG_-ggdb3 - Success -- Compiling for dynamic library use -- PROJECT_VERSION: 5.11.21 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 11 -- PROJECT_VERSION_PATCH: 21 -- Not compiling detailed statistics. The system is faster without them -- Manpage will be created and installed -- Found ZLIB: /usr/lib/arm-linux-gnueabihf/libz.so (found version "1.3.1") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Failed -- All defines at startup: -DRDB0_ONLY_FEATURES -DUSE_ZLIB -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success CMake Warning at CMakeLists.txt:714 (message): Testing is disabled CMake Warning at CMakeLists.txt:745 (export): Cannot create package registry file: /nonexistent/first-build/.cmake/packages/cryptominisat5/26f50bd9b2f5fc7ca06460f9fba531be No such file or directory -- Configuring done (12.9s) -- Generating done (0.1s) -- Build files have been written to: /build/reproducible-path/cryptominisat-5.11.21+dfsg1 make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make make[2]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[3]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o In file included from /usr/include/c++/14/vector:72, from /usr/include/c++/14/bits/random.h:34, from /usr/include/c++/14/random:48, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/cnf.h:27, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/cnf.cpp:23: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/vector:66: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CMSat::CNF::enlarge_minimal_datastructs(size_t)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/cnf.cpp:154:20: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o In file included from /usr/include/c++/14/vector:72, from /usr/include/c++/14/bits/random.h:34, from /usr/include/c++/14/random:48, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/constants.h:29, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.h:32, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.cpp:23: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/vector:66: In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'CMSat::CNF::CNF(const CMSat::SolverConf*, std::atomic*)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/cnf.h:115:31: /usr/include/c++/14/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1037 | _M_fill_insert(end(), __new_size - size(), __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]', inlined from 'virtual void CMSat::PropEngine::new_var(bool, uint32_t, bool)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.cpp:75:25: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'virtual void CMSat::PropEngine::new_var(bool, uint32_t, bool)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.cpp:76:21: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]', inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.cpp:84:25: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.cpp:85:21: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o [ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o [ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o In file included from /usr/include/c++/14/vector:72, from /usr/include/c++/14/bits/random.h:34, from /usr/include/c++/14/random:48, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/constants.h:29, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:23: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/vector:66: In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CMSat::OccSimplifier::order_vars_for_elim()' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:5255:29: /usr/include/c++/14/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1037 | _M_fill_insert(end(), __new_size - size(), __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp: In member function 'void CMSat::OccSimplifier::subs_with_resolvent_clauses()': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1140:33: warning: 'ID1' may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1080:17: note: 'ID1' was declared here 1080 | int32_t ID1; | ^~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1140:47: warning: 'ID2' may be used uninitialized [-Wmaybe-uninitialized] 1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red()) continue; | ~~~~^~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/occsimplifier.cpp:1081:17: note: 'ID2' was declared here 1081 | int32_t ID2; | ^~~ [ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o [ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o [ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o [ 23%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o In file included from /usr/include/c++/14/vector:72, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/distillerlong.h:26, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/distillerlong.cpp:23: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/vector:66: In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'bool CMSat::DistillerLong::distill_long_cls_all(std::vector&, double, bool, bool, bool, uint32_t)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/distillerlong.cpp:300:22: /usr/include/c++/14/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1037 | _M_fill_insert(end(), __new_size - size(), __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o [ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o [ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o In file included from /usr/include/c++/14/vector:72, from /usr/include/c++/14/bits/random.h:34, from /usr/include/c++/14/random:48, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/constants.h:29, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.h:28, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:23: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solverconf.h:30, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solvertypes.h:38, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propby.h:26, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.h:33, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.h:29: In member function 'constexpr uint32_t CMSat::Lit::var() const', inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:3522:53: /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference] 67 | return x >> 1; | ^ In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/heap.h:25, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/propengine.h:38: In member function 'void CMSat::vec::push(const T&) [with T = CMSat::Watched]', inlined from 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:3543:40: /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/Vec.h:143:9: warning: 'offs' may be used uninitialized [-Wmaybe-uninitialized] 143 | data[sz++] = elem; | ^~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp: In member function 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:3488:18: note: 'offs' was declared here 3488 | ClOffset offs; | ^~~~ In file included from /usr/include/c++/14/vector:66: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CMSat::Searcher::rebuildOrderHeapVMTF(std::vector&)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.cpp:2238:21: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.cpp: In member function 'bool CMSat::Solver::oracle_vivif(bool&)': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.cpp:5000:25: warning: declaration of 'stats' shadows a member of 'CMSat::Solver' [-Wshadow] 5000 | ClauseStats stats; | ^~~~~ In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.h:36, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solver.cpp:23: /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/searcher.h:213:21: note: shadowed declaration is here 213 | SearchStats stats; | ^~~~~ [ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o [ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o [ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o [ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o [ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o [ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o In file included from /usr/include/c++/14/bits/stl_algo.h:61, from /usr/include/c++/14/algorithm:61, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/time_mem.h:32, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/ccnr_cms.cpp:23: /usr/include/c++/14/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = VarAndVal; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1750:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1750 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1770 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1750:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1750 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1770 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = CCNR::clause; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1876 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h:1890:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1890 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = VarValSorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'std::vector > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/ccnr_cms.cpp:267:14: /usr/include/c++/14/bits/stl_algo.h:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1905 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1906 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1907 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = VarValSorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'std::vector > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/ccnr_cms.cpp:267:14: /usr/include/c++/14/bits/stl_algo.h:1817:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1822:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1822 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_heap.h: In function 'void std::__make_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_heap.h:340:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 340 | __make_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, | ^~~~~~~~~~~ /usr/include/c++/14/bits/stl_heap.h:340:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1876 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In function 'void std::__heap_select(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1868:25, inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1884:27: /usr/include/c++/14/bits/stl_algo.h:1593:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1593 | std::__make_heap(__first, __middle, __comp); | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1890:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1890 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = ClWeightSorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'std::vector > CMSat::CMS_ccnr::get_bump_based_on_cls()' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/ccnr_cms.cpp:232:14: /usr/include/c++/14/bits/stl_algo.h:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1905 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1906 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1907 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = ClWeightSorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'std::vector > CMSat::CMS_ccnr::get_bump_based_on_cls()' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/ccnr_cms.cpp:232:14: /usr/include/c++/14/bits/stl_algo.h:1817:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1822:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1822 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ [ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o [ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o [ 74%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o [ 76%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o [ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o In file included from /usr/include/c++/14/bits/stl_algo.h:61, from /usr/include/c++/14/algorithm:61, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/solvertypes.h:30, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/xor.h:26, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.h:29, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp:23: /usr/include/c++/14/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = CMSat::MatrixFinder::MatrixShape; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1750:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1750 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1770 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1876 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h:1890:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1890 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp: In member function 'uint32_t CMSat::MatrixFinder::setMatrixes()': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp:334:17: warning: 'ratio_sampling' may be used uninitialized [-Wmaybe-uninitialized] 334 | if (ratio_sampling >= 0.6) { //TODO Magic constant | ^~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp:296:16: note: 'ratio_sampling' was declared here 296 | double ratio_sampling; | ^~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'uint32_t CMSat::MatrixFinder::setMatrixes()' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp:262:14: /usr/include/c++/14/bits/stl_algo.h:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1905 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1906 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1907 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'uint32_t CMSat::MatrixFinder::setMatrixes()' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/matrixfinder.cpp:262:14: /usr/include/c++/14/bits/stl_algo.h:1817:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1822:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1822 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ [ 80%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:479:7: warning: ISO C forbids zero-size array 'znt' [-Wpedantic] 479 | Znt znt[0]; | ^~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:485:7: warning: ISO C forbids zero-size array 'cls' [-Wpedantic] 485 | Cls cls[0]; | ^~~ In file included from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:26: /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c: In function 'fixvar': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c: In function 'write_idx': /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/picosat/picosat.c:6187:21: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat=] 6187 | fprintf (file, "%ld", EXPORTIDX (idx)); | ~~^ | | | long int | %d [ 82%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o [ 84%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o In file included from /usr/include/c++/14/string:51, from /usr/include/c++/14/bits/locale_classes.h:40, from /usr/include/c++/14/bits/ios_base.h:41, from /usr/include/c++/14/ios:44, from /usr/include/c++/14/ostream:40, from /usr/include/c++/14/iostream:41, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/oracle/oracle.h:25, from /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/oracle/oracle.cpp:23: In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const int; _Up = int; bool _IsMove = false]', inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from 'static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*; _Tp = int]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator]' at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector, bool)' at /build/reproducible-path/cryptominisat-5.11.21+dfsg1/src/oracle/oracle.cpp:869:16: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, unsigned int)' forming offset 4 is out of the bounds [0, 4] [-Warray-bounds=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o [ 88%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o [ 90%] Linking CXX shared library ../lib/libcryptominisat5.so make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [ 90%] Built target cryptominisat5 make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o [ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o [100%] Linking CXX executable ../cryptominisat5 make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target cryptominisat5-bin make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target man_cryptominisat5 make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' Copying cryptominisat_c.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying cryptominisat.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying solvertypesmini.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying dimacsparser.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying streambuffer.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target CopyPublicHeaders make[3]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[2]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' pybuild --build I: pybuild plugin_pyproject:129: Building wheel for python3.12 with "build" module I: pybuild base:311: python3.12 -m build --skip-dependency-check --no-isolation --wheel --outdir /build/reproducible-path/cryptominisat-5.11.21+dfsg1/.pybuild/cpython3_3.12 * Building wheel... running bdist_wheel running build running build_py running egg_info creating src/pycryptosat.egg-info writing src/pycryptosat.egg-info/PKG-INFO writing dependency_links to src/pycryptosat.egg-info/dependency_links.txt writing top-level names to src/pycryptosat.egg-info/top_level.txt writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest file 'src/pycryptosat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no previously-included files matching '*.json' found anywhere in distribution warning: no previously-included files matching '*.timeout' found anywhere in distribution warning: no files found matching '*.hpp' under directory 'src/picosat' warning: no files found matching '*.hpp' under directory 'src/oracle' adding license file 'LICENSE.txt' adding license file 'AUTHORS' writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt' creating build/lib.linux-armv7l-cpython-312 creating build/lib.linux-armv7l-cpython-312/picosat copying src/picosat/pico_config.h -> build/lib.linux-armv7l-cpython-312/picosat copying src/picosat/picosat.c -> build/lib.linux-armv7l-cpython-312/picosat copying src/picosat/picosat.h -> build/lib.linux-armv7l-cpython-312/picosat copying src/picosat/version.c -> build/lib.linux-armv7l-cpython-312/picosat creating build/lib.linux-armv7l-cpython-312/oracle copying src/oracle/oracle.cpp -> build/lib.linux-armv7l-cpython-312/oracle copying src/oracle/oracle.h -> build/lib.linux-armv7l-cpython-312/oracle copying src/oracle/utils.h -> build/lib.linux-armv7l-cpython-312/oracle creating build/lib.linux-armv7l-cpython-312/msvc copying src/msvc/stdint.h -> build/lib.linux-armv7l-cpython-312/msvc running build_clib building 'picosatlib' library creating build/temp.linux-armv7l-cpython-312 creating build/temp.linux-armv7l-cpython-312/src creating build/temp.linux-armv7l-cpython-312/src/picosat arm-linux-gnueabihf-gcc -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O2 -Wall -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -Wall -pedantic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -Isrc/picosat/ -c src/picosat/picosat.c -o build/temp.linux-armv7l-cpython-312/src/picosat/picosat.o src/picosat/picosat.c:479:7: warning: ISO C forbids zero-size array 'znt' [-Wpedantic] 479 | Znt znt[0]; | ^~~ src/picosat/picosat.c:485:7: warning: ISO C forbids zero-size array 'cls' [-Wpedantic] 485 | Cls cls[0]; | ^~~ src/picosat/picosat.c: In function 'write_idx': src/picosat/picosat.c:6187:21: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat=] 6187 | fprintf (file, "%ld", EXPORTIDX (idx)); | ~~^ | | | long int | %d arm-linux-gnueabihf-gcc -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O2 -Wall -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -Wall -pedantic -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -Isrc/picosat/ -c src/picosat/version.c -o build/temp.linux-armv7l-cpython-312/src/picosat/version.o arm-linux-gnueabihf-gcc-ar rcs build/temp.linux-armv7l-cpython-312/libpicosatlib.a build/temp.linux-armv7l-cpython-312/src/picosat/picosat.o build/temp.linux-armv7l-cpython-312/src/picosat/version.o running build_ext building 'pycryptosat' extension creating build/temp.linux-armv7l-cpython-312/python creating build/temp.linux-armv7l-cpython-312/python/src creating build/temp.linux-armv7l-cpython-312/src/oracle arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c python/src/GitSHA1.cpp -o build/temp.linux-armv7l-cpython-312/python/src/GitSHA1.o -I../ -Isrc/ -std=c++17 arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c python/src/pycryptosat.cpp -o build/temp.linux-armv7l-cpython-312/python/src/pycryptosat.o -I../ -Isrc/ -std=c++17 arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/bva.cpp -o build/temp.linux-armv7l-cpython-312/src/bva.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/bva.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/bits/locale_classes.h:40, from /usr/include/c++/14/bits/ios_base.h:41, from /usr/include/c++/14/ios:44, from /usr/include/c++/14/ostream:40, from /usr/include/c++/14/iostream:41, from src/heap.h:24, from src/bva.h:26, from src/bva.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/cardfinder.cpp -o build/temp.linux-armv7l-cpython-312/src/cardfinder.o -I../ -Isrc/ -std=c++17 In file included from src/cardfinder.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/cardfinder.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/ccnr.cpp -o build/temp.linux-armv7l-cpython-312/src/ccnr.o -I../ -Isrc/ -std=c++17 arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/ccnr_cms.cpp -o build/temp.linux-armv7l-cpython-312/src/ccnr_cms.o -I../ -Isrc/ -std=c++17 In file included from src/ccnr_cms.cpp:23: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/time_mem.h:26: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from /usr/include/c++/14/bits/stl_algo.h:61, from /usr/include/c++/14/algorithm:61, from src/time_mem.h:32: /usr/include/c++/14/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = VarAndVal; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1750:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1750 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1770 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1750:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1750 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1770 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = CCNR::clause; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1876 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h:1890:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1890 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = VarValSorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'std::vector > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at src/ccnr_cms.cpp:267:14: /usr/include/c++/14/bits/stl_algo.h:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1905 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1906 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1907 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = VarValSorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'std::vector > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at src/ccnr_cms.cpp:267:14: /usr/include/c++/14/bits/stl_algo.h:1817:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1822:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1822 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_heap.h: In function 'void std::__make_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_heap.h:340:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 340 | __make_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, | ^~~~~~~~~~~ /usr/include/c++/14/bits/stl_heap.h:340:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1876 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In function 'void std::__heap_select(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1868:25, inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1884:27: /usr/include/c++/14/bits/stl_algo.h:1593:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1593 | std::__make_heap(__first, __middle, __comp); | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1890:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1890 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = ClWeightSorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'std::vector > CMSat::CMS_ccnr::get_bump_based_on_cls()' at src/ccnr_cms.cpp:232:14: /usr/include/c++/14/bits/stl_algo.h:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1905 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1906 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1907 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = ClWeightSorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'std::vector > CMSat::CMS_ccnr::get_bump_based_on_cls()' at src/ccnr_cms.cpp:232:14: /usr/include/c++/14/bits/stl_algo.h:1817:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1822:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1822 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/clauseallocator.cpp -o build/temp.linux-armv7l-cpython-312/src/clauseallocator.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/clauseallocator.cpp:33: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/clauseallocator.h:27, from src/clauseallocator.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/clausecleaner.cpp -o build/temp.linux-armv7l-cpython-312/src/clausecleaner.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/clausecleaner.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/clausecleaner.h:26, from src/clausecleaner.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/cnf.cpp -o build/temp.linux-armv7l-cpython-312/src/cnf.o -I../ -Isrc/ -std=c++17 In file included from src/cnf.cpp:32: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/cnf.h:27, from src/cnf.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from /usr/include/c++/14/vector:72, from /usr/include/c++/14/bits/random.h:34, from /usr/include/c++/14/random:48: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/vector:66: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CMSat::CNF::enlarge_minimal_datastructs(size_t)' at src/cnf.cpp:154:20: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/completedetachreattacher.cpp -o build/temp.linux-armv7l-cpython-312/src/completedetachreattacher.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/completedetachreattacher.cpp:24: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/completedetachreattacher.h:26, from src/completedetachreattacher.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/cryptominisat.cpp -o build/temp.linux-armv7l-cpython-312/src/cryptominisat.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/cryptominisat.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/cryptominisat.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/cryptominisat_c.cpp -o build/temp.linux-armv7l-cpython-312/src/cryptominisat_c.o -I../ -Isrc/ -std=c++17 arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/datasync.cpp -o build/temp.linux-armv7l-cpython-312/src/datasync.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/datasync.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/solvertypes.h:27, from src/datasync.h:26, from src/datasync.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/distillerbin.cpp -o build/temp.linux-armv7l-cpython-312/src/distillerbin.o -I../ -Isrc/ -std=c++17 In file included from src/distillerbin.cpp:29: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/bits/locale_classes.h:40, from /usr/include/c++/14/bits/ios_base.h:41, from /usr/include/c++/14/iomanip:42, from src/distillerbin.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/distillerlitrem.cpp -o build/temp.linux-armv7l-cpython-312/src/distillerlitrem.o -I../ -Isrc/ -std=c++17 In file included from src/distillerlitrem.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/bits/refwrap.h:39, from /usr/include/c++/14/vector:68, from src/distillerlitrem.h:26, from src/distillerlitrem.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/distillerlong.cpp -o build/temp.linux-armv7l-cpython-312/src/distillerlong.o -I../ -Isrc/ -std=c++17 In file included from src/distillerlong.cpp:26: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/bits/refwrap.h:39, from /usr/include/c++/14/vector:68, from src/distillerlong.h:26, from src/distillerlong.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from /usr/include/c++/14/vector:72: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/vector:66: In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'bool CMSat::DistillerLong::distill_long_cls_all(std::vector&, double, bool, bool, bool, uint32_t)' at src/distillerlong.cpp:300:22: /usr/include/c++/14/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1037 | _M_fill_insert(end(), __new_size - size(), __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/distillerlongwithimpl.cpp -o build/temp.linux-armv7l-cpython-312/src/distillerlongwithimpl.o -I../ -Isrc/ -std=c++17 In file included from src/distillerlongwithimpl.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/bits/refwrap.h:39, from /usr/include/c++/14/vector:68, from src/distillerlongwithimpl.h:26, from src/distillerlongwithimpl.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/frat.cpp -o build/temp.linux-armv7l-cpython-312/src/frat.o -I../ -Isrc/ -std=c++17 arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/gatefinder.cpp -o build/temp.linux-armv7l-cpython-312/src/gatefinder.o -I../ -Isrc/ -std=c++17 In file included from src/gatefinder.cpp:24: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/solvertypes.h:27, from src/gatefinder.h:26, from src/gatefinder.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/gaussian.cpp -o build/temp.linux-armv7l-cpython-312/src/gaussian.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/gaussian.cpp:41: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/bits/locale_classes.h:40, from /usr/include/c++/14/bits/ios_base.h:41, from /usr/include/c++/14/iomanip:42, from src/gaussian.cpp:31: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/get_clause_query.cpp -o build/temp.linux-armv7l-cpython-312/src/get_clause_query.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/get_clause_query.cpp:26: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/get_clause_query.h:25, from src/get_clause_query.cpp:25: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/hyperengine.cpp -o build/temp.linux-armv7l-cpython-312/src/hyperengine.o -I../ -Isrc/ -std=c++17 arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/intree.cpp -o build/temp.linux-armv7l-cpython-312/src/intree.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/intree.cpp:24: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/cloffset.h:26, from src/intree.h:23, from src/intree.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/lucky.cpp -o build/temp.linux-armv7l-cpython-312/src/lucky.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/lucky.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/solver.h:25: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/matrixfinder.cpp -o build/temp.linux-armv7l-cpython-312/src/matrixfinder.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/matrixfinder.cpp:24: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/bits/refwrap.h:39, from /usr/include/c++/14/vector:68, from src/matrixfinder.h:26, from src/matrixfinder.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from /usr/include/c++/14/bits/stl_algo.h:61, from /usr/include/c++/14/algorithm:61, from src/solvertypes.h:30, from src/xor.h:26, from src/matrixfinder.h:29: /usr/include/c++/14/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = CMSat::MatrixFinder::MatrixShape; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1750:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1750 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1770 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1876 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/14/bits/stl_algo.h:1890:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1890 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'uint32_t CMSat::MatrixFinder::setMatrixes()' at src/matrixfinder.cpp:262:14: /usr/include/c++/14/bits/stl_algo.h:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1905 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1906 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1907 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]' at /usr/include/c++/14/bits/stl_algo.h:1908:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/14/bits/stl_algo.h:4804:18, inlined from 'uint32_t CMSat::MatrixFinder::setMatrixes()' at src/matrixfinder.cpp:262:14: /usr/include/c++/14/bits/stl_algo.h:1817:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/stl_algo.h:1822:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1822 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/occsimplifier.cpp -o build/temp.linux-armv7l-cpython-312/src/occsimplifier.o -I../ -Isrc/ -std=c++17 In file included from src/occsimplifier.cpp:24: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/occsimplifier.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from /usr/include/c++/14/vector:72, from /usr/include/c++/14/bits/random.h:34, from /usr/include/c++/14/random:48: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/vector:66: In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CMSat::OccSimplifier::order_vars_for_elim()' at src/occsimplifier.cpp:5255:29: /usr/include/c++/14/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1037 | _M_fill_insert(end(), __new_size - size(), __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/oracle/oracle.cpp -o build/temp.linux-armv7l-cpython-312/src/oracle/oracle.o -I../ -Isrc/ -std=c++17 In file included from /usr/include/c++/14/string:51, from /usr/include/c++/14/bits/locale_classes.h:40, from /usr/include/c++/14/bits/ios_base.h:41, from /usr/include/c++/14/ios:44, from /usr/include/c++/14/ostream:40, from /usr/include/c++/14/iostream:41, from src/oracle/oracle.h:25, from src/oracle/oracle.cpp:23: In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const int; _Up = int; bool _IsMove = false]', inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:521:30, inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:548:42, inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:555:31, inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator >; _OI = int*]' at /usr/include/c++/14/bits/stl_algobase.h:651:7, inlined from 'static _ForwardIterator std::__uninitialized_copy::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:147:27, inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*]' at /usr/include/c++/14/bits/stl_uninitialized.h:185:15, inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator >; _ForwardIterator = int*; _Tp = int]' at /usr/include/c++/14/bits/stl_uninitialized.h:373:37, inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator]' at /usr/include/c++/14/bits/stl_vector.h:606:31, inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector, bool)' at src/oracle/oracle.cpp:869:16: /usr/include/c++/14/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, unsigned int)' writing between 5 and 2147483647 bytes into a region of size 4 overflows the destination [-Wstringop-overflow=] 452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/arm-linux-gnueabihf/c++/14/bits/c++allocator.h:33, from /usr/include/c++/14/bits/allocator.h:46, from /usr/include/c++/14/string:43: In member function '_Tp* std::__new_allocator<_Tp>::allocate(size_type, const void*) [with _Tp = int]', inlined from 'static _Tp* std::allocator_traits >::allocate(allocator_type&, size_type) [with _Tp = int]' at /usr/include/c++/14/bits/alloc_traits.h:509:28, inlined from 'std::_Vector_base<_Tp, _Alloc>::pointer std::_Vector_base<_Tp, _Alloc>::_M_allocate(std::size_t) [with _Tp = int; _Alloc = std::allocator]' at /usr/include/c++/14/bits/stl_vector.h:380:33, inlined from 'void std::_Vector_base<_Tp, _Alloc>::_M_create_storage(std::size_t) [with _Tp = int; _Alloc = std::allocator]' at /usr/include/c++/14/bits/stl_vector.h:398:44, inlined from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base(std::size_t, const allocator_type&) [with _Tp = int; _Alloc = std::allocator]' at /usr/include/c++/14/bits/stl_vector.h:334:26, inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator]' at /usr/include/c++/14/bits/stl_vector.h:603:61, inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector, bool)' at src/oracle/oracle.cpp:869:16: /usr/include/c++/14/bits/new_allocator.h:151:55: note: destination object of size 4 allocated by 'operator new' 151 | return static_cast<_Tp*>(_GLIBCXX_OPERATOR_NEW(__n * sizeof(_Tp))); | ^ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/packedrow.cpp -o build/temp.linux-armv7l-cpython-312/src/packedrow.o -I../ -Isrc/ -std=c++17 arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/propengine.cpp -o build/temp.linux-armv7l-cpython-312/src/propengine.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/propengine.cpp:32: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/bits/refwrap.h:39, from /usr/include/c++/14/deque:67, from /usr/include/c++/14/stack:62, from src/propengine.h:28, from src/propengine.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from /usr/include/c++/14/vector:72, from /usr/include/c++/14/bits/random.h:34, from /usr/include/c++/14/random:48, from src/constants.h:29, from src/propengine.h:32: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/vector:66: In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'CMSat::CNF::CNF(const CMSat::SolverConf*, std::atomic*)' at src/cnf.h:115:31: /usr/include/c++/14/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1037 | _M_fill_insert(end(), __new_size - size(), __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]', inlined from 'virtual void CMSat::PropEngine::new_var(bool, uint32_t, bool)' at src/propengine.cpp:75:25: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'virtual void CMSat::PropEngine::new_var(bool, uint32_t, bool)' at src/propengine.cpp:76:21: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]', inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at src/propengine.cpp:84:25: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at src/propengine.cpp:85:21: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/reducedb.cpp -o build/temp.linux-armv7l-cpython-312/src/reducedb.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/reducedb.cpp:24: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/clauseallocator.h:27, from src/reducedb.h:26, from src/reducedb.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/sccfinder.cpp -o build/temp.linux-armv7l-cpython-312/src/sccfinder.o -I../ -Isrc/ -std=c++17 In file included from src/sccfinder.cpp:30: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/bits/locale_classes.h:40, from /usr/include/c++/14/bits/ios_base.h:41, from /usr/include/c++/14/ios:44, from /usr/include/c++/14/ostream:40, from /usr/include/c++/14/iostream:41, from src/sccfinder.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/searcher.cpp -o build/temp.linux-armv7l-cpython-312/src/searcher.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/searcher.cpp:23: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/searcher.h:28: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ In file included from /usr/include/c++/14/vector:72, from /usr/include/c++/14/bits/random.h:34, from /usr/include/c++/14/random:48: /usr/include/c++/14/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]': /usr/include/c++/14/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 700 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/vector:66: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]', inlined from 'void CMSat::Searcher::rebuildOrderHeapVMTF(std::vector&)' at src/searcher.cpp:2238:21: /usr/include/c++/14/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1442 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/searchstats.cpp -o build/temp.linux-armv7l-cpython-312/src/searchstats.o -I../ -Isrc/ -std=c++17 arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/sls.cpp -o build/temp.linux-armv7l-cpython-312/src/sls.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/sls.cpp:24: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/solvertypes.h:27, from src/sls.h:26, from src/sls.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/solutionextender.cpp -o build/temp.linux-armv7l-cpython-312/src/solutionextender.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/solutionextender.cpp:24: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/solvertypes.h:27, from src/solutionextender.h:26, from src/solutionextender.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/solver.cpp -o build/temp.linux-armv7l-cpython-312/src/solver.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/solver.cpp:23: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/solver.h:25: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/solverconf.cpp -o build/temp.linux-armv7l-cpython-312/src/solverconf.o -I../ -Isrc/ -std=c++17 arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/str_impl_w_impl.cpp -o build/temp.linux-armv7l-cpython-312/src/str_impl_w_impl.o -I../ -Isrc/ -std=c++17 In file included from src/str_impl_w_impl.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/bits/refwrap.h:39, from /usr/include/c++/14/vector:68, from src/str_impl_w_impl.h:26, from src/str_impl_w_impl.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/subsumeimplicit.cpp -o build/temp.linux-armv7l-cpython-312/src/subsumeimplicit.o -I../ -Isrc/ -std=c++17 In file included from src/subsumeimplicit.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/bits/refwrap.h:39, from /usr/include/c++/14/vector:68, from src/subsumeimplicit.h:26, from src/subsumeimplicit.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/subsumestrengthen.cpp -o build/temp.linux-armv7l-cpython-312/src/subsumestrengthen.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/subsumestrengthen.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/string:49, from /usr/include/c++/14/random:43, from src/constants.h:29, from src/cloffset.h:26, from src/subsumestrengthen.h:26, from src/subsumestrengthen.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/varreplacer.cpp -o build/temp.linux-armv7l-cpython-312/src/varreplacer.o -I../ -Isrc/ -std=c++17 In file included from src/searcher.h:31, from src/solver.h:36, from src/varreplacer.cpp:25: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/bits/stl_tree.h:65, from /usr/include/c++/14/map:62, from src/varreplacer.h:25, from src/varreplacer.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DTRACE= -DCMS_FULL_VERSION=\"5.11.21\" -Isrc/ -I/usr/include/python3.12 -c src/xorfinder.cpp -o build/temp.linux-armv7l-cpython-312/src/xorfinder.o -I../ -Isrc/ -std=c++17 In file included from src/xorfinder.cpp:24: src/time_mem.h: In function 'uint64_t memUsedTotal(double&, std::string*)': src/time_mem.h:183:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 183 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), '\t'))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/14/bits/stl_function.h:1435, from /usr/include/c++/14/bits/refwrap.h:39, from /usr/include/c++/14/vector:68, from src/xorfinder.h:27, from src/xorfinder.cpp:23: /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ src/time_mem.h:185:72: warning: 'std::binder1st<_Operation> std::bind1st(const _Operation&, const _Tp&) [with _Operation = not_equal_to; _Tp = char]' is deprecated: use 'std::bind' instead [-Wdeprecated-declarations] 185 | std::find_if(tp.begin(), tp.end(), std::bind1st(std::not_equal_to(), ' '))); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/14/backward/binders.h:136:5: note: declared here 136 | bind1st(const _Operation& __fn, const _Tp& __x) | ^~~~~~~ arm-linux-gnueabihf-g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -fwrapv -O2 -Wl,-z,relro -Wl,-z,now -g -O2 -ffile-prefix-map=/build/reproducible-path/cryptominisat-5.11.21+dfsg1=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-armv7l-cpython-312/python/src/GitSHA1.o build/temp.linux-armv7l-cpython-312/python/src/pycryptosat.o build/temp.linux-armv7l-cpython-312/src/bva.o build/temp.linux-armv7l-cpython-312/src/cardfinder.o build/temp.linux-armv7l-cpython-312/src/ccnr.o build/temp.linux-armv7l-cpython-312/src/ccnr_cms.o build/temp.linux-armv7l-cpython-312/src/clauseallocator.o build/temp.linux-armv7l-cpython-312/src/clausecleaner.o build/temp.linux-armv7l-cpython-312/src/cnf.o build/temp.linux-armv7l-cpython-312/src/completedetachreattacher.o build/temp.linux-armv7l-cpython-312/src/cryptominisat.o build/temp.linux-armv7l-cpython-312/src/cryptominisat_c.o build/temp.linux-armv7l-cpython-312/src/datasync.o build/temp.linux-armv7l-cpython-312/src/distillerbin.o build/temp.linux-armv7l-cpython-312/src/distillerlitrem.o build/temp.linux-armv7l-cpython-312/src/distillerlong.o build/temp.linux-armv7l-cpython-312/src/distillerlongwithimpl.o build/temp.linux-armv7l-cpython-312/src/frat.o build/temp.linux-armv7l-cpython-312/src/gatefinder.o build/temp.linux-armv7l-cpython-312/src/gaussian.o build/temp.linux-armv7l-cpython-312/src/get_clause_query.o build/temp.linux-armv7l-cpython-312/src/hyperengine.o build/temp.linux-armv7l-cpython-312/src/intree.o build/temp.linux-armv7l-cpython-312/src/lucky.o build/temp.linux-armv7l-cpython-312/src/matrixfinder.o build/temp.linux-armv7l-cpython-312/src/occsimplifier.o build/temp.linux-armv7l-cpython-312/src/oracle/oracle.o build/temp.linux-armv7l-cpython-312/src/packedrow.o build/temp.linux-armv7l-cpython-312/src/propengine.o build/temp.linux-armv7l-cpython-312/src/reducedb.o build/temp.linux-armv7l-cpython-312/src/sccfinder.o build/temp.linux-armv7l-cpython-312/src/searcher.o build/temp.linux-armv7l-cpython-312/src/searchstats.o build/temp.linux-armv7l-cpython-312/src/sls.o build/temp.linux-armv7l-cpython-312/src/solutionextender.o build/temp.linux-armv7l-cpython-312/src/solver.o build/temp.linux-armv7l-cpython-312/src/solverconf.o build/temp.linux-armv7l-cpython-312/src/str_impl_w_impl.o build/temp.linux-armv7l-cpython-312/src/subsumeimplicit.o build/temp.linux-armv7l-cpython-312/src/subsumestrengthen.o build/temp.linux-armv7l-cpython-312/src/varreplacer.o build/temp.linux-armv7l-cpython-312/src/xorfinder.o -L/usr/lib/arm-linux-gnueabihf -Lbuild/temp.linux-armv7l-cpython-312 -lpicosatlib -o build/lib.linux-armv7l-cpython-312/pycryptosat.cpython-312-arm-linux-gnueabihf.so installing to build/bdist.linux-armv7l/wheel running install running install_lib creating build/bdist.linux-armv7l creating build/bdist.linux-armv7l/wheel creating build/bdist.linux-armv7l/wheel/picosat copying build/lib.linux-armv7l-cpython-312/picosat/picosat.h -> build/bdist.linux-armv7l/wheel/./picosat copying build/lib.linux-armv7l-cpython-312/picosat/version.c -> build/bdist.linux-armv7l/wheel/./picosat copying build/lib.linux-armv7l-cpython-312/picosat/picosat.c -> build/bdist.linux-armv7l/wheel/./picosat copying build/lib.linux-armv7l-cpython-312/picosat/pico_config.h -> build/bdist.linux-armv7l/wheel/./picosat creating build/bdist.linux-armv7l/wheel/oracle copying build/lib.linux-armv7l-cpython-312/oracle/oracle.h -> build/bdist.linux-armv7l/wheel/./oracle copying build/lib.linux-armv7l-cpython-312/oracle/oracle.cpp -> build/bdist.linux-armv7l/wheel/./oracle copying build/lib.linux-armv7l-cpython-312/oracle/utils.h -> build/bdist.linux-armv7l/wheel/./oracle creating build/bdist.linux-armv7l/wheel/msvc copying build/lib.linux-armv7l-cpython-312/msvc/stdint.h -> build/bdist.linux-armv7l/wheel/./msvc copying build/lib.linux-armv7l-cpython-312/pycryptosat.cpython-312-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel/. running install_egg_info Copying src/pycryptosat.egg-info to build/bdist.linux-armv7l/wheel/./pycryptosat-5.11.21.egg-info running install_scripts creating build/bdist.linux-armv7l/wheel/pycryptosat-5.11.21.dist-info/WHEEL creating '/build/reproducible-path/cryptominisat-5.11.21+dfsg1/.pybuild/cpython3_3.12/.tmp-9u94x1sh/pycryptosat-5.11.21-cp312-cp312-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it adding 'pycryptosat.cpython-312-arm-linux-gnueabihf.so' adding 'msvc/stdint.h' adding 'oracle/oracle.cpp' adding 'oracle/oracle.h' adding 'oracle/utils.h' adding 'picosat/pico_config.h' adding 'picosat/picosat.c' adding 'picosat/picosat.h' adding 'picosat/version.c' adding 'pycryptosat-5.11.21.dist-info/AUTHORS' adding 'pycryptosat-5.11.21.dist-info/LICENSE.txt' adding 'pycryptosat-5.11.21.dist-info/METADATA' adding 'pycryptosat-5.11.21.dist-info/WHEEL' adding 'pycryptosat-5.11.21.dist-info/top_level.txt' adding 'pycryptosat-5.11.21.dist-info/RECORD' removing build/bdist.linux-armv7l/wheel Successfully built pycryptosat-5.11.21-cp312-cp312-linux_armv7l.whl I: pybuild plugin_pyproject:144: Unpacking wheel built for python3.12 with "installer" module make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' dh_auto_test -O--buildsystem=pybuild I: pybuild base:311: cd /build/reproducible-path/cryptominisat-5.11.21+dfsg1/.pybuild/cpython3_3.12/build; python3.12 -m unittest discover -v ---------------------------------------------------------------------- Ran 0 tests in 0.000s NO TESTS RAN create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary dh binary --with python3 --buildsystem=pybuild dh_testroot -O--buildsystem=pybuild dh_prep -O--buildsystem=pybuild dh_auto_install -O--buildsystem=pybuild I: pybuild plugin_pyproject:178: Copying package built for python3.12 to destdir debian/rules override_dh_install make[1]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make install DESTDIR=debian/tmp make[2]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[3]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [ 90%] Built target cryptominisat5 make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target cryptominisat5-bin make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target man_cryptominisat5 make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' make[4]: Entering directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' Copying cryptominisat_c.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying cryptominisat.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying solvertypesmini.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying dimacsparser.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 Copying streambuffer.h to /build/reproducible-path/cryptominisat-5.11.21+dfsg1/include/cryptominisat5 make[4]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' [100%] Built target CopyPublicHeaders make[3]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' Install the project... -- Install configuration: "RelWithDebInfo" -- Installing: debian/tmp/usr/share/man/man1/cryptominisat5.1 -- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake -- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake -- Installing: debian/tmp/usr/lib/arm-linux-gnueabihf/libcryptominisat5.so.5.11 -- Installing: debian/tmp/usr/lib/arm-linux-gnueabihf/libcryptominisat5.so -- Installing: debian/tmp/usr/include/cryptominisat5/cryptominisat_c.h -- Installing: debian/tmp/usr/include/cryptominisat5/cryptominisat.h -- Installing: debian/tmp/usr/include/cryptominisat5/solvertypesmini.h -- Installing: debian/tmp/usr/include/cryptominisat5/dimacsparser.h -- Installing: debian/tmp/usr/include/cryptominisat5/streambuffer.h -- Installing: debian/tmp/usr/bin/cryptominisat5 -- Set non-toolchain portion of runtime path of "debian/tmp/usr/bin/cryptominisat5" to "" make[2]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' pybuild --install I: pybuild plugin_pyproject:178: Copying package built for python3.12 to destdir dh_install make[1]: Leaving directory '/build/reproducible-path/cryptominisat-5.11.21+dfsg1' dh_installdocs -O--buildsystem=pybuild dh_installchangelogs -O--buildsystem=pybuild dh_installman -O--buildsystem=pybuild dh_python3 -O--buildsystem=pybuild dh_installsystemduser -O--buildsystem=pybuild dh_installmenu -O--buildsystem=pybuild dh_lintian -O--buildsystem=pybuild dh_perl -O--buildsystem=pybuild dh_link -O--buildsystem=pybuild dh_strip_nondeterminism -O--buildsystem=pybuild dh_compress -O--buildsystem=pybuild dh_fixperms -O--buildsystem=pybuild dh_missing -O--buildsystem=pybuild dh_dwz -a -O--buildsystem=pybuild dh_strip -a -O--buildsystem=pybuild dh_makeshlibs -a -O--buildsystem=pybuild dh_shlibdeps -a -O--buildsystem=pybuild dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 from: /lib/ld-linux-armhf.so.3 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 to: /lib/ld-linux-armhf.so.3.usr-is-merged dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 from: /lib/ld-linux-armhf.so.3 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 to: /lib/ld-linux-armhf.so.3.usr-is-merged dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 from: /lib/ld-linux-armhf.so.3 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 to: /lib/ld-linux-armhf.so.3.usr-is-merged dpkg-shlibdeps: warning: debian/cryptominisat/usr/bin/cryptominisat5 contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin dh_installdeb -O--buildsystem=pybuild dh_gencontrol -O--buildsystem=pybuild dh_md5sums -O--buildsystem=pybuild dh_builddeb -O--buildsystem=pybuild dpkg-deb: building package 'libcryptominisat5-5.11t64' in '../libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb'. dpkg-deb: building package 'cryptominisat-dbgsym' in '../cryptominisat-dbgsym_5.11.21+dfsg1-1_armhf.deb'. dpkg-deb: building package 'libcryptominisat5-dev' in '../libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb'. dpkg-deb: building package 'libcryptominisat5-5.11t64-dbgsym' in '../libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_armhf.deb'. dpkg-deb: building package 'python3-cryptominisat' in '../python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb'. dpkg-deb: building package 'python3-cryptominisat-dbgsym' in '../python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_armhf.deb'. dpkg-deb: building package 'cryptominisat' in '../cryptominisat_5.11.21+dfsg1-1_armhf.deb'. dpkg-genbuildinfo --build=binary -O../cryptominisat_5.11.21+dfsg1-1_armhf.buildinfo dpkg-genchanges --build=binary -O../cryptominisat_5.11.21+dfsg1-1_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full 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/16419 and its subdirectories I: Current time: Fri Nov 29 23:49:27 -12 2024 I: pbuilder-time-stamp: 1732967367 Sat Nov 30 11:50:13 UTC 2024 I: 1st build successful. Starting 2nd build on remote node virt64z-armhf-rb.debian.net. Sat Nov 30 11:50:13 UTC 2024 I: Preparing to do remote build '2' on virt64z-armhf-rb.debian.net. Sat Nov 30 12:03:50 UTC 2024 I: Deleting $TMPDIR on virt64z-armhf-rb.debian.net. Sat Nov 30 12:03:52 UTC 2024 I: cryptominisat_5.11.21+dfsg1-1_armhf.changes: Format: 1.8 Date: Fri, 03 May 2024 08:21:56 +0200 Source: cryptominisat Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.11t64 libcryptominisat5-5.11t64-dbgsym libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym Architecture: armhf Version: 5.11.21+dfsg1-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Team Changed-By: Julien Puydt Description: cryptominisat - SAT solver command line interface libcryptominisat5-5.11t64 - SAT solver library libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3) Changes: cryptominisat (5.11.21+dfsg1-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. * Add patch to fix typos. Checksums-Sha1: e9e99f9cbe34c992debceb5c2ed612ba5f6a2fff 1334008 cryptominisat-dbgsym_5.11.21+dfsg1-1_armhf.deb b2afeefaf26de38f047fd520c744ffd081cc9e4f 9398 cryptominisat_5.11.21+dfsg1-1_armhf.buildinfo 01bd2584e08fef5cf62b346a6c2a4c2de6987fbf 82816 cryptominisat_5.11.21+dfsg1-1_armhf.deb a5f194a2e3aa7a1d79ac332f07b53682ed3bfc59 7261476 libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_armhf.deb 6dc9943a13759eda2ec6df5116a892a2efd57a4d 476532 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb 0d76de4cb7a3bc2dde97217ab39beda5855581c5 18740 libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 47508c618ce6381cd639944b64d17536de28e011 6974952 python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_armhf.deb 03b3113ddf5c9bdb385573c29ac221353da5ce0e 536924 python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb Checksums-Sha256: 2ba3e2d5c9eb061038a1fd822517d4bfdb6b7f68a54f8140636f1128e41e17a2 1334008 cryptominisat-dbgsym_5.11.21+dfsg1-1_armhf.deb f59b30cbc951bf4db12ffa5174448dc33fd6b3c14912c3ce9979d0a2b29c986e 9398 cryptominisat_5.11.21+dfsg1-1_armhf.buildinfo ec89d2167583249f1dc4a781186fc63921bbb88856ef355e60ddc1db0e248644 82816 cryptominisat_5.11.21+dfsg1-1_armhf.deb 36962e982b362a90d99edc496627937f1d0a5ab178f2f72dbbf21142b9e5bc44 7261476 libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_armhf.deb 0a2f409248cadbe8af2b4a1cf84ae938e7ecb0b3dc23a8a02616ddbdd8f301d8 476532 libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb 9bc2ba92deddaf5d12fee16113819b0761e815f3df2c85e46a173625a0028306 18740 libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb d88c87054a2ce5731cfefc5304a810308a679576279da3f0ea2c1be583b3590b 6974952 python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_armhf.deb 3abb3cc6c968cea59f8f5e925a10c5aabe6fc32b004ad6239024394489bdd0ac 536924 python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb Files: a01e718626c8fdffc95cb34820e459cb 1334008 debug optional cryptominisat-dbgsym_5.11.21+dfsg1-1_armhf.deb 85974be49c154ba597d596bf8f2f72e1 9398 math optional cryptominisat_5.11.21+dfsg1-1_armhf.buildinfo 8c760aca35d39bfac28d286c3e89e061 82816 math optional cryptominisat_5.11.21+dfsg1-1_armhf.deb 6587354b2662f8fe37492baadd332952 7261476 debug optional libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-1_armhf.deb 408e1f12e37e586cc6bae6a16240a313 476532 libs optional libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb 400c2077f287213dd4dc9358ccbf85c2 18740 libdevel optional libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 962488a6ccafa85510fe9564404ef454 6974952 debug optional python3-cryptominisat-dbgsym_5.11.21+dfsg1-1_armhf.deb 14b4d80e31c3b16951c8eb6e43866616 536924 python optional python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb Sat Nov 30 12:03:54 UTC 2024 I: diffoscope 283 will be used to compare the two builds: Running as unit: rb-diffoscope-armhf_25-9535.service # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.tMj5PbGO/cryptominisat_5.11.21+dfsg1-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.tMj5PbGO/cryptominisat_5.11.21+dfsg1-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.tMj5PbGO/cryptominisat_5.11.21+dfsg1-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.tMj5PbGO/b1/cryptominisat_5.11.21+dfsg1-1_armhf.changes /srv/reproducible-results/rbuild-debian/r-b-build.tMj5PbGO/b2/cryptominisat_5.11.21+dfsg1-1_armhf.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.482s) 0.482s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.159s) 0.159s 12 calls diffoscope.comparators.binary.FilesystemFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Finished with result: success Main processes terminated with: code=exited/status=0 Service runtime: 781ms CPU time consumed: 779ms Sat Nov 30 12:03:55 UTC 2024 I: diffoscope 283 found no differences in the changes files, and a .buildinfo file also exists. Sat Nov 30 12:03:55 UTC 2024 I: cryptominisat from trixie built successfully and reproducibly on armhf. Sat Nov 30 12:03:56 UTC 2024 I: Submitting .buildinfo files to external archives: Sat Nov 30 12:03:56 UTC 2024 I: Submitting 12K b1/cryptominisat_5.11.21+dfsg1-1_armhf.buildinfo.asc Sat Nov 30 12:03:57 UTC 2024 I: Submitting 12K b2/cryptominisat_5.11.21+dfsg1-1_armhf.buildinfo.asc Sat Nov 30 12:03:58 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Sat Nov 30 12:03:58 UTC 2024 I: Done submitting .buildinfo files. Sat Nov 30 12:03:58 UTC 2024 I: Removing signed cryptominisat_5.11.21+dfsg1-1_armhf.buildinfo.asc files: removed './b1/cryptominisat_5.11.21+dfsg1-1_armhf.buildinfo.asc' removed './b2/cryptominisat_5.11.21+dfsg1-1_armhf.buildinfo.asc'