../ libghc-uri-encode-dev_1.5.0.5-1_amd64.deb 02-Oct-2018 09:50 16148 libghc-uri-encode-doc_1.5.0.5-1_all.deb 02-Oct-2018 09:23 15384 libghc-uri-encode-prof_1.5.0.5-1_amd64.deb 02-Oct-2018 09:41 13964