src:boolector

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

Debian testing (main only)

packagesummary
boolector (= 1.5.118.6b56be4.121013-1.3+b2)unsatisfied dependency on libgcc-s1

Build-dependencies testing (main only)

packagesummary
boolector (= 1.5.118.6b56be4.121013-1.3)unsatisfied dependency on libgcc-s1