Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM picosat-devel-965-31.fc45.riscv64.rpm

ID	71255
Build	picosat-965-31.fc45
Name	picosat-devel
Version	965
Release	31.fc45
Epoch
Arch	riscv64
Draft	False
Summary	Development files for PicoSAT
Description	Headers and other development files for PicoSAT.
Build Time	2026-10-17 04:42:48 GMT
Size	16.56 KB
SIGMD5	ef9565a378d6aa2ea68c7508b3d77037
License	MIT
VCS	git:https://fmv.jku.at/picosat/.git
Buildroot	f45-build-28518-631
Provides	picosat-devel = 965-31.fc45 picosat-devel(riscv-64) = 965-31.fc45
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-31.fc45 picosat-libs(riscv-64) = 965-31.fc45 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 Size /usr/include/picosat.h 28.00 KB /usr/lib64/libpicosat-R.so 17.00 B /usr/lib64/libpicosat-trace.so 21.00 B /usr/lib64/libpicosat.so 15.00 B
Component of	1 through 1 of 1 Buildroot Created State f45-build-32155-657 2026-10-17 12:03:21