ocaml-psmt2-frontend-0.4.0-33.fc46 RPM for x86_64

From Fedora Rawhide for x86_64 / o

This package contains a library to parse and typecheck a conservative
extension of the SMT-LIB 2 standard with prenex polymorphism.

Provides

• ocaml-psmt2-frontend
• 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(x86-64)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.2)(64bit)
• libc.so.6(GLIBC_2.3.4)(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)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.6)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• libm.so.6(GLIBC_2.44)(64bit)
• ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda
• ocaml(Psmt2Frontend) = 032f2d96a45fc65a7e49cb70b2603c45
• ocaml(Psmt2Frontend__Options) = 0b0d10e949354daf77aa1614e2a6c5b7
• ocaml(Psmt2Frontend__Smtlib_error) = 47f297f47ff649a5137eda04d2214787
• ocaml(Psmt2Frontend__Smtlib_parser) = fa30b2129f93c9b00154abf2c7220f1a
• ocaml(Psmt2Frontend__Smtlib_printer) = 300a6578a6d07c8184349362e9c97de9
• ocaml(Psmt2Frontend__Smtlib_syntax) = 26b6c0da51caa7336cf9a16d30f1dad8
• ocaml(Psmt2Frontend__Smtlib_ty) = f9a0bc0c9c81307a1284f9b0dd3b8c37
• ocaml(Psmt2Frontend__Smtlib_typed_env) = f605ed5f9eff2995269b6f19435a9541
• ocaml(Psmt2Frontend__Smtlib_typed_logic) = 4882167ed6a6f3d2b25a7ba10fa53dfc
• ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f
• ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6
• ocaml(Stdlib__Domain) = d11ad689f3e35d9892101961a1201121
• ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f
• ocaml(Stdlib__Format) = 5b2f2a54d0831d599db87620d18b8ca1
• ocaml(Stdlib__Hashtbl) = 6df0309fbcf3f1661d9e3d07a603aa3e
• ocaml(Stdlib__Lexing) = 738e4c77ef59ce13f6f1eeecd20678b3
• ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2
• ocaml(Stdlib__Map) = a9944feda56cab2432578db95de546a3
• ocaml(Stdlib__Printf) = 3303d43852c2d96a670040b4fc4aefc6
• ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111
• ocaml(Stdlib__Stack) = 8c1adfb915ebcf7ee8b1cee69ad6daba
• ocaml(Stdlib__String) = 10f6a338df78df4f5987192086ffa3c9
• ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1
• 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)

License

Apache-2.0

Changelog

* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-33
  - OCaml 5.5.1 rebuild
* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-32
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 0.4.0-31
  - OCaml 5.5.0 rebuild
  - Use the dune declarative buildsystem
* Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-30
  - OCaml 5.4.1 rebuild
* Mon Feb 02 2026 Jerry James <loganjerry@gmail.com> - 0.4.0-29
  - Rebuild for ocaml-menhir 20260122
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-28
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-27
  - OCaml 5.4.0 rebuild
* Tue Sep 16 2025 Jerry James <loganjerry@gmail.com> - 0.4.0-26
  - Rebuild for ocaml-menhir 20250912
* Fri Sep 05 2025 Jerry James <loganjerry@gmail.com> - 0.4.0-25
  - Rebuild for ocaml-menhir 20250903
* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-24
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 0.4.0-23
  - Rebuild to fix OCaml dependencies
* Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-22
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Thu Jan 09 2025 Jerry James <loganjerry@gmail.com> - 0.4.0-21
  - OCaml 5.3.0 rebuild for Fedora 42

Files

/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/16
/usr/lib/.build-id/16/02f7d0bc65019101e4f0d602090d845aa35dd9
/usr/lib/.build-id/20
/usr/lib/.build-id/20/42c4fd56ec0063e05eb3a2ed91482e207b45c8
/usr/lib64/ocaml/psmt2-frontend
/usr/lib64/ocaml/psmt2-frontend/META
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
/usr/lib64/ocaml/psmt2-frontend_bin
/usr/lib64/ocaml/psmt2-frontend_bin/META
/usr/share/doc/ocaml-psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
/usr/share/doc/ocaml-psmt2-frontend/README.md
/usr/share/licenses/ocaml-psmt2-frontend
/usr/share/licenses/ocaml-psmt2-frontend/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Sep 18 01:07:53 2026