Mon, 13 Jan 2025 01:34:05 UTC | login

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

ID1488909
Nameocaml-psmt2-frontend
Version0.4.0
Release21.fc42
Epoch
Archriscv64
SummaryParser and typechecker for an extension of SMT-LIB 2
DescriptionThis package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
Build Time2025-01-11 21:45:40 GMT
Size1.33 MB
404f28bedca196a45757bb2d4104c845
LicenseApache-2.0
git:https://github.com/ACoquereau/psmt2-frontend.git
Buildrootf42-build-865674-173376
Provides
ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807
ocaml(Psmt2Frontend__Main) = a7a1d74422008ed981a3e1588f80e1b2
ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7
ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd
ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70
ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c
ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c
ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a
ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9
ocaml(Psmt2Frontend__Smtlib_typed_env) = 3edd3e833d29033a1de3d2b3542190d7
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced
ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59
ocaml(Psmt2Frontend__Version) = e46916c01ef00daa8020057f636a1538
ocaml-psmt2-frontend = 0.4.0-21.fc42
ocaml-psmt2-frontend(riscv-64) = 0.4.0-21.fc42
ocaml-psmt2-frontend-doc = 0.4.0-21.fc42
Obsoletes
ocaml-psmt2-frontend-doc < 0.4.0-5
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.32)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807
ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7
ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd
ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c
ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c
ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a
ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9
ocaml(Psmt2Frontend__Smtlib_typed_env) = 3edd3e833d29033a1de3d2b3542190d7
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced
ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7
ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212
ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc
ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 30 of 30
Name ascending sort Size
/usr/bin/psmt2-frontend_bin2.79 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/300.00 B
/usr/lib/.build-id/30/caac52194d3ba1b3af89771e490b821ee6e15261.00 B
/usr/lib/.build-id/b90.00 B
/usr/lib/.build-id/b9/b33681866df08f45a250f280300aef0063d7cd38.00 B
/usr/lib64/ocaml/psmt2-frontend0.00 B
/usr/lib64/ocaml/psmt2-frontend/META196.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma761.10 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi923.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs976.88 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi505.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi1.56 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi1.43 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi1.41 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi3.24 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi2.41 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi5.52 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi6.04 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi6.47 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi1.89 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi2.47 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi328.00 B
/usr/lib64/ocaml/psmt2-frontend_bin0.00 B
/usr/lib64/ocaml/psmt2-frontend_bin/META0.00 B
/usr/share/doc/ocaml-psmt2-frontend0.00 B
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md573.00 B
/usr/share/doc/ocaml-psmt2-frontend/README.md1.13 KB
/usr/share/licenses/ocaml-psmt2-frontend0.00 B
/usr/share/licenses/ocaml-psmt2-frontend/LICENSE11.09 KB
Component of
1 through 1 of 1
Buildroot descending sort Created State
f42-build-865736-173451 2025-01-12 09:08:09 expired