Main Site Links:

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

Information for RPM cadical-devel-06w-2.fc30.riscv64.rpm

ID	308647
Name	cadical-devel
Version	06w
Release	2.fc30
Epoch
Arch	riscv64
Summary	Development files for cadical
Description	Library links and header files for developing applications that use cadical.
Build Time	2018-12-07 12:49:09 GMT
Size	9.04 KB
SIGMD5	58a61787df635a41251e8c57dc144abb
License	MIT
Buildroot	f30-build-38686-22247
Provides	cadical-devel = 06w-2.fc30 cadical-devel(riscv-64) = 06w-2.fc30
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	cadical-libs(riscv-64) = 06w-2.fc30 libcadical.so.0()(64bit) 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 2 of 2 Name Size /usr/include/cadical.hpp 5.28 KB /usr/lib64/libcadical.so 15.00 B
Component of	No Buildroots