Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM cvc4-libs-debuginfo-1.8-15.fc38.riscv64.rpm

ID	999746
Name	cvc4-libs-debuginfo
Version	1.8
Release	15.fc38
Epoch
Arch	riscv64
Summary	Debug information for package cvc4-libs
Description	This package provides debug information for package cvc4-libs. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time	2023-05-05 06:28:35 GMT
Size	92.15 MB
SIGMD5	3cd12ea1e2d25edca960a0f42b648ad0
License	BSD-3-Clause AND MIT
Buildroot	f38-build-709394-92901
Provides	cvc4-libs-debuginfo = 1.8-15.fc38 cvc4-libs-debuginfo(riscv-64) = 1.8-15.fc38 debuginfo(build-id) = 29a58c2355ddbf304b9c1f26fb8450aab088bf8b debuginfo(build-id) = 878fc4fdd6aa30bc030503ecfcf582013a7f1f99 libcvc4.so.7-1.8-15.fc38.riscv64.debug()(64bit) libcvc4parser.so.7-1.8-15.fc38.riscv64.debug()(64bit)
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	cvc4-debuginfo(riscv-64) = 1.8-15.fc38 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends	cvc4-debugsource(riscv-64) = 1.8-15.fc38
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 12 of 12 Name Size /usr/lib/debug 0.00 B /usr/lib/debug/.build-id 0.00 B /usr/lib/debug/.build-id/29 0.00 B /usr/lib/debug/.build-id/29/a58c2355ddbf304b9c1f26fb8450aab088bf8b 60.00 B /usr/lib/debug/.build-id/29/a58c2355ddbf304b9c1f26fb8450aab088bf8b.debug 77.00 B /usr/lib/debug/.build-id/87 0.00 B /usr/lib/debug/.build-id/87/8fc4fdd6aa30bc030503ecfcf582013a7f1f99 60.00 B /usr/lib/debug/.build-id/87/8fc4fdd6aa30bc030503ecfcf582013a7f1f99.debug 83.00 B /usr/lib/debug/usr 0.00 B /usr/lib/debug/usr/lib64 0.00 B /usr/lib/debug/usr/lib64/libcvc4.so.7-1.8-15.fc38.riscv64.debug 830.64 MB /usr/lib/debug/usr/lib64/libcvc4parser.so.7-1.8-15.fc38.riscv64.debug 28.11 MB
Component of	No Buildroots