معرفی شرکت ها

cvc5-devel-1.0.8-1.fc39.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Headers and other files for developing with cvc5
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته cvc5-devel
نام فایل بسته cvc5-devel-1.0.8-1.fc39.x86_64.rpm
نسخه بسته 1.0.8
انتشار بسته 1.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sat 16 Sep 2023 02
هاست سازنده buildhw-x86-08.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://cvc5.github.io/
مجوز BSD-3-Clause AND MIT
حجم دانلود 53K
حجم نصب 354.390K
Header files and library links for developing applications that use cvc5.


جایگزین ها

بسته نسخه معماری مخزن
cvc5-devel-1.0.8-1.fc39.aarch64.rpm 1.0.8 aarch64 Fedora Everything
cvc5-devel-1.1.1-1.fc39.aarch64.rpm 1.1.1 aarch64 Fedora Everything
cvc5-devel-1.1.1-1.fc39.x86_64.rpm 1.1.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
- cmake-filesystem(x86-64)
= 1.0.8-1.fc39 cvc5-libs(x86-64)
- gmp-devel(x86-64)
- libcvc5.so.1()(64bit)
- libcvc5parser.so.1()(64bit)
- symfpu-devel(x86-64)


ارائه دهنده

مقدار نام
= 1.0.8 cmake(cvc5)
= 1.0.8-1.fc39 cvc5-devel
= 1.0.8-1.fc39 cvc5-devel(x86-64)


نحوه نصب


نصب پکیج rpm cvc5-devel:

    dnf install cvc5-devel-1.0.8-1.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/include/cvc5
/usr/include/cvc5/cvc5.h
/usr/include/cvc5/cvc5_export.h
/usr/include/cvc5/cvc5_kind.h
/usr/include/cvc5/cvc5_parser.h
/usr/include/cvc5/cvc5_types.h
/usr/lib64/cmake/cvc5
/usr/lib64/cmake/cvc5/cvc5Config.cmake
/usr/lib64/cmake/cvc5/cvc5ConfigVersion.cmake
/usr/lib64/cmake/cvc5/cvc5JavaTargets.cmake
/usr/lib64/cmake/cvc5/cvc5Targets-production.cmake
/usr/lib64/cmake/cvc5/cvc5Targets.cmake
/usr/lib64/libcvc5.so


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

تاریخ آخرین تغییر جزئیات
2023-09-15

Version 1.0.8
Remove dependency on antlr3
Drop upstreamed patches: antlr3, toml, vec

2023-08-09

Build with yosyshq-abc instead of abc

2023-07-29

Initial RPM