maria 1.3.5-4.1build2 source package in Ubuntu

Changelog

maria (1.3.5-4.1build2) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:49:23 +0100

Upload details

Uploaded by:
Matthias Klose on 2020-03-22
Uploaded to:
Focal
Original maintainer:
Debian Science Team
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Hirsute release on 2020-10-23 universe math
Groovy release on 2020-04-24 universe math
Focal release on 2020-03-22 universe math

Downloads

File Size SHA-256 Checksum
maria_1.3.5.orig.tar.gz 580.8 KiB 44b3c926c1faa8a0b84a8690bf9cb0f6da7751d958452b652cdbd34569a14f28
maria_1.3.5-4.1build2.debian.tar.xz 7.6 KiB 8bcc8155d30642e4a634cdbd38266510b2585bedbba18bcddef4297ecbaf4891
maria_1.3.5-4.1build2.dsc 2.1 KiB 5b537c1d2c08f0d1eec1f01e69646dbf6b0271352bb687acfa979842f63ee0f0

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 maria
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.