../ leksah-server_0.12.1.2-3build2_amd64.deb 07-Jun-2013 11:35 8563226 libghc-leksah-server-dev_0.12.1.2-3build2_amd64..> 07-Jun-2013 11:35 1033630 libghc-leksah-server-doc_0.12.1.2-3build2_all.deb 07-Jun-2013 11:35 142436