ocaml-psmt2-frontend-devel-0.4.0-2.mga9 RPM for armv7hl

From Mageia Cauldron for armv7hl / media / core / release

The ocaml-psmt2-frontend-devel package contains libraries and signature
files for developing applications that use ocaml-psmt2-frontend.

Provides

• ocaml-psmt2-frontend-devel
• 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-devel(armv7hl-32)
• ocamlx(Psmt2Frontend)
• ocamlx(Psmt2Frontend__Main)
• ocamlx(Psmt2Frontend__Options)
• ocamlx(Psmt2Frontend__Smtlib_error)
• ocamlx(Psmt2Frontend__Smtlib_lexer)
• ocamlx(Psmt2Frontend__Smtlib_parser)
• ocamlx(Psmt2Frontend__Smtlib_printer)
• ocamlx(Psmt2Frontend__Smtlib_syntax)
• ocamlx(Psmt2Frontend__Smtlib_ty)
• ocamlx(Psmt2Frontend__Smtlib_typed_env)
• ocamlx(Psmt2Frontend__Smtlib_typed_logic)
• ocamlx(Psmt2Frontend__Smtlib_typing)
• ocamlx(Psmt2Frontend__Version)

Requires

• 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
• ocaml-psmt2-frontend(armv7hl-32) = 0.4.0-2.mga9
• ocamlx(Psmt2Frontend__Options) = 6941ff08f7177bc466cc9db93b59f174
• ocamlx(Psmt2Frontend__Smtlib_error) = 04f5eeab4378e880a9a2043ef8cae101
• ocamlx(Psmt2Frontend__Smtlib_printer) = bf0f8d7acb929cbcb73d8bf8c0bb07f6
• ocamlx(Psmt2Frontend__Smtlib_ty) = b1a2ab7ec7414a55219329cff860405a
• ocamlx(Psmt2Frontend__Smtlib_typed_env) = 50a11ab65cec0bd93d2c592019b573e6
• ocamlx(Psmt2Frontend__Smtlib_typed_logic) = a5088c5d0c81c696c136b43d96fd2603
• ocamlx(Stdlib) = 9368a49701ad6a803837a9aaf468fe80
• ocamlx(Stdlib__Format) = 8ba5b9e3b3bfabb5929dfe90482b41db
• ocamlx(Stdlib__Hashtbl) = 7dff02d0d5ab6e7d6237bd74abfef18b
• ocamlx(Stdlib__Lexing) = 7d6dc7b02e62f273aa77d31c6c615bbd
• ocamlx(Stdlib__List) = f0cf7c8d9e283437a5a02833ca0a0372
• ocamlx(Stdlib__Map) = 277b49ce22e483255a180be645aa188c
• ocamlx(Stdlib__Printf) = d36b890ed8aa366d74aafd55046762a6
• ocamlx(Stdlib__Stack) = 277a32ce0d4fcca949e2dd1955f11421
• ocamlx(Stdlib__String) = 562243d8e750754ba5796bf79e659d72
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

ASL 2.0

Changelog

* Tue Mar 07 2023 kekepower <kekepower> 0.4.0-2.mga9
  + Revision: 1948331
  - Add a GitHub PR to fix a trivial typo
* Mon Mar 06 2023 kekepower <kekepower> 0.4.0-1.mga9
  + Revision: 1947902
  - Update to version 0.4.0
* Wed May 18 2022 pterjan <pterjan> 0.1-14.mga9
  + Revision: 1858775
  - Rebuild for OCaml 4.14
* Tue Mar 29 2022 umeabot <umeabot> 0.1-13.mga9
  + Revision: 1833132
  - Mageia 9 Mass Rebuild
* Wed Oct 13 2021 tv <tv> 0.1-12.mga9
  + Revision: 1751011
  - Move META to the main package
  - Add -autoconf patch for autoconf 2.71

Files

/usr/lib/ocaml/psmt2-frontend/dune-package
/usr/lib/ocaml/psmt2-frontend/main.ml
/usr/lib/ocaml/psmt2-frontend/opam
/usr/lib/ocaml/psmt2-frontend/options.mli
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.a
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.ml
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx
/usr/lib/ocaml/psmt2-frontend/smtlib_error.ml
/usr/lib/ocaml/psmt2-frontend/smtlib_lexer.ml
/usr/lib/ocaml/psmt2-frontend/smtlib_parser.mli
/usr/lib/ocaml/psmt2-frontend/smtlib_printer.ml
/usr/lib/ocaml/psmt2-frontend/smtlib_syntax.ml
/usr/lib/ocaml/psmt2-frontend/smtlib_ty.ml
/usr/lib/ocaml/psmt2-frontend/smtlib_typed_env.ml
/usr/lib/ocaml/psmt2-frontend/smtlib_typed_logic.ml
/usr/lib/ocaml/psmt2-frontend/smtlib_typing.ml
/usr/lib/ocaml/psmt2-frontend/version.mli
/usr/lib/ocaml/psmt2-frontend_bin/dune-package
/usr/lib/ocaml/psmt2-frontend_bin/opam

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Dec 22 08:50:13 2024