Changelog for python3-mypy_extensions-1.0.0-lp155.1.3.noarch.rpm :

* Mon Jul 24 2023 Bernhard Wiedemann - initial package