معرفی شرکت ها
ocaml-z3-devel-4.11.2-2.fc37.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Fedora 37 |
مخزن | Fedora Everything aarch64 |
نام بسته | ocaml-z3-devel |
نام فایل بسته | ocaml-z3-devel-4.11.2-2.fc37.aarch64.rpm |
نسخه بسته | 4.11.2 |
انتشار بسته | 2.fc37 |
معماری بسته | aarch64 |
نگهدارنده | - |
تاریخ ساخت | Mon 09 Jan 2023 07 |
هاست سازنده | buildvm-a64-09.iad2.fedoraproject.org |
نوع بسته | .rpm |
آدرس صفحه اصلی | https://github.com/Z3Prover/z3 |
مجوز | MIT |
حجم دانلود | 247K |
حجم نصب | 1.891M |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
ocaml-z3-devel-4.11.2-1.fc37.aarch64.rpm | 4.11.2 | aarch64 | Fedora Everything |
ocaml-z3-devel-4.11.2-1.fc37.i686.rpm | 4.11.2 | i686 | Fedora Everything |
ocaml-z3-devel-4.11.2-1.fc37.x86_64.rpm | 4.11.2 | x86_64 | Fedora Everything |
ocaml-z3-devel-4.11.2-2.fc37.i686.rpm | 4.11.2 | i686 | Fedora Everything |
ocaml-z3-devel-4.11.2-2.fc37.x86_64.rpm | 4.11.2 | x86_64 | Fedora Everything |
نیازمندی
مقدار | نام |
---|---|
= 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
= 2004005091bc8a61fe26ab15e0fb28e4 | ocaml(CamlinternalMod) |
= 95ed12df5d619f4cf43c3f5256a0f97b | ocaml(Q) |
= 6d7bf11af14ea68354925f3a37387930 | ocaml(Stdlib) |
= 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
= fe29a598e1902f0b901e88a9865c26ef | ocaml(Stdlib__Callback) |
= 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
= b6edb97b685819e873481fe05723c8bc | ocaml(Stdlib__Format) |
= 34c0fdd524bf2a75e4d5af64a6d34401 | ocaml(Stdlib__Hashtbl) |
= a71ea5238030770647165f659f80b1ab | ocaml(Stdlib__Int32) |
= ee222542f6f8195441543b8b399b64b9 | ocaml(Stdlib__List) |
= 25794d29f7f4018768ea900e331a2bf3 | ocaml(Stdlib__Obj) |
= b63511032211eae4b567ba313cd72962 | ocaml(Stdlib__Seq) |
= c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
= a71ac4a535434978287848841376388e | ocaml(Z) |
= 8402afd1e6114bf7e1f73563c4189f5b | ocaml(Z3enums) |
= e2fc31658933c768ddac115f7a54ecbd | ocaml(Z3native) |
= 4.11.2-2.fc37 | ocaml-z3(aarch-64) |
- | ocaml-zarith-devel(aarch-64) |
= b1cf5908bd32decae56ba9dbb3154081 | ocamlx(CamlinternalMod) |
= a713b639811e122e801cef65d324234e | ocamlx(Q) |
= 38e227ea48015bcdfb5d9a4f1cb2689a | ocamlx(Stdlib) |
= 4071c8a0c213a3d90f3894ee1507cbf1 | ocamlx(Stdlib__Callback) |
= ffa6c0b4e31fbd58c5b0b7fda03f991f | ocamlx(Stdlib__Hashtbl) |
= 55527cfeed14dbd1464fa9bc64111883 | ocamlx(Stdlib__List) |
= e7f7461dc7287f7895b00fdb33dca6df | ocamlx(Z) |
= c76ea19e91679e99725a36ef26c0bf68 | ocamlx(Z3enums) |
= 93ed9350c20e3919fdfbf50714689d52 | ocamlx(Z3native) |
ارائه دهنده
مقدار | نام |
---|---|
= f2b7f97794688e1f3b0161719aebf5fc | ocaml(Z3) |
= 8402afd1e6114bf7e1f73563c4189f5b | ocaml(Z3enums) |
= e2fc31658933c768ddac115f7a54ecbd | ocaml(Z3native) |
= 4.11.2-2.fc37 | ocaml-z3-devel |
= 4.11.2-2.fc37 | ocaml-z3-devel(aarch-64) |
= 31283a3c3e4e96b15497eeb9c95b6f78 | ocamlx(Z3) |
= c76ea19e91679e99725a36ef26c0bf68 | ocamlx(Z3enums) |
= 93ed9350c20e3919fdfbf50714689d52 | ocamlx(Z3native) |
نحوه نصب
نصب پکیج rpm ocaml-z3-devel:
dnf install ocaml-z3-devel-4.11.2-2.fc37.aarch64.rpm
فایل ها
مسیرها |
---|
/usr/lib64/ocaml/Z3/libz3ml.a |
/usr/lib64/ocaml/Z3/z3.cmx |
/usr/lib64/ocaml/Z3/z3.mli |
/usr/lib64/ocaml/Z3/z3enums.cmx |
/usr/lib64/ocaml/Z3/z3enums.mli |
/usr/lib64/ocaml/Z3/z3ml.a |
/usr/lib64/ocaml/Z3/z3ml.cmxa |
/usr/lib64/ocaml/Z3/z3native.cmx |
گزارش تغییرات
تاریخ آخرین تغییر | جزئیات |
---|---|
2023-01-08 |
Add -data-race patch to fix segfault (bz 2157972)
|
2022-12-14 |
Further clarify license of the doc subpackage (SPDX)
|
2022-09-04 |
Version 4.11.2
|
2022-08-19 |
Version 4.11.0
|
2022-08-08 |
Version 4.10.2
|
2022-07-23 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
2022-06-28 |
Do not support Java on i686 (rhbz#2104112)
|
2022-06-20 |
Rebuilt for Python 3.11
|
2022-06-18 |
OCaml 4.14.0 rebuild
|
2022-06-13 |
Rebuilt for Python 3.11
|
2022-05-16 |
Version 4.8.17
|
2022-03-24 |
Add -ambiguous-overload patch to fix cppcheck build failure
|
2022-03-21 |
Version 4.8.15
|
2022-02-05 |
Rebuilt for java-17-openjdk as system jdk
|
2022-02-04 |
OCaml 4.13.1 rebuild to remove package notes
|
2022-01-22 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|