معرفی شرکت ها
lib64z3-devel-4.10.1-1-omv4090.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | OpenMandriva rolling |
| مخزن | OpenMandriva main-release aarch64 |
| نام بسته | lib64z3-devel |
| نام فایل بسته | lib64z3-devel-4.10.1-1-omv4090.aarch64.rpm |
| نسخه بسته | 4.10.1 |
| انتشار بسته | 1 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Tue 26 Jul 2022 01 |
| هاست سازنده | instance-20220713-1556-2.openmandriva.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | - |
| مجوز | MIT |
| حجم دانلود | 85K |
| حجم نصب | 529.250K |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| lib64z3-devel-4.10.1-1-omv4090.x86_64.rpm | 4.10.1 | x86_64 | OpenMandriva main-release |
نیازمندی
| مقدار | نام |
|---|---|
| - | (cmake(gmp) or cmake(GMP)) |
| - | (cmake(threads) or cmake(Threads)) |
| - | /usr/bin/pkg-config |
| - | cmake-filesystem(aarch-64) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 4.10.1.0 | cmake(Z3) |
| = 4.10.1.0 | cmake(z3) |
| - | devel(libz3(64bit)) |
| = 4.10.1-1 | lib64z3-devel |
| = 4.10.1-1 | lib64z3-devel(aarch-64) |
| = 4.10.1.0 | pkgconfig(z3) |
نحوه نصب
نصب پکیج rpm lib64z3-devel:
urpmi install lib64z3-devel-4.10.1-1-omv4090.aarch64.rpm