Main Site Links:

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

Information for RPM cvc5-devel-1.1.2-1.fc40.riscv64.rpm

ID	1289661
Name	cvc5-devel
Version	1.1.2
Release	1.fc40
Epoch
Arch	riscv64
Summary	Headers and other files for developing with cvc5
Description	Header files and library links for developing applications that use cvc5.
Build Time	2024-04-14 13:10:10 GMT
Size	78.72 KB
SIGMD5	f4ad2d5b5af330e77de851f69c46410d
License	BSD-3-Clause AND MIT
VCS	https://github.com/cvc5/cvc5
Buildroot	f40-build-805569-144785
Provides	cmake(cvc5) = 1.1.2 cvc5-devel = 1.1.2-1.fc40 cvc5-devel(riscv-64) = 1.1.2-1.fc40
Obsoletes	cvc4-devel < 1.9
Conflicts	No Conflicts
Requires	cmake-filesystem(riscv-64) cvc5-libs(riscv-64) = 1.1.2-1.fc40 gmp-devel(riscv-64) libcvc5.so.1()(64bit) libcvc5parser.so.1()(64bit) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1 symfpu-devel(riscv-64)
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 17 of 17 Name Size /usr/include/cvc5 0.00 B /usr/include/cvc5/c 0.00 B /usr/include/cvc5/c/cvc5.h 132.22 KB /usr/include/cvc5/cvc5.h 166.73 KB /usr/include/cvc5/cvc5_export.h 963.00 B /usr/include/cvc5/cvc5_kind.h 160.48 KB /usr/include/cvc5/cvc5_parser.h 10.77 KB /usr/include/cvc5/cvc5_proof_rule.h 71.35 KB /usr/include/cvc5/cvc5_types.h 19.06 KB /usr/lib64/cmake/cvc5 0.00 B /usr/lib64/cmake/cvc5/cvc5Config.cmake 2.08 KB /usr/lib64/cmake/cvc5/cvc5ConfigVersion.cmake 3.17 KB /usr/lib64/cmake/cvc5/cvc5JavaTargets.cmake 1.48 KB /usr/lib64/cmake/cvc5/cvc5Targets-production.cmake 1.43 KB /usr/lib64/cmake/cvc5/cvc5Targets.cmake 4.24 KB /usr/lib64/libcvc5.so 12.00 B /usr/lib64/libcvc5parser.so 18.00 B
Component of	No Buildroots