Main Site Links:

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

Information for RPM coq-debuginfo-8.17.1-8.fc40.riscv64.rpm

ID	1157321
Name	coq-debuginfo
Version	8.17.1
Release	8.fc40
Epoch
Arch	riscv64
Summary	Debug information for package coq
Description	This package provides debug information for package coq. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time	2023-12-21 14:06:59 GMT
Size	338.00 KB
SIGMD5	b5bc1ab142abe4ad1e7da55ea5b4ae27
License	LGPL-2.1-only AND MIT AND BSD-3-Clause
Buildroot	f40-build-766155-123889
Provides	coq-debuginfo = 8.17.1-8.fc40 coq-debuginfo(riscv-64) = 8.17.1-8.fc40
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	coq-debugsource(riscv-64) = 8.17.1-8.fc40
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 3 of 3 Name Size /usr/lib/debug 0.00 B /usr/lib/debug/.dwz 0.00 B /usr/lib/debug/.dwz/coq-8.17.1-8.fc40.riscv64 2.08 MB
Component of	No Buildroots