Index of /linux/ubuntu/22.04-mirror/pool/universe/a/agda

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] libghc-agda-doc_2.6.1-1build2.1_all.deb     2021-09-16 02:28  5.2M  
[   ] elpa-agda2-mode_2.6.1-1build2.1_all.deb     2021-09-16 02:28   45K  
[   ] libghc-agda-dev_2.6.1-1build2.1_amd64.deb   2021-09-16 02:28   38M  
[   ] agda_2.6.1-1build2.1_all.deb                2021-09-16 02:28  4.0K  
[   ] agda-bin_2.6.1-1build2.1_amd64.deb          2021-09-16 02:28  9.1M