Index of /packages/Agda/2.3.2.2/2.fc20/i686

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] Agda-2.3.2.2-2.fc20.i686.rpm           2014-01-22 02:49  5.5K  
[   ] emacs-agda-2.3.2.2-2.fc20.i686.rpm     2014-01-22 02:49   41K  
[   ] emacs-agda-el-2.3.2.2-2.fc20.i686.rpm  2014-01-22 02:49   37K  
[   ] ghc-Agda-2.3.2.2-2.fc20.i686.rpm       2014-01-22 02:49  3.2M  
[   ] ghc-Agda-devel-2.3.2.2-2.fc20.i686.rpm 2014-01-22 02:49   20M