Index of /calculate/grp/x86_64/dev-lang/dafny-bin

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] dafny-bin-3.12.0-3.xpak 2023-09-18 14:10   30M  
[   ] dafny-bin-4.2.0-3.xpak  2023-10-30 13:34   30M  
[   ] dafny-bin-4.3.0-3.xpak  2023-11-19 10:35   30M  
[   ] dafny-bin-4.4.0-3.xpak  2024-01-22 13:20   31M  
[   ] dafny-bin-4.4.0-r1-3..> 2024-03-30 01:31   31M  
[   ] dafny-bin-4.6.0-3.xpak  2024-04-30 10:07   31M  
[   ] dafny-bin-4.7.0-3.xpak  2024-08-04 23:22   31M  
[   ] dafny-bin-4.8.1-3.xpak  2024-10-29 14:51   29M  
[   ] dafny-bin-4.9.0-3.xpak  2024-12-09 02:10   29M