Index of /eclipse/webtools/jetty/10.0.15/repository/plugins
Name Last modified Size Description
Parent Directory -
jakarta.inject.jakarta.inject-api.source_1.0.0.jar 2023-07-19 06:07 21K
jakarta.inject.jakarta.inject-api_1.0.0.jar 2023-07-19 06:07 13K
jakarta.ejb-api.source_3.2.6.jar 2023-07-19 06:07 139K
jakarta.ejb-api_3.2.6.jar 2023-07-19 06:07 77K
jakarta.annotation-api.source_1.3.5.jar 2023-07-19 06:07 47K
jakarta.annotation-api_1.3.5.jar 2023-07-19 06:07 33K
jakarta.interceptor-api.source_1.2.5.jar 2023-07-19 06:07 43K
jakarta.interceptor-api_1.2.5.jar 2023-07-19 06:07 33K
javax.el-api.source_3.0.3.jar 2023-07-19 06:07 113K
javax.el-api_3.0.3.jar 2023-07-19 06:07 91K
org.eclipse.jetty.servlet-api.source_4.0.6.jar 2023-07-19 06:07 424K
org.eclipse.jetty.servlet-api_4.0.6.jar 2023-07-19 06:07 286K
jakarta.enterprise.cdi-api.source_2.0.2.jar 2023-07-19 06:07 209K
jakarta.enterprise.cdi-api_2.0.2.jar 2023-07-19 06:07 130K
jakarta.transaction-api.source_1.3.3.jar 2023-07-19 06:07 35K
jakarta.transaction-api_1.3.3.jar 2023-07-19 06:07 25K
org.eclipse.jetty.util.ajax.source_10.0.15.jar 2023-07-19 06:07 45K
org.eclipse.jetty.util.ajax_10.0.15.jar 2023-07-19 06:07 73K
org.eclipse.jetty.util.source_10.0.15.jar 2023-07-19 06:07 376K
org.eclipse.jetty.util_10.0.15.jar 2023-07-19 06:07 592K
org.eclipse.jetty.xml.source_10.0.15.jar 2023-07-19 06:07 56K
org.eclipse.jetty.xml_10.0.15.jar 2023-07-19 06:07 80K
org.eclipse.jetty.webapp.source_10.0.15.jar 2023-07-19 06:07 111K
org.eclipse.jetty.webapp_10.0.15.jar 2023-07-19 06:07 168K
org.eclipse.jetty.plus.source_10.0.15.jar 2023-07-19 06:07 62K
org.eclipse.jetty.plus_10.0.15.jar 2023-07-19 06:07 78K
org.eclipse.jetty.jndi.source_10.0.15.jar 2023-07-19 06:07 47K
org.eclipse.jetty.jndi_10.0.15.jar 2023-07-19 06:06 56K
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443