../ libghc-numbers-dev_3000.2.0.2-3_amd64.deb 29-Oct-2020 14:20 307132 libghc-numbers-dev_3000.2.0.2-3_arm64.deb 29-Oct-2020 14:20 352572 libghc-numbers-doc_3000.2.0.2-3_all.deb 29-Oct-2020 14:20 98536 libghc-numbers-prof_3000.2.0.2-3_amd64.deb 29-Oct-2020 14:20 258536 libghc-numbers-prof_3000.2.0.2-3_arm64.deb 29-Oct-2020 14:20 290420