INFO
Name: picosat-devel
Version: 965-30.el9
Arch: ppc64le
Summary: Development files for PicoSAT
License: MIT
Vendor: Fedora Project
Build Host: buildvm-ppc64le-20.rdu3.fedoraproject.org
Build Date: Sun Apr 26 14:27:35 2026
Size: 28728
URL: https://fmv.jku.at/picosat/
Description: Headers and other development files for PicoSAT.
FILES
/usr/include/picosat.h
/usr/lib64/libpicosat-R.so
/usr/lib64/libpicosat-trace.so
/usr/lib64/libpicosat.so
REQUIRES
libpicosat-R.so.0()(64bit)
libpicosat-trace.so.0()(64bit)
libpicosat.so.0()(64bit)
picosat-R(ppc-64) 965-30.el9
picosat-libs(ppc-64) 965-30.el9
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
PROVIDES
picosat-devel 965-30.el9
picosat-devel(ppc-64) 965-30.el9
CONFIG FILES
/usr/include/picosat.h
/usr/lib64/libpicosat-R.so
/usr/lib64/libpicosat-trace.so
/usr/lib64/libpicosat.so
LICENSE FILES
MIT
|
