On Thursday 18 Aug 2016 08:15:14 Jacob Sparre Andersen wrote: > Has anybody looked into packaging the SPARK 2014 tools (gnatprove)? Are > there some serious stumbling blocks? Yes, I am looking at it, but its difficult due to the complex build process for SPARK 2014. A binary package would be easy enough to assemble, but that is not that helpful for Debian. Once I get some spare time sorted I will have another look. Florian