<86>May 11 13:31:20 userdel[1395807]: delete user 'rooter'
<86>May 11 13:31:20 userdel[1395807]: removed group 'rooter' owned by 'rooter'
<86>May 11 13:31:20 userdel[1395807]: removed shadow group 'rooter' owned by 'rooter'
<86>May 11 13:31:20 groupadd[1395822]: group added to /etc/group: name=rooter, GID=567
<86>May 11 13:31:20 groupadd[1395822]: group added to /etc/gshadow: name=rooter
<86>May 11 13:31:20 groupadd[1395822]: new group: name=rooter, GID=567
<86>May 11 13:31:20 useradd[1395827]: new user: name=rooter, UID=567, GID=567, home=/root, shell=/bin/bash
<86>May 11 13:31:20 userdel[1395843]: delete user 'builder'
<86>May 11 13:31:20 userdel[1395843]: removed group 'builder' owned by 'builder'
<86>May 11 13:31:20 userdel[1395843]: removed shadow group 'builder' owned by 'builder'
<86>May 11 13:31:20 groupadd[1395850]: group added to /etc/group: name=builder, GID=568
<86>May 11 13:31:20 groupadd[1395850]: group added to /etc/gshadow: name=builder
<86>May 11 13:31:20 groupadd[1395850]: new group: name=builder, GID=568
<86>May 11 13:31:20 useradd[1395857]: new user: name=builder, UID=568, GID=568, home=/usr/src, shell=/bin/bash
<13>May 11 13:31:24 rpmi: libgdbm-1.8.3-alt10 1454943334 installed
<13>May 11 13:31:24 rpmi: libexpat-2.2.4-alt1 1503305345 installed
<13>May 11 13:31:24 rpmi: libp11-kit-0.23.15-alt1 sisyphus+226408.100.2.1 1554288204 installed
<13>May 11 13:31:24 rpmi: libtasn1-4.16.0-alt1 sisyphus+245480.100.1.1 1580825062 installed
<13>May 11 13:31:24 rpmi: rpm-macros-alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed
<13>May 11 13:31:24 rpmi: alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed
<13>May 11 13:31:24 rpmi: ca-certificates-2020.01.23-alt1 sisyphus+244791.300.2.1 1580285500 installed
<13>May 11 13:31:24 rpmi: ca-trust-0.1.2-alt1 sisyphus+233348.100.1.1 1561653823 installed
<13>May 11 13:31:24 rpmi: p11-kit-trust-0.23.15-alt1 sisyphus+226408.100.2.1 1554288204 installed
<13>May 11 13:31:24 rpmi: libcrypto1.1-1.1.1g-alt1 sisyphus+249982.60.8.1 1587743711 installed
<13>May 11 13:31:24 rpmi: libssl1.1-1.1.1g-alt1 sisyphus+249982.60.8.1 1587743711 installed
<13>May 11 13:31:24 rpmi: python3-3.8.2-alt1 sisyphus+244999.100.3.1 1585218480 installed
<13>May 11 13:31:25 rpmi: python3-base-3.8.2-alt1 sisyphus+244999.100.3.1 1585218480 installed
<13>May 11 13:31:25 rpmi: libpython3-3.8.2-alt1 sisyphus+244999.100.3.1 1585218480 installed
<13>May 11 13:31:25 rpmi: tests-for-installed-python3-pkgs-0.1.13.1-alt2 1535450458 installed
<13>May 11 13:31:25 rpmi: rpm-build-python3-0.1.13.1-alt2 1535450458 installed
<13>May 11 13:31:25 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed
<13>May 11 13:31:29 rpmi: libtinfo-devel-6.1.20180407-alt2 sisyphus+222164.200.1.1 1550686226 installed
<13>May 11 13:31:30 rpmi: libncurses-devel-6.1.20180407-alt2 sisyphus+222164.200.1.1 1550686226 installed
<13>May 11 13:31:30 rpmi: libgdbm-devel-1.8.3-alt10 1454943334 installed
<13>May 11 13:31:30 rpmi: libdb4.7-devel-4.7.25-alt9 1490438479 installed
<13>May 11 13:31:30 rpmi: perl-devel-1:5.28.2-alt3 sisyphus+246858.100.1.1 1582562013 installed
<13>May 11 13:31:30 rpmi: swig-data-1:3.0.12-alt8 sisyphus+227267.100.3.2 1555642939 installed
<13>May 11 13:31:30 rpmi: swig-1:3.0.12-alt8 sisyphus+227267.100.3.2 1555642980 installed
<13>May 11 13:31:30 rpmi: python3-dev-3.8.2-alt1 sisyphus+244999.100.3.1 1585218480 installed
Building target platforms: i586
Building for target i586
Wrote: /usr/src/in/nosrpm/picosat-965-alt2.nosrc.rpm
<13>May 11 13:31:34 rpmi: python3-module-pkg_resources-1:46.1.3-alt1 sisyphus+250566.200.3.1 1587973342 installed
<13>May 11 13:31:34 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: i586
Building for target i586
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.64545
+ 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.64545
+ 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 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 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 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 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 -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/tmphvey8ow8.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.57765
+ 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
+ make 'INSTALL=/bin/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)
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:
	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.6472
+ 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-alt2
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.71383
+ 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.vF65Qm
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.Ydl5Qn
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, /lib/ld-linux.so.2, libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1), 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.uCU8Ek
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.YziOWn
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.axltPl
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.B1JdKn
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.Yzi0cl
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.LhedZl
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/lib/libpicosat.so.0
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.Md4uTl
Processing files: python3-module-picosat-965-alt2
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.wptCPm
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.svqqWl
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/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.trX5hk
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.I89tbk
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.igTCTn
find-requires: running scripts (debuginfo)
Requires: picosat = 965-alt2, /usr/lib/debug/lib/ld-linux.so.2.debug, debug(libc.so.6), debug(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.TksrSn
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.aYZMwn
find-requires: running scripts (debuginfo)
Provides: debug(libpicosat.so.0)
Requires: libpicosat = 965-alt2, debug(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.tnpavn
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.vAkfzn
find-requires: running scripts (debuginfo)
Requires: python3-module-picosat = 965-alt2, 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 5 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-alt2.i586.rpm
Wrote: /usr/src/RPM/RPMS/i586/libpicosat-965-alt2.i586.rpm
Wrote: /usr/src/RPM/RPMS/i586/libpicosat-devel-965-alt2.i586.rpm
Wrote: /usr/src/RPM/RPMS/i586/python3-module-picosat-965-alt2.i586.rpm
Wrote: /usr/src/RPM/RPMS/i586/picosat-debuginfo-965-alt2.i586.rpm
Wrote: /usr/src/RPM/RPMS/i586/libpicosat-debuginfo-965-alt2.i586.rpm
Wrote: /usr/src/RPM/RPMS/i586/python3-module-picosat-debuginfo-965-alt2.i586.rpm
25.95user 4.41system 0:43.24elapsed 70%CPU (0avgtext+0avgdata 59348maxresident)k
0inputs+0outputs (0major+716356minor)pagefaults 0swaps
38.93user 12.08system 1:03.76elapsed 80%CPU (0avgtext+0avgdata 114168maxresident)k
0inputs+0outputs (0major+1293495minor)pagefaults 0swaps