Skip to content
Sections
>> Trisquel >> Pakiety >> etiona >> doc >> maria-doc
etiona  ] [  nabia  ] [  aramo  ]
[ Pakiet źródłowy: maria  ]

Pakiet: 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.

Inne pakiety związane z maria-doc

  • wymaga
  • poleca
  • sugeruje

Pobieranie maria-doc

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 128,8 KiB615 KiB [lista plików]