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

../
agda-bin_2.2.6-1build1_amd64.deb                   30-Mar-2026 22:31      3M
agda-bin_2.2.6-1build1_i386.deb                    30-Mar-2026 22:31      3M
agda-bin_2.3.0.1-1_amd64.deb                       02-Apr-2026 20:47      5M
agda-bin_2.3.0.1-1_i386.deb                        02-Apr-2026 20:47      4M