../ libghc-configurator-dev_0.3.0.0-8+b1_armhf.deb 22-Jul-2020 14:21 236952 libghc-configurator-doc_0.3.0.0-8_all.deb 22-Jul-2020 16:43 70400 libghc-configurator-prof_0.3.0.0-8+b1_armhf.deb 22-Jul-2020 16:40 210856