| Group | org.dafny |
| 描述 | Runtime for Dafny programs compiled to Java |
| 版本 | 仓库 | 发布时间 |
| 4.6.0 | central | 2024-03-29 04:35 |
| 4.5.0 | central | 2024-03-20 04:54 |
| 4.4.0 | central | 2023-12-22 04:10 |
| 4.2.0 | central | 2023-07-21 03:32 |
| 4.1.0 | central | 2023-05-12 01:40 |
| 4.0.0 | central | 2023-03-05 00:40 |
| 3.13.1 | central | 2023-03-05 00:36 |
| 3.10.0 | central | 2023-02-24 09:09 |
| 3.12.0 | central | 2023-02-24 08:07 |
| 3.11.0 | central | 2023-02-07 09:37 |
| 仓库 | 个数 |
| Central | 592045 |