Name Last modified Size Description Parent Directory - dotty.SlackBuild 2018-06-14 09:01 2.6K slack-desc 2018-06-14 09:01 749 README 2018-06-14 09:01 303 dotty.info 2018-06-14 09:01 299