Mantis Mantis 0.17.5Mantis Mantis 0.18Mantis Mantis 0.18.0 Rc1Mantis Mantis 0.19.0Mantis Mantis 0.19.0 Rc1Mantis Mantis 0.19.4Mantis Mantis 1.0.0 Rc1Mantis Mantis 0.17.4Mantis Mantis 0.17.4aMantis Mantis 0.18.3Mantis Mantis 0.18a1Mantis Mantis 0.19.2Mantis Mantis 0.19.3Mantis Mantis 1.0.0a2Mantis Mantis 1.0.0a3Mantis Mantis 0.17.1Mantis Mantis 0.18.0a2Mantis Mantis 0.18.0a3Mantis Mantis 0.19.0aMantis Mantis 0.19.0a1Mantis Mantis 1.0.0 Rc2Mantis Mantis 1.0.0 Rc3