<86>Jan 12 09:51:33 userdel[321100]: delete user 'rooter' <86>Jan 12 09:51:33 groupadd[321107]: group added to /etc/group: name=rooter, GID=702 <86>Jan 12 09:51:33 groupadd[321107]: new group: name=rooter, GID=702 <86>Jan 12 09:51:33 useradd[321111]: new user: name=rooter, UID=702, GID=702, home=/root, shell=/bin/bash <86>Jan 12 09:51:33 userdel[321117]: delete user 'builder' <86>Jan 12 09:51:33 groupadd[321133]: group added to /etc/group: name=builder, GID=703 <86>Jan 12 09:51:33 groupadd[321133]: new group: name=builder, GID=703 <86>Jan 12 09:51:33 useradd[321143]: new user: name=builder, UID=703, GID=703, home=/usr/src, shell=/bin/bash <13>Jan 12 09:51:38 rpmi: libgdbm-1.8.3-alt10 1454943334 installed <13>Jan 12 09:51:38 rpmi: libexpat-2.2.10-alt1 sisyphus+259966.100.1.1 1602824518 installed <13>Jan 12 09:51:38 rpmi: libp11-kit-0.23.15-alt2 sisyphus+252784.100.2.2 1591274901 installed <13>Jan 12 09:51:38 rpmi: libtasn1-4.16.0-alt1 sisyphus+245480.100.1.1 1580825062 installed <13>Jan 12 09:51:38 rpmi: rpm-macros-alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Jan 12 09:51:38 rpmi: alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Jan 12 09:51:38 rpmi: ca-certificates-2020.10.22-alt1 sisyphus+260224.300.2.1 1603549301 installed <13>Jan 12 09:51:38 rpmi: ca-trust-0.1.2-alt1 sisyphus+233348.100.1.1 1561653823 installed <13>Jan 12 09:51:38 rpmi: p11-kit-trust-0.23.15-alt2 sisyphus+252784.100.2.2 1591274901 installed <13>Jan 12 09:51:39 rpmi: libcrypto1.1-1.1.1i-alt1 sisyphus+263103.100.1.1 1607445576 installed <13>Jan 12 09:51:39 rpmi: libssl1.1-1.1.1i-alt1 sisyphus+263103.100.1.1 1607445576 installed <13>Jan 12 09:51:39 rpmi: python3-3.8.6-alt1 sisyphus+259085.100.2.1 1601904174 installed <13>Jan 12 09:51:40 rpmi: python3-base-3.8.6-alt1 sisyphus+259085.100.2.1 1601904174 installed <13>Jan 12 09:51:40 rpmi: libpython3-3.8.6-alt1 sisyphus+259085.100.2.1 1601904174 installed <13>Jan 12 09:51:40 rpmi: tests-for-installed-python3-pkgs-0.1.13.1-alt2 1535450458 installed <13>Jan 12 09:51:40 rpmi: rpm-build-python3-0.1.13.1-alt2 1535450458 installed <13>Jan 12 09:51:40 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed <13>Jan 12 09:51:47 rpmi: libtinfo-devel-6.2.20201107-alt1 sisyphus+261749.100.1.1 1605292929 installed <13>Jan 12 09:51:48 rpmi: libncurses-devel-6.2.20201107-alt1 sisyphus+261749.100.1.1 1605292929 installed <13>Jan 12 09:51:48 rpmi: libgdbm-devel-1.8.3-alt10 1454943334 installed <13>Jan 12 09:51:48 rpmi: perl-devel-1:5.30.3-alt1 sisyphus+259030.200.1.1 1601554162 installed <13>Jan 12 09:51:48 rpmi: swig-data-1:3.0.12-alt8 sisyphus+253354.100.1.1 1591967642 installed <13>Jan 12 09:51:48 rpmi: swig-1:3.0.12-alt8 sisyphus+253354.100.1.1 1591967666 installed <13>Jan 12 09:51:48 rpmi: python3-dev-3.8.6-alt1 sisyphus+259085.100.2.1 1601904174 installed Building target platforms: i586 Building for target i586 Wrote: /usr/src/in/nosrpm/picosat-965-alt3.nosrc.rpm (w1.gzdio) <13>Jan 12 09:51:53 rpmi: python3-module-pkg_resources-1:46.1.3-alt2 sisyphus+260458.600.6.1 1603876498 installed <13>Jan 12 09:51:53 rpmi: python3-module-setuptools-1:46.1.3-alt2 sisyphus+260458.600.6.1 1603876498 installed Installing picosat-965-alt3.src.rpm Building target platforms: i586 Building for target i586 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.83641 + 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.83641 + 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 -march=i586 -mtune=generic -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -march=i586 -mtune=generic -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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 -c picomus.c picomus.c: In function 'main': picomus.c:239:32: warning: '%s' directive output between 3 and 2147483645 bytes may cause result to exceed 'INT_MAX' [-Wformat-overflow=] 239 | sprintf (cmd, "gunzip -c %s 2>/dev/null", input_name); | ^~ In file included from /usr/include/stdio.h:866, from picosat.h:29, from picomus.c:23: /usr/include/bits/stdio2.h:38:10: note: '__builtin___sprintf_chk' output between 26 and 2147483668 bytes into a destination of size 4294967295 38 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 39 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 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 -march=i586 -mtune=generic -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -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/tmpzuxt6cls.c Compiling the extension module... running build running build_ext building '_picosat' extension creating build creating build/temp.linux-i686-3.8 i586-alt-linux-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -pipe -frecord-gcc-switches -Wall -g -O3 -march=i586 -mtune=generic -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC -fPIC -DSWIG=1 -I./ -I/usr/include/python3.8 -c picosat_python_wrap.c -o build/temp.linux-i686-3.8/picosat_python_wrap.o -Wno-unused -Wno-uninitialized creating build/lib.linux-i686-3.8 i586-alt-linux-gcc -pthread -shared -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -fPIC -DPIC build/temp.linux-i686-3.8/picosat_python_wrap.o -L./ -L/usr/lib -lpicosat -o build/lib.linux-i686-3.8/_picosat.cpython-38.so + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.67748 + 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 + make 'INSTALL=/usr/libexec/rpm-build/install -p' install DESTDIR=/usr/src/tmp/picosat-buildroot LIB_SUFF= 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/lib 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/lib/ make: Leaving directory '/usr/src/RPM/BUILD/picosat-965' + install -d /usr/src/tmp/picosat-buildroot/usr/lib/python3/site-packages + install -m644 build/lib.linux-i686-3.8/_picosat.cpython-38.so /usr/src/tmp/picosat-buildroot/usr/lib/python3/site-packages/ + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/picosat-buildroot (auto) mode of './usr/lib/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/lib: (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) verify-elf: WARNING: ./usr/bin/picogcnf: uses non-LFS functions: fopen verify-elf: WARNING: ./usr/bin/picomus: uses non-LFS functions: fopen verify-elf: WARNING: ./usr/bin/picomcs: uses non-LFS functions: fopen verify-elf: WARNING: ./usr/bin/picosat: uses non-LFS functions: fopen Hardlinking identical .pyc and .opt-?.pyc files Hardlinking identical .pyc and .pyo files Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.26302 + 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/lib + LD_LIBRARY_PATH=/usr/src/tmp/picosat-buildroot/usr/lib + export PYTHONPATH=/usr/src/tmp/picosat-buildroot/usr/lib/python3/site-packages + PYTHONPATH=/usr/src/tmp/picosat-buildroot/usr/lib/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.26302 + 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.231sqL 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.rXczyM 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, /lib/ld-linux.so.2, libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.3), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.4), libc.so.6(GLIBC_2.7), libpicosat.so.0 >= 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.P2JsTK 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.0wE7GM find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) lib.prov: /usr/src/tmp/picosat-buildroot/usr/lib/libpicosat.so.0: 71 symbols, 17 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.KOYcPK 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 = set:kdwjmoaklChkcPPQfzSZn1nZvoVRg719FuKd0VcnKkLP4kYOOtAFirjlF0Q4g02sDVJgAOI8hqgq4ZplRyqKf7a27Ebpm4szOOriJgNGW8aMKvGbUg1ABczZih5dm0GuSnctO7Ww8NSKv0gDwZ6q0 Requires: libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.3), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.4), rtld(GNU_HASH) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.o2lNLN 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.ai1MRN 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.wM6HGJ 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/lib/libpicosat.so.0 Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.Ma7jhN Processing files: python3-module-picosat-965-alt3 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.8GWgXJ 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.qYdNHM 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/lib/python3/site-packages, libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.4), libpicosat.so.0 >= set:kdwjmoaklChkcPPQfzSZn1nZvoVRg719FuKd0VcnKkLP4kYOOtAFywp1E9w04UePrx8BphyQwQ8YPGqhdTD35x3QBcb2KhpVdFmEo5ADsZAt17awIApQnyaqI0kZcZiCeV3gFFtZw0W4ITQ00, python3.8-ABI, 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.xlzRvK 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.Ws2R6L find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.kMwaBM find-requires: running scripts (debuginfo) Requires: picosat = 965-alt3, /usr/lib/debug/lib/ld-linux.so.2.debug, debug(libc.so.6), debug(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.7WH6rL find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.rtDtjM find-requires: running scripts (debuginfo) Provides: debug(libpicosat.so.0) Requires: libpicosat = 965-alt3, debug(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.h1o1lK find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.QYv79N find-requires: running scripts (debuginfo) Requires: python3-module-picosat = 965-alt3, debug(libc.so.6), debug(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 6 extra deps from picosat due to repentancy on libpicosat Removing 5 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/i586/picosat-965-alt3.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libpicosat-965-alt3.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libpicosat-devel-965-alt3.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/python3-module-picosat-965-alt3.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/picosat-debuginfo-965-alt3.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libpicosat-debuginfo-965-alt3.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/python3-module-picosat-debuginfo-965-alt3.i586.rpm (w2.lzdio) 14.72user 1.77system 0:46.49elapsed 35%CPU (0avgtext+0avgdata 57984maxresident)k 0inputs+0outputs (0major+743336minor)pagefaults 0swaps 23.12user 4.87system 1:15.70elapsed 36%CPU (0avgtext+0avgdata 107820maxresident)k 0inputs+0outputs (0major+1324094minor)pagefaults 0swaps