../ libghc-readline-dev_1.0.3.0-11_amd64.deb 29-Oct-2020 14:20 102824 libghc-readline-dev_1.0.3.0-11_arm64.deb 29-Oct-2020 14:20 116012 libghc-readline-doc_1.0.3.0-11_all.deb 29-Oct-2020 14:20 67200 libghc-readline-prof_1.0.3.0-11_amd64.deb 29-Oct-2020 14:20 89812 libghc-readline-prof_1.0.3.0-11_arm64.deb 29-Oct-2020 14:20 96492