Version of eso-midas: 23.02pl1.0-1+b1
Architecture of eso-midas: amd64
Version of python3-mypy: 1.9.0-4
Architecture of python3-mypy: amd64