Fri, 19 Apr 2024 20:54:56 UTC | login

Information for RPM z3-debuginfo-4.8.5-2.fc31.riscv64.rpm

ID397055
Namez3-debuginfo
Version4.8.5
Release2.fc31
Epoch
Archriscv64
SummaryDebug information for package z3
DescriptionThis package provides debug information for package z3. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2019-07-28 05:29:48 GMT
Size962.33 KB
1d3e027e2747d78577475d756e37bb31
LicenseMIT
Buildrootf31-build-61366-28849
Provides
debuginfo(build-id) = 6208e25647347b4e5347e1c46edd13ac77fce540
z3-debuginfo = 4.8.5-2.fc31
z3-debuginfo(riscv-64) = 4.8.5-2.fc31
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
z3-debugsource(riscv-64) = 4.8.5-2.fc31
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/620.00 B
/usr/lib/debug/.build-id/62/08e25647347b4e5347e1c46edd13ac77fce54060.00 B
/usr/lib/debug/.build-id/62/08e25647347b4e5347e1c46edd13ac77fce540.debug66.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.8.5-2.fc31.riscv6448.93 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.8.5-2.fc31.riscv64.debug4.70 MB
Component of No Buildroots