Sat, 23 Nov 2024 21:38:36 UTC | login

Information for RPM cvc5-debuginfo-1.1.0-1.fc40.riscv64.rpm

ID1172661
Namecvc5-debuginfo
Version1.1.0
Release1.fc40
Epoch
Archriscv64
SummaryDebug information for package cvc5
DescriptionThis package provides debug information for package cvc5. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2024-01-11 19:08:28 GMT
Size886.35 KB
53f674f649d62702f9e4671875a446f8
LicenseBSD-3-Clause AND MIT
Buildrootf40-build-773860-127438
Provides
cvc5-debuginfo = 1.1.0-1.fc40
cvc5-debuginfo(riscv-64) = 1.1.0-1.fc40
debuginfo(build-id) = ced7a9ebbfefb1e1f3490e90bf722cb2869009c8
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
cvc5-debugsource(riscv-64) = 1.1.0-1.fc40
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/ce0.00 B
/usr/lib/debug/.build-id/ce/d7a9ebbfefb1e1f3490e90bf722cb2869009c860.00 B
/usr/lib/debug/.build-id/ce/d7a9ebbfefb1e1f3490e90bf722cb2869009c8.debug68.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cvc5-1.1.0-1.fc40.riscv641.16 MB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/cvc5-1.1.0-1.fc40.riscv64.debug2.98 MB
Component of No Buildroots