../ libghc-djinn-ghc-dev_0.0.2.3-10+b3_amd64.deb 12-May-2025 11:33 31940 libghc-djinn-ghc-doc_0.0.2.3-10_all.deb 12-May-2025 11:33 42960 libghc-djinn-ghc-prof_0.0.2.3-10+b3_amd64.deb 12-May-2025 11:33 27684