../ libghc-intervals-dev_0.8.1-1build1_amd64.deb 07-Jan-2019 18:53 230400 libghc-intervals-dev_0.8.1-1build1_i386.deb 07-Jan-2019 19:29 226248 libghc-intervals-doc_0.8.1-1build1_all.deb 07-Jan-2019 18:27 61216 libghc-intervals-prof_0.8.1-1build1_amd64.deb 07-Jan-2019 18:57 207856 libghc-intervals-prof_0.8.1-1build1_i386.deb 07-Jan-2019 18:26 209448