world.convex:convex:0.7.5
  world.convex:convex-java:0.0.1-SNAPSHOT
  world.convex:convex-benchmarks:0.7.5
  world.convex:convex-peer:0.7.5
  world.convex:convex-gui:0.7.5
  world.convex:convex-cli:0.7.5
  world.convex:convex-core:0.7.5