معرفی شرکت ها


libpoly-0.1.11-5.fc38.src.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.src.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
حجم دانلود 616K
حجم نصب 604.676K
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.i686.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


نیازمندی

مقدار نام
- cmake
- gcc-c++
- gmp-devel
- make
- python3-devel
- python3dist(sympy)


ارائه دهنده

مقدار نام
= 0.1.11-5.fc38 libpoly
= 0.1.11-5.fc38 libpoly-devel
= 0.1.11-5.fc38 python3-libpoly
= 0.1.11-5.fc38 libpoly-debuginfo
= 0.1.11-5.fc38 libpoly-debugsource


نحوه نصب


نصب پکیج rpm libpoly:

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


فایل ها

مسیرها
libpoly-0.1.11.tar.gz


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

تاریخ آخرین تغییر جزئیات
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