معرفی شرکت ها

ocaml-psmt2-frontend-devel-0.4.0-11.fc39.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Development files for ocaml-psmt2-frontend
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته ocaml-psmt2-frontend-devel
نام فایل بسته ocaml-psmt2-frontend-devel-0.4.0-11.fc39.x86_64.rpm
نسخه بسته 0.4.0
انتشار بسته 11.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Thu Jul 20 21
هاست سازنده buildvm-x86-09.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/ACoquereau/psmt2-frontend
مجوز Apache-2.0
حجم دانلود 2.0M
حجم نصب 7.667M
The ocaml-psmt2-frontend-devel package contains libraries and signature files for developing applications that use ocaml-psmt2-frontend.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-psmt2-frontend-devel-0.4.0-11.fc39.aarch64.rpm 0.4.0 aarch64 Fedora Everything


نیازمندی

مقدار نام
= cecfafd5c021473f5e358c96ac7502a0 ocaml(CamlinternalFormatBasics)
= 0ab297b4b0711d656b172837abc11452 ocaml(Psmt2Frontend)
= 7d7b72ebf84d4dfb4b996c96b0470e12 ocaml(Psmt2Frontend__Options)
= 6407385f4f368d53d5952fb397f6bdc9 ocaml(Psmt2Frontend__Smtlib_error)
= 619f7f44689c46a50ea4a85165254816 ocaml(Psmt2Frontend__Smtlib_parser)
= 7e02e0c6fdac48d01c2b776f19230214 ocaml(Psmt2Frontend__Smtlib_printer)
= 0b284fa3ea9ca81f3b4cf1ee462140ca ocaml(Psmt2Frontend__Smtlib_syntax)
= 20caf42ce0d1a3851b588ef379a1ab63 ocaml(Psmt2Frontend__Smtlib_ty)
= b9e48d85d7b8701d0b500d9801f7e034 ocaml(Psmt2Frontend__Smtlib_typed_env)
= 8d3adeaee5bdfe5a90a5f72d22b20543 ocaml(Psmt2Frontend__Smtlib_typed_logic)
= 85f85ddb47edc0c7579657eee740302d ocaml(Stdlib)
= 12b944b4b2913751cd65bdc638975d4d ocaml(Stdlib__Buffer)
= 0d152be3cd9163970a657d842fca8ecf ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808 ocaml(Stdlib__Either)
= e7385010d0d6a0bbd4191bc7546d458a ocaml(Stdlib__Format)
= bafdecabd3fce4f5ccc09a1a5587dab4 ocaml(Stdlib__Hashtbl)
= be62854f0fbcd8531fe531cd00e34821 ocaml(Stdlib__Lexing)
= feb7c568830f9f239501efb83f4725e4 ocaml(Stdlib__List)
= 71415964978d1cf0c1701af1137aa1ea ocaml(Stdlib__Map)
= 8debea255efc834da5c1bc2e73f09214 ocaml(Stdlib__Printf)
= cc3f899885b746f777815dc93be7ede2 ocaml(Stdlib__Seq)
= 2c058a31c4619e2e1504072ca87f6bee ocaml(Stdlib__Stack)
= facad7e0dada5941148738b8188d844f ocaml(Stdlib__String)
= 9ea864085095970c73b7b17c26c37317 ocaml(Stdlib__Uchar)
= 0.4.0-11.fc39 ocaml-psmt2-frontend(x86-64)
= 58f88a5a5c64196bd9b440558fffce16 ocamlx(CamlinternalFormat)
= 508afbc2d7b88a1f116d24afde45ea54 ocamlx(Psmt2Frontend__Options)
= 504cd0675ba902cb4b8d83a1e0efa689 ocamlx(Psmt2Frontend__Smtlib_error)
= c9897e5a83108714426572b4626d5c60 ocamlx(Psmt2Frontend__Smtlib_printer)
= 989ae94135ac7cc55ca71cec0acf4ee5 ocamlx(Psmt2Frontend__Smtlib_ty)
= b1c8a1c1e88b12debf16cc911a04e9ea ocamlx(Psmt2Frontend__Smtlib_typed_env)
= ba55df21113e64f99bf58539c23b786d ocamlx(Psmt2Frontend__Smtlib_typed_logic)
= c6f226e44d674edd1d531948ff863828 ocamlx(Stdlib)
= cb1095d933ce955029ed699727baead0 ocamlx(Stdlib__Bytes)
= d7f8796322f2cd99efcf341f8e42acf4 ocamlx(Stdlib__Domain)
= c94bb08665553c56dece8353dbff3b32 ocamlx(Stdlib__Format)
= acdc6437bcb9e7a81c6ed8660e82b471 ocamlx(Stdlib__Hashtbl)
= 76289d92733d00a1d4c106dfb93c8ac7 ocamlx(Stdlib__Lexing)
= b78ab95aebcef67de9b99ec053edb534 ocamlx(Stdlib__List)
= 7b1e4df07736a72638c021a5a9ffbccd ocamlx(Stdlib__Map)
= 662e9ca31ecdf5f11c9788ed827feb11 ocamlx(Stdlib__Printf)
= 2617b12d0fefbf237d757668e0688155 ocamlx(Stdlib__Random)
= 018afd60df09186eaef4d0d459f62321 ocamlx(Stdlib__Stack)
= ff814de8355985ea0e450e0986a59446 ocamlx(Stdlib__String)


ارائه دهنده

مقدار نام
= 0ab297b4b0711d656b172837abc11452 ocaml(Psmt2Frontend)
= 1df80f076f8dcce51b15e875118b66e4 ocaml(Psmt2Frontend__Main)
= 7d7b72ebf84d4dfb4b996c96b0470e12 ocaml(Psmt2Frontend__Options)
= 6407385f4f368d53d5952fb397f6bdc9 ocaml(Psmt2Frontend__Smtlib_error)
= ab6f103813f24b0d53de46e596a24115 ocaml(Psmt2Frontend__Smtlib_lexer)
= 619f7f44689c46a50ea4a85165254816 ocaml(Psmt2Frontend__Smtlib_parser)
= 7e02e0c6fdac48d01c2b776f19230214 ocaml(Psmt2Frontend__Smtlib_printer)
= 0b284fa3ea9ca81f3b4cf1ee462140ca ocaml(Psmt2Frontend__Smtlib_syntax)
= 20caf42ce0d1a3851b588ef379a1ab63 ocaml(Psmt2Frontend__Smtlib_ty)
= b9e48d85d7b8701d0b500d9801f7e034 ocaml(Psmt2Frontend__Smtlib_typed_env)
= 8d3adeaee5bdfe5a90a5f72d22b20543 ocaml(Psmt2Frontend__Smtlib_typed_logic)
= 921f93d86adbb76e2967e183923fc867 ocaml(Psmt2Frontend__Smtlib_typing)
= 7b2e2c10cc5024d46421358ff57c031a ocaml(Psmt2Frontend__Version)
= 0.4.0-11.fc39 ocaml-psmt2-frontend-devel
= 0.4.0-11.fc39 ocaml-psmt2-frontend-devel(x86-64)
= 92c7155429f0fcce24799ededf3b091c ocamlx(Psmt2Frontend)
= f45fd8769b67de331e5b04181e303d36 ocamlx(Psmt2Frontend__Main)
= 508afbc2d7b88a1f116d24afde45ea54 ocamlx(Psmt2Frontend__Options)
= 504cd0675ba902cb4b8d83a1e0efa689 ocamlx(Psmt2Frontend__Smtlib_error)
= ad5e63a6a956dad04a5a3e141c6ac489 ocamlx(Psmt2Frontend__Smtlib_lexer)
= b618a1f9cc85245b1e4b8c1ab8ed9c7c ocamlx(Psmt2Frontend__Smtlib_parser)
= c9897e5a83108714426572b4626d5c60 ocamlx(Psmt2Frontend__Smtlib_printer)
= 9be50e644c52bc4c8759bd40e1219292 ocamlx(Psmt2Frontend__Smtlib_syntax)
= 989ae94135ac7cc55ca71cec0acf4ee5 ocamlx(Psmt2Frontend__Smtlib_ty)
= b1c8a1c1e88b12debf16cc911a04e9ea ocamlx(Psmt2Frontend__Smtlib_typed_env)
= ba55df21113e64f99bf58539c23b786d ocamlx(Psmt2Frontend__Smtlib_typed_logic)
= ddaf5025e85252c6e9620972c0130550 ocamlx(Psmt2Frontend__Smtlib_typing)
= 0cde7e68d47a688b3fbc56f488de7da8 ocamlx(Psmt2Frontend__Version)


نحوه نصب


نصب پکیج rpm ocaml-psmt2-frontend-devel:

    dnf install ocaml-psmt2-frontend-devel-0.4.0-11.fc39.x86_64.rpm


فایل ها

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


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

2023-07-12

OCaml 5.0 rebuild for Fedora 39

2023-07-10

OCaml 5.0.0 rebuild

2023-03-21

Add patch for Sphinx 6.x compatibility (rhbz#2180496)

2023-01-24

Rebuild OCaml packages for F38

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-12-12

New URL
Convert License tag to SPDX

2022-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-21

Use new OCaml macros

2022-06-19

OCaml 4.14.0 rebuild

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-12-27

Version 0.4.0
Drop obsolete -autoconf patch
Add %check script
Add -docs subpackage

2021-10-05

OCaml 4.13.1 build

2021-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild