../ libghc-pandoc-types-dev_1.17.5.1-1+b1_armhf.deb 22-Jul-2020 16:29 610304 libghc-pandoc-types-doc_1.17.5.1-1_all.deb 22-Jul-2020 15:22 108200 libghc-pandoc-types-prof_1.17.5.1-1+b1_armhf.deb 22-Jul-2020 14:26 501240