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

To: 803195@bugs.debian.org
Cc: eugen@debian.org
Subject: Bug#803195: RFA: spark -- SPARK programming language toolset
From: Florian Schanda <florian.schanda@altran.com>
Date: Wed, 28 Oct 2015 09:47:28 +0000
Message-id: <[🔎] 1986120.DgzqZJnSHv@sparkdev10>
Reply-to: Florian Schanda <florian.schanda@altran.com>, 803195@bugs.debian.org

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.

	Florian

Reply to:

Follow-Ups:
- Bug#803195: RFA: spark -- SPARK programming language toolset
  - From: Eugeniy Meshcheryakov <eugen@debian.org>

Prev by Date: Re: Processed: ITP: elisp-es -- Spanish version of An Introduction to Programming in Emacs Lisp
Next by Date: Bug#764401: clarity please
Previous by thread: Bug#803195: RFA: spark -- SPARK programming language toolset
Next by thread: Bug#803195: RFA: spark -- SPARK programming language toolset
Index(es):
- Date
- Thread