../ libghc-ed25519-dev_0.0.5.0-12+b1_armhf.deb 22-Jul-2020 15:20 114144 libghc-ed25519-doc_0.0.5.0-12_all.deb 22-Jul-2020 15:41 60004 libghc-ed25519-prof_0.0.5.0-12+b1_armhf.deb 22-Jul-2020 15:39 109100