Name Last modified Size Description Parent Directory - scala-2.12.4-no-git.patch 09-Apr-2018 06:08 1.4K scala-2.12.10-no-git.patch 14-Jan-2020 20:39 1.5K