Hi Leo,

> Thanks for the patches Giacomo and Lars-Dominik!
> 
> Pushed as e779dc8be048a85fa0e51013b1aed46082284937
> 
> `guix lint` reported that a few packages have newer versions available.
> Can you take a look?
python-mypy-extensions already exists in python-check.scm and is causing a
conflict now.

Cheers,
Lars


-- 
Lars-Dominik Braun
Wissenschaftlicher Mitarbeiter/Research Associate

www.leibniz-psychology.org
ZPID - Leibniz-Institut für Psychologie /
ZPID - Leibniz Institute for Psychology
Universitätsring 15
D-54296 Trier - Germany
Tel.: +49–651–201-4964