python-coverage (100:7.13.0-1) UNRELEASED; urgency=medium

  * https://github.com/nedbat/coveragepy/releases/tag/7.13.0

 -- Wong Hoi Sing Edison <hswong3i@pantarei-design.com>  Tue, 09 Dec 2025 16:38:08 +0800
