Balík: spark (2012.0.deb-11 a iné)

Odkazy pre spark

Zdroje Debian:

Stiahnuť zdrojový balík spark:

Správca:

Євгеній Мещеряков (Stránka QA)

Externé zdroje:

Domovská stránka [libre.adacore.com]

Podobné balíky:

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.

Značky: Software Development: Vývoj v Ada, Implementované v: Ada, User Interface: interface::commandline, role::program, Works with: Source Code

Ostatné balíky súvisiace s balíkom spark

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.4)

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
dep: libgcc1 (>= 1:3.0)

podporná knižnica GCC
dep: libgmp10 (>= 2:5.0.1+dfsg-7~)

aritmetická knižnica s viacnásobnou presnosťou
dep: libgnat-6 (>= 6.3.0-8)

dynamická knižnica pre aplikácie skompilované pomocou GNAT - zdieľaná knižnica
dep: libstdc++6 (>= 5.2)

štandardná knižnica C++ GNU v3
dep: swi-prolog-nox

interpreter jazyka Prolog v štýle ISO/Edinburgh (bez podpory X)
dep: swi-prolog-vm-3

virtuálny balík poskytovaný balíkom swi-prolog-nox

sug: alt-ergo

Automatic theorem prover dedicated to program verification
sug: gnat

GNU Ada compiler

Stiahnuť spark

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
s390x	2012.0.deb-11+b2	2,187.2 kB	10,929.0 kB	[zoznam súborov]