ocaml-psmt2-frontend-0.4.0-21.fc42 RPM for ppc64le

From Fedora Rawhide for ppc64le / 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(ppc-64)
• ocaml-psmt2-frontend-doc

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.25)(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_ABI_DT_RELR)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(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)

License

Apache-2.0

Changelog

* 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
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-18
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-17
  - OCaml 5.2.0 for Fedora 41
* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-16
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-14
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-13
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-12
  - OCaml 5.1 rebuild for Fedora 40
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-10
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.4.0-9
  - OCaml 5.0.0 rebuild
* Tue Mar 21 2023 Jerry James <loganjerry@gmail.com> - 0.4.0-8
  - Add patch for Sphinx 6.x compatibility (rhbz#2180496)
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-7
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

Files

/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/0d
/usr/lib/.build-id/0d/b936871886e3910499421d1c4b0c531f6c8d69
/usr/lib/.build-id/10
/usr/lib/.build-id/10/b4877a36080f4f8e68d77f173f6e2efb5ff446
/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, Tue Jan 21 03:43:09 2025