معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Development files for using the ocaml-why3 library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything aarch64
نام بسته	ocaml-why3-devel
نام فایل بسته	ocaml-why3-devel-1.5.1-3.fc37.aarch64.rpm
نسخه بسته	1.5.1
انتشار بسته	3.fc37
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Sun 27 Nov 2022 07
هاست سازنده	buildvm-a64-07.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-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.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)
= 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)
= 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-3.fc37	ocaml-why3(aarch-64)
-	ocaml-zip-devel(aarch-64)
= 00eed8064d0d748ca9c18a5701201d8c	ocamlx(Big_int)
= 162669b09093ea11100da3962b876e9b	ocamlx(CamlinternalLazy)
= b1cf5908bd32decae56ba9dbb3154081	ocamlx(CamlinternalMod)
= 058cc49b692a2dd69add77baeb7dfd6d	ocamlx(CamlinternalOO)
= 87eac7abf0f83647a923f873595d0102	ocamlx(Dynlink)
= f3134c781ff2c5238ccc0498658d5794	ocamlx(Gzip)
= 394476c0c66e919189df7d43daff10a1	ocamlx(MenhirLib)
= 9b65217414fab883a16d7926e86674f3	ocamlx(Mlmpfr)
= 17ee0f99bb88915827de2f1532ffe066	ocamlx(Re__Str)
= cbcc1b614a85b856145b022d6ffebcbb	ocamlx(Sexplib)
= 9556fa796d8bd1c3c63fed2fbe4a662f	ocamlx(Sexplib__Std)
= a0fbdf000c6c60869c87e3bedf1e2a76	ocamlx(Sexplib_num)
= 5bc286e5490435fee3cb1926322fb235	ocamlx(Sexplib_num__Std)
= 38e227ea48015bcdfb5d9a4f1cb2689a	ocamlx(Stdlib)
= c17b2f7cf4a4cce9bfec4b26eec495f7	ocamlx(Stdlib__Array)
= ec734da0dbd1f4871a6e468dd99f1edb	ocamlx(Stdlib__Buffer)
= e596dc3e9601d184f8fb9caa16ebc39e	ocamlx(Stdlib__Bytes)
= 10c8fcef55e12a07a1c4ab479d07547d	ocamlx(Stdlib__Char)
= b1afec0ae33fff7434ae1060305691f5	ocamlx(Stdlib__Digest)
= 798ec24cbfd278de996827b3ee57f9af	ocamlx(Stdlib__Ephemeron)
= bb85b1b67a0eed0835203615c014e867	ocamlx(Stdlib__Filename)
= 252dee0ca8b365189f2ed175e3779e3c	ocamlx(Stdlib__Format)
= ffa6c0b4e31fbd58c5b0b7fda03f991f	ocamlx(Stdlib__Hashtbl)
= 8a6af33b06c097c633dbf42a56b24bd0	ocamlx(Stdlib__Int64)
= 7c884197066b622803d08bb919760f07	ocamlx(Stdlib__Lazy)
= b92bcde89c2e887e267fc7f0ad189ee9	ocamlx(Stdlib__Lexing)
= 55527cfeed14dbd1464fa9bc64111883	ocamlx(Stdlib__List)
= 0f866f8a50318d3d5e7b8917a3c15922	ocamlx(Stdlib__Pervasives)
= 91d35af34dfc354f724931b058a14954	ocamlx(Stdlib__Printexc)
= b5325f43d38afc618da7b0fb873c7faa	ocamlx(Stdlib__Printf)
= 2cf30720dec187835200485a0eda7f62	ocamlx(Stdlib__Queue)
= 4e834bd2603425af3ac3eaddd89f0f4f	ocamlx(Stdlib__Scanf)
= c0158eea0410a85c8ad557c3d3358cd9	ocamlx(Stdlib__Set)
= adbb9467e55324452b66f5e80904fd00	ocamlx(Stdlib__Stack)
= 650b799d3032d2e3c133eae0b21c0f95	ocamlx(Stdlib__String)
= 5c3bb467dddca8a9684f29a499f12938	ocamlx(Stdlib__Sys)
= dfb096ede16e512b37567ba33be3fb3c	ocamlx(Stdlib__Weak)
= 7ab988a5f1bc8761aa80f04fc8c5580e	ocamlx(Unix)

ارائه دهنده

مقدار	نام
= da2e2ab21fb4c5e0d881f076855f31f2	ocaml(Why3)
= 1.5.1-3.fc37	ocaml-why3-devel
= 1.5.1-3.fc37	ocaml-why3-devel(aarch-64)
= 0b8e2ef24286445ccd513a382d61566f	ocamlx(Why3)

نحوه نصب

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

dnf install ocaml-why3-devel-1.5.1-3.fc37.aarch64.rpm

فایل ها

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

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

تاریخ آخرین تغییر	جزئیات
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
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