Index of /pub/linux/raspbian/raspbian/pool/main/a/agda

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] agda-bin_2.5.1.1-3_armhf.deb              2017-06-19 10:08  6.2M  
[   ] agda-mode_2.4.0.2-2_all.deb               2014-08-11 11:28   86K  
[   ] agda-mode_2.5.1.1-3_all.deb               2016-10-29 00:56   78K  
[   ] agda-mode_2.5.4.1-3_all.deb               2018-10-20 21:57  115K  
[   ] agda-mode_2.6.0.1-1_all.deb               2019-08-31 16:34  128K  
[   ] agda_2.4.0.2-2.debian.tar.xz              2014-08-11 11:28  7.2K  
[TXT] agda_2.4.0.2-2.dsc                        2014-08-11 11:28  3.8K  
[   ] agda_2.4.0.2-2_all.deb                    2014-08-11 11:28   55K  
[   ] agda_2.4.0.2.orig.tar.gz                  2014-08-05 09:23  889K  
[   ] agda_2.5.1.1-3.debian.tar.xz              2016-10-28 00:24  8.8K  
[TXT] agda_2.5.1.1-3.dsc                        2016-10-28 00:24  4.1K  
[   ] agda_2.5.1.1-3_all.deb                    2016-10-29 00:56   78K  
[   ] agda_2.5.1.1.orig.tar.gz                  2016-10-16 20:43  1.1M  
[   ] agda_2.5.4.1-3.debian.tar.xz              2018-10-20 20:41  9.7K  
[TXT] agda_2.5.4.1-3.dsc                        2018-10-20 20:41  3.8K  
[   ] agda_2.5.4.1-3_all.deb                    2018-10-20 21:57  115K  
[   ] agda_2.5.4.1.orig.tar.gz                  2018-09-30 10:54  1.9M  
[   ] agda_2.6.0.1-1.debian.tar.xz              2019-08-31 14:18  9.8K  
[TXT] agda_2.6.0.1-1.dsc                        2019-08-31 14:18  4.1K  
[   ] agda_2.6.0.1-1_all.deb                    2019-08-31 16:34  128K  
[   ] agda_2.6.0.1.orig.tar.gz                  2019-08-31 14:18  2.3M  
[   ] elpa-agda2-mode_2.5.1.1-3_all.deb         2016-10-29 00:56  113K  
[   ] elpa-agda2-mode_2.5.4.1-3_all.deb         2018-10-20 21:57  152K  
[   ] elpa-agda2-mode_2.6.0.1-1_all.deb         2019-08-31 16:34  165K  
[   ] libghc-agda-dev_2.5.1.1-3_armhf.deb       2017-06-19 10:08   14M  
[   ] libghc-agda-doc_2.4.0.2-2_all.deb         2014-08-11 11:28  1.9M  
[   ] libghc-agda-doc_2.5.1.1-3_all.deb         2016-10-29 00:56  2.5M  
[   ] libghc-agda-doc_2.5.4.1-3_all.deb         2018-10-20 21:57  3.6M  
[   ] libghc-agda-doc_2.6.0.1-1_all.deb         2019-08-31 16:34  4.1M