src:metamath
Date: 2024-06-16 05:00:05
Debian testing (main only)
| package | summary |
|---|---|
| metamath (= 0.195-1+b1) | unsatisfied dependency on libgcc-s1 |
Build-dependencies testing (main only)
| package | summary |
|---|---|
| metamath (= 0.195-1) | unsatisfied dependency on libgcc-s1 |