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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      agda-stdlib-doc_0.3-..> 08-Oct-2014 15:26  1.1M  
      agda-stdlib_0.3-1ubu..> 08-Oct-2014 15:26   11M

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