| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| mantis-network-1.2.12.jar | Fri Sep 27 11:52:35 PDT 2019 | 108511 | |
| mantis-network-1.2.12.jar.sha1 | Fri Sep 27 11:52:35 PDT 2019 | 40 | |
| mantis-network-1.2.12.pom | Fri Sep 27 11:59:45 PDT 2019 | 3056 | |
| mantis-network-1.2.12.pom.sha1 | Fri Sep 27 11:59:45 PDT 2019 | 40 |