معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

QuickCheck inspired property-based testing for OCaml

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything aarch64
نام بسته	ocaml-qcheck-core
نام فایل بسته	ocaml-qcheck-core-0.19.1-4.fc37.aarch64.rpm
نسخه بسته	0.19.1
انتشار بسته	4.fc37
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Wed 21 Sep 2022 08
هاست سازنده	buildvm-a64-24.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://c-cube.github.io/qcheck/
مجوز	BSD-2-Clause
حجم دانلود	657K
حجم نصب	2.023M

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.19.1-4.fc37.i686.rpm	0.19.1	i686	Fedora Everything
ocaml-qcheck-core-0.19.1-4.fc37.x86_64.rpm	0.19.1	x86_64	Fedora Everything
ocaml-qcheck-core-debuginfo-0.19.1-4.fc37.aarch64.rpm	0.19.1	aarch64	Fedora Everything
ocaml-qcheck-core-debuginfo-0.19.1-4.fc37.i686.rpm	0.19.1	i686	Fedora Everything
ocaml-qcheck-core-debuginfo-0.19.1-4.fc37.x86_64.rpm	0.19.1	x86_64	Fedora Everything
ocaml-qcheck-core-devel-0.19.1-4.fc37.aarch64.rpm	0.19.1	aarch64	Fedora Everything
ocaml-qcheck-core-devel-0.19.1-4.fc37.i686.rpm	0.19.1	i686	Fedora Everything
ocaml-qcheck-core-devel-0.19.1-4.fc37.x86_64.rpm	0.19.1	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	libm.so.6()(64bit)
-	libm.so.6(GLIBC_2.17)(64bit)
-	libm.so.6(GLIBC_2.29)(64bit)
= 8f8f634558798ee408df3c50a5539b15	ocaml(CamlinternalFormatBasics)
= 5365fec4a58da3e2d8fa2186f77d9be4	ocaml(CamlinternalLazy)
= aea913efb75d4b8c0600eeba0222f7d8	ocaml(CamlinternalOO)
= a23c0dd90e055c42d2611edc80d26e82	ocaml(QCheck2)
= 6d7bf11af14ea68354925f3a37387930	ocaml(Stdlib)
= 04b768df3893b886dc494cea56b4aa5f	ocaml(Stdlib__Arg)
= 622d88fad859d0d0f019e691fc4fa865	ocaml(Stdlib__Array)
= 994a14f10d5ae081663b52b790ee11d3	ocaml(Stdlib__Bigarray)
= 4b09c9a6d0622bbf5a3829234b481822	ocaml(Stdlib__Buffer)
= 3d02c33317c0108c61e7a5eefa37519a	ocaml(Stdlib__Bytes)
= 62afe57b49defcc078960a68b9efbbee	ocaml(Stdlib__Char)
= 4555217c759e89d65daa8f682eb09b35	ocaml(Stdlib__Complex)
= 26845df28d19584687a38a1ab814c3f9	ocaml(Stdlib__Either)
= f229fd7957ec7bb27886efa011217242	ocaml(Stdlib__Float)
= b6edb97b685819e873481fe05723c8bc	ocaml(Stdlib__Format)
= 115c0563d80d54e1e845b108f10caa33	ocaml(Stdlib__Fun)
= 34c0fdd524bf2a75e4d5af64a6d34401	ocaml(Stdlib__Hashtbl)
= 9ce5bca90faa4722bb0d4655ac2e9836	ocaml(Stdlib__Int)
= a71ea5238030770647165f659f80b1ab	ocaml(Stdlib__Int32)
= 0fa5587c47baf16a06837c7dedfc2518	ocaml(Stdlib__Int64)
= 01430d340c028322c7247031a874e355	ocaml(Stdlib__Lazy)
= ee222542f6f8195441543b8b399b64b9	ocaml(Stdlib__List)
= 989149bf8f2ce1a89fecbc3f5f40f52c	ocaml(Stdlib__Nativeint)
= 25794d29f7f4018768ea900e331a2bf3	ocaml(Stdlib__Obj)
= 121a6090f31f70c9d5bfa04e995b96ba	ocaml(Stdlib__Option)
= ae914d0568e8b6e482a66bbd62a4432f	ocaml(Stdlib__Printexc)
= bc8af6214197dc8f40eaa738a4cd6a28	ocaml(Stdlib__Printf)
= 81e43bab9bd47bab804eb6e582306de1	ocaml(Stdlib__Random)
= f99939d3b32a26a59a2f4df0b6b2e60a	ocaml(Stdlib__Result)
= b63511032211eae4b567ba313cd72962	ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658	ocaml(Stdlib__Set)
= 097838f294457ecbb61ccbcf86cc6972	ocaml(Stdlib__String)
= 7726a14ce36f5c6c3abb04975cec748b	ocaml(Stdlib__Sys)
= c0dde02a556a6d79e363ad365d165d57	ocaml(Stdlib__Uchar)
= 84bb8ec8ae50f70acba86f5b72088b1c	ocaml(Unix)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 896f064e25aa7ca59a69bb6a353b4b4d	ocaml(QCheck)
= a23c0dd90e055c42d2611edc80d26e82	ocaml(QCheck2)
= 9fa8a9ae18dd23983c5ca27230d05fe2	ocaml(QCheck_base_runner)
= 0.19.1-4.fc37	ocaml-qcheck-core
= 0.19.1-4.fc37	ocaml-qcheck-core(aarch-64)

نحوه نصب

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

dnf install ocaml-qcheck-core-0.19.1-4.fc37.aarch64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/44
/usr/lib/.build-id/44/49a36a4859f7194ed8de658a999ccac8795557
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/421971c185da3258931ada31f752242b0a3e82
/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

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

تاریخ آخرین تغییر	جزئیات
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
2022-02-28	Version 0.18.1 Disable tests on 32-bit x86 Give ppc64le extra stack space for running tests
2022-02-04	OCaml 4.13.1 rebuild to remove package notes
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-10-12	Rebuild for alcotest 1.5.0 Split into subpackages to manage dependencies
2021-10-05	OCaml 4.13.1 build
2021-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-19	Move META to the main package
2021-06-25	Version 0.18
2021-04-14	Rebuild for alcotest 1.4.0
2021-03-02	OCaml 4.12.0 build
2021-02-20	Rebuild for alcotest 1.3.0