Skip to content
Sections
>> Trisquel >> Packages >> etiona >> doc >> maria-doc
etiona  ] [  nabia  ] [  aramo  ]
[ Source: maria  ]

Package: maria-doc (1.3.5-4.1)

documentation of Maria

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

Other Packages Related to maria-doc

  • depends
  • recommends
  • suggests

Download maria-doc

Download for all available architectures
Architecture Package Size Installed Size Files
all 128.8 kB615 kB [list of files]