معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Software verification library for ocaml

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

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

جایگزین ها

بسته	نسخه	معماری	مخزن
ocaml-why3-1.6.0-6.fc39.x86_64.rpm	1.6.0	x86_64	Fedora Everything
ocaml-why3-1.7.2-1.fc39.aarch64.rpm	1.7.2	aarch64	Fedora Everything
ocaml-why3-1.7.2-1.fc39.x86_64.rpm	1.7.2	x86_64	Fedora Everything
ocaml-why3-debuginfo-1.6.0-6.fc39.aarch64.rpm	1.6.0	aarch64	Fedora Everything
ocaml-why3-debuginfo-1.6.0-6.fc39.x86_64.rpm	1.6.0	x86_64	Fedora Everything
ocaml-why3-debuginfo-1.7.2-1.fc39.aarch64.rpm	1.7.2	aarch64	Fedora Everything
ocaml-why3-debuginfo-1.7.2-1.fc39.x86_64.rpm	1.7.2	x86_64	Fedora Everything
ocaml-why3-devel-1.6.0-6.fc39.aarch64.rpm	1.6.0	aarch64	Fedora Everything
ocaml-why3-devel-1.6.0-6.fc39.x86_64.rpm	1.6.0	x86_64	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)
= f3d3c236a301dad901d16557410094aa	ocaml(MenhirLib)
= 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)
= 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)
= 55a812d9a3c89e7a8ebb917e63e4beea	ocaml(Stdlib__Bigarray)
= 12b944b4b2913751cd65bdc638975d4d	ocaml(Stdlib__Buffer)
= b0d2a0027e7278e26a1fe4bc0e79a690	ocaml(Stdlib__Bytes)
= d5f041ccbe9783af90ca38337002fb4e	ocaml(Stdlib__Complex)
= 0d152be3cd9163970a657d842fca8ecf	ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808	ocaml(Stdlib__Either)
= e7385010d0d6a0bbd4191bc7546d458a	ocaml(Stdlib__Format)
= 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)
= 8debea255efc834da5c1bc2e73f09214	ocaml(Stdlib__Printf)
= 7c394795afe79287e9401b5c6c36e64d	ocaml(Stdlib__Queue)
= 3f2ddc04bb28ff1050c0c8d7cf5a8d57	ocaml(Stdlib__Random)
= cc3f899885b746f777815dc93be7ede2	ocaml(Stdlib__Seq)
= f849884bcf48f894e90800c7ccd98f21	ocaml(Stdlib__Set)
= facad7e0dada5941148738b8188d844f	ocaml(Stdlib__String)
= a0375c47cee9c7e20ff8f61d4f04e748	ocaml(Stdlib__Sys)
= 9ea864085095970c73b7b17c26c37317	ocaml(Stdlib__Uchar)
= 8da0575524ccb15782c0ca7ebc83ccb8	ocaml(Unix)
= 0009d1c1f4074c1e5cac1497b3dc94fa	ocaml(Z)
-	ocaml-zip-devel(aarch-64)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= a946c558e9c53602f69701ecf7217ead	ocaml(Why3)
= 1.6.0-6.fc39	ocaml-why3
= 1.6.0-6.fc39	ocaml-why3(aarch-64)

نحوه نصب

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

dnf install ocaml-why3-1.6.0-6.fc39.aarch64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/eb7b46194ee29c160c89ba418f4dcf82e03d81
/usr/lib64/ocaml/why3
/usr/lib64/ocaml/why3/META
/usr/lib64/ocaml/why3/why3.cmi

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

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