| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| proof-specs-0.1.4.jar | Thu Jun 30 13:04:17 UTC 2022 | 7827 | |
| proof-specs-0.1.4.jar.sha1 | Thu Jun 30 13:04:17 UTC 2022 | 40 | |
| proof-specs-0.1.4.pom | Thu Jun 30 13:04:17 UTC 2022 | 2680 | |
| proof-specs-0.1.4.pom.sha1 | Thu Jun 30 13:04:17 UTC 2022 | 40 |