معرفی شرکت ها
mona-examples-1.4r18-7.fc37.noarch.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything noarch |
| نام بسته | mona-examples |
| نام فایل بسته | mona-examples-1.4r18-7.fc37.noarch.rpm |
| نسخه بسته | 1.4r18 |
| انتشار بسته | 7.fc37 |
| معماری بسته | noarch |
| نگهدارنده | - |
| تاریخ ساخت | Fri 22 Jul 2022 04 |
| هاست سازنده | buildvm-x86-16.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://www.brics.dk/mona/ |
| مجوز | GPLv2+ |
| حجم دانلود | 19K |
| حجم نصب | 51.421K |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/sh |
| = 1.4r18-7.fc37 | mona-libs |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 1.4r18-7.fc37 | mona-examples |
نحوه نصب
نصب پکیج rpm mona-examples:
dnf install mona-examples-1.4r18-7.fc37.noarch.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/bdd_example |
| /usr/bin/gta_example |
| /usr/bin/presburger_analysis |
| /usr/bin/presburger_transduction |
| /usr/share/doc/mona-examples |
| /usr/share/doc/mona-examples/ab1.mona |
| /usr/share/doc/mona-examples/ab2.mona |
| /usr/share/doc/mona-examples/bdd_volatility |
| /usr/share/doc/mona-examples/even.mona |
| /usr/share/doc/mona-examples/even_with_assert.mona |
| /usr/share/doc/mona-examples/even_with_pred.mona |
| /usr/share/doc/mona-examples/html.mona |
| /usr/share/doc/mona-examples/hyman.mona |
| /usr/share/doc/mona-examples/lossy_queue.mona |
| /usr/share/doc/mona-examples/minusmodulo.mona |
| /usr/share/doc/mona-examples/nadder.mona |
| /usr/share/doc/mona-examples/plusmodulo.mona |
| /usr/share/doc/mona-examples/presburger.mona |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2022-07-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-01-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-11-09 |
Drop XEmacs support
|
| 2021-07-22 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
| 2021-01-26 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
| 2020-07-28 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|