maria 1.3.5-4.1 source package in Ubuntu
Changelog
maria (1.3.5-4.1) unstable; urgency=medium * Non-maintainer upload. [ Santiago Vila ] * Add build-arch and build-indep targets. (Closes: #822055) -- Sebastian Ramacher <email address hidden> Thu, 01 Dec 2016 23:06:16 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Bionic | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| maria_1.3.5-4.1.dsc | 2.0 KiB | 75506dae44b470b1ebbf5943ddb74c662d0d3f5d0b9f6dde6af2e541887be562 |
| maria_1.3.5.orig.tar.gz | 580.8 KiB | 44b3c926c1faa8a0b84a8690bf9cb0f6da7751d958452b652cdbd34569a14f28 |
| maria_1.3.5-4.1.debian.tar.xz | 7.5 KiB | c0891e4138356719982a128ae2b52b626119907177232a725612a5e3dc7d7a76 |
Available diffs
No changes file available.
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: No summary available for maria-dbgsym in ubuntu artful.
No description available for maria-dbgsym in ubuntu artful.
- maria-doc: No summary available for maria-doc in ubuntu cosmic.
No description available for maria-doc in ubuntu cosmic.
