../ libghc-djinn-lib-dev_0.0.1.3-3build1_arm64.deb 03-Aug-2019 10:34 198K libghc-djinn-lib-doc_0.0.1.3-3build1_all.deb 03-Aug-2019 10:25 65K libghc-djinn-lib-prof_0.0.1.3-3build1_arm64.deb 03-Aug-2019 10:34 171K