https://download.eclipse.org/theia/1.25.0/

---

File	Size	Permissions	Date
..		drwxrwsr-x	2024-01-22 09:08:05
linux		drwxr-sr-x	2022-05-02 04:47:54
macos		drwxr-sr-x	2022-05-02 04:57:54
windows		drwxr-sr-x	2022-05-02 05:18:28