معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Development files for using the ocaml-why3 library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything aarch64
نام بسته	ocaml-why3-devel
نام فایل بسته	ocaml-why3-devel-1.5.1-6.fc38.aarch64.rpm
نسخه بسته	1.5.1
انتشار بسته	6.fc38
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Tue 24 Jan 2023 11
هاست سازنده	buildhw-a64-19.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://why3.lri.fr/
مجوز	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود	3.5M
حجم نصب	17.229M

This package contains development files needed to build applications that use the ocaml-why3 library.

جایگزین ها

بسته	نسخه	معماری	مخزن
ocaml-why3-devel-1.5.1-6.fc38.x86_64.rpm	1.5.1	x86_64	Fedora Everything
ocaml-why3-devel-1.5.1-8.fc38.aarch64.rpm	1.5.1	aarch64	Fedora Everything
ocaml-why3-devel-1.5.1-8.fc38.x86_64.rpm	1.5.1	x86_64	Fedora Everything

نیازمندی

مقدار	نام
= 0d29f9784dac1f856b4e4b9ce51e6e37	ocaml(Big_int)
= 8f8f634558798ee408df3c50a5539b15	ocaml(CamlinternalFormatBasics)
= 5365fec4a58da3e2d8fa2186f77d9be4	ocaml(CamlinternalLazy)
= 2004005091bc8a61fe26ab15e0fb28e4	ocaml(CamlinternalMod)
= aea913efb75d4b8c0600eeba0222f7d8	ocaml(CamlinternalOO)
= b542e5672ad42f5b838f58913ba15456	ocaml(Dynlink)
= eb8494f78bfbca8ad216b40fba811efd	ocaml(Gzip)
= 3ec00a6f1f5ba9c7faa313eb03850c8d	ocaml(MenhirLib)
= b2f52fb54411f7c16c746848cf2c44c7	ocaml(Mlmpfr)
= cf53074211ea56c636ac753b3faa2286	ocaml(Nat)
= d7e7bf3115ef0f4d7fc54872e5ab1a14	ocaml(Num)
= c821046c69e13731aad779de4c380aa2	ocaml(Parsexp)
= 5c97b10f3c667d63fab0d80376fb5a53	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)
= a63408de14103736aa7cfea7b7e894ec	ocaml(Re)
= e638213c2c46c7cfc99b1fe507ccdf3e	ocaml(Re__)
= 4a5ad0dda411f197f80feed3ab4992b5	ocaml(Re__Automata)
= 0c24c8a8e24c3e1fb949f9f2576ba43e	ocaml(Re__Category)
= 50fd39192a28916386069c24f8b91b1a	ocaml(Re__Core)
= a1b6e4eac5a366680c7e8f6b9fa83d2a	ocaml(Re__Cset)
= 172947bbd8c617d65313126532870e5a	ocaml(Re__Pmark)
= fa8d2b3a0ff24af39df207dd1ce9865f	ocaml(Re__Str)
= f40400a14862c08ec81c1189dc94cf05	ocaml(Sexplib)
= 2c6d2dc73e878ccd97c61ea7b3b139a7	ocaml(Sexplib0)
= 4f7d02187744942f269c46d71db0745f	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)
= fa97b5e25bfbe15a95dc321563fd5aff	ocaml(Sexplib_num)
= a48d90cc8e309ab989cdf636cce1b773	ocaml(Sexplib_num__Sexplib_num_conv)
= 0a985025ebf2f36c9dc5de51da4c800a	ocaml(Sexplib_num__Std)
= 79b0e9d3b6f7fed07eb3cc2abb961b91	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)
= 61f6495d3274a42a78a63425ef892290	ocaml(Stdlib__Digest)
= 26845df28d19584687a38a1ab814c3f9	ocaml(Stdlib__Either)
= 85bf10913cd5901968e9c2a8e59c2cd8	ocaml(Stdlib__Ephemeron)
= 3bcff250dd30a0e620fa7546882aaadf	ocaml(Stdlib__Filename)
= 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)
= ae914d0568e8b6e482a66bbd62a4432f	ocaml(Stdlib__Printexc)
= bc8af6214197dc8f40eaa738a4cd6a28	ocaml(Stdlib__Printf)
= b066724fe533c7b8fc9b521e37aedad8	ocaml(Stdlib__Queue)
= 81e43bab9bd47bab804eb6e582306de1	ocaml(Stdlib__Random)
= 5bfc827c9980349e00f2aa1f5eade58f	ocaml(Stdlib__Scanf)
= b63511032211eae4b567ba313cd72962	ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658	ocaml(Stdlib__Set)
= 30ae8c258e7fc6fb7e6370a60256d724	ocaml(Stdlib__Stack)
= 097838f294457ecbb61ccbcf86cc6972	ocaml(Stdlib__String)
= 7726a14ce36f5c6c3abb04975cec748b	ocaml(Stdlib__Sys)
= c0dde02a556a6d79e363ad365d165d57	ocaml(Stdlib__Uchar)
= 28f276c430fdc51a3a10691d3066b26a	ocaml(Stdlib__Weak)
= 84bb8ec8ae50f70acba86f5b72088b1c	ocaml(Unix)
-	ocaml-menhir(aarch-64)
-	ocaml-num-devel(aarch-64)
-	ocaml-re-devel(aarch-64)
-	ocaml-sexplib-devel(aarch-64)
= 1.5.1-6.fc38	ocaml-why3(aarch-64)
-	ocaml-zip-devel(aarch-64)
= 431112b2e7463349ad30cf0e3ea4d6e7	ocamlx(Big_int)
= 0573444d7d158417dbd5f4f46081e73b	ocamlx(CamlinternalLazy)
= 6655be7904f5f055c5ec94e3fc3775ba	ocamlx(CamlinternalMod)
= 1bdd8a1f15e1c6ed06c7e29bea5bb5c3	ocamlx(CamlinternalOO)
= da5a27fd0813ab0940c1d2efe1e121cb	ocamlx(Dynlink)
= 9185726b1fd70fcf607e37fa901fbce9	ocamlx(Gzip)
= 1b77fd358acabf759e17ea2f2ec18523	ocamlx(MenhirLib)
= ace6e549eafacb404b0d1217ff6897d2	ocamlx(Mlmpfr)
= fba055cce12a0e70c7032c352b3fc95e	ocamlx(Re__Str)
= 462fa263d641f3bba8d0c5858a232354	ocamlx(Sexplib)
= 4df03a1f0f13a7eb2f86f2832bc07157	ocamlx(Sexplib__Std)
= 1d69b5a528f307d983f8a6877c8bdc6f	ocamlx(Sexplib_num)
= 90f2a81ccf0cf633ca3bcaca0e272258	ocamlx(Sexplib_num__Std)
= 29fc6b4fd90dc91235156e20d0575996	ocamlx(Stdlib)
= bb1212fc50265efb994301edbd2f0ecc	ocamlx(Stdlib__Array)
= 673e1a9feee4c24aeb62fe0f3e3ec4ad	ocamlx(Stdlib__Buffer)
= 332b036c618456adadc97ebc4c0edd44	ocamlx(Stdlib__Bytes)
= 7cfadcb8c8da32e9f00e211aa321718b	ocamlx(Stdlib__Char)
= 7d577dae6edeadfbfb103d3b9b8931ba	ocamlx(Stdlib__Digest)
= c9b944058da07ad3950f915d5682e6d9	ocamlx(Stdlib__Ephemeron)
= d28509257398356aab9aed2edf11d6cb	ocamlx(Stdlib__Filename)
= 983da56657d4a84e1921601ebd2ba5fd	ocamlx(Stdlib__Format)
= c60c5e9b84ec15b69584c299944d0abb	ocamlx(Stdlib__Hashtbl)
= 371b761429600b4a3480435d7bb83c8a	ocamlx(Stdlib__Int64)
= 6e981fd0efd14a1dff5f06e6c215a2d2	ocamlx(Stdlib__Lazy)
= 4ba20253768aee73219c565dee7243bd	ocamlx(Stdlib__Lexing)
= 75bce4c751643e407b6e75caf60b9db7	ocamlx(Stdlib__List)
= 70b19cf810e627da404b6c43c412d039	ocamlx(Stdlib__Pervasives)
= 92fa2375a865927827b95a710fd8db2b	ocamlx(Stdlib__Printexc)
= 5637860688f82d7f837407cfaf0a6fae	ocamlx(Stdlib__Printf)
= ac29fa1eab3344162fa1d6afdf6872d4	ocamlx(Stdlib__Queue)
= 77c1354d6effc4c07123bbe247f06393	ocamlx(Stdlib__Scanf)
= 9d41b0f6935651fa2b340a0986078a0a	ocamlx(Stdlib__Set)
= 6e4c13fcfc9d23fccc45c9e0ea742960	ocamlx(Stdlib__Stack)
= 16f00be18fe41d5b5f3bc6b9bf6629df	ocamlx(Stdlib__String)
= b7b20574aeaf6b9579b0e18cd71b27d3	ocamlx(Stdlib__Sys)
= bba061f4005216cd927f027dd350ea87	ocamlx(Stdlib__Weak)
= f98e9ef7f9e913e26df2cf0d3af4252b	ocamlx(Unix)

ارائه دهنده

مقدار	نام
= da2e2ab21fb4c5e0d881f076855f31f2	ocaml(Why3)
= 1.5.1-6.fc38	ocaml-why3-devel
= 1.5.1-6.fc38	ocaml-why3-devel(aarch-64)
= fcae02dd6977db433ba95cd181c4567f	ocamlx(Why3)

نحوه نصب

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

dnf install ocaml-why3-devel-1.5.1-6.fc38.aarch64.rpm

فایل ها

مسیرها
/usr/lib64/ocaml/why3/why3.a
/usr/lib64/ocaml/why3/why3.cmt
/usr/lib64/ocaml/why3/why3.cmx

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

تاریخ آخرین تغییر	جزئیات
2023-01-24	Rebuild OCaml packages for F38
2023-01-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2023-01-06	BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022
2022-11-26	Rebuild for coq 8.16.1
2022-11-01	Rebuild for ocaml-ppxlib 0.28.0
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