ocaml-psmt2-frontend-0.4.0-11.fc39 RPM for ppc64le

From Fedora 39 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

• glibc >= 2.37.9000-17
• 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)
• 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) = cecfafd5c021473f5e358c96ac7502a0
• ocaml(Psmt2Frontend) = 0ab297b4b0711d656b172837abc11452
• ocaml(Psmt2Frontend__Options) = 7d7b72ebf84d4dfb4b996c96b0470e12
• ocaml(Psmt2Frontend__Smtlib_error) = 6407385f4f368d53d5952fb397f6bdc9
• ocaml(Psmt2Frontend__Smtlib_parser) = 619f7f44689c46a50ea4a85165254816
• ocaml(Psmt2Frontend__Smtlib_printer) = 7e02e0c6fdac48d01c2b776f19230214
• ocaml(Psmt2Frontend__Smtlib_syntax) = 0b284fa3ea9ca81f3b4cf1ee462140ca
• ocaml(Psmt2Frontend__Smtlib_ty) = 20caf42ce0d1a3851b588ef379a1ab63
• ocaml(Psmt2Frontend__Smtlib_typed_env) = b9e48d85d7b8701d0b500d9801f7e034
• ocaml(Psmt2Frontend__Smtlib_typed_logic) = 8d3adeaee5bdfe5a90a5f72d22b20543
• ocaml(Stdlib) = 85f85ddb47edc0c7579657eee740302d
• ocaml(Stdlib__Buffer) = 12b944b4b2913751cd65bdc638975d4d
• ocaml(Stdlib__Domain) = 0d152be3cd9163970a657d842fca8ecf
• ocaml(Stdlib__Either) = b3ad0f8c65f28252059edebc03f68808
• ocaml(Stdlib__Format) = e7385010d0d6a0bbd4191bc7546d458a
• ocaml(Stdlib__Hashtbl) = bafdecabd3fce4f5ccc09a1a5587dab4
• ocaml(Stdlib__Lexing) = be62854f0fbcd8531fe531cd00e34821
• ocaml(Stdlib__List) = feb7c568830f9f239501efb83f4725e4
• ocaml(Stdlib__Map) = 71415964978d1cf0c1701af1137aa1ea
• ocaml(Stdlib__Printf) = 8debea255efc834da5c1bc2e73f09214
• ocaml(Stdlib__Seq) = cc3f899885b746f777815dc93be7ede2
• ocaml(Stdlib__Stack) = 2c058a31c4619e2e1504072ca87f6bee
• ocaml(Stdlib__String) = facad7e0dada5941148738b8188d844f
• ocaml(Stdlib__Uchar) = 9ea864085095970c73b7b17c26c37317
• 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 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
* Mon Dec 12 2022 Jerry James <loganjerry@gmail.com> - 0.4.0-5
  - New URL
  - Convert License tag to SPDX
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Thu Jul 21 2022 Jerry James <loganjerry@gmail.com> - 0.4.0-4
  - Use new OCaml macros
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-4
  - OCaml 4.14.0 rebuild
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-3
  - OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 0.4.0-1
  - Version 0.4.0
  - Drop obsolete -autoconf patch
  - Add %check script
  - Add -docs subpackage
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 0.1-11
  - OCaml 4.13.1 build
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.1-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Files

/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/31
/usr/lib/.build-id/31/e32d8b45929920392b83dfd3229b01a3d37bd5
/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__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 Jul 9 22:23:46 2024