../ spyder-5.0.0-build.patch 09-Apr-2021 14:39 1147 spyder-5.2.0-doc-theme-renamed.patch 25-Nov-2021 01:39 356