| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| kind2-java-api-0.3.6.jar | Wed Sep 16 07:53:34 Z 2026 | 144845 | |
| kind2-java-api-0.3.6.jar.sha1 | Wed Sep 16 07:53:53 Z 2026 | 40 | |
| kind2-java-api-0.3.6.pom | Wed Sep 16 07:53:14 Z 2026 | 1972 | |
| kind2-java-api-0.3.6.pom.sha1 | Wed Sep 16 07:53:31 Z 2026 | 40 |