../ spyder-4.1.5-doc-theme-renamed.patch 15-Sep-2020 08:39 375 spyder-4.2.1-build.patch 16-Jan-2021 08:09 1232 spyder-5.0.0-build.patch 09-Apr-2021 12:39 1147 spyder-5.0.1-doc-theme-renamed.patch 19-May-2021 19:09 346