| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| mantis-shaded-2.0.8.jar | Tue Feb 28 05:33:48 CET 2023 | 10773309 | |
| mantis-shaded-2.0.8.jar.sha1 | Tue Feb 28 05:33:48 CET 2023 | 40 | |
| mantis-shaded-2.0.8.pom | Tue Feb 28 05:33:49 CET 2023 | 2950 | |
| mantis-shaded-2.0.8.pom.sha1 | Tue Feb 28 05:33:49 CET 2023 | 40 |