معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

QuickCheck inspired property-based testing for OCaml

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything aarch64
نام بسته	ocaml-qcheck-core
نام فایل بسته	ocaml-qcheck-core-0.21.2-1.fc39.aarch64.rpm
نسخه بسته	0.21.2
انتشار بسته	1.fc39
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Fri 01 Sep 2023 09
هاست سازنده	buildvm-a64-14.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://c-cube.github.io/qcheck/
مجوز	BSD-2-Clause
حجم دانلود	685K
حجم نصب	2.377M

Qcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them. This package provides alcotest support for qcheck.

جایگزین ها

بسته	نسخه	معماری	مخزن
ocaml-qcheck-core-0.21.2-1.fc39.x86_64.rpm	0.21.2	x86_64	Fedora Everything
ocaml-qcheck-core-debuginfo-0.21.2-1.fc39.aarch64.rpm	0.21.2	aarch64	Fedora Everything
ocaml-qcheck-core-debuginfo-0.21.2-1.fc39.x86_64.rpm	0.21.2	x86_64	Fedora Everything
ocaml-qcheck-core-devel-0.21.2-1.fc39.aarch64.rpm	0.21.2	aarch64	Fedora Everything
ocaml-qcheck-core-devel-0.21.2-1.fc39.x86_64.rpm	0.21.2	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	libm.so.6()(64bit)
-	libm.so.6(GLIBC_2.17)(64bit)
-	libm.so.6(GLIBC_2.29)(64bit)
= cecfafd5c021473f5e358c96ac7502a0	ocaml(CamlinternalFormatBasics)
= 2c797917c31a980b79e9d16d84057b70	ocaml(CamlinternalLazy)
= 9899de300aafbea37490d6da3d93b55d	ocaml(CamlinternalOO)
= e546d0cfb670e37426ea4896467a70b5	ocaml(QCheck2)
= 85f85ddb47edc0c7579657eee740302d	ocaml(Stdlib)
= 37ac8abf22d3dbe8e900dc221da3abf4	ocaml(Stdlib__Arg)
= 9bcf1a06bdcfbb976f898e818e15611a	ocaml(Stdlib__Array)
= 55a812d9a3c89e7a8ebb917e63e4beea	ocaml(Stdlib__Bigarray)
= 12b944b4b2913751cd65bdc638975d4d	ocaml(Stdlib__Buffer)
= b0d2a0027e7278e26a1fe4bc0e79a690	ocaml(Stdlib__Bytes)
= 71d01c936f35204d25fbdc2a38153066	ocaml(Stdlib__Char)
= d5f041ccbe9783af90ca38337002fb4e	ocaml(Stdlib__Complex)
= 0d152be3cd9163970a657d842fca8ecf	ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808	ocaml(Stdlib__Either)
= 609c17e2e32fc58995201e5342ac2ce4	ocaml(Stdlib__Float)
= e7385010d0d6a0bbd4191bc7546d458a	ocaml(Stdlib__Format)
= 2fb21db8dc93e1970abdbab69be3d82d	ocaml(Stdlib__Fun)
= bafdecabd3fce4f5ccc09a1a5587dab4	ocaml(Stdlib__Hashtbl)
= 572a15081eeff8e6dab347e2604e40c2	ocaml(Stdlib__Int)
= 1db604c2106f996ea47a572773a5ff7f	ocaml(Stdlib__Int32)
= 7ab3f2ace09cfcc67be8a7133d18f0e2	ocaml(Stdlib__Int64)
= ca3d5c326131437daef18ae34e7f4aa9	ocaml(Stdlib__Lazy)
= feb7c568830f9f239501efb83f4725e4	ocaml(Stdlib__List)
= 627e6e1768175d0dea895dfbcbc11457	ocaml(Stdlib__Nativeint)
= 85655eceec5bcd6c7c4ef5dd6758b19d	ocaml(Stdlib__Obj)
= 26fe71351d86ebe5d69a94600294de33	ocaml(Stdlib__Option)
= ce1d04478ff0e3403b8c05aa790a9f79	ocaml(Stdlib__Printexc)
= 8debea255efc834da5c1bc2e73f09214	ocaml(Stdlib__Printf)
= 3f2ddc04bb28ff1050c0c8d7cf5a8d57	ocaml(Stdlib__Random)
= 7b90d3d3f235d5efe163c7fce45d7dd0	ocaml(Stdlib__Result)
= cc3f899885b746f777815dc93be7ede2	ocaml(Stdlib__Seq)
= f849884bcf48f894e90800c7ccd98f21	ocaml(Stdlib__Set)
= facad7e0dada5941148738b8188d844f	ocaml(Stdlib__String)
= a0375c47cee9c7e20ff8f61d4f04e748	ocaml(Stdlib__Sys)
= 9ea864085095970c73b7b17c26c37317	ocaml(Stdlib__Uchar)
= 8da0575524ccb15782c0ca7ebc83ccb8	ocaml(Unix)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 72d32269637ebe15ca80c0f9c0a450b0	ocaml(QCheck)
= e546d0cfb670e37426ea4896467a70b5	ocaml(QCheck2)
= e3f2954efd6539ec2065f66e853d6f98	ocaml(QCheck_base_runner)
= 0.21.2-1.fc39	ocaml-qcheck-core
= 0.21.2-1.fc39	ocaml-qcheck-core(aarch-64)

نحوه نصب

نصب پکیج rpm ocaml-qcheck-core:

dnf install ocaml-qcheck-core-0.21.2-1.fc39.aarch64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/66734e777251073584cf744140cfdbc3467da1
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/37c99ea4981e8bb221658535516f59c3137019
/usr/lib64/ocaml/qcheck-core
/usr/lib64/ocaml/qcheck-core/META
/usr/lib64/ocaml/qcheck-core/qCheck.cmi
/usr/lib64/ocaml/qcheck-core/qCheck2.cmi
/usr/lib64/ocaml/qcheck-core/qcheck_core.cma
/usr/lib64/ocaml/qcheck-core/qcheck_core.cmxs
/usr/lib64/ocaml/qcheck-core/runner
/usr/lib64/ocaml/qcheck-core/runner/qCheck_base_runner.cmi
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cma

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

تاریخ آخرین تغییر	جزئیات
2023-09-01	Version 0.21.2 Add patch to fix an asciidoc error
2023-07-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-11	OCaml 5.0 rebuild for Fedora 39
2023-07-10	OCaml 5.0.0 rebuild
2023-06-08	Version 0.21.1
2023-05-16	Version 0.21
2023-03-21	Rebuild for ocaml-alcotest 1.7.0
2023-01-24	Rebuild OCaml packages for F38
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-11-08	Version 0.20
2022-11-07	Rebuild for ocaml-ppxlib 0.28.0
2022-09-21	Rebuild for ocaml-alcotest 1.6.0
2022-08-18	Rebuild for ocaml-ounit 2.2.6 Convert License tag to SPDX
2022-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-18	Version 0.19.1 Add ocaml-ppx-deriving-qcheck subpackage Reenable tests on 32-bit x86 Add patch to expose a dependency on libm Build the documentation with asciidoc Use new OCaml macros
2022-06-19	OCaml 4.14.0 rebuild