معرفی شرکت ها

maria_1.3.5-4.1+b2_armhf.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

reachability analyzer for Algebraic System Nets
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main armhf
نام بسته maria
نام فایل بسته maria_1.3.5-4.1+b2_armhf.deb
نسخه بسته 1.3.5
انتشار بسته 4.1+b2
معماری بسته armhf
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.tcs.hut.fi/Software/maria/
مجوز -
حجم دانلود 317808
حجم نصب 733
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+b2_amd64.deb 1.3.5 amd64 Debian main
maria_1.3.5-4.1+b2_arm64.deb 1.3.5 arm64 Debian main
maria_1.3.5-4.1+b2_armel.deb 1.3.5 armel Debian main
maria_1.3.5-4.1+b2_i386.deb 1.3.5 i386 Debian main
maria_1.3.5-4.1+b2_mips64el.deb 1.3.5 mips64el Debian main
maria_1.3.5-4.1+b2_mipsel.deb 1.3.5 mipsel Debian main
maria_1.3.5-4.1+b2_ppc64el.deb 1.3.5 ppc64el Debian main
maria_1.3.5-4.1+b2_s390x.deb 1.3.5 s390x Debian main
mariadb-backup_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-backup_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-backup_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-backup_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-backup_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-backup_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-backup_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-backup_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-backup_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-backup_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-backup_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-backup_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-backup_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-backup_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-backup_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-backup_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-backup_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-backup_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-client-10.5_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-client-10.5_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-client-10.5_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-client-10.5_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-client-10.5_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-client-10.5_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-client-10.5_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-client-10.5_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-client-10.5_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-client-10.5_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-client-10.5_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-client-10.5_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-client-10.5_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-client-10.5_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-client-10.5_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-client-10.5_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-client-10.5_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-client-10.5_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-client-core-10.5_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-client-core-10.5_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-client-core-10.5_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-client-core-10.5_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-client-core-10.5_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-client-core-10.5_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-client-core-10.5_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-client-core-10.5_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-client-core-10.5_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-client-core-10.5_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-client-core-10.5_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-client-core-10.5_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-client-core-10.5_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-client-core-10.5_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-client-core-10.5_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-client-core-10.5_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-client-core-10.5_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-client-core-10.5_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-client_10.5.19-0+deb11u2_all.deb 1:10.5.19 all Debian main
mariadb-client_10.5.21-0+deb11u1_all.deb 1:10.5.21 all Debian main
mariadb-client_10.5.23-0+deb11u1_all.deb 1:10.5.23 all Debian main
mariadb-common_10.5.19-0+deb11u2_all.deb 1:10.5.19 all Debian main
mariadb-common_10.5.21-0+deb11u1_all.deb 1:10.5.21 all Debian main
mariadb-common_10.5.23-0+deb11u1_all.deb 1:10.5.23 all Debian main
mariadb-plugin-connect_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-plugin-connect_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-plugin-connect_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-plugin-connect_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-plugin-connect_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-plugin-connect_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-plugin-connect_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-plugin-connect_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-plugin-connect_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-plugin-connect_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-plugin-connect_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-plugin-connect_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-plugin-connect_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-plugin-connect_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-plugin-connect_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-plugin-connect_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-plugin-connect_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-plugin-connect_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-plugin-cracklib-password-check_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-plugin-cracklib-password-check_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-plugin-cracklib-password-check_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-plugin-cracklib-password-check_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-plugin-cracklib-password-check_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-plugin-cracklib-password-check_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-plugin-cracklib-password-check_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-plugin-cracklib-password-check_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-plugin-cracklib-password-check_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-plugin-cracklib-password-check_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-plugin-cracklib-password-check_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-plugin-cracklib-password-check_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-plugin-cracklib-password-check_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-plugin-cracklib-password-check_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-plugin-cracklib-password-check_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-plugin-cracklib-password-check_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-plugin-cracklib-password-check_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-plugin-cracklib-password-check_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-plugin-gssapi-client_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-plugin-gssapi-client_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-plugin-gssapi-client_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-plugin-gssapi-client_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-plugin-gssapi-client_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-plugin-gssapi-client_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-plugin-gssapi-client_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-plugin-gssapi-client_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-plugin-gssapi-client_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-plugin-gssapi-client_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-plugin-gssapi-client_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-plugin-gssapi-client_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-plugin-gssapi-client_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-plugin-gssapi-client_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-plugin-gssapi-client_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-plugin-gssapi-client_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-plugin-gssapi-client_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-plugin-gssapi-client_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-plugin-gssapi-server_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-plugin-gssapi-server_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-plugin-gssapi-server_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-plugin-gssapi-server_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-plugin-gssapi-server_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-plugin-gssapi-server_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-plugin-gssapi-server_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-plugin-gssapi-server_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-plugin-gssapi-server_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-plugin-gssapi-server_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-plugin-gssapi-server_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-plugin-gssapi-server_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-plugin-gssapi-server_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-plugin-gssapi-server_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-plugin-gssapi-server_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-plugin-gssapi-server_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-plugin-gssapi-server_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-plugin-gssapi-server_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-plugin-mroonga_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-plugin-mroonga_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-plugin-mroonga_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-plugin-mroonga_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-plugin-mroonga_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-plugin-mroonga_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-plugin-mroonga_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-plugin-mroonga_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-plugin-mroonga_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-plugin-mroonga_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-plugin-mroonga_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-plugin-mroonga_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-plugin-mroonga_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-plugin-mroonga_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-plugin-mroonga_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-plugin-mroonga_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-plugin-oqgraph_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-plugin-oqgraph_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-plugin-oqgraph_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-plugin-oqgraph_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-plugin-oqgraph_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-plugin-oqgraph_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-plugin-oqgraph_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-plugin-oqgraph_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-plugin-oqgraph_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-plugin-oqgraph_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-plugin-oqgraph_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-plugin-oqgraph_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-plugin-oqgraph_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-plugin-oqgraph_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-plugin-oqgraph_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-plugin-oqgraph_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-plugin-oqgraph_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-plugin-oqgraph_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-plugin-rocksdb_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-plugin-rocksdb_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-plugin-rocksdb_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-plugin-rocksdb_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-plugin-rocksdb_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-plugin-rocksdb_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-plugin-rocksdb_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-plugin-rocksdb_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-plugin-s3_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-plugin-s3_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-plugin-s3_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-plugin-s3_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-plugin-s3_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-plugin-s3_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-plugin-s3_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-plugin-s3_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-plugin-s3_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-plugin-s3_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-plugin-s3_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-plugin-s3_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-plugin-s3_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-plugin-s3_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-plugin-s3_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-plugin-s3_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-plugin-s3_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-plugin-s3_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-plugin-spider_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-plugin-spider_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-plugin-spider_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-plugin-spider_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-plugin-spider_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-plugin-spider_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-plugin-spider_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-plugin-spider_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-plugin-spider_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-plugin-spider_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-plugin-spider_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-plugin-spider_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-plugin-spider_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-plugin-spider_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-plugin-spider_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-plugin-spider_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-plugin-spider_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-plugin-spider_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-server-10.5_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-server-10.5_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-server-10.5_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-server-10.5_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-server-10.5_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-server-10.5_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-server-10.5_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-server-10.5_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-server-10.5_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-server-10.5_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-server-10.5_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-server-10.5_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-server-10.5_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-server-10.5_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-server-10.5_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-server-10.5_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-server-10.5_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-server-10.5_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-server-core-10.5_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-server-core-10.5_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-server-core-10.5_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-server-core-10.5_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-server-core-10.5_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-server-core-10.5_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-server-core-10.5_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-server-core-10.5_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-server-core-10.5_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-server-core-10.5_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-server-core-10.5_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-server-core-10.5_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-server-core-10.5_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-server-core-10.5_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-server-core-10.5_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-server-core-10.5_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-server-core-10.5_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-server-core-10.5_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main
mariadb-server_10.5.19-0+deb11u2_all.deb 1:10.5.19 all Debian main
mariadb-server_10.5.21-0+deb11u1_all.deb 1:10.5.21 all Debian main
mariadb-server_10.5.23-0+deb11u1_all.deb 1:10.5.23 all Debian main
mariadb-test-data_10.5.19-0+deb11u2_all.deb 1:10.5.19 all Debian main
mariadb-test-data_10.5.21-0+deb11u1_all.deb 1:10.5.21 all Debian main
mariadb-test-data_10.5.23-0+deb11u1_all.deb 1:10.5.23 all Debian main
mariadb-test_10.5.19-0+deb11u2_armel.deb 1:10.5.19 armel Debian main
mariadb-test_10.5.19-0+deb11u2_armhf.deb 1:10.5.19 armhf Debian main
mariadb-test_10.5.19-0+deb11u2_mips64el.deb 1:10.5.19 mips64el Debian main
mariadb-test_10.5.19-0+deb11u2_mipsel.deb 1:10.5.19 mipsel Debian main
mariadb-test_10.5.19-0+deb11u2_ppc64el.deb 1:10.5.19 ppc64el Debian main
mariadb-test_10.5.19-0+deb11u2_s390x.deb 1:10.5.19 s390x Debian main
mariadb-test_10.5.21-0+deb11u1_amd64.deb 1:10.5.21 amd64 Debian main
mariadb-test_10.5.21-0+deb11u1_arm64.deb 1:10.5.21 arm64 Debian main
mariadb-test_10.5.21-0+deb11u1_i386.deb 1:10.5.21 i386 Debian main
mariadb-test_10.5.23-0+deb11u1_amd64.deb 1:10.5.23 amd64 Debian main
mariadb-test_10.5.23-0+deb11u1_arm64.deb 1:10.5.23 arm64 Debian main
mariadb-test_10.5.23-0+deb11u1_armel.deb 1:10.5.23 armel Debian main
mariadb-test_10.5.23-0+deb11u1_armhf.deb 1:10.5.23 armhf Debian main
mariadb-test_10.5.23-0+deb11u1_i386.deb 1:10.5.23 i386 Debian main
mariadb-test_10.5.23-0+deb11u1_mips64el.deb 1:10.5.23 mips64el Debian main
mariadb-test_10.5.23-0+deb11u1_mipsel.deb 1:10.5.23 mipsel Debian main
mariadb-test_10.5.23-0+deb11u1_ppc64el.deb 1:10.5.23 ppc64el Debian main
mariadb-test_10.5.23-0+deb11u1_s390x.deb 1:10.5.23 s390x Debian main


نیازمندی

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


نحوه نصب


نصب پکیج deb maria:

    sudo apt-get install maria_1.3.5-4.1+b2_armhf.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.armhf.gz
./usr/share/doc/maria/changelog.Debian.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