Main Site Links:

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

Information for RPM ocaml-psmt2-frontend-debugsource-0.4.0-21.fc42.riscv64.rpm

ID	1488907
Name	ocaml-psmt2-frontend-debugsource
Version	0.4.0
Release	21.fc42
Epoch
Arch	riscv64
Summary	Debug sources for package ocaml-psmt2-frontend
Description	This package provides debug sources for package ocaml-psmt2-frontend. Debug sources are useful when developing applications that use this package or when debugging this package.
Build Time	2025-01-11 21:45:40 GMT
Size	52.85 KB
SIGMD5	d95cb202c4d985e71f3749e5f3c601cc
License	Apache-2.0
VCS	git:https://github.com/ACoquereau/psmt2-frontend.git
Buildroot	f42-build-865674-173376
Provides	ocaml-psmt2-frontend-debugsource = 0.4.0-21.fc42 ocaml-psmt2-frontend-debugsource(riscv-64) = 0.4.0-21.fc42
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	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 19 of 19 Name Size /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64 0.00 B /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build 0.00 B /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default 0.00 B /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src 0.00 B /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/bin 0.00 B /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/bin/main.ml 2.70 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib 0.00 B /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/main.ml 864.00 B /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/options.ml 1.64 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_error.ml 2.69 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_lexer.ml 382.36 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_lexer.mll 4.64 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_parser.ml 351.57 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_parser.mly 13.33 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_printer.ml 8.39 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_ty.ml 7.50 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_typed_env.ml 12.88 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_typed_logic.ml 14.87 KB /usr/src/debug/ocaml-psmt2-frontend-0.4.0-21.fc42.riscv64/_build/default/src/lib/smtlib_typing.ml 13.06 KB
Component of	No Buildroots