<86>Jun 2 05:23:17 userdel[385391]: delete user 'rooter' <86>Jun 2 05:23:17 userdel[385391]: removed group 'rooter' owned by 'rooter' <86>Jun 2 05:23:17 userdel[385391]: removed shadow group 'rooter' owned by 'rooter' <86>Jun 2 05:23:17 groupadd[385408]: group added to /etc/group: name=rooter, GID=531 <86>Jun 2 05:23:17 groupadd[385408]: group added to /etc/gshadow: name=rooter <86>Jun 2 05:23:17 groupadd[385408]: new group: name=rooter, GID=531 <86>Jun 2 05:23:17 useradd[385423]: new user: name=rooter, UID=531, GID=531, home=/root, shell=/bin/bash <86>Jun 2 05:23:17 userdel[385444]: delete user 'builder' <86>Jun 2 05:23:17 userdel[385444]: removed group 'builder' owned by 'builder' <86>Jun 2 05:23:17 userdel[385444]: removed shadow group 'builder' owned by 'builder' <86>Jun 2 05:23:17 groupadd[385463]: group added to /etc/group: name=builder, GID=532 <86>Jun 2 05:23:17 groupadd[385463]: group added to /etc/gshadow: name=builder <86>Jun 2 05:23:17 groupadd[385463]: new group: name=builder, GID=532 <86>Jun 2 05:23:17 useradd[385477]: new user: name=builder, UID=532, GID=532, home=/usr/src, shell=/bin/bash <13>Jun 2 05:23:21 rpmi: libffi6-1:3.2.1-alt4 sisyphus+251953.300.2.1 1589891021 installed <13>Jun 2 05:23:21 rpmi: libp11-kit-0.23.15-alt1 sisyphus+226408.100.2.1 1554288187 installed <13>Jun 2 05:23:21 rpmi: libgdbm-1.8.3-alt10 1454943313 installed <13>Jun 2 05:23:21 rpmi: libexpat-2.2.9-alt1 sisyphus+252464.200.2.1 1590958863 installed <13>Jun 2 05:23:21 rpmi: libtasn1-4.16.0-alt1 sisyphus+245480.100.1.1 1580825069 installed <13>Jun 2 05:23:21 rpmi: rpm-macros-alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Jun 2 05:23:21 rpmi: alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Jun 2 05:23:21 rpmi: ca-certificates-2020.01.23-alt1 sisyphus+244791.300.2.1 1580285500 installed <13>Jun 2 05:23:21 rpmi: ca-trust-0.1.2-alt1 sisyphus+233348.100.1.1 1561653823 installed <13>Jun 2 05:23:21 rpmi: p11-kit-trust-0.23.15-alt1 sisyphus+226408.100.2.1 1554288187 installed <13>Jun 2 05:23:22 rpmi: libcrypto1.1-1.1.1g-alt1 sisyphus+249982.60.8.1 1587743567 installed <13>Jun 2 05:23:22 rpmi: libssl1.1-1.1.1g-alt1 sisyphus+249982.60.8.1 1587743567 installed <13>Jun 2 05:23:22 rpmi: python3-3.8.2-alt1 sisyphus+244999.100.3.1 1585218350 installed <13>Jun 2 05:23:23 rpmi: python3-base-3.8.2-alt1 sisyphus+244999.100.3.1 1585218350 installed <13>Jun 2 05:23:23 rpmi: libpython3-3.8.2-alt1 sisyphus+244999.100.3.1 1585218350 installed <13>Jun 2 05:23:23 rpmi: tests-for-installed-python3-pkgs-0.1.13.1-alt2 1535450458 installed <13>Jun 2 05:23:23 rpmi: rpm-build-python3-0.1.13.1-alt2 1535450458 installed <13>Jun 2 05:23:23 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>Jun 2 05:23:27 rpmi: libtinfo-devel-6.1.20180407-alt2 sisyphus+222164.200.1.1 1550686221 installed <13>Jun 2 05:23:27 rpmi: libncurses-devel-6.1.20180407-alt2 sisyphus+222164.200.1.1 1550686221 installed <13>Jun 2 05:23:27 rpmi: libgdbm-devel-1.8.3-alt10 1454943313 installed <13>Jun 2 05:23:27 rpmi: libdb4.7-devel-4.7.25-alt9 1490438456 installed <13>Jun 2 05:23:27 rpmi: perl-devel-1:5.28.2-alt3 sisyphus+246858.100.1.1 1582561863 installed <13>Jun 2 05:23:27 rpmi: swig-data-1:3.0.12-alt8 sisyphus+227267.100.3.2 1555642939 installed <13>Jun 2 05:23:27 rpmi: swig-1:3.0.12-alt8 sisyphus+227267.100.3.2 1555642939 installed <13>Jun 2 05:23:27 rpmi: python3-dev-3.8.2-alt1 sisyphus+244999.100.3.1 1585218350 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/picosat-965-alt2.nosrc.rpm <13>Jun 2 05:23:31 rpmi: python3-module-pkg_resources-1:46.1.3-alt1 sisyphus+250566.200.3.1 1587973342 installed <13>Jun 2 05:23:31 rpmi: python3-module-setuptools-1:46.1.3-alt1 sisyphus+250566.200.3.1 1587973342 installed Installing picosat-965-alt2.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.93274 + 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.13448 + 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 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export FFLAGS + make -j8 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 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export FFLAGS + make -j8 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 -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 -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 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 -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 picosat main.o app.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 -o picomus picomus.o -L. -lpicosat make: Leaving directory '/usr/src/RPM/BUILD/picosat-965' + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -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/tmp8dxe23dd.c Compiling the extension module... running build running build_ext building '_picosat' extension creating build creating build/temp.linux-x86_64-3.8 x86_64-alt-linux-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -pipe -frecord-gcc-switches -Wall -g -O3 -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -fPIC -DSWIG=1 -I./ -I/usr/include/python3.8 -c picosat_python_wrap.c -o build/temp.linux-x86_64-3.8/picosat_python_wrap.o -Wno-unused -Wno-uninitialized creating build/lib.linux-x86_64-3.8 x86_64-alt-linux-gcc -pthread -shared -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC build/temp.linux-x86_64-3.8/picosat_python_wrap.o -L./ -L/usr/lib64 -lpicosat -o build/lib.linux-x86_64-3.8/_picosat.cpython-38.so + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.82691 + 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 + cd picosat-965 + LIB_SUFF=64 + make 'INSTALL=/bin/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-3.8/_picosat.cpython-38.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) 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: libpicosat.so.0 -> 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 Hardlinking identical .pyc and .pyo files Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.53212 + 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-alt2 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.53212 + 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.DBnFcq 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.eyWmAp find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: libpicosat = 965-alt2, /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.14)(64bit), 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), 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.MvEhXp Creating picosat-debuginfo package Processing files: libpicosat-965-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.JbCiWr 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.eyRuEo 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.A2A1Ao Creating libpicosat-debuginfo package Processing files: libpicosat-devel-965-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.tf3pNq 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.vipQhs find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: libpicosat = 965-alt2, /usr/lib64/libpicosat.so.0 Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.0qQJHp Processing files: python3-module-picosat-965-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.4tfSoq 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.BdwiKq 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-alt2, /usr/lib64/python3/site-packages, libc.so.6(GLIBC_2.14)(64bit), 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.8-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.WJvyXo Creating python3-module-picosat-debuginfo package Processing files: picosat-debuginfo-965-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DaMJIr find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.GrEmQq find-requires: running scripts (debuginfo) Requires: picosat = 965-alt2, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libpicosat.so.0) Processing files: libpicosat-debuginfo-965-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.Ctwf2p find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.NT1nVr find-requires: running scripts (debuginfo) Provides: debug64(libpicosat.so.0) Requires: libpicosat = 965-alt2, debug64(libc.so.6) Processing files: python3-module-picosat-debuginfo-965-alt2 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.wUMbbq find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.qeh9Gp find-requires: running scripts (debuginfo) Requires: python3-module-picosat = 965-alt2, 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-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libpicosat-965-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libpicosat-devel-965-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/python3-module-picosat-965-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/picosat-debuginfo-965-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libpicosat-debuginfo-965-alt2.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/python3-module-picosat-debuginfo-965-alt2.x86_64.rpm 23.28user 5.44system 0:45.40elapsed 63%CPU (0avgtext+0avgdata 83600maxresident)k 0inputs+0outputs (0major+858134minor)pagefaults 0swaps 35.64user 13.44system 1:07.78elapsed 72%CPU (0avgtext+0avgdata 109836maxresident)k 8inputs+0outputs (0major+1468033minor)pagefaults 0swaps