../ libghc-numtype-dev_1.2-6_amd64.deb 29-Oct-2020 14:20 44112 libghc-numtype-dev_1.2-6_arm64.deb 29-Oct-2020 14:20 47600 libghc-numtype-doc_1.2-6_all.deb 29-Oct-2020 14:20 51260 libghc-numtype-prof_1.2-6_amd64.deb 29-Oct-2020 14:20 35608 libghc-numtype-prof_1.2-6_arm64.deb 29-Oct-2020 14:20 37196