ID 1002337
Name cvc4-java-debuginfo
Version 1.8
Release 15.rvre0.fc38
Epoch
Arch riscv64
Summary
Description
Build Time 2023-05-10 12:51:15 GMT
Size 1.41 MB
SIGMD5 3e267afd605a52d6cb6f6512a7a98d77
License BSD-3-Clause AND MIT
Buildroot f38-build-710256-93299
Provides
cvc4-java-debuginfo = 1.8-15.rvre0.fc38
cvc4-java-debuginfo(riscv-64) = 1.8-15.rvre0.fc38
debuginfo(build-id) = 7317b111f9af33240125ef15704825f4935be677
libcvc4jni.so-1.8-15.rvre0.fc38.riscv64.debug()(64bit)
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
cvc4-debuginfo(riscv-64) = 1.8-15.rvre0.fc38
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends
cvc4-debugsource(riscv-64) = 1.8-15.rvre0.fc38
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Component of
No Buildroots