maria 1.3.5-4 source package in Ubuntu

Changelog

maria (1.3.5-4) unstable; urgency=low

  * debian/control:
    - set section to science
    - set priority to extra
    - set maintainer to debian-science
    - add Vcs-Git/Browse fields
  * Simplify invocations to debhelpers in debian/rules
  * patch utf8: migrate NEWS file to utf8
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sat,  14 May 2011 07:44:21 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync on 2011-05-14
Uploaded to:
Oneiric
Original maintainer:
Debian Science Team
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Yakkety release on 2016-04-22 universe math
Xenial release on 2015-10-22 universe math
Wily release on 2015-05-04 universe math
Vivid release on 2014-10-23 universe math
Utopic release on 2014-04-23 universe math
Trusty release on 2013-10-18 universe math
Precise release on 2011-10-13 universe math

Downloads

File Size SHA-256 Checksum
maria_1.3.5.orig.tar.gz 580.8 KiB 44b3c926c1faa8a0b84a8690bf9cb0f6da7751d958452b652cdbd34569a14f28
maria_1.3.5-4.debian.tar.gz 8.2 KiB 2174b39752dd36eaed64a77e1be41e01319c3742a3b280a17e246367fe44bf3a
maria_1.3.5-4.dsc 1.3 KiB c18648ad72b379e366bef1a13bf2525124da542aa24b13e4fc8e551b6367b10a

Available diffs

View changes file

Binary packages built by this source

maria: reachability analyzer for Algebraic System Nets

 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.

maria-dbgsym: debug symbols for package maria

 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.

maria-doc: documentation of Maria

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