معرفی شرکت ها
cvc5-1.1.1-1.fc39.src.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 39 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | cvc5 |
| نام فایل بسته | cvc5-1.1.1-1.fc39.src.rpm |
| نسخه بسته | 1.1.1 |
| انتشار بسته | 1.fc39 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Tue 20 Feb 2024 09 |
| هاست سازنده | buildhw-x86-04.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://cvc5.github.io/ |
| مجوز | BSD-3-Clause AND MIT |
| حجم دانلود | 7.9M |
| حجم نصب | 8.212M |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| - | cadical |
| - | cadical-devel |
| - | chrpath |
| - | cmake |
| - | cmake(cryptominisat5) |
| - | cocoalib-devel |
| - | drat-trim-devel |
| - | drat2er-devel |
| - | flex |
| - | gcc-c++ |
| - | git-core |
| - | java-devel |
| - | javapackages-tools |
| - | kissat-devel |
| - | lfsc-devel |
| - | libfl-devel |
| - | libpoly-devel |
| - | pkgconfig(gmp) |
| - | pkgconfig(libedit) |
| - | pkgconfig(m4ri) |
| - | pkgconfig(sqlite3) |
| - | procps-ng |
| - | pyproject-rpm-macros |
| - | python3-devel |
| - | python3-devel |
| - | python3dist(cython) |
| - | python3dist(packaging) |
| >= 19 | python3dist(pip) |
| - | python3dist(pyparsing) |
| - | python3dist(scikit-build) |
| - | python3dist(setuptools) |
| >= 40.8 | python3dist(setuptools) |
| - | python3dist(wheel) |
| - | symfpu-devel |
| - | yosyshq-abc-devel |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 1.1.1-1.fc39 | cvc5 |
| = 1.1.1-1.fc39 | cvc5-devel |
| = 1.1.1-1.fc39 | cvc5-libs |
| = 1.1.1-1.fc39 | cvc5-java |
| = 1.1.1-1.fc39 | python3-cvc5 |
| = 1.1.1-1.fc39 | cvc5-debuginfo |
| = 1.1.1-1.fc39 | cvc5-debugsource |
نحوه نصب
نصب پکیج rpm cvc5:
dnf install cvc5-1.1.1-1.fc39.src.rpm
فایل ها
| مسیرها |
|---|
| 1582d36944310a96cc8e2dfc01e3682745866812.zip |
| cvc5-1.1.1.tar.gz |
| cvc5-do-not-use-gold.patch |
| cvc5-flags.patch |
| cvc5-rpath.patch |
| cvc5-skip-himem-tests.patch |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2024-02-20 |
Version 1.1.1
|
| 2024-01-10 |
Version 1.1.0
|
| 2023-09-15 |
Version 1.0.8
|
| 2023-08-09 |
Build with yosyshq-abc instead of abc
|
| 2023-07-29 |
Initial RPM
|