Ubuntu

Binary package “maria-doc” in ubuntu xenial

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