Index of /mirrors/raspbian/raspbian/pool/main/d/dafny

      Name                                    Last modified      Size  Description
      Parent Directory                                             -   
      dafny_1.9.7-1.debian.tar.xz             2016-06-05 22:23   10K  
      dafny_1.9.7-1.dsc                       2016-06-05 22:23  1.5K  
      dafny_1.9.7-1_all.deb                   2016-06-05 22:23  838K  
      dafny_1.9.7.orig.tar.gz                 2016-06-05 22:23  6.1M  
      dafny_2.3.0+dfsg-0.1.debian.tar.xz      2020-01-15 02:55   10K  
      dafny_2.3.0+dfsg-0.1.dsc                2020-01-15 02:55  1.9K  
      dafny_2.3.0+dfsg-0.1_all.deb            2020-01-20 03:32  478K  
      dafny_2.3.0+dfsg.orig.tar.xz            2020-01-15 02:55  2.1M