ocaml-psmt2-frontend-0.4.0-18.fc41 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)
• ocaml-psmt2-frontend-doc

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_2.7)(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)
• ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
• ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe
• ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76
• ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e
• ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e
• ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6
• ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727
• ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540
• ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515
• ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676
• ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
• ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
• ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
• ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
• ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
• ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189
• ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785
• ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
• ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e
• ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a
• ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
• ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26
• ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
• ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
• 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

* 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
* 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

Files

/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/50
/usr/lib/.build-id/50/bfb3a37d3fa37d5d17c19c2716c1dbcaae9517
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/1b2d0cf16e7cf7a08444f4cc8a929656c72a89
/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, Mon Jul 1 00:13:57 2024