Org-Babel support for evaluating Ada & SPARK code and proving SPARK code. - Initial implementation + First official release - For more information see <https://github.com/rocher/ob-ada-spark/>