Fri, 13 Nov 2026 14:09:44 UTC Log in

alt-ergo-debuginfo-2.4.3-5.fc45.riscv64.rpm

riscv64
Debug information for package alt-ergo 1.59 MB built 2026-10-12 13:07:33 GMT
Build 587

Description

This package provides debug information for package alt-ergo. Debug information is useful when developing applications that use this package or when debugging this package.

Dependencies

9 total
Requires4
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
Provides4
  • alt-ergo-debuginfo = 2.4.3-5.fc45
  • alt-ergo-debuginfo(riscv-64) = 2.4.3-5.fc45
  • debuginfo(build-id) = 1c22e26d039e34a196e8e84558969e6f654772b0
  • debuginfo(build-id) = dd3bc7f0102eafae0a16f040030412dc287256fb
ObsoletesNo Obsoletes
ConflictsNo Conflicts
Recommends1
  • alt-ergo-debugsource(riscv-64) = 2.4.3-5.fc45
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

18
Name ascending sort Size
/usr/lib/debug 0.00 B
/usr/lib/debug/.build-id 0.00 B
/usr/lib/debug/.build-id/1c 0.00 B
/usr/lib/debug/.build-id/1c/22e26d039e34a196e8e84558969e6f654772b0 60.00 B
/usr/lib/debug/.build-id/1c/22e26d039e34a196e8e84558969e6f654772b0.debug 72.00 B
/usr/lib/debug/.build-id/dd 0.00 B
/usr/lib/debug/.build-id/dd/3bc7f0102eafae0a16f040030412dc287256fb 60.00 B
/usr/lib/debug/.build-id/dd/3bc7f0102eafae0a16f040030412dc287256fb.debug 116.00 B
/usr/lib/debug/.dwz 0.00 B
/usr/lib/debug/.dwz/alt-ergo-2.4.3-5.fc45.riscv64 535.00 B
/usr/lib/debug/usr 0.00 B
/usr/lib/debug/usr/bin 0.00 B
/usr/lib/debug/usr/bin/alt-ergo-2.4.3-5.fc45.riscv64.debug 7.44 MB
/usr/lib/debug/usr/lib64 0.00 B
/usr/lib/debug/usr/lib64/ocaml 0.00 B
/usr/lib/debug/usr/lib64/ocaml/alt-ergo-free 0.00 B
/usr/lib/debug/usr/lib64/ocaml/alt-ergo-free/plugins 0.00 B
/usr/lib/debug/usr/lib64/ocaml/alt-ergo-free/plugins/fm-simplex-plugin.cmxs-2.4.3-5.fc45.riscv64.debug 138.95 KB
Files 1–18 of 18

Component of

buildroots that installed this RPM

No Buildroots