| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| portal-manager-2.4.2-javadoc.jar | Mon Apr 03 10:13:19 CEST 2023 | 72257 | |
| portal-manager-2.4.2-javadoc.jar.md5 | Mon Apr 03 10:13:19 CEST 2023 | 32 | |
| portal-manager-2.4.2-javadoc.jar.sha1 | Mon Apr 03 10:13:19 CEST 2023 | 40 | |
| portal-manager-2.4.2-sources.jar | Mon Apr 03 10:13:19 CEST 2023 | 12767 | |
| portal-manager-2.4.2-sources.jar.md5 | Mon Apr 03 10:13:19 CEST 2023 | 32 | |
| portal-manager-2.4.2-sources.jar.sha1 | Mon Apr 03 10:13:19 CEST 2023 | 40 | |
| portal-manager-2.4.2.jar | Mon Apr 03 10:13:19 CEST 2023 | 34713 | |
| portal-manager-2.4.2.jar.md5 | Mon Apr 03 10:13:19 CEST 2023 | 32 | |
| portal-manager-2.4.2.jar.sha1 | Mon Apr 03 10:13:19 CEST 2023 | 40 | |
| portal-manager-2.4.2.pom | Mon Apr 03 10:13:19 CEST 2023 | 4501 | |
| portal-manager-2.4.2.pom.md5 | Mon Apr 03 10:13:19 CEST 2023 | 32 | |
| portal-manager-2.4.2.pom.sha1 | Mon Apr 03 10:13:19 CEST 2023 | 40 |