Sat, 19 Oct 2024 00:20:40 UTC | login

Information for RPM picosat-devel-965-6.fc29.riscv64.rpm

ID87569
Namepicosat-devel
Version965
Release6.fc29
Epoch
Archriscv64
SummaryDevelopment files for PicoSAT
DescriptionHeaders and other development files for PicoSAT.
Build Time2018-05-23 11:45:49 GMT
Size18.22 KB
48b8f6e1083dca32c75305a61d426f99
LicenseMIT
Buildrootf29-build-3790-951
Provides
picosat-devel = 965-6.fc29
picosat-devel(riscv-64) = 965-6.fc29
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-6.fc29
picosat-libs(riscv-64) = 965-6.fc29
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-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
1 through 3 of 3
Buildroot descending sort Created State
f29-build-20694-10824 2018-07-28 21:16:46 expired
f29-build-16608-8084 2018-07-07 18:04:38 expired
f29-build-9596-4305 2018-06-10 02:35:06 expired