../ libghc-oeis-dev_0.3.10-3_arm64.deb 09-Nov-2023 11:11 81154 libghc-oeis-dev_0.3.10-3_armhf.deb 09-Nov-2023 11:11 97072 libghc-oeis-doc_0.3.10-3_all.deb 09-Nov-2023 11:11 45324 libghc-oeis-prof_0.3.10-3_arm64.deb 09-Nov-2023 11:11 76782 libghc-oeis-prof_0.3.10-3_armhf.deb 09-Nov-2023 11:11 96744