../ libghc-djinn-ghc-dev_0.0.2.3-10+b3_amd64.deb 01-Oct-2023 20:05 31940 libghc-djinn-ghc-doc_0.0.2.3-10_all.deb 01-Oct-2023 20:05 42960 libghc-djinn-ghc-prof_0.0.2.3-10+b3_amd64.deb 01-Oct-2023 20:05 27684