Fri, 24 May 2024 17:33:37 UTC | login

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

ID1289657
Namecvc5-debuginfo
Version1.1.2
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-04-14 13:10:10 GMT
Size909.59 KB
54930b6df741289256026c091691e4f5
LicenseBSD-3-Clause AND MIT
https://github.com/cvc5/cvc5
Buildrootf40-build-805569-144785
Provides
cvc5-debuginfo = 1.1.2-1.fc40
cvc5-debuginfo(riscv-64) = 1.1.2-1.fc40
debuginfo(build-id) = ef60c9e674f74ac540c43116631b77fec873ed75
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.2-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/ef0.00 B
/usr/lib/debug/.build-id/ef/60c9e674f74ac540c43116631b77fec873ed7560.00 B
/usr/lib/debug/.build-id/ef/60c9e674f74ac540c43116631b77fec873ed75.debug68.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cvc5-1.1.2-1.fc40.riscv641.20 MB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/cvc5-1.1.2-1.fc40.riscv64.debug3.17 MB
Component of No Buildroots