ftp.ntua.gr:/debian/pool/main/h/haskell-sbv/ 
Icon  Name                                   Last modified      Size  
[DIR] Parent Directory                                            -   
[   ] haskell-sbv_5.12-2.debian.tar.xz       28-Oct-2016 03:30  2.4K  
[   ] haskell-sbv_5.12-2.dsc                 28-Oct-2016 03:30  2.9K  
[   ] haskell-sbv_5.12.orig.tar.gz           17-Oct-2016 08:32  514K  
[   ] haskell-sbv_7.12-2.debian.tar.xz       01-Oct-2018 22:32  2.7K  
[   ] haskell-sbv_7.12-2.dsc                 01-Oct-2018 22:32  2.7K  
[   ] haskell-sbv_7.12.orig.tar.gz           30-Sep-2018 13:59  651K  
[   ] haskell-sbv_8.7-1.debian.tar.xz        17-Aug-2020 17:46  2.7K  
[   ] haskell-sbv_8.7-1.dsc                  17-Aug-2020 17:46  2.6K  
[   ] haskell-sbv_8.7.orig.tar.gz            17-Aug-2020 17:46  853K  
[   ] libghc-sbv-dev_5.12-2+b1_mipsel.deb    17-Nov-2016 01:13  3.5M  
[   ] libghc-sbv-dev_5.12-2+b2_arm64.deb     16-Nov-2016 00:13  4.0M  
[   ] libghc-sbv-dev_5.12-2+b2_mips.deb      16-Nov-2016 03:11  3.5M  
[   ] libghc-sbv-dev_5.12-2+b2_s390x.deb     16-Nov-2016 00:58  5.3M  
[   ] libghc-sbv-dev_5.12-2+b3_amd64.deb     14-Nov-2016 23:44  2.6M  
[   ] libghc-sbv-dev_5.12-2+b3_armel.deb     16-Nov-2016 09:12  3.0M  
[   ] libghc-sbv-dev_5.12-2+b3_i386.deb      14-Nov-2016 23:44  2.5M  
[   ] libghc-sbv-dev_5.12-2+b3_ppc64el.deb   15-Nov-2016 00:00  3.6M  
[   ] libghc-sbv-dev_5.12-2+b4_armhf.deb     28-Dec-2016 13:58  3.3M  
[   ] libghc-sbv-dev_5.12-2_mips64el.deb     18-Nov-2016 13:56  3.8M  
[   ] libghc-sbv-dev_7.12-2+b2_amd64.deb     08-Mar-2019 11:25  3.8M  
[   ] libghc-sbv-dev_7.12-2+b2_arm64.deb     08-Mar-2019 11:55  4.5M  
[   ] libghc-sbv-dev_7.12-2+b2_armhf.deb     08-Mar-2019 12:25  4.1M  
[   ] libghc-sbv-dev_7.12-2+b2_i386.deb      08-Mar-2019 11:10  3.7M  
[   ] libghc-sbv-dev_7.12-2+b2_mips.deb      08-Mar-2019 13:41  4.9M  
[   ] libghc-sbv-dev_7.12-2+b2_mips64el.deb  08-Mar-2019 16:26  5.4M  
[   ] libghc-sbv-dev_7.12-2+b2_mipsel.deb    08-Mar-2019 17:12  5.0M  
[   ] libghc-sbv-dev_7.12-2+b2_ppc64el.deb   08-Mar-2019 11:25  5.5M  
[   ] libghc-sbv-dev_7.12-2+b2_s390x.deb     08-Mar-2019 11:20  5.8M  
[   ] libghc-sbv-dev_7.12-2+b3_armel.deb     22-Jun-2019 15:28  4.2M  
[   ] libghc-sbv-dev_8.7-1+b1_amd64.deb      19-Aug-2020 20:55  5.7M  
[   ] libghc-sbv-dev_8.7-1+b1_arm64.deb      19-Aug-2020 21:41  8.0M  
[   ] libghc-sbv-dev_8.7-1+b1_armel.deb      20-Aug-2020 00:11  7.8M  
[   ] libghc-sbv-dev_8.7-1+b1_armhf.deb      19-Aug-2020 22:28  7.6M  
[   ] libghc-sbv-dev_8.7-1+b1_i386.deb       19-Aug-2020 22:12  5.6M  
[   ] libghc-sbv-dev_8.7-1+b1_ppc64el.deb    19-Aug-2020 22:44  8.6M  
[   ] libghc-sbv-dev_8.7-1+b1_s390x.deb      19-Aug-2020 22:12  9.9M  
[   ] libghc-sbv-dev_8.7-1_mips64el.deb      21-Aug-2020 06:44  8.2M  
[   ] libghc-sbv-dev_8.7-1_mipsel.deb        19-Aug-2020 10:43  7.8M  
[   ] libghc-sbv-doc_5.12-2_all.deb          29-Oct-2016 04:42  537K  
[   ] libghc-sbv-doc_7.12-2_all.deb          16-Oct-2018 19:56  962K  
[   ] libghc-sbv-doc_8.7-1_all.deb           17-Aug-2020 18:27  1.6M  
[   ] libghc-sbv-prof_5.12-2+b1_mipsel.deb   17-Nov-2016 01:13  2.9M  
[   ] libghc-sbv-prof_5.12-2+b2_arm64.deb    16-Nov-2016 00:13  3.0M  
[   ] libghc-sbv-prof_5.12-2+b2_mips.deb     16-Nov-2016 03:11  2.8M  
[   ] libghc-sbv-prof_5.12-2+b2_s390x.deb    16-Nov-2016 00:58  3.6M  
[   ] libghc-sbv-prof_5.12-2+b3_amd64.deb    14-Nov-2016 23:44  2.2M  
[   ] libghc-sbv-prof_5.12-2+b3_armel.deb    16-Nov-2016 09:12  2.4M  
[   ] libghc-sbv-prof_5.12-2+b3_i386.deb     14-Nov-2016 23:44  2.2M  
[   ] libghc-sbv-prof_5.12-2+b3_ppc64el.deb  15-Nov-2016 00:00  3.1M  
[   ] libghc-sbv-prof_5.12-2+b4_armhf.deb    28-Dec-2016 13:58  2.7M  
[   ] libghc-sbv-prof_5.12-2_mips64el.deb    18-Nov-2016 13:56  3.2M  
[   ] libghc-sbv-prof_7.12-2+b2_amd64.deb    08-Mar-2019 11:25  3.2M  
[   ] libghc-sbv-prof_7.12-2+b2_arm64.deb    08-Mar-2019 11:55  3.6M  
[   ] libghc-sbv-prof_7.12-2+b2_armhf.deb    08-Mar-2019 12:25  3.4M  
[   ] libghc-sbv-prof_7.12-2+b2_i386.deb     08-Mar-2019 11:10  3.2M  
[   ] libghc-sbv-prof_7.12-2+b2_mips.deb     08-Mar-2019 13:41  4.1M  
[   ] libghc-sbv-prof_7.12-2+b2_mips64el.deb 08-Mar-2019 16:26  4.4M  
[   ] libghc-sbv-prof_7.12-2+b2_mipsel.deb   08-Mar-2019 17:12  4.1M  
[   ] libghc-sbv-prof_7.12-2+b2_ppc64el.deb  08-Mar-2019 11:25  4.2M  
[   ] libghc-sbv-prof_7.12-2+b2_s390x.deb    08-Mar-2019 11:20  4.0M  
[   ] libghc-sbv-prof_7.12-2+b3_armel.deb    22-Jun-2019 15:28  3.5M  
[   ] libghc-sbv-prof_8.7-1+b1_amd64.deb     19-Aug-2020 20:55  5.0M  
[   ] libghc-sbv-prof_8.7-1+b1_arm64.deb     19-Aug-2020 21:41  6.1M  
[   ] libghc-sbv-prof_8.7-1+b1_armel.deb     20-Aug-2020 00:11  6.1M  
[   ] libghc-sbv-prof_8.7-1+b1_armhf.deb     19-Aug-2020 22:28  6.0M  
[   ] libghc-sbv-prof_8.7-1+b1_i386.deb      19-Aug-2020 22:12  5.0M  
[   ] libghc-sbv-prof_8.7-1+b1_ppc64el.deb   19-Aug-2020 22:44  6.8M  
[   ] libghc-sbv-prof_8.7-1+b1_s390x.deb     19-Aug-2020 22:12  7.9M  
[   ] libghc-sbv-prof_8.7-1_mips64el.deb     21-Aug-2020 06:44  6.7M  
[   ] libghc-sbv-prof_8.7-1_mipsel.deb       19-Aug-2020 10:43  6.4M
Apache/2.2 Server at ftp.grnet.gr Port 80