../ libghc-intervals-dev_0.9.1-1+b1_amd64.deb 20-Dec-2022 19:35 259000 libghc-intervals-doc_0.9.1-1_all.deb 20-Dec-2022 20:54 107428 libghc-intervals-prof_0.9.1-1+b1_amd64.deb 20-Dec-2022 19:56 239712