| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| DafnyRuntime-4.2.0-javadoc.jar | Thu Jan 01 12:18:14 Z 2026 | 230393 | |
| DafnyRuntime-4.2.0-javadoc.jar.sha256 | Sat Dec 13 14:50:15 Z 2025 | 64 | |
| DafnyRuntime-4.2.0-sources.jar | Tue Feb 03 03:34:43 Z 2026 | 50187 | |
| DafnyRuntime-4.2.0-sources.jar.md5 | Tue Feb 03 03:34:44 Z 2026 | 32 | |
| DafnyRuntime-4.2.0-sources.jar.sha1 | Tue Feb 03 03:34:44 Z 2026 | 40 | |
| DafnyRuntime-4.2.0-sources.jar.sha256 | Sat Dec 06 18:39:24 Z 2025 | 64 | |
| DafnyRuntime-4.2.0.jar | Tue Dec 09 15:39:55 Z 2025 | 119033 | |
| DafnyRuntime-4.2.0.jar.md5 | Fri Mar 13 10:18:02 Z 2026 | 32 | |
| DafnyRuntime-4.2.0.jar.sha1 | Tue Dec 09 15:39:55 Z 2025 | 40 | |
| DafnyRuntime-4.2.0.jar.sha256 | Fri Mar 13 10:18:03 Z 2026 | 64 | |
| DafnyRuntime-4.2.0.module | Fri May 08 20:28:53 Z 2026 | 3478 | |
| DafnyRuntime-4.2.0.module.sha1 | Sat Mar 28 19:22:41 Z 2026 | 40 | |
| DafnyRuntime-4.2.0.pom | Tue Dec 09 15:39:01 Z 2025 | 1421 | |
| DafnyRuntime-4.2.0.pom.md5 | Fri Mar 13 10:11:39 Z 2026 | 32 | |
| DafnyRuntime-4.2.0.pom.sha1 | Tue Dec 09 15:39:01 Z 2025 | 40 | |
| DafnyRuntime-4.2.0.pom.sha256 | Fri Mar 13 10:11:40 Z 2026 | 64 |