../ libghc-clocked-dev_0.4.1.2-2_amd64.deb 25-May-2013 21:33 20314 libghc-clocked-doc_0.4.1.2-2_all.deb 25-May-2013 21:33 19538 libghc-clocked-prof_0.4.1.2-2_amd64.deb 25-May-2013 21:33 17824