Versions Artifacts
1.4
scala-tptp-parser
1.3
scala-tptp-parser