Main Site Links:

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

Information for RPM coq-debuginfo-8.18.0-10.fc41.riscv64.rpm

ID	1362973
Name	coq-debuginfo
Version	8.18.0
Release	10.fc41
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	2024-07-25 06:33:28 GMT
Size	365.55 KB
SIGMD5	8bbf5d7c73584f8d779dac6ce225db01
License	LGPL-2.1-only AND MIT AND BSD-3-Clause
VCS	git:https://github.com/coq/coq.git
Buildroot	f41-build-820740-152300
Provides	coq-debuginfo = 8.18.0-10.fc41 coq-debuginfo(riscv-64) = 8.18.0-10.fc41
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.18.0-10.fc41
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.18.0-10.fc41.riscv64 2.36 MB
Component of	No Buildroots