Skip to content
Sections
>> Trisquel >> 套件 >> aramo >> doc >> maria-doc
etiona  ] [  nabia  ] [  aramo  ]
[ 原始碼: maria  ]

套件: 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 有關的套件

  • 依賴
  • 推薦
  • 建議

下載 maria-doc

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
all 128.7 kB615 kB [文件列表]