Tue, 26 Nov 2024 05:26:32 UTC | login

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

ID1289661
Namecvc5-devel
Version1.1.2
Release1.fc40
Epoch
Archriscv64
SummaryHeaders and other files for developing with cvc5
DescriptionHeader files and library links for developing applications that use cvc5.
Build Time2024-04-14 13:10:10 GMT
Size78.72 KB
f4ad2d5b5af330e77de851f69c46410d
LicenseBSD-3-Clause AND MIT
https://github.com/cvc5/cvc5
Buildrootf40-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 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