Thu, 16 May 2024 09:27:53 UTC | login

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

ID999742
Namecvc4-debuginfo
Version1.8
Release15.fc38
Epoch
Archriscv64
SummaryDebug information for package cvc4
DescriptionThis package provides debug information for package cvc4. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2023-05-05 06:28:35 GMT
Size693.40 KB
da4a4eac29c3dc13b37ee85b50338fbf
LicenseBSD-3-Clause AND MIT
Buildrootf38-build-709394-92901
Provides
cvc4-debuginfo = 1.8-15.fc38
cvc4-debuginfo(riscv-64) = 1.8-15.fc38
debuginfo(build-id) = ad512dee536644aff874bff93bc8d72a2d81379b
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
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 10 of 10
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/ad0.00 B
/usr/lib/debug/.build-id/ad/512dee536644aff874bff93bc8d72a2d81379b60.00 B
/usr/lib/debug/.build-id/ad/512dee536644aff874bff93bc8d72a2d81379b.debug67.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cvc4-1.8-15.fc38.riscv641.27 MB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/cvc4-1.8-15.fc38.riscv64.debug4.12 MB
Component of No Buildroots