../ libghc-uri-encode-dev_1.5.0.7-2_arm64.deb 08-Nov-2023 09:37 17392 libghc-uri-encode-dev_1.5.0.7-2_armhf.deb 08-Nov-2023 09:37 17496 libghc-uri-encode-doc_1.5.0.7-2_all.deb 08-Nov-2023 08:11 29176 libghc-uri-encode-prof_1.5.0.7-2_arm64.deb 08-Nov-2023 09:37 15880 libghc-uri-encode-prof_1.5.0.7-2_armhf.deb 08-Nov-2023 09:37 16492