maria 1.3.5-4 in ubuntu - trusty / universe

About

This package is 429.3 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/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

Package Contents

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	919.3 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	1.7 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