Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80Name Last modified Size Description
Parent Directory -
libghc-agda-dev_2.5.4.1-3_kfreebsd-i386.deb 25-Dec-2018 01:08 16M
agda_2.5.4.1-3_kfreebsd-i386.buildinfo 22-Dec-2018 22:00 9.7K
agda-bin_2.5.4.1-3_kfreebsd-i386.deb 25-Dec-2018 01:08 5.7M