4.0.0 de.hhu.stups prob-java-bom 4.13.1 pom ProB Java API BOM ProB Java API BOM (Bill of Materials) for improved version management when depending on multiple parts of the ProB Java API http://www.prob2.de Eclipse Public License, Version 1.0 http://www.eclipse.org/org/documents/epl-v10.html bendisposto Jens Bendisposto jens@bendisposto.de scm:git:https://github.com/hhu-stups/prob2_kernel.git scm:git:git@gitlab.cs.uni-duesseldorf.de:stups/prob/prob2_kernel.git https://github.com/hhu-stups/prob2_kernel de.hhu.stups de.prob2.commandline 4.13.1 de.hhu.stups de.prob2.kernel 4.13.1 de.hhu.stups prob-java 4.13.1