4.0.0 systems.manifold manifold-deps-parent 2020.1.22 manifold-ext-rt Manifold :: Extensions Runtime systems.manifold manifold-rt ${project.version} org.apache.maven.plugins maven-jar-plugin java,class manifold.ext.rt