About

This package is 429.4 KB. It is available at http://ftp.debian.org/debian/pool/main/m/maria/maria_1.3.5-4_amd64.deb .

View its full control file here: debian/control.

Description

reachability analyzer for Algebraic System Nets

Relations

This package depends on: libc6 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libncurses5 (>= 5.5-5~), libreadline6 (>= 6.0), libstdc++6 (>= 4.6).

This package recommends: maria-doc, lbt, graphviz.

This package does not suggest any other package.

This package conflicts with: maria-vis.

Package Contents

This package is indexed.

maria 1.3.5-4 is in debian - jessie / main. This package's architecture is: amd64.

File Mime Type Owner Mode Size
postinst text/x-shellscript N/A N/A 237 bytes
prerm text/x-shellscript N/A N/A 211 bytes
/etc/ root:root 0o755
/etc/emacs/ root:root 0o755
/etc/emacs/site-start.d/ root:root 0o755
/etc/emacs/site-start.d/50maria.el text/x-lisp root:root 0o644 718 bytes
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/maria application/x-executable root:root 0o755 915.9 KB
/usr/bin/maria-cso text/x-shellscript root:root 0o755 3.1 KB
/usr/bin/maria-vis text/plain root:root 0o755 6.8 KB
/usr/lib/ root:root 0o755
/usr/lib/emacsen-common/ root:root 0o755
/usr/lib/emacsen-common/packages/ root:root 0o755
/usr/lib/emacsen-common/packages/install/ root:root 0o755
/usr/lib/emacsen-common/packages/install/maria text/x-shellscript root:root 0o755 1.2 KB
/usr/lib/emacsen-common/packages/remove/ root:root 0o755
/usr/lib/emacsen-common/packages/remove/maria text/x-shellscript root:root 0o755 459 bytes
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/maria/ root:root 0o755
/usr/share/doc/maria/changelog.Debian.gz application/gzip root:root 0o644 2.4 KB
/usr/share/doc/maria/copyright text/plain root:root 0o644 747 bytes
/usr/share/doc/maria/examples/ root:root 0o755
/usr/share/doc/maria/examples/buffer.pn text/plain root:root 0o644 264 bytes
/usr/share/doc/maria/examples/const.pn text/plain root:root 0o644 87 bytes
/usr/share/doc/maria/examples/dbm.pn text/plain root:root 0o644 1.6 KB
/usr/share/doc/maria/examples/dining.pn text/plain root:root 0o644 533 bytes
/usr/share/doc/maria/examples/init.pn text/plain root:root 0o644 1.0 KB
/usr/share/doc/maria/examples/modular.pn.gz application/gzip root:root 0o644 1.7 KB
/usr/share/doc/maria/examples/mutex.pn text/plain root:root 0o644 1.2 KB
/usr/share/doc/maria/examples/object.pn text/x-c++ root:root 0o644 1.4 KB
/usr/share/doc/maria/examples/order.pn text/plain root:root 0o644 109 bytes
/usr/share/doc/maria/examples/output.pn text/plain root:root 0o644 168 bytes
/usr/share/doc/maria/examples/quant.pn text/plain root:root 0o644 244 bytes
/usr/share/doc/maria/examples/queens.pn text/plain root:root 0o644 902 bytes
/usr/share/doc/maria/examples/README.examples text/plain root:root 0o644 1.2 KB
/usr/share/doc/maria/examples/resource.pn text/plain root:root 0o644 1.1 KB
/usr/share/doc/maria/examples/swn-m.pn.gz application/gzip root:root 0o644 3.0 KB
/usr/share/doc/maria/examples/swn.pn.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/maria/examples/sync.pn text/plain root:root 0o644 593 bytes
/usr/share/doc/maria/examples/typecast.pn text/plain root:root 0o644 444 bytes
/usr/share/doc/maria/NEWS.gz application/gzip root:root 0o644 3.6 KB
/usr/share/emacs/ root:root 0o755
/usr/share/emacs/site-lisp/ root:root 0o755
/usr/share/emacs/site-lisp/maria/ root:root 0o755
/usr/share/emacs/site-lisp/maria/pn-mode.el text/x-lisp root:root 0o644 7.7 KB
/usr/share/emacs/site-lisp/maria/sdl-mode.el text/x-lisp root:root 0o644 10.1 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/maria.1.gz application/gzip root:root 0o644 3.9 KB
/usr/share/man/man1/maria-cso.1.gz application/gzip root:root 0o644 1.2 KB
/usr/share/man/man1/maria-vis.1.gz application/gzip root:root 0o644 1.0 KB
/usr/share/maria/ root:root 0o755
/usr/share/maria/runtime/ root:root 0o755
/usr/share/maria/runtime/bushfcn.h text/x-c root:root 0o644 5.8 KB
/usr/share/maria/runtime/bush.h text/x-c root:root 0o644 4.3 KB
/usr/share/maria/runtime/bushpriv.h text/x-c root:root 0o644 4.1 KB
/usr/share/maria/runtime/codecfcn.h text/plain root:root 0o644 4.9 KB
/usr/share/maria/runtime/codec.h text/x-c root:root 0o644 3.6 KB
/usr/share/maria/runtime/Error.h text/plain root:root 0o644 1.7 KB
/usr/share/maria/runtime/event.h text/x-c root:root 0o644 3.7 KB
/usr/share/maria/runtime/eventpriv.h text/x-c root:root 0o644 1.6 KB
/usr/share/maria/runtime/statefcn.h text/x-c root:root 0o644 6.0 KB
/usr/share/maria/runtime/token.h text/plain root:root 0o644 4.2 KB
/usr/share/maria/runtime/types.h text/x-c root:root 0o644 1.2 KB