../ libghc-terminal-size-dev_0.3.2.1-2_amd64.deb 14-May-2025 14:22 41016 libghc-terminal-size-doc_0.3.2.1-2_all.deb 14-May-2025 18:45 18332 libghc-terminal-size-prof_0.3.2.1-2_amd64.deb 14-May-2025 13:58 35512