../ libghc-intervals-dev_0.8.1-3+b1_amd64.deb 31-Aug-2022 14:19 257664 libghc-intervals-dev_0.9.1-1+b1_amd64.deb 01-Sep-2022 16:59 259000 libghc-intervals-doc_0.8.1-3_all.deb 31-Aug-2022 14:19 99744 libghc-intervals-doc_0.9.1-1_all.deb 01-Sep-2022 16:59 107428 libghc-intervals-prof_0.8.1-3+b1_amd64.deb 31-Aug-2022 14:19 234036 libghc-intervals-prof_0.9.1-1+b1_amd64.deb 01-Sep-2022 16:59 239712