معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Files for building ocaml applications that use z3

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything aarch64
نام بسته	ocaml-z3-devel
نام فایل بسته	ocaml-z3-devel-4.12.2-6.fc39.aarch64.rpm
نسخه بسته	4.12.2
انتشار بسته	6.fc39
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Thu 27 Jul 2023 08
هاست سازنده	buildvm-a64-17.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/Z3Prover/z3
مجوز	MIT
حجم دانلود	465K
حجم نصب	2.804M

Files for building ocaml applications that use z3.

جایگزین ها

بسته	نسخه	معماری	مخزن
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.4-2.fc39.x86_64.rpm	4.12.4	x86_64	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)
= bafdecabd3fce4f5ccc09a1a5587dab4	ocaml(Stdlib__Hashtbl)
= 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)
= e95b6ff52494b209e56401b4984ee81c	ocaml(Z3enums)
= 7554f89571f297090fc8661d6adfdcc9	ocaml(Z3native)
= 4.12.2-6.fc39	ocaml-z3(aarch-64)
-	ocaml-zarith-devel(aarch-64)
= cb7abf7287d654348173d00f3138d492	ocamlx(CamlinternalLazy)
= d5a40fc44e7086875825e07d79519de7	ocamlx(CamlinternalMod)
= 837bc42c277f1552b35648daabf1155b	ocamlx(CamlinternalOO)
= 6dd7d79a7e38cd49dc1c73c134f5ae87	ocamlx(Q)
= c6f226e44d674edd1d531948ff863828	ocamlx(Stdlib)
= c2004dcd213fd1723f46d3083f94823e	ocamlx(Stdlib__Callback)
= d7f8796322f2cd99efcf341f8e42acf4	ocamlx(Stdlib__Domain)
= acdc6437bcb9e7a81c6ed8660e82b471	ocamlx(Stdlib__Hashtbl)
= b78ab95aebcef67de9b99ec053edb534	ocamlx(Stdlib__List)
= 2617b12d0fefbf237d757668e0688155	ocamlx(Stdlib__Random)
= 6198bfa6e30905f220cf5f1cd3d005f9	ocamlx(Z)
= 84264f1ae5cd97de1185de7d289d6e88	ocamlx(Z3enums)
= 6c09a8c7ecae8f2271155426c799222c	ocamlx(Z3native)

ارائه دهنده

مقدار	نام
= b4eed2e7fd9f2b88104108fe4d1ed8f2	ocaml(Z3)
= e95b6ff52494b209e56401b4984ee81c	ocaml(Z3enums)
= 7554f89571f297090fc8661d6adfdcc9	ocaml(Z3native)
= 4.12.2-6.fc39	ocaml-z3-devel
= 4.12.2-6.fc39	ocaml-z3-devel(aarch-64)
= b23c8b7d2fdf1f91728d316d9741a18b	ocamlx(Z3)
= 84264f1ae5cd97de1185de7d289d6e88	ocamlx(Z3enums)
= 6c09a8c7ecae8f2271155426c799222c	ocamlx(Z3native)

نحوه نصب

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

dnf install ocaml-z3-devel-4.12.2-6.fc39.aarch64.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-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)
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