../ libghc-these-dev_0.7.3-3build2_amd64.deb 07-Nov-2017 06:20 211460 libghc-these-dev_0.7.6-1build1_amd64.deb 03-Sep-2019 12:03 267032 libghc-these-doc_0.7.3-3build2_all.deb 07-Nov-2017 06:20 57972 libghc-these-doc_0.7.6-1build1_all.deb 03-Sep-2019 12:03 91916 libghc-these-prof_0.7.3-3build2_amd64.deb 07-Nov-2017 06:20 200828 libghc-these-prof_0.7.6-1build1_amd64.deb 03-Sep-2019 12:03 260460