Index of /debian/pool/main/a/agda

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 agda-bin_2.4.0.2-2+b1_amd64.deb        2014-09-07 14:27  3.7M  
 agda-bin_2.4.0.2-2+b1_i386.deb         2014-09-08 03:57  3.6M  
 agda-bin_2.5.1.1-3+b3_amd64.deb        2016-11-10 12:40  5.9M  
 agda-bin_2.5.1.1-3+b3_arm64.deb        2016-11-10 13:10   11M  
 agda-bin_2.5.1.1-3+b3_i386.deb         2016-11-10 12:00  6.0M  
 agda-bin_2.5.4.1-3+b1_amd64.deb        2018-12-04 05:59  5.6M  
 agda-bin_2.5.4.1-3+b1_arm64.deb        2018-12-04 08:27  6.5M  
 agda-bin_2.5.4.1-3+b1_i386.deb         2018-12-04 05:43  5.7M  
 agda-bin_2.6.1-1+b2_amd64.deb          2020-08-19 15:59  8.5M  
 agda-bin_2.6.1-1+b2_arm64.deb          2020-08-19 17:57  9.9M  
 agda-bin_2.6.1-1+b2_i386.deb           2020-08-19 18:58  8.6M  
 agda-bin_2.6.1-1+b3_arm64.deb          2021-10-03 10:29  9.9M  
 agda-bin_2.6.1-1+b3_i386.deb           2021-10-03 06:28  8.6M  
 agda-bin_2.6.2.2-1_amd64.deb           2022-08-06 14:11  7.4M  
 agda-mode_2.4.0.2-2_all.deb            2014-08-11 07:28   86K  
 agda-mode_2.5.1.1-3_all.deb            2016-10-28 20:56   78K  
 agda-mode_2.5.4.1-3_all.deb            2018-10-20 17:57  115K  
 agda_2.4.0.2-2.debian.tar.xz           2014-08-11 07:28  7.2K  
 agda_2.4.0.2-2.dsc                     2014-08-11 07:28  3.8K  
 agda_2.4.0.2-2_all.deb                 2014-08-11 07:28   55K  
 agda_2.4.0.2.orig.tar.gz               2014-08-05 05:23  889K  
 agda_2.5.1.1-3.debian.tar.xz           2016-10-27 20:24  8.8K  
 agda_2.5.1.1-3.dsc                     2016-10-27 20:24  4.1K  
 agda_2.5.1.1-3_all.deb                 2016-10-28 20:56   78K  
 agda_2.5.1.1.orig.tar.gz               2016-10-16 16:43  1.1M  
 agda_2.5.4.1-3.debian.tar.xz           2018-10-20 16:41  9.7K  
 agda_2.5.4.1-3.dsc                     2018-10-20 16:41  3.8K  
 agda_2.5.4.1-3_all.deb                 2018-10-20 17:57  115K  
 agda_2.5.4.1.orig.tar.gz               2018-09-30 06:54  1.9M  
 agda_2.6.1-1.debian.tar.xz             2020-07-29 11:40  9.8K  
 agda_2.6.1-1.dsc                       2020-07-29 11:40  4.1K  
 agda_2.6.1-1_all.deb                   2020-07-29 12:40   28K  
 agda_2.6.1.orig.tar.gz                 2020-07-29 11:40  2.5M  
 agda_2.6.2.2-1.debian.tar.xz           2022-08-06 13:04   10K  
 agda_2.6.2.2-1.dsc                     2022-08-06 13:04  4.3K  
 agda_2.6.2.2-1_all.deb                 2022-08-06 14:05   17K  
 agda_2.6.2.2.orig.tar.gz               2022-08-06 13:04  1.6M  
 elpa-agda2-mode_2.5.1.1-3_all.deb      2016-10-28 20:56  113K  
 elpa-agda2-mode_2.5.4.1-3_all.deb      2018-10-20 17:57  152K  
 elpa-agda2-mode_2.6.1-1_all.deb        2020-07-29 12:40   65K  
 elpa-agda2-mode_2.6.2.2-1_all.deb      2022-08-06 14:05   55K  
 libghc-agda-dev_2.4.0.2-2+b1_amd64.deb 2014-09-07 14:27  9.3M  
 libghc-agda-dev_2.4.0.2-2+b1_i386.deb  2014-09-08 03:57  9.2M  
 libghc-agda-dev_2.5.1.1-3+b3_amd64.deb 2016-11-10 12:40   12M  
 libghc-agda-dev_2.5.1.1-3+b3_arm64.deb 2016-11-10 13:10   19M  
 libghc-agda-dev_2.5.1.1-3+b3_i386.deb  2016-11-10 12:00   14M  
 libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 2018-12-04 05:59   16M  
 libghc-agda-dev_2.5.4.1-3+b1_arm64.deb 2018-12-04 08:27   19M  
 libghc-agda-dev_2.5.4.1-3+b1_i386.deb  2018-12-04 05:43   16M  
 libghc-agda-dev_2.6.1-1+b2_amd64.deb   2020-08-19 15:59   36M  
 libghc-agda-dev_2.6.1-1+b2_arm64.deb   2020-08-19 17:57   43M  
 libghc-agda-dev_2.6.1-1+b2_i386.deb    2020-08-19 18:58   36M  
 libghc-agda-dev_2.6.1-1+b3_arm64.deb   2021-10-03 10:29   43M  
 libghc-agda-dev_2.6.1-1+b3_i386.deb    2021-10-03 06:28   36M  
 libghc-agda-dev_2.6.2.2-1_amd64.deb    2022-08-06 14:11   24M  
 libghc-agda-doc_2.4.0.2-2_all.deb      2014-08-11 07:28  1.9M  
 libghc-agda-doc_2.5.1.1-3_all.deb      2016-10-28 20:56  2.5M  
 libghc-agda-doc_2.5.4.1-3_all.deb      2018-10-20 17:57  3.6M  
 libghc-agda-doc_2.6.1-1_all.deb        2020-07-29 12:40  5.5M  
 libghc-agda-doc_2.6.2.2-1_all.deb      2022-08-06 14:05  6.3M