معرفی شرکت ها

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

Example Mona source files and C programs

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything noarch
نام بسته	mona-examples
نام فایل بسته	mona-examples-1.4r18-8.fc38.noarch.rpm
نسخه بسته	1.4r18
انتشار بسته	8.fc38
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Fri 20 Jan 2023 02
هاست سازنده	buildhw-x86-11.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://www.brics.dk/mona/
مجوز	GPL-2.0-or-later
حجم دانلود	20K
حجم نصب	51.421K

Example Mona source files, for use with the mona executable, and also sample C programs that access the Mona library interfaces.

مقدار	نام
-	/usr/bin/sh
= 1.4r18-8.fc38	mona-libs

مقدار	نام
= 1.4r18-8.fc38	mona-examples

نصب پکیج rpm mona-examples:

dnf install mona-examples-1.4r18-8.fc38.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-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-11-28	Move the manual to the devel subpackage Convert License tags to SPDX Do not override Fedora build flags
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