معرفی شرکت ها
libz3-devel-4.8.8-alt1.ppc64le.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p10 |
| مخزن | ALTLinux classic ppc64le |
| نام بسته | libz3-devel |
| نام فایل بسته | libz3-devel-4.8.8-alt1.ppc64le.rpm |
| نسخه بسته | 4.8.8 |
| انتشار بسته | alt1 |
| معماری بسته | ppc64le |
| نگهدارنده | - |
| تاریخ ساخت | Fri 10 Jul 2020 12 |
| هاست سازنده | darktemplar-sisyphus.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://github.com/Z3Prover/z3 |
| مجوز | MIT |
| حجم دانلود | 71K |
| حجم نصب | 479.647K |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libz3-devel-4.8.8-alt1.x86_64.rpm | 4.8.8 | x86_64 | ALT classic |
| libz3-devel-docs-4.8.8-alt1.noarch.rpm | 4.8.8 | noarch | ALT classic |
نیازمندی
| مقدار | نام |
|---|---|
| = 4.8.8-alt1:sisyphus+254751.100.1.1 | libz3 |
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 4.8.8-alt1:sisyphus+254751.100.1.1 | libz3-devel |
نحوه نصب
نصب پکیج rpm libz3-devel:
sudo apt-get install libz3-devel-4.8.8-alt1.ppc64le.rpm
فایل ها
| مسیرها |
|---|
| /usr/include/z3++.h |
| /usr/include/z3.h |
| /usr/include/z3_algebraic.h |
| /usr/include/z3_api.h |
| /usr/include/z3_ast_containers.h |
| /usr/include/z3_fixedpoint.h |
| /usr/include/z3_fpa.h |
| /usr/include/z3_macros.h |
| /usr/include/z3_optimization.h |
| /usr/include/z3_polynomial.h |
| /usr/include/z3_rcf.h |
| /usr/include/z3_spacer.h |
| /usr/include/z3_v1.h |
| /usr/include/z3_version.h |
| /usr/lib64/cmake/z3 |
| /usr/lib64/cmake/z3/Z3Config.cmake |
| /usr/lib64/cmake/z3/Z3ConfigVersion.cmake |
| /usr/lib64/cmake/z3/Z3Targets-relwithdebinfo.cmake |
| /usr/lib64/cmake/z3/Z3Targets.cmake |
| /usr/lib64/libz3.so |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2020-07-10 |
Updated to upstream version 4.8.8.
|
| 2020-04-02 |
Updated to upstream version 4.8.7.
|
| 2018-07-27 |
Updated build dependencies.
|
| 2018-03-26 |
(NMU) Rebuilt with python-3.6.4.
|
| 2017-10-09 |
Updated to upstream version 4.5.0.
|
| 2016-05-24 |
(AUTO) subst_x86_64.
|
| 2016-03-17 |
(NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
|
| 2015-03-17 |
Initial build for Sisyphus
|