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

Icon  Name                                        Last modified      Size  
[PARENTDIR] Parent Directory                                                 -   
[   ] agda-bin_2.6.1-1+b2_x32.deb                 2021-10-04 14:03   33M  
[   ] agda_2.6.1-1+b2_x32.buildinfo               2021-10-04 14:03   12K  
[   ] libghc-agda-dev_2.6.1-1+b2_x32.deb          2021-10-04 14:03   67M