| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| DafnyRuntime-4.11.0-sources.jar | Wed Jul 15 15:44:55 Z 2026 | 69562 | |
| DafnyRuntime-4.11.0-sources.jar.md5 | Wed Jul 15 15:44:56 Z 2026 | 32 | |
| DafnyRuntime-4.11.0-sources.jar.sha1 | Wed Jul 15 15:44:55 Z 2026 | 40 | |
| DafnyRuntime-4.11.0-sources.jar.sha256 | Wed Jul 15 15:44:56 Z 2026 | 64 | |
| DafnyRuntime-4.11.0.jar | Fri Apr 10 02:40:21 Z 2026 | 160303 | |
| DafnyRuntime-4.11.0.module | Fri Oct 23 03:30:51 Z 2026 | 3486 | |
| DafnyRuntime-4.11.0.pom | Fri Oct 23 03:30:33 Z 2026 | 1422 |