Sat, 23 Nov 2024 11:41:08 UTC | login

Information for RPM cvc5-debuginfo-1.1.2-5.fc41.riscv64.rpm

ID1435769
Namecvc5-debuginfo
Version1.1.2
Release5.fc41
Epoch
Archriscv64
SummaryDebug information for package cvc5
DescriptionThis package provides debug information for package cvc5. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2024-08-15 20:54:35 GMT
Size862.84 KB
21b08bb7483cd33076ed01c9411e2f82
LicenseBSD-3-Clause AND MIT
git:https://github.com/cvc5/cvc5.git
Buildrootf41-build-842767-161629
Provides
cvc5-debuginfo = 1.1.2-5.fc41
cvc5-debuginfo(riscv-64) = 1.1.2-5.fc41
debuginfo(build-id) = 1f89b8050d6eac48ee3b1aac3403f4b47d614422
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
cvc5-debugsource(riscv-64) = 1.1.2-5.fc41
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/1f0.00 B
/usr/lib/debug/.build-id/1f/89b8050d6eac48ee3b1aac3403f4b47d61442260.00 B
/usr/lib/debug/.build-id/1f/89b8050d6eac48ee3b1aac3403f4b47d614422.debug68.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cvc5-1.1.2-5.fc41.riscv641.20 MB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/cvc5-1.1.2-5.fc41.riscv64.debug2.60 MB
Component of No Buildroots