../ libghc-text-metrics-dev_0.3.0-1_amd64.deb 02-Oct-2018 09:15 44440 libghc-text-metrics-doc_0.3.0-1_all.deb 02-Oct-2018 09:48 18512 libghc-text-metrics-prof_0.3.0-1_amd64.deb 02-Oct-2018 09:49 41876