| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| autograding-1.0.0.hpi | Tue Dec 13 14:48:55 UTC 2022 | 566907 | |
| autograding-1.0.0.hpi.sha1 | Tue Dec 13 14:48:55 UTC 2022 | 40 | |
| autograding-1.0.0.pom | Tue Apr 21 13:26:07 UTC 2020 | 7280 | |
| autograding-1.0.0.pom.sha1 | Tue Apr 21 13:26:07 UTC 2020 | 40 |