../ libghc-crypto-pubkey-dev_0.2.8-10+b1_amd64.deb 20-Dec-2022 20:55 117792 libghc-crypto-pubkey-doc_0.2.8-10_all.deb 20-Dec-2022 19:25 88100 libghc-crypto-pubkey-prof_0.2.8-10+b1_amd64.deb 20-Dec-2022 22:19 110924