Publishing details
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
Builds
Built packages
-
maria
reachability analyzer for Algebraic System Nets
-
maria-dbgsym
debug symbols for maria
-
maria-doc
documentation of Maria
Package files