../ libghc-oeis-dev_0.3.10-1_amd64.deb 29-Oct-2020 14:20 81196 libghc-oeis-dev_0.3.10-1_arm64.deb 29-Oct-2020 14:20 96364 libghc-oeis-doc_0.3.10-1_all.deb 29-Oct-2020 14:20 57828 libghc-oeis-prof_0.3.10-1_amd64.deb 29-Oct-2020 14:20 69504 libghc-oeis-prof_0.3.10-1_arm64.deb 29-Oct-2020 14:20 77272