../ libghc-these-dev_0.7.2-6+b1_amd64.deb 21-Dec-2022 01:33 183K libghc-these-doc_0.7.2-6_all.deb 21-Dec-2022 01:33 70K libghc-these-prof_0.7.2-6+b1_amd64.deb 21-Dec-2022 01:33 179K