Index of /linux/debian/debian-ports/pool-hurd-amd64/main/a/agda

Icon  Name                                               Last modified      Size  
[PARENTDIR] Parent Directory                                                        -   
[   ] agda-bin_2.6.4.3-1_hurd-amd64.deb                  2024-11-24 01:03  9.4M  
[   ] agda_2.6.4.3-1_hurd-amd64.buildinfo                2024-11-24 01:03   15K  
[   ] libghc-agda-dev_2.6.4.3-1_hurd-amd64.deb           2024-11-24 01:03   22M