ftp.ntua.gr:/debian/pool/main/h/haskell-smtlib/ 
Icon  Name                                       Last modified      Size  
[DIR] Parent Directory                                                -   
[   ] haskell-smtlib_1.0.8-3.debian.tar.xz       28-Oct-2016 03:31  2.2K  
[   ] haskell-smtlib_1.0.8-3.dsc                 28-Oct-2016 03:31  2.3K  
[   ] haskell-smtlib_1.0.8.orig.tar.gz           01-Jun-2016 18:59  9.3K  
[   ] haskell-smtlib_1.0.9-2.debian.tar.xz       30-Sep-2018 23:44  2.4K  
[   ] haskell-smtlib_1.0.9-2.dsc                 30-Sep-2018 23:44  2.2K  
[   ] haskell-smtlib_1.0.9.orig.tar.gz           03-Jul-2018 15:32  9.4K  
[   ] haskell-smtlib_1.1-1.debian.tar.xz         08-Jun-2020 18:17  2.5K  
[   ] haskell-smtlib_1.1-1.dsc                   08-Jun-2020 18:17  2.2K  
[   ] haskell-smtlib_1.1.orig.tar.gz             08-Jun-2020 18:17  9.4K  
[   ] libghc-smtlib-dev_1.0.8-3_amd64.deb        28-Oct-2016 11:43  409K  
[   ] libghc-smtlib-dev_1.0.8-3_arm64.deb        30-Oct-2016 07:59  594K  
[   ] libghc-smtlib-dev_1.0.8-3_armel.deb        30-Oct-2016 01:40  582K  
[   ] libghc-smtlib-dev_1.0.8-3_armhf.deb        30-Oct-2016 00:29  574K  
[   ] libghc-smtlib-dev_1.0.8-3_i386.deb         28-Oct-2016 16:26  437K  
[   ] libghc-smtlib-dev_1.0.8-3_mips.deb         03-Nov-2016 22:42  491K  
[   ] libghc-smtlib-dev_1.0.8-3_mips64el.deb     02-Nov-2016 04:43  542K  
[   ] libghc-smtlib-dev_1.0.8-3_mipsel.deb       04-Nov-2016 07:41  517K  
[   ] libghc-smtlib-dev_1.0.8-3_ppc64el.deb      28-Oct-2016 11:43  563K  
[   ] libghc-smtlib-dev_1.0.8-3_s390x.deb        28-Oct-2016 23:58  636K  
[   ] libghc-smtlib-dev_1.0.9-2+b2_amd64.deb     03-Dec-2018 18:14  500K  
[   ] libghc-smtlib-dev_1.0.9-2+b2_arm64.deb     03-Dec-2018 18:13  648K  
[   ] libghc-smtlib-dev_1.0.9-2+b2_armhf.deb     03-Dec-2018 20:26  622K  
[   ] libghc-smtlib-dev_1.0.9-2+b2_i386.deb      03-Dec-2018 17:48  468K  
[   ] libghc-smtlib-dev_1.0.9-2+b2_mips.deb      03-Dec-2018 19:15  615K  
[   ] libghc-smtlib-dev_1.0.9-2+b2_mips64el.deb  12-Dec-2018 00:42  680K  
[   ] libghc-smtlib-dev_1.0.9-2+b2_mipsel.deb    12-Dec-2018 01:58  633K  
[   ] libghc-smtlib-dev_1.0.9-2+b2_ppc64el.deb   03-Dec-2018 17:58  719K  
[   ] libghc-smtlib-dev_1.0.9-2+b2_s390x.deb     03-Dec-2018 17:53  747K  
[   ] libghc-smtlib-dev_1.0.9-2+b3_armel.deb     22-Jun-2019 00:42  628K  
[   ] libghc-smtlib-dev_1.1-1+b1_amd64.deb       14-Aug-2020 00:58  453K  
[   ] libghc-smtlib-dev_1.1-1+b1_arm64.deb       14-Aug-2020 11:11  600K  
[   ] libghc-smtlib-dev_1.1-1+b1_armel.deb       14-Aug-2020 01:14  576K  
[   ] libghc-smtlib-dev_1.1-1+b1_armhf.deb       14-Aug-2020 12:59  571K  
[   ] libghc-smtlib-dev_1.1-1+b1_i386.deb        14-Aug-2020 00:53  439K  
[   ] libghc-smtlib-dev_1.1-1+b1_mips64el.deb    19-Aug-2020 07:41  621K  
[   ] libghc-smtlib-dev_1.1-1+b1_mipsel.deb      17-Aug-2020 22:26  589K  
[   ] libghc-smtlib-dev_1.1-1+b1_ppc64el.deb     14-Aug-2020 00:58  649K  
[   ] libghc-smtlib-dev_1.1-1+b2_s390x.deb       14-Aug-2020 00:58  783K  
[   ] libghc-smtlib-doc_1.0.8-3_all.deb          28-Oct-2016 11:27   62K  
[   ] libghc-smtlib-doc_1.0.9-2_all.deb          01-Oct-2018 01:58   77K  
[   ] libghc-smtlib-doc_1.1-1_all.deb            08-Jun-2020 18:42   92K  
[   ] libghc-smtlib-prof_1.0.8-3_amd64.deb       28-Oct-2016 11:43  351K  
[   ] libghc-smtlib-prof_1.0.8-3_arm64.deb       30-Oct-2016 07:59  470K  
[   ] libghc-smtlib-prof_1.0.8-3_armel.deb       30-Oct-2016 01:40  497K  
[   ] libghc-smtlib-prof_1.0.8-3_armhf.deb       30-Oct-2016 00:29  488K  
[   ] libghc-smtlib-prof_1.0.8-3_i386.deb        28-Oct-2016 16:26  408K  
[   ] libghc-smtlib-prof_1.0.8-3_mips.deb        03-Nov-2016 22:42  458K  
[   ] libghc-smtlib-prof_1.0.8-3_mips64el.deb    02-Nov-2016 04:43  491K  
[   ] libghc-smtlib-prof_1.0.8-3_mipsel.deb      04-Nov-2016 07:41  462K  
[   ] libghc-smtlib-prof_1.0.8-3_ppc64el.deb     28-Oct-2016 11:43  507K  
[   ] libghc-smtlib-prof_1.0.8-3_s390x.deb       28-Oct-2016 23:58  494K  
[   ] libghc-smtlib-prof_1.0.9-2+b2_amd64.deb    03-Dec-2018 18:14  422K  
[   ] libghc-smtlib-prof_1.0.9-2+b2_arm64.deb    03-Dec-2018 18:13  495K  
[   ] libghc-smtlib-prof_1.0.9-2+b2_armhf.deb    03-Dec-2018 20:26  467K  
[   ] libghc-smtlib-prof_1.0.9-2+b2_i386.deb     03-Dec-2018 17:48  433K  
[   ] libghc-smtlib-prof_1.0.9-2+b2_mips.deb     03-Dec-2018 19:15  515K  
[   ] libghc-smtlib-prof_1.0.9-2+b2_mips64el.deb 12-Dec-2018 00:42  534K  
[   ] libghc-smtlib-prof_1.0.9-2+b2_mipsel.deb   12-Dec-2018 01:58  519K  
[   ] libghc-smtlib-prof_1.0.9-2+b2_ppc64el.deb  03-Dec-2018 17:58  553K  
[   ] libghc-smtlib-prof_1.0.9-2+b2_s390x.deb    03-Dec-2018 17:53  484K  
[   ] libghc-smtlib-prof_1.0.9-2+b3_armel.deb    22-Jun-2019 00:42  483K  
[   ] libghc-smtlib-prof_1.1-1+b1_amd64.deb      14-Aug-2020 00:58  384K  
[   ] libghc-smtlib-prof_1.1-1+b1_arm64.deb      14-Aug-2020 11:11  451K  
[   ] libghc-smtlib-prof_1.1-1+b1_armel.deb      14-Aug-2020 01:14  449K  
[   ] libghc-smtlib-prof_1.1-1+b1_armhf.deb      14-Aug-2020 12:59  438K  
[   ] libghc-smtlib-prof_1.1-1+b1_i386.deb       14-Aug-2020 00:53  390K  
[   ] libghc-smtlib-prof_1.1-1+b1_mips64el.deb   19-Aug-2020 07:41  479K  
[   ] libghc-smtlib-prof_1.1-1+b1_mipsel.deb     17-Aug-2020 22:26  474K  
[   ] libghc-smtlib-prof_1.1-1+b1_ppc64el.deb    14-Aug-2020 00:58  498K  
[   ] libghc-smtlib-prof_1.1-1+b2_s390x.deb      14-Aug-2020 00:58  591K
Apache/2.2 Server at ftp.grnet.gr Port 80