Paketti: spark (2012.0.deb-11 ja muut)

Links for spark

Debian-palvelut:

Imuroi lähdekoodipaketti spark:

Ylläpitäjä:

Євгеній Мещеряков (Laadunvalvontasivu)

External Resources:

Kotisivu [libre.adacore.com]

Samankaltaisia paketteja:

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.

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

Muut pakettiin spark liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.17)

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libgcc1 (>= 1:3.0)

GCC:n apukirjasto
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 standardi C++ -kirjasto, versio 3
dep: swi-prolog-nox

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

näennäispaketti, jonka toteuttaa swi-prolog-nox

sug: alt-ergo

Automatic theorem prover dedicated to program verification
sug: gnat

GNU Ada compiler

Imuroi spark

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
arm64	2012.0.deb-11+b2	2,020.0 kt	9,745.0 kt	[tiedostoluettelo]