Package: maria-doc (1.3.5-4)

[ Source: maria  ]

documentation of Maria

This package contains the documentation of Maria, a reachability analyzer for algebraic system nets, both in the formats info and html.

Tags: Software Development: Documentation, Testing and QA, Field: Mathematics, Made Of: made-of::html, made-of::info, Role: Documentation

Other Packages Related to maria-doc

• dep: dpkg (>= 1.15.4)

  Debian 软件包管理系统

  or install-info

  Manage installed documentation in info format

• rec: info

  单独的 GNU Info 文档浏览器

  or info-browser

  virtual package provided by emacs23, emacs23-lucid, emacs23-nox, info, jed, jed-extra, konqueror, pinfo, tkinfo, xjed

  or www-browser

  virtual package provided by chimera2, chromium, conkeror, dillo, edbrowse, elinks, elinks-lite, elvis, elvis-console, epiphany-browser, iceape, iceweasel, konqueror, links, links2, lynx-cur, midori, netrik, netsurf, netsurf-fb, netsurf-gtk, rekonq, surf, uzbl, w3m

• rec: maria

  reachability analyzer for Algebraic System Nets

Download maria-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	150.8 kB	688.0 kB	[list of files]