../ leksah-server_0.12.0.4-3_amd64.deb 28-May-2012 08:48 8796558 libghc-leksah-server-dev_0.12.0.4-3_amd64.deb 28-May-2012 08:48 1056290 libghc-leksah-server-doc_0.12.0.4-3_all.deb 28-May-2012 08:48 145950