معرفی شرکت ها
ocaml-z3-4.12.2-1.fc38.i686.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything i686 |
| نام بسته | ocaml-z3 |
| نام فایل بسته | ocaml-z3-4.12.2-1.fc38.i686.rpm |
| نسخه بسته | 4.12.2 |
| انتشار بسته | 1.fc38 |
| معماری بسته | i686 |
| نگهدارنده | - |
| تاریخ ساخت | Mon 15 May 2023 07 |
| هاست سازنده | buildvm-x86-04.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://github.com/Z3Prover/z3 |
| مجوز | MIT |
| حجم دانلود | 616K |
| حجم نصب | 2.558M |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| - | libc.so.6 |
| - | libc.so.6(GLIBC_2.0) |
| - | libc.so.6(GLIBC_2.1.3) |
| - | libc.so.6(GLIBC_2.4) |
| - | libz3.so.4.12 |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 2004005091bc8a61fe26ab15e0fb28e4 | ocaml(CamlinternalMod) |
| = 95ed12df5d619f4cf43c3f5256a0f97b | ocaml(Q) |
| = 79b0e9d3b6f7fed07eb3cc2abb961b91 | 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) |
| = 28358664441acf3cbe6097664b6dd3e1 | ocaml(Z3native) |
| - | rtld(GNU_HASH) |
| = 4.12.2-1.fc38 | z3-libs(x86-32) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 441ffc18d00260df3d51859e8a55ac95 | ocaml(Z3) |
| = 8402afd1e6114bf7e1f73563c4189f5b | ocaml(Z3enums) |
| = 28358664441acf3cbe6097664b6dd3e1 | ocaml(Z3native) |
| = 4.12.2-1.fc38 | ocaml-z3 |
| = 4.12.2-1.fc38 | ocaml-z3(x86-32) |
نحوه نصب
نصب پکیج rpm ocaml-z3:
dnf install ocaml-z3-4.12.2-1.fc38.i686.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/8e |
| /usr/lib/.build-id/8e/d79c73d8056bac2010bfc49377d682382ed14c |
| /usr/lib/.build-id/b0 |
| /usr/lib/.build-id/b0/f6cfb9a66c224129cee0bab020150be314a23a |
| /usr/lib/ocaml/Z3 |
| /usr/lib/ocaml/Z3/META |
| /usr/lib/ocaml/Z3/z3.cmi |
| /usr/lib/ocaml/Z3/z3enums.cmi |
| /usr/lib/ocaml/Z3/z3ml.cma |
| /usr/lib/ocaml/Z3/z3ml.cmxs |
| /usr/lib/ocaml/Z3/z3native.cmi |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-05-15 |
Version 4.12.2
|
| 2023-01-24 |
Rebuild OCaml packages for F38
|
| 2023-01-21 |
Version 4.12.1
|
| 2023-01-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2023-01-17 |
Version 4.12.0
|
| 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
|