<86>May 17 04:06:17 userdel[1427939]: delete user 'rooter' <86>May 17 04:06:17 userdel[1427939]: removed group 'rooter' owned by 'rooter' <86>May 17 04:06:17 userdel[1427939]: removed shadow group 'rooter' owned by 'rooter' <86>May 17 04:06:17 groupadd[1427953]: group added to /etc/group: name=rooter, GID=690 <86>May 17 04:06:17 groupadd[1427953]: group added to /etc/gshadow: name=rooter <86>May 17 04:06:17 groupadd[1427953]: new group: name=rooter, GID=690 <86>May 17 04:06:17 useradd[1427961]: new user: name=rooter, UID=690, GID=690, home=/root, shell=/bin/bash <86>May 17 04:06:17 userdel[1427973]: delete user 'builder' <86>May 17 04:06:17 userdel[1427973]: removed group 'builder' owned by 'builder' <86>May 17 04:06:17 userdel[1427973]: removed shadow group 'builder' owned by 'builder' <86>May 17 04:06:17 groupadd[1427980]: group added to /etc/group: name=builder, GID=691 <86>May 17 04:06:17 groupadd[1427980]: group added to /etc/gshadow: name=builder <86>May 17 04:06:17 groupadd[1427980]: new group: name=builder, GID=691 <86>May 17 04:06:17 useradd[1427988]: new user: name=builder, UID=691, GID=691, home=/usr/src, shell=/bin/bash <13>May 17 04:06:18 rpmi: libgdbm-1.8.3-alt10 1454943313 installed <13>May 17 04:06:18 rpmi: libexpat-2.2.10-alt1 sisyphus+259966.100.1.1 1602824514 installed <13>May 17 04:06:18 rpmi: libp11-kit-0.23.15-alt2 sisyphus+252784.100.2.2 1591274915 installed <13>May 17 04:06:18 rpmi: libtasn1-4.16.0-alt1 sisyphus+245480.100.1.1 1580825069 installed <13>May 17 04:06:18 rpmi: rpm-macros-alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>May 17 04:06:18 rpmi: alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>May 17 04:06:18 rpmi: ca-certificates-2021.03.24-alt1 sisyphus+268304.300.1.1 1616591829 installed <13>May 17 04:06:18 rpmi: ca-trust-0.1.2-alt1 sisyphus+233348.100.1.1 1561653823 installed <13>May 17 04:06:18 rpmi: p11-kit-trust-0.23.15-alt2 sisyphus+252784.100.2.2 1591274915 installed <13>May 17 04:06:18 rpmi: libcrypto1.1-1.1.1k-alt1 sisyphus+268375.100.1.1 1616684123 installed <13>May 17 04:06:19 rpmi: libssl1.1-1.1.1k-alt1 sisyphus+268375.100.1.1 1616684123 installed <13>May 17 04:06:19 rpmi: python3-3.9.5-alt1 sisyphus+271461.100.1.1 1620748574 installed <13>May 17 04:06:19 rpmi: python3-base-3.9.5-alt1 sisyphus+271461.100.1.1 1620748574 installed <13>May 17 04:06:19 rpmi: libpython3-3.9.5-alt1 sisyphus+271461.100.1.1 1620748574 installed <13>May 17 04:06:19 rpmi: tests-for-installed-python3-pkgs-0.1.17-alt1 sisyphus+271082.100.1.1 1619820927 installed <13>May 17 04:06:19 rpmi: rpm-build-python3-0.1.17-alt1 sisyphus+271082.100.1.1 1619820927 installed <13>May 17 04:06:19 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>May 17 04:06:21 rpmi: libtinfo-devel-6.2.20210123-alt1 sisyphus+265425.100.1.1 1611851422 installed <13>May 17 04:06:21 rpmi: libncurses-devel-6.2.20210123-alt1 sisyphus+265425.100.1.1 1611851422 installed <13>May 17 04:06:21 rpmi: libgdbm-devel-1.8.3-alt10 1454943313 installed <13>May 17 04:06:22 rpmi: perl-devel-1:5.30.3-alt1 sisyphus+259030.200.1.1 1601554015 installed <13>May 17 04:06:22 rpmi: swig-data-1:3.0.12-alt8 sisyphus+253354.100.1.1 1591967642 installed <13>May 17 04:06:22 rpmi: swig-1:3.0.12-alt8 sisyphus+253354.100.1.1 1591967642 installed <13>May 17 04:06:22 rpmi: python3-dev-3.9.5-alt1 sisyphus+271461.100.1.1 1620748574 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/picosat-965-alt3.nosrc.rpm (w1.gzdio) <13>May 17 04:06:24 rpmi: python3-module-pkg_resources-1:56.1.0-alt1 sisyphus+271297.100.1.1 1620375285 installed <13>May 17 04:06:24 rpmi: python3-module-setuptools-1:56.1.0-alt1 sisyphus+271297.100.1.1 1620375285 installed 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.32915 + 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.32915 + 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 -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 -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/tmp_bqyr73n.c Compiling the extension module... running build running build_ext building '_picosat' extension creating build creating build/temp.linux-x86_64-3.9 x86_64-alt-linux-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -pipe -frecord-gcc-switches -Wall -pipe -frecord-gcc-switches -Wall -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC -fPIC -DSWIG=1 -I./ -I/usr/include/python3.9 -c picosat_python_wrap.c -o build/temp.linux-x86_64-3.9/picosat_python_wrap.o -Wno-unused -Wno-uninitialized creating build/lib.linux-x86_64-3.9 x86_64-alt-linux-gcc -pthread -shared -pipe -frecord-gcc-switches -Wall -g -O2 -fPIC -DPIC build/temp.linux-x86_64-3.9/picosat_python_wrap.o -L./ -L/usr/lib64 -lpicosat -o build/lib.linux-x86_64-3.9/_picosat.cpython-39.so + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.86016 + 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-3.9/_picosat.cpython-39.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 :0) 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 Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.86016 + 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.86016 + 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.CE9tUJ 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.UiDdxK 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.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.VnzK3I 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.y7jc0G 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.5fKbTJ 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.B4MUJJ 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.aaEuxI 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.LRzbrH 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.idKP1I Processing files: python3-module-picosat-965-alt3 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DReQNJ 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.6GB8oL find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) /usr/lib/rpm/python3.req.py:6: DeprecationWarning: The parser module is deprecated and will be removed in future versions of Python import parser, symbol, token, types /usr/lib/rpm/python3.req.py:6: DeprecationWarning: The symbol module is deprecated and will be removed in future versions of Python import parser, symbol, token, types Provides: python3(_picosat) Requires: libpicosat = 965-alt3, /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.9-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.g6C5tI 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.SnfXgL find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DBXpvI 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.g0y0VH find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.8bO8bL 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.LcFcpJ find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ZdHYrI 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) 7.96user 1.92system 0:25.56elapsed 38%CPU (0avgtext+0avgdata 81936maxresident)k 0inputs+0outputs (0major+739050minor)pagefaults 0swaps 15.04user 5.38system 0:36.24elapsed 56%CPU (0avgtext+0avgdata 106876maxresident)k 0inputs+0outputs (0major+1336920minor)pagefaults 0swaps