معرفی شرکت ها
mona_1.4-17-2_mips64el.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Debian Bullseye-11 |
مخزن | Debian main mips64el |
نام بسته | mona |
نام فایل بسته | mona_1.4-17-2_mips64el.deb |
نسخه بسته | 1.4 |
انتشار بسته | 17 |
معماری بسته | mips64el |
نگهدارنده | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | http://www.brics.dk/~amoeller/mona/index.html |
مجوز | - |
حجم دانلود | 296032 |
حجم نصب | 1695 |
جایگزین ها
نیازمندی
مقدار | نام |
---|---|
>= 2.7 | libc6 |
>= 1:3.0 | libgcc1 |
>= 5 | libstdc++6 |
نحوه نصب
نصب پکیج deb mona:
sudo apt-get install mona_1.4-17-2_mips64el.deb
فایل ها
مسیرها |
---|
./etc/emacs/site-start.d/50mona.el |
./usr/bin/dfa2dot |
./usr/bin/gta2dot |
./usr/bin/mona |
./usr/include/mona/bdd.h |
./usr/include/mona/config.h |
./usr/include/mona/dfa.h |
./usr/include/mona/dlmalloc.h |
./usr/include/mona/gnuc.h |
./usr/include/mona/gta.h |
./usr/include/mona/mem.h |
./usr/lib/emacsen-common/packages/install/mona |
./usr/lib/emacsen-common/packages/remove/mona |
./usr/lib/mips64el-linux-gnuabi64/libmonabdd.a |
./usr/lib/mips64el-linux-gnuabi64/libmonabdd.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonadfa.a |
./usr/lib/mips64el-linux-gnuabi64/libmonadfa.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonagta.a |
./usr/lib/mips64el-linux-gnuabi64/libmonagta.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonamem.a |
./usr/lib/mips64el-linux-gnuabi64/libmonamem.so.1.0.4 |
./usr/share/doc/mona/changelog.Debian.gz |
./usr/share/doc/mona/changelog.gz |
./usr/share/doc/mona/copyright |
./usr/share/doc/mona/examples/Examples/ab1.mona |
./usr/share/doc/mona/examples/Examples/ab2.mona |
./usr/share/doc/mona/examples/Examples/bdd_example.c |
./usr/share/doc/mona/examples/Examples/bdd_volatility |
./usr/share/doc/mona/examples/Examples/even.mona |
./usr/share/doc/mona/examples/Examples/even_with_assert.mona |
./usr/share/doc/mona/examples/Examples/even_with_pred.mona |
./usr/share/doc/mona/examples/Examples/gta_example.c |
./usr/share/doc/mona/examples/Examples/html.mona |
./usr/share/doc/mona/examples/Examples/hyman.mona |
./usr/share/doc/mona/examples/Examples/lossy_queue.mona |
./usr/share/doc/mona/examples/Examples/makefile |
./usr/share/doc/mona/examples/Examples/makefile.am |
./usr/share/doc/mona/examples/Examples/makefile.in |
./usr/share/doc/mona/examples/Examples/minusmodulo.mona |
./usr/share/doc/mona/examples/Examples/nadder.mona |
./usr/share/doc/mona/examples/Examples/plusmodulo.mona |
./usr/share/doc/mona/examples/Examples/presburger.mona |
./usr/share/doc/mona/examples/Examples/presburger_analysis.c |
./usr/share/doc/mona/examples/Examples/presburger_transduction.c |
./usr/share/doc/mona/examples/Examples/regexp.mona |
./usr/share/emacs/site-lisp/mona/mona-mode.el |
./usr/share/lintian/overrides/mona |
./usr/share/man/man1/mona.1.gz |
./usr/lib/mips64el-linux-gnuabi64/libmonabdd.so -> libmonabdd.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonabdd.so.1 -> libmonabdd.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonadfa.so -> libmonadfa.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonadfa.so.1 -> libmonadfa.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonagta.so -> libmonagta.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonagta.so.1 -> libmonagta.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonamem.so -> libmonamem.so.1.0.4 |
./usr/lib/mips64el-linux-gnuabi64/libmonamem.so.1 -> libmonamem.so.1.0.4 |