معرفی شرکت ها
libz3-4.5.0-alt2.i586.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | ALT p9 |
مخزن | ALTLinux classic i586 |
نام بسته | libz3 |
نام فایل بسته | libz3-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.8M |
حجم نصب | 18.499M |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
libz3-4.5.0-alt2.ppc64le.rpm | 4.5.0 | ppc64le | ALT classic |
libz3-4.5.0-alt2.x86_64.rpm | 4.5.0 | x86_64 | ALT classic |
libz3-devel-4.5.0-alt2.noarch.rpm | 4.5.0 | noarch | ALT classic |
libz3-devel-docs-4.5.0-alt2.noarch.rpm | 4.5.0 | noarch | ALT classic |
نیازمندی
مقدار | نام |
---|---|
- | libc.so.6(GLIBC_2.0) |
- | 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) |
ارائه دهنده
مقدار | نام |
---|---|
= set:ndOPTIGJM2CoxacXapoCuZ0iKftod6aEbCcPzP9Gp9TLwsJKKiQOdmItBwKGzOUFPCcN6jbyfG3DI4hZ2vpAWz9az643xoC8NgMKu6S04Ax6k9xv9lNTAYX3JI7xsm90GDVfyQSkOZxBASZbEa9PA8xjEJF5hhEzuxZ0MHsRx75nppoEhw3dXmrURaN5XX2EIcWPUO1DhietcQKZhD6M6EH1M1LwZ75DlOwZHMKpQHkVRh0t5rwhggwXXjrLBgJiFnz0fAaCLilrV1pOq4bZaQZ4bdtOq9tSc9ZiUAtQCckDhe0zXih9nZcl5pwcMNTJcZCErDwfqbeD7cPmN4QAWGZgwVgbmQQyOf0SyFftZ5OXw6SlwHorcZ8OeCCJ9I9g9h58XBTm3H9LunacayVlCLTUHdZiUXRRszFRQQZhXkRkStZgLCrvst6IbEZBJyKJpeZ18vM74gnXD8EIm8wF6icaYZ3nRzUC6DiUD6BmXHV1iV2uYKPvfIBjAKYP7EC2fYZcR2uEtBjzU85FtRZnU894agZh06WxeOtKxoXhuQ6QpfqYenRoqMc4eekOK8sbI6uhgQh70UkgfHdKtYZxkROgttga3CaNoJaSfZxYdgpZiuXy5Ue0vE4jZsZ4kZq9wzZwbXAz17HJAtVGuRZHw57rxlll2llNA1NwZAEVvDDsZDggUG1Z2WXMJoCE5k6PfG5MZn8LeHFZnd1g10q6hAikYjFnAGOzhtyKjrjWzhZ3m7LDiqBiYo30An8aAzQzGqsevmzZGoZecGvgwkCSHcOrhkekOLACdRj0a6yvjUAmZwEJ5di6J7cbPUGio0xBgB8hW6ze5ZywFtnH9WjAG4HJzYcqWwqoTYpQuPToocJxF6mVZJTMnBA1AdGCQiKgupdmcoCcFvSqiqAyLXA6AcTvDIrEtBd3SyuRSCXF4xYdyq3tNEBp5tnWQuND5Ekkce3yg84mNGylwJlewoZ33s64kEpoVLH2ffrzEHyO3FMM8tCfmXxaqy4hkDQukR0ZnFz8c7kwcpCvbRxctRYg1pE6g9J5Xl0OckVfqu3PUNiP9LEgmW3eKpFuEZ9YgbogUz9iMqIlEulphSdiBuIveJLXN3YpoxLpW9822xvmFcMP4t9sqdvhd99kefDmy4apNfYjsaF26nvUQLgqNEcysZaV7qHsZEz6EwxtEGXIePssoLfDiaywaoOtgA13gfrXHkzCRWPGA6Fd7qyT7YBEgWZkX4OBj2NHdansjugLRtfnJYi9a22qbtuzc8r3WaBjKe1bSh6UreGlmnG2Yn7gm4INMd5V48RK3i11RsIFJe2tOVjZGb6n2hOByGjQKGcO1BoS8OxCbz4mq5BnZvBIIYRZJ69WoA91 | libz3.so |
= 4.5.0-alt2:sisyphus+227564.2100.1.2 | libz3 |
نحوه نصب
نصب پکیج rpm libz3:
sudo apt-get install libz3-4.5.0-alt2.i586.rpm
فایل ها
مسیرها |
---|
/usr/lib/libz3.so |
گزارش تغییرات
تاریخ آخرین تغییر | جزئیات |
---|---|
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
|