معرفی شرکت ها


mona-1.4r18-9.fc39.aarch64.rpm


Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

A decision procedure for the WS1S and WS2S logics
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything aarch64
نام بسته mona
نام فایل بسته mona-1.4r18-9.fc39.aarch64.rpm
نسخه بسته 1.4r18
انتشار بسته 9.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 20 Jul 2023 07
هاست سازنده buildvm-a64-26.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://www.brics.dk/mona/
مجوز GPL-2.0-or-later
حجم دانلود 172K
حجم نصب 983.325K
MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyzes the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counterexample.


جایگزین ها

بسته نسخه معماری مخزن
mona-1.4r18-9.fc39.src.rpm 1.4r18 i686 Fedora Everything
mona-1.4r18-9.fc39.x86_64.rpm 1.4r18 x86_64 Fedora Everything
mona-bitmap-fonts-2.90-35.fc39.noarch.rpm 2.90 noarch Fedora Everything
mona-debuginfo-1.4r18-9.fc39.aarch64.rpm 1.4r18 aarch64 Fedora Everything
mona-debuginfo-1.4r18-9.fc39.i686.rpm 1.4r18 i686 Fedora Everything
mona-debuginfo-1.4r18-9.fc39.x86_64.rpm 1.4r18 x86_64 Fedora Everything
mona-debugsource-1.4r18-9.fc39.aarch64.rpm 1.4r18 aarch64 Fedora Everything
mona-debugsource-1.4r18-9.fc39.i686.rpm 1.4r18 i686 Fedora Everything
mona-debugsource-1.4r18-9.fc39.x86_64.rpm 1.4r18 x86_64 Fedora Everything
mona-devel-1.4r18-9.fc39.aarch64.rpm 1.4r18 aarch64 Fedora Everything
mona-devel-1.4r18-9.fc39.i686.rpm 1.4r18 i686 Fedora Everything
mona-devel-1.4r18-9.fc39.x86_64.rpm 1.4r18 x86_64 Fedora Everything
mona-emacs-1.4r18-9.fc39.noarch.rpm 1.4r18 noarch Fedora Everything
mona-examples-1.4r18-9.fc39.noarch.rpm 1.4r18 noarch Fedora Everything
mona-libs-1.4r18-9.fc39.aarch64.rpm 1.4r18 aarch64 Fedora Everything
mona-libs-1.4r18-9.fc39.i686.rpm 1.4r18 i686 Fedora Everything
mona-libs-1.4r18-9.fc39.x86_64.rpm 1.4r18 x86_64 Fedora Everything
mona-libs-debuginfo-1.4r18-9.fc39.aarch64.rpm 1.4r18 aarch64 Fedora Everything
mona-libs-debuginfo-1.4r18-9.fc39.i686.rpm 1.4r18 i686 Fedora Everything
mona-libs-debuginfo-1.4r18-9.fc39.x86_64.rpm 1.4r18 x86_64 Fedora Everything
mona-sazanami-fonts-2.90-35.fc39.noarch.rpm 2.90 noarch Fedora Everything
mona-vlgothic-fonts-2.90-35.fc39.noarch.rpm 2.90 noarch Fedora Everything
monafont-2.90-35.fc39.src.rpm 2.90 noarch Fedora Everything


نیازمندی

مقدار نام
>= 2.37.9000-17 glibc
- 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)
- libc.so.6(GLIBC_2.38)(64bit)
- libgcc_s.so.1()(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
- libgcc_s.so.1(GCC_3.3.1)(64bit)
- libmonabdd.so.1()(64bit)
- libmonadfa.so.1()(64bit)
- libmonagta.so.1()(64bit)
- libmonamem.so.1()(64bit)
- libstdc++.so.6()(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.8)(64bit)
- libstdc++.so.6(CXXABI_1.3.9)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
= 1.4r18-9.fc39 mona-libs(aarch-64)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 1.4r18-9.fc39 mona
= 1.4r18-9.fc39 mona(aarch-64)


نحوه نصب


نصب پکیج rpm mona:

    dnf install mona-1.4r18-9.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/bin/dfa2dot
/usr/bin/gta2dot
/usr/bin/mona
/usr/lib/.build-id
/usr/lib/.build-id/58
/usr/lib/.build-id/58/874e886e016c188a19acb8444578ce33be3b94
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/118e8344d0582de2ee5839a71aa52085fe1dde
/usr/lib/.build-id/cb
/usr/lib/.build-id/cb/d4a58ae307467fd92e84b2021b570c45eff825


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
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
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