../ haskell-simple-smt_0.9.7-2_m68k.buildinfo 28-Aug-2023 00:03 8016 libghc-simple-smt-dev_0.9.7-2_m68k.deb 28-Aug-2023 00:03 143960 libghc-simple-smt-prof_0.9.7-2_m68k.deb 28-Aug-2023 00:03 122256