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/>

; Requirements:

* An Ada compiler (gnatmake)
* A SPARK formal verification tool (gnatprove)
* Emacs ada-mode, optional but strongly recommended, see
  <https://www.nongnu.org/ada-mode/>