معرفی شرکت ها
ocaml-menhirlib-20230608-3.fc39.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Fedora 39 |
مخزن | Fedora Everything x86_64 |
نام بسته | ocaml-menhirlib |
نام فایل بسته | ocaml-menhirlib-20230608-3.fc39.x86_64.rpm |
نسخه بسته | 20230608 |
انتشار بسته | 3.fc39 |
معماری بسته | x86_64 |
نگهدارنده | - |
تاریخ ساخت | Thu 20 Jul 2023 08 |
هاست سازنده | buildhw-x86-15.iad2.fedoraproject.org |
نوع بسته | .rpm |
آدرس صفحه اصلی | https://gallium.inria.fr/~fpottier/menhir/ |
مجوز | LGPL-2.0-only WITH OCaml-LGPL-linking-exception |
حجم دانلود | 191K |
حجم نصب | 522.807K |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
ocaml-menhirlib-20230608-3.fc39.aarch64.rpm | 20230608 | aarch64 | Fedora Everything |
ocaml-menhirlib-debuginfo-20230608-3.fc39.aarch64.rpm | 20230608 | aarch64 | Fedora Everything |
ocaml-menhirlib-debuginfo-20230608-3.fc39.x86_64.rpm | 20230608 | x86_64 | Fedora Everything |
ocaml-menhirlib-devel-20230608-3.fc39.aarch64.rpm | 20230608 | aarch64 | Fedora Everything |
ocaml-menhirlib-devel-20230608-3.fc39.x86_64.rpm | 20230608 | x86_64 | Fedora Everything |
نیازمندی
مقدار | نام |
---|---|
= cecfafd5c021473f5e358c96ac7502a0 | ocaml(CamlinternalFormatBasics) |
= 2c797917c31a980b79e9d16d84057b70 | ocaml(CamlinternalLazy) |
= 85f85ddb47edc0c7579657eee740302d | ocaml(Stdlib) |
= 9bcf1a06bdcfbb976f898e818e15611a | ocaml(Stdlib__Array) |
= 12b944b4b2913751cd65bdc638975d4d | ocaml(Stdlib__Buffer) |
= b0d2a0027e7278e26a1fe4bc0e79a690 | ocaml(Stdlib__Bytes) |
= 71d01c936f35204d25fbdc2a38153066 | ocaml(Stdlib__Char) |
= b3ad0f8c65f28252059edebc03f68808 | ocaml(Stdlib__Either) |
= 1db604c2106f996ea47a572773a5ff7f | ocaml(Stdlib__Int32) |
= ca3d5c326131437daef18ae34e7f4aa9 | ocaml(Stdlib__Lazy) |
= be62854f0fbcd8531fe531cd00e34821 | ocaml(Stdlib__Lexing) |
= feb7c568830f9f239501efb83f4725e4 | ocaml(Stdlib__List) |
= 85655eceec5bcd6c7c4ef5dd6758b19d | ocaml(Stdlib__Obj) |
= 8debea255efc834da5c1bc2e73f09214 | ocaml(Stdlib__Printf) |
= cc3f899885b746f777815dc93be7ede2 | ocaml(Stdlib__Seq) |
= facad7e0dada5941148738b8188d844f | ocaml(Stdlib__String) |
= a0375c47cee9c7e20ff8f61d4f04e748 | ocaml(Stdlib__Sys) |
= 9ea864085095970c73b7b17c26c37317 | ocaml(Stdlib__Uchar) |
- | rtld(GNU_HASH) |
ارائه دهنده
مقدار | نام |
---|---|
= f3d3c236a301dad901d16557410094aa | ocaml(MenhirLib) |
= 20230608-3.fc39 | ocaml-menhirlib |
= 20230608-3.fc39 | ocaml-menhirlib(x86-64) |
نحوه نصب
نصب پکیج rpm ocaml-menhirlib:
dnf install ocaml-menhirlib-20230608-3.fc39.x86_64.rpm
فایل ها
مسیرها |
---|
/usr/lib/.build-id |
/usr/lib/.build-id/38 |
/usr/lib/.build-id/38/22b51a071f9eb25400f95cd7d55860766730a7 |
/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-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
|