| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| DafnyRuntime-4.9.0-sources.jar | Thu Mar 19 07:54:50 Z 2026 | 69563 | |
| DafnyRuntime-4.9.0-sources.jar.md5 | Thu Mar 19 07:54:51 Z 2026 | 32 | |
| DafnyRuntime-4.9.0-sources.jar.sha1 | Thu Mar 19 07:54:50 Z 2026 | 40 | |
| DafnyRuntime-4.9.0-sources.jar.sha256 | Thu Mar 19 07:54:51 Z 2026 | 64 | |
| DafnyRuntime-4.9.0.jar | Sun Jan 11 08:27:34 Z 2026 | 159922 | |
| DafnyRuntime-4.9.0.jar.md5 | Sun Jan 11 08:27:35 Z 2026 | 32 | |
| DafnyRuntime-4.9.0.jar.sha1 | Thu Jan 01 21:41:31 Z 2026 | 40 | |
| DafnyRuntime-4.9.0.jar.sha256 | Sun Jan 11 08:27:36 Z 2026 | 64 | |
| DafnyRuntime-4.9.0.module | Mon Mar 23 06:09:30 Z 2026 | 3481 | |
| DafnyRuntime-4.9.0.module.sha1 | Sat Mar 28 15:21:57 Z 2026 | 40 | |
| DafnyRuntime-4.9.0.pom | Sun Jan 11 08:27:20 Z 2026 | 1421 | |
| DafnyRuntime-4.9.0.pom.md5 | Sun Jan 11 08:27:21 Z 2026 | 32 | |
| DafnyRuntime-4.9.0.pom.sha1 | Sun Jan 11 08:27:20 Z 2026 | 40 | |
| DafnyRuntime-4.9.0.pom.sha256 | Sun Jan 11 08:27:21 Z 2026 | 64 |