| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| manual-4.2.12-sources.jar | Mon Sep 13 08:09:46 UTC 2021 | 7673 | |
| manual-4.2.12-sources.jar.sha1 | Mon Sep 13 08:09:46 UTC 2021 | 40 | |
| manual-4.2.12.pom | Mon Sep 13 08:09:44 UTC 2021 | 10570 | |
| manual-4.2.12.pom.sha1 | Mon Sep 13 08:09:44 UTC 2021 | 40 |