../ libghc-patience-dev_0.3-3_amd64.deb 04-Nov-2023 17:07 79220 libghc-patience-doc_0.3-3_all.deb 04-Nov-2023 17:07 45802 libghc-patience-prof_0.3-3_amd64.deb 04-Nov-2023 17:07 69910