../ libghc-intervals-dev_0.7.1-4_amd64.deb 28-May-2020 21:32 208192 libghc-intervals-dev_0.8.1-1build1_amd64.deb 28-May-2020 17:38 230400 libghc-intervals-doc_0.7.1-4_all.deb 28-May-2020 21:53 48018 libghc-intervals-doc_0.8.1-1build1_all.deb 28-May-2020 17:50 61216 libghc-intervals-prof_0.7.1-4_amd64.deb 28-May-2020 21:37 182058 libghc-intervals-prof_0.8.1-1build1_amd64.deb 28-May-2020 17:55 207856