معرفی شرکت ها
E-2.6-5.fc38.src.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything i686 |
| نام بسته | E |
| نام فایل بسته | E-2.6-5.fc38.src.rpm |
| نسخه بسته | 2.6 |
| انتشار بسته | 5.fc38 |
| معماری بسته | i686 |
| نگهدارنده | - |
| تاریخ ساخت | Wed 18 Jan 2023 11 |
| هاست سازنده | buildvm-x86-23.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 |
| حجم دانلود | 2.4M |
| حجم نصب | 2.382M |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| - | gcc |
| - | help2man |
| - | make |
| - | picosat-devel |
| - | tex(latex) |
| - | tex(supertabular.sty) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 2.6-5.fc38 | E |
| = 2.6-5.fc38 | E-debuginfo |
| = 2.6-5.fc38 | E-debugsource |
نحوه نصب
نصب پکیج rpm E:
dnf install E-2.6-5.fc38.src.rpm
فایل ها
| مسیرها |
|---|
| E-format-overflow.patch |
| E-picosat.patch |
| E-simple-apps.patch |
| E.spec |
| E.tgz |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|