Ubuntu
spark package

spark 2012.0.deb-5 source package in Ubuntu

Changelog

spark (2012.0.deb-5) unstable; urgency=low


  * Use swi_prolog dh seqence to declare dependencies on SWI Prolog VM.

 -- Євгеній Мещеряков <email address hidden>  Sun, 12 May 2013 23:41:17 +0200

Upload details

Uploaded by:
Eugeniy Meshcheryakov
Uploaded to:
Sid
Original maintainer:
Eugeniy Meshcheryakov
Architectures:
any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
spark_2012.0.deb-5.dsc 1.3 KiB 1ed45b66ac1b15eeeff26a0fc701af9ef4ac2eb2b687ed82b9c76a6ddaef4833
spark_2012.0.deb.orig.tar.gz 2.9 MiB a2f83b5de206870cc1001d8928071019acc53111f385a9188f820fe48c00050b
spark_2012.0.deb-5.debian.tar.gz 21.6 KiB e4c195ffea3029d06a8ec212913d72dc12682356e7af7e5367a270b1b0263da2

Available diffs

No changes file available.

Binary packages built by this source

spark: 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.