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

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                           -   
[   ] agda_2.6.2.2.orig.tar.gz              2022-08-06 19:04  1.6M  
[   ] agda_2.6.2.2-1.1.debian.tar.xz        2022-12-06 17:40   10K  
[TXT] agda_2.6.2.2-1.1.dsc                  2022-12-06 17:40  4.3K  
[   ] agda_2.6.2.2-1.1_all.deb              2022-12-06 18:41   12K  
[   ] elpa-agda2-mode_2.6.2.2-1.1_all.deb   2022-12-06 18:41   50K  
[   ] libghc-agda-doc_2.6.2.2-1.1_all.deb   2022-12-06 18:41  6.3M  
[   ] agda-bin_2.6.2.2-1.1_amd64.deb        2022-12-06 18:57  7.4M  
[   ] libghc-agda-dev_2.6.2.2-1.1_amd64.deb 2022-12-06 18:57   24M