Mon, 20 May 2024 21:42:07 UTC | login

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

ID1172657
Namecvc5-devel
Version1.1.0
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-01-11 19:08:28 GMT
Size65.87 KB
41ebcae62707dfcf8d09dd1168bc97e0
LicenseBSD-3-Clause AND MIT
Buildrootf40-build-773860-127438
Provides
cmake(cvc5) = 1.1.0
cvc5-devel = 1.1.0-1.fc40
cvc5-devel(riscv-64) = 1.1.0-1.fc40
Obsoletes
cvc4-devel < 1.9
Conflicts No Conflicts
Requires
cmake-filesystem(riscv-64)
cvc5-libs(riscv-64) = 1.1.0-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 15 of 15
Name ascending sort Size
/usr/include/cvc50.00 B
/usr/include/cvc5/cvc5.h164.76 KB
/usr/include/cvc5/cvc5_export.h963.00 B
/usr/include/cvc5/cvc5_kind.h160.62 KB
/usr/include/cvc5/cvc5_parser.h10.52 KB
/usr/include/cvc5/cvc5_proof_rule.h70.14 KB
/usr/include/cvc5/cvc5_types.h17.11 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