... gcc-go) (make); agda (agda-git, agda-bin-git) (optional) – for compiling Agda ... scala (scala211) (optional) – for compiling Scala ...
確定! 回上一頁