| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| manual-4.2.15-sources.jar | Tue Jan 11 04:45:49 UTC 2022 | 7673 | |
| manual-4.2.15-sources.jar.sha1 | Tue Jan 11 04:45:49 UTC 2022 | 40 | |
| manual-4.2.15.jar | Tue Jan 11 04:45:38 UTC 2022 | 1239952 | |
| manual-4.2.15.jar.sha1 | Tue Jan 11 04:45:38 UTC 2022 | 40 |