Index of /desktop/pool/main/a/agda

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      libghc6-agda-prof_2...> 08-Oct-2014 15:26   13M  
      libghc6-agda-dev_2.2..> 08-Oct-2014 15:26  9.1M  
      haskell-agda-doc_2.2..> 08-Oct-2014 15:26  1.0M  
      agda-mode_2.2.6-3_al..> 08-Oct-2014 15:26   38K

Apache/2.2.15 (CentOS) Server at repo.linuxwizard.ru Port 80