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

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

 -- Wong Hoi Sing Edison <hswong3i@pantarei-design.com>  Wed, 19 Nov 2025 21:06:45 +0800
