| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| coverage-1.3.0.hpi | Thu Nov 02 17:52:24 UTC 2023 | 729903 | |
| coverage-1.3.0.hpi.sha1 | Thu Nov 02 17:52:24 UTC 2023 | 40 | |
| coverage-1.3.0.pom | Thu Nov 02 17:52:21 UTC 2023 | 6253 | |
| coverage-1.3.0.pom.sha1 | Thu Nov 02 17:52:21 UTC 2023 | 40 |