Thu, 16 May 2024 11:41:13 UTC | login

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

ID1002336
Namecvc4-debuginfo
Version1.8
Release15.rvre0.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-10 12:51:15 GMT
Size693.31 KB
60661d99d652c3a89e68943150f31ce3
LicenseBSD-3-Clause AND MIT
Buildrootf38-build-710256-93299
Provides
cvc4-debuginfo = 1.8-15.rvre0.fc38
cvc4-debuginfo(riscv-64) = 1.8-15.rvre0.fc38
debuginfo(build-id) = d9d03fbdec90adf3e6d58e06ad6eb7a5d490dd87
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.rvre0.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/d90.00 B
/usr/lib/debug/.build-id/d9/d03fbdec90adf3e6d58e06ad6eb7a5d490dd8760.00 B
/usr/lib/debug/.build-id/d9/d03fbdec90adf3e6d58e06ad6eb7a5d490dd87.debug73.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cvc4-1.8-15.rvre0.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.rvre0.fc38.riscv64.debug4.12 MB
Component of No Buildroots