This package is 400.8 KB.
It is available at http://ftp.debian.org/debian/pool/main/m/maria/maria_1.3.5-4.1_amd64.deb
.
View its full control file here:
debian/control.
reachability analyzer for Algebraic System Nets
This package depends on:
libc6 (>= 2.14), libgcc1 (>= 1:3.0), libncurses5 (>= 6), libreadline7 (>= 6.0), libstdc++6 (>= 4.6), libtinfo5 (>= 6).
This package does not suggest any other package.
This package conflicts with:
maria-vis.
maria 1.3.5-4.1 is in debian - stretch / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 317 bytes |
preinst
|
text/x-shellscript | N/A | N/A | 345 bytes |
prerm
|
text/x-shellscript | N/A | N/A | 288 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-sharedlib | root:root | 0o755 | 1.0 MB |
/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.5 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 |