ftp.ntua.gr:/mirror/ubuntu/pool/universe/h/haskell-cryptol/?C=M&O=A 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] haskell-cryptol_2.2.6.orig.tar.gz                30-Dec-2015 07:19  216K  
[   ] haskell-cryptol_2.2.6-1build1.debian.tar.xz      14-Jan-2016 18:39  2.6K  
[   ] haskell-cryptol_2.2.6-1build1.dsc                14-Jan-2016 18:39  3.4K  
[   ] libghc-cryptol-dev_2.2.6-1build1_amd64.deb       14-Jan-2016 18:54  2.3M  
[   ] libghc-cryptol-doc_2.2.6-1build1_all.deb         14-Jan-2016 18:54  468K  
[   ] cryptol_2.2.6-1build1_amd64.deb                  14-Jan-2016 18:54  1.8M  
[   ] libghc-cryptol-prof_2.2.6-1build1_amd64.deb      14-Jan-2016 18:54  2.6M  
[   ] libghc-cryptol-dev_2.2.6-1build1_i386.deb        14-Jan-2016 18:55  2.3M  
[   ] cryptol_2.2.6-1build1_i386.deb                   14-Jan-2016 18:55  1.8M  
[   ] libghc-cryptol-prof_2.2.6-1build1_i386.deb       14-Jan-2016 18:55  2.6M  
[   ] haskell-cryptol_2.4.0.orig.tar.gz                13-Nov-2016 19:08  290K  
[   ] haskell-cryptol_2.4.0-3.debian.tar.xz            11-Nov-2017 01:08  2.9K  
[   ] haskell-cryptol_2.4.0-3.dsc                      11-Nov-2017 01:08  3.8K  
[   ] cryptol_2.4.0-3_amd64.deb                        11-Nov-2017 01:28  2.1M  
[   ] libghc-cryptol-dev_2.4.0-3_amd64.deb             11-Nov-2017 01:28  3.3M  
[   ] libghc-cryptol-doc_2.4.0-3_all.deb               11-Nov-2017 01:28  608K  
[   ] libghc-cryptol-prof_2.4.0-3_amd64.deb            11-Nov-2017 01:28  3.5M  
[   ] cryptol_2.4.0-3_i386.deb                         11-Nov-2017 01:28  2.1M  
[   ] libghc-cryptol-dev_2.4.0-3_i386.deb              11-Nov-2017 01:28  3.1M  
[   ] libghc-cryptol-prof_2.4.0-3_i386.deb             11-Nov-2017 01:28  3.4M  
[   ] haskell-cryptol_2.6.0.orig.tar.gz                14-Dec-2018 12:18  355K  
[   ] haskell-cryptol_2.6.0-4build2.debian.tar.xz      08-Feb-2020 13:48  6.7K  
[   ] haskell-cryptol_2.6.0-4build2.dsc                08-Feb-2020 13:48  3.4K  
[   ] cryptol_2.6.0-4build2_amd64.deb                  08-Feb-2020 15:53  2.3M  
[   ] libghc-cryptol-dev_2.6.0-4build2_amd64.deb       08-Feb-2020 15:53  3.9M  
[   ] libghc-cryptol-doc_2.6.0-4build2_all.deb         08-Feb-2020 15:53  955K  
[   ] libghc-cryptol-prof_2.6.0-4build2_amd64.deb      08-Feb-2020 15:53  3.8M  
[   ] haskell-cryptol_2.8.0.orig.tar.gz                11-Jul-2020 08:18  323K  
[   ] haskell-cryptol_2.8.0-1build4.debian.tar.xz      27-Aug-2020 03:08  4.6K  
[   ] haskell-cryptol_2.8.0-1build4.dsc                27-Aug-2020 03:08  3.6K  
[   ] cryptol_2.8.0-1build4_amd64.deb                  27-Aug-2020 03:24  2.6M  
[   ] libghc-cryptol-dev_2.8.0-1build4_amd64.deb       27-Aug-2020 03:24  4.0M  
[   ] libghc-cryptol-doc_2.8.0-1build4_all.deb         27-Aug-2020 03:24  1.2M  
[   ] libghc-cryptol-prof_2.8.0-1build4_amd64.deb      27-Aug-2020 03:24  3.9M  
[   ] haskell-cryptol_2.8.0-1build5.debian.tar.xz      29-Oct-2020 22:23  4.6K  
[   ] haskell-cryptol_2.8.0-1build5.dsc                29-Oct-2020 22:23  3.6K  
[   ] cryptol_2.8.0-1build5_amd64.deb                  02-Nov-2020 13:18  2.6M  
[   ] libghc-cryptol-dev_2.8.0-1build5_amd64.deb       02-Nov-2020 13:18  4.0M  
[   ] libghc-cryptol-doc_2.8.0-1build5_all.deb         02-Nov-2020 13:18  1.2M  
[   ] libghc-cryptol-prof_2.8.0-1build5_amd64.deb      02-Nov-2020 13:18  3.9M
Apache/2.2 Server at ftp.ntua.gr Port 80