Name Last modified Size Description
![[DIR]](/images/back.gif)
Parent Directory -
![[ ]](/images/unknown.gif)
agda-bin_2.3.2.2-1_amd64.deb 06-Nov-2013 19:28 5.2M
agda-bin_2.3.2.2-1_i386.deb 06-Nov-2013 19:28 4.9M
agda-bin_2.4.2.5-1build1_amd64.deb 13-Jan-2016 00:59 4.6M
agda-bin_2.4.2.5-1build1_i386.deb 13-Jan-2016 00:45 4.6M
agda-bin_2.5.3-3build1_amd64.deb 25-Nov-2017 22:09 5.5M
agda-bin_2.5.3-3build1_i386.deb 25-Nov-2017 22:09 5.5M
agda-bin_2.6.0.1-1build4_amd64.deb 08-Feb-2020 15:19 6.3M
agda-bin_2.6.1-1build1_amd64.deb 27-Aug-2020 03:48 8.5M
agda-bin_2.6.1-1build2_amd64.deb 05-Nov-2020 04:43 8.5M
agda-mode_2.3.0.1-1build2_all.deb 21-Apr-2012 20:03 40K
agda-mode_2.3.2.2-1_all.deb 06-Nov-2013 19:28 47K
agda-mode_2.4.2.5-1build1_all.deb 13-Jan-2016 00:59 36K
agda-mode_2.5.3-3build1_all.deb 25-Nov-2017 22:09 3.5K
agda-mode_2.6.0.1-1build4_all.deb 08-Feb-2020 15:19 3.6K
![[ ]](/images/zip.gif)
agda_2.3.0.1-1build2.debian.tar.gz 21-Apr-2012 19:33 6.5K
agda_2.3.0.1-1build2.dsc 21-Apr-2012 19:33 3.0K
agda_2.3.0.1-1build2_all.deb 21-Apr-2012 20:03 2.9K
agda_2.3.0.1.orig.tar.gz 18-Mar-2012 14:03 598K
agda_2.3.2.2-1.debian.tar.gz 06-Nov-2013 19:28 7.2K
agda_2.3.2.2-1.dsc 06-Nov-2013 19:28 3.2K
agda_2.3.2.2-1_all.deb 06-Nov-2013 19:28 2.9K
agda_2.3.2.2.orig.tar.gz 06-Nov-2013 19:28 1.9M
agda_2.4.2.5-1build1.debian.tar.xz 13-Jan-2016 00:30 7.7K
agda_2.4.2.5-1build1.dsc 13-Jan-2016 00:30 3.7K
agda_2.4.2.5-1build1_all.deb 13-Jan-2016 00:59 2.9K
agda_2.4.2.5.orig.tar.gz 05-Jan-2016 01:25 1.0M
agda_2.5.3-3build1.debian.tar.xz 25-Nov-2017 21:15 9.6K
agda_2.5.3-3build1.dsc 25-Nov-2017 21:15 4.5K
agda_2.5.3-3build1_all.deb 25-Nov-2017 22:09 3.0K
agda_2.5.3.orig.tar.gz 01-Nov-2017 15:05 1.1M
agda_2.6.0.1-1build4.debian.tar.xz 08-Feb-2020 13:38 10K
agda_2.6.0.1-1build4.dsc 08-Feb-2020 13:38 4.2K
agda_2.6.0.1-1build4_all.deb 08-Feb-2020 15:19 4.0K
agda_2.6.0.1.orig.tar.gz 01-Sep-2019 15:43 2.3M
agda_2.6.1-1build1.debian.tar.xz 27-Aug-2020 03:08 9.9K
agda_2.6.1-1build1.dsc 27-Aug-2020 03:08 4.2K
agda_2.6.1-1build1_all.deb 27-Aug-2020 03:48 4.1K
agda_2.6.1-1build2.debian.tar.xz 29-Oct-2020 22:24 9.9K
agda_2.6.1-1build2.dsc 29-Oct-2020 22:24 4.2K
agda_2.6.1-1build2_all.deb 05-Nov-2020 04:43 4.1K
agda_2.6.1.orig.tar.gz 30-Jul-2020 02:19 2.5M
elpa-agda2-mode_2.5.3-3build1_all.deb 25-Nov-2017 22:09 40K
elpa-agda2-mode_2.6.0.1-1build4_all.deb 08-Feb-2020 15:19 40K
elpa-agda2-mode_2.6.1-1build1_all.deb 27-Aug-2020 03:48 41K
elpa-agda2-mode_2.6.1-1build2_all.deb 05-Nov-2020 04:43 41K
libghc-agda-dev_2.3.0.1-1build2_amd64.deb 21-Apr-2012 20:03 12M
libghc-agda-dev_2.3.0.1-1build2_i386.deb 21-Apr-2012 20:03 12M
libghc-agda-dev_2.3.2.2-1_amd64.deb 06-Nov-2013 19:28 13M
libghc-agda-dev_2.3.2.2-1_i386.deb 06-Nov-2013 19:28 12M
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 13-Jan-2016 00:59 10M
libghc-agda-dev_2.4.2.5-1build1_i386.deb 13-Jan-2016 00:45 10M
libghc-agda-dev_2.5.3-3build1_amd64.deb 25-Nov-2017 22:09 15M
libghc-agda-dev_2.5.3-3build1_i386.deb 25-Nov-2017 22:09 15M
libghc-agda-dev_2.6.0.1-1build4_amd64.deb 08-Feb-2020 15:19 19M
libghc-agda-dev_2.6.1-1build1_amd64.deb 27-Aug-2020 03:48 36M
libghc-agda-dev_2.6.1-1build2_amd64.deb 05-Nov-2020 04:43 36M
libghc-agda-doc_2.3.0.1-1build2_all.deb 21-Apr-2012 20:03 1.6M
libghc-agda-doc_2.3.2.2-1_all.deb 06-Nov-2013 19:28 2.1M
libghc-agda-doc_2.4.2.5-1build1_all.deb 13-Jan-2016 00:59 2.1M
libghc-agda-doc_2.5.3-3build1_all.deb 25-Nov-2017 22:09 2.6M
libghc-agda-doc_2.6.0.1-1build4_all.deb 08-Feb-2020 15:19 4.0M
libghc-agda-doc_2.6.1-1build1_all.deb 27-Aug-2020 03:48 5.5M
libghc-agda-doc_2.6.1-1build2_all.deb 05-Nov-2020 04:43 5.5M
Apache/2.2 Server at ftp.ntua.gr Port 80
