maria 1.3.5-4.2build2 source package in Ubuntu
Changelog
maria (1.3.5-4.2build2) noble; urgency=medium * No-change rebuild for CVE-2024-3094 -- William Grant <email address hidden> Mon, 01 Apr 2024 17:53:41 +1100
Upload details
- Uploaded by:
- William Grant
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Oracular | release | universe | math | |
Noble | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
maria_1.3.5.orig.tar.gz | 580.8 KiB | 44b3c926c1faa8a0b84a8690bf9cb0f6da7751d958452b652cdbd34569a14f28 |
maria_1.3.5-4.2build2.debian.tar.xz | 7.7 KiB | 38ddc877af87919aac24a7ed941cf57eee1101167c69e086e75670db1c82653e |
maria_1.3.5-4.2build2.dsc | 2.1 KiB | c1332e5164dce40a6d6b9616b6e749ecf4b4a061c327ba0b433875db27a8dc32 |
Available diffs
- diff from 1.3.5-4.2build1 to 1.3.5-4.2build2 (545 bytes)
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.