https://download.eclipse.org/webtools/jetty/10.0.12/

---

File	Size	Permissions	Date
..		drwxrwsr-x	2023-06-06 14:41:47
repository		drwxr-sr-x	2022-11-09 14:21:53
jetty-10.0.12.zip	3.14MB	-rw-r--r--	2022-11-09 14:20:47