Tue, 20 Oct 2026 18:20:07 UTC | login

Information for RPM ethos-debuginfo-0.2.3-2.fc45.riscv64.rpm

ID24405
Buildethos-0.2.3-2.fc45
Nameethos-debuginfo
Version0.2.3
Release2.fc45
Epoch
Archriscv64
DraftFalse
SummaryDebug information for package ethos
DescriptionThis package provides debug information for package ethos. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2026-10-13 17:00:31 GMT
Size2.83 MB
6b452a8c1c35a3ae925ad9bad5bcaf3f
LicenseBSD-3-Clause
git:https://github.com/cvc5/ethos.git
Buildrootf45-build-8505-390
Provides
debuginfo(build-id) = 4a8dbc063b52a48498f2cee64fdaf2e0876ec258
ethos-debuginfo = 0.2.3-2.fc45
ethos-debuginfo(riscv-64) = 0.2.3-2.fc45
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
ethos-debugsource(riscv-64) = 0.2.3-2.fc45
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 8 of 8
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/4a0.00 B
/usr/lib/debug/.build-id/4a/8dbc063b52a48498f2cee64fdaf2e0876ec25860.00 B
/usr/lib/debug/.build-id/4a/8dbc063b52a48498f2cee64fdaf2e0876ec258.debug69.00 B
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/ethos-0.2.3-2.fc45.riscv64.debug11.48 MB
Component of No Buildroots