https://archive.eclipse.org/theia/1.4.0/

---

File	Size	Permissions	Date
..		drwxrwsr-x	2023-06-28 06:35:15
linux		drwxrwsr-x	2020-08-18 18:17:54
macos		drwxrwsr-x	2020-08-18 10:03:14
windows		drwxrwsr-x	2020-08-18 18:19:57