Name Last modified Size Description Parent Directory - slack-desc 2018-06-14 22:01 749 README 2022-03-18 01:33 303 dotty.SlackBuild 2022-03-11 13:34 2.9K dotty.info 2022-03-11 13:34 296