../ libghc-djinn-ghc-dev_0.0.2.3-10build4_amd64.deb 18-Dec-2022 14:12 28420 libghc-djinn-ghc-doc_0.0.2.3-10build4_all.deb 18-Dec-2022 14:01 31892 libghc-djinn-ghc-prof_0.0.2.3-10build4_amd64.deb 18-Dec-2022 12:25 23056