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 : 21.el8	Date : 2024-04-28 02:23:13
Group : Unspecified	Source RPM : picosat-965-21.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: /vol/rzm3/linux-fedora-buffet/epel/8/Everything/x86_64/Packages/p

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

ftp.icm.edu.pl picosat-libs-965-21.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/14
/usr/lib/.build-id/14/7d96bd32a2d487ba65489e334574fe514f20f1
/usr/lib/.build-id/b0
/usr/lib/.build-id/b0/90ba0ec6b04a1abbc11d7b21aeff95d00fd374
/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