Mantis Mantis 0.10Mantis Mantis 0.10.1Mantis Mantis 0.14Mantis Mantis 0.14.1Mantis Mantis 0.14.2Mantis Mantis 0.15Mantis Mantis 0.15.1Mantis Mantis 0.15.5Mantis Mantis 0.15.6Mantis Mantis 0.17.0Mantis Mantis 0.17.1Mantis Mantis 0.18.0Mantis Mantis 0.18.0 Rc1Mantis Mantis 0.19.0Mantis Mantis 0.19.0 Rc1Mantis Mantis 0.9Mantis Mantis 0.9.1Mantis Mantis 1.0.0a2Mantis Mantis 1.0.0a3Mantis Mantis 0.11.1Mantis Mantis 0.12Mantis Mantis 0.10.2