Fri, 22 Oct 2021 01:40:56 UTC

Information for RPM cryptominisat-libs-2.9.3-1.fc16.x86_64.rpm

ID3064763
Namecryptominisat-libs
Version2.9.3
Release1.fc16
Epoch
Archx86_64
SummaryCryptominisat library
DescriptionThe cryptominisat library.
Build Time2012-04-16 16:28:59 GMT
Size225,553
dee2875a86950e141aa30aea2e69d593
LicenseGPLv3+
Buildrootf16-build-1321200-211753
Provides
cryptominisat-libs = 2.9.3-1.fc16
cryptominisat-libs(x86-64) = 2.9.3-1.fc16
libcryptominisat-2.9.3.so()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.4)(64bit)
libgomp.so.1()(64bit)
libgomp.so.1(GOMP_1.0)(64bit)
libgomp.so.1(OMP_1.0)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
libz.so.1()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 8 of 8
Name ascending sort Size
/usr/lib64/libcryptominisat-2.9.3.so531,216
/usr/share/doc/cryptominisat-libs-2.9.34,096
/usr/share/doc/cryptominisat-libs-2.9.3/AUTHORS1,159
/usr/share/doc/cryptominisat-libs-2.9.3/LICENSE-GPL35,147
/usr/share/doc/cryptominisat-libs-2.9.3/LICENSE-MIT1,135
/usr/share/doc/cryptominisat-libs-2.9.3/NEWS16,464
/usr/share/doc/cryptominisat-libs-2.9.3/README740
/usr/share/doc/cryptominisat-libs-2.9.3/TODO201
Component of No Buildroots