Bug#803195: RFA: spark -- SPARK programming language toolset

[Florian Schanda <florian.schanda@altran.com>]

On Wed, 28 Oct 2015 21:48:46 +0100 Eugeniy Meshcheryakov <eugen@debian.org> 
wrote:
> I know about the new version, I also tried to compile it for Debian, but
> it was alsways failing either because of internal compiler error or
> other reasons. And now I just have no time for packaing it.

Ok, so might be able to take over maintenance of this package and update to 
SPARK 2014 but I might require some help since I have not done this before.

I think the situation now should be better than in the past: we had a number 
of tool requirements (alt-ergo, cvc4) that already exist in debian. Now, these 
tools live under the a libexec dir for spark so they should no longer conflict 
with the debian packages.

We still require a recent gprbuild but this should be less of an issue. The 
main issue I see is that building from source is somewhat involved (requires a 
checkout of the gnat sources for a start).

	Florian