../ libghc-simple-smt-dev_0.9.4-1_amd64.deb 29-Oct-2020 14:20 99576 libghc-simple-smt-dev_0.9.4-1_arm64.deb 29-Oct-2020 14:20 113584 libghc-simple-smt-doc_0.9.4-1_all.deb 29-Oct-2020 14:20 69900 libghc-simple-smt-prof_0.9.4-1_amd64.deb 29-Oct-2020 14:20 83152 libghc-simple-smt-prof_0.9.4-1_arm64.deb 29-Oct-2020 14:20 91632