Mon, 17 Jun 2024 15:04:07 UTC | login

Information for RPM yices-tools-debuginfo-2.6.1-2.fc31.riscv64.rpm

ID396944
Nameyices-tools-debuginfo
Version2.6.1
Release2.fc31
Epoch
Archriscv64
SummaryDebug information for package yices-tools
DescriptionThis package provides debug information for package yices-tools. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2019-07-28 06:00:38 GMT
Size8.94 MB
8644e0163612aa8709d6803239f6162a
LicenseGPLv3+
Buildrootf31-build-61358-28847
Provides
debuginfo(build-id) = 1d17215ac2fa1ee483f4a0e49e9598dfafe33e20
debuginfo(build-id) = b54088bcb654f75a654c0d5ad94701218b8a07a2
debuginfo(build-id) = f5aa7bb49a9d6ec115224926cdd31a09868f8539
debuginfo(build-id) = fe553c0dba27b730d9985269772f41da54c2f6c3
yices-tools-debuginfo = 2.6.1-2.fc31
yices-tools-debuginfo(riscv-64) = 2.6.1-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
yices-debuginfo(riscv-64) = 2.6.1-2.fc31
Recommends
yices-debugsource(riscv-64) = 2.6.1-2.fc31
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 20 of 20
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/1d0.00 B
/usr/lib/debug/.build-id/1d/17215ac2fa1ee483f4a0e49e9598dfafe33e2060.00 B
/usr/lib/debug/.build-id/1d/17215ac2fa1ee483f4a0e49e9598dfafe33e20.debug73.00 B
/usr/lib/debug/.build-id/b50.00 B
/usr/lib/debug/.build-id/b5/4088bcb654f75a654c0d5ad94701218b8a07a260.00 B
/usr/lib/debug/.build-id/b5/4088bcb654f75a654c0d5ad94701218b8a07a2.debug73.00 B
/usr/lib/debug/.build-id/f50.00 B
/usr/lib/debug/.build-id/f5/aa7bb49a9d6ec115224926cdd31a09868f853960.00 B
/usr/lib/debug/.build-id/f5/aa7bb49a9d6ec115224926cdd31a09868f8539.debug69.00 B
/usr/lib/debug/.build-id/fe0.00 B
/usr/lib/debug/.build-id/fe/553c0dba27b730d9985269772f41da54c2f6c360.00 B
/usr/lib/debug/.build-id/fe/553c0dba27b730d9985269772f41da54c2f6c3.debug74.00 B
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/yices-2.6.1-2.fc31.riscv64.debug14.23 MB
/usr/lib/debug/usr/bin/yices-sat-2.6.1-2.fc31.riscv64.debug243.98 KB
/usr/lib/debug/usr/bin/yices-smt-2.6.1-2.fc31.riscv64.debug13.79 MB
/usr/lib/debug/usr/bin/yices-smt2-2.6.1-2.fc31.riscv64.debug14.34 MB
Component of No Buildroots