Thu, 31 Oct 2024 23:46:42 UTC | login

Information for RPM cvc4-java-debuginfo-1.8-15.fc38.riscv64.rpm

ID999739
Namecvc4-java-debuginfo
Version1.8
Release15.fc38
Epoch
Archriscv64
SummaryDebug information for package cvc4-java
DescriptionThis package provides debug information for package cvc4-java. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2023-05-05 06:28:35 GMT
Size1.41 MB
cd262621baaa1ae69021c0af76eec8df
LicenseBSD-3-Clause AND MIT
Buildrootf38-build-709394-92901
Provides
cvc4-java-debuginfo = 1.8-15.fc38
cvc4-java-debuginfo(riscv-64) = 1.8-15.fc38
debuginfo(build-id) = ff2537a4e29bbe8b62ae54d77869fb57f4c057b1
libcvc4jni.so-1.8-15.fc38.riscv64.debug()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
cvc4-debuginfo(riscv-64) = 1.8-15.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.fc38
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 8 of 8
Name descending sort Size
/usr/lib/debug/usr/lib64/libcvc4jni.so-1.8-15.fc38.riscv64.debug15.75 MB
/usr/lib/debug/usr/lib640.00 B
/usr/lib/debug/usr0.00 B
/usr/lib/debug/.build-id/ff/2537a4e29bbe8b62ae54d77869fb57f4c057b1.debug78.00 B
/usr/lib/debug/.build-id/ff/2537a4e29bbe8b62ae54d77869fb57f4c057b160.00 B
/usr/lib/debug/.build-id/ff0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug0.00 B
Component of No Buildroots