src:metamath

Date: 2024-06-16 05:00:05

Debian testing (main only)

packagesummary
metamath (= 0.195-1+b1)unsatisfied dependency on libgcc-s1

Build-dependencies testing (main only)

packagesummary
metamath (= 0.195-1)unsatisfied dependency on libgcc-s1