Name Last modified Size Description Parent Directory - scala-2.12.10-no-git.patch 2020-01-14 12:39 1.5K scala-2.12.4-no-git.patch 2018-04-08 23:08 1.4K