fedora

Information for RPM cadical-debuginfo-1:2.1.3-1.fc42.riscv64.rpm

ID3812
Buildcadical-2.1.3-1.fc42
Namecadical-debuginfo
Version2.1.3
Release1.fc42
Epoch1
Archriscv64
DraftFalse
SummaryDebug information for package cadical
DescriptionThis package provides debug information for package cadical. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2025-05-19 14:44:50 GMT
Size738.77 KB
f7d4fb9803b7519a24dcec4000e9cb2e
LicenseMIT
git:https://github.com/arminbiere/cadical.git
Provides
cadical-debuginfo = 1:2.1.3-1.fc42
cadical-debuginfo(riscv-64) = 1:2.1.3-1.fc42
debuginfo(build-id) = 7c3f84af32b45455925207950f8c36db26f2ef64
debuginfo(build-id) = da22d22ed7ea4c10265b53e33018ab005665fc1f
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
cadical-debugsource(riscv-64) = 1:2.1.3-1.fc42
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 14 of 14
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/7c0.00 B
/usr/lib/debug/.build-id/7c/3f84af32b45455925207950f8c36db26f2ef6460.00 B
/usr/lib/debug/.build-id/7c/3f84af32b45455925207950f8c36db26f2ef64.debug71.00 B
/usr/lib/debug/.build-id/da0.00 B
/usr/lib/debug/.build-id/da/22d22ed7ea4c10265b53e33018ab005665fc1f60.00 B
/usr/lib/debug/.build-id/da/22d22ed7ea4c10265b53e33018ab005665fc1f.debug71.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cadical-2.1.3-1.fc42.riscv64720.41 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/cadical-2.1.3-1.fc42.riscv64.debug422.69 KB
/usr/lib/debug/usr/bin/mobical-2.1.3-1.fc42.riscv64.debug1.72 MB
Component of No Buildroots