معرفی شرکت ها

ocaml-why3-1.5.1-3.fc37.x86_64.rpm

Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

Software verification library for ocaml
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything x86_64
نام بسته ocaml-why3
نام فایل بسته ocaml-why3-1.5.1-3.fc37.x86_64.rpm
نسخه بسته 1.5.1
انتشار بسته 3.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sun 27 Nov 2022 07
هاست سازنده buildvm-x86-20.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://why3.lri.fr/
مجوز LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 2.9M
حجم نصب 10.682M
This package contains an ocaml library that exposes the functionality of why3 to applications.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-why3-1.5.1-1.fc37.aarch64.rpm 1.5.1 aarch64 Fedora Everything
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-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(x86-64)
- ocaml-zip-devel(x86-64)
- rtld(GNU_HASH)


ارائه دهنده

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


نحوه نصب


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

    dnf install ocaml-why3-1.5.1-3.fc37.x86_64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/10/80c97048a26367e4e56890a954d4ef3235f78d
/usr/lib64/ocaml/why3
/usr/lib64/ocaml/why3/META
/usr/lib64/ocaml/why3/why3.cmi


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

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