../ libghc-hxt-charproperties-dev_9.5.0.0-2_amd64.deb 04-Nov-2023 17:08 1122986 libghc-hxt-charproperties-doc_9.5.0.0-2_all.deb 04-Nov-2023 17:08 114326 libghc-hxt-charproperties-prof_9.5.0.0-2_amd64.deb 04-Nov-2023 17:08 795000