معرفی شرکت ها
ocaml-menhir-20230608-3.fc39.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 39 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | ocaml-menhir |
| نام فایل بسته | ocaml-menhir-20230608-3.fc39.aarch64.rpm |
| نسخه بسته | 20230608 |
| انتشار بسته | 3.fc39 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Thu 20 Jul 2023 09 |
| هاست سازنده | buildhw-a64-20.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://gallium.inria.fr/~fpottier/menhir/ |
| مجوز | GPL-2.0-only |
| حجم دانلود | 2.6M |
| حجم نصب | 8.525M |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.37.9000-17 | glibc |
| - | 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.25)(64bit) |
| - | libc.so.6(GLIBC_2.28)(64bit) |
| - | libc.so.6(GLIBC_2.32)(64bit) |
| - | libc.so.6(GLIBC_2.33)(64bit) |
| - | libc.so.6(GLIBC_2.34)(64bit) |
| - | libc.so.6(GLIBC_2.38)(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) |
| - | libm.so.6(GLIBC_2.38)(64bit) |
| = cecfafd5c021473f5e358c96ac7502a0 | ocaml(CamlinternalFormatBasics) |
| = 382da5e896ad061e5aeeea6f4956615d | ocaml(MenhirSdk) |
| = c9ece5d10124fc57687e1764b487deef | ocaml(MenhirSdk__Cmly_api) |
| = ad94e6cc12ec01820595acc7521e5a39 | ocaml(MenhirSdk__Cmly_format) |
| = c57f72001af320f6fa8606e673182bde | ocaml(MenhirSdk__Keyword) |
| = 3fbda745a00bea7b86e7cd8859f78e3d | ocaml(MenhirSdk__Version) |
| = 85f85ddb47edc0c7579657eee740302d | ocaml(Stdlib) |
| = 9bcf1a06bdcfbb976f898e818e15611a | ocaml(Stdlib__Array) |
| = 12b944b4b2913751cd65bdc638975d4d | ocaml(Stdlib__Buffer) |
| = 0d152be3cd9163970a657d842fca8ecf | ocaml(Stdlib__Domain) |
| = b3ad0f8c65f28252059edebc03f68808 | ocaml(Stdlib__Either) |
| = e7385010d0d6a0bbd4191bc7546d458a | ocaml(Stdlib__Format) |
| = be62854f0fbcd8531fe531cd00e34821 | ocaml(Stdlib__Lexing) |
| = feb7c568830f9f239501efb83f4725e4 | ocaml(Stdlib__List) |
| = 8debea255efc834da5c1bc2e73f09214 | ocaml(Stdlib__Printf) |
| = cc3f899885b746f777815dc93be7ede2 | ocaml(Stdlib__Seq) |
| = f849884bcf48f894e90800c7ccd98f21 | ocaml(Stdlib__Set) |
| = facad7e0dada5941148738b8188d844f | ocaml(Stdlib__String) |
| = 9ea864085095970c73b7b17c26c37317 | ocaml(Stdlib__Uchar) |
| = 20230608-3.fc39 | ocaml-menhirlib-devel(aarch-64) |
| = db7c649b7f91ea2c42a66e9ddec006f7 | ocamlx(MenhirSdk__Version) |
| = c6f226e44d674edd1d531948ff863828 | ocamlx(Stdlib) |
| = 888f09bbed5faa92247fb11d913bbe54 | ocamlx(Stdlib__Array) |
| = cb1095d933ce955029ed699727baead0 | ocamlx(Stdlib__Bytes) |
| = c94bb08665553c56dece8353dbff3b32 | ocamlx(Stdlib__Format) |
| = b78ab95aebcef67de9b99ec053edb534 | ocamlx(Stdlib__List) |
| = 662e9ca31ecdf5f11c9788ed827feb11 | ocamlx(Stdlib__Printf) |
| = 97f28c73dceb6fdb51985a1ca0c2f52d | ocamlx(Stdlib__Set) |
| = ff814de8355985ea0e450e0986a59446 | ocamlx(Stdlib__String) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 20230505 | bundled(ocaml-fix) |
| = 20211129 | bundled(ocaml-pprint) |
| = 382da5e896ad061e5aeeea6f4956615d | ocaml(MenhirSdk) |
| = c9ece5d10124fc57687e1764b487deef | ocaml(MenhirSdk__Cmly_api) |
| = ad94e6cc12ec01820595acc7521e5a39 | ocaml(MenhirSdk__Cmly_format) |
| = fc2a718eb4ef7108bdd396304116bfe4 | ocaml(MenhirSdk__Cmly_read) |
| = c57f72001af320f6fa8606e673182bde | ocaml(MenhirSdk__Keyword) |
| = 3fbda745a00bea7b86e7cd8859f78e3d | ocaml(MenhirSdk__Version) |
| = 20230608-3.fc39 | ocaml-menhir |
| = 20230608-3.fc39 | ocaml-menhir(aarch-64) |
| = b14f10416b83bd434806caa164339877 | ocamlx(MenhirSdk) |
| = af43053dff2fb9e12676b7b0dd6d1222 | ocamlx(MenhirSdk__Cmly_api) |
| = 5f20888cce098829bdf2087024ccddf2 | ocamlx(MenhirSdk__Cmly_format) |
| = f8887cf11d8cf5469ded0ccc8fe47965 | ocamlx(MenhirSdk__Cmly_read) |
| = eb4b4ebe144d62e864db305bf7344bbd | ocamlx(MenhirSdk__Keyword) |
| = db7c649b7f91ea2c42a66e9ddec006f7 | ocamlx(MenhirSdk__Version) |
نحوه نصب
نصب پکیج rpm ocaml-menhir:
dnf install ocaml-menhir-20230608-3.fc39.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/menhir |
| /usr/lib/.build-id |
| /usr/lib/.build-id/18 |
| /usr/lib/.build-id/18/bd6b3890b02ea37505351e5c29521449a73558 |
| /usr/lib/.build-id/2e |
| /usr/lib/.build-id/2e/7652ce40ae3199f18b4ad145edc0ea03085041 |
| /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-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
| 2023-07-11 |
OCaml 5.0 rebuild for Fedora 39
|
| 2023-07-10 |
Version 20230608
|
| 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
|