../ libghc-oeis-dev_0.3.1-5build1_amd64.deb 29-May-2013 09:04 79364 libghc-oeis-doc_0.3.1-5build1_all.deb 29-May-2013 08:06 34884 libghc-oeis-prof_0.3.1-5build1_amd64.deb 29-May-2013 09:04 70150