Index of /Deepin/deepin/pool/main/a/agda

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] agda-bin_2.5.4.1-3+b1_amd64.deb                    2022-04-11 11:38  5.6M  
[   ] agda-bin_2.5.4.1-3+b1_i386.deb                     2022-04-11 11:00  5.7M  
[   ] agda-mode_2.5.4.1-3_all.deb                        2022-04-11 11:27  115K  
[   ] agda_2.5.4.1-3.debian.tar.xz                       2022-04-11 11:17  9.7K  
[TXT] agda_2.5.4.1-3.dsc                                 2022-04-11 11:17  3.8K  
[   ] agda_2.5.4.1-3_all.deb                             2022-04-11 10:58  115K  
[   ] agda_2.5.4.1.orig.tar.gz                           2022-04-11 11:17  1.9M  
[   ] elpa-agda2-mode_2.5.4.1-3_all.deb                  2022-04-11 11:04  152K  
[   ] libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             2022-04-11 11:15   16M  
[   ] libghc-agda-dev_2.5.4.1-3+b1_i386.deb              2022-04-11 11:18   16M  
[   ] libghc-agda-doc_2.5.4.1-3_all.deb                  2022-04-11 11:33  3.6M
Apache/2.4.59 (Debian) Server at mirror.freedif.org Port 443