معرفی شرکت ها

pplite-0.11-1.fc39.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Convex polyhedra library for abstract interpretation
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته pplite
نام فایل بسته pplite-0.11-1.fc39.x86_64.rpm
نسخه بسته 0.11
انتشار بسته 1.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Thu 03 Aug 2023 07
هاست سازنده buildhw-x86-10.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://www.cs.unipr.it/~zaffanella/PPLite/
مجوز GPL-3.0-or-later
حجم دانلود 510K
حجم نصب 1.487M
PPLite is an open-source C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification.


جایگزین ها

بسته نسخه معماری مخزن
pplite-0.11-1.fc39.aarch64.rpm 0.11 aarch64 Fedora Everything
pplite-0.11-1.fc39.i686.rpm 0.11 i686 Fedora Everything
pplite-0.11-1.fc39.src.rpm 0.11 i686 Fedora Everything
pplite-debuginfo-0.11-1.fc39.aarch64.rpm 0.11 aarch64 Fedora Everything
pplite-debuginfo-0.11-1.fc39.i686.rpm 0.11 i686 Fedora Everything
pplite-debuginfo-0.11-1.fc39.x86_64.rpm 0.11 x86_64 Fedora Everything
pplite-debugsource-0.11-1.fc39.aarch64.rpm 0.11 aarch64 Fedora Everything
pplite-debugsource-0.11-1.fc39.i686.rpm 0.11 i686 Fedora Everything
pplite-debugsource-0.11-1.fc39.x86_64.rpm 0.11 x86_64 Fedora Everything
pplite-devel-0.11-1.fc39.aarch64.rpm 0.11 aarch64 Fedora Everything
pplite-devel-0.11-1.fc39.i686.rpm 0.11 i686 Fedora Everything
pplite-devel-0.11-1.fc39.x86_64.rpm 0.11 x86_64 Fedora Everything
pplite-tools-0.11-1.fc39.aarch64.rpm 0.11 aarch64 Fedora Everything
pplite-tools-0.11-1.fc39.x86_64.rpm 0.11 x86_64 Fedora Everything
pplite-tools-debuginfo-0.11-1.fc39.aarch64.rpm 0.11 aarch64 Fedora Everything
pplite-tools-debuginfo-0.11-1.fc39.x86_64.rpm 0.11 x86_64 Fedora Everything


نیازمندی

مقدار نام
>= 2.37.9000-18 glibc
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.38)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libflint.so.17()(64bit)
- libgcc_s.so.1()(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
- libgcc_s.so.1(GCC_3.3.1)(64bit)
- libgcc_s.so.1(GCC_3.4)(64bit)
- libgmp.so.10()(64bit)
- libgmpxx.so.4()(64bit)
- libm.so.6()(64bit)
- libstdc++.so.6()(64bit)
- libstdc++.so.6(CXXABI_1.3)(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.14)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
- libpplite.so.4()(64bit)
= 0.11-1.fc39 pplite
= 0.11-1.fc39 pplite(x86-64)


نحوه نصب


نصب پکیج rpm pplite:

    dnf install pplite-0.11-1.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/4b
/usr/lib/.build-id/4b/26d6c6a03d2a6341ab7876b6faba1686daae98
/usr/lib64/libpplite.so.4
/usr/lib64/libpplite.so.4.0.0
/usr/share/doc/pplite
/usr/share/doc/pplite/CREDITS
/usr/share/licenses/pplite


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-08-03

Initial RPM