ftp.ntua.gr:/mirror/ubuntu/pool/universe/h/haskell-sbv/?C=S&O=A 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] haskell-sbv_5.9-1build1.debian.tar.xz            13-Jan-2016 13:19  2.3K  
[   ] haskell-sbv_7.13-1build1.dsc                     08-Aug-2019 14:48  2.6K  
[   ] haskell-sbv_5.14-1build3.debian.tar.xz           04-Nov-2017 07:59  2.6K  
[   ] haskell-sbv_8.7-1build2.dsc                      29-Aug-2020 01:04  2.7K  
[   ] haskell-sbv_8.7-1build3.dsc                      29-Oct-2020 23:29  2.7K  
[   ] haskell-sbv_5.9-1build1.dsc                      13-Jan-2016 13:19  2.8K  
[   ] haskell-sbv_7.13-1build1.debian.tar.xz           08-Aug-2019 14:48  2.8K  
[   ] haskell-sbv_5.14-1build3.dsc                     04-Nov-2017 07:59  2.8K  
[   ] haskell-sbv_8.7-1build2.debian.tar.xz            29-Aug-2020 01:04  2.9K  
[   ] haskell-sbv_8.7-1build3.debian.tar.xz            29-Oct-2020 23:29  2.9K  
[   ] libghc-sbv-doc_5.9-1build1_all.deb               13-Jan-2016 13:49  465K  
[   ] haskell-sbv_5.9.orig.tar.gz                      11-Jan-2016 13:14  513K  
[   ] haskell-sbv_5.14.orig.tar.gz                     07-Jul-2017 14:08  515K  
[   ] libghc-sbv-doc_5.14-1build3_all.deb              04-Nov-2017 07:59  521K  
[   ] haskell-sbv_7.13.orig.tar.gz                     28-Jul-2019 14:13  671K  
[   ] haskell-sbv_8.7.orig.tar.gz                      18-Aug-2020 02:18  853K  
[   ] libghc-sbv-doc_7.13-1build1_all.deb              25-Aug-2019 22:33  969K  
[   ] libghc-sbv-doc_8.7-1build3_all.deb               31-Oct-2020 16:33  1.5M  
[   ] libghc-sbv-doc_8.7-1build2_all.deb               29-Aug-2020 01:19  1.5M  
[   ] libghc-sbv-prof_5.9-1build1_amd64.deb            13-Jan-2016 13:49  1.9M  
[   ] libghc-sbv-prof_5.9-1build1_i386.deb             13-Jan-2016 13:50  1.9M  
[   ] libghc-sbv-prof_5.14-1build3_i386.deb            04-Nov-2017 08:00  2.2M  
[   ] libghc-sbv-prof_5.14-1build3_amd64.deb           04-Nov-2017 07:59  2.2M  
[   ] libghc-sbv-dev_5.9-1build1_i386.deb              13-Jan-2016 13:50  2.4M  
[   ] libghc-sbv-dev_5.9-1build1_amd64.deb             13-Jan-2016 13:49  2.4M  
[   ] libghc-sbv-dev_5.14-1build3_i386.deb             04-Nov-2017 08:00  2.6M  
[   ] libghc-sbv-dev_5.14-1build3_amd64.deb            04-Nov-2017 07:59  2.7M  
[   ] libghc-sbv-prof_7.13-1build1_amd64.deb           25-Aug-2019 22:33  3.2M  
[   ] libghc-sbv-dev_7.13-1build1_amd64.deb            25-Aug-2019 22:33  3.8M  
[   ] libghc-sbv-prof_8.7-1build2_amd64.deb            29-Aug-2020 01:19  4.9M  
[   ] libghc-sbv-prof_8.7-1build3_amd64.deb            31-Oct-2020 16:33  4.9M  
[   ] libghc-sbv-dev_8.7-1build2_amd64.deb             29-Aug-2020 01:19  5.7M  
[   ] libghc-sbv-dev_8.7-1build3_amd64.deb             31-Oct-2020 16:33  5.7M
Apache/2.2 Server at ftp.ntua.gr Port 80