Main Site Links:

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

Information for RPM kissat-devel-3.0.0-3.fc38.riscv64.rpm

ID	971250
Name	kissat-devel
Version	3.0.0
Release	3.fc38
Epoch
Arch	riscv64
Summary	Development files for kissat
Description	Library links and header files for developing applications that use kissat.
Build Time	2023-03-16 17:55:59 GMT
Size	8.28 KB
SIGMD5	56118a757b26c1ef3b450a5598b6879c
License	MIT
Buildroot	f38-build-696119-86107
Provides	kissat-devel = 3.0.0-3.fc38 kissat-devel(riscv-64) = 3.0.0-3.fc38
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	kissat-libs(riscv-64) = 3.0.0-3.fc38 libkissat.so.0()(64bit) 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 2 of 2 Name Size /usr/include/kissat.h 1.23 KB /usr/lib64/libkissat.so 14.00 B
Component of	No Buildroots