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

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