../ libghc-oeis-dev_0.3.9-3build1_amd64.deb 09-Mar-2023 21:57 77000 libghc-oeis-doc_0.3.9-3build1_all.deb 09-Mar-2023 21:57 42272 libghc-oeis-prof_0.3.9-3build1_amd64.deb 09-Mar-2023 21:57 62820