Name: ocaml-psmt2-frontend-devel	Distribution: Fedora Project
Version: 0.4.0	Vendor: Fedora Project
Release: 32.fc45	Build date: Fri Jul 17 02:48:09 2026
Group: Unspecified	Build host: buildvm-ppc64le-06.rdu3.fedoraproject.org
Size: 5844245	Source RPM: ocaml-psmt2-frontend-0.4.0-32.fc45.src.rpm
Packager: Fedora Project
Url: https://acoquereau.github.io/psmt2-frontend/
Summary: Development files for ocaml-psmt2-frontend

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

Provides

Requires

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
ocaml-psmt2-frontend(ppc-64) = 0.4.0-32.fc45
ocamlx(CamlinternalFormat) = dc180c9176757c64c3bec891737192f7
ocamlx(Psmt2Frontend__Options) = 8c172005e9fa195b1c82ca437d3199d1
ocamlx(Psmt2Frontend__Smtlib_error) = bd7eb7daac68e7a7152d1776ba634cc6
ocamlx(Psmt2Frontend__Smtlib_printer) = 458f8cd5f4dd316c93df4ec4c7c1e420
ocamlx(Psmt2Frontend__Smtlib_ty) = 54e3ba38af60b14e40dcd358764fceb0
ocamlx(Psmt2Frontend__Smtlib_typed_env) = c2939a9e10a69f199089deb5064b7d8f
ocamlx(Psmt2Frontend__Smtlib_typed_logic) = ddc27a5550ca3d5633632b9cd254d531
ocamlx(Stdlib) = 10ea0d72067578752b9337ef13a8c4b8
ocamlx(Stdlib__Atomic) = d55db5d280f80c26c1b5eeb03902c2c7
ocamlx(Stdlib__Bytes) = f22b9e15bc8cc33a9742247380af4768
ocamlx(Stdlib__Domain) = 32ffc2b1cbdf4c3e65fe5afd238d092a
ocamlx(Stdlib__Format) = 088b18472bb48a6edaae7e95b2b7364a
ocamlx(Stdlib__Hashtbl) = 7835a42f37391041e5d9126bfd5756c1
ocamlx(Stdlib__Lexing) = b48968d2cf35735d90237b1bb8998ba5
ocamlx(Stdlib__List) = de311163159cc81659beef6dd6b5f114
ocamlx(Stdlib__Map) = 7ff330d1ec1fddc5b9f97b46956bd026
ocamlx(Stdlib__Printf) = ee4f90b3db36f6456cb9e4cb712076f2
ocamlx(Stdlib__Random) = 8b26d96b069a78205a969d251a9c67d2
ocamlx(Stdlib__Stack) = e91536cd44f7dc783942cf12c7ef4750
ocamlx(Stdlib__String) = 16164d7a73bab99870c22d145e17a925
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1

License

Apache-2.0

Changelog

* 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
* Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 0.4.0-20
  - Rebuild for ocaml-menhir 20240715
* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-19
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild

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, Wed Jul 29 00:01:48 2026

ocaml-psmt2-frontend-devel-0.4.0-32.fc45 RPM for ppc64le

From Fedora Rawhide for ppc64le / o

Provides

Requires

License

Changelog

Files