Ubuntu
spark package

spark 2012.0.deb-5build1 source package in Ubuntu

Changelog

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

  * Rebuild against swi-prolog 6.4.1.
 -- Colin Watson <email address hidden>   Fri, 25 Oct 2013 10:52:00 +0100

Upload details

Uploaded by:
Colin Watson
Uploaded to:
Trusty
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.orig.tar.gz 2.9 MiB a2f83b5de206870cc1001d8928071019acc53111f385a9188f820fe48c00050b
spark_2012.0.deb-5build1.debian.tar.gz 21.4 KiB 1b325b73d1dd23b8b6fbc60dca8576a6e158d190ec4133262186340bdf1ec5da
spark_2012.0.deb-5build1.dsc 2.0 KiB 1a37f1c9974dfc845dba6ed24d21213c8446ff7e5f53b52ab11586d54c932191

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.