Index of /archive/pool/universe/a/agda

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