معرفی شرکت ها

maria_1.3.5-4.1+b2_i386.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

reachability analyzer for Algebraic System Nets
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main i386
نام بسته maria
نام فایل بسته maria_1.3.5-4.1+b2_i386.deb
نسخه بسته 1.3.5
انتشار بسته 4.1+b2
معماری بسته i386
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.tcs.hut.fi/Software/maria/
مجوز -
حجم دانلود 409412
حجم نصب 1312
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_armhf.deb 1.3.5 armhf 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.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-backup_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-backup_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-backup_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-backup_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-backup_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-backup_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-backup_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-backup_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-backup_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-backup_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-backup_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-backup_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-backup_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-backup_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-backup_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-backup_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-backup_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-client-core_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-client-core_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-client-core_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-client-core_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-client-core_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-client-core_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-client-core_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-client-core_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-client-core_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-client-core_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-client-core_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-client-core_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-client-core_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-client-core_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-client-core_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-client-core_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-client-core_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-client-core_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-client_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-client_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-client_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-client_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-client_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-client_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-client_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-client_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-client_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-client_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-client_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-client_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-client_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-client_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-client_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-client_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-client_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-client_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-common_10.11.3-1_all.deb 1:10.11.3 all Debian main
mariadb-common_10.11.4-1~deb12u1_all.deb 1:10.11.4 all Debian main
mariadb-common_10.11.6-0+deb12u1_all.deb 1:10.11.6 all Debian main
mariadb-plugin-connect_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-connect_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-connect_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-connect_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-connect_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-connect_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-connect_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-connect_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-connect_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-connect_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-connect_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-connect_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-connect_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-connect_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-connect_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-connect_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-connect_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-connect_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-cracklib-password-check_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-cracklib-password-check_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-cracklib-password-check_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-cracklib-password-check_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-cracklib-password-check_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-cracklib-password-check_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-cracklib-password-check_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-cracklib-password-check_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-cracklib-password-check_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-cracklib-password-check_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-cracklib-password-check_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-cracklib-password-check_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-cracklib-password-check_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-cracklib-password-check_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-cracklib-password-check_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-cracklib-password-check_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-cracklib-password-check_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-cracklib-password-check_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-gssapi-client_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-gssapi-client_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-gssapi-client_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-gssapi-client_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-gssapi-client_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-gssapi-client_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-gssapi-client_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-gssapi-client_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-gssapi-client_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-gssapi-client_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-gssapi-client_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-gssapi-client_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-gssapi-client_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-gssapi-client_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-gssapi-client_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-gssapi-client_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-gssapi-client_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-gssapi-client_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-gssapi-server_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-gssapi-server_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-gssapi-server_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-gssapi-server_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-gssapi-server_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-gssapi-server_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-gssapi-server_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-gssapi-server_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-gssapi-server_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-gssapi-server_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-gssapi-server_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-gssapi-server_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-gssapi-server_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-gssapi-server_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-gssapi-server_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-gssapi-server_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-gssapi-server_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-gssapi-server_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-hashicorp-key-management_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-hashicorp-key-management_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-hashicorp-key-management_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-hashicorp-key-management_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-hashicorp-key-management_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-hashicorp-key-management_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-hashicorp-key-management_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-hashicorp-key-management_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-hashicorp-key-management_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-hashicorp-key-management_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-hashicorp-key-management_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-hashicorp-key-management_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-hashicorp-key-management_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-hashicorp-key-management_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-hashicorp-key-management_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-hashicorp-key-management_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-hashicorp-key-management_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-hashicorp-key-management_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-mroonga_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-mroonga_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-mroonga_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-mroonga_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-mroonga_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-mroonga_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-mroonga_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-mroonga_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-mroonga_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-mroonga_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-mroonga_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-mroonga_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-mroonga_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-mroonga_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-mroonga_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-mroonga_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-oqgraph_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-oqgraph_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-oqgraph_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-oqgraph_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-oqgraph_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-oqgraph_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-oqgraph_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-oqgraph_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-oqgraph_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-oqgraph_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-oqgraph_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-oqgraph_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-oqgraph_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-oqgraph_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-oqgraph_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-oqgraph_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-oqgraph_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-oqgraph_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-provider-bzip2_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-provider-bzip2_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-provider-bzip2_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-provider-bzip2_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-provider-bzip2_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-provider-bzip2_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-provider-bzip2_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-provider-bzip2_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-provider-bzip2_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-provider-bzip2_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-provider-bzip2_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-provider-bzip2_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-provider-bzip2_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-provider-bzip2_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-provider-bzip2_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-provider-bzip2_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-provider-bzip2_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-provider-bzip2_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-provider-lz4_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-provider-lz4_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-provider-lz4_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-provider-lz4_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-provider-lz4_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-provider-lz4_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-provider-lz4_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-provider-lz4_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-provider-lz4_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-provider-lz4_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-provider-lz4_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-provider-lz4_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-provider-lz4_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-provider-lz4_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-provider-lz4_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-provider-lz4_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-provider-lz4_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-provider-lz4_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-provider-lzma_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-provider-lzma_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-provider-lzma_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-provider-lzma_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-provider-lzma_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-provider-lzma_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-provider-lzma_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-provider-lzma_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-provider-lzma_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-provider-lzma_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-provider-lzma_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-provider-lzma_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-provider-lzma_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-provider-lzma_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-provider-lzma_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-provider-lzma_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-provider-lzma_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-provider-lzma_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-provider-lzo_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-provider-lzo_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-provider-lzo_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-provider-lzo_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-provider-lzo_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-provider-lzo_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-provider-lzo_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-provider-lzo_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-provider-lzo_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-provider-lzo_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-provider-lzo_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-provider-lzo_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-provider-lzo_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-provider-lzo_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-provider-lzo_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-provider-lzo_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-provider-lzo_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-provider-lzo_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-provider-snappy_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-provider-snappy_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-provider-snappy_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-provider-snappy_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-provider-snappy_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-provider-snappy_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-provider-snappy_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-provider-snappy_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-provider-snappy_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-provider-snappy_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-provider-snappy_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-provider-snappy_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-provider-snappy_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-provider-snappy_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-provider-snappy_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-provider-snappy_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-provider-snappy_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-provider-snappy_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-rocksdb_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-rocksdb_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-rocksdb_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-rocksdb_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-rocksdb_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-rocksdb_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-rocksdb_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-rocksdb_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-s3_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-s3_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-s3_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-s3_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-s3_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-s3_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-s3_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-s3_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-s3_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-s3_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-s3_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-s3_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-s3_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-s3_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-s3_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-s3_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-s3_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-s3_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-plugin-spider_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-plugin-spider_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-plugin-spider_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-plugin-spider_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-plugin-spider_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-plugin-spider_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-plugin-spider_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-plugin-spider_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-plugin-spider_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-plugin-spider_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-plugin-spider_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-plugin-spider_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-plugin-spider_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-plugin-spider_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-plugin-spider_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-plugin-spider_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-plugin-spider_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-plugin-spider_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-server-10.5_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-server-10.5_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-server-10.5_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-server-10.5_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-server-10.5_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-server-10.5_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-server-10.5_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-server-10.5_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-server-10.5_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-server-10.5_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-server-10.5_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-server-10.5_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-server-core_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-server-core_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-server-core_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-server-core_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-server-core_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-server-core_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-server-core_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-server-core_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-server-core_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-server-core_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-server-core_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-server-core_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-server-core_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-server-core_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-server-core_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-server-core_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-server-core_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-server-core_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-server_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-server_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-server_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-server_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-server_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-server_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-server_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-server_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-server_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-server_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-server_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-server_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-server_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-server_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-server_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-server_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-server_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-server_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main
mariadb-test-data_10.11.3-1_all.deb 1:10.11.3 all Debian main
mariadb-test-data_10.11.4-1~deb12u1_all.deb 1:10.11.4 all Debian main
mariadb-test-data_10.11.6-0+deb12u1_all.deb 1:10.11.6 all Debian main
mariadb-test_10.11.3-1_armel.deb 1:10.11.3 armel Debian main
mariadb-test_10.11.3-1_armhf.deb 1:10.11.3 armhf Debian main
mariadb-test_10.11.3-1_mips64el.deb 1:10.11.3 mips64el Debian main
mariadb-test_10.11.3-1_mipsel.deb 1:10.11.3 mipsel Debian main
mariadb-test_10.11.3-1_ppc64el.deb 1:10.11.3 ppc64el Debian main
mariadb-test_10.11.3-1_s390x.deb 1:10.11.3 s390x Debian main
mariadb-test_10.11.4-1~deb12u1_amd64.deb 1:10.11.4 amd64 Debian main
mariadb-test_10.11.4-1~deb12u1_arm64.deb 1:10.11.4 arm64 Debian main
mariadb-test_10.11.4-1~deb12u1_i386.deb 1:10.11.4 i386 Debian main
mariadb-test_10.11.6-0+deb12u1_amd64.deb 1:10.11.6 amd64 Debian main
mariadb-test_10.11.6-0+deb12u1_arm64.deb 1:10.11.6 arm64 Debian main
mariadb-test_10.11.6-0+deb12u1_armel.deb 1:10.11.6 armel Debian main
mariadb-test_10.11.6-0+deb12u1_armhf.deb 1:10.11.6 armhf Debian main
mariadb-test_10.11.6-0+deb12u1_i386.deb 1:10.11.6 i386 Debian main
mariadb-test_10.11.6-0+deb12u1_mips64el.deb 1:10.11.6 mips64el Debian main
mariadb-test_10.11.6-0+deb12u1_mipsel.deb 1:10.11.6 mipsel Debian main
mariadb-test_10.11.6-0+deb12u1_ppc64el.deb 1:10.11.6 ppc64el Debian main
mariadb-test_10.11.6-0+deb12u1_s390x.deb 1:10.11.6 s390x Debian main


نیازمندی

مقدار نام
>= 2.3.4 libc6
>= 1:3.0 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_i386.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.i386.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