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

../
agda-bin_2.3.0.1-1.diff.gz                         21-Mar-2025 17:45                3008
agda-bin_2.3.0.1-1.dsc                             21-Mar-2025 17:45                1370
agda-bin_2.3.0.1-1_amd64.deb                       21-Mar-2025 17:45             4888692
agda-bin_2.3.0.1-1_i386.deb                        21-Mar-2025 17:45             4567414
agda-bin_2.3.0.1.orig.tar.gz                       21-Mar-2025 17:45                1765