Bug#713928: ITP: spark-hilite -- SPARK programming language toolset (Ada 2012-style)

retitle 713928 RFP: spark-hilite -- SPARK programming language toolset (Ada 2012-style) thanks I didn't have time to package this. It also does not compile as-is. But it would be good to have it in Debian, so I'm making it request for package. 24 червня 2013 о 00:43 +0200 Євгеній Мещеряков напис

Bug#713928: ITP: spark-hilite -- SPARK programming language toolset (Ada 2012-style)

Package: wnpp Severity: wishlist Owner: "Євгеній Мещеряков" * Package name: spark-hilite Version : 2013 Upstream Author : AdaCore (http://www.adacore.com) * URL : http://libre.adacore.com/tools/spark-gpl-edition/ * License : GPLv3 Programming Lang: Ada Desc