org.scala-graph graph-core_2.12 1.13.1 1.13.1 1.11.4 1.11.5 1.12.0 1.12.1 1.12.2 1.12.3 1.12.4 1.12.5 1.13.0 1.13.1 20191220165630