معرفی شرکت ها
E-2.6-5.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | E |
| نام فایل بسته | E-2.6-5.fc38.aarch64.rpm |
| نسخه بسته | 2.6 |
| انتشار بسته | 5.fc38 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Wed 18 Jan 2023 11 |
| هاست سازنده | buildvm-a64-40.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://www.eprover.org/ |
| مجوز | (GPL-2.0-or-later OR LGPL-2.1-or-later) AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later |
| حجم دانلود | 1.5M |
| حجم نصب | 11.059M |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| - | 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.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) |
| - | libpicosat-trace.so.0()(64bit) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 2.6-5.fc38 | E |
| = 2.6-5.fc38 | E(aarch-64) |
نحوه نصب
نصب پکیج rpm E:
dnf install E-2.6-5.fc38.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/checkproof |
| /usr/bin/e_axfilter |
| /usr/bin/e_deduction_server |
| /usr/bin/e_ltb_runner |
| /usr/bin/e_stratpar |
| /usr/bin/eground |
| /usr/bin/ekb_create |
| /usr/bin/ekb_delete |
| /usr/bin/ekb_ginsert |
| /usr/bin/ekb_insert |
| /usr/bin/epclextract |
| /usr/bin/eprover |
| /usr/lib/.build-id |
| /usr/lib/.build-id/13 |
| /usr/lib/.build-id/13/56164fb728eca1fe0d6af8275e5dc5c5a9ac9e |
| /usr/lib/.build-id/5b |
| /usr/lib/.build-id/5b/52696c25a5a34ea3c85b7a3c0b2355c26da641 |
| /usr/lib/.build-id/5b/80b23df8038b9ff27a7ff602fda8a2e18ff325 |
| /usr/lib/.build-id/86 |
| /usr/lib/.build-id/86/3364f86af251d466b442f22e72ffa47af5e13c |
| /usr/lib/.build-id/8a |
| /usr/lib/.build-id/8a/1de09139d89827d35bb013003bc17f1191f13d |
| /usr/lib/.build-id/8b |
| /usr/lib/.build-id/8b/deaa2f60007c7593f5f79b751733b5c7dc74c4 |
| /usr/lib/.build-id/9f |
| /usr/lib/.build-id/9f/aec5d37ed7c5eb534e2a4c4a84b646c0ab2e97 |
| /usr/lib/.build-id/a0 |
| /usr/lib/.build-id/a0/31c9378c40fafd877138ae9d67725891a13e0c |
| /usr/lib/.build-id/bb |
| /usr/lib/.build-id/bb/3d4f14f5bb74a0c01a4b5ce900a06fa9e39684 |
| /usr/lib/.build-id/bb/ec034ba095318c56e07074adba0abf69fc4e84 |
| /usr/lib/.build-id/cc |
| /usr/lib/.build-id/cc/062912a0eadfde677f83ddd4b576fa82ef1be8 |
| /usr/lib/.build-id/fd |
| /usr/lib/.build-id/fd/c11c930c2659ba8a74f124042fe1011a64970d |
| /usr/share/doc/E |
| /usr/share/doc/E/ANNOUNCE |
| /usr/share/doc/E/CONTRIBUTORS |
| /usr/share/doc/E/E-0.6.html |
| /usr/share/doc/E/E-0.62.html |
| /usr/share/doc/E/E-0.7.html |
| /usr/share/doc/E/E-0.8.html |
| /usr/share/doc/E/E-0.82.html |
| /usr/share/doc/E/E-0.99.html |
| /usr/share/doc/E/E-0.999.html |
| /usr/share/doc/E/E-1.0pre.html |
| /usr/share/doc/E/E-1.1pre.html |
| /usr/share/doc/E/E-1.2pre.html |
| /usr/share/doc/E/E-1.4pre.html |
| /usr/share/doc/E/E-1.6pre.html |
| ... and 34 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-01-18 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-08-16 |
Convert License tag to SPDX
|
| 2022-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-07-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
| 2021-07-01 |
Version 2.6
|
| 2021-01-25 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|