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

../
agda-bin_2.6.1-1+b2_x32.deb                                                                                              04-Oct-2021 12:03     33M
agda_2.6.1-1+b2_x32.buildinfo                                                                                            04-Oct-2021 12:03     12K
libghc-agda-dev_2.6.1-1+b2_x32.deb                                                                                       04-Oct-2021 12:03     67M