Skip to content
Sections
>> Trisquel >> Paketler >> nabia >> doc >> maria-doc
etiona  ] [  nabia  ] [  aramo  ]
[ Kaynak: maria  ]

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

maria-doc ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen

maria-doc indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 128,7 kB615 kB [dosya listesi]