../ libghc-file-embed-dev_0.0.12.0-1build2_amd64.deb 30-Oct-2020 18:27 40512 libghc-file-embed-doc_0.0.12.0-1build2_all.deb 30-Oct-2020 18:27 38100 libghc-file-embed-prof_0.0.12.0-1build2_amd64.deb 30-Oct-2020 18:27 34720