Main Site Links:

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

Information for RPM python3-cvc5-debuginfo-1.1.0-1.fc40.riscv64.rpm

ID	1172666
Name	python3-cvc5-debuginfo
Version	1.1.0
Release	1.fc40
Epoch
Arch	riscv64
Summary	Debug information for package python3-cvc5
Description	This package provides debug information for package python3-cvc5. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time	2024-01-11 19:08:28 GMT
Size	1.41 MB
SIGMD5	20754bca6fadc519485a3018944e646e
License	BSD-3-Clause AND MIT
Buildroot	f40-build-773860-127438
Provides	debuginfo(build-id) = f6e5f62e2dc3794fe08b4c55bad7e6e3cc010c71 python-cvc5-debuginfo = 1.1.0-1.fc40 python3-cvc5-debuginfo = 1.1.0-1.fc40 python3-cvc5-debuginfo(riscv-64) = 1.1.0-1.fc40 python3.12-cvc5-debuginfo = 1.1.0-1.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	cvc5-debuginfo(riscv-64) = 1.1.0-1.fc40 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.0-1.fc40
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 11 of 11 Name Size /usr/lib/debug 0.00 B /usr/lib/debug/.build-id 0.00 B /usr/lib/debug/.build-id/f6 0.00 B /usr/lib/debug/.build-id/f6/e5f62e2dc3794fe08b4c55bad7e6e3cc010c71 60.00 B /usr/lib/debug/.build-id/f6/e5f62e2dc3794fe08b4c55bad7e6e3cc010c71.debug 145.00 B /usr/lib/debug/usr 0.00 B /usr/lib/debug/usr/lib64 0.00 B /usr/lib/debug/usr/lib64/python3.12 0.00 B /usr/lib/debug/usr/lib64/python3.12/site-packages 0.00 B /usr/lib/debug/usr/lib64/python3.12/site-packages/cvc5 0.00 B /usr/lib/debug/usr/lib64/python3.12/site-packages/cvc5/cvc5_python_base.cpython-312-riscv64-linux-gnu.so-1.1.0-1.fc40.riscv64.debug 6.26 MB
Component of	No Buildroots