Main Site Links:

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

Information for RPM cvc5-devel-1.1.2-5.fc41.riscv64.rpm

ID	1435767
Name	cvc5-devel
Version	1.1.2
Release	5.fc41
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-08-15 20:54:35 GMT
Size	79.15 KB
SIGMD5	ad7557b5df09396768f97ff690238ead
License	BSD-3-Clause AND MIT
VCS	git:https://github.com/cvc5/cvc5.git
Buildroot	f41-build-842767-161629
Provides	cmake(cvc5) = 1.1.2 cvc5-devel = 1.1.2-5.fc41 cvc5-devel(riscv-64) = 1.1.2-5.fc41
Obsoletes	cvc4-devel < 1.9
Conflicts	No Conflicts
Requires	cmake-filesystem(riscv-64) cvc5-libs(riscv-64) = 1.1.2-5.fc41 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