../ 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 spyder-5.2.0-doc-theme-renamed.patch 24-Nov-2021 23:39 356