معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

Debug sources for package z3

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything i686
نام بسته	z3-debugsource
نام فایل بسته	z3-debugsource-4.12.6-1.fc39.i686.rpm
نسخه بسته	4.12.6
انتشار بسته	1.fc39
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Sun 25 Feb 2024 11
هاست سازنده	buildvm-x86-04.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/Z3Prover/z3/wiki
مجوز	MIT
حجم دانلود	3.4M
حجم نصب	20.472M

This package provides debug sources for package z3. Debug sources are useful when developing applications that use this package or when debugging this package.

جایگزین ها

بسته	نسخه	معماری	مخزن
z3-debugsource-4.12.2-6.fc39.aarch64.rpm	4.12.2	aarch64	Fedora Everything
z3-debugsource-4.12.2-6.fc39.i686.rpm	4.12.2	i686	Fedora Everything
z3-debugsource-4.12.2-6.fc39.x86_64.rpm	4.12.2	x86_64	Fedora Everything
z3-debugsource-4.12.4-1.fc39.i686.rpm	4.12.4	i686	Fedora Everything
z3-debugsource-4.12.4-1.fc39.x86_64.rpm	4.12.4	x86_64	Fedora Everything
z3-debugsource-4.12.4-2.fc39.aarch64.rpm	4.12.4	aarch64	Fedora Everything
z3-debugsource-4.12.4-2.fc39.i686.rpm	4.12.4	i686	Fedora Everything
z3-debugsource-4.12.4-2.fc39.x86_64.rpm	4.12.4	x86_64	Fedora Everything
z3-debugsource-4.12.6-1.fc39.aarch64.rpm	4.12.6	aarch64	Fedora Everything
z3-debugsource-4.12.6-1.fc39.x86_64.rpm	4.12.6	x86_64	Fedora Everything

ارائه دهنده

مقدار	نام
= 4.12.6-1.fc39	z3-debugsource
= 4.12.6-1.fc39	z3-debugsource(x86-32)

نحوه نصب

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

dnf install z3-debugsource-4.12.6-1.fc39.i686.rpm

فایل ها

مسیرها
/usr/src/debug/z3-4.12.6-1.fc39.i386
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/ackermannization
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/ackermannization/ackermannization_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/ackermannization/ackermannize_bv_tactic_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/api
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/api/api_commands.cpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/api/api_log_macros.cpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/api/api_log_macros.h
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/api/dll
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/api/dll/gparams_register_modules.cpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/api/dll/install_tactic.cpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/api/dll/mem_initializer.cpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/ast
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/ast/normal_forms
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/ast/normal_forms/nnf_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/ast/pattern
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/ast/pattern/database.h
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/ast/pp_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/math
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/math/polynomial
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/math/polynomial/algebraic_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/math/realclosure
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/math/realclosure/rcf_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/model
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/model/model_evaluator_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/model/model_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/muz
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/muz/base
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/muz/base/fp_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/nlsat
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/nlsat/nlsat_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/opt
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/opt/opt_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/arith_rewriter_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/array_rewriter_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/bool_rewriter_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/bv_rewriter_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/fpa2bv_rewriter_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/fpa_rewriter_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/pattern_inference_params_helper.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/poly_rewriter_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/rewriter_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/seq_rewriter_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/sls_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/solver_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/params/tactic_params.hpp
/usr/src/debug/z3-4.12.6-1.fc39.i386/redhat-linux-build/src/parsers
... and 1865 more

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

تاریخ آخرین تغییر	جزئیات
2024-02-25	Version 4.12.6
2024-01-27	Version 4.12.5
2023-12-21	Fix python package library load name (bz 2255464)
2023-12-09	Version 4.12.4 Drop upstreamed patches: python, stdint, escapes
2023-10-05	OCaml 5.1 rebuild for Fedora 40
2023-07-27	Rebuild for ocaml-zarith 1.13
2023-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-21	Exclude the OCaml and Java subpackages only on i386
2023-07-12	OCaml 5.0 rebuild for Fedora 39
2023-07-10	OCaml 5.0.0 rebuild
2023-06-15	Rebuilt for Python 3.12
2023-05-15	Version 4.12.2
2023-01-24	Rebuild OCaml packages for F38
2023-01-21	Version 4.12.1
2023-01-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2023-01-17	Version 4.12.0 Drop upstreamed -data-race and -uninit patches