../ libghc-intervals-dev_0.9.1-1+b1_amd64.deb 14-Aug-2020 05:26 259000 libghc-intervals-doc_0.9.1-1_all.deb 16-Jun-2020 15:09 107428 libghc-intervals-prof_0.9.1-1+b1_amd64.deb 14-Aug-2020 05:26 239712