ocaml-psmt2-frontend-0.4.0-16.fc40 RPM for aarch64

From Fedora 40 for aarch64 / 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(aarch-64)
• ocaml-psmt2-frontend-doc

Requires

• ld-linux-aarch64.so.1()(64bit)
• ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
• 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) = 2125f26b831153c92a44f06bfde570ae
• ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87
• ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b
• ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309
• ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354
• ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d
• ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc
• ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919
• ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e
• ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4
• ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf
• ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351
• ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28
• ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08
• ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee
• ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868
• ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4
• ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328
• ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050
• ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5
• ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c
• ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5
• ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3
• ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5
• 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 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
* 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

Files

/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/beaa183e04e2860c717c6ed126c38f0a598112
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/5b247aa22184bc4d7f74a2f4e5ff768cc237b4
/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 Jul 9 23:47:10 2024