<86>Jun  5 01:55:29 userdel[455401]: delete user 'rooter'
<86>Jun  5 01:55:29 userdel[455401]: removed group 'rooter' owned by 'rooter'
<86>Jun  5 01:55:29 userdel[455401]: removed shadow group 'rooter' owned by 'rooter'
<86>Jun  5 01:55:29 groupadd[455422]: group added to /etc/group: name=rooter, GID=1802
<86>Jun  5 01:55:29 groupadd[455422]: group added to /etc/gshadow: name=rooter
<86>Jun  5 01:55:29 groupadd[455422]: new group: name=rooter, GID=1802
<86>Jun  5 01:55:29 useradd[455434]: new user: name=rooter, UID=1802, GID=1802, home=/root, shell=/bin/bash, from=none
<86>Jun  5 01:55:29 userdel[455461]: delete user 'builder'
<86>Jun  5 01:55:29 userdel[455461]: removed group 'builder' owned by 'builder'
<86>Jun  5 01:55:29 userdel[455461]: removed shadow group 'builder' owned by 'builder'
<86>Jun  5 01:55:29 groupadd[455484]: group added to /etc/group: name=builder, GID=1803
<86>Jun  5 01:55:29 groupadd[455484]: group added to /etc/gshadow: name=builder
<86>Jun  5 01:55:29 groupadd[455484]: new group: name=builder, GID=1803
<86>Jun  5 01:55:29 useradd[455497]: new user: name=builder, UID=1803, GID=1803, home=/usr/src, shell=/bin/bash, from=none
<13>Jun  5 01:55:31 rpmi: libmpdec3-2.5.1-alt3 sisyphus+314490.500.5.1 1675432004 installed
<13>Jun  5 01:55:31 rpmi: libgdbm-1.8.3-alt10 sisyphus+278100.1600.1.1 1626058413 installed
<13>Jun  5 01:55:31 rpmi: libexpat-2.5.0-alt1 sisyphus+309227.100.1.1 1667075764 installed
<13>Jun  5 01:55:31 rpmi: libp11-kit-0.24.1-alt1 sisyphus+293720.100.1.1 1642535264 installed
<13>Jun  5 01:55:31 rpmi: libtasn1-4.19.0-alt1 sisyphus+305700.100.1.1 1661359624 installed
<13>Jun  5 01:55:31 rpmi: rpm-macros-alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed
<13>Jun  5 01:55:31 rpmi: alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed
<13>Jun  5 01:55:31 rpmi: ca-certificates-2022.12.14-alt1 sisyphus+311754.200.1.1 1671046143 installed
<13>Jun  5 01:55:31 rpmi: ca-trust-0.1.4-alt1 sisyphus+308690.100.1.1 1666182992 installed
<13>Jun  5 01:55:31 rpmi: p11-kit-trust-0.24.1-alt1 sisyphus+293720.100.1.1 1642535264 installed
<13>Jun  5 01:55:31 rpmi: libcrypto1.1-1.1.1u-alt1 sisyphus+322200.100.1.1 1685474736 installed
<13>Jun  5 01:55:31 rpmi: libssl1.1-1.1.1u-alt1 sisyphus+322200.100.1.1 1685474736 installed
<13>Jun  5 01:55:31 rpmi: python3-3.10.8-alt1.1 sisyphus+311926.100.2.1 1671363630 installed
<13>Jun  5 01:55:31 rpmi: python3-base-3.10.8-alt1.1 sisyphus+311926.100.2.1 1671363630 installed
<13>Jun  5 01:55:31 rpmi: tests-for-installed-python3-pkgs-0.1.22-alt1 sisyphus+319076.100.3.1 1682536051 installed
<13>Jun  5 01:55:31 rpmi: rpm-build-python3-0.1.22-alt1 sisyphus+319076.100.3.1 1682536051 installed
<13>Jun  5 01:55:31 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed
WARNING: %python3_build is deprecated and will be removed in future, please use %pyproject_build instead
<13>Jun  5 01:55:33 rpmi: libpython3-3.10.8-alt1.1 sisyphus+311926.100.2.1 1671363630 installed
<13>Jun  5 01:55:33 rpmi: libncurses-6.3.20220618-alt1 sisyphus+302449.100.1.1 1655835246 installed
<13>Jun  5 01:55:33 rpmi: libtinfo-devel-6.3.20220618-alt1 sisyphus+302449.100.1.1 1655835246 installed
<13>Jun  5 01:55:33 rpmi: libncurses-devel-6.3.20220618-alt1 sisyphus+302449.100.1.1 1655835246 installed
<13>Jun  5 01:55:33 rpmi: libgdbm-devel-1.8.3-alt10 sisyphus+278100.1600.1.1 1626058413 installed
<13>Jun  5 01:55:33 rpmi: perl-devel-1:5.34.1-alt1 sisyphus+303178.100.1.1 1656953516 installed
<13>Jun  5 01:55:33 rpmi: swig-data-1:4.0.2-alt4 sisyphus+302321.100.1.1 1655603940 installed
<13>Jun  5 01:55:33 rpmi: swig-1:4.0.2-alt4 sisyphus+302321.100.1.1 1655603940 installed
<13>Jun  5 01:55:33 rpmi: python3-dev-3.10.8-alt1.1 sisyphus+311926.100.2.1 1671363630 installed
WARNING: %python3_build is deprecated and will be removed in future, please use %pyproject_build instead
Building target platforms: x86_64
Building for target x86_64
Wrote: /usr/src/in/nosrpm/picosat-965-alt3.nosrc.rpm (w1.gzdio)
<13>Jun  5 01:55:37 rpmi: python3-module-pkg_resources-1:67.8.0-alt1 sisyphus+321626.100.2.1 1684831100 installed
<13>Jun  5 01:55:37 rpmi: python3-module-setuptools-1:67.8.0-alt1 sisyphus+321626.100.2.1 1684831100 installed
WARNING: %python3_build is deprecated and will be removed in future, please use %pyproject_build instead
Installing picosat-965-alt3.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.1962
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ rm -rf picosat-965
+ echo 'Source #0 (picosat-965.tar):'
Source #0 (picosat-965.tar):
+ /bin/tar -xf /usr/src/RPM/SOURCES/picosat-965.tar
+ cd picosat-965
+ /bin/chmod -c -Rf u+rwX,go-w .
+ exit 0
Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.1962
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd picosat-965
+ ./configure.sh --shared
version ... 965
debug ... no
log ... no
stats ... no
trace ... no
static ... no
shared ... yes
targets ... picosat picomcs picomus picogcnf libpicosat.so
cc ... gcc
cflags ...  -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC
makefile ... done
+ CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export FFLAGS
+ make -j16 libpicosat.so
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
rm -f config.h; ./mkconfig.sh > config.h
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -c version.c
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -c picosat.c
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -shared -o libpicosat.so.0 picosat.o version.o -Wl,-soname=libpicosat.so.0
ln -s libpicosat.so.0 libpicosat.so
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
+ CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export FFLAGS
+ make -j16 all
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -c main.c
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -c picogcnf.c
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -o picogcnf picogcnf.o -L. -lpicosat
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -c picomcs.c
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -o picomcs picomcs.o -L. -lpicosat
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -c picomus.c
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -o picomus picomus.o -L. -lpicosat
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -c app.c
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
gcc -fPIC -Wall -Wextra -DNDEBUG -O3 -fPIC -o picosat main.o app.o -L. -lpicosat
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
+ CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -fPIC -DPIC'
+ export FFLAGS
+ /usr/bin/python3 setup.py build
Generating Python wrapper with SWIG...
swig -I. -python -o picosat_python_wrap.c /usr/src/tmp/tmp900r2oij.c
Compiling the extension module...
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.99068
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ /bin/chmod -Rf u+rwX -- /usr/src/tmp/picosat-buildroot
+ :
+ /bin/rm -rf -- /usr/src/tmp/picosat-buildroot
+ PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games
+ cd picosat-965
+ LIB_SUFF=64
+ make 'INSTALL=/usr/libexec/rpm-build/install -p' install DESTDIR=/usr/src/tmp/picosat-buildroot LIB_SUFF=64
make: Entering directory '/usr/src/RPM/BUILD/picosat-965'
install -d /usr/src/tmp/picosat-buildroot/usr/bin
install -d /usr/src/tmp/picosat-buildroot/usr/include
install -d /usr/src/tmp/picosat-buildroot/usr/lib64
install -m755 picosat picomcs picomus picogcnf /usr/src/tmp/picosat-buildroot/usr/bin/
install -p -m644 *.h /usr/src/tmp/picosat-buildroot/usr/include/
cp -P *.so* /usr/src/tmp/picosat-buildroot/usr/lib64/
make: Leaving directory '/usr/src/RPM/BUILD/picosat-965'
+ install -d /usr/src/tmp/picosat-buildroot/usr/lib64/python3/site-packages
+ install -m644 build/lib.linux-x86_64-cpython-310/_picosat.cpython-310.so /usr/src/tmp/picosat-buildroot/usr/lib64/python3/site-packages/
+ /usr/lib/rpm/brp-alt
Cleaning files in /usr/src/tmp/picosat-buildroot (auto)
mode of './usr/lib64/libpicosat.so.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
Verifying and fixing files in /usr/src/tmp/picosat-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig)
Checking contents of files in /usr/src/tmp/picosat-buildroot/ (default)
Compressing files in /usr/src/tmp/picosat-buildroot (auto)
Adjusting library links in /usr/src/tmp/picosat-buildroot
./usr/lib64: (from <cmdline>:0)
	libpicosat.so.0 -> libpicosat.so.0
056-debuginfo.brp: WARNING: 1 non-stripped binaries don't contain .debug sections making -debuginfo
056-debuginfo.brp: WARNING: package less relevant. An excerpt from the list of affected files follows:
  ./usr/lib64/libpicosat.so.0
Verifying ELF objects in /usr/src/tmp/picosat-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal)
Hardlinking identical .pyc and .opt-?.pyc files
Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.99068
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd picosat-965
+ pushd /usr/src
~ ~/RPM/BUILD/picosat-965
+ export LD_LIBRARY_PATH=/usr/src/tmp/picosat-buildroot/usr/lib64
+ LD_LIBRARY_PATH=/usr/src/tmp/picosat-buildroot/usr/lib64
+ export PYTHONPATH=/usr/src/tmp/picosat-buildroot/usr/lib64/python3/site-packages
+ PYTHONPATH=/usr/src/tmp/picosat-buildroot/usr/lib64/python3/site-packages
+ python3 -c 'import _picosat; print (_picosat.picosat_version())'
965
+ popd
~/RPM/BUILD/picosat-965
+ exit 0
Processing files: picosat-965-alt3
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.75550
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd picosat-965
+ DOCDIR=/usr/src/tmp/picosat-buildroot/usr/share/doc/picosat-965
+ export DOCDIR
+ rm -rf /usr/src/tmp/picosat-buildroot/usr/share/doc/picosat-965
+ /bin/mkdir -p /usr/src/tmp/picosat-buildroot/usr/share/doc/picosat-965
+ cp -prL NEWS README /usr/src/tmp/picosat-buildroot/usr/share/doc/picosat-965
+ chmod -R go-w /usr/src/tmp/picosat-buildroot/usr/share/doc/picosat-965
+ chmod -R a+rX /usr/src/tmp/picosat-buildroot/usr/share/doc/picosat-965
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.nU0H9m
find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.aLzuLH
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Requires: libpicosat = 965-alt3, /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.34)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libpicosat.so.0()(64bit) >= set:kesO6CgllC7njboHGLC8kp3QPuG7HUppt4j5hQwOjhaYtZ9598cZs1OBkm4u4IZr2YXTWiUru6Rs75OXHCeGEBoTKZ00Kw0, rtld(GNU_HASH)
Requires(rpmlib): rpmlib(SetVersions)
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.QOfkH8
Creating picosat-debuginfo package
Processing files: libpicosat-965-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.wQFYz6
find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
lib.prov: /usr/src/tmp/picosat-buildroot/usr/lib64/libpicosat.so.0: 71 symbols, 17 bpp
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.bJ30pl
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Provides: libpicosat.so.0()(64bit) = set:kdwjmoaklChkcPPQfzSZn1nZvoVRg719FuKd0VcnKkLP4kYOOtAFirjlF0Q4g02sDVJgAOI8hqgq4ZplRyqKf7a27Ebpm4szOOriJgNGW8aMKvGbUg1ABczZih5dm0GuSnctO7Ww8NSKv0gDwZ6q0
Requires: libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), rtld(GNU_HASH)
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.H5zDNq
Creating libpicosat-debuginfo package
Processing files: libpicosat-devel-965-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ssvKfl
find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ogkPO6
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Requires: libpicosat = 965-alt3, /usr/lib64/libpicosat.so.0
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.xPc7DC
Processing files: python3-module-picosat-965-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.w0CoFJ
find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.G1kq3U
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Provides: python3(_picosat)
Requires: libpicosat = 965-alt3, /usr/lib64/python3/site-packages, libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), libpicosat.so.0()(64bit) >= set:kdwjmoaklChkcPPQfzSZn1nZvoVRg719FuKd0VcnKkLP4kYOOtAFywp1E9w04UePrx8BphyQwQ8YPGqhdTD35x3QBcb2KhpVdFmEo5ADsZAt17awIApQnyaqI0kZcZiCeV3gFFtZw0W4ITQ00, python3.10-ABI(64bit), rtld(GNU_HASH)
Requires(rpmlib): rpmlib(SetVersions)
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.lXAA1L
Creating python3-module-picosat-debuginfo package
Processing files: picosat-debuginfo-965-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.5wixpo
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.O0CkRv
find-requires: running scripts (debuginfo)
Requires: picosat = 965-alt3, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libpicosat.so.0)
Processing files: libpicosat-debuginfo-965-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.Fm2bVY
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.LC0vOP
find-requires: running scripts (debuginfo)
Provides: debug64(libpicosat.so.0)
Requires: libpicosat = 965-alt3, debug64(libc.so.6)
Processing files: python3-module-picosat-debuginfo-965-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.OxYLxf
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.y7HCKS
find-requires: running scripts (debuginfo)
Requires: python3-module-picosat = 965-alt3, debug64(libc.so.6), debug64(libpicosat.so.0)
Adding to picosat a strict dependency on libpicosat
Adding to picosat-debuginfo a strict dependency on picosat
Adding to libpicosat-devel a strict dependency on libpicosat
Adding to python3-module-picosat a strict dependency on libpicosat
Adding to libpicosat-debuginfo a strict dependency on libpicosat
Adding to python3-module-picosat-debuginfo a strict dependency on python3-module-picosat
Adding to picosat-debuginfo a strict dependency on libpicosat-debuginfo
Adding to python3-module-picosat-debuginfo a strict dependency on libpicosat-debuginfo
Removing 2 extra deps from picosat due to dependency on libpicosat
Removing 1 extra deps from libpicosat-devel due to dependency on libpicosat
Removing 2 extra deps from python3-module-picosat due to dependency on libpicosat
Removing 1 extra deps from picosat-debuginfo due to dependency on libpicosat-debuginfo
Removing 1 extra deps from python3-module-picosat-debuginfo due to dependency on libpicosat-debuginfo
Removing 5 extra deps from picosat due to repentancy on libpicosat
Removing 4 extra deps from python3-module-picosat due to repentancy on libpicosat
Removing 1 extra deps from picosat-debuginfo due to repentancy on libpicosat-debuginfo
Removing 1 extra deps from python3-module-picosat-debuginfo due to repentancy on libpicosat-debuginfo
Wrote: /usr/src/RPM/RPMS/x86_64/picosat-965-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/libpicosat-965-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/libpicosat-devel-965-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/python3-module-picosat-965-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/picosat-debuginfo-965-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/libpicosat-debuginfo-965-alt3.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/python3-module-picosat-debuginfo-965-alt3.x86_64.rpm (w2.lzdio)
5.33user 1.87system 0:23.11elapsed 31%CPU (0avgtext+0avgdata 82928maxresident)k
0inputs+0outputs (0major+721104minor)pagefaults 0swaps
2.44user 1.25system 0:33.78elapsed 10%CPU (0avgtext+0avgdata 110952maxresident)k
56inputs+0outputs (0major+313239minor)pagefaults 0swaps
--- libpicosat-965-alt3.x86_64.rpm.repo	2022-01-27 15:58:35.000000000 +0000
+++ libpicosat-965-alt3.x86_64.rpm.hasher	2023-06-05 01:56:02.155177547 +0000
@@ -9,3 +9,3 @@
 Provides: libpicosat = 965-alt3:sisyphus+291245.5600.54.1
-File: /usr/lib64/libpicosat.so.0	100644	root:root	1d50c41d19cc00fe748776d5e9465cb2	
-RPMIdentity: 4466569c6945d27e8f2058e84fd8af44937fb4dc7203d5ee2a380ac1a123b24e9bbc86b38e50cd7666cfd4f6fe4bb17c55ad38f62d75f721c9900e34e995a044
+File: /usr/lib64/libpicosat.so.0	100644	root:root	89f472d7b8a8351c430bc9102fd67c21	
+RPMIdentity: d7434e9347b2d3561743e0bc21f4d3a1fab2f33102b4998b168cec12ce445b2b22f0d4c374b7226b1d2d23c0449b72a8869deb537d4ea82ee79c46f9e688f5c1
--- libpicosat-debuginfo-965-alt3.x86_64.rpm.repo	2022-01-27 15:58:35.000000000 +0000
+++ libpicosat-debuginfo-965-alt3.x86_64.rpm.hasher	2023-06-05 01:56:02.389182009 +0000
@@ -1,4 +1,4 @@
-/usr/lib/debug/.build-id/9c	40755	root:root	
-/usr/lib/debug/.build-id/9c/13be0ac6ca73243565e89e8f8a9b54617d3d94	120777	root:root	../../../../lib64/libpicosat.so.0
-/usr/lib/debug/.build-id/9c/13be0ac6ca73243565e89e8f8a9b54617d3d94.debug	120777	root:root	../../usr/lib64/libpicosat.so.0.debug
+/usr/lib/debug/.build-id/b5	40755	root:root	
+/usr/lib/debug/.build-id/b5/45018e07f6982c30ab32f6e25d0092f68b5410	120777	root:root	../../../../lib64/libpicosat.so.0
+/usr/lib/debug/.build-id/b5/45018e07f6982c30ab32f6e25d0092f68b5410.debug	120777	root:root	../../usr/lib64/libpicosat.so.0.debug
 /usr/lib/debug/usr/lib64/libpicosat.so.0.debug	100644	root:root	
@@ -9,6 +9,6 @@
 Provides: libpicosat-debuginfo = 965-alt3:sisyphus+291245.5600.54.1
-File: /usr/lib/debug/.build-id/9c	40755	root:root		
-File: /usr/lib/debug/.build-id/9c/13be0ac6ca73243565e89e8f8a9b54617d3d94	120777	root:root		../../../../lib64/libpicosat.so.0
-File: /usr/lib/debug/.build-id/9c/13be0ac6ca73243565e89e8f8a9b54617d3d94.debug	120777	root:root		../../usr/lib64/libpicosat.so.0.debug
-File: /usr/lib/debug/usr/lib64/libpicosat.so.0.debug	100644	root:root	881c02011717ffae89fd93bc06491e6b	
-RPMIdentity: 77e694804c36230357c8bd9b64024bcc399bb92c285a37dd33e7b7b6434d9401a1df24d9da9365faf74d7715f2a5841aa52cc2f367d6276f4d1978cf2e4d9d7e
+File: /usr/lib/debug/.build-id/b5	40755	root:root		
+File: /usr/lib/debug/.build-id/b5/45018e07f6982c30ab32f6e25d0092f68b5410	120777	root:root		../../../../lib64/libpicosat.so.0
+File: /usr/lib/debug/.build-id/b5/45018e07f6982c30ab32f6e25d0092f68b5410.debug	120777	root:root		../../usr/lib64/libpicosat.so.0.debug
+File: /usr/lib/debug/usr/lib64/libpicosat.so.0.debug	100644	root:root	956a81359e4632838a5c4bd54e95b4f2	
+RPMIdentity: 44a5ed5255740871adeb5560616ed17674719aa148f3d213200a9c89c439f1f05ecec0befc963cd257f8effa136c6a5d3476f3bc716836fd6c55d6e644724d22
--- picosat-965-alt3.x86_64.rpm.repo	2022-01-27 15:58:34.000000000 +0000
+++ picosat-965-alt3.x86_64.rpm.hasher	2023-06-05 01:56:02.484183822 +0000
@@ -8,3 +8,2 @@
 Requires: /lib64/ld-linux-x86-64.so.2  
-Requires: libc.so.6(GLIBC_2.14)(64bit)  
 Requires: libc.so.6(GLIBC_2.34)(64bit)  
@@ -14,6 +13,6 @@
 Provides: picosat = 965-alt3:sisyphus+291245.5600.54.1
-File: /usr/bin/picogcnf	100755	root:root	3e47970520fd7948fc8c9f4cb16be388	
-File: /usr/bin/picomcs	100755	root:root	d4f7614b50ea6f1dbaae12edaae8c300	
-File: /usr/bin/picomus	100755	root:root	6cdb6d1df37e35093a2c3a76c55eda5b	
-File: /usr/bin/picosat	100755	root:root	c3642969fa655d4a7dafa8be1d0e4002	
+File: /usr/bin/picogcnf	100755	root:root	a569beacbb3de8fb1c17037059d89b9a	
+File: /usr/bin/picomcs	100755	root:root	5a7f23b1bbd48377165d508349c09610	
+File: /usr/bin/picomus	100755	root:root	43b2ead1c004b1aa4ded4342280e021d	
+File: /usr/bin/picosat	100755	root:root	ee8695ea87ed288f9c893141d749e73f	
 File: /usr/share/doc/picosat-965	40755	root:root		
@@ -21,2 +20,2 @@
 File: /usr/share/doc/picosat-965/README	100644	root:root	345afbb462275e4e973bbc2cd1afdb0e	
-RPMIdentity: 7ace9fb158332a90d15d6181acb0f1f4f631e244920f0903f56895802970d31c54a0218007a229cbd19986bd37d513b04f3004db7974527f369d5981c00d78be
+RPMIdentity: 363a5d823d3915f7f48070aff384b262cb6abedd6b51b7c5c1c595d6c2943a13391a39c5a2f761eecbbf81b0761b7d7b9ff3d307844e6fe6831bf05dbe1ff829
--- picosat-debuginfo-965-alt3.x86_64.rpm.repo	2022-01-27 15:58:35.000000000 +0000
+++ picosat-debuginfo-965-alt3.x86_64.rpm.hasher	2023-06-05 01:56:02.533184756 +0000
@@ -1,13 +1,13 @@
-/usr/lib/debug/.build-id/52	40755	root:root	
-/usr/lib/debug/.build-id/52/7da9b2e2ecedb478174a39788be1cdbbed642c	120777	root:root	../../../../bin/picomcs
-/usr/lib/debug/.build-id/52/7da9b2e2ecedb478174a39788be1cdbbed642c.debug	120777	root:root	../../usr/bin/picomcs.debug
-/usr/lib/debug/.build-id/61	40755	root:root	
-/usr/lib/debug/.build-id/61/c9d7798dd3d21edb4acb5d264831a00a82681f	120777	root:root	../../../../bin/picosat
-/usr/lib/debug/.build-id/61/c9d7798dd3d21edb4acb5d264831a00a82681f.debug	120777	root:root	../../usr/bin/picosat.debug
-/usr/lib/debug/.build-id/6f	40755	root:root	
-/usr/lib/debug/.build-id/6f/58657ac8f0cbb1ef9d077622550c89be41cdae	120777	root:root	../../../../bin/picogcnf
-/usr/lib/debug/.build-id/6f/58657ac8f0cbb1ef9d077622550c89be41cdae.debug	120777	root:root	../../usr/bin/picogcnf.debug
-/usr/lib/debug/.build-id/8e	40755	root:root	
-/usr/lib/debug/.build-id/8e/9c6ee66c3c142c3bd120c82784206b949d1c03	120777	root:root	../../../../bin/picomus
-/usr/lib/debug/.build-id/8e/9c6ee66c3c142c3bd120c82784206b949d1c03.debug	120777	root:root	../../usr/bin/picomus.debug
+/usr/lib/debug/.build-id/21	40755	root:root	
+/usr/lib/debug/.build-id/21/a91538a7bbb3a3fd6bfc290feeab2c83f16de6	120777	root:root	../../../../bin/picogcnf
+/usr/lib/debug/.build-id/21/a91538a7bbb3a3fd6bfc290feeab2c83f16de6.debug	120777	root:root	../../usr/bin/picogcnf.debug
+/usr/lib/debug/.build-id/5e	40755	root:root	
+/usr/lib/debug/.build-id/5e/99f7e85a9a4abf5e19f3ca7fb94019cf2b04bc	120777	root:root	../../../../bin/picosat
+/usr/lib/debug/.build-id/5e/99f7e85a9a4abf5e19f3ca7fb94019cf2b04bc.debug	120777	root:root	../../usr/bin/picosat.debug
+/usr/lib/debug/.build-id/9b	40755	root:root	
+/usr/lib/debug/.build-id/9b/73d64ec6b16515ea8375672c37807823faf449	120777	root:root	../../../../bin/picomcs
+/usr/lib/debug/.build-id/9b/73d64ec6b16515ea8375672c37807823faf449.debug	120777	root:root	../../usr/bin/picomcs.debug
+/usr/lib/debug/.build-id/9e	40755	root:root	
+/usr/lib/debug/.build-id/9e/3b29059a940730cbbb73f6bba750f80dd12d85	120777	root:root	../../../../bin/picomus
+/usr/lib/debug/.build-id/9e/3b29059a940730cbbb73f6bba750f80dd12d85.debug	120777	root:root	../../usr/bin/picomus.debug
 /usr/lib/debug/usr/bin/picogcnf.debug	100644	root:root	
@@ -21,18 +21,18 @@
 Provides: picosat-debuginfo = 965-alt3:sisyphus+291245.5600.54.1
-File: /usr/lib/debug/.build-id/52	40755	root:root		
-File: /usr/lib/debug/.build-id/52/7da9b2e2ecedb478174a39788be1cdbbed642c	120777	root:root		../../../../bin/picomcs
-File: /usr/lib/debug/.build-id/52/7da9b2e2ecedb478174a39788be1cdbbed642c.debug	120777	root:root		../../usr/bin/picomcs.debug
-File: /usr/lib/debug/.build-id/61	40755	root:root		
-File: /usr/lib/debug/.build-id/61/c9d7798dd3d21edb4acb5d264831a00a82681f	120777	root:root		../../../../bin/picosat
-File: /usr/lib/debug/.build-id/61/c9d7798dd3d21edb4acb5d264831a00a82681f.debug	120777	root:root		../../usr/bin/picosat.debug
-File: /usr/lib/debug/.build-id/6f	40755	root:root		
-File: /usr/lib/debug/.build-id/6f/58657ac8f0cbb1ef9d077622550c89be41cdae	120777	root:root		../../../../bin/picogcnf
-File: /usr/lib/debug/.build-id/6f/58657ac8f0cbb1ef9d077622550c89be41cdae.debug	120777	root:root		../../usr/bin/picogcnf.debug
-File: /usr/lib/debug/.build-id/8e	40755	root:root		
-File: /usr/lib/debug/.build-id/8e/9c6ee66c3c142c3bd120c82784206b949d1c03	120777	root:root		../../../../bin/picomus
-File: /usr/lib/debug/.build-id/8e/9c6ee66c3c142c3bd120c82784206b949d1c03.debug	120777	root:root		../../usr/bin/picomus.debug
-File: /usr/lib/debug/usr/bin/picogcnf.debug	100644	root:root	42f70ab7d14fe5da3c36e9ea14dcaf12	
-File: /usr/lib/debug/usr/bin/picomcs.debug	100644	root:root	92a5d993557fa598f71be836c54e762c	
-File: /usr/lib/debug/usr/bin/picomus.debug	100644	root:root	10392407f5e939e7777f2629772eb87c	
-File: /usr/lib/debug/usr/bin/picosat.debug	100644	root:root	7949e1244d0137c6f2b021bf175c1520	
-RPMIdentity: 9fa86d9e2141ae4baadc09b027132587a3ce6edf43e175684f470f0ae538bbe7b871e5c329c7e288ed639464c69ef9080c855e4433bd4ae961ebe32badf2b09f
+File: /usr/lib/debug/.build-id/21	40755	root:root		
+File: /usr/lib/debug/.build-id/21/a91538a7bbb3a3fd6bfc290feeab2c83f16de6	120777	root:root		../../../../bin/picogcnf
+File: /usr/lib/debug/.build-id/21/a91538a7bbb3a3fd6bfc290feeab2c83f16de6.debug	120777	root:root		../../usr/bin/picogcnf.debug
+File: /usr/lib/debug/.build-id/5e	40755	root:root		
+File: /usr/lib/debug/.build-id/5e/99f7e85a9a4abf5e19f3ca7fb94019cf2b04bc	120777	root:root		../../../../bin/picosat
+File: /usr/lib/debug/.build-id/5e/99f7e85a9a4abf5e19f3ca7fb94019cf2b04bc.debug	120777	root:root		../../usr/bin/picosat.debug
+File: /usr/lib/debug/.build-id/9b	40755	root:root		
+File: /usr/lib/debug/.build-id/9b/73d64ec6b16515ea8375672c37807823faf449	120777	root:root		../../../../bin/picomcs
+File: /usr/lib/debug/.build-id/9b/73d64ec6b16515ea8375672c37807823faf449.debug	120777	root:root		../../usr/bin/picomcs.debug
+File: /usr/lib/debug/.build-id/9e	40755	root:root		
+File: /usr/lib/debug/.build-id/9e/3b29059a940730cbbb73f6bba750f80dd12d85	120777	root:root		../../../../bin/picomus
+File: /usr/lib/debug/.build-id/9e/3b29059a940730cbbb73f6bba750f80dd12d85.debug	120777	root:root		../../usr/bin/picomus.debug
+File: /usr/lib/debug/usr/bin/picogcnf.debug	100644	root:root	d14094ee15446c567f357c4a6693d745	
+File: /usr/lib/debug/usr/bin/picomcs.debug	100644	root:root	d13c2cc2d6d0023abea82b97fa02daf1	
+File: /usr/lib/debug/usr/bin/picomus.debug	100644	root:root	70129c7fc4110436f5127c18e9b24075	
+File: /usr/lib/debug/usr/bin/picosat.debug	100644	root:root	03b74b2a6ef7c00571b4d42f919853c7	
+RPMIdentity: c455ff87c2285d54611d4ed41ffabefb218fe1dcc7cba73ed64c120f3b636a8c1c70e4bf9965745b2c94533cb28b936898605407508ba0262454a8c80266d14e
--- python3-module-picosat-965-alt3.x86_64.rpm.repo	2022-01-27 15:58:35.000000000 +0000
+++ python3-module-picosat-965-alt3.x86_64.rpm.hasher	2023-06-05 01:56:02.598185996 +0000
@@ -2,3 +2,2 @@
 Requires: /usr/lib64/python3/site-packages  
-Requires: libc.so.6(GLIBC_2.14)(64bit)  
 Requires: python3.10-ABI(64bit)  
@@ -8,3 +7,3 @@
 Provides: python3-module-picosat = 965-alt3:sisyphus+291245.5600.54.1
-File: /usr/lib64/python3/site-packages/_picosat.cpython-310.so	100644	root:root	94d836680a66934ebeab8ddae13ca35e	
-RPMIdentity: f0ed51cc6d9c86ddfb5bcf64f309688020988ea6012118d9cc498c4cc8c03ff9e2e48daadbbec909df35693113ee3a0febb92f19b27f11984a1db8eaf3a76795
+File: /usr/lib64/python3/site-packages/_picosat.cpython-310.so	100644	root:root	e5928efa1ad1226c66fc56ac15d9c819	
+RPMIdentity: c0c4121c5744bf2f5e132fe2433d4f206617093c22e95ec61b346f0f7240b6691c8aebf9e564d0ad887205a75ee332e6861c01193bee2ba882a11b0d78a9d8c3
--- python3-module-picosat-debuginfo-965-alt3.x86_64.rpm.repo	2022-01-27 15:58:35.000000000 +0000
+++ python3-module-picosat-debuginfo-965-alt3.x86_64.rpm.hasher	2023-06-05 01:56:02.808190001 +0000
@@ -1,4 +1,4 @@
-/usr/lib/debug/.build-id/9f	40755	root:root	
-/usr/lib/debug/.build-id/9f/22848ed81bec56fc3ccc9b208b819ba4c3cc06	120777	root:root	../../../../lib64/python3/site-packages/_picosat.cpython-310.so
-/usr/lib/debug/.build-id/9f/22848ed81bec56fc3ccc9b208b819ba4c3cc06.debug	120777	root:root	../../usr/lib64/python3/site-packages/_picosat.cpython-310.so.debug
+/usr/lib/debug/.build-id/19	40755	root:root	
+/usr/lib/debug/.build-id/19/59db359bc407db3addf3c40f128ad66550986c	120777	root:root	../../../../lib64/python3/site-packages/_picosat.cpython-310.so
+/usr/lib/debug/.build-id/19/59db359bc407db3addf3c40f128ad66550986c.debug	120777	root:root	../../usr/lib64/python3/site-packages/_picosat.cpython-310.so.debug
 /usr/lib/debug/usr/lib64/python3	40755	root:root	
@@ -13,8 +13,8 @@
 Provides: python3-module-picosat-debuginfo = 965-alt3:sisyphus+291245.5600.54.1
-File: /usr/lib/debug/.build-id/9f	40755	root:root		
-File: /usr/lib/debug/.build-id/9f/22848ed81bec56fc3ccc9b208b819ba4c3cc06	120777	root:root		../../../../lib64/python3/site-packages/_picosat.cpython-310.so
-File: /usr/lib/debug/.build-id/9f/22848ed81bec56fc3ccc9b208b819ba4c3cc06.debug	120777	root:root		../../usr/lib64/python3/site-packages/_picosat.cpython-310.so.debug
+File: /usr/lib/debug/.build-id/19	40755	root:root		
+File: /usr/lib/debug/.build-id/19/59db359bc407db3addf3c40f128ad66550986c	120777	root:root		../../../../lib64/python3/site-packages/_picosat.cpython-310.so
+File: /usr/lib/debug/.build-id/19/59db359bc407db3addf3c40f128ad66550986c.debug	120777	root:root		../../usr/lib64/python3/site-packages/_picosat.cpython-310.so.debug
 File: /usr/lib/debug/usr/lib64/python3	40755	root:root		
 File: /usr/lib/debug/usr/lib64/python3/site-packages	40755	root:root		
-File: /usr/lib/debug/usr/lib64/python3/site-packages/_picosat.cpython-310.so.debug	100644	root:root	0a3a6e77a1261d67e813e36595bd2c42	
+File: /usr/lib/debug/usr/lib64/python3/site-packages/_picosat.cpython-310.so.debug	100644	root:root	335a59d5470470f0cf547ffcf4421f9a	
 File: /usr/src/debug/picosat-965	40755	root:root		
@@ -22,2 +22,2 @@
 File: /usr/src/debug/picosat-965/picosat_python_wrap.c	100644	root:root	f48e425998a55079ebc27a54f0756115	
-RPMIdentity: 03ed63a2b7854b74c64be24e03d0c4430719743dc7447d90443fb9b08a9864eaccfe84c523e1fc74587ae80b6f6a6a2080f2d71a19a0ed602d48b8c0d6402f6c
+RPMIdentity: 5049edfc8efc22fbd7f46332d18e1f6554078ff4f3ae4d21bb3b85882508d711d06c78aba33500a4379176786f56bd59394a370d91e2d55f453fc34e3aea4d8f