Paket: spark (2012.0.deb-11 och andra)

Länkar för spark

Debianresurser:

Hämta källkodspaketet spark:

Ansvarig:

Євгеній Мещеряков (QA-sida)

Externa resurser:

Hemsida [libre.adacore.com]

Liknande paket:

SPARK programming language toolset

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.

Märken: Software Development: Ada Development, Implemented in: Ada, User Interface: interface::commandline, role::program, Works with: Source Code

Andra paket besläktade med spark

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.4)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libgcc1 (>= 1:3.0)

GCC stödbibliotek
dep: libgmp10 (>= 2:5.0.1+dfsg-7~)

Multiprecision arithmetic library
dep: libgnat-6 (>= 6.3.0-8)

runtime for applications compiled with GNAT (shared library)
dep: libstdc++6 (>= 5.2)

GNU standardbibliotek v3 för C++
dep: swi-prolog-nox

ISO/Edinburgh-style Prolog interpreter (without X support)
dep: swi-prolog-vm-3

virtuellt paket som tillhandahålls av swi-prolog-nox

sug: alt-ergo

Automatic theorem prover dedicated to program verification
sug: gnat

GNU Ada compiler

Hämta spark

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
s390x	2012.0.deb-11+b2	2.187,2 kbyte	10.929,0 kbyte	[filförteckning]