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 Євгеній Мещеряков написав(-ла): > Package: wnpp > Severity: wishlist > Owner: "Євгеній Мещеряков" <eugen@debian.org> > > * 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 > Description : SPARK programming language toolset (Ada 2012-style) > > SPARK is a formally-defined computer programming language based on the > Ada programming language, intended to be secure and to support the > development of high integrity software used in applications and systems > where predictable and highly reliable operation is essential either for > reasons of safety or for business integrity. > . > This package contains the tools necessary for checking if programs adhere > to the SPARK rules and the tools to show freedom of runtime exceptions in > those programs. To compile SPARK programs use any standards-compliant Ada > compiler, such as GNAT. > . > This is a new toolset that uses Ada 2012-style contracts, instead of > the stylized comments in previous versions, to provide specifications > of programs. For "classic" SPARK toolchain, install spark packet. > > This is a new verion of SPARK that is rather different from previous > versions, so I think it makes sence to package it as a separate package.
Attachment:
signature.asc
Description: Digital signature