معرفی شرکت ها

z3-devel-4.11.2-1.fc37.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Header files for build applications that use z3
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything aarch64
نام بسته z3-devel
نام فایل بسته z3-devel-4.11.2-1.fc37.aarch64.rpm
نسخه بسته 4.11.2
انتشار بسته 1.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Mon 05 Sep 2022 12
هاست سازنده buildvm-a64-06.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز MIT
حجم دانلود 92K
حجم نصب 531.216K
Header files for build applications that use z3.


جایگزین ها

بسته نسخه معماری مخزن
z3-devel-4.11.2-1.fc37.i686.rpm 4.11.2 i686 Fedora Everything
z3-devel-4.11.2-1.fc37.x86_64.rpm 4.11.2 x86_64 Fedora Everything
z3-devel-4.11.2-2.fc37.aarch64.rpm 4.11.2 aarch64 Fedora Everything
z3-devel-4.11.2-2.fc37.i686.rpm 4.11.2 i686 Fedora Everything
z3-devel-4.11.2-2.fc37.x86_64.rpm 4.11.2 x86_64 Fedora Everything


نیازمندی

مقدار نام
- /usr/bin/pkg-config
- cmake-filesystem(aarch-64)
- libz3.so.4.11()(64bit)
= 4.11.2-1.fc37 z3-libs(aarch-64)


ارائه دهنده

مقدار نام
= 4.11.2.0 cmake(Z3)
= 4.11.2.0 cmake(z3)
= 4.11.2.0 pkgconfig(z3)
= 4.11.2-1.fc37 z3-devel
= 4.11.2-1.fc37 z3-devel(aarch-64)


نحوه نصب


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

    dnf install z3-devel-4.11.2-1.fc37.aarch64.rpm


فایل ها

مسیرها
/usr/include/z3
/usr/include/z3/z3++.h
/usr/include/z3/z3.h
/usr/include/z3/z3_algebraic.h
/usr/include/z3/z3_api.h
/usr/include/z3/z3_ast_containers.h
/usr/include/z3/z3_fixedpoint.h
/usr/include/z3/z3_fpa.h
/usr/include/z3/z3_macros.h
/usr/include/z3/z3_optimization.h
/usr/include/z3/z3_polynomial.h
/usr/include/z3/z3_rcf.h
/usr/include/z3/z3_spacer.h
/usr/include/z3/z3_v1.h
/usr/include/z3/z3_version.h
/usr/lib64/cmake/z3
/usr/lib64/cmake/z3/Z3Config.cmake
/usr/lib64/cmake/z3/Z3ConfigVersion.cmake
/usr/lib64/cmake/z3/Z3Targets-relwithdebinfo.cmake
/usr/lib64/cmake/z3/Z3Targets.cmake
/usr/lib64/libz3.so


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

تاریخ آخرین تغییر جزئیات
2022-09-04

Version 4.11.2

2022-08-19

Version 4.11.0
Clarify license of the doc subpackage

2022-08-08

Version 4.10.2

2022-07-23

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

2022-06-28

Do not support Java on i686 (rhbz#2104112)
Use new OCaml macros

2022-06-20

Rebuilt for Python 3.11

2022-06-18

OCaml 4.14.0 rebuild

2022-06-13

Rebuilt for Python 3.11

2022-05-16

Version 4.8.17
Drop upstreamed -ambiguous-overload patch

2022-03-24

Add -ambiguous-overload patch to fix cppcheck build failure

2022-03-21

Version 4.8.15

2022-02-05

Rebuilt for java-17-openjdk as system jdk

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-22

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

2021-12-24

Version 4.8.14
Conditionalize the %check script

2021-11-19

Version 4.8.13