معرفی شرکت ها
libz3-devel-4.5.0-alt2.noarch.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p9 |
| مخزن | ALTLinux classic noarch |
| نام بسته | libz3-devel |
| نام فایل بسته | libz3-devel-4.5.0-alt2.noarch.rpm |
| نسخه بسته | 4.5.0 |
| انتشار بسته | alt2 |
| معماری بسته | noarch |
| نگهدارنده | - |
| تاریخ ساخت | Tue 23 Apr 2019 10 |
| هاست سازنده | grenka-sisyphus.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://github.com/Z3Prover/z3 |
| مجوز | MIT |
| حجم دانلود | 60K |
| حجم نصب | 402.264K |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libz3-devel-docs-4.5.0-alt2.noarch.rpm | 4.5.0 | noarch | ALT classic |
نیازمندی
| مقدار | نام |
|---|---|
| = 4.5.0-alt2:sisyphus+227564.2100.1.2 | libz3 |
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 4.5.0-alt2:sisyphus+227564.2100.1.2 | libz3-devel |
نحوه نصب
نصب پکیج rpm libz3-devel:
sudo apt-get install libz3-devel-4.5.0-alt2.noarch.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_interp.h |
| /usr/include/z3_macros.h |
| /usr/include/z3_optimization.h |
| /usr/include/z3_polynomial.h |
| /usr/include/z3_rcf.h |
| /usr/include/z3_v1.h |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|