<86>Aug 1 09:38:46 userdel[2732150]: delete user 'rooter' <86>Aug 1 09:38:46 userdel[2732150]: removed group 'rooter' owned by 'rooter' <86>Aug 1 09:38:46 userdel[2732150]: removed shadow group 'rooter' owned by 'rooter' <86>Aug 1 09:38:46 groupadd[2732161]: group added to /etc/group: name=rooter, GID=639 <86>Aug 1 09:38:46 groupadd[2732161]: group added to /etc/gshadow: name=rooter <86>Aug 1 09:38:46 groupadd[2732161]: new group: name=rooter, GID=639 <86>Aug 1 09:38:46 useradd[2732169]: new user: name=rooter, UID=639, GID=639, home=/root, shell=/bin/bash <86>Aug 1 09:38:46 userdel[2732181]: delete user 'builder' <86>Aug 1 09:38:46 userdel[2732181]: removed group 'builder' owned by 'builder' <86>Aug 1 09:38:46 userdel[2732181]: removed shadow group 'builder' owned by 'builder' <86>Aug 1 09:38:46 groupadd[2732193]: group added to /etc/group: name=builder, GID=640 <86>Aug 1 09:38:46 groupadd[2732193]: group added to /etc/gshadow: name=builder <86>Aug 1 09:38:46 groupadd[2732193]: new group: name=builder, GID=640 <86>Aug 1 09:38:46 useradd[2732205]: new user: name=builder, UID=640, GID=640, home=/usr/src, shell=/bin/bash <13>Aug 1 09:38:48 rpmi: gcc-c++-common-1.4.23-alt1 sisyphus+221902.2500.4.1 1550596716 installed <13>Aug 1 09:38:48 rpmi: libstdc++8-devel-8.4.1-alt0.p9.1 p9+247559.100.2.1 1585587912 installed <13>Aug 1 09:38:49 rpmi: gcc8-c++-8.4.1-alt0.p9.1 p9+247559.100.2.1 1585587912 installed <13>Aug 1 09:38:49 rpmi: gcc-c++-8-alt2 p9+246536.100.3.1 1582643803 installed <13>Aug 1 09:38:49 rpmi: zlib-devel-1.2.11-alt1 sisyphus+221902.6000.4.1 1550601058 installed Building target platforms: i586 Building for target i586 Wrote: /usr/src/in/nosrpm/libminisat-2.2.0-alt5.nosrc.rpm (w1.gzdio) Installing libminisat-2.2.0-alt5.src.rpm Building target platforms: i586 Building for target i586 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.87499 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf libminisat-2.2.0 + echo 'Source #0 (libminisat-2.2.0.tar.gz):' Source #0 (libminisat-2.2.0.tar.gz): + /bin/gzip -dc /usr/src/RPM/SOURCES/libminisat-2.2.0.tar.gz + /bin/tar -xf - + cd libminisat-2.2.0 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.87499 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libminisat-2.2.0 + ./autogen.sh aclocal-default: warning: autoconf input should be named 'configure.ac', not 'configure.in' libtoolize-default: putting auxiliary files in '.'. libtoolize-default: linking file './ltmain.sh' libtoolize-default: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'. libtoolize-default: linking file 'm4/libtool.m4' libtoolize-default: linking file 'm4/ltoptions.m4' libtoolize-default: linking file 'm4/ltsugar.m4' libtoolize-default: linking file 'm4/ltversion.m4' libtoolize-default: linking file 'm4/lt~obsolete.m4' automake-default: warning: autoconf input should be named 'configure.ac', not 'configure.in' configure.in:18: installing './compile' configure.in:20: installing './config.guess' configure.in:20: installing './config.sub' configure.in:3: installing './install-sh' configure.in:3: installing './missing' automake-default: warning: autoconf input should be named 'configure.ac', not 'configure.in' /usr/share/automake-1.16/am/ltlibrary.am: warning: 'libminisat.la': linking libtool libraries using a non-POSIX /usr/share/automake-1.16/am/ltlibrary.am: archiver requires 'AM_PROG_AR' in 'configure.in' lib/Makefile.am:7: while processing Libtool library 'libminisat.la' lib/Makefile.am: installing './depcomp' lib/Makefile.am:5: warning: 'LDFLAGS' is a user variable, you should not override it; lib/Makefile.am:5: use 'AM_LDFLAGS' instead Now run ./configure and then make. + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export FFLAGS + FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export FCFLAGS + '[' -n '' ']' ++ printf %s '-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' ++ sed -r 's/(^|[[:space:]]+)-[^m][^[:space:]]*//g' + ASFLAGS=' -march=i586 -mtune=generic' + export ASFLAGS + export lt_cv_deplibs_check_method=pass_all + lt_cv_deplibs_check_method=pass_all + readlink -e -- ./configure + xargs -ri dirname -- '{}' + sort -u + xargs -rn1 install -pm755 -- /usr/share/gnu-config/config.sub /usr/share/gnu-config/config.guess + xargs -ri find '{}' -type f '(' -name config.sub -or -name config.guess ')' -printf '%h/\n' + ./configure --build=i586-alt-linux --host=i586-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/lib --localstatedir=/var/lib --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-dependency-tracking --disable-silent-rules --without-included-gettext configure: WARNING: unrecognized options: --without-included-gettext checking for a BSD-compatible install... /bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for i586-alt-linux-gcc... i586-alt-linux-gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether i586-alt-linux-gcc accepts -g... yes checking for i586-alt-linux-gcc option to accept ISO C89... none needed checking whether i586-alt-linux-gcc understands -c and -o together... yes checking whether make supports the include directive... yes (GNU style) checking dependency style of i586-alt-linux-gcc... none checking for i586-alt-linux-g++... i586-alt-linux-g++ checking whether we are using the GNU C++ compiler... yes checking whether i586-alt-linux-g++ accepts -g... yes checking dependency style of i586-alt-linux-g++... none checking build system type... i586-alt-linux-gnu checking host system type... i586-alt-linux-gnu checking how to print strings... printf checking for a sed that does not truncate output... /bin/sed checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for fgrep... /bin/grep -F checking for ld used by i586-alt-linux-gcc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking how to convert i586-alt-linux-gnu file names to i586-alt-linux-gnu format... func_convert_file_noop checking how to convert i586-alt-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for i586-alt-linux-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... (cached) pass_all checking for i586-alt-linux-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for i586-alt-linux-ar... no checking for ar... ar checking for archiver @FILE support... @ checking for i586-alt-linux-strip... no checking for strip... strip checking for i586-alt-linux-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from i586-alt-linux-gcc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for i586-alt-linux-mt... no checking for mt... no checking if : is a manifest tool... no checking how to run the C preprocessor... i586-alt-linux-gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if i586-alt-linux-gcc supports -fno-rtti -fno-exceptions... no checking for i586-alt-linux-gcc option to produce PIC... -fPIC -DPIC checking if i586-alt-linux-gcc PIC flag -fPIC -DPIC works... yes checking if i586-alt-linux-gcc static flag -static works... no checking if i586-alt-linux-gcc supports -c -o file.o... yes checking if i586-alt-linux-gcc supports -c -o file.o... (cached) yes checking whether the i586-alt-linux-gcc linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... i586-alt-linux-g++ -E checking for ld used by i586-alt-linux-g++... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the i586-alt-linux-g++ linker (/usr/bin/ld) supports shared libraries... yes checking for i586-alt-linux-g++ option to produce PIC... -fPIC -DPIC checking if i586-alt-linux-g++ PIC flag -fPIC -DPIC works... yes checking if i586-alt-linux-g++ static flag -static works... no checking if i586-alt-linux-g++ supports -c -o file.o... yes checking if i586-alt-linux-g++ supports -c -o file.o... (cached) yes checking whether the i586-alt-linux-g++ linker (/usr/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating lib/Makefile config.status: creating test/Makefile config.status: executing depfiles commands config.status: executing libtool commands configure: WARNING: unrecognized options: --without-included-gettext + make -j8 Making all in lib make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' /bin/sh ../libtool --tag=CXX --mode=compile i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c -o System.lo System.cc libtool: compile: i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c System.cc -fPIC -DPIC -o .libs/System.o libtool: compile: i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c System.cc -o System.o >/dev/null 2>&1 make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' /bin/sh ../libtool --tag=CXX --mode=compile i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c -o main.lo main.cc libtool: compile: i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c main.cc -fPIC -DPIC -o .libs/main.o In file included from Solver.h:27, from main.cc:20: Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] fprintf(stderr, "%4"PRIi64, range.begin); ^ Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] fprintf(stderr, "%4"PRIi64, range.end); ^ Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ In file included from Solver.h:28, from main.cc:20: SolverTypes.h:130:65: warning: ISO C++ forbids zero-size array 'data' [-Wpedantic] union { Lit lit; float act; uint32_t abs; CRef rel; } data[0]; ^ main.cc: In function 'int minisat_solve(size_t, size_t, size_t*, int**, unsigned char*, unsigned char*)': main.cc:46:12: warning: comparison of integer expressions of different signedness: 'const int' and 'size_t' {aka 'unsigned int'} [-Wsign-compare] if (var >= varCount) ~~~~^~~~~~~~~~~ main.cc:69:26: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'unsigned int'} and 'int' [-Wsign-compare] for(size_t i = 0;i < S.conflict.size();i++) ~~^~~~~~~~~~~~~~~~~~~ libtool: compile: i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c main.cc -o main.o >/dev/null 2>&1 make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' /bin/sh ../libtool --tag=CXX --mode=compile i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c -o Options.lo Options.cc libtool: compile: i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c Options.cc -fPIC -DPIC -o .libs/Options.o In file included from Options.cc:21: Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] fprintf(stderr, "%4"PRIi64, range.begin); ^ Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] fprintf(stderr, "%4"PRIi64, range.end); ^ Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ libtool: compile: i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c Options.cc -o Options.o >/dev/null 2>&1 make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' /bin/sh ../libtool --tag=CXX --mode=compile i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c -o Solver.lo Solver.cc libtool: compile: i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c Solver.cc -fPIC -DPIC -o .libs/Solver.o In file included from Solver.h:27, from Solver.cc:24: Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] fprintf(stderr, "%4"PRIi64, range.begin); ^ Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] fprintf(stderr, "%4"PRIi64, range.end); ^ Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ In file included from Solver.h:28, from Solver.cc:24: SolverTypes.h:130:65: warning: ISO C++ forbids zero-size array 'data' [-Wpedantic] union { Lit lit; float act; uint32_t abs; CRef rel; } data[0]; ^ In file included from mtl/Sort.h:24, from Solver.cc:23: ./mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(int) [with T = Minisat::vec]': ./mtl/Vec.h:115:5: required from 'void Minisat::vec::growTo(int) [with T = Minisat::vec]' SolverTypes.h:266:39: required from 'void Minisat::OccLists::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::Solver::WatcherDeleted]' Solver.cc:117:35: required from here ./mtl/Vec.h:99:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from mtl/Sort.h:24, from Solver.cc:23: ./mtl/Vec.h:38:7: note: 'class Minisat::vec' declared here class vec { ^~~ libtool: compile: i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c Solver.cc -o Solver.o >/dev/null 2>&1 make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' /bin/sh ../libtool --tag=CXX --mode=link i586-alt-linux-g++ -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -version-info 0:0:0 -release 0 -o libminisat.la -rpath /usr/lib Options.lo Solver.lo System.lo main.lo -lm libtool: link: i586-alt-linux-g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/i586-alt-linux/8/../../../crti.o /usr/lib/gcc/i586-alt-linux/8/crtbeginS.o .libs/Options.o .libs/Solver.o .libs/System.o .libs/main.o -L/usr/lib/gcc/i586-alt-linux/8 -L/usr/lib/gcc/i586-alt-linux/8/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/i586-alt-linux/8/crtendS.o /usr/lib/gcc/i586-alt-linux/8/../../../crtn.o -g -O2 -march=i586 -mtune=generic -Wl,-soname -Wl,libminisat-0.so.0 -o .libs/libminisat-0.so.0.0.0 libtool: link: (cd ".libs" && rm -f "libminisat-0.so.0" && ln -s "libminisat-0.so.0.0.0" "libminisat-0.so.0") libtool: link: (cd ".libs" && rm -f "libminisat.so" && ln -s "libminisat-0.so.0.0.0" "libminisat.so") libtool: link: ar cr .libs/libminisat.a Options.o Solver.o System.o main.o libtool: link: ranlib .libs/libminisat.a libtool: link: ( cd ".libs" && rm -f "libminisat.la" && ln -s "../libminisat.la" "libminisat.la" ) make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' Making all in test make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/test' i586-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -c -o test.o test.cc make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/test' make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/test' /bin/sh ../libtool --tag=CXX --mode=link i586-alt-linux-g++ -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -o test test.o ../lib/libminisat.la libtool: link: i586-alt-linux-g++ -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic -o .libs/test test.o ../lib/.libs/libminisat.so make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/test' make[1]: Nothing to be done for 'all-am'. + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.29390 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/libminisat-buildroot + : + /bin/rm -rf -- /usr/src/tmp/libminisat-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games + cd libminisat-2.2.0 + make DESTDIR=/usr/src/tmp/libminisat-buildroot install make: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0' Making install in lib make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[2]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[2]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/usr/src/tmp/libminisat-buildroot/usr/lib' /bin/sh ../libtool --mode=install /bin/install -c libminisat.la '/usr/src/tmp/libminisat-buildroot/usr/lib' libtool: install: /bin/install -c .libs/libminisat-0.so.0.0.0 /usr/src/tmp/libminisat-buildroot/usr/lib/libminisat-0.so.0.0.0 libtool: install: (cd /usr/src/tmp/libminisat-buildroot/usr/lib && { ln -s -f libminisat-0.so.0.0.0 libminisat-0.so.0 || { rm -f libminisat-0.so.0 && ln -s libminisat-0.so.0.0.0 libminisat-0.so.0; }; }) libtool: install: (cd /usr/src/tmp/libminisat-buildroot/usr/lib && { ln -s -f libminisat-0.so.0.0.0 libminisat.so || { rm -f libminisat.so && ln -s libminisat-0.so.0.0.0 libminisat.so; }; }) libtool: install: /bin/install -c .libs/libminisat.lai /usr/src/tmp/libminisat-buildroot/usr/lib/libminisat.la libtool: install: /bin/install -c .libs/libminisat.a /usr/src/tmp/libminisat-buildroot/usr/lib/libminisat.a libtool: install: chmod 644 /usr/src/tmp/libminisat-buildroot/usr/lib/libminisat.a libtool: install: ranlib /usr/src/tmp/libminisat-buildroot/usr/lib/libminisat.a libtool: warning: remember to run 'libtool --finish /usr/lib' /bin/mkdir -p '/usr/src/tmp/libminisat-buildroot/usr/include' /bin/install -c -m 644 minisat.h '/usr/src/tmp/libminisat-buildroot/usr/include' make[2]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib' Making install in test make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/test' make[2]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/test' /bin/mkdir -p '/usr/src/tmp/libminisat-buildroot/usr/bin' /bin/sh ../libtool --mode=install /bin/install -c test '/usr/src/tmp/libminisat-buildroot/usr/bin' libtool: warning: '../lib/libminisat.la' has not been installed in '/usr/lib' libtool: install: /bin/install -c .libs/test /usr/src/tmp/libminisat-buildroot/usr/bin/test make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/test' make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/test' make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0' make[2]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0' make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0' make: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0' + /bin/rm -f /usr/src/tmp/libminisat-buildroot/usr/lib/liblibminisat.la + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/libminisat-buildroot (auto) removed './usr/lib/libminisat.la' mode of './usr/lib/libminisat-0.so.0.0.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/libminisat-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/libminisat-buildroot/ (default) Compressing files in /usr/src/tmp/libminisat-buildroot (auto) Adjusting library links in /usr/src/tmp/libminisat-buildroot ./usr/lib: libminisat-0.so.0 -> libminisat-0.so.0.0.0 Verifying ELF objects in /usr/src/tmp/libminisat-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) verify-elf: WARNING: ./usr/lib/libminisat-0.so.0.0.0: uses non-LFS functions: fopen Hardlinking identical .pyc and .pyo files Processing files: libminisat-2.2.0-alt5 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.28111 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libminisat-2.2.0 + DOCDIR=/usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + export DOCDIR + rm -rf /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + /bin/mkdir -p /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + cp -prL AUTHORS COPYING README /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + chmod -R go-w /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + chmod -R a+rX /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.jEwxvx find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) lib.prov: /usr/src/tmp/libminisat-buildroot/usr/lib/libminisat-0.so.0: 85 symbols, 17 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.5fpqF7 find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services) Provides: libminisat-0.so.0 = set:kdZ8TdM5884IKE6GMhnSeTqBGBsnW5l4KwjdaELzKTzfdFJnUkplr0v6zasXShv7p0pALOFi3MqAp95hK0k7qTfCVgGvVZCOPNh5ekToUwNqin4kX2UuZjeKLlIK7rMjLbe8sT7GYes8eyWLPjdZ5TtBvt3Zz2T7scM9mZ8bZwQkwK1 Requires: 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.4), libc.so.6(GLIBC_2.4), libgcc_s.so.1(GCC_3.0), libm.so.6(GLIBC_2.0), libstdc++.so.6(CXXABI_1.3), libstdc++.so.6(CXXABI_1.3.9), rtld(GNU_HASH), rtld(GNU_UNIQUE) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.cuM3iZ Creating libminisat-debuginfo package Processing files: libminisat-devel-2.2.0-alt5 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.cQTFE3 find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.W2mHFd find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: libminisat = 2.2.0-alt5, /usr/lib/libminisat-0.so.0.0.0 Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.bRPOgF Processing files: libminisat-devel-static-2.2.0-alt5 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.f1CbKj find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.wFa6Lf find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: libminisat-devel = 2.2.0-alt5, glibc-devel-static Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.zht1Kh Processing files: libminisat-debuginfo-2.2.0-alt5 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.j7dfOw find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.yGOfz2 find-requires: running scripts (debuginfo) Provides: debug(libminisat-0.so.0) Requires: libminisat = 2.2.0-alt5, debug(libc.so.6), debug(libgcc_s.so.1), debug(libm.so.6), debug(libstdc++.so.6) Removing 1 extra deps from libminisat-devel due to dependency on libminisat warning: Installed (but unpackaged) file(s) found: /usr/bin/test Wrote: /usr/src/RPM/RPMS/i586/libminisat-2.2.0-alt5.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libminisat-devel-2.2.0-alt5.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libminisat-devel-static-2.2.0-alt5.i586.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/libminisat-debuginfo-2.2.0-alt5.i586.rpm (w2.lzdio) 13.10user 2.54system 0:23.48elapsed 66%CPU (0avgtext+0avgdata 58272maxresident)k 0inputs+0outputs (0major+994796minor)pagefaults 0swaps 17.74user 4.87system 0:30.21elapsed 74%CPU (0avgtext+0avgdata 117688maxresident)k 0inputs+0outputs (0major+1303601minor)pagefaults 0swaps --- libminisat-2.2.0-alt5.i586.rpm.repo 2013-12-05 07:14:09.000000000 +0000 +++ libminisat-2.2.0-alt5.i586.rpm.hasher 2021-08-01 09:39:15.708450578 +0000 @@ -14,3 +14,3 @@ Requires: libstdc++.so.6(CXXABI_1.3) -Requires: libstdc++.so.6(GLIBCXX_3.4) +Requires: libstdc++.so.6(CXXABI_1.3.9) Requires: rtld(GNU_HASH) @@ -18,6 +18,6 @@ Requires: rpmlib(PayloadIsLzma) -Provides: libminisat-0.so.0 = set:kdTvU244KZmEiKzRi9iSeTqBZoWjvnW5l4KwjdaEL3HJQASuxjBlJNC45kzaZ1JPThv7p0pALOFi3MqQOdtjhAbwpOgLtZEpeAWnZvCYsskxMPFU6TvN2BRAKoB3422UuZjeK91PamTzdUFT574KX3lZqHjo2FhtcaDqe71AqWHXKOLKxZxxX3rOm8eNG7nZhEF0t3 +Provides: libminisat-0.so.0 = set:kdZ8TdM5884IKE6GMhnSeTqBGBsnW5l4KwjdaELzKTzfdFJnUkplr0v6zasXShv7p0pALOFi3MqAp95hK0k7qTfCVgGvVZCOPNh5ekToUwNqin4kX2UuZjeKLlIK7rMjLbe8sT7GYes8eyWLPjdZ5TtBvt3Zz2T7scM9mZ8bZwQkwK1 Provides: libminisat = 2.2.0-alt5 File: /usr/lib/libminisat-0.so.0 120777 root:root libminisat-0.so.0.0.0 -File: /usr/lib/libminisat-0.so.0.0.0 100644 root:root b5b957b9be7e0a23094e1aa2b7653842 +File: /usr/lib/libminisat-0.so.0.0.0 100644 root:root dfe4f6e2d3d326af3b8f4b702c1fa82a File: /usr/share/doc/libminisat-2.2.0 40755 root:root @@ -26,2 +26,2 @@ File: /usr/share/doc/libminisat-2.2.0/README 100644 root:root 3a8c4b7f32db84530e54354ef621e7b8 -RPMIdentity: 6c2f0c816a6c5684a9c99338da7fe90a6d908d29e4aa95ee06d21de14ee04d9e00cf6c2c679364cfec3234785c177258acc4e34c309ec7f417e98ab593a5d2b8 +RPMIdentity: 6ba5ca2283bfa71cd4563b8b46c9a3379ec749dafa08fbb5590487eaad0a56ab144407ec7f9e3651b8625e83dfed84f382a13018ecdc5298099636064b3946c0 --- libminisat-debuginfo-2.2.0-alt5.i586.rpm.repo 2013-12-05 07:14:09.000000000 +0000 +++ libminisat-debuginfo-2.2.0-alt5.i586.rpm.hasher 2021-08-01 09:39:16.027453630 +0000 @@ -1,4 +1,4 @@ -/usr/lib/debug/.build-id/73 40755 root:root -/usr/lib/debug/.build-id/73/eaf317b22383277d7271563cbc9fb56106790d 120777 root:root ../../../libminisat-0.so.0.0.0 -/usr/lib/debug/.build-id/73/eaf317b22383277d7271563cbc9fb56106790d.debug 120777 root:root ../../usr/lib/libminisat-0.so.0.0.0.debug +/usr/lib/debug/.build-id/7b 40755 root:root +/usr/lib/debug/.build-id/7b/e4929627666c6515947aba2035b1cee575bff4 120777 root:root ../../../libminisat-0.so.0.0.0 +/usr/lib/debug/.build-id/7b/e4929627666c6515947aba2035b1cee575bff4.debug 120777 root:root ../../usr/lib/libminisat-0.so.0.0.0.debug /usr/lib/debug/usr/lib/libminisat-0.so.0.0.0.debug 100644 root:root @@ -32,6 +32,6 @@ Provides: libminisat-debuginfo = 2.2.0-alt5 -File: /usr/lib/debug/.build-id/73 40755 root:root -File: /usr/lib/debug/.build-id/73/eaf317b22383277d7271563cbc9fb56106790d 120777 root:root ../../../libminisat-0.so.0.0.0 -File: /usr/lib/debug/.build-id/73/eaf317b22383277d7271563cbc9fb56106790d.debug 120777 root:root ../../usr/lib/libminisat-0.so.0.0.0.debug -File: /usr/lib/debug/usr/lib/libminisat-0.so.0.0.0.debug 100644 root:root 44fc3410fcf9894cbdecb408ac84dfef +File: /usr/lib/debug/.build-id/7b 40755 root:root +File: /usr/lib/debug/.build-id/7b/e4929627666c6515947aba2035b1cee575bff4 120777 root:root ../../../libminisat-0.so.0.0.0 +File: /usr/lib/debug/.build-id/7b/e4929627666c6515947aba2035b1cee575bff4.debug 120777 root:root ../../usr/lib/libminisat-0.so.0.0.0.debug +File: /usr/lib/debug/usr/lib/libminisat-0.so.0.0.0.debug 100644 root:root f1e69662ac46cf2e8132d2a430cfa261 File: /usr/lib/debug/usr/lib/libminisat-0.so.0.debug 120777 root:root libminisat-0.so.0.0.0.debug @@ -56,2 +56,2 @@ File: /usr/src/debug/libminisat-2.2.0/lib/mtl/XAlloc.h 100644 root:root 85f720e4ddfe2cb66fca45a5838e919f -RPMIdentity: f212311a9ca6c12b310acac03f29a17453977b7c7000d345369760fb16f93d16785e5250314db478b417a59e7a39714ef0918a8d5a3a32886b920774806e58b3 +RPMIdentity: 253c6689ff195236f533a10b9fce561c1f0f6de808d5ca391b97c5b411afd1c4a80979d740896c439086ed269fc6c1ffe2b143440a6df65a2a24712c770692bc --- libminisat-devel-2.2.0-alt5.i586.rpm.repo 2013-12-05 07:14:09.000000000 +0000 +++ libminisat-devel-2.2.0-alt5.i586.rpm.hasher 2021-08-01 09:39:16.104454367 +0000 @@ -7,2 +7,2 @@ File: /usr/lib/libminisat.so 120777 root:root libminisat-0.so.0.0.0 -RPMIdentity: 97a89698d45bd4e5debc34fdd34b1c8beada32f2a50dfba3467c5ec1baf464a35adfc7405bd9aaf4f2ecc0f5bef8a0dac38d35a10da079285b8d9f9deee31cf0 +RPMIdentity: 874b8a1ac5400d269734d425418d5395ba27042dac23e85d2093ba4beca859442838e9cb5a60083fe3f849ac8f98849bbf77311145a85826ef1da97a59fb898e --- libminisat-devel-static-2.2.0-alt5.i586.rpm.repo 2013-12-05 07:14:09.000000000 +0000 +++ libminisat-devel-static-2.2.0-alt5.i586.rpm.hasher 2021-08-01 09:39:16.178455075 +0000 @@ -5,3 +5,3 @@ Provides: libminisat-devel-static = 2.2.0-alt5 -File: /usr/lib/libminisat.a 100644 root:root 529c8008cf72db28949c9b596fb9c082 -RPMIdentity: d0a7579d8bf4e8c0b3fec990862bd054f00702bbf2e7019d81f4233c6ff4d4a3f783a0d751d9e9079f0e92dba4037ae35c416f1bd008b4020fcdb21c84de48cb +File: /usr/lib/libminisat.a 100644 root:root a209f0b194a1015e0c18efccc3694b92 +RPMIdentity: 2f242ddb0b9e220e3deab09f0f56816aa093079c29a0020ffeb3e31d08aab17ffcd86ce24014893649433a031c7e059ca068a9abe6cf02136b3927aecdf9c77c