<86>Feb 5 03:57:15 userdel[144145]: delete user 'rooter' <86>Feb 5 03:57:15 userdel[144145]: removed group 'rooter' owned by 'rooter' <86>Feb 5 03:57:15 userdel[144145]: removed shadow group 'rooter' owned by 'rooter' <86>Feb 5 03:57:15 groupadd[144208]: group added to /etc/group: name=rooter, GID=1874 <86>Feb 5 03:57:15 groupadd[144208]: group added to /etc/gshadow: name=rooter <86>Feb 5 03:57:15 groupadd[144208]: new group: name=rooter, GID=1874 <86>Feb 5 03:57:15 useradd[144256]: new user: name=rooter, UID=1874, GID=1874, home=/root, shell=/bin/bash, from=none <86>Feb 5 03:57:15 userdel[144318]: delete user 'builder' <86>Feb 5 03:57:15 userdel[144318]: removed group 'builder' owned by 'builder' <86>Feb 5 03:57:15 userdel[144318]: removed shadow group 'builder' owned by 'builder' <86>Feb 5 03:57:15 groupadd[144361]: group added to /etc/group: name=builder, GID=1875 <86>Feb 5 03:57:15 groupadd[144361]: group added to /etc/gshadow: name=builder <86>Feb 5 03:57:15 groupadd[144361]: new group: name=builder, GID=1875 <86>Feb 5 03:57:15 useradd[144399]: new user: name=builder, UID=1875, GID=1875, home=/usr/src, shell=/bin/bash, from=none <13>Feb 5 03:57:18 rpmi: gcc-c++-common-1.4.28-alt1 sisyphus+348678.100.1.1 1716396142 installed <13>Feb 5 03:57:18 rpmi: libstdc++14-devel-14.2.1-alt1 sisyphus+360995.100.1.1 1730131018 installed <13>Feb 5 03:57:19 rpmi: gcc14-c++-14.2.1-alt1 sisyphus+360995.100.1.1 1730131018 installed <13>Feb 5 03:57:19 rpmi: gcc-c++-14-alt1 sisyphus+360995.300.1.1 1730139222 installed <13>Feb 5 03:57:19 rpmi: zlib-devel-1.3.1-alt1 sisyphus+342532.100.1.1 1710232285 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/minisat-2.2.1-alt1.nosrc.rpm (w1.gzdio) Installing minisat-2.2.1-alt1.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.88785 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf minisat-2.2.1 + echo 'Source #0 (minisat-2.2.1.tar):' Source #0 (minisat-2.2.1.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/minisat-2.2.1.tar + cd minisat-2.2.1 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.88785 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd minisat-2.2.1 + make lsh sh lr 'CXXFLAGS=-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects ' prefix=/usr libdir=/usr/lib64 VERB= make: Entering directory '/usr/src/RPM/BUILD/minisat-2.2.1' Compiling: build/dynamic/minisat/core/Solver.o mkdir -p build/dynamic/minisat/core/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -c -o build/dynamic/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/dynamic/minisat/core/Solver.d In file included from ./minisat/mtl/Alg.h:24, from minisat/core/Solver.cc:23: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(Size) [with T = Minisat::vec; _Size = int; Size = int]': ./minisat/mtl/Vec.h:119:13: required from 'void Minisat::vec::growTo(Size) [with T = Minisat::vec; _Size = int; Size = int]' 119 | capacity(size); | ~~~~~~~~^~~~~~ ./minisat/mtl/IntMap.h:48:58: required from 'void Minisat::IntMap::reserve(K) [with K = Minisat::Lit; V = Minisat::vec; MkIndex = Minisat::MkIndexLit]' 48 | void reserve(K key) { map.growTo(index(key)+1); } | ~~~~~~~~~~^~~~~~~~~~~~~~ ./minisat/core/SolverTypes.h:338:49: required from 'void Minisat::OccLists::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]' 338 | void init (const K& idx){ occs.reserve(idx); occs[idx].clear(); dirty.reserve(idx, 0); } | ~~~~~~~~~~~~^~~~~ minisat/core/Solver.cc:128:19: required from here 128 | watches .init(mkLit(v, false)); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here 39 | class vec { | ^~~ Compiling: build/dynamic/minisat/simp/SimpSolver.o mkdir -p build/dynamic/minisat/simp/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -c -o build/dynamic/minisat/simp/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/dynamic/minisat/simp/SimpSolver.d In file included from ./minisat/mtl/Sort.h:24, from minisat/simp/SimpSolver.cc:21: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(Size) [with T = Minisat::vec; _Size = int; Size = int]': ./minisat/mtl/Vec.h:119:13: required from 'void Minisat::vec::growTo(Size) [with T = Minisat::vec; _Size = int; Size = int]' 119 | capacity(size); | ~~~~~~~~^~~~~~ ./minisat/mtl/IntMap.h:48:58: required from 'void Minisat::IntMap::reserve(K) [with K = int; V = Minisat::vec; MkIndex = Minisat::MkIndexDefault]' 48 | void reserve(K key) { map.growTo(index(key)+1); } | ~~~~~~~~~~^~~~~~~~~~~~~~ ./minisat/core/SolverTypes.h:338:49: required from 'void Minisat::OccLists::init(const K&) [with K = int; Vec = Minisat::vec; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault]' 338 | void init (const K& idx){ occs.reserve(idx); occs[idx].clear(); dirty.reserve(idx, 0); } | ~~~~~~~~~~~~^~~~~ minisat/simp/SimpSolver.cc:86:26: required from here 86 | occurs .init (v); | ~~~~~~~~~~~~~~~~~^~~ ./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here 39 | class vec { | ^~~ Compiling: build/dynamic/minisat/utils/Options.o mkdir -p build/dynamic/minisat/utils/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -c -o build/dynamic/minisat/utils/Options.o minisat/utils/Options.cc -MMD -MF build/dynamic/minisat/utils/Options.d Compiling: build/dynamic/minisat/utils/System.o mkdir -p build/dynamic/minisat/utils/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -c -o build/dynamic/minisat/utils/System.o minisat/utils/System.cc -MMD -MF build/dynamic/minisat/utils/System.d Linking Shared Library: build/dynamic/lib/libminisat.so.2.1.0 mkdir -p build/dynamic/lib/ g++ -Wall -lz -o build/dynamic/lib/libminisat.so.2.1.0 -shared -Wl,-soname,libminisat.so.2 build/dynamic/minisat/core/Solver.o build/dynamic/minisat/simp/SimpSolver.o build/dynamic/minisat/utils/Options.o build/dynamic/minisat/utils/System.o ln -sf libminisat.so.2.1.0 build/dynamic/lib/libminisat.so.2 ln -sf libminisat.so.2 build/dynamic/lib/libminisat.so Compiling: build/dynamic/minisat/simp/Main.o mkdir -p build/dynamic/minisat/simp/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -fpic -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -c -o build/dynamic/minisat/simp/Main.o minisat/simp/Main.cc -MMD -MF build/dynamic/minisat/simp/Main.d In file included from minisat/simp/Main.cc:27: ./minisat/core/Dimacs.h: In instantiation of 'void Minisat::parse_DIMACS_main(B&, Solver&, bool) [with B = StreamBuffer; Solver = SimpSolver]': ./minisat/core/Dimacs.h:82:22: required from 'void Minisat::parse_DIMACS(gzFile, Solver&, bool) [with Solver = SimpSolver; gzFile = gzFile_s*]' 82 | parse_DIMACS_main(in, S, strictp); } | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~ minisat/simp/Main.cc:99:21: required from here 99 | parse_DIMACS(in, S, (bool)strictp); | ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~ ./minisat/core/Dimacs.h:50:9: warning: variable 'vars' set but not used [-Wunused-but-set-variable] 50 | int vars = 0; | ^~~~ Linking Binary: build/dynamic/bin/minisat mkdir -p build/dynamic/bin/ g++ build/dynamic/minisat/simp/Main.o build/dynamic/lib/libminisat.so -Wall -lz -o build/dynamic/bin/minisat Compiling: build/release/minisat/core/Solver.o mkdir -p build/release/minisat/core/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -g -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -c -o build/release/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/release/minisat/core/Solver.d In file included from ./minisat/mtl/Alg.h:24, from minisat/core/Solver.cc:23: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(Size) [with T = Minisat::vec; _Size = int; Size = int]': ./minisat/mtl/Vec.h:119:13: required from 'void Minisat::vec::growTo(Size) [with T = Minisat::vec; _Size = int; Size = int]' 119 | capacity(size); | ~~~~~~~~^~~~~~ ./minisat/mtl/IntMap.h:48:58: required from 'void Minisat::IntMap::reserve(K) [with K = Minisat::Lit; V = Minisat::vec; MkIndex = Minisat::MkIndexLit]' 48 | void reserve(K key) { map.growTo(index(key)+1); } | ~~~~~~~~~~^~~~~~~~~~~~~~ ./minisat/core/SolverTypes.h:338:49: required from 'void Minisat::OccLists::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]' 338 | void init (const K& idx){ occs.reserve(idx); occs[idx].clear(); dirty.reserve(idx, 0); } | ~~~~~~~~~~~~^~~~~ minisat/core/Solver.cc:128:19: required from here 128 | watches .init(mkLit(v, false)); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here 39 | class vec { | ^~~ Compiling: build/release/minisat/simp/SimpSolver.o mkdir -p build/release/minisat/simp/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -g -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -c -o build/release/minisat/simp/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/release/minisat/simp/SimpSolver.d In file included from ./minisat/mtl/Sort.h:24, from minisat/simp/SimpSolver.cc:21: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(Size) [with T = Minisat::vec; _Size = int; Size = int]': ./minisat/mtl/Vec.h:119:13: required from 'void Minisat::vec::growTo(Size) [with T = Minisat::vec; _Size = int; Size = int]' 119 | capacity(size); | ~~~~~~~~^~~~~~ ./minisat/mtl/IntMap.h:48:58: required from 'void Minisat::IntMap::reserve(K) [with K = int; V = Minisat::vec; MkIndex = Minisat::MkIndexDefault]' 48 | void reserve(K key) { map.growTo(index(key)+1); } | ~~~~~~~~~~^~~~~~~~~~~~~~ ./minisat/core/SolverTypes.h:338:49: required from 'void Minisat::OccLists::init(const K&) [with K = int; Vec = Minisat::vec; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault]' 338 | void init (const K& idx){ occs.reserve(idx); occs[idx].clear(); dirty.reserve(idx, 0); } | ~~~~~~~~~~~~^~~~~ minisat/simp/SimpSolver.cc:86:26: required from here 86 | occurs .init (v); | ~~~~~~~~~~~~~~~~~^~~ ./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here 39 | class vec { | ^~~ Compiling: build/release/minisat/utils/Options.o mkdir -p build/release/minisat/utils/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -g -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -c -o build/release/minisat/utils/Options.o minisat/utils/Options.cc -MMD -MF build/release/minisat/utils/Options.d Compiling: build/release/minisat/utils/System.o mkdir -p build/release/minisat/utils/ g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O3 -D NDEBUG -g -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -ffat-lto-objects -c -o build/release/minisat/utils/System.o minisat/utils/System.cc -MMD -MF build/release/minisat/utils/System.d Linking Static Library: build/release/lib/libminisat.a mkdir -p build/release/lib/ ar -rcs build/release/lib/libminisat.a build/release/minisat/core/Solver.o build/release/minisat/simp/SimpSolver.o build/release/minisat/utils/Options.o build/release/minisat/utils/System.o make: Leaving directory '/usr/src/RPM/BUILD/minisat-2.2.1' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.52308 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/minisat-buildroot + : + /bin/rm -rf -- /usr/src/tmp/minisat-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/usr/bin:/bin:/usr/local/bin:/usr/games + cd minisat-2.2.1 + /usr/bin/make 'INSTALL=/usr/libexec/rpm-build/install -p' prefix=/usr/src/tmp/minisat-buildroot/usr exec_prefix=/usr/src/tmp/minisat-buildroot/usr bindir=/usr/src/tmp/minisat-buildroot/usr/bin sbindir=/usr/src/tmp/minisat-buildroot/usr/sbin sysconfdir=/usr/src/tmp/minisat-buildroot/etc datadir=/usr/src/tmp/minisat-buildroot/usr/share includedir=/usr/src/tmp/minisat-buildroot/usr/include libdir=/usr/src/tmp/minisat-buildroot/usr/lib64 libexecdir=/usr/src/tmp/minisat-buildroot/usr/lib localstatedir=/usr/src/tmp/minisat-buildroot/var/lib runstatedir=/usr/src/tmp/minisat-buildroot/var/run sharedstatedir=/usr/src/tmp/minisat-buildroot/var/lib mandir=/usr/src/tmp/minisat-buildroot/usr/share/man infodir=/usr/src/tmp/minisat-buildroot/usr/share/info install VERB= make: Entering directory '/usr/src/RPM/BUILD/minisat-2.2.1' /usr/libexec/rpm-build/install -p -d /usr/src/tmp/minisat-buildroot/usr/include/minisat for dir in mtl utils core simp; do \ /usr/libexec/rpm-build/install -p -d /usr/src/tmp/minisat-buildroot/usr/include/minisat/$dir ; \ done for h in minisat/mtl/Alg.h minisat/mtl/Alloc.h minisat/mtl/Heap.h minisat/mtl/IntMap.h minisat/mtl/IntTypes.h minisat/mtl/Map.h minisat/mtl/Queue.h minisat/mtl/Rnd.h minisat/mtl/Sort.h minisat/mtl/Vec.h minisat/mtl/XAlloc.h minisat/core/Dimacs.h minisat/core/Solver.h minisat/core/SolverTypes.h minisat/simp/SimpSolver.h minisat/utils/Options.h minisat/utils/ParseUtils.h minisat/utils/System.h ; do \ /usr/libexec/rpm-build/install -p -m 644 $h /usr/src/tmp/minisat-buildroot/usr/include/$h ; \ done /usr/libexec/rpm-build/install -p -d /usr/src/tmp/minisat-buildroot/usr/lib64 /usr/libexec/rpm-build/install -p -m 644 build/dynamic/lib/libminisat.so.2.1.0 /usr/src/tmp/minisat-buildroot/usr/lib64 ln -sf libminisat.so.2.1.0 /usr/src/tmp/minisat-buildroot/usr/lib64/libminisat.so.2 ln -sf libminisat.so.2 /usr/src/tmp/minisat-buildroot/usr/lib64/libminisat.so /usr/libexec/rpm-build/install -p -m 644 build/release/lib/libminisat.a /usr/src/tmp/minisat-buildroot/usr/lib64 /usr/libexec/rpm-build/install -p -d /usr/src/tmp/minisat-buildroot/usr/bin /usr/libexec/rpm-build/install -p -m 755 build/dynamic/bin/minisat /usr/src/tmp/minisat-buildroot/usr/bin make: Leaving directory '/usr/src/RPM/BUILD/minisat-2.2.1' + install -Dpm644 minisat.1 -t /usr/src/tmp/minisat-buildroot/usr/share/man/man1 + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/minisat-buildroot (auto) Verifying and fixing files in /usr/src/tmp/minisat-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/minisat-buildroot/ (default) Compressing files in /usr/src/tmp/minisat-buildroot (auto) Adjusting library links in /usr/src/tmp/minisat-buildroot ./usr/lib64: (from :0) libminisat.so.2 -> libminisat.so.2.1.0 Verifying ELF objects in /usr/src/tmp/minisat-buildroot (arch=strict,fhs=strict,lfs=strict,lint=strict,rpath=strict,stack=strict,textrel=strict,unresolved=strict) Splitting links to aliased files under /{,s}bin in /usr/src/tmp/minisat-buildroot Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.52308 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd minisat-2.2.1 + cat + export LD_LIBRARY_PATH=/usr/src/tmp/minisat-buildroot/usr/lib64 + LD_LIBRARY_PATH=/usr/src/tmp/minisat-buildroot/usr/lib64 + set +e + /usr/src/tmp/minisat-buildroot/usr/bin/minisat test.in test.out WARNING: for repeatability, setting FPU to use double precision ============================[ Problem Statistics ]============================= | | | Number of variables: 5 | | Number of clauses: 3 | | Parse time: 0.00 s | | Eliminated clauses: 0.00 Mb | | Simplification time: 0.00 s | | | ============================[ Search Statistics ]============================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Vars Clauses Literals | Limit Clauses Lit/Cl | | =============================================================================== =============================================================================== restarts : 1 conflicts : 0 (0 /sec) decisions : 1 (0.00 % random) (9709 /sec) propagations : 0 (0 /sec) conflict literals : 0 (-nan % deleted) CPU time : 0.000103 s SATISFIABLE + test 10 -eq 10 + cat test.out SAT -1 -2 -3 -4 -5 0 + grep -x SAT test.out SAT + grep -x -e '-1 -2 -3 -4 -5 0' test.out -1 -2 -3 -4 -5 0 + exit 0 Processing files: minisat-2.2.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.j710j1 find-provides: running scripts (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.a7cifn find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: libminisat2 = 2.2.1-alt1, /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.34)(64bit), libc.so.6(GLIBC_2.38)(64bit), libc.so.6(GLIBC_2.4)(64bit), libgcc_s.so.1(GCC_3.0)(64bit), libminisat.so.2()(64bit) >= set:kgpzRSQkIHTM0RRri3jkZ0dfTmMDrYoJ7VW05, libstdc++.so.6(CXXABI_1.3)(64bit), libstdc++.so.6(CXXABI_1.3.9)(64bit), libz.so.1()(64bit) >= set:khMtDZhbWXPIo0, 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.29F0NU Creating minisat-debuginfo package Processing files: libminisat2-2.2.1-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.78872 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd minisat-2.2.1 + DOCDIR=/usr/src/tmp/minisat-buildroot/usr/share/doc/minisat + export DOCDIR + /bin/mkdir -p /usr/src/tmp/minisat-buildroot/usr/share/doc/minisat + cp -prL LICENSE README doc/ReleaseNotes-2.2.0.txt minisat-user-guide.md /usr/src/tmp/minisat-buildroot/usr/share/doc/minisat + chmod -R go-w /usr/src/tmp/minisat-buildroot/usr/share/doc/minisat + chmod -R a+rX /usr/src/tmp/minisat-buildroot/usr/share/doc/minisat + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DVwknf find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) lib.prov: /usr/src/tmp/minisat-buildroot/usr/lib64/libminisat.so.2: 84 symbols, 17 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.jje0vG find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Provides: libminisat.so.2()(64bit) = set:kd8rkF5eOvZgfMEZdhTWBt5iSweM4UWFZwDMY7CTa8qHnVJ7aCRZAp6L9UBNg7W8cfCqnzbgct35ZhLzVwiWjG2gBtXpSBboX9fwTfSWYX3EInGIJBPHQPUM2FYwfEWc83EwMB3NNY8P2bHkwvzNhAhFDl6T72y7O99GczHvqqC40 Requires: libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.38)(64bit), libc.so.6(GLIBC_2.4)(64bit), libgcc_s.so.1(GCC_3.0)(64bit), libgcc_s.so.1(GCC_3.3.1)(64bit), libm.so.6(GLIBC_2.29)(64bit), libstdc++.so.6(CXXABI_1.3)(64bit), libstdc++.so.6(CXXABI_1.3.9)(64bit), rtld(GNU_HASH) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.4Vpjdl Creating libminisat2-debuginfo package Processing files: libminisat-devel-2.2.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.5wCkuX find-provides: running scripts (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.9VyzDc find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) In file included from /usr/src/tmp/minisat-buildroot/usr/include/minisat/mtl/Alg.h:24: /usr/src/tmp/minisat-buildroot/usr/include/minisat/mtl/Vec.h:25:10: fatal error: limits: No such file or directory 25 | #include | ^~~~~~~~ compilation terminated. cpp.req: /usr/src/tmp/minisat-buildroot/usr/include/minisat/mtl/Alg.h: cpp failed, trying c++ mode Requires: libminisat2 = 2.2.1-alt1, /usr/lib64/libminisat.so.2, zlib-devel Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.uLiyMi Processing files: libminisat-devel-static-2.2.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.KYA8Mz find-provides: running scripts (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.nQu4aK find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: libminisat-devel = 2.2.1-alt1, glibc-devel-static Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.YJDBH2 Processing files: minisat-debuginfo-2.2.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.8PvvnC find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.FmU1pC find-requires: running scripts (debuginfo) Requires: minisat = 2.2.1-alt1, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libgcc_s.so.1), debug64(libminisat.so.2), debug64(libstdc++.so.6), debug64(libz.so.1) Processing files: libminisat2-debuginfo-2.2.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.6FY0Fy find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.JwNl18 find-requires: running scripts (debuginfo) Provides: debug64(libminisat.so.2) Requires: libminisat2 = 2.2.1-alt1, debug64(libc.so.6), debug64(libgcc_s.so.1), debug64(libm.so.6), debug64(libstdc++.so.6) Adding to minisat a strict dependency on libminisat2 Adding to minisat-debuginfo a strict dependency on minisat Adding to libminisat-devel a strict dependency on libminisat2 Adding to libminisat2-debuginfo a strict dependency on libminisat2 Adding to libminisat-devel-static a strict dependency on libminisat-devel Adding to minisat-debuginfo a strict dependency on libminisat2-debuginfo Removing from minisat-debuginfo 10 sources provided by libminisat2-debuginfo also prunning dir /usr/src/debug/minisat-2.2.1/minisat/mtl also prunning dir /usr/src/debug/minisat-2.2.1/minisat/utils Removing 1 extra deps from minisat due to dependency on libminisat2 Removing 1 extra deps from libminisat-devel due to dependency on libminisat2 Removing 1 extra deps from minisat-debuginfo due to dependency on libminisat2-debuginfo Removing 8 extra deps from minisat due to repentancy on libminisat2 Removing 3 extra deps from minisat-debuginfo due to repentancy on libminisat2-debuginfo Wrote: /usr/src/RPM/RPMS/x86_64/minisat-2.2.1-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libminisat2-2.2.1-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libminisat-devel-2.2.1-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libminisat-devel-static-2.2.1-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/minisat-debuginfo-2.2.1-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libminisat2-debuginfo-2.2.1-alt1.x86_64.rpm (w2.lzdio) 8.13user 3.85system 0:24.59elapsed 48%CPU (0avgtext+0avgdata 109384maxresident)k 0inputs+0outputs (0major+648112minor)pagefaults 0swaps 3.34user 2.70system 0:35.09elapsed 17%CPU (0avgtext+0avgdata 138272maxresident)k 0inputs+0outputs (0major+198927minor)pagefaults 0swaps --- libminisat-devel-static-2.2.1-alt1.x86_64.rpm.repo 2023-11-16 22:08:13.000000000 +0000 +++ libminisat-devel-static-2.2.1-alt1.x86_64.rpm.hasher 2025-02-05 03:57:47.080112990 +0000 @@ -5,3 +5,3 @@ Provides: libminisat-devel-static = 2.2.1-alt1:sisyphus+334491.700.7.1 -File: /usr/lib64/libminisat.a 100644 root:root 555908ee085a75616017f62499a2d8ae -RPMIdentity: 4e07c67a7ca45fdcb9b6cd8e5b7df7938cdf45e6a443ec199ed59b510ca81a63612d51f771cfa23f0d179ca210ace80923f072afb6b28bad975551947a0a97ba +File: /usr/lib64/libminisat.a 100644 root:root 9e404afdfcc68c67c5198ea6bc0822bd +RPMIdentity: 77244a78ba5ebb35597deea3d51d3e2cad118eae4029dcb378f084ee48a8b619c392cecd9514bbf5cb084bc725308ea079b68cc25cb00c9c5d54016488a219d1 --- libminisat2-2.2.1-alt1.x86_64.rpm.repo 2023-11-16 22:08:12.000000000 +0000 +++ libminisat2-2.2.1-alt1.x86_64.rpm.hasher 2025-02-05 03:57:47.170114843 +0000 @@ -21,3 +21,3 @@ File: /usr/lib64/libminisat.so.2 120777 root:root libminisat.so.2.1.0 -File: /usr/lib64/libminisat.so.2.1.0 100644 root:root 4d6eaa54558012ddf865b38ad172b894 +File: /usr/lib64/libminisat.so.2.1.0 100644 root:root 7e0c58e138d785c66559406893754cea File: /usr/share/doc/minisat 40755 root:root @@ -27,2 +27,2 @@ File: /usr/share/doc/minisat/minisat-user-guide.md 100644 root:root 2399534a63135110cc30851e213991db -RPMIdentity: a373fb8374821f08e90787b5558a66ce71deabe4886404338aa6ddc00c685aad7c5aef6938322791e20add31a2919f150fcac5fd7c868827f9af237f72bd4e4e +RPMIdentity: 87dfb90bb1a3a220d804ff749dfc014cda599eaa649ff8d08afadaaccb2283074f275212314caf7bca5a4ea0975da75a7e51fbe8728dbe54cfc70baf2b96978c --- libminisat2-debuginfo-2.2.1-alt1.x86_64.rpm.repo 2023-11-16 22:08:13.000000000 +0000 +++ libminisat2-debuginfo-2.2.1-alt1.x86_64.rpm.hasher 2025-02-05 03:57:47.256116614 +0000 @@ -1,4 +1,4 @@ -/usr/lib/debug/.build-id/c9 40755 root:root -/usr/lib/debug/.build-id/c9/9e0961510e90969d1e2fbc1e7e40b33b3c5196 120777 root:root ../../../../lib64/libminisat.so.2.1.0 -/usr/lib/debug/.build-id/c9/9e0961510e90969d1e2fbc1e7e40b33b3c5196.debug 120777 root:root ../../usr/lib64/libminisat.so.2.1.0.debug +/usr/lib/debug/.build-id/ef 40755 root:root +/usr/lib/debug/.build-id/ef/79326a2974a39d38f8d711f249f3a0e918b3e5 120777 root:root ../../../../lib64/libminisat.so.2.1.0 +/usr/lib/debug/.build-id/ef/79326a2974a39d38f8d711f249f3a0e918b3e5.debug 120777 root:root ../../usr/lib64/libminisat.so.2.1.0.debug /usr/lib/debug/usr/lib64/libminisat.so.2.1.0.debug 100644 root:root @@ -38,6 +38,6 @@ Provides: libminisat2-debuginfo = 2.2.1-alt1:sisyphus+334491.700.7.1 -File: /usr/lib/debug/.build-id/c9 40755 root:root -File: /usr/lib/debug/.build-id/c9/9e0961510e90969d1e2fbc1e7e40b33b3c5196 120777 root:root ../../../../lib64/libminisat.so.2.1.0 -File: /usr/lib/debug/.build-id/c9/9e0961510e90969d1e2fbc1e7e40b33b3c5196.debug 120777 root:root ../../usr/lib64/libminisat.so.2.1.0.debug -File: /usr/lib/debug/usr/lib64/libminisat.so.2.1.0.debug 100644 root:root 640922a92aff1a579334a75d93273a01 +File: /usr/lib/debug/.build-id/ef 40755 root:root +File: /usr/lib/debug/.build-id/ef/79326a2974a39d38f8d711f249f3a0e918b3e5 120777 root:root ../../../../lib64/libminisat.so.2.1.0 +File: /usr/lib/debug/.build-id/ef/79326a2974a39d38f8d711f249f3a0e918b3e5.debug 120777 root:root ../../usr/lib64/libminisat.so.2.1.0.debug +File: /usr/lib/debug/usr/lib64/libminisat.so.2.1.0.debug 100644 root:root 2519b3755011905131029d658a03db8c File: /usr/lib/debug/usr/lib64/libminisat.so.2.debug 120777 root:root libminisat.so.2.1.0.debug @@ -68,2 +68,2 @@ File: /usr/src/debug/minisat-2.2.1/minisat/utils/System.h 100644 root:root c1b9aec1054c2a4dedb2b89f45c166dc -RPMIdentity: 77703ef673db764c9fe9c438371c22d2859bb5ed033df6802d44aa90e8712ca2b1acf9cea06b85a50108cd3f87e0e3d9a67412887c0306651a337affd3e5eb0a +RPMIdentity: 569ece40b29805f48c7d838c6bddd365a99ede25fbdd35b16725bdec4eeb594903354601d90d2bec992a588ba32e931b9e47ad22c42ab536f71d85747b4b5448 --- minisat-2.2.1-alt1.x86_64.rpm.repo 2023-11-16 22:08:13.000000000 +0000 +++ minisat-2.2.1-alt1.x86_64.rpm.hasher 2025-02-05 03:57:47.348118508 +0000 @@ -9,4 +9,4 @@ Provides: minisat = 2.2.1-alt1:sisyphus+334491.700.7.1 -File: /usr/bin/minisat 100755 root:root 0269b4cbbf754baf3668b828f78d860a +File: /usr/bin/minisat 100755 root:root 53b7eade13c50acc1a7b6e48758c726f File: /usr/share/man/man1/minisat.1.xz 100644 root:root ca4ffaac872c777166a7d01c6ea09160 -RPMIdentity: ef6045cf873e8bd0b3e4390af9b09eb452ea5e6e35df25f906b04eb3292701f999ff0cd1651ceb70cdb0f53cc40129d9842978cd1206379be0728db36f69c1a4 +RPMIdentity: a6874416f72417d798d4ba569747b5f0088426b7cc489fd94244871b2126e16e350a8d2ec5fcbba1a3b923fcc1438c0c82b22a59d343e55fd8998745ff455242 --- minisat-debuginfo-2.2.1-alt1.x86_64.rpm.repo 2023-11-16 22:08:12.000000000 +0000 +++ minisat-debuginfo-2.2.1-alt1.x86_64.rpm.hasher 2025-02-05 03:57:47.430120197 +0000 @@ -1,4 +1,4 @@ -/usr/lib/debug/.build-id/87 40755 root:root -/usr/lib/debug/.build-id/87/67f3ba09bfdf814c9f85cab5f8b0db51327c49 120777 root:root ../../../../bin/minisat -/usr/lib/debug/.build-id/87/67f3ba09bfdf814c9f85cab5f8b0db51327c49.debug 120777 root:root ../../usr/bin/minisat.debug +/usr/lib/debug/.build-id/df 40755 root:root +/usr/lib/debug/.build-id/df/fb8b519f3d820ee5be22d6c124267cec7bd724 120777 root:root ../../../../bin/minisat +/usr/lib/debug/.build-id/df/fb8b519f3d820ee5be22d6c124267cec7bd724.debug 120777 root:root ../../usr/bin/minisat.debug /usr/lib/debug/usr/bin/minisat.debug 100644 root:root @@ -16,6 +16,6 @@ Provides: minisat-debuginfo = 2.2.1-alt1:sisyphus+334491.700.7.1 -File: /usr/lib/debug/.build-id/87 40755 root:root -File: /usr/lib/debug/.build-id/87/67f3ba09bfdf814c9f85cab5f8b0db51327c49 120777 root:root ../../../../bin/minisat -File: /usr/lib/debug/.build-id/87/67f3ba09bfdf814c9f85cab5f8b0db51327c49.debug 120777 root:root ../../usr/bin/minisat.debug -File: /usr/lib/debug/usr/bin/minisat.debug 100644 root:root ee061d4da26a6fd4730bb25df0f642c2 +File: /usr/lib/debug/.build-id/df 40755 root:root +File: /usr/lib/debug/.build-id/df/fb8b519f3d820ee5be22d6c124267cec7bd724 120777 root:root ../../../../bin/minisat +File: /usr/lib/debug/.build-id/df/fb8b519f3d820ee5be22d6c124267cec7bd724.debug 120777 root:root ../../usr/bin/minisat.debug +File: /usr/lib/debug/usr/bin/minisat.debug 100644 root:root eaa83257c363142ea0de1720cc68e293 File: /usr/src/debug/minisat-2.2.1 40755 root:root @@ -26,2 +26,2 @@ File: /usr/src/debug/minisat-2.2.1/minisat/simp/Main.cc 100644 root:root 90ea05b6132a0f0ef496908a790904fd -RPMIdentity: 2fbb36258b58c3c78834a0625844d6378750c5420e3c57312041cab4b0c5eb18747e7579740920393f1b1e18c21eb7999abbc904a5ca5355715eace10d0f321e +RPMIdentity: dd8b78faa2ec257a7a6f008a5f8ad17dd3ec7e610b6bb4c1727fb3ad6db0a02dafc45249e8a55caa0cd9a68f9a5f66722c9b9b866a81414728af240c576dc837