ocaml-psmt2-frontend-devel-0.4.0-3.mga10 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

The ocaml-psmt2-frontend-devel package contains libraries and signature
files for developing applications that use ocaml-psmt2-frontend.

Provides

• ocaml-psmt2-frontend-devel
• ocaml(Psmt2Frontend)
• ocaml(Psmt2Frontend__Main)
• ocaml(Psmt2Frontend__Options)
• ocaml(Psmt2Frontend__Smtlib_error)
• ocaml(Psmt2Frontend__Smtlib_lexer)
• ocaml(Psmt2Frontend__Smtlib_parser)
• ocaml(Psmt2Frontend__Smtlib_printer)
• ocaml(Psmt2Frontend__Smtlib_syntax)
• ocaml(Psmt2Frontend__Smtlib_ty)
• ocaml(Psmt2Frontend__Smtlib_typed_env)
• ocaml(Psmt2Frontend__Smtlib_typed_logic)
• ocaml(Psmt2Frontend__Smtlib_typing)
• ocaml(Psmt2Frontend__Version)
• ocaml-psmt2-frontend-devel(x86-64)
• ocamlx(Psmt2Frontend)
• ocamlx(Psmt2Frontend__Main)
• ocamlx(Psmt2Frontend__Options)
• ocamlx(Psmt2Frontend__Smtlib_error)
• ocamlx(Psmt2Frontend__Smtlib_lexer)
• ocamlx(Psmt2Frontend__Smtlib_parser)
• ocamlx(Psmt2Frontend__Smtlib_printer)
• ocamlx(Psmt2Frontend__Smtlib_syntax)
• ocamlx(Psmt2Frontend__Smtlib_ty)
• ocamlx(Psmt2Frontend__Smtlib_typed_env)
• ocamlx(Psmt2Frontend__Smtlib_typed_logic)
• ocamlx(Psmt2Frontend__Smtlib_typing)
• ocamlx(Psmt2Frontend__Version)

Requires

• 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) = 5d1fc87a782daebb3332ec9e9fe043b4
• ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced
• ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
• ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
• ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
• ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
• ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
• ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
• ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
• ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
• ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e
• ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
• ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
• ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc
• ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
• ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
• ocaml-psmt2-frontend(x86-64) = 0.4.0-3.mga10
• ocamlx(Psmt2Frontend__Options) = d105e8f05fa0d70690d202d660e38762
• ocamlx(Psmt2Frontend__Smtlib_error) = 31c304b1ff5d6127b05393d0c2b72cbe
• ocamlx(Psmt2Frontend__Smtlib_printer) = 77554937e69a38a25481b2a25b0efefa
• ocamlx(Psmt2Frontend__Smtlib_ty) = a10ef0def4cce8c2841c41545eb462b5
• ocamlx(Psmt2Frontend__Smtlib_typed_env) = 856744990692d01ed9855f45b76f62d8
• ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 0e5621170f286897177eb81623b4f1bc
• ocamlx(Stdlib) = 9dc4e5eb1428b4b83037e136de64d07b
• ocamlx(Stdlib__Format) = 9fd07a8bda3b6871f15d2dd899999381
• ocamlx(Stdlib__Hashtbl) = 13921c1b993c3df360282ffc9e1fc820
• ocamlx(Stdlib__Lexing) = a0a1b1cb8c436f14fa0076493b310581
• ocamlx(Stdlib__List) = c3a511aa4a318695fc8c537a066b344c
• ocamlx(Stdlib__Map) = a456eae5d3ec76b4f7dca372677b3855
• ocamlx(Stdlib__Printf) = 3355dd2861376d6f7797acdac699579a
• ocamlx(Stdlib__Stack) = 7b91372dd86d3672576961002a1dde27
• ocamlx(Stdlib__String) = f97b634b8d02a0422b61f35a94a2cf6b
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

ASL 2.0

Changelog

* Thu Jun 19 2025 daviddavid <daviddavid> 0.4.0-3.mga10
  + Revision: 2192814
  - rebuild for new ocaml 5.3.0

Files

/usr/lib64/ocaml/psmt2-frontend/dune-package
/usr/lib64/ocaml/psmt2-frontend/main.ml
/usr/lib64/ocaml/psmt2-frontend/opam
/usr/lib64/ocaml/psmt2-frontend/options.mli
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx
/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml
/usr/lib64/ocaml/psmt2-frontend/version.mli
/usr/lib64/ocaml/psmt2-frontend_bin/dune-package
/usr/lib64/ocaml/psmt2-frontend_bin/opam

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jun 21 04:50:13 2025