Index of /debian-ports/pool-kfreebsd-i386/main/a/agda/


../
agda-bin_2.5.4.1-3_kfreebsd-i386.deb                                                                                     25-Dec-2018 00:08      6M
agda_2.5.4.1-3_kfreebsd-i386.buildinfo                                                                                   22-Dec-2018 21:00    9904
libghc-agda-dev_2.5.4.1-3_kfreebsd-i386.deb                                                                              25-Dec-2018 00:08     16M