Sun, 29 Sep 2024 03:02:36 UTC | login

Information for RPM ocaml-psmt2-frontend-debuginfo-0.4.0-14.fc40.riscv64.rpm

ID1162283
Nameocaml-psmt2-frontend-debuginfo
Version0.4.0
Release14.fc40
Epoch
Archriscv64
SummaryDebug information for package ocaml-psmt2-frontend
DescriptionThis package provides debug information for package ocaml-psmt2-frontend. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2023-12-29 17:53:35 GMT
Size193.02 KB
769b904d825ac8efa5c709713ad94e5b
LicenseApache-2.0
Buildrootf40-build-768381-125293
Provides
debuginfo(build-id) = c862c8c1f1a3aae55b76d579c4785750a3d268a3
debuginfo(build-id) = e955af7081d25ce411bdf662cb210fc8ef9041ac
ocaml-psmt2-frontend-debuginfo = 0.4.0-14.fc40
ocaml-psmt2-frontend-debuginfo(riscv-64) = 0.4.0-14.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
ocaml-psmt2-frontend-debugsource(riscv-64) = 0.4.0-14.fc40
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 17 of 17
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/c80.00 B
/usr/lib/debug/.build-id/c8/62c8c1f1a3aae55b76d579c4785750a3d268a360.00 B
/usr/lib/debug/.build-id/c8/62c8c1f1a3aae55b76d579c4785750a3d268a3.debug106.00 B
/usr/lib/debug/.build-id/e90.00 B
/usr/lib/debug/.build-id/e9/55af7081d25ce411bdf662cb210fc8ef9041ac60.00 B
/usr/lib/debug/.build-id/e9/55af7081d25ce411bdf662cb210fc8ef9041ac.debug83.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/ocaml-psmt2-frontend-0.4.0-14.fc40.riscv6439.15 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/psmt2-frontend_bin-0.4.0-14.fc40.riscv64.debug798.13 KB
/usr/lib/debug/usr/lib640.00 B
/usr/lib/debug/usr/lib64/ocaml0.00 B
/usr/lib/debug/usr/lib64/ocaml/psmt2-frontend0.00 B
/usr/lib/debug/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs-0.4.0-14.fc40.riscv64.debug378.90 KB
Component of No Buildroots