src:maude

Date: 2024-05-18 05:00:02

Build-dependencies testing (main only)

packagesummary
maude (= 3.4-1)unsatisfied dependency on libgcc-s1