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

Paketti: maria-doc (1.3.5-4.1build2)

documentation of Maria

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

Muut pakettiin maria-doc liittyvät paketit

  • depends
  • recommends
  • suggests

Imuroi maria-doc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 128.7 kt615 kt [tiedostoluettelo]