ocaml-psmt2-frontend-0.4.0-5.fc37 RPM for x86_64

From Fedora 37 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.3)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.7)(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)
• ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
• ocaml(Psmt2Frontend) = 606c3212e2cdca58a7413943d1c1f655
• ocaml(Psmt2Frontend__Options) = f2a7d3b1791e22532e11aab66897b80e
• ocaml(Psmt2Frontend__Smtlib_error) = 9db40cf067a5f5dfaee657fa78b512c2
• ocaml(Psmt2Frontend__Smtlib_parser) = e81464008f8a2258172e55589846de9e
• ocaml(Psmt2Frontend__Smtlib_printer) = be9f1a8a628fcb7f7a036510514a2463
• ocaml(Psmt2Frontend__Smtlib_syntax) = cb4c1e026844f8e78cd5146035b5774a
• ocaml(Psmt2Frontend__Smtlib_ty) = 8661f17d2610dfba82827494bde6d5dd
• ocaml(Psmt2Frontend__Smtlib_typed_env) = 990dd6593a57a6587922a1820ed67a83
• ocaml(Psmt2Frontend__Smtlib_typed_logic) = 812b13d1c32c68cbda2225da8fe9f724
• ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
• ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
• ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
• ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
• ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
• ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
• ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
• ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
• ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
• ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
• ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724
• ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
• ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
• 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

ASL 2.0

Changelog

* 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
* Mon Jul 19 2021 Jerry James <loganjerry@gmail.com> - 0.1-9
  - Move META to the main package
* Mon Mar 29 2021 Jerry James <loganjerry@gmail.com> - 0.1-9
  - Add -autoconf patch for autoconf 2.71 (bz 1943044)
* Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 0.1-8
  - OCaml 4.12.0 build
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.1-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1-6
  - OCaml 4.11.1 rebuild
* Sat Aug 22 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1-5
  - Bump and rebuild
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1-4
  - OCaml 4.11.0 rebuild
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.1-3
  - Second attempt - Rebuilt for
    https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Files

/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/49
/usr/lib/.build-id/49/10ca62e8d3f1ceafd34a879701b78e82af5ffa
/usr/lib/.build-id/6f
/usr/lib/.build-id/6f/c1091ab417e5d8ac5798996c7f260437b2d877
/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 Apr 9 20:33:48 2024