On Wed, 28 Oct 2015 21:48:46 +0100 Eugeniy Meshcheryakov <eu...@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