Tue, 12 Nov 2024 23:07:04 UTC | login

Information for RPM ocaml-psmt2-frontend-debugsource-0.4.0-20.fc41.riscv64.rpm

ID1425868
Nameocaml-psmt2-frontend-debugsource
Version0.4.0
Release20.fc41
Epoch
Archriscv64
SummaryDebug sources for package ocaml-psmt2-frontend
DescriptionThis 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 Time2024-08-11 16:04:05 GMT
Size52.82 KB
7cb45e5c90c52a585ebb615a1fee1a5b
LicenseApache-2.0
git:https://github.com/ACoquereau/psmt2-frontend.git
Buildrootf41-build-838415-159693
Provides
ocaml-psmt2-frontend-debugsource = 0.4.0-20.fc41
ocaml-psmt2-frontend-debugsource(riscv-64) = 0.4.0-20.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 No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 19 of 19
Name ascending sort Size
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv640.00 B
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build0.00 B
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default0.00 B
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src0.00 B
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/bin0.00 B
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/bin/main.ml2.70 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib0.00 B
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/main.ml864.00 B
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/options.ml1.64 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_error.ml2.69 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_lexer.ml382.36 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_lexer.mll4.64 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_parser.ml351.57 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_parser.mly13.33 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_printer.ml8.39 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_ty.ml7.50 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_typed_env.ml12.88 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_typed_logic.ml14.87 KB
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64/_build/default/src/lib/smtlib_typing.ml13.06 KB
Component of No Buildroots