Mon, 16 Sep 2024 19:24:57 UTC | login

Information for RPM cvc5-debuginfo-1.1.2-3.fc41.riscv64.rpm

ID1318745
Namecvc5-debuginfo
Version1.1.2
Release3.fc41
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-07-11 16:41:18 GMT
Size909.95 KB
2a2811d0c6d3494904b7910d3934088d
LicenseBSD-3-Clause AND MIT
https://github.com/cvc5/cvc5
Buildrootf41-build-813615-148684
Provides
cvc5-debuginfo = 1.1.2-3.fc41
cvc5-debuginfo(riscv-64) = 1.1.2-3.fc41
debuginfo(build-id) = 265f6f769b6a80e392b86bcc9b4ab0fc6d807411
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-3.fc41
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/260.00 B
/usr/lib/debug/.build-id/26/5f6f769b6a80e392b86bcc9b4ab0fc6d80741160.00 B
/usr/lib/debug/.build-id/26/5f6f769b6a80e392b86bcc9b4ab0fc6d807411.debug68.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/cvc5-1.1.2-3.fc41.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-3.fc41.riscv64.debug3.17 MB
Component of No Buildroots