ftp.ntua.gr:/debian/pool/main/h/haskell-cryptol/ 
Icon  Name                                        Last modified      Size  
[DIR] Parent Directory                                                 -   
[   ] cryptol_2.4.0-2+b1_amd64.deb                08-Nov-2016 17:25  2.5M  
[   ] cryptol_2.4.0-2+b1_i386.deb                 09-Nov-2016 00:27  2.5M  
[   ] cryptol_2.6.0-3+b1_amd64.deb                04-Dec-2018 12:13  2.3M  
[   ] cryptol_2.6.0-3+b1_i386.deb                 04-Dec-2018 12:03  2.3M  
[   ] cryptol_2.8.0-1+b1_mips64el.deb             21-Aug-2020 13:12  6.6M  
[   ] cryptol_2.8.0-1+b1_mipsel.deb               19-Aug-2020 17:14  4.5M  
[   ] cryptol_2.8.0-1+b2_amd64.deb                19-Aug-2020 22:12  2.6M  
[   ] cryptol_2.8.0-1+b2_arm64.deb                19-Aug-2020 23:15  3.3M  
[   ] cryptol_2.8.0-1+b2_armel.deb                20-Aug-2020 01:27  3.1M  
[   ] cryptol_2.8.0-1+b2_armhf.deb                20-Aug-2020 01:27  3.1M  
[   ] cryptol_2.8.0-1+b2_i386.deb                 20-Aug-2020 01:17  2.6M  
[   ] cryptol_2.8.0-1+b2_mips64el.deb             03-Oct-2021 18:10  6.6M  
[   ] cryptol_2.8.0-1+b2_mipsel.deb               03-Oct-2021 17:55  4.5M  
[   ] cryptol_2.8.0-1+b2_ppc64el.deb              20-Aug-2020 01:27  4.5M  
[   ] cryptol_2.8.0-1+b3_amd64.deb                03-Oct-2021 12:42  2.6M  
[   ] cryptol_2.8.0-1+b3_arm64.deb                03-Oct-2021 13:43  3.3M  
[   ] cryptol_2.8.0-1+b3_armel.deb                03-Oct-2021 13:43  3.1M  
[   ] cryptol_2.8.0-1+b3_armhf.deb                03-Oct-2021 13:27  3.1M  
[   ] cryptol_2.8.0-1+b3_i386.deb                 03-Oct-2021 12:42  2.6M  
[   ] cryptol_2.8.0-1+b3_ppc64el.deb              03-Oct-2021 12:57  4.5M  
[   ] cryptol_2.8.0-1+b3_s390x.deb                20-Aug-2020 01:32  9.6M  
[   ] cryptol_2.8.0-1+b4_s390x.deb                03-Oct-2021 12:47  9.6M  
[   ] haskell-cryptol_2.4.0-2.debian.tar.xz       28-Oct-2016 03:24  2.8K  
[   ] haskell-cryptol_2.4.0-2.dsc                 28-Oct-2016 03:24  3.8K  
[   ] haskell-cryptol_2.4.0.orig.tar.gz           17-Oct-2016 19:22  290K  
[   ] haskell-cryptol_2.6.0-3.debian.tar.xz       10-Nov-2018 04:18  3.3K  
[   ] haskell-cryptol_2.6.0-3.dsc                 10-Nov-2018 04:18  3.3K  
[   ] haskell-cryptol_2.6.0.orig.tar.gz           29-Sep-2018 15:25  355K  
[   ] haskell-cryptol_2.8.0-1.debian.tar.xz       11-Jul-2020 03:14  4.4K  
[   ] haskell-cryptol_2.8.0-1.dsc                 11-Jul-2020 03:14  3.5K  
[   ] haskell-cryptol_2.8.0.orig.tar.gz           11-Jul-2020 03:14  323K  
[   ] libghc-cryptol-dev_2.4.0-2+b1_amd64.deb     08-Nov-2016 17:25  3.2M  
[   ] libghc-cryptol-dev_2.4.0-2+b1_i386.deb      09-Nov-2016 00:27  3.5M  
[   ] libghc-cryptol-dev_2.6.0-3+b1_amd64.deb     04-Dec-2018 12:13  4.0M  
[   ] libghc-cryptol-dev_2.6.0-3+b1_i386.deb      04-Dec-2018 12:03  3.9M  
[   ] libghc-cryptol-dev_2.8.0-1+b1_mips64el.deb  21-Aug-2020 13:12  6.0M  
[   ] libghc-cryptol-dev_2.8.0-1+b1_mipsel.deb    19-Aug-2020 17:14  5.5M  
[   ] libghc-cryptol-dev_2.8.0-1+b2_amd64.deb     19-Aug-2020 22:12  4.0M  
[   ] libghc-cryptol-dev_2.8.0-1+b2_arm64.deb     19-Aug-2020 23:15  4.8M  
[   ] libghc-cryptol-dev_2.8.0-1+b2_armel.deb     20-Aug-2020 01:27  4.5M  
[   ] libghc-cryptol-dev_2.8.0-1+b2_armhf.deb     20-Aug-2020 01:27  4.4M  
[   ] libghc-cryptol-dev_2.8.0-1+b2_i386.deb      20-Aug-2020 01:17  4.0M  
[   ] libghc-cryptol-dev_2.8.0-1+b2_mips64el.deb  03-Oct-2021 18:10  6.0M  
[   ] libghc-cryptol-dev_2.8.0-1+b2_mipsel.deb    03-Oct-2021 17:55  5.5M  
[   ] libghc-cryptol-dev_2.8.0-1+b2_ppc64el.deb   20-Aug-2020 01:27  6.0M  
[   ] libghc-cryptol-dev_2.8.0-1+b3_amd64.deb     03-Oct-2021 12:42  4.0M  
[   ] libghc-cryptol-dev_2.8.0-1+b3_arm64.deb     03-Oct-2021 13:43  4.8M  
[   ] libghc-cryptol-dev_2.8.0-1+b3_armel.deb     03-Oct-2021 13:43  4.5M  
[   ] libghc-cryptol-dev_2.8.0-1+b3_armhf.deb     03-Oct-2021 13:27  4.4M  
[   ] libghc-cryptol-dev_2.8.0-1+b3_i386.deb      03-Oct-2021 12:42  4.0M  
[   ] libghc-cryptol-dev_2.8.0-1+b3_ppc64el.deb   03-Oct-2021 12:57  6.0M  
[   ] libghc-cryptol-dev_2.8.0-1+b3_s390x.deb     20-Aug-2020 01:32  6.3M  
[   ] libghc-cryptol-dev_2.8.0-1+b4_s390x.deb     03-Oct-2021 12:47  6.3M  
[   ] libghc-cryptol-doc_2.4.0-2_all.deb          30-Oct-2016 04:30  616K  
[   ] libghc-cryptol-doc_2.6.0-3_all.deb          10-Nov-2018 05:18  938K  
[   ] libghc-cryptol-doc_2.8.0-1_all.deb          11-Jul-2020 03:34  1.2M  
[   ] libghc-cryptol-prof_2.4.0-2+b1_amd64.deb    08-Nov-2016 17:25  3.3M  
[   ] libghc-cryptol-prof_2.4.0-2+b1_i386.deb     09-Nov-2016 00:27  3.9M  
[   ] libghc-cryptol-prof_2.6.0-3+b1_amd64.deb    04-Dec-2018 12:13  3.8M  
[   ] libghc-cryptol-prof_2.6.0-3+b1_i386.deb     04-Dec-2018 12:03  3.8M  
[   ] libghc-cryptol-prof_2.8.0-1+b1_mips64el.deb 21-Aug-2020 13:12  5.5M  
[   ] libghc-cryptol-prof_2.8.0-1+b1_mipsel.deb   19-Aug-2020 17:14  5.1M  
[   ] libghc-cryptol-prof_2.8.0-1+b2_amd64.deb    19-Aug-2020 22:12  3.9M  
[   ] libghc-cryptol-prof_2.8.0-1+b2_arm64.deb    19-Aug-2020 23:15  4.4M  
[   ] libghc-cryptol-prof_2.8.0-1+b2_armel.deb    20-Aug-2020 01:27  4.3M  
[   ] libghc-cryptol-prof_2.8.0-1+b2_armhf.deb    20-Aug-2020 01:27  4.2M  
[   ] libghc-cryptol-prof_2.8.0-1+b2_i386.deb     20-Aug-2020 01:17  4.0M  
[   ] libghc-cryptol-prof_2.8.0-1+b2_mips64el.deb 03-Oct-2021 18:10  5.5M  
[   ] libghc-cryptol-prof_2.8.0-1+b2_mipsel.deb   03-Oct-2021 17:55  5.1M  
[   ] libghc-cryptol-prof_2.8.0-1+b2_ppc64el.deb  20-Aug-2020 01:27  5.2M  
[   ] libghc-cryptol-prof_2.8.0-1+b3_amd64.deb    03-Oct-2021 12:42  3.9M  
[   ] libghc-cryptol-prof_2.8.0-1+b3_arm64.deb    03-Oct-2021 13:43  4.4M  
[   ] libghc-cryptol-prof_2.8.0-1+b3_armel.deb    03-Oct-2021 13:43  4.2M  
[   ] libghc-cryptol-prof_2.8.0-1+b3_armhf.deb    03-Oct-2021 13:27  4.2M  
[   ] libghc-cryptol-prof_2.8.0-1+b3_i386.deb     03-Oct-2021 12:42  4.0M  
[   ] libghc-cryptol-prof_2.8.0-1+b3_ppc64el.deb  03-Oct-2021 12:57  5.3M  
[   ] libghc-cryptol-prof_2.8.0-1+b3_s390x.deb    20-Aug-2020 01:32  4.8M  
[   ] libghc-cryptol-prof_2.8.0-1+b4_s390x.deb    03-Oct-2021 12:47  4.8M
Apache/2.2 Server at ftp.grnet.gr Port 80