fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for RPM picosat-devel-965-21.fc40.riscv64.rpm

ID173047
Buildpicosat-965-21.fc40
Namepicosat-devel
Version965
Release21.fc40
Epoch
Archriscv64
DraftFalse
SummaryDevelopment files for PicoSAT
DescriptionHeaders and other development files for PicoSAT.
Build Time2024-05-04 21:03:42 GMT
Size16.27 KB
6e3761a95b7956fa8196c44cbf9df7cc
LicenseMIT
Buildrootf40-build-144485-7457
Provides
picosat-devel = 965-21.fc40
picosat-devel(riscv-64) = 965-21.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libpicosat-R.so.0()(64bit)
libpicosat-trace.so.0()(64bit)
libpicosat.so.0()(64bit)
picosat-R(riscv-64) = 965-21.fc40
picosat-libs(riscv-64) = 965-21.fc40
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
/usr/include/picosat.h28.00 KB
/usr/lib64/libpicosat-R.so17.00 B
/usr/lib64/libpicosat-trace.so21.00 B
/usr/lib64/libpicosat.so15.00 B
Component of No Buildroots