| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| proof-specs-0.1.3.jar | Thu Jun 23 13:39:00 UTC 2022 | 7699 | |
| proof-specs-0.1.3.jar.sha1 | Thu Jun 23 13:39:00 UTC 2022 | 40 | |
| proof-specs-0.1.3.pom | Thu Jun 23 13:39:00 UTC 2022 | 2680 | |
| proof-specs-0.1.3.pom.sha1 | Thu Jun 23 13:39:00 UTC 2022 | 40 |