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