معرفی شرکت ها

ocaml-psmt2-frontend-devel-0.4.0-5.fc37.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 37
مخزن Fedora Everything x86_64
نام بسته ocaml-psmt2-frontend-devel
نام فایل بسته ocaml-psmt2-frontend-devel-0.4.0-5.fc37.x86_64.rpm
نسخه بسته 0.4.0
انتشار بسته 5.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Fri 22 Jul 2022 06
هاست سازنده buildhw-x86-12.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/OCamlPro-Coquera/psmt2-frontend
مجوز ASL 2.0
حجم دانلود 1.8M
حجم نصب 7.646M
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-5.fc37.aarch64.rpm 0.4.0 aarch64 Fedora Everything
ocaml-psmt2-frontend-devel-0.4.0-5.fc37.i686.rpm 0.4.0 i686 Fedora Everything


نیازمندی

مقدار نام
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= 606c3212e2cdca58a7413943d1c1f655 ocaml(Psmt2Frontend)
= f2a7d3b1791e22532e11aab66897b80e ocaml(Psmt2Frontend__Options)
= 9db40cf067a5f5dfaee657fa78b512c2 ocaml(Psmt2Frontend__Smtlib_error)
= e81464008f8a2258172e55589846de9e ocaml(Psmt2Frontend__Smtlib_parser)
= be9f1a8a628fcb7f7a036510514a2463 ocaml(Psmt2Frontend__Smtlib_printer)
= cb4c1e026844f8e78cd5146035b5774a ocaml(Psmt2Frontend__Smtlib_syntax)
= 8661f17d2610dfba82827494bde6d5dd ocaml(Psmt2Frontend__Smtlib_ty)
= 990dd6593a57a6587922a1820ed67a83 ocaml(Psmt2Frontend__Smtlib_typed_env)
= 812b13d1c32c68cbda2225da8fe9f724 ocaml(Psmt2Frontend__Smtlib_typed_logic)
= 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Format)
= 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Hashtbl)
= c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__Lexing)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Map)
= bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Printf)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 30ae8c258e7fc6fb7e6370a60256d724 ocaml(Stdlib__Stack)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 0.4.0-5.fc37 ocaml-psmt2-frontend(x86-64)
= 513af3a5a93264c1613ac58e9aa28b7e ocamlx(Psmt2Frontend__Options)
= 012bc5b98a5877c9dd8fcc256ae90d2f ocamlx(Psmt2Frontend__Smtlib_error)
= a27a845a8ac0df36ee5c2d227b4f5169 ocamlx(Psmt2Frontend__Smtlib_printer)
= 7ab97ef699fb1c8a95bb9c0a6c6ba5b6 ocamlx(Psmt2Frontend__Smtlib_ty)
= 164952a1071868fc126c13e7efe55db2 ocamlx(Psmt2Frontend__Smtlib_typed_env)
= 73b2b4167f24d244cba531e8f5e0fab8 ocamlx(Psmt2Frontend__Smtlib_typed_logic)
= 38e227ea48015bcdfb5d9a4f1cb2689a ocamlx(Stdlib)
= 252dee0ca8b365189f2ed175e3779e3c ocamlx(Stdlib__Format)
= ffa6c0b4e31fbd58c5b0b7fda03f991f ocamlx(Stdlib__Hashtbl)
= b92bcde89c2e887e267fc7f0ad189ee9 ocamlx(Stdlib__Lexing)
= 55527cfeed14dbd1464fa9bc64111883 ocamlx(Stdlib__List)
= f184f9d40bdaddd2e3d8a36b51d5f55f ocamlx(Stdlib__Map)
= b5325f43d38afc618da7b0fb873c7faa ocamlx(Stdlib__Printf)
= adbb9467e55324452b66f5e80904fd00 ocamlx(Stdlib__Stack)
= 650b799d3032d2e3c133eae0b21c0f95 ocamlx(Stdlib__String)


ارائه دهنده

مقدار نام
= 606c3212e2cdca58a7413943d1c1f655 ocaml(Psmt2Frontend)
= 60842ca3bb592935244eccbbac561a22 ocaml(Psmt2Frontend__Main)
= f2a7d3b1791e22532e11aab66897b80e ocaml(Psmt2Frontend__Options)
= 9db40cf067a5f5dfaee657fa78b512c2 ocaml(Psmt2Frontend__Smtlib_error)
= 9e85d1060c958e8d001eb03bca8f6a88 ocaml(Psmt2Frontend__Smtlib_lexer)
= e81464008f8a2258172e55589846de9e ocaml(Psmt2Frontend__Smtlib_parser)
= be9f1a8a628fcb7f7a036510514a2463 ocaml(Psmt2Frontend__Smtlib_printer)
= cb4c1e026844f8e78cd5146035b5774a ocaml(Psmt2Frontend__Smtlib_syntax)
= 8661f17d2610dfba82827494bde6d5dd ocaml(Psmt2Frontend__Smtlib_ty)
= 990dd6593a57a6587922a1820ed67a83 ocaml(Psmt2Frontend__Smtlib_typed_env)
= 812b13d1c32c68cbda2225da8fe9f724 ocaml(Psmt2Frontend__Smtlib_typed_logic)
= ac4488d3b0b57c9b3b554ec5407ec195 ocaml(Psmt2Frontend__Smtlib_typing)
= 205181e6576f0c849c151e17320752d3 ocaml(Psmt2Frontend__Version)
= 0.4.0-5.fc37 ocaml-psmt2-frontend-devel
= 0.4.0-5.fc37 ocaml-psmt2-frontend-devel(x86-64)
= 055901d7a0bbe5867904e04dff73e5ec ocamlx(Psmt2Frontend)
= 80e6409175f02d8ce82f52ba060c19df ocamlx(Psmt2Frontend__Main)
= 513af3a5a93264c1613ac58e9aa28b7e ocamlx(Psmt2Frontend__Options)
= 012bc5b98a5877c9dd8fcc256ae90d2f ocamlx(Psmt2Frontend__Smtlib_error)
= 5fd3a84b9ad771389b570acae07557ec ocamlx(Psmt2Frontend__Smtlib_lexer)
= 77feddaa5233c127823fcae56a63ef90 ocamlx(Psmt2Frontend__Smtlib_parser)
= a27a845a8ac0df36ee5c2d227b4f5169 ocamlx(Psmt2Frontend__Smtlib_printer)
= fca3b632fdf78d2f818574c0299eb026 ocamlx(Psmt2Frontend__Smtlib_syntax)
= 7ab97ef699fb1c8a95bb9c0a6c6ba5b6 ocamlx(Psmt2Frontend__Smtlib_ty)
= 164952a1071868fc126c13e7efe55db2 ocamlx(Psmt2Frontend__Smtlib_typed_env)
= 73b2b4167f24d244cba531e8f5e0fab8 ocamlx(Psmt2Frontend__Smtlib_typed_logic)
= a37dc6a89ef3ad08dba6f52b484b3133 ocamlx(Psmt2Frontend__Smtlib_typing)
= 95a1571e7a9d321467e97a32bd209abf ocamlx(Psmt2Frontend__Version)


نحوه نصب


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

    dnf install ocaml-psmt2-frontend-devel-0.4.0-5.fc37.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


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

تاریخ آخرین تغییر جزئیات
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

2021-07-19

Move META to the main package

2021-03-29

Add -autoconf patch for autoconf 2.71 (bz 1943044)

2021-03-02

OCaml 4.12.0 build

2021-01-26

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

2020-09-01

OCaml 4.11.1 rebuild

2020-08-22

Bump and rebuild

2020-08-21

OCaml 4.11.0 rebuild

2020-08-01

Second attempt - Rebuilt for