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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.3.0.1-1.diff.gz 30082012-Mar-18 21:33
agda-bin_2.3.0.1-1.dsc 13702012-Mar-18 21:33
agda-bin_2.3.0.1-1_amd64.deb 48886922012-Mar-18 22:33
agda-bin_2.3.0.1-1_i386.deb 45674142012-Mar-18 21:33
agda-bin_2.3.0.1.orig.tar.gz 17652012-Mar-18 21:33