../ libghc-crypto-pubkey-dev_0.2.8-10+b1_amd64.deb 01-Oct-2023 20:05 117792 libghc-crypto-pubkey-doc_0.2.8-10_all.deb 01-Oct-2023 20:05 88100 libghc-crypto-pubkey-prof_0.2.8-10+b1_amd64.deb 01-Oct-2023 20:05 110924