group de.unruh has published 3 artifact(s) with total 13 version(s)
Artifact Num# versions published Latest version
java-patterns 2 0.1.0
scala-isabelle_2.12 5 0.3.0
scala-isabelle_2.13 6 0.3.0