../ libghc-oeis-dev_0.3.1-2_amd64.deb 25-Sep-2023 14:53 74K libghc-oeis-dev_0.3.1-2_i386.deb 25-Sep-2023 14:53 71K libghc-oeis-doc_0.3.1-2_all.deb 25-Sep-2023 14:53 33K libghc-oeis-prof_0.3.1-2_amd64.deb 25-Sep-2023 14:53 66K libghc-oeis-prof_0.3.1-2_i386.deb 25-Sep-2023 14:53 65K