Mon, 11 Nov 2024 11:48:00 UTC | login

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

ID1435767
Namecvc5-devel
Version1.1.2
Release5.fc41
Epoch
Archriscv64
SummaryHeaders and other files for developing with cvc5
DescriptionHeader files and library links for developing applications that use cvc5.
Build Time2024-08-15 20:54:35 GMT
Size79.15 KB
ad7557b5df09396768f97ff690238ead
LicenseBSD-3-Clause AND MIT
git:https://github.com/cvc5/cvc5.git
Buildrootf41-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 ascending sort Size
/usr/include/cvc50.00 B
/usr/include/cvc5/c0.00 B
/usr/include/cvc5/c/cvc5.h132.22 KB
/usr/include/cvc5/cvc5.h166.73 KB
/usr/include/cvc5/cvc5_export.h963.00 B
/usr/include/cvc5/cvc5_kind.h160.48 KB
/usr/include/cvc5/cvc5_parser.h10.77 KB
/usr/include/cvc5/cvc5_proof_rule.h71.35 KB
/usr/include/cvc5/cvc5_types.h19.06 KB
/usr/lib64/cmake/cvc50.00 B
/usr/lib64/cmake/cvc5/cvc5Config.cmake2.08 KB
/usr/lib64/cmake/cvc5/cvc5ConfigVersion.cmake3.17 KB
/usr/lib64/cmake/cvc5/cvc5JavaTargets.cmake1.48 KB
/usr/lib64/cmake/cvc5/cvc5Targets-production.cmake1.43 KB
/usr/lib64/cmake/cvc5/cvc5Targets.cmake4.24 KB
/usr/lib64/libcvc5.so12.00 B
/usr/lib64/libcvc5parser.so18.00 B
Component of No Buildroots