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

../
agda-mode_2.3.0.1-1build2_all.deb                                                                                        25-Sep-2023 20:19     40K
agda_2.3.0.1-1build2_all.deb                                                                                             25-Sep-2023 20:19    2984
libghc-agda-dev_2.3.0.1-1build2_amd64.deb                                                                                25-Sep-2023 20:19     12M
libghc-agda-dev_2.3.0.1-1build2_i386.deb                                                                                 25-Sep-2023 20:19     12M
libghc-agda-doc_2.3.0.1-1build2_all.deb                                                                                  25-Sep-2023 20:19      2M