| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| DafnyRuntime-4.1.0-sources.jar | Tue Jul 14 05:40:58 Z 2026 | 49675 | |
| DafnyRuntime-4.1.0.jar | Thu Dec 11 10:34:08 Z 2025 | 118644 | |
| DafnyRuntime-4.1.0.jar.md5 | Thu Dec 11 10:34:09 Z 2025 | 32 | |
| DafnyRuntime-4.1.0.jar.sha1 | Thu Dec 11 10:34:09 Z 2025 | 40 | |
| DafnyRuntime-4.1.0.jar.sha256 | Thu Dec 11 10:34:09 Z 2025 | 64 | |
| DafnyRuntime-4.1.0.module | Sun Sep 13 23:16:30 Z 2026 | 3476 | |
| DafnyRuntime-4.1.0.pom | Tue Dec 09 15:39:10 Z 2025 | 1421 | |
| DafnyRuntime-4.1.0.pom.md5 | Sun Jan 11 08:27:25 Z 2026 | 32 | |
| DafnyRuntime-4.1.0.pom.sha1 | Tue Dec 09 15:39:11 Z 2025 | 40 | |
| DafnyRuntime-4.1.0.pom.sha256 | Sun Jan 11 08:27:26 Z 2026 | 64 |