Ubuntu
spark package

spark 2011.0.deb-5 source package in Ubuntu

Changelog

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

  * Build with --gc-sections again (closes: #643863).
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sun,  27 Nov 2011 16:13:06 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Precise
Original maintainer:
Eugeniy Meshcheryakov
Architectures:
any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe devel

Downloads

File Size SHA-256 Checksum
spark_2011.0.deb.orig.tar.gz 2.5 MiB 8572edb07de7dcd382237b54690129d5c359d86e18ddffc016d532a3d708b15c
spark_2011.0.deb-5.debian.tar.gz 22.0 KiB 4647a57945cd6554cc514129010d0ed544242fc297c8b4e19874f2a2d3b9f74f
spark_2011.0.deb-5.dsc 1.3 KiB 74ac7ebdab634b8f86cbd485d48a61986a37ac22c00720c65fc9233d6a33934f

Available diffs

View changes file

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.