Skip to content
Sections
>> Trisquel >> Paquets >> etiona >> doc >> maria-doc
etiona  ] [  nabia  ] [  aramo  ]
[ Paquet source : maria  ]

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

Autres paquets associés à maria-doc

  • dépendances
  • recommandations
  • suggestions

Télécharger maria-doc

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 128,8 ko615 ko [liste des fichiers]