../ libghc-djinn-lib-dev_0.0.1.2-8+b1_amd64.deb 27-Nov-2019 14:45 159668 libghc-djinn-lib-doc_0.0.1.2-8_all.deb 27-Nov-2019 14:45 55942 libghc-djinn-lib-prof_0.0.1.2-8+b1_amd64.deb 27-Nov-2019 14:45 146898