../ libghc-intervals-dev_0.7.1-4_amd64.deb 16-Mar-2016 09:38 208192 libghc-intervals-dev_0.8.1-1build1_amd64.deb 02-Oct-2018 09:15 230400 libghc-intervals-doc_0.7.1-4_all.deb 16-Mar-2016 10:49 48018 libghc-intervals-doc_0.8.1-1build1_all.deb 02-Oct-2018 09:32 61216 libghc-intervals-prof_0.7.1-4_amd64.deb 16-Mar-2016 11:15 182058 libghc-intervals-prof_0.8.1-1build1_amd64.deb 02-Oct-2018 09:25 207856