Main Site Links:

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

Information for RPM ocaml-z3-debuginfo-4.8.3-1.fc30.riscv64.rpm

ID	308040
Name	ocaml-z3-debuginfo
Version	4.8.3
Release	1.fc30
Epoch
Arch	riscv64
Summary	Debug information for package ocaml-z3
Description	This package provides debug information for package ocaml-z3. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time	2018-12-07 07:48:02 GMT
Size	294.60 KB
SIGMD5	fd27f0710960466bf4330ae51cb290c5
License	MIT
Buildroot	f30-build-36614-20684
Provides	debuginfo(build-id) = 015390f2857077e5598933a33cd221f776dc9d28 debuginfo(build-id) = 2109d20f3e568c84e8c999830f1c7acd9e7dd086 ocaml-z3-debuginfo = 4.8.3-1.fc30 ocaml-z3-debuginfo(riscv-64) = 4.8.3-1.fc30
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(PayloadIsXz) <= 5.2-1 z3-debuginfo(riscv-64) = 4.8.3-1.fc30
Recommends	z3-debugsource(riscv-64) = 4.8.3-1.fc30
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 14 of 14 Name Size /usr/lib/debug 0.00 B /usr/lib/debug/.build-id 0.00 B /usr/lib/debug/.build-id/01 0.00 B /usr/lib/debug/.build-id/01/5390f2857077e5598933a33cd221f776dc9d28 60.00 B /usr/lib/debug/.build-id/01/5390f2857077e5598933a33cd221f776dc9d28.debug 84.00 B /usr/lib/debug/.build-id/21 0.00 B /usr/lib/debug/.build-id/21/09d20f3e568c84e8c999830f1c7acd9e7dd086 60.00 B /usr/lib/debug/.build-id/21/09d20f3e568c84e8c999830f1c7acd9e7dd086.debug 85.00 B /usr/lib/debug/usr 0.00 B /usr/lib/debug/usr/lib64 0.00 B /usr/lib/debug/usr/lib64/ocaml 0.00 B /usr/lib/debug/usr/lib64/ocaml/Z3 0.00 B /usr/lib/debug/usr/lib64/ocaml/Z3/dllz3ml.so-4.8.3-1.fc30.riscv64.debug 1.24 MB /usr/lib/debug/usr/lib64/ocaml/Z3/z3ml.cmxs-4.8.3-1.fc30.riscv64.debug 1.51 MB
Component of	No Buildroots