معرفی شرکت ها

libpoly-0.1.11-4.fc37.i686.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

C library for manipulating polynomials
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything i686
نام بسته libpoly
نام فایل بسته libpoly-0.1.11-4.fc37.i686.rpm
نسخه بسته 0.1.11
انتشار بسته 4.fc37
معماری بسته i686
نگهدارنده -
تاریخ ساخت Thu 21 Jul 2022 11
هاست سازنده buildvm-x86-31.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://sri-csl.github.io/libpoly/
مجوز LGPLv3+
حجم دانلود 212K
حجم نصب 651.249K
LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints.


جایگزین ها

بسته نسخه معماری مخزن
libpoly-0.1.11-4.fc37.aarch64.rpm 0.1.11 aarch64 Fedora Everything
libpoly-0.1.11-4.fc37.src.rpm 0.1.11 i686 Fedora Everything
libpoly-0.1.11-4.fc37.x86_64.rpm 0.1.11 x86_64 Fedora Everything
libpoly-debuginfo-0.1.11-4.fc37.aarch64.rpm 0.1.11 aarch64 Fedora Everything
libpoly-debuginfo-0.1.11-4.fc37.i686.rpm 0.1.11 i686 Fedora Everything
libpoly-debuginfo-0.1.11-4.fc37.x86_64.rpm 0.1.11 x86_64 Fedora Everything
libpoly-debugsource-0.1.11-4.fc37.aarch64.rpm 0.1.11 aarch64 Fedora Everything
libpoly-debugsource-0.1.11-4.fc37.i686.rpm 0.1.11 i686 Fedora Everything
libpoly-debugsource-0.1.11-4.fc37.x86_64.rpm 0.1.11 x86_64 Fedora Everything
libpoly-devel-0.1.11-4.fc37.aarch64.rpm 0.1.11 aarch64 Fedora Everything
libpoly-devel-0.1.11-4.fc37.i686.rpm 0.1.11 i686 Fedora Everything
libpoly-devel-0.1.11-4.fc37.x86_64.rpm 0.1.11 x86_64 Fedora Everything


نیازمندی

مقدار نام
- libc.so.6
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
- libgcc_s.so.1
- libgcc_s.so.1(GCC_3.0)
- libgcc_s.so.1(GCC_3.3.1)
- libgmp.so.10
- libpoly.so.0
- libstdc++.so.6
- libstdc++.so.6(CXXABI_1.3)
- libstdc++.so.6(CXXABI_1.3.8)
- libstdc++.so.6(GLIBCXX_3.4)
- libstdc++.so.6(GLIBCXX_3.4.14)
- libstdc++.so.6(GLIBCXX_3.4.30)
- libstdc++.so.6(GLIBCXX_3.4.9)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 0.1.11-4.fc37 libpoly
= 0.1.11-4.fc37 libpoly(x86-32)
- libpoly.so.0
- libpolyxx.so.0


نحوه نصب


نصب پکیج rpm libpoly:

    dnf install libpoly-0.1.11-4.fc37.i686.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/79
/usr/lib/.build-id/79/738f4046b423304ffe7cb98a1ebf0750e613f0
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/b7282cec184517148c21af993269bd674ac9c1
/usr/lib/libpoly.so.0
/usr/lib/libpoly.so.0.1.11
/usr/lib/libpolyxx.so.0
/usr/lib/libpolyxx.so.0.1.11
/usr/share/doc/libpoly
/usr/share/doc/libpoly/README.md
/usr/share/licenses/libpoly


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

تاریخ آخرین تغییر جزئیات
2022-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-06-17

Rebuilt for Python 3.11

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-10-25

Version 0.1.11
Enable tests for 32-bit platforms

2021-07-26

Version 0.1.10

2021-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-06-04

Rebuilt for Python 3.10

2021-04-13

Version 0.1.9

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

2020-07-28

Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild