Index of /packages/Agda/2.6.0.1/21.fc32/i686

Icon  Name                                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                                       -   
[   ] Agda-2.6.0.1-21.fc32.i686.rpm                     2020-02-22 14:14   73K  
[   ] ghc-Agda-2.6.0.1-21.fc32.i686.rpm                 2020-02-22 14:14   14M  
[   ] ghc-Agda-devel-2.6.0.1-21.fc32.i686.rpm           2020-02-22 14:14   12M  
[   ] ghc-EdisonAPI-1.3.1-21.fc32.i686.rpm              2020-02-22 14:14   46K  
[   ] ghc-EdisonAPI-devel-1.3.1-21.fc32.i686.rpm        2020-02-22 14:14   65K  
[   ] ghc-EdisonAPI-doc-1.3.1-21.fc32.i686.rpm          2020-02-22 14:14  148K  
[   ] ghc-EdisonCore-1.3.2.1-21.fc32.i686.rpm           2020-02-22 14:14  493K  
[   ] ghc-EdisonCore-devel-1.3.2.1-21.fc32.i686.rpm     2020-02-22 14:14  763K  
[   ] ghc-EdisonCore-doc-1.3.2.1-21.fc32.i686.rpm       2020-02-22 14:14  398K  
[   ] ghc-geniplate-mirror-0.7.6-21.fc32.i686.rpm       2020-02-22 14:14   57K  
[   ] ghc-geniplate-mirror-devel-0.7.6-21.fc32.i686.rpm 2020-02-22 14:14   71K  
[   ] ghc-geniplate-mirror-doc-0.7.6-21.fc32.i686.rpm   2020-02-22 14:14   59K  
[   ] ghc-murmur-hash-0.1.0.9-21.fc32.i686.rpm          2020-02-22 14:14   24K  
[   ] ghc-murmur-hash-devel-0.1.0.9-21.fc32.i686.rpm    2020-02-22 14:14   33K  
[   ] ghc-murmur-hash-doc-0.1.0.9-21.fc32.i686.rpm      2020-02-22 14:14   49K  
[   ] ghc-uri-encode-1.5.0.5-21.fc32.i686.rpm           2020-02-22 14:14   16K  
[   ] ghc-uri-encode-devel-1.5.0.5-21.fc32.i686.rpm     2020-02-22 14:14   18K  
[   ] ghc-uri-encode-doc-1.5.0.5-21.fc32.i686.rpm       2020-02-22 14:14   44K