python-mypy-extensions (100:1.0.0-1) UNRELEASED; urgency=medium

  * https://github.com/python/mypy_extensions/releases/tag/1.0.0

 -- Wong Hoi Sing Edison <hswong3i@pantarei-design.com>  Tue, 06 Feb 2024 23:18:54 +0800
