Index of /debian-ports/pool-ia64/main/a/agda/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.6.1-1+b1_ia64.deb22.0 MiB2020-Sep-22 09:03
agda_2.6.1-1+b1_ia64.buildinfo12.1 KiB2020-Sep-22 09:03
libghc-agda-dev_2.6.1-1+b1_ia64.deb65.9 MiB2020-Sep-22 09:03