Index of /linux/debian/debian-ports/pool-sparc64/main/a/agda

Icon  Name                                            Last modified      Size  
[PARENTDIR] Parent Directory                                                     -   
[   ] agda-bin_2.8.0-2+b2_sparc64.deb                 2026-04-04 02:03   15M  
[   ] agda_2.8.0-2+b2_sparc64.buildinfo               2026-04-04 02:03   17K  
[   ] libghc-agda-dev_2.8.0-2+b2_sparc64.deb          2026-04-04 02:03   56M