| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| io-hotmoka-instrumentation-api-1.7.0.jar | Sun May 18 08:47:56 UTC 2025 | 4817 | |
| io-hotmoka-instrumentation-api-1.7.0.jar.sha1 | Sun May 18 08:47:56 UTC 2025 | 40 | |
| io-hotmoka-instrumentation-api-1.7.0.pom | Sun May 18 08:47:56 UTC 2025 | 2341 | |
| io-hotmoka-instrumentation-api-1.7.0.pom.sha1 | Sun May 18 08:47:56 UTC 2025 | 40 |