RPM RedHat EL 8 picosat-libs 965 x86

picosat-libs rpm build for : RedHat EL 8. For other distributions click picosat-libs.

Name : picosat-libs
Version : 965	Vendor : Fedora Project
Release : 17.el8	Date : 2023-04-22 02:18:54
Group : Unspecified	Source RPM : picosat-965-17.el8.src.rpm
Size : 0.16 MB
Packager : Fedora Project
Summary : A SAT solver library
Description : The PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors.
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/epel/8.8.2023-11-14/Everything/x86_64/Packages/p

Download
ftp.icm.edu.pl picosat-libs-965-17.el8.x86_64.rpm

ftp.icm.edu.pl picosat-libs-965-17.el8.x86_64.rpm

Provides :
libpicosat-trace.so.0()(64bit)
libpicosat.so.0()(64bit)
picosat-libs
picosat-libs(x86-64)

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)(64bit)

libc.so.6(GLIBC_2.3.4)(64bit)

libc.so.6(GLIBC_2.4)(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)

Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/55
/usr/lib/.build-id/55/5d43493014fa49c2938cf8ab410303330c48f9
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/150f64f1cb465c82bfeba424abd4fbf240d27d
/usr/lib64/libpicosat-trace.so.0
/usr/lib64/libpicosat-trace.so.0.0.965
/usr/lib64/libpicosat.so.0
/usr/lib64/libpicosat.so.0.0.965
/usr/share/doc/picosat-libs
/usr/share/doc/picosat-libs/NEWS
/usr/share/licenses/picosat-libs
/usr/share/licenses/picosat-libs/LICENSE