* gnu/packages/python-check.scm (python-mypy-extensions): Update to 1.0.0 Signed-off-by: Ludovic Courtès <ludo@gnu.org>