Index of ftp://kebo.vlsm.org/kali/pool/main/a/agda

[DIR] Parent Directory

[ ] agda-bin_2.5.2-2+b1_amd64.deb  4.82Mb  July 14 2017
[ ] agda-bin_2.5.2-2+b1_i386.deb  4.86Mb  July 14 2017
[ ] agda-bin_2.5.3-3+b1_amd64.deb  5.55Mb  November 5 2017
[ ] agda-bin_2.5.3-3+b1_i386.deb  5.55Mb  November 5 2017
[ ] agda-bin_2.5.3-3+b2_amd64.deb  5.55Mb  November 25 2017
[ ] agda-bin_2.5.3-3+b2_i386.deb  5.55Mb  November 25 2017
[ ] agda-bin_2.5.4.1-3+b1_amd64.deb  5.60Mb  December 27 2018
[ ] agda-bin_2.5.4.1-3+b1_i386.deb  5.67Mb  December 27 2018
[ ] agda-mode_2.5.4.1-3_all.deb  114.92Kb  November 29 2018
[ ] agda_2.5.4.1-3.debian.tar.xz  9.70Kb  November 29 2018
[ ] agda_2.5.4.1-3.dsc  3.78Kb  November 29 2018
[ ] agda_2.5.4.1-3_all.deb  115.34Kb  November 29 2018
[ GZ] agda_2.5.4.1.orig.tar.gz  1.90Mb  November 29 2018
[ ] elpa-agda2-mode_2.5.4.1-3_all.deb  151.80Kb  November 29 2018
[ ] libghc-agda-dev_2.5.2-2+b1_amd64.deb  12.71Mb  July 14 2017
[ ] libghc-agda-dev_2.5.2-2+b1_i386.deb  12.60Mb  July 14 2017
[ ] libghc-agda-dev_2.5.3-3+b1_amd64.deb  15.26Mb  November 5 2017
[ ] libghc-agda-dev_2.5.3-3+b1_i386.deb  14.98Mb  November 5 2017
[ ] libghc-agda-dev_2.5.3-3+b2_amd64.deb  15.23Mb  November 25 2017
[ ] libghc-agda-dev_2.5.3-3+b2_i386.deb  14.96Mb  November 25 2017
[ ] libghc-agda-dev_2.5.4.1-3+b1_amd64.deb  16.38Mb  December 27 2018
[ ] libghc-agda-dev_2.5.4.1-3+b1_i386.deb  16.02Mb  December 27 2018
[ ] libghc-agda-doc_2.5.4.1-3_all.deb  3.62Mb  November 29 2018