معرفی شرکت ها
ocaml-menhirlib-20220210-15.fc38.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | ocaml-menhirlib |
| نام فایل بسته | ocaml-menhirlib-20220210-15.fc38.x86_64.rpm |
| نسخه بسته | 20220210 |
| انتشار بسته | 15.fc38 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Fri 27 Oct 2023 09 |
| هاست سازنده | buildhw-x86-07.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://gallium.inria.fr/~fpottier/menhir/ |
| مجوز | LGPL-2.0-only WITH OCaml-LGPL-linking-exception |
| حجم دانلود | 182K |
| حجم نصب | 490.551K |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 79b0e9d3b6f7fed07eb3cc2abb961b91 | ocaml(Stdlib) |
| = 622d88fad859d0d0f019e691fc4fa865 | ocaml(Stdlib__Array) |
| = 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
| = 3d02c33317c0108c61e7a5eefa37519a | ocaml(Stdlib__Bytes) |
| = 62afe57b49defcc078960a68b9efbbee | ocaml(Stdlib__Char) |
| = 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
| = a71ea5238030770647165f659f80b1ab | ocaml(Stdlib__Int32) |
| = 01430d340c028322c7247031a874e355 | ocaml(Stdlib__Lazy) |
| = c9318c276ac7e383fd682c2dd06be434 | ocaml(Stdlib__Lexing) |
| = ee222542f6f8195441543b8b399b64b9 | ocaml(Stdlib__List) |
| = 25794d29f7f4018768ea900e331a2bf3 | ocaml(Stdlib__Obj) |
| = bc8af6214197dc8f40eaa738a4cd6a28 | ocaml(Stdlib__Printf) |
| = b63511032211eae4b567ba313cd72962 | ocaml(Stdlib__Seq) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = 7726a14ce36f5c6c3abb04975cec748b | ocaml(Stdlib__Sys) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 3ec00a6f1f5ba9c7faa313eb03850c8d | ocaml(MenhirLib) |
| = 20220210-15.fc38 | ocaml-menhirlib |
| = 20220210-15.fc38 | ocaml-menhirlib(x86-64) |
نحوه نصب
نصب پکیج rpm ocaml-menhirlib:
dnf install ocaml-menhirlib-20220210-15.fc38.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/9f |
| /usr/lib/.build-id/9f/f97e3b0ae7ea2c1c60b6b21e9dc0b793bbafd9 |
| /usr/lib64/ocaml/menhirLib |
| /usr/lib64/ocaml/menhirLib/META |
| /usr/lib64/ocaml/menhirLib/menhirLib.cma |
| /usr/lib64/ocaml/menhirLib/menhirLib.cmi |
| /usr/lib64/ocaml/menhirLib/menhirLib.cmxs |
| /usr/share/licenses/ocaml-menhirlib |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-10-27 |
Rebuild for coq 8.17.1
|
| 2023-04-01 |
Rebuild for coq 8.17.0
|
| 2023-01-24 |
Bump release and rebuild
|
| 2023-01-24 |
Rebuild OCaml packages for F38
|
| 2023-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-11-26 |
Rebuild for coq 8.16.1
|
| 2022-09-16 |
Rebuild for coq 8.16.0
|
| 2022-08-18 |
Rebuild to fix coq dependency
|
| 2022-07-22 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-07-19 |
Do not build the coq-menhirlib package on i686
|
| 2022-06-19 |
OCaml 4.14.0 rebuild
|
| 2022-03-26 |
Rebuild for coq 8.15.1
|
| 2022-03-01 |
Skip building the manual for EPEL
|
| 2022-02-28 |
Build with coq support
|
| 2022-02-24 |
Version 20220210
|
| 2022-02-04 |
OCaml 4.13.1 rebuild to remove package notes
|