[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]

[ Source: maria  ]

Links for maria-doc

Debian Resources:

• Bug Reports
• Developer Information (PTS)
• Debian Changelog
• Copyright File

Download Source Package maria:

• [maria_1.3.5-2.dsc]
• [maria_1.3.5.orig.tar.gz]
• [maria_1.3.5-2.debian.tar.gz]

Maintainer:

• Ralf Treinen (QA Page)

External Resources:

• Homepage [www.tcs.hut.fi]

Similar packages:

• maria
• zsh-doc
• zsh-beta-doc
• flex-doc
• octave2.1-htmldoc
• python-doc
• gap-doc
• flex-old-doc
• octave2.1-info
• guile-1.6-doc
• proofgeneral-doc

Other Packages Related to maria-doc

depends

recommends

suggests

• dep: dpkg (>= 1.15.4)

  Debian package management system

  or install-info

  Manage installed documentation in info format

• rec: info

  Standalone GNU Info documentation browser

  or info-browser

  virtual package provided by emacs21, emacs21-nox, emacs22, emacs22-gtk, emacs22-nox, emacs23, emacs23-lucid, emacs23-nox, info, jed, jed-extra, konqueror, pinfo, tkinfo, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule, xjed

  or www-browser

  virtual package provided by chimera2, conkeror, dillo, edbrowse, elinks, elinks-lite, elvis, elvis-console, epiphany-browser, galeon, iceape-browser, iceweasel, kazehakase, konqueror, links, links2, lynx-cur, midori, netrik, netsurf, netsurf-gtk, netsurf-linuxfb, netsurf-sdl, netsurf-vnc, w3m, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• rec: maria

  reachability analyzer for Algebraic System Nets

Download maria-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	149.4 kB	688 kB	[list of files]