../ libghc-simple-smt-dev_0.9.5-1_amd64.deb 17-Aug-2020 15:27 99908 libghc-simple-smt-doc_0.9.5-1_all.deb 17-Aug-2020 15:17 69944 libghc-simple-smt-prof_0.9.5-1_amd64.deb 17-Aug-2020 15:27 82940