<86>Aug 18 02:10:00 userdel[3236061]: delete user 'rooter'
<86>Aug 18 02:10:00 userdel[3236061]: removed group 'rooter' owned by 'rooter'
<86>Aug 18 02:10:00 userdel[3236061]: removed shadow group 'rooter' owned by 'rooter'
<86>Aug 18 02:10:00 groupadd[3236100]: group added to /etc/group: name=rooter, GID=1802
<86>Aug 18 02:10:00 groupadd[3236100]: group added to /etc/gshadow: name=rooter
<86>Aug 18 02:10:00 groupadd[3236100]: new group: name=rooter, GID=1802
<86>Aug 18 02:10:00 useradd[3236136]: new user: name=rooter, UID=1802, GID=1802, home=/root, shell=/bin/bash, from=none
<86>Aug 18 02:10:00 userdel[3236192]: delete user 'builder'
<86>Aug 18 02:10:00 userdel[3236192]: removed group 'builder' owned by 'builder'
<86>Aug 18 02:10:00 userdel[3236192]: removed shadow group 'builder' owned by 'builder'
<86>Aug 18 02:10:00 groupadd[3236236]: group added to /etc/group: name=builder, GID=1803
<86>Aug 18 02:10:00 groupadd[3236236]: group added to /etc/gshadow: name=builder
<86>Aug 18 02:10:00 groupadd[3236236]: new group: name=builder, GID=1803
<86>Aug 18 02:10:00 useradd[3236261]: new user: name=builder, UID=1803, GID=1803, home=/usr/src, shell=/bin/bash, from=none
<13>Aug 18 02:10:03 rpmi: libmpdec3-2.5.1-alt3 sisyphus+314490.500.5.1 1675432004 installed
<13>Aug 18 02:10:03 rpmi: libgdbm-1.8.3-alt10 sisyphus+278100.1600.1.1 1626058413 installed
<13>Aug 18 02:10:03 rpmi: libexpat-2.5.0-alt1 sisyphus+309227.100.1.1 1667075764 installed
<13>Aug 18 02:10:03 rpmi: libb2-0.98.1-alt1_1 sisyphus+291614.100.1.1 1638962877 installed
<13>Aug 18 02:10:03 rpmi: libp11-kit-1:0.24.1-alt2 sisyphus+324666.100.1.1 1689083439 installed
<13>Aug 18 02:10:03 rpmi: libtasn1-4.19.0-alt2 sisyphus+323514.100.1.1 1687445894 installed
<13>Aug 18 02:10:03 rpmi: rpm-macros-alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed
<13>Aug 18 02:10:03 rpmi: alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed
<13>Aug 18 02:10:03 rpmi: ca-certificates-2023.07.31-alt1 sisyphus+326137.200.1.1 1690809798 installed
<13>Aug 18 02:10:03 rpmi: ca-trust-0.1.4-alt1 sisyphus+308690.100.1.1 1666182992 installed
<13>Aug 18 02:10:03 rpmi: p11-kit-trust-1:0.24.1-alt2 sisyphus+324666.100.1.1 1689083439 installed
<13>Aug 18 02:10:03 rpmi: libcrypto3-3.1.2-alt1 sisyphus+326244.100.1.1 1690906741 installed
<13>Aug 18 02:10:03 rpmi: libssl3-3.1.2-alt1 sisyphus+326244.100.1.1 1690906741 installed
<13>Aug 18 02:10:03 rpmi: python3-3.11.4-alt2 sisyphus+324359.500.4.1 1689257961 installed
<13>Aug 18 02:10:04 rpmi: python3-base-3.11.4-alt2 sisyphus+324359.500.4.1 1689257961 installed
<13>Aug 18 02:10:04 rpmi: tests-for-installed-python3-pkgs-0.1.22-alt1 sisyphus+319076.100.3.1 1682536051 installed
<13>Aug 18 02:10:04 rpmi: rpm-build-python3-0.1.22-alt1 sisyphus+319076.100.3.1 1682536051 installed
<13>Aug 18 02:10:04 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>Aug 18 02:10:06 rpmi: libpython3-3.11.4-alt2 sisyphus+324359.500.4.1 1689257961 installed
<13>Aug 18 02:10:06 rpmi: libncurses-6.3.20220618-alt1 sisyphus+302449.100.1.1 1655835246 installed
<13>Aug 18 02:10:06 rpmi: libtinfo-devel-6.3.20220618-alt1 sisyphus+302449.100.1.1 1655835246 installed
<13>Aug 18 02:10:06 rpmi: libncurses-devel-6.3.20220618-alt1 sisyphus+302449.100.1.1 1655835246 installed
<13>Aug 18 02:10:06 rpmi: libgdbm-devel-1.8.3-alt10 sisyphus+278100.1600.1.1 1626058413 installed
<13>Aug 18 02:10:06 rpmi: perl-devel-1:5.34.1-alt1 sisyphus+303178.100.1.1 1656953516 installed
<13>Aug 18 02:10:06 rpmi: swig-data-1:4.1.1-alt7 sisyphus+325440.100.1.1 1690178460 installed
<13>Aug 18 02:10:06 rpmi: swig-1:4.1.1-alt7 sisyphus+325440.100.1.1 1690178460 installed
<13>Aug 18 02:10:07 rpmi: python3-dev-3.11.4-alt2 sisyphus+324359.500.4.1 1689257961 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>Aug 18 02:10:09 rpmi: python3-module-pkg_resources-1:68.0.0-alt2 sisyphus+326606.200.2.1 1691498326 installed
<13>Aug 18 02:10:09 rpmi: python3-module-setuptools-1:68.0.0-alt2 sisyphus+326606.200.2.1 1691498326 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.94969
+ 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.94969
+ 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/tmpm9ehxxrj.c
Compiling the extension module...
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.43302
+ 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-311/_picosat.cpython-311.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.43302
+ 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.43302
+ 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.cwhSkV
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.1rnQO2
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.eQ656c
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.MvbyTg
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.24Igij
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.XsMied
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.zgTy9u
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.SxT3D3
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.7RqBS8
Processing files: python3-module-picosat-965-alt3
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.B2a7hf
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.LZVEBZ
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.11-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.RTBbY1
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.0WKXFt
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.aVebjB
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.701Abg
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.KP7uzN
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.qP9lFO
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.eCtTwh
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.81user 1.95system 0:23.82elapsed 32%CPU (0avgtext+0avgdata 84692maxresident)k
0inputs+0outputs (0major+731067minor)pagefaults 0swaps
4.99user 2.11system 0:38.38elapsed 18%CPU (0avgtext+0avgdata 126236maxresident)k
8inputs+0outputs (0major+316898minor)pagefaults 0swaps
--- libpicosat-965-alt3.x86_64.rpm.repo	2023-06-01 14:32:53.000000000 +0000
+++ libpicosat-965-alt3.x86_64.rpm.hasher	2023-08-18 02:10:36.480755945 +0000
@@ -9,3 +9,3 @@
 Provides: libpicosat = 965-alt3:sisyphus+311250.6700.175.1
-File: /usr/lib64/libpicosat.so.0	100644	root:root	89f472d7b8a8351c430bc9102fd67c21	
-RPMIdentity: d7434e9347b2d3561743e0bc21f4d3a1fab2f33102b4998b168cec12ce445b2b22f0d4c374b7226b1d2d23c0449b72a8869deb537d4ea82ee79c46f9e688f5c1
+File: /usr/lib64/libpicosat.so.0	100644	root:root	19280219a8a9263d29aa821714e9319d	
+RPMIdentity: 37d7e7c53dac18adea25ab6d524da338dbcf225e64057612b629f4c8f79c184d5367349f2a050951c29adf2ab2e7a3b3c93a02bf9bc2197b5a59425d07f75076
--- libpicosat-debuginfo-965-alt3.x86_64.rpm.repo	2023-06-01 14:32:53.000000000 +0000
+++ libpicosat-debuginfo-965-alt3.x86_64.rpm.hasher	2023-08-18 02:10:36.710760245 +0000
@@ -1,4 +1,4 @@
-/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/.build-id/61	40755	root:root	
+/usr/lib/debug/.build-id/61/aab02431aaa453f146998b81a2fe5ffbff2cfb	120777	root:root	../../../../lib64/libpicosat.so.0
+/usr/lib/debug/.build-id/61/aab02431aaa453f146998b81a2fe5ffbff2cfb.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+311250.6700.175.1
-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
+File: /usr/lib/debug/.build-id/61	40755	root:root		
+File: /usr/lib/debug/.build-id/61/aab02431aaa453f146998b81a2fe5ffbff2cfb	120777	root:root		../../../../lib64/libpicosat.so.0
+File: /usr/lib/debug/.build-id/61/aab02431aaa453f146998b81a2fe5ffbff2cfb.debug	120777	root:root		../../usr/lib64/libpicosat.so.0.debug
+File: /usr/lib/debug/usr/lib64/libpicosat.so.0.debug	100644	root:root	94096f5d233503b6c9b34d52c6b718f7	
+RPMIdentity: 92fb13ea6f42d91c4c8283109e08fb8c740a012e37a46d06fc32c62e4d329667274e1fb7cb8af6bf196ad0ccb95a83cb1ad3709d877589f60488528572421504
--- picosat-965-alt3.x86_64.rpm.repo	2023-06-01 14:32:52.000000000 +0000
+++ picosat-965-alt3.x86_64.rpm.hasher	2023-08-18 02:10:37.213769650 +0000
@@ -13,6 +13,6 @@
 Provides: picosat = 965-alt3:sisyphus+311250.6700.175.1
-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/bin/picogcnf	100755	root:root	40c6c46f16212326ec3d55d5318b0578	
+File: /usr/bin/picomcs	100755	root:root	97e449ece545a2f325ff1628d2ed9b5e	
+File: /usr/bin/picomus	100755	root:root	371ac54975df0a62a437cb25a30f84c8	
+File: /usr/bin/picosat	100755	root:root	0931e18599fb2bc4e4ef67dc9ab94f9f	
 File: /usr/share/doc/picosat-965	40755	root:root		
@@ -20,2 +20,2 @@
 File: /usr/share/doc/picosat-965/README	100644	root:root	345afbb462275e4e973bbc2cd1afdb0e	
-RPMIdentity: 363a5d823d3915f7f48070aff384b262cb6abedd6b51b7c5c1c595d6c2943a13391a39c5a2f761eecbbf81b0761b7d7b9ff3d307844e6fe6831bf05dbe1ff829
+RPMIdentity: 17c1ebd7402140902375b0848fa0358fff7d09a000306781592c6d123d34167fd78da3a536fdd8f4d9085b2ef896e056fa6bfa9d1d9fedc0e446e48329fe2283
--- picosat-debuginfo-965-alt3.x86_64.rpm.repo	2023-06-01 14:32:53.000000000 +0000
+++ picosat-debuginfo-965-alt3.x86_64.rpm.hasher	2023-08-18 02:10:37.431773727 +0000
@@ -1,13 +1,13 @@
-/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/.build-id/2e	40755	root:root	
+/usr/lib/debug/.build-id/2e/b2498df75f96403215a40221f9dcc5ed43c100	120777	root:root	../../../../bin/picomcs
+/usr/lib/debug/.build-id/2e/b2498df75f96403215a40221f9dcc5ed43c100.debug	120777	root:root	../../usr/bin/picomcs.debug
+/usr/lib/debug/.build-id/62	40755	root:root	
+/usr/lib/debug/.build-id/62/334c627b1c367594d1c97ab683bdf6a5cfe68b	120777	root:root	../../../../bin/picogcnf
+/usr/lib/debug/.build-id/62/334c627b1c367594d1c97ab683bdf6a5cfe68b.debug	120777	root:root	../../usr/bin/picogcnf.debug
+/usr/lib/debug/.build-id/81	40755	root:root	
+/usr/lib/debug/.build-id/81/46f0b6f2e7e0a4e6d8cb4dd0d9711a4f016e12	120777	root:root	../../../../bin/picomus
+/usr/lib/debug/.build-id/81/46f0b6f2e7e0a4e6d8cb4dd0d9711a4f016e12.debug	120777	root:root	../../usr/bin/picomus.debug
+/usr/lib/debug/.build-id/f9	40755	root:root	
+/usr/lib/debug/.build-id/f9/1f29e872d4c0c75afe0c1f92a1210d34ec977e	120777	root:root	../../../../bin/picosat
+/usr/lib/debug/.build-id/f9/1f29e872d4c0c75afe0c1f92a1210d34ec977e.debug	120777	root:root	../../usr/bin/picosat.debug
 /usr/lib/debug/usr/bin/picogcnf.debug	100644	root:root	
@@ -21,18 +21,18 @@
 Provides: picosat-debuginfo = 965-alt3:sisyphus+311250.6700.175.1
-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
+File: /usr/lib/debug/.build-id/2e	40755	root:root		
+File: /usr/lib/debug/.build-id/2e/b2498df75f96403215a40221f9dcc5ed43c100	120777	root:root		../../../../bin/picomcs
+File: /usr/lib/debug/.build-id/2e/b2498df75f96403215a40221f9dcc5ed43c100.debug	120777	root:root		../../usr/bin/picomcs.debug
+File: /usr/lib/debug/.build-id/62	40755	root:root		
+File: /usr/lib/debug/.build-id/62/334c627b1c367594d1c97ab683bdf6a5cfe68b	120777	root:root		../../../../bin/picogcnf
+File: /usr/lib/debug/.build-id/62/334c627b1c367594d1c97ab683bdf6a5cfe68b.debug	120777	root:root		../../usr/bin/picogcnf.debug
+File: /usr/lib/debug/.build-id/81	40755	root:root		
+File: /usr/lib/debug/.build-id/81/46f0b6f2e7e0a4e6d8cb4dd0d9711a4f016e12	120777	root:root		../../../../bin/picomus
+File: /usr/lib/debug/.build-id/81/46f0b6f2e7e0a4e6d8cb4dd0d9711a4f016e12.debug	120777	root:root		../../usr/bin/picomus.debug
+File: /usr/lib/debug/.build-id/f9	40755	root:root		
+File: /usr/lib/debug/.build-id/f9/1f29e872d4c0c75afe0c1f92a1210d34ec977e	120777	root:root		../../../../bin/picosat
+File: /usr/lib/debug/.build-id/f9/1f29e872d4c0c75afe0c1f92a1210d34ec977e.debug	120777	root:root		../../usr/bin/picosat.debug
+File: /usr/lib/debug/usr/bin/picogcnf.debug	100644	root:root	9bf1a469434c01ee09f272f75d72f09e	
+File: /usr/lib/debug/usr/bin/picomcs.debug	100644	root:root	dce3edf1e9c2e324fcd73d917db3ad0f	
+File: /usr/lib/debug/usr/bin/picomus.debug	100644	root:root	c130154162403abefbb9c4c8015be077	
+File: /usr/lib/debug/usr/bin/picosat.debug	100644	root:root	5e4bdea2ad11714ab8cea9fba75d35ad	
+RPMIdentity: 85006a75746c26958596d5ff1956c692d985e53b19f18d430db0693658376f1f602cd9466b364378e07f3ed591a05085134e98177bda492beab501d66d83f1ec
--- python3-module-picosat-965-alt3.x86_64.rpm.repo	2023-06-01 14:32:53.000000000 +0000
+++ python3-module-picosat-965-alt3.x86_64.rpm.hasher	2023-08-18 02:10:37.696778681 +0000
@@ -7,3 +7,3 @@
 Provides: python3-module-picosat = 965-alt3:sisyphus+311250.6700.175.1
-File: /usr/lib64/python3/site-packages/_picosat.cpython-311.so	100644	root:root	3c2811fcae49c7c5626719f8d17b4924	
-RPMIdentity: 37505cd2b836e8bd3b862b14e04f2cf9632bbe59484295e098d964be2ae34b308cc5a31574f563c6017f58cea623dbcc39fc0d7adc0bf9c7fa7100aba6276e4e
+File: /usr/lib64/python3/site-packages/_picosat.cpython-311.so	100644	root:root	350d0d690baed97ad5d8cb377c240026	
+RPMIdentity: 8a4aa1b2adb8432bb7d98438f2d7993eac6cf1ef44dce67e013c06945df46a55380562bcb0c156a4f18055ebcccf0772ffba84bed0e3b56e2892199a1cc3a546
--- python3-module-picosat-debuginfo-965-alt3.x86_64.rpm.repo	2023-06-01 14:32:54.000000000 +0000
+++ python3-module-picosat-debuginfo-965-alt3.x86_64.rpm.hasher	2023-08-18 02:10:37.908782646 +0000
@@ -1,4 +1,4 @@
-/usr/lib/debug/.build-id/fc	40755	root:root	
-/usr/lib/debug/.build-id/fc/7d76f137223f62d96e000f3d9daa22450522bc	120777	root:root	../../../../lib64/python3/site-packages/_picosat.cpython-311.so
-/usr/lib/debug/.build-id/fc/7d76f137223f62d96e000f3d9daa22450522bc.debug	120777	root:root	../../usr/lib64/python3/site-packages/_picosat.cpython-311.so.debug
+/usr/lib/debug/.build-id/69	40755	root:root	
+/usr/lib/debug/.build-id/69/8f881d1c1d020782edf9564dffd81d72102566	120777	root:root	../../../../lib64/python3/site-packages/_picosat.cpython-311.so
+/usr/lib/debug/.build-id/69/8f881d1c1d020782edf9564dffd81d72102566.debug	120777	root:root	../../usr/lib64/python3/site-packages/_picosat.cpython-311.so.debug
 /usr/lib/debug/usr/lib64/python3	40755	root:root	
@@ -13,11 +13,11 @@
 Provides: python3-module-picosat-debuginfo = 965-alt3:sisyphus+311250.6700.175.1
-File: /usr/lib/debug/.build-id/fc	40755	root:root		
-File: /usr/lib/debug/.build-id/fc/7d76f137223f62d96e000f3d9daa22450522bc	120777	root:root		../../../../lib64/python3/site-packages/_picosat.cpython-311.so
-File: /usr/lib/debug/.build-id/fc/7d76f137223f62d96e000f3d9daa22450522bc.debug	120777	root:root		../../usr/lib64/python3/site-packages/_picosat.cpython-311.so.debug
+File: /usr/lib/debug/.build-id/69	40755	root:root		
+File: /usr/lib/debug/.build-id/69/8f881d1c1d020782edf9564dffd81d72102566	120777	root:root		../../../../lib64/python3/site-packages/_picosat.cpython-311.so
+File: /usr/lib/debug/.build-id/69/8f881d1c1d020782edf9564dffd81d72102566.debug	120777	root:root		../../usr/lib64/python3/site-packages/_picosat.cpython-311.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-311.so.debug	100644	root:root	9b9a180a5ac74eea5ce63f07c70c9dbb	
+File: /usr/lib/debug/usr/lib64/python3/site-packages/_picosat.cpython-311.so.debug	100644	root:root	5ae1a38b31891ec6314c623766f6a935	
 File: /usr/src/debug/picosat-965	40755	root:root		
 File: /usr/src/debug/picosat-965/picosat.h	100644	root:root	ca6b9e56bce8c28e75aa6ca6c3a0ad11	
-File: /usr/src/debug/picosat-965/picosat_python_wrap.c	100644	root:root	f48e425998a55079ebc27a54f0756115	
-RPMIdentity: 6a0def9c10c03f013cdeab4bf1aa85208107eb917b80f2fb0443fdc66927058a7db7e76ecc0e602aa341d7ed719e9b2eae3f670afec689729dc99a37af433d58
+File: /usr/src/debug/picosat-965/picosat_python_wrap.c	100644	root:root	08b43bdc4c3a94695596cd3c7ce8f5ed	
+RPMIdentity: 2252ef678b9da5fc205db3cbd3627654d862ec483d66ff03f852d294c76e113a68e67f75a587a2c2d4abc39f0d39d70a2c0e5907f25e369d1fcb8b6827299874