Sun, 03 Nov 2024 21:27:24 UTC | login

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

ID1318739
Namecvc5-devel
Version1.1.2
Release3.fc41
Epoch
Archriscv64
SummaryHeaders and other files for developing with cvc5
DescriptionHeader files and library links for developing applications that use cvc5.
Build Time2024-07-11 16:41:18 GMT
Size78.91 KB
3262715c43cc4673718753ab5cec1cdf
LicenseBSD-3-Clause AND MIT
https://github.com/cvc5/cvc5
Buildrootf41-build-813615-148684
Provides
cmake(cvc5) = 1.1.2
cvc5-devel = 1.1.2-3.fc41
cvc5-devel(riscv-64) = 1.1.2-3.fc41
Obsoletes
cvc4-devel < 1.9
Conflicts No Conflicts
Requires
cmake-filesystem(riscv-64)
cvc5-libs(riscv-64) = 1.1.2-3.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