../ libghc-numtype-dk-dev_0.5.0.3-2_arm64.deb 04-Nov-2023 17:08 32556 libghc-numtype-dk-dev_0.5.0.3-2_armhf.deb 04-Nov-2023 17:08 36046 libghc-numtype-dk-doc_0.5.0.3-2_all.deb 04-Nov-2023 17:07 40236 libghc-numtype-dk-prof_0.5.0.3-2_arm64.deb 04-Nov-2023 17:08 30292 libghc-numtype-dk-prof_0.5.0.3-2_armhf.deb 04-Nov-2023 17:08 36486