معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Development files for using the ocaml-why3 library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything x86_64
نام بسته	ocaml-why3-devel
نام فایل بسته	ocaml-why3-devel-1.6.0-6.fc39.x86_64.rpm
نسخه بسته	1.6.0
انتشار بسته	6.fc39
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Sun 10 Sep 2023 08
هاست سازنده	buildhw-x86-01.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://why3.lri.fr/
مجوز	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود	11M
حجم نصب	37.936M

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

جایگزین ها

بسته	نسخه	معماری	مخزن
ocaml-why3-devel-1.6.0-6.fc39.aarch64.rpm	1.6.0	aarch64	Fedora Everything
ocaml-why3-devel-1.7.2-1.fc39.aarch64.rpm	1.7.2	aarch64	Fedora Everything
ocaml-why3-devel-1.7.2-1.fc39.x86_64.rpm	1.7.2	x86_64	Fedora Everything

نیازمندی

مقدار	نام
= 4d4d4c610893901d7402c62f59ca135f	ocaml(Apron)
= c348bf5d6952825e8ab4697cd21d92e8	ocaml(Big_int)
= cecfafd5c021473f5e358c96ac7502a0	ocaml(CamlinternalFormatBasics)
= 2c797917c31a980b79e9d16d84057b70	ocaml(CamlinternalLazy)
= 5f3bf6a430a949e1f685fd8552eeeda5	ocaml(CamlinternalMod)
= 9899de300aafbea37490d6da3d93b55d	ocaml(CamlinternalOO)
= 4ef8f180b6a55f28c092cd0698987af5	ocaml(Dynlink)
= 7f8ea77af62ab97189f8fa6758fea917	ocaml(Gzip)
= f3d3c236a301dad901d16557410094aa	ocaml(MenhirLib)
= 0ef74f65ee39269f496a86ae4adfb0c4	ocaml(Mlmpfr)
= 2b960c6ec8f9bd2d977b755db3a91736	ocaml(Mpf)
= e1bf074ac1428f3fafc8d0c931e3378f	ocaml(Mpfr)
= 7bb02fc41f2e57d2ae6e3278e0daf6c5	ocaml(Mpfrf)
= aa3c82dc42874c951f5de02d02e9ad70	ocaml(Mpq)
= 27007b9e7bec6f31c6f75ef6c1a104bb	ocaml(Mpqf)
= a6d990d5bf1691f3034f0cf7342b8bd9	ocaml(Mpz)
= 41fd905f08a3593fa94fe2870adafaad	ocaml(Mpzf)
= 36ba3d58508817d41dd1905e534c85c9	ocaml(Nat)
= 69a10358c2a75c07be1bac4cd2c1551f	ocaml(Num)
= a2d7d1f6c85f1431106eec660c61feb5	ocaml(Parsexp)
= f2ace3978a2fbc2bd16eb2281215b6d1	ocaml(Parsexp__)
= ecf71d83510ec5c0d795adac27a75640	ocaml(Parsexp__Automaton_stack)
= 407b47529dd4d9bfc107d3a504b99d2a	ocaml(Parsexp__Automaton_stack_intf)
= 37263914f14d52a5797801f9cbe6b3ae	ocaml(Parsexp__Automaton_state)
= 5fe71ddcc03396b70f139512820277c8	ocaml(Parsexp__Automaton_state_intf)
= f3700023039a0acd757e6376a4da2ed0	ocaml(Parsexp__Conv)
= 44fd216ae0914b12ea266e1695e30719	ocaml(Parsexp__Conv_error)
= 7515797f3fe0f1f6c7849b1bfe1fffbe	ocaml(Parsexp__Conv_intf)
= 9e4fa694b5459ca8dc57401afd5a41b4	ocaml(Parsexp__Cst)
= ddeeda4f3d087763434f5b298a744116	ocaml(Parsexp__Import)
= 314a8d3c0206f676ae3255278a7e4466	ocaml(Parsexp__Of_sexp_error)
= 8c00e705a8d193634edad4296123afcf	ocaml(Parsexp__Old_parser_cont_state)
= 075eb3a6e5b2c4045ac35cbeff8eff11	ocaml(Parsexp__Parse_error)
= 2d9731a60562cdc2fd8533144826da45	ocaml(Parsexp__Parse_error_intf)
= a727c4dbbfde67345990f3e4482535d7	ocaml(Parsexp__Parser)
= 6f14d3d2f13cc3b47f79f8d39a2071ad	ocaml(Parsexp__Parser_intf)
= e9b1e31eb44a2d898828be4a40b1385c	ocaml(Parsexp__Parsexp_intf)
= e52e42adc40ca1b5f89a78448b9b7a40	ocaml(Parsexp__Positions)
= b7de8220ae9ec4987d6223d387ef8605	ocaml(Polka)
= 341ea856349b462e0ac3337940b8bef9	ocaml(Ratio)
= 2c8beee4bd76aa91b6b3b4f1758e0238	ocaml(Re)
= d98b15459a453742e83d070aec0b0d6b	ocaml(Re__)
= 81a60f76133ae8c764bd29bf5ec469f6	ocaml(Re__Automata)
= 8dce82d969030858ff8ee12721fd6f9a	ocaml(Re__Category)
= b3226b3568ff38f440a9602dfc33b239	ocaml(Re__Core)
= d6bd9e7ec6f5da9cac897ac83ceb131f	ocaml(Re__Cset)
= c8ea9ae24a11343a7347870f28af5dbf	ocaml(Re__Pmark)
= 1c2aaf27dfe1480b18923819ad7f129d	ocaml(Re__Str)
= 6f11763f8661ec252c84fd164cf1fc5c	ocaml(Sexplib)
= cfccb2e749552097d601143b260729ed	ocaml(Sexplib0)
= cee7851507cee476d084f632227d021b	ocaml(Sexplib0__)
= c604584979900a74954425781d43bb33	ocaml(Sexplib0__Sexp)
= 7d65e30e34de31d6910fecb2a4b77e30	ocaml(Sexplib0__Sexp_conv)
= 8eabce29b56fb51aca614d987a0b56b8	ocaml(Sexplib0__Sexp_conv_grammar)
= 954634f2fd29135a2b448b3d8aa44c34	ocaml(Sexplib0__Sexp_grammar)
= a5cbb07707131125dabfd16cfa035cb7	ocaml(Sexplib__Conv)
= ae300a954309c69fe50049bc52062eb6	ocaml(Sexplib__Lexer)
= b830eb97cbe9b5a93708d6092bfd644d	ocaml(Sexplib__Parser)
= 950659a0b9b2fdd15d839b205d2e51a5	ocaml(Sexplib__Parser_with_layout)
= 8da508dba740f8bf454bdb8d5cf56109	ocaml(Sexplib__Pre_sexp)
= 9c1d2a0a85026451590c8a75abd27441	ocaml(Sexplib__Sexp)
= 0810f63161ca22ac6f6f782045acef26	ocaml(Sexplib__Sexp_intf)
= ded84126957dd866cbf2a15b0bf74a2b	ocaml(Sexplib__Src_pos)
= 8d37092eeba3e994b1652f24de5bb25e	ocaml(Sexplib__Std)
= d3c6a10ea61a3008ba1e6134f94a91b2	ocaml(Sexplib__Type)
= a4510f5eefa4db82ec55a6bb21f6afb1	ocaml(Sexplib__Type_with_layout)
= d4a3a56ae12652a7e66102be82d495c2	ocaml(Sexplib_num)
= 7eb0c65903187c96a3facb99977207e9	ocaml(Sexplib_num__Sexplib_num_conv)
= 69d446d971463184a82d066546da9ae4	ocaml(Sexplib_num__Std)
= 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)
= ff876226ab2584c79cfe1afd26ca2f58	ocaml(Stdlib__Digest)
= 0d152be3cd9163970a657d842fca8ecf	ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808	ocaml(Stdlib__Either)
= bdab4e191fd0449be5e3038818ee8f9a	ocaml(Stdlib__Ephemeron)
= 218e1f57bdea9d296a9f66e323e71029	ocaml(Stdlib__Filename)
= 609c17e2e32fc58995201e5342ac2ce4	ocaml(Stdlib__Float)
= e7385010d0d6a0bbd4191bc7546d458a	ocaml(Stdlib__Format)
= 2fb21db8dc93e1970abdbab69be3d82d	ocaml(Stdlib__Fun)
= bafdecabd3fce4f5ccc09a1a5587dab4	ocaml(Stdlib__Hashtbl)
= 1db604c2106f996ea47a572773a5ff7f	ocaml(Stdlib__Int32)
= 7ab3f2ace09cfcc67be8a7133d18f0e2	ocaml(Stdlib__Int64)
= ca3d5c326131437daef18ae34e7f4aa9	ocaml(Stdlib__Lazy)
= be62854f0fbcd8531fe531cd00e34821	ocaml(Stdlib__Lexing)
= feb7c568830f9f239501efb83f4725e4	ocaml(Stdlib__List)
= 71415964978d1cf0c1701af1137aa1ea	ocaml(Stdlib__Map)
= 627e6e1768175d0dea895dfbcbc11457	ocaml(Stdlib__Nativeint)
= 85655eceec5bcd6c7c4ef5dd6758b19d	ocaml(Stdlib__Obj)
= 26fe71351d86ebe5d69a94600294de33	ocaml(Stdlib__Option)
= ce1d04478ff0e3403b8c05aa790a9f79	ocaml(Stdlib__Printexc)
= 8debea255efc834da5c1bc2e73f09214	ocaml(Stdlib__Printf)
= 7c394795afe79287e9401b5c6c36e64d	ocaml(Stdlib__Queue)
= 3f2ddc04bb28ff1050c0c8d7cf5a8d57	ocaml(Stdlib__Random)
= c00e8fda2c354d0d6aed03da5643b593	ocaml(Stdlib__Scanf)
= cc3f899885b746f777815dc93be7ede2	ocaml(Stdlib__Seq)
= f849884bcf48f894e90800c7ccd98f21	ocaml(Stdlib__Set)
= 2c058a31c4619e2e1504072ca87f6bee	ocaml(Stdlib__Stack)
= facad7e0dada5941148738b8188d844f	ocaml(Stdlib__String)
= a0375c47cee9c7e20ff8f61d4f04e748	ocaml(Stdlib__Sys)
= 9ea864085095970c73b7b17c26c37317	ocaml(Stdlib__Uchar)
= 2fce646729aeb77fa66361591aa9dc46	ocaml(Stdlib__Weak)
= 8da0575524ccb15782c0ca7ebc83ccb8	ocaml(Unix)
= 0009d1c1f4074c1e5cac1497b3dc94fa	ocaml(Z)
-	ocaml-menhir(x86-64)
-	ocaml-num-devel(x86-64)
-	ocaml-re-devel(x86-64)
-	ocaml-sexplib-devel(x86-64)
= 1.6.0-6.fc39	ocaml-why3(x86-64)
-	ocaml-zip-devel(x86-64)
= 207a052b3b0b2ee4f219813f5607ebf8	ocamlx(Apron)
= 9e30c11a5562dcd7c5efc3b219827502	ocamlx(Big_int)
= 58f88a5a5c64196bd9b440558fffce16	ocamlx(CamlinternalFormat)
= 86b70b45542f76ceaaf8e37cf02f4733	ocamlx(CamlinternalFormatBasics)
= cb7abf7287d654348173d00f3138d492	ocamlx(CamlinternalLazy)
= d5a40fc44e7086875825e07d79519de7	ocamlx(CamlinternalMod)
= 837bc42c277f1552b35648daabf1155b	ocamlx(CamlinternalOO)
= a17cc1a4a68db7738783ee5b108ce1e6	ocamlx(Dynlink)
= 9a99ded17f5dfef122748b3d904974cf	ocamlx(Dynlink_types)
= cbaa5a0a91e4c7d76271bb0fbb5d7e8e	ocamlx(Gzip)
= 3a971c175e01cd6b734439dc69e660d1	ocamlx(MenhirLib)
= 3efde8e23bda1b5166d784d8ae8a8d9d	ocamlx(Mlmpfr)
= e645fcfc718ec0736595c8475f6a9c20	ocamlx(Mpq)
= 5c842b914eb16f2c6ac914cc4d3ec069	ocamlx(Mpqf)
= c5fefb620f9bbc7430420a7e9d08e95e	ocamlx(Mpz)
= 61464396e87d8cf84de5ee94f8e2ebd5	ocamlx(Nat)
= 9365479b3842a5f85bfa08b619faef08	ocamlx(Polka)
= 36ca0f26b9709f84cd1542d7f63644de	ocamlx(Re__Core)
= 5ced1871335fa9fe9a3452e93914f8c3	ocamlx(Re__Emacs)
= e25fef6277e60fc69f7013d2b481c6e5	ocamlx(Re__Str)
= cb2829764e511180c89dba4819092434	ocamlx(Sexplib)
= 30348efbac4bacd805d9b49502143e61	ocamlx(Sexplib0__Sexp_conv)
= 38bce640caabcaf2df8e2c459dc384ee	ocamlx(Sexplib__Std)
= d68fb12fa375de817946b0eda162b993	ocamlx(Sexplib_num)
= 6f0052b13d8740104f9570d953d50dcd	ocamlx(Sexplib_num__Sexplib_num_conv)
= 6b516699083a133c7172e0d81da26cc2	ocamlx(Sexplib_num__Std)
= c6f226e44d674edd1d531948ff863828	ocamlx(Stdlib)
= 888f09bbed5faa92247fb11d913bbe54	ocamlx(Stdlib__Array)
= 3bbe0fd85e51b1403af1226c5d608789	ocamlx(Stdlib__Buffer)
= cb1095d933ce955029ed699727baead0	ocamlx(Stdlib__Bytes)
= 9d509a8b8f129bee104d1c5e382565e5	ocamlx(Stdlib__Char)
= b71b113b4221f59923bc674f67cdc511	ocamlx(Stdlib__Digest)
= d7f8796322f2cd99efcf341f8e42acf4	ocamlx(Stdlib__Domain)
= e89d97a3ed975536fa9b054b04d01689	ocamlx(Stdlib__Ephemeron)
= 1a0948a06efab72702b15994c0522f5d	ocamlx(Stdlib__Filename)
= eab0af4117849512169ff7cac2a084dd	ocamlx(Stdlib__Float)
= c94bb08665553c56dece8353dbff3b32	ocamlx(Stdlib__Format)
= 6df881bdc3f690eb14e929330473335a	ocamlx(Stdlib__Fun)
= acdc6437bcb9e7a81c6ed8660e82b471	ocamlx(Stdlib__Hashtbl)
= 34583d780fb32553cca7b01d146bc5d2	ocamlx(Stdlib__Int64)
= 3b140d54ad55fc79336655b321ba4251	ocamlx(Stdlib__Lazy)
= 76289d92733d00a1d4c106dfb93c8ac7	ocamlx(Stdlib__Lexing)
= b78ab95aebcef67de9b99ec053edb534	ocamlx(Stdlib__List)
= 7b1e4df07736a72638c021a5a9ffbccd	ocamlx(Stdlib__Map)
= dc9e0059b8bcfff0535b76d7f47c1795	ocamlx(Stdlib__Obj)
= 39cefd8b02e4c8f5acf1ea53b373c355	ocamlx(Stdlib__Option)
= dbd2965d5e68fda0a54826680cfe3254	ocamlx(Stdlib__Printexc)
= 662e9ca31ecdf5f11c9788ed827feb11	ocamlx(Stdlib__Printf)
= 968e2f724fd81b382edfc126f84c80d0	ocamlx(Stdlib__Queue)
= 2617b12d0fefbf237d757668e0688155	ocamlx(Stdlib__Random)
= 194cd750fb6f7e70c46fdc85aa1a0a95	ocamlx(Stdlib__Scanf)
= 97f28c73dceb6fdb51985a1ca0c2f52d	ocamlx(Stdlib__Set)
= 018afd60df09186eaef4d0d459f62321	ocamlx(Stdlib__Stack)
= ff814de8355985ea0e450e0986a59446	ocamlx(Stdlib__String)
= 318f20829e5e32f065cd5b00f4538f80	ocamlx(Stdlib__Sys)
= 1662d917b454dc90a83a0e89c6e379ed	ocamlx(Stdlib__Weak)
= 0fcc9ad8081b664e01ea70f9c9f893df	ocamlx(Unix)
= 6198bfa6e30905f220cf5f1cd3d005f9	ocamlx(Z)

ارائه دهنده

مقدار	نام
= a946c558e9c53602f69701ecf7217ead	ocaml(Why3)
= 1.6.0-6.fc39	ocaml-why3-devel
= 1.6.0-6.fc39	ocaml-why3-devel(x86-64)
= 9f8af398117ad03daf802a049ab67587	ocamlx(Why3)

نحوه نصب

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

dnf install ocaml-why3-devel-1.6.0-6.fc39.x86_64.rpm

فایل ها

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

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

تاریخ آخرین تغییر	جزئیات
2023-09-09	Rebuild for ocaml-ocamlgraph 2.1.0
2023-07-29	Require cvc5 instead of cvc4
2023-07-27	Rebuild for ocaml-zarith 1.13
2023-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-18	Validate metadata with appstream-util
2023-07-13	Rebuild for mpfr 4.2.0
2023-07-10	Version 1.6.0 Enable inference with BDDs Add patch for coq 8.17 support
2023-04-01	Rebuild for coq 8.17.0
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