Paquet : spark (2012.0.deb-11 et autres)

Liens pour spark

Ressources Debian :

Télécharger le paquet source spark :

Responsable :

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

Ressources externes :

Page d'accueil [libre.adacore.com]

Paquets similaires :

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.

Étiquettes: Développement de logiciel: Programmation Ada, Mis en œuvre en: Ada, Interface utilisateur: interface::commandline, role::program, Fonctionne avec: Code source

Autres paquets associés à spark

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.4)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc1 (>= 1:3.0)

bibliothèque de prise en charge de GCC
dep: libgmp10 (>= 2:5.0.1+dfsg-7~)

Bibliothèque arithmétique à multi-précision
dep: libgnat-6 (>= 6.3.0-8)

exécutable pour les applications compilées avec GNAT –⋅bibliothèque partagée
dep: libstdc++6 (>= 5.2)

bibliothèque standard C++ de GNU v3
dep: swi-prolog-nox

interpréteur Prolog de type ISO/Edinburgh (sans gestion de⋅X)
dep: swi-prolog-vm-3

paquet virtuel fourni par swi-prolog-nox

sug: alt-ergo

démonstrateur automatique dédié à la vérification de programme
sug: gnat

GNU Ada compiler

Télécharger spark

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
s390x	2012.0.deb-11+b2	2 187,2 ko	10 929,0 ko	[liste des fichiers]