معرفی شرکت ها

maria_1.3.5-4.1+b1_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

reachability analyzer for Algebraic System Nets
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main s390x
نام بسته maria
نام فایل بسته maria_1.3.5-4.1+b1_s390x.deb
نسخه بسته 1.3.5
انتشار بسته 4.1+b1
معماری بسته s390x
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.tcs.hut.fi/Software/maria/
مجوز -
حجم دانلود 386872
حجم نصب 1394
Maria is a powerful tool designed to aid engineers in modelling and solving concurrency related problems in parallel and distributed computing systems. . Maria finds deadlocks and violations against safety or liveness requirements by exploring all states that can be reached from the initial state of a system. The tool manages tens or hundreds of millions of reachable states and enabled actions. . The expressive power of Maria's formalism is close to high-level programming languages, thanks to its rich data type system and powerful algebraic operations.


جایگزین ها

بسته نسخه معماری مخزن
maria-doc_1.3.5-4.1_all.deb 1.3.5 all Debian main
maria_1.3.5-4.1+b1_amd64.deb 1.3.5 amd64 Debian main
maria_1.3.5-4.1+b1_arm64.deb 1.3.5 arm64 Debian main
maria_1.3.5-4.1+b1_armel.deb 1.3.5 armel Debian main
maria_1.3.5-4.1+b1_armhf.deb 1.3.5 armhf Debian main
maria_1.3.5-4.1+b1_i386.deb 1.3.5 i386 Debian main
maria_1.3.5-4.1+b1_mips.deb 1.3.5 mips Debian main
maria_1.3.5-4.1+b1_mips64el.deb 1.3.5 mips64el Debian main
maria_1.3.5-4.1+b1_mipsel.deb 1.3.5 mipsel Debian main
maria_1.3.5-4.1+b1_ppc64el.deb 1.3.5 ppc64el Debian main
mariadb-backup_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-backup_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-backup_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-backup_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-backup_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-backup_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-backup_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-backup_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-backup_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-backup_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-client-10.3_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-client-core-10.3_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-client_10.3.34-0+deb10u1_all.deb 1:10.3.34 all Debian main
mariadb-common_10.3.34-0+deb10u1_all.deb 1:10.3.34 all Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-plugin-connect_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-plugin-cracklib-password-check_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-plugin-gssapi-client_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-plugin-gssapi-server_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-plugin-mroonga_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-plugin-mroonga_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-plugin-mroonga_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-plugin-mroonga_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-plugin-mroonga_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-plugin-mroonga_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-plugin-mroonga_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-plugin-mroonga_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-plugin-oqgraph_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-plugin-rocksdb_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-plugin-rocksdb_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-plugin-rocksdb_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-plugin-rocksdb_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-plugin-spider_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-plugin-tokudb_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-server-10.3_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-server-core-10.3_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main
mariadb-server_10.3.34-0+deb10u1_all.deb 1:10.3.34 all Debian main
mariadb-test-data_10.3.34-0+deb10u1_all.deb 1:10.3.34 all Debian main
mariadb-test_10.3.34-0+deb10u1_amd64.deb 1:10.3.34 amd64 Debian main
mariadb-test_10.3.34-0+deb10u1_arm64.deb 1:10.3.34 arm64 Debian main
mariadb-test_10.3.34-0+deb10u1_armel.deb 1:10.3.34 armel Debian main
mariadb-test_10.3.34-0+deb10u1_armhf.deb 1:10.3.34 armhf Debian main
mariadb-test_10.3.34-0+deb10u1_i386.deb 1:10.3.34 i386 Debian main
mariadb-test_10.3.34-0+deb10u1_mips.deb 1:10.3.34 mips Debian main
mariadb-test_10.3.34-0+deb10u1_mips64el.deb 1:10.3.34 mips64el Debian main
mariadb-test_10.3.34-0+deb10u1_mipsel.deb 1:10.3.34 mipsel Debian main
mariadb-test_10.3.34-0+deb10u1_ppc64el.deb 1:10.3.34 ppc64el Debian main
mariadb-test_10.3.34-0+deb10u1_s390x.deb 1:10.3.34 s390x Debian main


نیازمندی

مقدار نام
>= 2.4 libc6
>= 1:3.0 libgcc1
>= 6 libncurses6
>= 6.0 libreadline7
>= 4.6 libstdc++6
>= 6 libtinfo6


نحوه نصب


نصب پکیج deb maria:

    sudo apt-get install maria_1.3.5-4.1+b1_s390x.deb


فایل ها

مسیرها
./etc/emacs/site-start.d/50maria.el
./usr/bin/maria
./usr/bin/maria-cso
./usr/bin/maria-vis
./usr/lib/emacsen-common/packages/install/maria
./usr/lib/emacsen-common/packages/remove/maria
./usr/share/doc/maria/NEWS.gz
./usr/share/doc/maria/changelog.Debian.gz
./usr/share/doc/maria/changelog.Debian.s390x.gz
./usr/share/doc/maria/copyright
./usr/share/doc/maria/examples/README.examples
./usr/share/doc/maria/examples/buffer.pn
./usr/share/doc/maria/examples/const.pn
./usr/share/doc/maria/examples/dbm.pn
./usr/share/doc/maria/examples/dining.pn
./usr/share/doc/maria/examples/init.pn
./usr/share/doc/maria/examples/modular.pn.gz
./usr/share/doc/maria/examples/mutex.pn
./usr/share/doc/maria/examples/object.pn
./usr/share/doc/maria/examples/order.pn
./usr/share/doc/maria/examples/output.pn
./usr/share/doc/maria/examples/quant.pn
./usr/share/doc/maria/examples/queens.pn
./usr/share/doc/maria/examples/resource.pn
./usr/share/doc/maria/examples/swn-m.pn.gz
./usr/share/doc/maria/examples/swn.pn.gz
./usr/share/doc/maria/examples/sync.pn
./usr/share/doc/maria/examples/typecast.pn
./usr/share/emacs/site-lisp/maria/pn-mode.el
./usr/share/emacs/site-lisp/maria/sdl-mode.el
./usr/share/man/man1/maria-cso.1.gz
./usr/share/man/man1/maria-vis.1.gz
./usr/share/man/man1/maria.1.gz
./usr/share/maria/runtime/Error.h
./usr/share/maria/runtime/bush.h
./usr/share/maria/runtime/bushfcn.h
./usr/share/maria/runtime/bushpriv.h
./usr/share/maria/runtime/codec.h
./usr/share/maria/runtime/codecfcn.h
./usr/share/maria/runtime/event.h
./usr/share/maria/runtime/eventpriv.h
./usr/share/maria/runtime/statefcn.h
./usr/share/maria/runtime/token.h
./usr/share/maria/runtime/types.h