../ libghc-numtype-dk-doc_0.5.0.2-1_all.deb 30-Sep-2018 11:44 48984 libghc-numtype-dk-doc_0.5.0.2-2_all.deb 14-Jun-2020 12:38 50300 libghc-numtype-dk-doc_0.5.0.3-1_all.deb 03-Jul-2022 02:01 51040 libghc-numtype-dk-doc_0.5.0.3-2_all.deb 27-Aug-2023 11:41 51008