../ libghc-text-short-dev_0.1.2-4+b1_armhf.deb 22-Jul-2020 14:37 89044 libghc-text-short-doc_0.1.2-4_all.deb 22-Jul-2020 14:29 84024 libghc-text-short-prof_0.1.2-4+b1_armhf.deb 22-Jul-2020 14:53 76728