../ libghc-clock-dev_0.7.2-5+b2_armhf.deb 22-Jul-2020 16:27 72684 libghc-clock-doc_0.7.2-5_all.deb 22-Jul-2020 16:46 46660 libghc-clock-prof_0.7.2-5+b2_armhf.deb 22-Jul-2020 16:07 54368