../ libghc-oeis-dev_0.3.1-2+b3_amd64.deb 26-May-2012 19:51 78420 libghc-oeis-doc_0.3.1-2_all.deb 02-Mar-2012 10:32 46048 libghc-oeis-prof_0.3.1-2+b3_amd64.deb 26-May-2012 19:51 71368