[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: ITP: spark-hilite -- SPARK programming language toolset (Ada 2012-style)

retitle 713928 RFP: spark-hilite -- SPARK programming language toolset (Ada 2012-style)

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

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

Reply to: