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 | Published | Component | Section | |
|---|---|---|---|---|
| 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
- diff from 1.3.5-3 to 1.3.5-4 (2.1 KiB)
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.
