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