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

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

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

Hi, I am one of the SPARK developers. These days there are two revisions of SPARK - a legacy version and the new ada-2012 based one. I would recommend to only package the newer one (spark 2014 -- http://spark-2014.org). If there is anything I can do to help with this, please let me know.

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

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. 28 жовтня 2015 о 09:47 + Florian Schanda написав(-ла): > Hi, > > I am one of the SPARK

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

Package: wnpp Severity: normal I request an adopter for the spark package. The current upstream version of the package will not be updated. There is a new version of Spark, but it is very different from this one, see also https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=713928 The package