Version of metastudent: 2.0.1-10
Architecture of metastudent: all
Version of python3-mypy: 1.15.0-5
Architecture of python3-mypy: amd64