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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libghc-agda-dev_2.6.1-1+b1_ia64.deb65.9 MiB22.09.2020 00:03
agda-bin_2.6.1-1+b1_ia64.deb22.0 MiB22.09.2020 00:03
agda_2.6.1-1+b1_ia64.buildinfo12.1 KiB22.09.2020 00:03