Index of /old-ubuntu/pool/universe/a/agda-bin/

../
agda-bin_2.3.0.1-1_amd64.deb                                                                                             25-Sep-2023 14:51      5M
agda-bin_2.3.0.1-1_i386.deb                                                                                              25-Sep-2023 14:51      4M