maria binary package in Ubuntu Quantal powerpc

 Maria is a powerful tool designed to aid engineers in modelling and
 solving concurrency related problems in parallel and distributed
 computing systems.
 .
 Maria finds deadlocks and violations against safety or liveness
 requirements by exploring all states that can be reached from the
 initial state of a system. The tool manages tens or hundreds of
 millions of reachable states and enabled actions.
 .
 The expressive power of Maria's formalism is close to high-level
 programming languages, thanks to its rich data type system and
 powerful algebraic operations.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2015-04-24 11:19:49 UTC Obsolete Ubuntu Quantal powerpc release universe math Optional 1.3.5-4
  • Removal requested on 2015-04-24.
  • Published on 2012-04-26
  • Copied from ubuntu oneiric-release powerpc in Primary Archive for Ubuntu