Package - maria

Package:  maria
apt-get install maria
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/maria/maria_1.3.5-6_amd64.deb (Size: 361.6KiB)

PropertyValue
Packagemaria
Version1.3.5-6
Installed-Size1134
MaintainerDebian Science Maintainers
Architectureamd64
Replacesmaria-vis
Dependslibc6 (>= 2.38), libreadline8t64 (>= 6.0), libstdc++6 (>= 4.6)
Recommendsmaria-doc, lbt, graphviz
Conflictsmaria-vis
Descriptionreachability analyzer for Algebraic System Nets
Description-md5ca252a3bfe57ff6749d5bd4344755a7e
Homepagehttp://www.tcs.hut.fi/Software/maria/
Tagdevel::testing-qa, field::mathematics, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses
Sectionmath
Priorityoptional
Filenamepool/main/m/maria/maria_1.3.5-6_amd64.deb
Size370288
MD5sumdf749473886cd2e5e6b9e7faf74c4414
SHA2560683f4e24d5518c1f4942529c2d4ad812cb6aacc932d253507b06a9c7ae2fbdd

Files in package

  • /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/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
  • /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
  • /usr/share/doc/maria/examples/swn.pn
  • /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/lintian/overrides/maria
  • /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