معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Software verification library for ocaml

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything aarch64
نام بسته	ocaml-why3
نام فایل بسته	ocaml-why3-1.5.1-1.fc37.aarch64.rpm
نسخه بسته	1.5.1
انتشار بسته	1.fc37
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Sat 17 Sep 2022 05
هاست سازنده	buildvm-a64-31.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://why3.lri.fr/
مجوز	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود	3.4M
حجم نصب	12.822M

This package contains an ocaml library that exposes the functionality of why3 to applications.

جایگزین ها

بسته	نسخه	معماری	مخزن
ocaml-why3-1.5.1-1.fc37.x86_64.rpm	1.5.1	x86_64	Fedora Everything
ocaml-why3-1.5.1-3.fc37.aarch64.rpm	1.5.1	aarch64	Fedora Everything
ocaml-why3-1.5.1-3.fc37.x86_64.rpm	1.5.1	x86_64	Fedora Everything
ocaml-why3-debuginfo-1.5.1-1.fc37.aarch64.rpm	1.5.1	aarch64	Fedora Everything
ocaml-why3-debuginfo-1.5.1-1.fc37.x86_64.rpm	1.5.1	x86_64	Fedora Everything
ocaml-why3-debuginfo-1.5.1-3.fc37.aarch64.rpm	1.5.1	aarch64	Fedora Everything
ocaml-why3-debuginfo-1.5.1-3.fc37.x86_64.rpm	1.5.1	x86_64	Fedora Everything
ocaml-why3-devel-1.5.1-1.fc37.aarch64.rpm	1.5.1	aarch64	Fedora Everything
ocaml-why3-devel-1.5.1-1.fc37.x86_64.rpm	1.5.1	x86_64	Fedora Everything
ocaml-why3-devel-1.5.1-3.fc37.aarch64.rpm	1.5.1	aarch64	Fedora Everything
ocaml-why3-devel-1.5.1-3.fc37.x86_64.rpm	1.5.1	x86_64	Fedora Everything

نیازمندی

مقدار	نام
= 0d29f9784dac1f856b4e4b9ce51e6e37	ocaml(Big_int)
= 8f8f634558798ee408df3c50a5539b15	ocaml(CamlinternalFormatBasics)
= 5365fec4a58da3e2d8fa2186f77d9be4	ocaml(CamlinternalLazy)
= 3ec00a6f1f5ba9c7faa313eb03850c8d	ocaml(MenhirLib)
= cf53074211ea56c636ac753b3faa2286	ocaml(Nat)
= d7e7bf3115ef0f4d7fc54872e5ab1a14	ocaml(Num)
= c821046c69e13731aad779de4c380aa2	ocaml(Parsexp)
= 743b6c7881609f13e5ddf064f13ccaad	ocaml(Parsexp__)
= bb8f7cf20f0b9df1f12bc94f0c026d6b	ocaml(Parsexp__Automaton_stack)
= 7e083620604635f4d8641a56c78a2c15	ocaml(Parsexp__Automaton_stack_intf)
= 823554058cf3edf147483e7718a0fc05	ocaml(Parsexp__Automaton_state)
= baa2a7512f2ff63c2ca7e5bfb24d31c3	ocaml(Parsexp__Automaton_state_intf)
= 73aea39cdae28481b946deb798262861	ocaml(Parsexp__Conv)
= 15b4e9c2f299eb4e7d45247d78604531	ocaml(Parsexp__Conv_error)
= 1da34b4c630ef3200fc3912c978c9ba9	ocaml(Parsexp__Conv_intf)
= 5a86b7c96c4b7c235908e56504fdaf1c	ocaml(Parsexp__Cst)
= af824900aa58f54532b0b7f66fa5599a	ocaml(Parsexp__Import)
= dbac035abeeda7b65e3fb305bb78dd7a	ocaml(Parsexp__Of_sexp_error)
= 4e3342afb970edb9605972c7f18919a3	ocaml(Parsexp__Old_parser_cont_state)
= d6a41b0d84636a7d6cde2981a8fbe8ca	ocaml(Parsexp__Parse_error)
= 8a2deecb01b36b267a3c97ad7fc6bab9	ocaml(Parsexp__Parse_error_intf)
= b8d5dcaf4ee9cc40b59ea398c48c0807	ocaml(Parsexp__Parser)
= 5328dab0c57a5f24f4d4ec131f9ecaa7	ocaml(Parsexp__Parser_intf)
= 4ec3fb96445b9269dd8b034a888c3e1d	ocaml(Parsexp__Parsexp_intf)
= aacd2afc429f09c754122a4bb3b47606	ocaml(Parsexp__Positions)
= 28be2dbf598b1671fb5c1b4bdf6e2b0b	ocaml(Ratio)
= e4567e94af098c9e43b4019b4ac760c6	ocaml(Re)
= 4d845614bcba08fee0b9ba6c58f4ae58	ocaml(Re__)
= 4a5ad0dda411f197f80feed3ab4992b5	ocaml(Re__Automata)
= 0c24c8a8e24c3e1fb949f9f2576ba43e	ocaml(Re__Category)
= a74d911419b14651a8714177bcc8f1ed	ocaml(Re__Core)
= a1b6e4eac5a366680c7e8f6b9fa83d2a	ocaml(Re__Cset)
= 172947bbd8c617d65313126532870e5a	ocaml(Re__Pmark)
= fa8d2b3a0ff24af39df207dd1ce9865f	ocaml(Re__Str)
= 5ad88013aad9900a199ade58347da14d	ocaml(Seq)
= c3bbdba7888ea124ad7691e3aa9b7ad3	ocaml(Sexplib)
= 2c6d2dc73e878ccd97c61ea7b3b139a7	ocaml(Sexplib0)
= c82a4bed4cf1f8a7e557dea3d219c984	ocaml(Sexplib0__)
= 669077daccd8c3f02758504e1d4ff384	ocaml(Sexplib0__Sexp)
= 840da9f0a44f94f7889e14186f7ea219	ocaml(Sexplib0__Sexp_conv)
= 902dea820ffb9d88028a6add5f58215d	ocaml(Sexplib0__Sexp_conv_grammar)
= b3d4f2eff2ce04a1bbff88b7bf11b33b	ocaml(Sexplib0__Sexp_grammar)
= b9fbaffc0a3dcab91c2e599e19f5d88e	ocaml(Sexplib__Conv)
= 15958aeb6ae28db802ec545f06ac85ca	ocaml(Sexplib__Lexer)
= e63cac0f94ad6793e1cbe027e782c2d8	ocaml(Sexplib__Parser)
= be58c7a66ba3428a66bfd6838660a321	ocaml(Sexplib__Parser_with_layout)
= bd1ed0081478a69d3c515e659402c2c0	ocaml(Sexplib__Pre_sexp)
= 7c4d572be7fda86c18d9539931a3ac76	ocaml(Sexplib__Sexp)
= 40156fb9c778da83681854664b47a633	ocaml(Sexplib__Sexp_intf)
= 440b8d43877a2c90d3ecc91bcbec1906	ocaml(Sexplib__Src_pos)
= 3eb28a2934979392e895ccd7c13994b7	ocaml(Sexplib__Std)
= 2e7a2467630646dbe09e3f709e056231	ocaml(Sexplib__Type)
= 554589f188fa04e278683395f88a51cc	ocaml(Sexplib__Type_with_layout)
= 966a1aa06b990e095c60e7f91da80a91	ocaml(Sexplib_num)
= a48d90cc8e309ab989cdf636cce1b773	ocaml(Sexplib_num__Sexplib_num_conv)
= 0a985025ebf2f36c9dc5de51da4c800a	ocaml(Sexplib_num__Std)
= 6d7bf11af14ea68354925f3a37387930	ocaml(Stdlib)
= 04b768df3893b886dc494cea56b4aa5f	ocaml(Stdlib__Arg)
= 994a14f10d5ae081663b52b790ee11d3	ocaml(Stdlib__Bigarray)
= 4b09c9a6d0622bbf5a3829234b481822	ocaml(Stdlib__Buffer)
= 3d02c33317c0108c61e7a5eefa37519a	ocaml(Stdlib__Bytes)
= 4555217c759e89d65daa8f682eb09b35	ocaml(Stdlib__Complex)
= 26845df28d19584687a38a1ab814c3f9	ocaml(Stdlib__Either)
= b6edb97b685819e873481fe05723c8bc	ocaml(Stdlib__Format)
= 34c0fdd524bf2a75e4d5af64a6d34401	ocaml(Stdlib__Hashtbl)
= a71ea5238030770647165f659f80b1ab	ocaml(Stdlib__Int32)
= 0fa5587c47baf16a06837c7dedfc2518	ocaml(Stdlib__Int64)
= 01430d340c028322c7247031a874e355	ocaml(Stdlib__Lazy)
= c9318c276ac7e383fd682c2dd06be434	ocaml(Stdlib__Lexing)
= ee222542f6f8195441543b8b399b64b9	ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680	ocaml(Stdlib__Map)
= 989149bf8f2ce1a89fecbc3f5f40f52c	ocaml(Stdlib__Nativeint)
= 25794d29f7f4018768ea900e331a2bf3	ocaml(Stdlib__Obj)
= dc77fedcffc67c0119b789c66d5ef7bf	ocaml(Stdlib__Pervasives)
= bc8af6214197dc8f40eaa738a4cd6a28	ocaml(Stdlib__Printf)
= b066724fe533c7b8fc9b521e37aedad8	ocaml(Stdlib__Queue)
= 81e43bab9bd47bab804eb6e582306de1	ocaml(Stdlib__Random)
= b63511032211eae4b567ba313cd72962	ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658	ocaml(Stdlib__Set)
= 097838f294457ecbb61ccbcf86cc6972	ocaml(Stdlib__String)
= 7726a14ce36f5c6c3abb04975cec748b	ocaml(Stdlib__Sys)
= c0dde02a556a6d79e363ad365d165d57	ocaml(Stdlib__Uchar)
= 84bb8ec8ae50f70acba86f5b72088b1c	ocaml(Unix)
-	ocaml-num(aarch-64)
-	ocaml-zip-devel(aarch-64)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= da2e2ab21fb4c5e0d881f076855f31f2	ocaml(Why3)
= 1.5.1-1.fc37	ocaml-why3
= 1.5.1-1.fc37	ocaml-why3(aarch-64)

نحوه نصب

نصب پکیج rpm ocaml-why3:

dnf install ocaml-why3-1.5.1-1.fc37.aarch64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/17
/usr/lib/.build-id/17/19567a4cd6c92dc108ef43dff7d72963de6ee8
/usr/lib64/ocaml/why3
/usr/lib64/ocaml/why3/META
/usr/lib64/ocaml/why3/why3.cmi

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

تاریخ آخرین تغییر	جزئیات
2022-09-16	Version 1.5.1
2022-08-18	Rebuild to fix coq dependency Convert License tag to SPDX
2022-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-19	Remove i686 support
2022-07-07	Version 1.5.0 Add ocaml-mlmpfr support Drop unmaintained man pages Use new OCaml macros
2022-06-19	OCaml 4.14.0 rebuild
2022-03-25	Rebuild for coq 8.15.1
2022-02-28	Version 1.4.1
2022-02-04	OCaml 4.13.1 rebuild to remove package notes
2022-01-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2022-01-17	Rebuild for menhir 20211230
2021-12-27	Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11
2021-11-30	Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128
2021-10-21	Rebuild for coq 8.14.0 and menhir 20211012 Add -coq8.14 patch Drop XEmacs support
2021-10-05	OCaml 4.13.1 build
2021-10-04	Try to build on s390x with OCaml 4.13