../ libghc-text-format-dev_0.3.1.1-1_amd64.deb 02-Oct-2018 09:20 139700 libghc-text-format-doc_0.3.1.1-1_all.deb 02-Oct-2018 09:28 26860 libghc-text-format-prof_0.3.1.1-1_amd64.deb 02-Oct-2018 09:48 135096