معرفی شرکت ها
z3-4.5.0-alt2.i586.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p9 |
| مخزن | ALTLinux classic i586 |
| نام بسته | z3 |
| نام فایل بسته | z3-4.5.0-alt2.i586.rpm |
| نسخه بسته | 4.5.0 |
| انتشار بسته | alt2 |
| معماری بسته | i586 |
| نگهدارنده | - |
| تاریخ ساخت | Tue 23 Apr 2019 10 |
| هاست سازنده | grenka-sisyphus.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://github.com/Z3Prover/z3 |
| مجوز | MIT |
| حجم دانلود | 5.9M |
| حجم نصب | 18.525M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| z3-4.5.0-alt2.ppc64le.rpm | 4.5.0 | ppc64le | ALT classic |
| z3-4.5.0-alt2.x86_64.rpm | 4.5.0 | x86_64 | ALT classic |
نیازمندی
| مقدار | نام |
|---|---|
| - | /lib/ld-linux.so.2 |
| - | libc.so.6(GLIBC_2.0) |
| - | libc.so.6(GLIBC_2.1) |
| - | libc.so.6(GLIBC_2.1.3) |
| - | libc.so.6(GLIBC_2.2) |
| - | libc.so.6(GLIBC_2.3.4) |
| - | libc.so.6(GLIBC_2.4) |
| - | libgcc_s.so.1(GCC_3.0) |
| - | libgcc_s.so.1(GCC_3.4) |
| - | libgcc_s.so.1(GCC_7.0.0) |
| - | libgcc_s.so.1(GLIBC_2.0) |
| - | libm.so.6(GLIBC_2.0) |
| - | libm.so.6(GLIBC_2.1) |
| - | libpthread.so.0(GLIBC_2.0) |
| - | libpthread.so.0(GLIBC_2.1) |
| - | libpthread.so.0(GLIBC_2.3.2) |
| - | librt.so.1(GLIBC_2.2) |
| - | libstdc++.so.6(CXXABI_1.3) |
| - | libstdc++.so.6(CXXABI_1.3.1) |
| - | libstdc++.so.6(CXXABI_1.3.8) |
| - | libstdc++.so.6(CXXABI_1.3.9) |
| - | libstdc++.so.6(GLIBCXX_3.4) |
| - | libstdc++.so.6(GLIBCXX_3.4.11) |
| - | libstdc++.so.6(GLIBCXX_3.4.15) |
| - | libstdc++.so.6(GLIBCXX_3.4.20) |
| - | libstdc++.so.6(GLIBCXX_3.4.21) |
| - | libstdc++.so.6(GLIBCXX_3.4.9) |
| - | rtld(GNU_HASH) |
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 4.5.0-alt2:sisyphus+227564.2100.1.2 | z3 |
نحوه نصب
نصب پکیج rpm z3:
sudo apt-get install z3-4.5.0-alt2.i586.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/z3 |
| /usr/share/doc/z3-4.5.0 |
| /usr/share/doc/z3-4.5.0/CMakeLists.txt |
| /usr/share/doc/z3-4.5.0/LICENSE.txt |
| /usr/share/doc/z3-4.5.0/RELEASE_NOTES |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|