on3-cryptominisat
+ cp -pr python/LICENSE /builddir/build/BUILDROOT/cryptominisat-5.8.0-10.fc37.riscv64/usr/share/licenses/python3-cryptominisat
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: python-cryptominisat = 5.8.0-10.fc37 python3-cryptominisat = 5.8.0-10.fc37 python3-cryptominisat(riscv-64) = 5.8.0-10.fc37 python3.11-cryptominisat = 5.8.0-10.fc37 python3.11dist(pycryptosat) = 0.2 python3dist(pycryptosat) = 0.2
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libcryptominisat5.so.5.8()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) python(abi) = 3.11 rtld(GNU_HASH)
Processing files: cryptominisat-debugsource-5.8.0-10.fc37.riscv64
Provides: cryptominisat-debugsource = 5.8.0-10.fc37 cryptominisat-debugsource(riscv-64) = 5.8.0-10.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cryptominisat-debuginfo-5.8.0-10.fc37.riscv64
Provides: cryptominisat-debuginfo = 5.8.0-10.fc37 cryptominisat-debuginfo(riscv-64) = 5.8.0-10.fc37 debuginfo(build-id) = 075d71b754da708b8d98cafd93b1a0a38be26d8d debuginfo(build-id) = f2c8ca7e96116f72bcdbdb730dac1774f771c93f
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cryptominisat-debugsource(riscv-64) = 5.8.0-10.fc37
Processing files: cryptominisat-libs-debuginfo-5.8.0-10.fc37.riscv64
Provides: cryptominisat-libs-debuginfo = 5.8.0-10.fc37 cryptominisat-libs-debuginfo(riscv-64) = 5.8.0-10.fc37 debuginfo(build-id) = edeadde0b8e4d8131b49ecdf2bfdbc39217da167 libcryptominisat5.so.5.8-5.8.0-10.fc37.riscv64.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cryptominisat-debugsource(riscv-64) = 5.8.0-10.fc37
Processing files: python3-cryptominisat-debuginfo-5.8.0-10.fc37.riscv64
Provides: debuginfo(build-id) = 466f0b32a51567916fae74fd86e35b15ddde5911 python-cryptominisat-debuginfo = 5.8.0-10.fc37 python3-cryptominisat-debuginfo = 5.8.0-10.fc37 python3-cryptominisat-debuginfo(riscv-64) = 5.8.0-10.fc37 python3.11-cryptominisat-debuginfo = 5.8.0-10.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cryptominisat-debugsource(riscv-64) = 5.8.0-10.fc37
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cryptominisat-5.8.0-10.fc37.riscv64
Wrote: /builddir/build/RPMS/cryptominisat-libs-5.8.0-10.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-cryptominisat-debuginfo-5.8.0-10.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/cryptominisat-5.8.0-10.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/cryptominisat-devel-5.8.0-10.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-cryptominisat-5.8.0-10.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/cryptominisat-debugsource-5.8.0-10.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/cryptominisat-debuginfo-5.8.0-10.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/cryptominisat-libs-debuginfo-5.8.0-10.fc37.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.iIqwkN
+ umask 022
+ cd /builddir/build/BUILD
+ cd cryptominisat-5.8.0
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cryptominisat-5.8.0-10.fc37.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.ByfcrX
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf cryptominisat-5.8.0 cryptominisat-5.8.0.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0