Package "maria"
| Name: | maria |
Description: |
reachability analyzer for Algebraic System Nets |
| Latest version: | 1.3.5-4.1build2 |
| Release: | focal (20.04) |
| Level: | base |
| Repository: | universe |
| Homepage: | http://www.tcs.hut.fi/Software/maria/ |
Links
Download "maria"
Other versions of "maria" in Focal
No other version of this package is available in the Focal release.Packages in group
Deleted packages are displayed in grey.
Changelog
| Version: 1.3.5-4.1build2 | 2020-04-28 21:55:05 UTC |
|---|---|
|
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 |
|
About
-
Send Feedback to @ubuntu_updates
