Index of /ubuntu/pool/universe/a/agda

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 agda-bin_2.3.2.2-1_a..> 06-Nov-2013 17:28  5.2M  
 agda-bin_2.3.2.2-1_i..> 06-Nov-2013 17:28  4.9M  
 agda-bin_2.4.2.5-1bu..> 12-Jan-2016 22:59  4.6M  
 agda-bin_2.4.2.5-1bu..> 12-Jan-2016 22:45  4.6M  
 agda-bin_2.5.3-3buil..> 25-Nov-2017 20:09  5.5M  
 agda-bin_2.5.3-3buil..> 25-Nov-2017 20:09  5.5M  
 agda-bin_2.6.0.1-1bu..> 08-Feb-2020 13:19  6.3M  
 agda-bin_2.6.1-1buil..> 16-Sep-2021 08:28  9.1M  
 agda-bin_2.6.2.2-1.1..> 12-Dec-2022 10:59  8.0M  
 agda-bin_2.6.3-1buil..> 10-Nov-2023 20:19   10M  
 agda-mode_2.3.2.2-1_..> 06-Nov-2013 17:28   47K  
 agda-mode_2.4.2.5-1b..> 12-Jan-2016 22:59   36K  
 agda-mode_2.5.3-3bui..> 25-Nov-2017 20:09  3.5K  
 agda-mode_2.6.0.1-1b..> 08-Feb-2020 13:19  3.6K  
 agda_2.3.2.2-1.debia..> 06-Nov-2013 17:28  7.2K  
 agda_2.3.2.2-1.dsc      06-Nov-2013 17:28  3.2K  
 agda_2.3.2.2-1_all.deb  06-Nov-2013 17:28  2.9K  
 agda_2.3.2.2.orig.ta..> 06-Nov-2013 17:28  1.9M  
 agda_2.4.2.5-1build1..> 12-Jan-2016 22:30  7.7K  
 agda_2.4.2.5-1build1..> 12-Jan-2016 22:30  3.7K  
 agda_2.4.2.5-1build1..> 12-Jan-2016 22:59  2.9K  
 agda_2.4.2.5.orig.ta..> 04-Jan-2016 23:25  1.0M  
 agda_2.5.3-3build1.d..> 25-Nov-2017 19:15  9.6K  
 agda_2.5.3-3build1.dsc  25-Nov-2017 19:15  4.5K  
 agda_2.5.3-3build1_a..> 25-Nov-2017 20:09  3.0K  
 agda_2.5.3.orig.tar.gz  01-Nov-2017 13:05  1.1M  
 agda_2.6.0.1-1build4..> 08-Feb-2020 11:38   10K  
 agda_2.6.0.1-1build4..> 08-Feb-2020 11:38  4.2K  
 agda_2.6.0.1-1build4..> 08-Feb-2020 13:19  4.0K  
 agda_2.6.0.1.orig.ta..> 01-Sep-2019 12:43  2.3M  
 agda_2.6.1-1build2.1..> 16-Sep-2021 07:39   10K  
 agda_2.6.1-1build2.1..> 16-Sep-2021 07:39  4.2K  
 agda_2.6.1-1build2.1..> 16-Sep-2021 08:28  4.0K  
 agda_2.6.1.orig.tar.gz  29-Jul-2020 23:19  2.5M  
 agda_2.6.2.2-1.1buil..> 12-Dec-2022 10:29   10K  
 agda_2.6.2.2-1.1buil..> 12-Dec-2022 10:29  4.3K  
 agda_2.6.2.2-1.1buil..> 12-Dec-2022 10:59  3.6K  
 agda_2.6.2.2.orig.ta..> 06-Aug-2022 23:19  1.6M  
 agda_2.6.3-1build1.d..> 08-Nov-2023 09:36   11K  
 agda_2.6.3-1build1.dsc  08-Nov-2023 09:36  4.8K  
 agda_2.6.3-1build1_a..> 10-Nov-2023 20:19  3.7K  
 agda_2.6.3.orig.tar.gz  26-Oct-2023 15:43  1.7M  
 elpa-agda2-mode_2.5...> 25-Nov-2017 20:09   40K  
 elpa-agda2-mode_2.6...> 08-Feb-2020 13:19   40K  
 elpa-agda2-mode_2.6...> 16-Sep-2021 08:28   45K  
 elpa-agda2-mode_2.6...> 12-Dec-2022 10:59   44K  
 elpa-agda2-mode_2.6...> 10-Nov-2023 20:19   45K  
 libghc-agda-dev_2.3...> 06-Nov-2013 17:28   13M  
 libghc-agda-dev_2.3...> 06-Nov-2013 17:28   12M  
 libghc-agda-dev_2.4...> 12-Jan-2016 22:59   10M  
 libghc-agda-dev_2.4...> 12-Jan-2016 22:45   10M  
 libghc-agda-dev_2.5...> 25-Nov-2017 20:09   15M  
 libghc-agda-dev_2.5...> 25-Nov-2017 20:09   15M  
 libghc-agda-dev_2.6...> 08-Feb-2020 13:19   19M  
 libghc-agda-dev_2.6...> 16-Sep-2021 08:28   38M  
 libghc-agda-dev_2.6...> 12-Dec-2022 10:59   25M  
 libghc-agda-dev_2.6...> 10-Nov-2023 20:19   24M  
 libghc-agda-doc_2.3...> 06-Nov-2013 17:28  2.1M  
 libghc-agda-doc_2.4...> 12-Jan-2016 22:59  2.1M  
 libghc-agda-doc_2.5...> 25-Nov-2017 20:09  2.6M  
 libghc-agda-doc_2.6...> 08-Feb-2020 13:19  4.0M  
 libghc-agda-doc_2.6...> 16-Sep-2021 08:28  5.2M  
 libghc-agda-doc_2.6...> 12-Dec-2022 10:59  5.7M  
 libghc-agda-doc_2.6...> 10-Nov-2023 20:19  6.0M