معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Files for building ocaml applications that use z3

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything x86_64
نام بسته	ocaml-z3-devel
نام فایل بسته	ocaml-z3-devel-4.12.4-2.fc39.x86_64.rpm
نسخه بسته	4.12.4
انتشار بسته	2.fc39
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Thu Dec 21 20
هاست سازنده	buildhw-x86-06.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/Z3Prover/z3
مجوز	MIT
حجم دانلود	430K
حجم نصب	2.406M

Files for building ocaml applications that use z3.

جایگزین ها

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

نیازمندی

مقدار	نام
= cecfafd5c021473f5e358c96ac7502a0	ocaml(CamlinternalFormatBasics)
= 5f3bf6a430a949e1f685fd8552eeeda5	ocaml(CamlinternalMod)
= dfd79ff05360c4cc4bc120db10ee3749	ocaml(Q)
= 85f85ddb47edc0c7579657eee740302d	ocaml(Stdlib)
= 12b944b4b2913751cd65bdc638975d4d	ocaml(Stdlib__Buffer)
= 4193fcc86b5ea92141e5bedd24eceaa7	ocaml(Stdlib__Callback)
= 0d152be3cd9163970a657d842fca8ecf	ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808	ocaml(Stdlib__Either)
= e7385010d0d6a0bbd4191bc7546d458a	ocaml(Stdlib__Format)
= 1db604c2106f996ea47a572773a5ff7f	ocaml(Stdlib__Int32)
= 7ab3f2ace09cfcc67be8a7133d18f0e2	ocaml(Stdlib__Int64)
= feb7c568830f9f239501efb83f4725e4	ocaml(Stdlib__List)
= 627e6e1768175d0dea895dfbcbc11457	ocaml(Stdlib__Nativeint)
= 85655eceec5bcd6c7c4ef5dd6758b19d	ocaml(Stdlib__Obj)
= 3f2ddc04bb28ff1050c0c8d7cf5a8d57	ocaml(Stdlib__Random)
= cc3f899885b746f777815dc93be7ede2	ocaml(Stdlib__Seq)
= 9ea864085095970c73b7b17c26c37317	ocaml(Stdlib__Uchar)
= 0009d1c1f4074c1e5cac1497b3dc94fa	ocaml(Z)
= 2bd2636ca3f5cb70436e685c9c9e4cf8	ocaml(Z3enums)
= 9bc016fd2309cf199d19fefa4ab104ea	ocaml(Z3native)
= 4.12.4-2.fc39	ocaml-z3(x86-64)
-	ocaml-zarith-devel(x86-64)
= cb7abf7287d654348173d00f3138d492	ocamlx(CamlinternalLazy)
= d5a40fc44e7086875825e07d79519de7	ocamlx(CamlinternalMod)
= 837bc42c277f1552b35648daabf1155b	ocamlx(CamlinternalOO)
= 6dd7d79a7e38cd49dc1c73c134f5ae87	ocamlx(Q)
= c6f226e44d674edd1d531948ff863828	ocamlx(Stdlib)
= c2004dcd213fd1723f46d3083f94823e	ocamlx(Stdlib__Callback)
= b78ab95aebcef67de9b99ec053edb534	ocamlx(Stdlib__List)
= 6198bfa6e30905f220cf5f1cd3d005f9	ocamlx(Z)
= 2ab75e3faea1c09d9ec11b2c772c4ab5	ocamlx(Z3enums)
= d82b48c96d80464d3bba0b1d0c63086f	ocamlx(Z3native)

ارائه دهنده

مقدار	نام
= 1d350433c976f8ae2648bff634d52133	ocaml(Z3)
= 2bd2636ca3f5cb70436e685c9c9e4cf8	ocaml(Z3enums)
= 9bc016fd2309cf199d19fefa4ab104ea	ocaml(Z3native)
= 4.12.4-2.fc39	ocaml-z3-devel
= 4.12.4-2.fc39	ocaml-z3-devel(x86-64)
= 92958881d7a701999549066207b37e36	ocamlx(Z3)
= 2ab75e3faea1c09d9ec11b2c772c4ab5	ocamlx(Z3enums)
= d82b48c96d80464d3bba0b1d0c63086f	ocamlx(Z3native)

نحوه نصب

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

dnf install ocaml-z3-devel-4.12.4-2.fc39.x86_64.rpm

فایل ها

مسیرها
/usr/lib64/ocaml/Z3/libz3ml.a
/usr/lib64/ocaml/Z3/z3.cmx
/usr/lib64/ocaml/Z3/z3.mli
/usr/lib64/ocaml/Z3/z3enums.cmx
/usr/lib64/ocaml/Z3/z3enums.mli
/usr/lib64/ocaml/Z3/z3ml.a
/usr/lib64/ocaml/Z3/z3ml.cmxa
/usr/lib64/ocaml/Z3/z3native.cmx

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

تاریخ آخرین تغییر	جزئیات
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
2023-01-08	Add -data-race patch to fix segfault (bz 2157972) Add -uninit patch to fix use of an uninitialized value
2022-12-14	Further clarify license of the doc subpackage (SPDX)