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