معرفی شرکت ها
mona-examples-1.4r18-9.fc39.noarch.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 39 |
| مخزن | Fedora Everything noarch |
| نام بسته | mona-examples |
| نام فایل بسته | mona-examples-1.4r18-9.fc39.noarch.rpm |
| نسخه بسته | 1.4r18 |
| انتشار بسته | 9.fc39 |
| معماری بسته | noarch |
| نگهدارنده | - |
| تاریخ ساخت | Thu 20 Jul 2023 07 |
| هاست سازنده | buildvm-x86-12.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://www.brics.dk/mona/ |
| مجوز | GPL-2.0-or-later |
| حجم دانلود | 20K |
| حجم نصب | 51.421K |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/sh |
| = 1.4r18-9.fc39 | mona-libs |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 1.4r18-9.fc39 | mona-examples |
نحوه نصب
نصب پکیج rpm mona-examples:
dnf install mona-examples-1.4r18-9.fc39.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 |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
| 2023-03-16 |
Correct License tag: CC-PDDC instead of public domain
|
| 2023-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-11-28 |
Move the manual to the devel subpackage
|
| 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
|