[submodule "src/externals/Miracl"] path = src/externals/Miracl url = git://github.com/CertiVox/Miracl.git