../ libghc-intervals-dev_0.2.2.1-1_amd64.deb 28-Nov-2013 20:43 52500 libghc-intervals-dev_0.7.1-4_amd64.deb 09-Dec-2015 14:42 208192 libghc-intervals-doc_0.2.2.1-1_all.deb 28-Nov-2013 20:43 24924 libghc-intervals-doc_0.7.1-4_all.deb 09-Dec-2015 14:42 48018 libghc-intervals-prof_0.2.2.1-1_amd64.deb 28-Nov-2013 20:43 65542 libghc-intervals-prof_0.7.1-4_amd64.deb 09-Dec-2015 14:42 182058