Mantis Mantis 0.10Mantis Mantis 0.10.1Mantis Mantis 0.14Mantis Mantis 0.14.1Mantis Mantis 0.15Mantis Mantis 0.15.1Mantis Mantis 0.15.5Mantis Mantis 0.15.6Mantis Mantis 0.17Mantis Mantis 0.17.0Mantis Mantis 0.18.0 Rc1Mantis Mantis 0.18.0a2Mantis Mantis 0.19.0 Rc1Mantis Mantis 0.19.0aMantis Mantis 0.9.1Mantis Mantis 1.0.0 Rc1Mantis Mantis 0.10.2Mantis Mantis 0.11Mantis Mantis 0.14.2Mantis Mantis 0.14.3Mantis Mantis 0.15.10Mantis Mantis 0.15.11