معرفی شرکت ها
ocaml-menhir-20220210-15.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | ocaml-menhir |
| نام فایل بسته | ocaml-menhir-20220210-15.fc38.aarch64.rpm |
| نسخه بسته | 20220210 |
| انتشار بسته | 15.fc38 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Fri 27 Oct 2023 09 |
| هاست سازنده | buildvm-a64-39.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://gallium.inria.fr/~fpottier/menhir/ |
| مجوز | GPL-2.0-only |
| حجم دانلود | 2.2M |
| حجم نصب | 6.838M |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| - | ld-linux-aarch64.so.1()(64bit) |
| - | ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.17)(64bit) |
| - | libc.so.6(GLIBC_2.28)(64bit) |
| - | libc.so.6(GLIBC_2.33)(64bit) |
| - | libc.so.6(GLIBC_2.34)(64bit) |
| - | libm.so.6()(64bit) |
| - | libm.so.6(GLIBC_2.17)(64bit) |
| - | libm.so.6(GLIBC_2.29)(64bit) |
| - | libm.so.6(GLIBC_2.35)(64bit) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 07967607c94a7affdeec0ee73012d92c | ocaml(MenhirSdk) |
| = da482a190176ddb05b955a828a33b2cb | ocaml(MenhirSdk__Cmly_api) |
| = d7e912c1fd01529ac48f75d0342190cf | ocaml(MenhirSdk__Cmly_format) |
| = 750db84ad305d97d1abcdcd4be60320c | ocaml(MenhirSdk__Keyword) |
| = 3da552233cb32286b3d56a875ecb6aea | ocaml(MenhirSdk__Version) |
| = 79b0e9d3b6f7fed07eb3cc2abb961b91 | ocaml(Stdlib) |
| = 622d88fad859d0d0f019e691fc4fa865 | ocaml(Stdlib__Array) |
| = 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
| = 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
| = b6edb97b685819e873481fe05723c8bc | ocaml(Stdlib__Format) |
| = c9318c276ac7e383fd682c2dd06be434 | ocaml(Stdlib__Lexing) |
| = ee222542f6f8195441543b8b399b64b9 | ocaml(Stdlib__List) |
| = bc8af6214197dc8f40eaa738a4cd6a28 | ocaml(Stdlib__Printf) |
| = b63511032211eae4b567ba313cd72962 | ocaml(Stdlib__Seq) |
| = 871d2ee2167ac9e7977fa13994cf4658 | ocaml(Stdlib__Set) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = 20220210-15.fc38 | ocaml-menhirlib-devel(aarch-64) |
| = c7e66f692a26cedaf32bf7403646338c | ocamlx(MenhirSdk__Version) |
| = 29fc6b4fd90dc91235156e20d0575996 | ocamlx(Stdlib) |
| = bb1212fc50265efb994301edbd2f0ecc | ocamlx(Stdlib__Array) |
| = 983da56657d4a84e1921601ebd2ba5fd | ocamlx(Stdlib__Format) |
| = 75bce4c751643e407b6e75caf60b9db7 | ocamlx(Stdlib__List) |
| = 5637860688f82d7f837407cfaf0a6fae | ocamlx(Stdlib__Printf) |
| = 9d41b0f6935651fa2b340a0986078a0a | ocamlx(Stdlib__Set) |
| = 16f00be18fe41d5b5f3bc6b9bf6629df | ocamlx(Stdlib__String) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 20220121 | bundled(ocaml-fix) |
| = 20211129 | bundled(ocaml-pprint) |
| = 07967607c94a7affdeec0ee73012d92c | ocaml(MenhirSdk) |
| = da482a190176ddb05b955a828a33b2cb | ocaml(MenhirSdk__Cmly_api) |
| = d7e912c1fd01529ac48f75d0342190cf | ocaml(MenhirSdk__Cmly_format) |
| = 030b0847d23595c01ef74d69d9a0e590 | ocaml(MenhirSdk__Cmly_read) |
| = 750db84ad305d97d1abcdcd4be60320c | ocaml(MenhirSdk__Keyword) |
| = 3da552233cb32286b3d56a875ecb6aea | ocaml(MenhirSdk__Version) |
| = 20220210-15.fc38 | ocaml-menhir |
| = 20220210-15.fc38 | ocaml-menhir(aarch-64) |
| = b6f27f45f5c0865a70f5cea42026eadb | ocamlx(MenhirSdk) |
| = 68a79170d8826998ecb6d3069546d2a0 | ocamlx(MenhirSdk__Cmly_api) |
| = e5f498cf1ae96d6acb50ace49585a236 | ocamlx(MenhirSdk__Cmly_format) |
| = a524c6bd55629cf97b6355c79debe1da | ocamlx(MenhirSdk__Cmly_read) |
| = fa25c297f1dc21aee2e2d589a2586d66 | ocamlx(MenhirSdk__Keyword) |
| = c7e66f692a26cedaf32bf7403646338c | ocamlx(MenhirSdk__Version) |
نحوه نصب
نصب پکیج rpm ocaml-menhir:
dnf install ocaml-menhir-20220210-15.fc38.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/menhir |
| /usr/lib/.build-id |
| /usr/lib/.build-id/52 |
| /usr/lib/.build-id/52/26588597c9dbd51c428d6d37e8f9bde5d19887 |
| /usr/lib/.build-id/8b |
| /usr/lib/.build-id/8b/8d1e9cbfd3231b417d4deaaa39e25ccb0cbebd |
| /usr/lib64/ocaml/menhir |
| /usr/lib64/ocaml/menhir/META |
| /usr/lib64/ocaml/menhir/dune-package |
| /usr/lib64/ocaml/menhirSdk |
| /usr/lib64/ocaml/menhirSdk/META |
| /usr/lib64/ocaml/menhirSdk/cmly_api.ml |
| /usr/lib64/ocaml/menhirSdk/cmly_format.ml |
| /usr/lib64/ocaml/menhirSdk/cmly_read.mli |
| /usr/lib64/ocaml/menhirSdk/dune-package |
| /usr/lib64/ocaml/menhirSdk/keyword.mli |
| /usr/lib64/ocaml/menhirSdk/menhirSdk.a |
| /usr/lib64/ocaml/menhirSdk/menhirSdk.cma |
| /usr/lib64/ocaml/menhirSdk/menhirSdk.cmi |
| /usr/lib64/ocaml/menhirSdk/menhirSdk.cmt |
| /usr/lib64/ocaml/menhirSdk/menhirSdk.cmx |
| /usr/lib64/ocaml/menhirSdk/menhirSdk.cmxa |
| /usr/lib64/ocaml/menhirSdk/menhirSdk.cmxs |
| /usr/lib64/ocaml/menhirSdk/menhirSdk.ml |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Keyword.cmi |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Keyword.cmt |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Keyword.cmti |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Keyword.cmx |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Version.cmi |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Version.cmt |
| /usr/lib64/ocaml/menhirSdk/menhirSdk__Version.cmx |
| /usr/lib64/ocaml/menhirSdk/version.ml |
| /usr/share/doc/ocaml-menhir |
| /usr/share/doc/ocaml-menhir/manual.pdf |
| /usr/share/licenses/ocaml-menhir |
| /usr/share/licenses/ocaml-menhir/LICENSE |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|