../ libghc-crypto-pubkey-dev_0.2.4-1+b4_armhf.deb 03-Oct-2014 05:11 115790 libghc-crypto-pubkey-doc_0.2.4-1_all.deb 04-Feb-2014 01:43 60254 libghc-crypto-pubkey-prof_0.2.4-1+b4_armhf.deb 03-Oct-2014 05:11 106310