معرفی شرکت ها

libpoly-0.1.11-5.fc38.i686.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

C library for manipulating polynomials
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything i686
نام بسته libpoly
نام فایل بسته libpoly-0.1.11-5.fc38.i686.rpm
نسخه بسته 0.1.11
انتشار بسته 5.fc38
معماری بسته i686
نگهدارنده -
تاریخ ساخت Thu 19 Jan 2023 10
هاست سازنده buildhw-x86-09.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://sri-csl.github.io/libpoly/
مجوز LGPL-3.0-or-later
حجم دانلود 213K
حجم نصب 655.272K
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-5.fc38.aarch64.rpm 0.1.11 aarch64 Fedora Everything
libpoly-0.1.11-5.fc38.src.rpm 0.1.11 i686 Fedora Everything
libpoly-0.1.11-5.fc38.x86_64.rpm 0.1.11 x86_64 Fedora Everything
libpoly-debuginfo-0.1.11-5.fc38.aarch64.rpm 0.1.11 aarch64 Fedora Everything
libpoly-debuginfo-0.1.11-5.fc38.i686.rpm 0.1.11 i686 Fedora Everything
libpoly-debuginfo-0.1.11-5.fc38.x86_64.rpm 0.1.11 x86_64 Fedora Everything
libpoly-debugsource-0.1.11-5.fc38.aarch64.rpm 0.1.11 aarch64 Fedora Everything
libpoly-debugsource-0.1.11-5.fc38.i686.rpm 0.1.11 i686 Fedora Everything
libpoly-debugsource-0.1.11-5.fc38.x86_64.rpm 0.1.11 x86_64 Fedora Everything
libpoly-devel-0.1.11-5.fc38.aarch64.rpm 0.1.11 aarch64 Fedora Everything
libpoly-devel-0.1.11-5.fc38.i686.rpm 0.1.11 i686 Fedora Everything
libpoly-devel-0.1.11-5.fc38.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-5.fc38 libpoly
= 0.1.11-5.fc38 libpoly(x86-32)
- libpoly.so.0
- libpolyxx.so.0


نحوه نصب


نصب پکیج rpm libpoly:

    dnf install libpoly-0.1.11-5.fc38.i686.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/c30aa5a29f022f0b4d06d0f20ee235be08d238
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/84e27aeeaccd7d1524d391ff6b9181502fae2c
/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


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

تاریخ آخرین تغییر جزئیات
2023-01-19

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

2022-11-28

Convert License tag to SPDX

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