Mantis Mantis 0.10Mantis Mantis 0.10.0Mantis Mantis 0.12.0Mantis Mantis 0.13Mantis Mantis 0.14.4Mantis Mantis 0.14.5Mantis Mantis 0.15.10Mantis Mantis 0.15.11Mantis Mantis 0.15.7Mantis Mantis 0.15.8Mantis Mantis 0.17.2Mantis Mantis 0.17.3Mantis Mantis 0.18.0a1Mantis Mantis 0.18.0a2Mantis Mantis 0.19Mantis Mantis 0.19.0Mantis Mantis 0.19.4Mantis Mantis 0.9Mantis Mantis 1.0.0 Rc3Mantis Mantis 1.0.0 Rc4Mantis Mantis 1.0.0rc3Mantis Mantis 1.0.0rc4