Package "separated-coverage" was renamed to "unit-coverage".